{
  "schema": "marici.nima.pinned-T9-software-contract.v1",
  "verification_status": "pass",
  "checks": [
    "pinned-contract-identity",
    "software-selection-not-physical-identification",
    "pinned-endpoint-role",
    "fresh-safe-proof/SuccessorContextReflection",
    "proof-source-current/SuccessorContextReflection",
    "fresh-safe-proof/NativeFamilyFeedbackBinding",
    "proof-source-current/NativeFamilyFeedbackBinding",
    "existing-explicit-context-checks-pass",
    "existing-branch-summary-checks-pass",
    "public-T9-entrypoint",
    "137-original-records",
    "32-final-families",
    "original-labelled-endpoints-and-values-recover",
    "original-member-masses",
    "original-branch-masses",
    "upper-square",
    "lower-square",
    "same-complete-rung4-route",
    "unchanged-fixed-reference-J4",
    "outer-branch-readout-recovery",
    "exact-original-domain-preserved-and-reflected",
    "transport-does-not-admit-cross-context",
    "duplicate-label-source-rejected",
    "common-assembly-endpoint-role-rejected",
    "promoted-input-role-rejected",
    "nonpositive-member-mass-rejected",
    "corrupted-response-constructor-rejected"
  ],
  "contract_id": "nima.T9.exact-domain.software.v1",
  "contract_sha256": "63e4ca0e2cd282655bed93aff4553cd2b6453d3c9c6980b1116f9c452f568d06",
  "selection_status": "operator-confirmed SOFTWARE exact-domain policy",
  "software_endpoint_and_T9_binding_complete": true,
  "physical_generator_identified": false,
  "source_calibration_derived": false,
  "end_to_end": {
    "original_rows": 137,
    "final_families": 32,
    "exact_admitted_leaf_pairs": 977,
    "both_squares": true,
    "original_J4_unchanged": true,
    "outer_branch_readout": true,
    "context_creation_separate": true
  },
  "formal_receipts_sha256": {
    "SuccessorContextReflection": "b098238bee25d88a07289f175ae45f414852d450fc29050feae6242421e4dfad",
    "NativeFamilyFeedbackBinding": "b6bfab5616b24c4eb9d60ca803e463a2d9923aad8bc2ba3a9c1a6973ecc480c3"
  },
  "remaining_physical_obligations": [
    "Source selection of the supplied numerical response and reference attachments",
    "Instrument/clock/preparation/readout realization",
    "Any intended context creation requires separately sourced connector admission"
  ],
  "inputs_sha256": {
    "check_pinned_T9_software_contract.py": "4b56267cd098437c50ebe4921015a366dcedf43d7517e86943fe3e1d0bc3b8a2",
    "retained_rung_transport.py": "96052392f177bc5460a860af48eebeb79c57602e8724d7233b14fa3febb2fc8a",
    "record_context_transport.py": "d60a80fc2bd08f6edcf4307fb9d04a25eeede006721954d25e0fc1603037bc36",
    "branch_response_summary.py": "c7ed90629e56b39dfa6bb2a5f79f82102b4b3c5f8a0bcd5f3e32e4140579a8f0"
  }
}