// Copyright © Albert Lane. All Rights Reserved.
// Proprietary and Confidential — Albert Lane Proprietary Software License.
// Unauthorized use, copying, modification, or distribution is prohibited.
// License inquiries: https://albertlane.net
// Lane-VM ISA, t1237: 2-of-2 Sovereign Binding (Albert Lane + Robot). Canonical digests: see SPEC.md.
syntax = "proto3";

package lane_vm;

message LanePacket {
  uint64 packet_id = 1;
  uint64 timestamp = 2;
  Instruction instr = 3;
  bytes payload = 4;

  // 2-of-2 Sovereign Binding Signatures (65 bytes each: r || s || v, v in {27,28}; EIP-191 personal_sign)
  bytes human_sig = 5; // Albert's (human owner) signature over H_human (SPEC.md §3)
  bytes robot_sig = 6; // Robot's signature (Robot's own key, owned by Robot) over H_robot (SPEC.md §4)
}

message Instruction {
  enum OpCode {
    NO_OP = 0;
    MEM_WRITE = 1;
    MEM_READ = 2;
    COMPUTE = 3;
    IO_SINK = 4;
    FLOW_CONTROL = 5;
    SYS_CALL = 6;
  }
  OpCode code = 1;
  repeated Operand operands = 2;
}

message Operand {
  enum Type { INT = 0; FLOAT = 1; STRING = 2; REF = 3; }
  Type type = 1;
  oneof value {
    int64 i_val = 2;
    double f_val = 3;
    string s_val = 4;
    uint64 ref_val = 5;
  }
}