{
  "schema": "marici.strominger.retained-reference-protocol.v1",
  "verification_status": "pass",
  "checks": [
    "actual-source-representation-preserves-product/0",
    "actual-source-representation-preserves-product/1",
    "actual-source-representation-preserves-product/2",
    "actual-source-representation-preserves-product/3",
    "actual-source-representation-preserves-product/4",
    "actual-source-representation-preserves-product/5",
    "actual-source-representation-preserves-product/6",
    "actual-source-representation-preserves-product/7",
    "actual-source-representation-preserves-product/8",
    "actual-source-representation-preserves-product/9",
    "actual-source-representation-preserves-product/10",
    "actual-source-representation-preserves-product/11",
    "actual-source-representation-preserves-product/12",
    "actual-source-representation-preserves-product/13",
    "actual-source-representation-preserves-product/14",
    "actual-source-representation-preserves-product/15",
    "source-unit-is-matrix-identity",
    "source-representation-rank4",
    "represented-source-lineage/0",
    "delayed-operator-retains-lineage/0",
    "interrogation-keeps-preparation-and-events/0",
    "protocol-recovers-original-resource/0",
    "budget-conserved-through-protocol/0",
    "represented-source-lineage/1",
    "delayed-operator-retains-lineage/1",
    "interrogation-keeps-preparation-and-events/1",
    "protocol-recovers-original-resource/1",
    "budget-conserved-through-protocol/1",
    "represented-source-lineage/2",
    "delayed-operator-retains-lineage/2",
    "interrogation-keeps-preparation-and-events/2",
    "protocol-recovers-original-resource/2",
    "budget-conserved-through-protocol/2",
    "represented-source-lineage/3",
    "delayed-operator-retains-lineage/3",
    "interrogation-keeps-preparation-and-events/3",
    "protocol-recovers-original-resource/3",
    "budget-conserved-through-protocol/3",
    "explicit-two-unit-resource-produces2I",
    "explicit-reference-has-required-strict-return",
    "resource-coefficient-budget4",
    "represented-reference-Frobenius-norm8",
    "same-resource-returned-after-three-steps",
    "reference-no-longer-in-bank-after-return",
    "history-not-erased-by-numerical-return",
    "protocol-does-not-select-amplitude/0",
    "protocol-does-not-select-amplitude/1",
    "protocol-does-not-select-amplitude/3",
    "singular-record-does-not-supply-inverse",
    "preparation-needs-explicit-provenance",
    "interrogation-needs-declared-port",
    "retained-depth-limit-kept",
    "software-physical-boundary-not-promoted"
  ],
  "protocol": "explicit input carrier/bank -> existing conservative exchange -> retained stored/delayed readout -> existing Cl(2,0)2x2 operator representation -> recover supplied input resource",
  "source_adapter": "matrix(s,q,p,z)=((s+q,p+z),(p-z,s-q)), copied by REUSING actual source function; product-preserving and rank4.",
  "conditional_target_preparation": {
    "resource": "2*Clifford unit",
    "bank": "explicitly empty",
    "record_operator": "2I",
    "coefficient_budget": 4,
    "matrix_Frobenius_norm_squared": 8,
    "third_step_returns_same_resource": true
  },
  "source_type": "Memory value in Cl(2,0) represented as End(R^2).",
  "target_type_boundary": "Identifying End(R^2) with comparison maps A->B still requires declared boundary identifications/port attachments.",
  "record_lifecycle": "Stored after one exchange, delayed after two, transferred back after three; parent history retained. No permanent reference catalyst is asserted.",
  "calibration_derived": false,
  "physical_protocol_realized": false,
  "physical_T9_identified": false,
  "remaining_inputs": [
    "Preparation and units of the explicit two-unit carrier resource",
    "Physical realization/selection of supplied C,R,L and event clock",
    "Boundary and record-port identifications to the pinned T9 fixture",
    "Detector/readout and reset/reuse/degradation semantics"
  ],
  "source_owner_receipts_overwritten": false,
  "inputs_sha256": {
    "strominger/checkers/check_retained_reference_protocol.py": "b315345c07ad8fb4d9c87776ccf4a8338e1a2770eab3f13ca86dd537c75dfe2a",
    "strominger/checkers/retained_reference_protocol.py": "0337e5751a6315acd41d0aeb245d9f0216cf4063dc38d86dbba9eb5840cd3686",
    "nima/checkers/check_four_packet_cycle.py": "9273aaa7e13a938a37d6b445c06d32c94fee2e586e1ef0b94dacbe290e83f5e9",
    "nima/checkers/check_four_packet_record_feedback.py": "6e70738049702e49bb437215bdaf89f9cd04ba46004af682bb33c091ba8fddb6"
  }
}