{
  "target": "E07",
  "section": 4,
  "version": 1,
  "status": "authored design; implementation not authorized",
  "checklist-obligation": "- [ ] **E07 \u2014 Cross-paper promises and historical evidence.** **PARTIAL:** companion referent ruling exists. Pin actual delivered formal/experimental sections; locate or explicitly dispose of missing historical artifacts, correct stale proof counts and unsupported validation wording, including the still-stale fundamentals table generated from the September 5 census. The fetched PLoP snapshot claimed two sorry declarations while the September 15 audit found nine; claude-20 reports paper correction `7080b18`, which is not retroactive correction of the retained page snapshot.",
  "nodes": [
    {
      "id": "E07-1",
      "pattern": "wm-purpose-and-account/each-paper-claim-keeps-its-evidence-kind",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/purpose-and-account/each-paper-claim-keeps-its-evidence-kind.flexiarg",
      "source-sha256": "938b689727354204e228d44b8b2cc1585f43b01af6eae40f3c7b81c875be21e6",
      "reading-url": "/2026-09-15-wm-patterns-purpose-and-account.html#each-paper-claim-keeps-its-evidence-kind",
      "title": "Resolve promises to exact sections",
      "application": "Use the companion referent ruling and pin actual delivered formal and experimental sections. Produce source/page/version mappings for each promise, including generated tables and supporting certificates.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "E07-2",
      "pattern": "wm-purpose-and-account/irrecoverable-history-stays-historical",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/purpose-and-account/irrecoverable-history-stays-historical.flexiarg",
      "source-sha256": "e16446c13e2c6c3a63095296912db710a78c31f22d07b3609fd21b1fe0bf0062",
      "reading-url": "/2026-09-15-wm-patterns-purpose-and-account.html#irrecoverable-history-stays-historical",
      "title": "Recover or bound historical evidence",
      "application": "Locate original artifacts where possible and label unavailable preimages, missing experiments and reconstructed accounts distinctly. New demonstrations receive new dates and scope; no synthetic replacement is historical recovery.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "E07-3",
      "pattern": "wm-purpose-and-account/each-paper-claim-keeps-its-evidence-kind",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/purpose-and-account/each-paper-claim-keeps-its-evidence-kind.flexiarg",
      "source-sha256": "938b689727354204e228d44b8b2cc1585f43b01af6eae40f3c7b81c875be21e6",
      "reading-url": "/2026-09-15-wm-patterns-purpose-and-account.html#each-paper-claim-keeps-its-evidence-kind",
      "title": "Recompute current source-backed statements",
      "application": "Count the relevant current formal obligations at a pinned source and reconcile generated fundamentals against its real data revision. Preserve the historical two-versus-nine sorry discrepancy as dated evidence, not an eternal current count.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "E07-4",
      "pattern": "wm-purpose-and-account/irrecoverable-history-stays-historical",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/purpose-and-account/irrecoverable-history-stays-historical.flexiarg",
      "source-sha256": "e16446c13e2c6c3a63095296912db710a78c31f22d07b3609fd21b1fe0bf0062",
      "reading-url": "/2026-09-15-wm-patterns-purpose-and-account.html#irrecoverable-history-stays-historical",
      "title": "Correct publication with provenance",
      "application": "Publish reviewed corrections and retain old snapshots, supersession and still-open promises. Verify the delivered pages and table inputs; explicit disposal of an unavailable historical claim must not delete the underlying capability requirement.",
      "status": "authored application, not executed or independently accepted"
    }
  ],
  "relations": [
    {
      "from": "E07-1",
      "to": "E07-2",
      "kind": "requires-result",
      "because": "Resolved promise destinations determine which originals and sections are relevant."
    },
    {
      "from": "E07-2",
      "to": "E07-3",
      "kind": "requires-result",
      "because": "Historical limits constrain current claims and prevent retrospective invention."
    },
    {
      "from": "E07-3",
      "to": "E07-4",
      "kind": "requires-result",
      "because": "Current source-backed statements determine the corrections that can be published."
    },
    {
      "from": "E07-4",
      "to": "E07-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: Reject stale generated census, wrong companion destination, synthetic missing preimage, proof count without source pin and unpublished correction treated as delivered."
    }
  ],
  "dependencies": [
    "E06",
    "E10",
    "WM-01"
  ],
  "worked-situation": "A fetched page said two sorries; later source inspection found nine and another commit corrected the paper. Preserve all three objects and dates. The new page cannot be cited as proof that the old claim was true.",
  "distinguishing-controls": "Reject stale generated census, wrong companion destination, synthetic missing preimage, proof count without source pin and unpublished correction treated as delivered.",
  "open-decisions-and-limits": "Current counts require fresh inspection when implemented. This design does not repeat a historical count as today\u2019s state.",
  "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"
}