/proof-path/canonical

Canonical Counterpedia proof path

One closed end-to-end path: real record → public read API → DAGR governance → SRS receipts → independent verification → findings and limitation codes → explicit mutation refusal.

Boundary statement

The producer process emits receipts via dagr-mcp; it never imports arcs_verify.
The verifier subprocess reads serialized receipt JSON bytes; it never imports dagr_mcp internals.
Only the serialized SRS receipt files cross the producer/verifier boundary.
No vendored fixture was used for the public data path; every read came from the real C2 read-API producer.
The keyring (issuer-keys.json) is a public-key artifact; no private key material was written to disk.
This proof path does not claim to establish the real-world occurrence of the described events.

This page renders committed evidence. It is not the admission, runtime, or verification authority. All nine artifact groups (record, read API responses, admission receipts, outcome receipts, refused admission receipt, keyring, verification reports, limitation codes, and the refusal) resolve to the same pinned record and edition.

Step 1

Real public record

The record whose governed read path this proof covers. Not a vendored fixture; the C2 read API reads the live page model.

record_id: SYN-CP-SIG-0001
version_ref (pinned): SYN-CP-SIG-0001@SYN-CP-ED-0003
publication_manifest release_commit: b81ff2d0f1a9675fefee06122a6ba03363cdff6d
record page: /records/SYN-CP-SIG-0001

The record content at this proof path was pinned to the v0.1 publication manifest's release_commit. No admitted record content changed between that commit and the capture date.

Step 2

Hosted / public read API

Five C2 read-API surfaces called via the counterpedia_agent_demo read tools, each backed by the TypeScript bridge to the production resolveReadSurface.

Product operation	C2 surface	What it returns
counterpedia.get_record	record	Get record (current projection)
counterpedia.explain	exclusions	Explain exclusions (why not?)
counterpedia.get_sources	sources	Get sources
counterpedia.get_history	history	Get edition history
counterpedia.verify	verification	Read declared verification posture

No vendored fixture was used. Each read tool body shells out to scripts/counterpediaAgentReadBridge.ts → lib/counterpedia/agentReadPath.ts → resolveReadSurface — the exact function the GET /api/records/[recordId]/... route handlers wrap one-to-one.

Step 3

Governed DAGR admission and outcome evidence

DAGRMiddleware (fastmcp.middleware.v0.1) admitted all five read calls. Each call produced one admission receipt and one outcome receipt. 10 total admitted receipts (10 from reads). Profile: srs.mcp.sdk_enforcement.v0.1.

counterpedia.get_record

Get record (current projection)

C2 surface: record · tool: counterpedia_get_record

Admission receipt (admitted)

admission

receipt_id: urn:srs:receipt:admission:e3007065-437a-46db-9ba7-f981fadd2328
receipt_kind: admission
disposition: admitted
requested_tool_name: counterpedia_get_record
issued_at: 2026-08-06T01:06:16Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 2 limit(s)
argument_digest: sha256:06ace2d137af8e9dfc1496afeb759bd0f4153b21c0fa33f916ec3243ece7efb1

Outcome receipt (result_returned)

outcome

receipt_id: urn:srs:receipt:outcome:f5646f4d-e9e0-4013-a54c-cba31aca6c54
receipt_kind: outcome
disposition: result_returned
requested_tool_name: (outcome receipt)
issued_at: 2026-08-06T01:06:17Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 3 limit(s)
admission_receipt_ref: urn:srs:receipt:admission:e3007065-437a-46db-9ba7-f981fadd2328

arcs-verify findings — admission receipt

urn:srs:receipt:admission:e3007065-437a-46db-9ba7-f981fadd2328

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

arcs-verify findings — outcome receipt

urn:srs:receipt:outcome:f5646f4d-e9e0-4013-a54c-cba31aca6c54

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

Limitation codes — what this verification does not establish

currentness
not_established — staleness is a permanent boundary; this verifier run is itself historical
underlying_truth
not_adjudicated — the verifier recomputes receipt structure and signature; it does not establish that the underlying event occurred
authenticity_verified
not_evaluated — no external signature chain or trusted publication record was in scope
real_world_event
not_proven — a valid signature proves the receipt was issued and unmodified under the resolved key; it does not prove the described tool call happened

