{
  "target": "E03",
  "section": 4,
  "version": 1,
  "status": "authored design; implementation not authorized",
  "checklist-obligation": "- [ ] **E03 \u2014 Complete rejecting certificate pipeline.** **PARTIAL:** typed attestation/generator machinery exists. Complete existing worklist F11 certificate acquisition/adapter, source binding, semantic predicates, rejecting controls and end-to-end tamper tests. A complete record of failures is useful but is not positive validation.",
  "nodes": [
    {
      "id": "E03-1",
      "pattern": "wm-qualifying-run/complete-acquisition-universe",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/qualifying-run/complete-acquisition-universe.flexiarg",
      "source-sha256": "b04d534795d2bc0956622b289b172f02e768fcf93098efbdb559974a90fa3289",
      "reading-url": "/2026-09-15-wm-patterns-qualifying-run.html#complete-acquisition-universe",
      "title": "Acquire the required F11 inputs",
      "application": "Use the existing worklist F11 acquisition/adapter obligation, with its complete source/evidence universe. Keep that mission distinct from checklist WM-11 policy inference. Produce admitted inputs or named missing members.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "E03-2",
      "pattern": "wm-qualifying-run/certificate-and-world-must-meet",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/qualifying-run/certificate-and-world-must-meet.flexiarg",
      "source-sha256": "9da525759d36ead829b7c7564bc6d7668bf329fa00466cddf7fd6db08f7e2bd5",
      "reading-url": "/2026-09-15-wm-patterns-qualifying-run.html#certificate-and-world-must-meet",
      "title": "Bind semantics to certificate fields",
      "application": "Map each run predicate to the authentic observation, source/model identity and independent review it asserts. Bind generator and checker versions; well-typed fields cannot replace evidence that the event occurred.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "E03-3",
      "pattern": "wm-qualifying-run/negative-result-keeps-its-meaning",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/qualifying-run/negative-result-keeps-its-meaning.flexiarg",
      "source-sha256": "1565af1acf654044c567d8c2b4e0f0cae47b4524c0effb27ef6c1fc6a89c4e92",
      "reading-url": "/2026-09-15-wm-patterns-qualifying-run.html#negative-result-keeps-its-meaning",
      "title": "Exercise the rejecting path end to end",
      "application": "Tamper with source, subject, model, occurrence, mandatory-edge and independence fields at acquisition and generated-certificate boundaries. Require rejection for the intended semantic condition, not merely malformed syntax.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "E03-4",
      "pattern": "wm-qualifying-run/certificate-and-world-must-meet",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/qualifying-run/certificate-and-world-must-meet.flexiarg",
      "source-sha256": "9da525759d36ead829b7c7564bc6d7668bf329fa00466cddf7fd6db08f7e2bd5",
      "reading-url": "/2026-09-15-wm-patterns-qualifying-run.html#certificate-and-world-must-meet",
      "title": "Compute and independently check the result",
      "application": "Run the formal checker on the emitted certificate, retain its inputs, output and relevant axiom/build evidence, and obtain independent review. Positive validation needs a complete authentic qualifying subject; generated false certificates remain negative results.",
      "status": "authored application, not executed or independently accepted"
    }
  ],
  "relations": [
    {
      "from": "E03-1",
      "to": "E03-2",
      "kind": "requires-result",
      "because": "Complete acquisition supplies the subjects each predicate may describe."
    },
    {
      "from": "E03-2",
      "to": "E03-3",
      "kind": "requires-result",
      "because": "Semantic bindings determine meaningful tampering controls."
    },
    {
      "from": "E03-3",
      "to": "E03-4",
      "kind": "requires-result",
      "because": "A tested rejecting pipeline must still check the actual complete certificate."
    },
    {
      "from": "E03-4",
      "to": "E03-1",
      "kind": "revision-feedback",
      "because": "A failed distinguishing control or consumer mismatch reopens the original scope/meaning; retain the failed claim rather than weakening it. Relevant controls: Use missing commission, stale source hash, forged reviewer, cross-run edge, omitted required input and changed generated predicate. Keep a valid complete control separate from fabricated production evidence."
    }
  ],
  "dependencies": [
    "E02",
    "R9",
    "TRACE",
    "E04",
    "E05"
  ],
  "worked-situation": "A certificate correctly says an edge never fired. It is an honest and useful output. Renaming its successful computation a qualifying run would reverse the substantive result.",
  "distinguishing-controls": "Use missing commission, stale source hash, forged reviewer, cross-run edge, omitted required input and changed generated predicate. Keep a valid complete control separate from fabricated production evidence.",
  "open-decisions-and-limits": "No synthetic positive run or reconstructed preimage may satisfy the production claim. A blocked positive case stays open.",
  "sources": [
    {
      "file": "/home/joe/code/p4ng/CHECKLIST-fundamentals.md",
      "sha256": "751ccfb00e4865c63734ac5147b9e6df66b48ee9697a7e20869d97a11467b81b",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/DESIGN-REQUIREMENTS-apex-2026-09-09.md",
      "sha256": "79228ad2299e639b427592f2eb24d4a80fadb9891271ca4bfe1211bf0a27f21c",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/RULINGS-walkthrough-2026-09-07.md",
      "sha256": "e8034618d4677ccb3a2d14f4bae8f470d5499968fabebe2ee6446c516f4ea6b3",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/RULINGS-walkthrough-2026-09-09.md",
      "sha256": "94222af425799985990929fd71e8dccf988ef4ced29958a96a188198964059c7",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/RULINGS-walkthrough-2026-09-12.md",
      "sha256": "9a20cbb57e57c9c9f5c3c19e67be663de1b7f779d45b92734b01f48c53a575e0",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/SPEC-cascade-policy-semantics-2026-09-15.md",
      "sha256": "2744a5c013a787b521b01849326a2216c477f839bf364c4920ac348391003334",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/COMPLETION-LIST-plop2026-2026-09-12.md",
      "sha256": "cdb06820677265ee4649a6324824fffd570c4a9710cce97717b028124fdf0d20",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/TN-row20-census-2026-09-12.md",
      "sha256": "dc7cec13147578130a875c0541c80dba65d3ffc1c21f4abf149b641d92b1a22c",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon3c/holes/excursions/apex-thesis.json",
      "sha256": "4288034fd4bb9ab69c13a3744130446f90da9520806f2835940691726fc3c87d",
      "scope": "dated source; statements retain their own authority and limits"
    }
  ],
  "authored-content-sha256": "6ad6935c9196b751960a66e891a5ec562bbc77543e68999722b11b16e31e6b6f"
}