/examples/dagr-srs-verification-report

Reading a DAGR SRS verification report

Eight Booleans stay eight Booleans.

GARPedia publishes the six committed srs.dagr_verification_report.v0.2 reports produced by ARCS Verify, imported byte-for-byte and listed in a deterministic public index. This page reads them exactly as the contract writes them: each of the eight Boolean verdicts on its own line, chain_status in a separate row, and subject_ref_origin_disclosed labelled as the disclosure it is.

There is no summary badge on this page, because there is no aggregate verdict in the artifact. Collapsing eight independent findings and a separate chain status into one green or red mark would assert something the report does not say. This page is read-only and runs no verification.

1. Where these came from

Provenance and index

The reports were produced by ARCS Verify and imported byte-for-byte. GARPedia does not regenerate, normalize, or rewrite them, and runs no verifier here. The index carries a SHA-256 measured from each committed file's raw bytes, so any reader can confirm the copy is unmodified.

Public index: /garpedia/dagr-srs-verification-report-v0-2/index.json
Report contract: srs.dagr_verification_report.v0.2 (v0.2)
Verifier repository: https://github.com/thelaplage/arcs-verify
Indexed reports: 6

2. The reports

Six reports, read field by field

The six differ in one disclosed fact — how the subject reference was obtained. That difference is visible below and changes nothing about how the verdicts are read.

One disclosed value, not_declared, means the receipt did not carry subject_ref_origin at all. Absence is recorded as absence: it is not a missing verdict, not a failure, and not a weaker version of the other five values. A report whose origin is not_declared is read exactly like the others.

origin-binding-minted-report

/garpedia/dagr-srs-verification-report-v0-2/golden/origin-binding-minted-report.json

Eight Boolean verdicts — reported individually

schema_digest: true
envelope: true
profile: true
raw_content_exclusion: true
signature_valid: true
issuer_key_resolved: true
issuer_key_trusted: true
attestation_limits_present: true

chain_status: not_applicableReported separately. Not a ninth verdict; not_applicable is not a pass.
subject_ref_origin_disclosed: binding_mintedA disclosure of how the subject reference was obtained — not a verdict, and it changes no verdict above.
failure_codes: [] (none recorded)
receipt_id: urn:srs:receipt:admission:origin-binding-minted
receipt_kind: admission
verifier_commit: c26af32fcb638489217f4cb43845eca7b2824516
Committed bytes: sha256:2701ebd8037ea2ad0d037b301e9b5d9b7f2464d295778f3b31459c2a3b7da835

origin-derived-from-request-report

/garpedia/dagr-srs-verification-report-v0-2/golden/origin-derived-from-request-report.json

Eight Boolean verdicts — reported individually

schema_digest: true
envelope: true
profile: true
raw_content_exclusion: true
signature_valid: true
issuer_key_resolved: true
issuer_key_trusted: true
attestation_limits_present: true

chain_status: not_applicableReported separately. Not a ninth verdict; not_applicable is not a pass.
subject_ref_origin_disclosed: derived_from_requestA disclosure of how the subject reference was obtained — not a verdict, and it changes no verdict above.
failure_codes: [] (none recorded)
receipt_id: urn:srs:receipt:admission:origin-derived-from-request
receipt_kind: admission
verifier_commit: c26af32fcb638489217f4cb43845eca7b2824516
Committed bytes: sha256:b3c04953e8f35f2df420cf2d5e8099de8a17c7116ba2d92f39bee76435e43e52

origin-derived-from-session-report

/garpedia/dagr-srs-verification-report-v0-2/golden/origin-derived-from-session-report.json

Eight Boolean verdicts — reported individually

schema_digest: true
envelope: true
profile: true
raw_content_exclusion: true
signature_valid: true
issuer_key_resolved: true
issuer_key_trusted: true
attestation_limits_present: true

chain_status: not_applicableReported separately. Not a ninth verdict; not_applicable is not a pass.
subject_ref_origin_disclosed: derived_from_sessionA disclosure of how the subject reference was obtained — not a verdict, and it changes no verdict above.
failure_codes: [] (none recorded)
receipt_id: urn:srs:receipt:admission:origin-derived-from-session
receipt_kind: admission
verifier_commit: c26af32fcb638489217f4cb43845eca7b2824516
Committed bytes: sha256:286f5c4cd5b9841e5e72f46ec92f32fc9d4a047bba940391459680906fa8e936

origin-derived-from-supplied-correlation-report