counterpedia.explain

Explain exclusions (why not?)

C2 surface: exclusions · tool: counterpedia_explain

Admission receipt (admitted)

admission

receipt_id: urn:srs:receipt:admission:7c9ffaef-1486-4b88-988a-a9400acaeebb
receipt_kind: admission
disposition: admitted
requested_tool_name: counterpedia_explain
issued_at: 2026-08-06T01:06:17Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 2 limit(s)
argument_digest: sha256:06ace2d137af8e9dfc1496afeb759bd0f4153b21c0fa33f916ec3243ece7efb1

Outcome receipt (result_returned)

outcome

receipt_id: urn:srs:receipt:outcome:a8a99d52-6ac9-45fe-83e4-c4133f27cf34
receipt_kind: outcome
disposition: result_returned
requested_tool_name: (outcome receipt)
issued_at: 2026-08-06T01:06:19Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 3 limit(s)
admission_receipt_ref: urn:srs:receipt:admission:a9571090-c077-4023-8416-94a0006b51b5

arcs-verify findings — admission receipt

urn:srs:receipt:admission:7c9ffaef-1486-4b88-988a-a9400acaeebb

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

arcs-verify findings — outcome receipt

urn:srs:receipt:outcome:a8a99d52-6ac9-45fe-83e4-c4133f27cf34

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

Limitation codes — what this verification does not establish

currentness
not_established — staleness is a permanent boundary; this verifier run is itself historical
underlying_truth
not_adjudicated — the verifier recomputes receipt structure and signature; it does not establish that the underlying event occurred
authenticity_verified
not_evaluated — no external signature chain or trusted publication record was in scope
real_world_event
not_proven — a valid signature proves the receipt was issued and unmodified under the resolved key; it does not prove the described tool call happened

counterpedia.get_sources

Get sources

C2 surface: sources · tool: counterpedia_get_sources

Admission receipt (admitted)

admission

receipt_id: urn:srs:receipt:admission:8a6d6df1-4dba-4f36-8e96-6e9cf8897367
receipt_kind: admission
disposition: admitted
requested_tool_name: counterpedia_get_sources
issued_at: 2026-08-06T01:06:18Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 2 limit(s)
argument_digest: sha256:06ace2d137af8e9dfc1496afeb759bd0f4153b21c0fa33f916ec3243ece7efb1

Outcome receipt (result_returned)

outcome

receipt_id: urn:srs:receipt:outcome:a457eac1-c760-4d1c-a0c8-9dfe260f8862
receipt_kind: outcome
disposition: result_returned
requested_tool_name: (outcome receipt)
issued_at: 2026-08-06T01:06:18Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 3 limit(s)
admission_receipt_ref: urn:srs:receipt:admission:8a6d6df1-4dba-4f36-8e96-6e9cf8897367

arcs-verify findings — admission receipt

urn:srs:receipt:admission:8a6d6df1-4dba-4f36-8e96-6e9cf8897367

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

arcs-verify findings — outcome receipt

urn:srs:receipt:outcome:a457eac1-c760-4d1c-a0c8-9dfe260f8862

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

Limitation codes — what this verification does not establish

currentness
not_established — staleness is a permanent boundary; this verifier run is itself historical
underlying_truth
not_adjudicated — the verifier recomputes receipt structure and signature; it does not establish that the underlying event occurred
authenticity_verified
not_evaluated — no external signature chain or trusted publication record was in scope
real_world_event
not_proven — a valid signature proves the receipt was issued and unmodified under the resolved key; it does not prove the described tool call happened

counterpedia.get_history

Get edition history

C2 surface: history · tool: counterpedia_get_history

Admission receipt (admitted)

admission

receipt_id: urn:srs:receipt:admission:a9571090-c077-4023-8416-94a0006b51b5
receipt_kind: admission
disposition: admitted
requested_tool_name: counterpedia_get_history
issued_at: 2026-08-06T01:06:18Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 2 limit(s)
argument_digest: sha256:06ace2d137af8e9dfc1496afeb759bd0f4153b21c0fa33f916ec3243ece7efb1

