{"claim_boundary":"package integrity and declared access-removal contract only; not proof of universal access elimination or compromise absence","claims":[{"claim_id":"authority_record_exists","evidence_refs":["authority_record"],"status":"passed"},{"claim_id":"operator_is_authorized","evidence_refs":["admission_decision","authority_record"],"status":"passed"},{"claim_id":"target_is_in_scope","evidence_refs":["admission_decision","scope_record"],"status":"passed"},{"claim_id":"before_and_after_states_bound","evidence_refs":["access_observations","scope_record"],"status":"passed"},{"claim_id":"access_paths_are_explicit","evidence_refs":["access_observations","scope_record"],"status":"passed"},{"claim_id":"removal_decision_recorded","evidence_refs":["access_posture","access_findings"],"status":"passed"},{"claim_id":"prohibited_artifact_classes_absent","evidence_refs":["scope_record","access_observations"],"status":"passed"},{"claim_id":"no_mutation_declared","evidence_refs":["run_record","scope_record"],"status":"passed"},{"claim_id":"manifest_contains_all_artifacts","evidence_refs":["run_record"],"status":"passed"},{"claim_id":"package_is_offline_verifiable","evidence_refs":["run_record"],"status":"passed"}],"manifest_hash":"sha256:f86667587e5c852c55b0a242ad123d73a5cdde1ddcead8ae63fc61bcae40174c","outcome":"pass","product":{"implementation_commit":"uncommitted-local-candidate","product_contract_sha256":"sha256:71443be489bbef49ab55d13641bfec478f8651d1145152e14e40b8810ccbe615","product_id":"OFFSEC-ACCESS-REMOVED","product_version":"1.0.0","receipt_schema_id":"witnessops.receipt.v0","receipt_schema_version":"0","verifier_name":"witnessops-access-removed","verifier_version":"1.0.0"},"proof_run_id":"pr_access_removed_demo_20260711130000","schema":"witnessops.receipt.v0","signature":{"algorithm":"ed25519","encoding":"hex","public_key_id":"witnessops_access_removed_synthetic_sample_001","signature":"e3ff57454019beea9411168ebf796d0cbd02c242a3e0d56ef44e96fe686e6841c93318d700008f76f64b5c33cfbbb1ca1f6ddd52edb4ea67e5b3b1371100ab00"}}