/garpedia/dagr-srs-verification-report-v0-2/golden/origin-derived-from-supplied-correlation-report.json

Eight Boolean verdicts — reported individually

schema_digest: true
envelope: true
profile: true
raw_content_exclusion: true
signature_valid: true
issuer_key_resolved: true
issuer_key_trusted: true
attestation_limits_present: true

chain_status: not_applicableReported separately. Not a ninth verdict; not_applicable is not a pass.
subject_ref_origin_disclosed: derived_from_supplied_correlationA disclosure of how the subject reference was obtained — not a verdict, and it changes no verdict above.
failure_codes: [] (none recorded)
receipt_id: urn:srs:receipt:admission:origin-derived-from-supplied-correlation
receipt_kind: admission
verifier_commit: c26af32fcb638489217f4cb43845eca7b2824516
Committed bytes: sha256:e0b0472411c7e1b5d2f9855049c3dc3e7ff555151516901dbc444ad5b49b3362

origin-not-declared-report

/garpedia/dagr-srs-verification-report-v0-2/golden/origin-not-declared-report.json

Eight Boolean verdicts — reported individually

schema_digest: true
envelope: true
profile: true
raw_content_exclusion: true
signature_valid: true
issuer_key_resolved: true
issuer_key_trusted: true
attestation_limits_present: true

chain_status: not_applicableReported separately. Not a ninth verdict; not_applicable is not a pass.
subject_ref_origin_disclosed: not_declaredA disclosure of how the subject reference was obtained — not a verdict, and it changes no verdict above. Here the receipt did not carry the field at all; the absence is recorded as absence, not as a failure.
failure_codes: [] (none recorded)
receipt_id: urn:srs:receipt:admission:origin-not-declared
receipt_kind: admission
verifier_commit: c26af32fcb638489217f4cb43845eca7b2824516
Committed bytes: sha256:fec00cf0e3dc308b21f1571ff60946b31a9b5769fb1c3941a6f89b66eca14a21

origin-supplied-subject-report

/garpedia/dagr-srs-verification-report-v0-2/golden/origin-supplied-subject-report.json

Eight Boolean verdicts — reported individually

schema_digest: true
envelope: true
profile: true
raw_content_exclusion: true
signature_valid: true
issuer_key_resolved: true
issuer_key_trusted: true
attestation_limits_present: true

chain_status: not_applicableReported separately. Not a ninth verdict; not_applicable is not a pass.
subject_ref_origin_disclosed: supplied_subjectA disclosure of how the subject reference was obtained — not a verdict, and it changes no verdict above.
failure_codes: [] (none recorded)
receipt_id: urn:srs:receipt:admission:origin-supplied-subject
receipt_kind: admission
verifier_commit: c26af32fcb638489217f4cb43845eca7b2824516
Committed bytes: sha256:7f5746fde57146af4b4c58aed0749180a5597dc4f1ae82e5c3b6ab53291e835f

3. Who owns what

Across repositories

These reports are produced in one repository and republished in another. The division of authority is stated plainly so no reader infers that GARPedia verified, emitted, or admitted anything.

DAGR MCP implements and can emit the supported SRS receipt family. The six receipts these reports describe are deterministic local fixtures committed in the ARCS Verify contract pack — this repository holds no evidence that they were captured from a live DAGR MCP runtime, and does not claim they were.
ARCS Verify owns independent verification and report semantics. It produced these reports; GARPedia republishes, indexes, retrieves, and explains them.
GARPedia does not import or run ARCS Verify.
GARPedia does not import or run DAGR MCP.
Workbench is not involved in public retrieval of this family.
GARP Ingest is unrelated to this verification family.
MCP exposure of this family is deferred to PR 4. Nothing here is reachable through a GARPedia MCP tool.

What this example does not claim

The boundary is the point of the example, so it is stated plainly.

This page reports the eight Boolean verdicts individually. It computes no aggregate verdict, overall status, summary badge, score, or pass/fail rollup, and none exists in the artifact to display.
chain_status is reported separately from the eight Booleans. It is not a ninth verdict, and not_applicable is not a pass.
subject_ref_origin_disclosed is a disclosure of how the subject reference was obtained. It is not a verdict, and no value it carries changes how any verdict should be read.
This page runs no verification. It imports no verifier and no receipt-emitter runtime, and it reports no result of running ARCS Verify.
An empty failure_codes list is what the report records, not a certification that the underlying real-world event occurred as described.
GARPedia indexes and reads these reports. ARCS Verify owns the report contract and produced them; GARPedia is not the verification authority for any of them.