Outcome receipt (result_returned)

outcome

receipt_id: urn:srs:receipt:outcome:b200640e-e3aa-411f-9a95-657a7dd68f47
receipt_kind: outcome
disposition: result_returned
requested_tool_name: (outcome receipt)
issued_at: 2026-08-06T01:06:18Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 3 limit(s)
admission_receipt_ref: urn:srs:receipt:admission:7c9ffaef-1486-4b88-988a-a9400acaeebb

arcs-verify findings — admission receipt

urn:srs:receipt:admission:a9571090-c077-4023-8416-94a0006b51b5

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

arcs-verify findings — outcome receipt

urn:srs:receipt:outcome:b200640e-e3aa-411f-9a95-657a7dd68f47

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

Limitation codes — what this verification does not establish

currentness
not_established — staleness is a permanent boundary; this verifier run is itself historical
underlying_truth
not_adjudicated — the verifier recomputes receipt structure and signature; it does not establish that the underlying event occurred
authenticity_verified
not_evaluated — no external signature chain or trusted publication record was in scope
real_world_event
not_proven — a valid signature proves the receipt was issued and unmodified under the resolved key; it does not prove the described tool call happened

counterpedia.verify

Read declared verification posture

C2 surface: verification · tool: counterpedia_verify

Admission receipt (admitted)

admission

receipt_id: urn:srs:receipt:admission:4854aace-b7aa-47e6-ac16-4bec566b8822
receipt_kind: admission
disposition: admitted
requested_tool_name: counterpedia_verify
issued_at: 2026-08-06T01:06:19Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 2 limit(s)
argument_digest: sha256:06ace2d137af8e9dfc1496afeb759bd0f4153b21c0fa33f916ec3243ece7efb1

Outcome receipt (result_returned)

outcome

receipt_id: urn:srs:receipt:outcome:7871d430-9e79-4b88-a731-02c1ddcd8196
receipt_kind: outcome
disposition: result_returned
requested_tool_name: (outcome receipt)
issued_at: 2026-08-06T01:06:19Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 3 limit(s)
admission_receipt_ref: urn:srs:receipt:admission:4854aace-b7aa-47e6-ac16-4bec566b8822

arcs-verify findings — admission receipt

urn:srs:receipt:admission:4854aace-b7aa-47e6-ac16-4bec566b8822

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

arcs-verify findings — outcome receipt

urn:srs:receipt:outcome:7871d430-9e79-4b88-a731-02c1ddcd8196

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

Limitation codes — what this verification does not establish

currentness
not_established — staleness is a permanent boundary; this verifier run is itself historical
underlying_truth
not_adjudicated — the verifier recomputes receipt structure and signature; it does not establish that the underlying event occurred
authenticity_verified
not_evaluated — no external signature chain or trusted publication record was in scope
real_world_event
not_proven — a valid signature proves the receipt was issued and unmodified under the resolved key; it does not prove the described tool call happened

Step 4

SRS admission and outcome evidence — summary

11 signed SRS receipts total: 5 admitted-read admissions + 5 outcomes + 1 refused admission.

receipt_kind	disposition / outcome	requested_tool_name	verified (8/8)
admission	admitted	counterpedia_get_record	PASS
outcome	result_returned	(outcome receipt)	PASS
admission	admitted	counterpedia_explain	PASS
outcome	result_returned	(outcome receipt)	PASS
admission	admitted	counterpedia_get_sources	PASS
outcome	result_returned	(outcome receipt)	PASS
admission	admitted	counterpedia_get_history	PASS
outcome	result_returned	(outcome receipt)	PASS
admission	admitted	counterpedia_verify	PASS
outcome	result_returned	(outcome receipt)	PASS
admission	refused	mutate_public_record	PASS

All 11 receipts independently verified by arcs-verify (subprocess). 8/8 Boolean checks PASS for each. chain_status: not_applicable for all (standalone receipts — not a ninth PASS).

Overall result: ALL VERIFIED — this is not an aggregate badge; each receipt is reported individually in the sections above.

Step 5

Verifier in a reciprocally isolated environment

