{
  "target": "TRACE",
  "section": 3,
  "version": 1,
  "status": "authored design; implementation not authorized",
  "checklist-obligation": "- [ ] **TRACE \u2014 TRACE and connections.** **PARTIAL:** complete current node/edge census, semantic identity and actual mandatory-edge firing in the same run. Include R6\u2192R13\u2192R14\u2192R16\u2192R2; reconcile conditional and retired edges and drawn/source differences. Built evidence: Durable checkpoints, terminal records, source pins and some joined receipts",
  "nodes": [
    {
      "id": "TRACE-1",
      "pattern": "wm-qualifying-run/one-episode-all-required-connections",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/qualifying-run/one-episode-all-required-connections.flexiarg",
      "source-sha256": "c12730e60183b859727de4725ed2271d6c9e35a090530d66da357399e799f809",
      "reading-url": "/2026-09-15-wm-patterns-qualifying-run.html#one-episode-all-required-connections",
      "title": "Declare the required graph",
      "application": "Reconcile the catalogue, drawing, source and ruled conditional/retired edges. Produce a versioned node/edge universe including R3a hosting and R17 variants. Do not infer completeness from whichever logs exist.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "TRACE-2",
      "pattern": "wm-connected-learning/observation-to-next-choice",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/connected-learning/observation-to-next-choice.flexiarg",
      "source-sha256": "b0407ef81dea874d78bb7697042342d4d8023592a058d66e01e6fa4813186053",
      "reading-url": "/2026-09-15-wm-patterns-connected-learning.html#observation-to-next-choice",
      "title": "Bind producer and consumer identities",
      "application": "For each required edge declare carried quantity, model/policy revision, source and destination call sites, occurrence and cutoff. Distinguish transport receipt from semantic consumption.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "TRACE-3",
      "pattern": "wm-qualifying-run/one-episode-all-required-connections",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/qualifying-run/one-episode-all-required-connections.flexiarg",
      "source-sha256": "c12730e60183b859727de4725ed2271d6c9e35a090530d66da357399e799f809",
      "reading-url": "/2026-09-15-wm-patterns-qualifying-run.html#one-episode-all-required-connections",
      "title": "Acquire the complete occurrence",
      "application": "Retain actual firings through R6\u2192R13\u2192R14\u2192R16\u2192R2 and every other mandatory edge in that same run. Conditional edges need the ruled applicability evidence; absence is not automatic inapplicability.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "TRACE-4",
      "pattern": "wm-connected-learning/observation-to-next-choice",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/connected-learning/observation-to-next-choice.flexiarg",
      "source-sha256": "b0407ef81dea874d78bb7697042342d4d8023592a058d66e01e6fa4813186053",
      "reading-url": "/2026-09-15-wm-patterns-connected-learning.html#observation-to-next-choice",
      "title": "Validate joins and surface missing edges",
      "application": "Check producer output against consumer input and collect independently bound evidence. Produce complete/partial/rejected graph coverage with reasons. A positive result requires every applicable mandatory edge; counting records is insufficient.",
      "status": "authored application, not executed or independently accepted"
    }
  ],
  "relations": [
    {
      "from": "TRACE-1",
      "to": "TRACE-2",
      "kind": "requires-result",
      "because": "The required graph defines the acquisition universe."
    },
    {
      "from": "TRACE-2",
      "to": "TRACE-3",
      "kind": "requires-result",
      "because": "Semantic bindings define what evidence can count as an edge firing."
    },
    {
      "from": "TRACE-3",
      "to": "TRACE-4",
      "kind": "requires-result",
      "because": "Actual firings are validated against the declared universe, not vice versa."
    },
    {
      "from": "TRACE-4",
      "to": "TRACE-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: Delete a mandatory edge, substitute another run, swap model revisions and label an absent conditional edge retired without authority. Test producer/consumer value mismatch."
    }
  ],
  "dependencies": [
    "R6",
    "R13",
    "R14",
    "R16",
    "R2",
    "E02",
    "E05"
  ],
  "worked-situation": "A depth calculation from yesterday, today\u2019s actuation and tomorrow\u2019s observation are individually authentic. Their union does not establish a same-run R6-to-R2 chain. The join validator must expose the occurrence switch.",
  "distinguishing-controls": "Delete a mandatory edge, substitute another run, swap model revisions and label an absent conditional edge retired without authority. Test producer/consumer value mismatch.",
  "open-decisions-and-limits": "The graph census is versioned; source and drawing disagreements require explicit resolution, not drawing edits that waive behavior.",
  "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"
}