{
  "created_at": "2026-01-10T00:00:00Z",
  "notes": {
    "integrity": "see if.trace receipt for output bytes",
    "live_lookup": false
  },
  "passes": [
    {
      "constraints": {
        "no_internal_uri_schemes": true,
        "no_logins": true,
        "no_web_calls": true,
        "one_url_per_line": true
      },
      "input_sha256": "be8ae590d9897b33bc8f7ad19d01f97db4b8d83eb676ed32256f7ebc015e5b5c",
      "pass_id": "pass_1_intake",
      "question": "What does an if.trace receipt prove vs not prove?",
      "title": "Intake"
    },
    {
      "pass_id": "pass_2_plan",
      "steps": [
        "Intake: restate question + constraints",
        "Plan: list the 8 passes",
        "Evidence: inventory local demo corpus (hashes + snippets)",
        "Extraction: pull candidate boundary statements",
        "Synthesis: summarize what is proven vs not proven",
        "Risks: list what this demo does not claim",
        "Black/white: produce explicit boundary bullets",
        "Artifacts: record hashes + public receipt URLs (when published)"
      ],
      "title": "Plan (8 passes)"
    },
    {
      "evidence": [
        {
          "bytes": 241,
          "evidence_id": "E1",
          "head": [
            "# Receipt boundary statements (demo corpus)",
            "",
            "Receipts prove that the output bytes match the receipt hash.",
            "Receipts do not prove truth, correctness, safety, compliance, or intent.",
            "Signatures are only meaningful where present and verifiable.",
            ""
          ],
          "lines": 6,
          "path": "evidence/receipt_boundary.md",
          "sha256": "8191686eed3ab898dcc0eb8397964e97bf53c254a56c49b5d1ee376508a2e8c5",
          "title": "Receipt boundary statements"
        },
        {
          "bytes": 208,
          "evidence_id": "E2",
          "head": [
            "# 60-second verify lane (demo corpus)",
            "",
            "CLI path (no login): download bytes, compute sha256, compare to receipt hash.",
            "Offline path (no upload): use the browser-based SHA-256 verifier for the downloaded file.",
            ""
          ],
          "lines": 5,
          "path": "evidence/verify_lane.md",
          "sha256": "51ede36952007ae71aaf5e51a3d412e6f11735aff902a7d6cc311bd5e56e8ae3",
          "title": "60-second verify lane (CLI + offline verifier)"
        }
      ],
      "pass_id": "pass_3_evidence",
      "title": "Evidence inventory"
    },
    {
      "pass_id": "pass_4_extraction",
      "quotes": [
        "Receipts do not prove truth, correctness, safety, compliance, or intent.",
        "Receipts prove that the output bytes match the receipt hash."
      ],
      "title": "Extraction"
    },
    {
      "not_proven_summary": [
        "Receipts do not prove truth, correctness, safety, compliance, or intent."
      ],
      "pass_id": "pass_5_synthesis",
      "proven_summary": [
        "Receipts prove that the output bytes match the receipt hash."
      ],
      "title": "Synthesis (black/white)"
    },
    {
      "notes": [
        "This demo does not perform live search, crawling, or authenticated API calls.",
        "This demo does not claim correctness of any external facts; it only demonstrates a workflow shape over a synthetic corpus.",
        "This demo does not claim any runtime deployment of if.search on this host."
      ],
      "pass_id": "pass_6_risks",
      "title": "Risks / non-claims"
    },
    {
      "not_verified": [
        "Truth/correctness of claims inside the output.",
        "Safety, compliance, or intent."
      ],
      "pass_id": "pass_7_boundary",
      "title": "Black / white boundary (output posture)",
      "verified": [
        "The output bytes match the receipt hash (when a receipt is published).",
        "Any signatures listed are only meaningful where present and verifiable."
      ]
    },
    {
      "created_at": "2026-01-10T00:00:00Z",
      "input_sha256": "be8ae590d9897b33bc8f7ad19d01f97db4b8d83eb676ed32256f7ebc015e5b5c",
      "pass_id": "pass_8_artifacts",
      "title": "Artifacts"
    }
  ],
  "question": "What does an if.trace receipt prove vs not prove?",
  "schema_id": "if.search.demo.report",
  "schema_version": "demo.v1"
}