arcs-verify runs as an independent subprocess. No producer code is imported into the verifier process; no verifier code is imported into the producer process.

Producer: dagr-mcp (fastmcp.middleware.v0.1); commit: 2f5205edc1e1f47c1e9ac0f30f3fcfe7610f1065
Verifier: arcs-verify; commit: 9e99a1fbca1f5935d3d1778d6551ebaa9f87f148
Process isolation: independent subprocess — reads serialized receipt bytes only. Only serialized JSON receipt files cross the boundary. The signing key exists only in the producer process memory during emission and is never written to disk.
Signing identity (demo — non-production): issuer:counterpedia:reading-room-demo; key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo; Demo signing seed is a fixed, public, non-production value. Ed25519 private key exists only in process memory during emission and is never serialized.

Step 6

Findings and limitation codes

What was checked, what passed, what was not declared, what was not evaluated, and what verification cannot establish — shown separately for every receipt.

Each receipt was checked against srs.mcp.sdk_enforcement.v0.1 by arcs-verify running as an independent subprocess. The eight Boolean verdicts below are the complete set of independently recomputed findings. They are not collapsed into an aggregate score.

Verdict field	What it checks	Result (all receipts)
schema_digest	Receipt JSON matches the pinned SRS envelope schema digest	PASS
envelope	Envelope structure and required fields are present	PASS
profile	Profile-specific fields satisfy srs.mcp.sdk_enforcement.v0.1	PASS
raw_content_exclusion	No forbidden raw-content keys in the receipt	PASS
signature_valid	Ed25519 signature verifies against the resolved key	PASS
issuer_key_resolved	The key_id resolves to an entry in the trust bundle	PASS
issuer_key_trusted	The resolved key is marked trusted in the bundle	PASS
attestation_limits_present	At least one attestation_limits string is present	PASS
chain_status	Cross-artifact chain integrity (not applicable for standalone receipts)	not_applicable

What this verification does NOT establish

currentness: not_established — staleness is a permanent boundary. The verifier run is itself historical; no future run can establish that this record was current at any point after capture.
underlying_truth: not_adjudicated — the verifier recomputes receipt structure and signature; it does not adjudicate the truth of the governed record's claims.
authenticity_verified: not_evaluated — no external signature chain or trusted publication record was in scope. A valid signature proves the receipt was unmodified under the resolved demo key; it does not establish external authenticity.
real_world_event: not_proven — a signed receipt establishes that a governed call crossed the named boundary and was recorded at that boundary. It does not independently prove the described real-world event occurred (a downstream cache may satisfy a tool call without handler execution).

Step 7

Explicit mutation refusal

A write-classed tool call was registered and refused at DAGR admission. The tool body never ran. One refused-admission SRS receipt was emitted and independently verified.

counterpedia.mutate_public_record

Mutate public record (write-classed — refused)

REFUSEDreason_code: policy_refusedbody_ran: false

DAGR refused this call at admission before the tool body ran. The Counterpedia adapter is read-only: it has no admission, signing, or renderer authority. No mutation was performed; no outcome receipt was emitted. One refused-admission SRS receipt was emitted and independently verified.

Refused admission receipt

admission (refused)

receipt_id: urn:srs:receipt:admission:c7950833-eb12-4773-9a8e-3a4e702f4718
receipt_kind: admission
disposition: refused
requested_tool_name: mutate_public_record
issued_at: 2026-08-06T01:06:19Z
issuer_id: issuer:counterpedia:reading-room-demo
subject_ref_origin: derived_from_session
retention_class_applied: hash_only
profile_id / profile_version: srs.mcp.sdk_enforcement / v0.1
key_id: issuer.counterpedia.reading-room-demo/receipt-signing/demo
algorithm: Ed25519
attestation_limits: 2 limit(s)
argument_digest: sha256:1a7350352885cc671d330d5e83c9d135bba2b935044670954bee4d60c6a9ae1c

arcs-verify findings — refused admission

urn:srs:receipt:admission:c7950833-eb12-4773-9a8e-3a4e702f4718

