/check/specimens/xz-receipt-verification
Check specimen — xz receipt verification
The existing xz archive-member Check observation is shown beside the governed DAGR receipt pair and their independently produced ARCS Verify reports.
This page projects retained evidence only. It does not run DAGR, ARCS Verify, or a new Check evaluation while rendering.
Three artifacts, three owners
- Mechanical Check → counterpedia-agent
- Governed receipts → DAGR
- Receipt verification → ARCS Verify
Mechanical Check
archive member
The producer established the named archive member observation. This mechanical state is displayed independently from governed receipt verification and is not rewritten by it.
- Procedure
- counterpedia.verify-bring.archive-member.tar-xz/v0.1
- Member path
- xz-5.6.1/m4/build-to-host.m4
- Producer
- counterpedia-agent
- Producer evaluation
- not_evaluated_by_agent
- Captured bytes
- sha256:f334777310ca3ae9ba07206d78ed286a655aa3f44eec27854f740c26b2cd2ed0
- Observed member
- sha256:054003928e240de8b9f3232e1bb885a5b6cc09488742159a0e3d6080e16499f4
Independent receipt verification
ARCS Verify
This state describes the serialized DAGR receipt material and the independently produced reports. This does not establish the truth of the underlying Check result or proposition.
- RECEIPT VERIFICATION PASS
DAGR admission receipt
urn:srs:receipt:admission:55d04d12-493d-4e37-8a34-85ee2e7cadab
- Receipt version
- srs.core.v5.1
- Profile
- srs.mcp.sdk_enforcement.v0.1
- Receipt snapshot digest
- sha256:46913a6165cfa2672f2126f11d227c23d21cbbeeb6652f424036ef55de6c22d3
- Verifier-reported receipt canonical digest
- sha256:e29db0b5975288a0cb087bad65bfab1f22839719447a7ecff2d0beb24d3b12a8
- Report contract
- arcs.verify.srs_receipt_verification_report.v0.1
- Report digest
- sha256:3209894615c458827e3767510ab09b49a2951e5d58d333a5301850223d494db4
- Verifier pin
- thelaplage/arcs-verify-dev@db94b7391f6fd26feff1c384bd5ea6c522643af8
ARCS Verify: PASS
- RECEIPT VERIFICATION PASS
DAGR outcome receipt
urn:srs:receipt:outcome:d3583326-39c9-4248-8774-a01c4d4c169a
- Receipt version
- srs.core.v5.1
- Profile
- srs.mcp.sdk_enforcement.v0.1
- Receipt snapshot digest
- sha256:cd1cc00a2476581d5fda6f2222c1818829123b1adec70fd826d7241029a95085
- Verifier-reported receipt canonical digest
- sha256:c3dffbd24cb3e108571cf5224ebb6b38297860c686135bde7eb0fec20480549a
- Report contract
- arcs.verify.srs_receipt_verification_report.v0.1
- Report digest
- sha256:9c4668fe53fd8484aefbce4b0861f1fd7264b48222fe1817bba8e216863d82e4
- Verifier pin
- thelaplage/arcs-verify-dev@db94b7391f6fd26feff1c384bd5ea6c522643af8
ARCS Verify: PASS
Not evaluated by receipt verification
- proposition truth
- semantic support
- source authenticity
- admission
- standing
- publication
Systems proof
One record, separately owned observations
- Stable record identity
- cp:source-edition:01a10898-8ab2-77bb-b720-d33b0fc90465
- Mechanical owner
- counterpedia-agent
- Receipt-verification owner
- ARCS Verify, via retained reports
- History owner
- Amnesiac export, retained order only
- Receipt state
- RECEIPT_VERIFICATION_PASS
- Authority posture
- custody_only
Discovery and receipt verification are inputs to this record. Neither becomes a new Check result, truth finding, admission decision, or publication event.
Durable record
This is a record, not a search result
The subject has stable identity; observations attach to it; retained evidence and history remain inspectable; discovery is only an input; and admission/publication remain separate decisions.
REPRODUCE
Inspect the retained proof
Open the retained inputs and compare them independently; no new Check runs here.
Reproduce this retained Check
This opens the exact retained history and its inputs. It does not execute a new Check or substitute receipt verification for the Check.
Boundary preserved
A receipt-verification PASS is not a Check PASS, proposition-truth finding, source-authenticity finding, admission, standing, publication decision, deployment decision, or authority movement.
The Agent runtime contract remains unchanged: receipt verification is not carried as a runtime result here.