{
  "manifest_kind": "canonical_proof_path",
  "schema_version": "v0.1",
  "record_id": "SYN-CP-SIG-0001",
  "version_ref": "SYN-CP-SIG-0001@SYN-CP-ED-0003",
  "publication_manifest_ref": {
    "path": "public/garpedia/release/publication-manifest-v0.1.json",
    "release_commit": "b81ff2d0f1a9675fefee06122a6ba03363cdff6d",
    "note": "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."
  },
  "proof_path_steps": [
    {
      "step": 1,
      "label": "Real public record",
      "detail": "SYN-CP-SIG-0001 at SYN-CP-SIG-0001@SYN-CP-ED-0003, read via the C2 public read API producer resolveReadSurface \u2014 the exact function the GET /api/records/[recordId]/... route handlers wrap"
    },
    {
      "step": 2,
      "label": "Hosted/public read API",
      "detail": "Five C2 read-API surfaces: record, exclusions, sources, history, verification. Each called via counterpedia_agent_demo read tools backed by counterpediaAgentReadBridge.ts \u2192 agentReadPath.ts \u2192 resolveReadSurface."
    },
    {
      "step": 3,
      "label": "Governed DAGR admission",
      "detail": "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."
    },
    {
      "step": 4,
      "label": "SRS admission and outcome evidence",
      "detail": "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)."
    },
    {
      "step": 5,
      "label": "Verifier in reciprocally isolated environment",
      "detail": "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."
    },
    {
      "step": 6,
      "label": "Visible Counterpedia findings and limitation codes",
      "detail": "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 \u2014 not a ninth PASS). 4 limitation codes: currentness, underlying_truth, authenticity_verified, real_world_event."
    },
    {
      "step": 7,
      "label": "Explicit mutation refusal",
      "detail": "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."
    }
  ],
  "producer": {
    "tool": "dagr-mcp",
    "repository": "https://github.com/thelaplage/dagr-mcp",
    "commit": "2f5205edc1e1f47c1e9ac0f30f3fcfe7610f1065",
    "binding_version": "fastmcp.middleware.v0.1",
    "signing_identity": "issuer:counterpedia:reading-room-demo",
    "key_id": "issuer.counterpedia.reading-room-demo/receipt-signing/demo",
    "note": "Demo signing seed is a fixed, public, non-production value. Ed25519 private key exists only in process memory during emission and is never serialized."
  },
  "verifier": {
    "tool": "arcs-verify",
    "repository": "https://github.com/thelaplage/arcs-verify",
    "commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148",
    "profile": "srs.mcp.sdk_enforcement.v0.1",
    "execution": "independent subprocess \u2014 reads serialized receipt bytes only"
  },
  "boundary_notes": [
    "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."
  ],
  "artifacts": [
    {
      "path": "canonical-proof-path/keyring.json",
      "sha256": "sha256:9936bc8cc7539ab51e4b27f58d28cebcd564c59f48413692933584f9ddbacb68",
      "kind": "issuer_trust_bundle",
      "issuer_id": "issuer:counterpedia:reading-room-demo",
      "key_id": "issuer.counterpedia.reading-room-demo/receipt-signing/demo"
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_admission_4854aace-b7aa-47e6-ac16-4bec566b8822.json",
      "sha256": "sha256:cf49f8643a882fd1e7f078ad69754a688aa52d6a72d9ba96d0abc106da5b493e",
      "kind": "srs_receipt",
      "receipt_kind": "admission",
      "receipt_id": "urn:srs:receipt:admission:4854aace-b7aa-47e6-ac16-4bec566b8822",
      "disposition": "admitted",
      "outcome": null
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_admission_7c9ffaef-1486-4b88-988a-a9400acaeebb.json",
      "sha256": "sha256:3bec5a35c1bdf76543e87d1e026ca228d5c7b6127d602c1122df4f9b8342a83d",
      "kind": "srs_receipt",
      "receipt_kind": "admission",
      "receipt_id": "urn:srs:receipt:admission:7c9ffaef-1486-4b88-988a-a9400acaeebb",
      "disposition": "admitted",
      "outcome": null
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_admission_8a6d6df1-4dba-4f36-8e96-6e9cf8897367.json",
      "sha256": "sha256:a36bbe098007fcb6456b522c97902224ad09c847ae9ab007a3b456a69986d459",
      "kind": "srs_receipt",
      "receipt_kind": "admission",
      "receipt_id": "urn:srs:receipt:admission:8a6d6df1-4dba-4f36-8e96-6e9cf8897367",
      "disposition": "admitted",
      "outcome": null
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_admission_a9571090-c077-4023-8416-94a0006b51b5.json",
      "sha256": "sha256:ea1b295dfee3e24760566a0699755bcd69d9c7667d7a0066216742fd1e6a3205",
      "kind": "srs_receipt",
      "receipt_kind": "admission",
      "receipt_id": "urn:srs:receipt:admission:a9571090-c077-4023-8416-94a0006b51b5",
      "disposition": "admitted",
      "outcome": null
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_admission_c7950833-eb12-4773-9a8e-3a4e702f4718.json",
      "sha256": "sha256:795e7e2d66e80af0ee6dccddd58dd565248275bb3d5cae836caf5222dc0500eb",
      "kind": "srs_receipt",
      "receipt_kind": "admission",
      "receipt_id": "urn:srs:receipt:admission:c7950833-eb12-4773-9a8e-3a4e702f4718",
      "disposition": "refused",
      "outcome": null
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_admission_e3007065-437a-46db-9ba7-f981fadd2328.json",
      "sha256": "sha256:d86c08336f2a61bd793d7d4cb1c9fd659f6e2c8e49bdda317b8d530b9dddefbe",
      "kind": "srs_receipt",
      "receipt_kind": "admission",
      "receipt_id": "urn:srs:receipt:admission:e3007065-437a-46db-9ba7-f981fadd2328",
      "disposition": "admitted",
      "outcome": null
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_outcome_7871d430-9e79-4b88-a731-02c1ddcd8196.json",
      "sha256": "sha256:c2802c4b46d021b6f2f4a99daea80146c5f33d0812a2184542957cebb293d9a5",
      "kind": "srs_receipt",
      "receipt_kind": "outcome",
      "receipt_id": "urn:srs:receipt:outcome:7871d430-9e79-4b88-a731-02c1ddcd8196",
      "disposition": null,
      "outcome": "result_returned"
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_outcome_a457eac1-c760-4d1c-a0c8-9dfe260f8862.json",
      "sha256": "sha256:dc3254524025659a12879e1332a03bc1af61977c7deb27f7a17d5d42b3e5e6b3",
      "kind": "srs_receipt",
      "receipt_kind": "outcome",
      "receipt_id": "urn:srs:receipt:outcome:a457eac1-c760-4d1c-a0c8-9dfe260f8862",
      "disposition": null,
      "outcome": "result_returned"
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_outcome_a8a99d52-6ac9-45fe-83e4-c4133f27cf34.json",
      "sha256": "sha256:0907b7e65aa61d66c2a1f9501ecfa88287f5ef2364ef561a092a8925ed9d78c5",
      "kind": "srs_receipt",
      "receipt_kind": "outcome",
      "receipt_id": "urn:srs:receipt:outcome:a8a99d52-6ac9-45fe-83e4-c4133f27cf34",
      "disposition": null,
      "outcome": "result_returned"
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_outcome_b200640e-e3aa-411f-9a95-657a7dd68f47.json",
      "sha256": "sha256:69eea09571727fe68df707f4de2d4f4b8ab3980c76bf6509126d3ab73ff83bdf",
      "kind": "srs_receipt",
      "receipt_kind": "outcome",
      "receipt_id": "urn:srs:receipt:outcome:b200640e-e3aa-411f-9a95-657a7dd68f47",
      "disposition": null,
      "outcome": "result_returned"
    },
    {
      "path": "canonical-proof-path/urn_srs_receipt_outcome_f5646f4d-e9e0-4013-a54c-cba31aca6c54.json",
      "sha256": "sha256:d17e6b01edf007c63184014b65b6754be93dbd6d8868482ef21f9e741409eff0",
      "kind": "srs_receipt",
      "receipt_kind": "outcome",
      "receipt_id": "urn:srs:receipt:outcome:f5646f4d-e9e0-4013-a54c-cba31aca6c54",
      "disposition": null,
      "outcome": "result_returned"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_admission_4854aace-b7aa-47e6-ac16-4bec566b8822.json",
      "sha256": "sha256:88210e590e0010784415494451b55a2dd96f672feca929dc2ab57fe3bfc10c65",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_admission_4854aace-b7aa-47e6-ac16-4bec566b8822.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_admission_7c9ffaef-1486-4b88-988a-a9400acaeebb.json",
      "sha256": "sha256:c1e042315439bd5a5ff838647b9dfb3d9d7c0ab12e5e7076d43567ed5489cc63",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_admission_7c9ffaef-1486-4b88-988a-a9400acaeebb.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_admission_8a6d6df1-4dba-4f36-8e96-6e9cf8897367.json",
      "sha256": "sha256:5438828a6db3723638591f6c5151854b238e0a6918129788952fe9b3544b184e",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_admission_8a6d6df1-4dba-4f36-8e96-6e9cf8897367.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_admission_a9571090-c077-4023-8416-94a0006b51b5.json",
      "sha256": "sha256:004726a12cb4bc8eb99f0e0e99f05016c01a0ce6a1521cd92bb194a6cb66fb4c",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_admission_a9571090-c077-4023-8416-94a0006b51b5.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_admission_c7950833-eb12-4773-9a8e-3a4e702f4718.json",
      "sha256": "sha256:13d68ae265216d746ef2cb6c6dbcdfd8c9d10fe78c83ff19503de812f9f4cb2d",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_admission_c7950833-eb12-4773-9a8e-3a4e702f4718.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_admission_e3007065-437a-46db-9ba7-f981fadd2328.json",
      "sha256": "sha256:9e67ffa15537eeead0f1730ac4209c82ba9926d61f7f123a6a179cf95ee00f02",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_admission_e3007065-437a-46db-9ba7-f981fadd2328.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_outcome_7871d430-9e79-4b88-a731-02c1ddcd8196.json",
      "sha256": "sha256:f67efc501dea544aa508982e71ba115c7e66ade48bb32ca8fcb7f361b6806981",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_outcome_7871d430-9e79-4b88-a731-02c1ddcd8196.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_outcome_a457eac1-c760-4d1c-a0c8-9dfe260f8862.json",
      "sha256": "sha256:59d02571c1ac5b0adc3deac1ca2b0b00a9804ec9c31ce7a48bef719572f09fd7",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_outcome_a457eac1-c760-4d1c-a0c8-9dfe260f8862.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_outcome_a8a99d52-6ac9-45fe-83e4-c4133f27cf34.json",
      "sha256": "sha256:f51cd68e92d71f273c7e12fa3fe4fb6507e2b18c428b8abbdd7cdd6e136a07dd",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_outcome_a8a99d52-6ac9-45fe-83e4-c4133f27cf34.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_outcome_b200640e-e3aa-411f-9a95-657a7dd68f47.json",
      "sha256": "sha256:83641b754ea50308493ca7bec921b87c5413a762bbce260477fe695c51db683e",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_outcome_b200640e-e3aa-411f-9a95-657a7dd68f47.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    },
    {
      "path": "canonical-proof-path/verification-report-urn_srs_receipt_outcome_f5646f4d-e9e0-4013-a54c-cba31aca6c54.json",
      "sha256": "sha256:4d0ed5a2958a71a6e527eff5af01e6b76f5d5667045d010d3c6dfd2a40850694",
      "kind": "verification_report",
      "receipt_file": "urn_srs_receipt_outcome_f5646f4d-e9e0-4013-a54c-cba31aca6c54.json",
      "passed": true,
      "verifier_commit": "9e99a1fbca1f5935d3d1778d6551ebaa9f87f148"
    }
  ]
}