schema_digestPASS
envelopePASS
profilePASS
raw_content_exclusionPASS
signature_validPASS
issuer_key_resolvedPASS
issuer_key_trustedPASS
attestation_limits_presentPASS
chain_status
not_applicable
not a ninth PASS — no cross-artifact chain in scope

Limitation codes — what this verification does not establish

currentness
not_established — staleness is a permanent boundary; this verifier run is itself historical
underlying_truth
not_adjudicated — the verifier recomputes receipt structure and signature; it does not establish that the underlying event occurred
authenticity_verified
not_evaluated — no external signature chain or trusted publication record was in scope
real_world_event
not_proven — a valid signature proves the receipt was issued and unmodified under the resolved key; it does not prove the described tool call happened

A refused receipt verifying under arcs-verify establishes that the refusal was governed and signed at the named boundary. It does not independently prove the real-world mutation attempt occurred; the verifier recomputes receipt structure and signature from serialized bytes only.

Provenance and artifact traceability

How artifacts were captured

tools/counterpedia_agent_demo/capture.py ran the governed demo against the real C2 read API, wrote the 11 SRS receipts and keyring, then called arcs-verify as an independent subprocess on each receipt and saved the full JSON verification report. All files are committed under public/garpedia/canonical-proof-path/. The provenance manifest records each artifact's SHA-256 and the producer/verifier commit pins.

Proof path steps recorded in provenance-manifest.json

1
Real public record — SYN-CP-SIG-0001 at SYN-CP-SIG-0001@SYN-CP-ED-0003, read via the C2 public read API producer resolveReadSurface — the exact function the GET /api/records/[recordId]/... route handlers wrap
2
Hosted/public read API — Five C2 read-API surfaces: record, exclusions, sources, history, verification. Each called via counterpedia_agent_demo read tools backed by counterpediaAgentReadBridge.ts → agentReadPath.ts → resolveReadSurface.
3
Governed DAGR admission — DAGRMiddleware (fastmcp.middleware.v0.1) wraps each tool call. Five read tools admitted; mutate_public_record refused by server-owned policy resolver. Read-only by construction: no admission, signing, or renderer authority.
4
SRS admission and outcome evidence — 11 signed SRS receipts: 5 admitted-read admissions + 5 outcomes (result_returned) + 1 refused admission. Profile: srs.mcp.sdk_enforcement.v0.1. Signing identity: issuer:counterpedia:reading-room-demo (demo key, non-production).
5
Verifier in reciprocally isolated environment — arcs-verify runs as an independent subprocess reading serialized receipt bytes only. The producer process (dagr-mcp) does not import arcs_verify; the verifier subprocess does not import dagr_mcp internals. Only serialized JSON receipt files cross the boundary.
6
Visible Counterpedia findings and limitation codes — 8 Boolean verdicts reported individually per receipt: schema_digest, envelope, profile, raw_content_exclusion, signature_valid, issuer_key_resolved, issuer_key_trusted, attestation_limits_present. chain_status reported separately (not_applicable for standalone receipts — not a ninth PASS). 4 limitation codes: currentness, underlying_truth, authenticity_verified, real_world_event.
7
Explicit mutation refusal — mutate_public_record (write-classed) refused at DAGR admission. One refused-admission receipt emitted. Tool body never ran (body_ran=False proven by invocation sentinel). The Counterpedia adapter has no admission or renderer authority.

provenance-manifest.json (summary)

{
  "record_id": "SYN-CP-SIG-0001",
  "version_ref": "SYN-CP-SIG-0001@SYN-CP-ED-0003",
  "producer_commit": "2f5205edc1e1f47c1e9ac0f30f3fcfe7610f1065",
  "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148",
  "profile": "srs.mcp.sdk_enforcement.v0.1",
  "total_receipts": 11,
  "all_verified": true
}

This page renders committed bytes from public/garpedia/canonical-proof-path/. It performs no cryptographic check, makes no network call, and imports no verifier or producer implementation at build or run time.

Counterpedia is the renderer; it is not the admission, runtime, or verification authority. dagr-mcp is the producer; arcs-verify is the independent verifier. The signing identity is a demo key with no production validity.

Structural verification does not establish historical authenticity. Counterpedia does not claim to have verified or approved any rendered record as fact.