{
  "target": "WM-04",
  "version": 1,
  "kind": "authored full build design",
  "nodes": [
    {
      "id": "O1",
      "pattern": "wm-prediction/meaning-before-carrier",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/meaning-before-carrier.flexiarg",
      "source-sha256": "931231a4040333a05928e12eb5a346252370d66f41f6a66d75c5e31218c0ce6a",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#meaning-before-carrier",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O2",
      "pattern": "wm-prediction/observation-can-disagree",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/observation-can-disagree.flexiarg",
      "source-sha256": "f56876b75e11bc2e812f32011cd90b3fdf2c5fd1bc029cd2dd3f0d0bda500133",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#observation-can-disagree",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O3",
      "pattern": "wm-prediction/choose-observations-before-outcomes",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/choose-observations-before-outcomes.flexiarg",
      "source-sha256": "2c10aa408a78b05ddf046c1b19913987524f325e9bfc445d3b1263fceeaea17a",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#choose-observations-before-outcomes",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O4",
      "pattern": "aif/measurement-window-hygiene",
      "source": "/home/joe/code/futon3/library/aif/measurement-window-hygiene.flexiarg",
      "source-sha256": "e393cb9cd1fd8de60fa503fee23f565529fcedd6ccbb5dc6e40b5711803236dd",
      "reading-url": "#source-aif--measurement-window-hygiene",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O5",
      "pattern": "aif/structured-observation-vector",
      "source": "/home/joe/code/futon3/library/aif/structured-observation-vector.flexiarg",
      "source-sha256": "a020802580a32a2fe2d32861476cec9cc6140e22c71721387e70bb36a4276cd9",
      "reading-url": "#source-aif--structured-observation-vector",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O6",
      "pattern": "wm-prediction/review-the-exact-observation",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/review-the-exact-observation.flexiarg",
      "source-sha256": "f35b88af25286bacbb552d050fe09eaf285cdda38f4e2e0543fe9dc90ff2f7ed",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#review-the-exact-observation",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O7",
      "pattern": "wm-prediction/pair-state-and-outcome-without-belief-labels",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/pair-state-and-outcome-without-belief-labels.flexiarg",
      "source-sha256": "4a904a72cc4ad4916b1c23d3f45141a3530b8f7847d4c3f0a6db97325c7ab55d",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#pair-state-and-outcome-without-belief-labels",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O8",
      "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",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O9",
      "pattern": "wm-prediction/unobserved-is-not-zero",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/unobserved-is-not-zero.flexiarg",
      "source-sha256": "7d5fd6956e55f6f505b0daa74c25b055f4b22685e765b95509684868b9482b3c",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#unobserved-is-not-zero",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O10",
      "pattern": "wm-prediction/probability-laws-with-runtime-meaning",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/probability-laws-with-runtime-meaning.flexiarg",
      "source-sha256": "876823588e225426a91099eb3d81741b2b988e81abfbd227ebcd852d87d9035c",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#probability-laws-with-runtime-meaning",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "O11",
      "pattern": "wm-prediction/outcome-meaning-across-models",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/outcome-meaning-across-models.flexiarg",
      "source-sha256": "86459a7a7e33f5ef8a1c5e247e8e1d141f8bf6e53ecccb8f43294e6e1ae463c3",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#outcome-meaning-across-models",
      "status": "authored application; no execution or independent acceptance claimed"
    }
  ],
  "relations": [
    {
      "from": "O1",
      "to": "O2",
      "kind": "prerequisite",
      "because": "State meaning determines what could contradict belief.",
      "status": "proposed design relation"
    },
    {
      "from": "O1",
      "to": "O7",
      "kind": "prerequisite",
      "because": "The pairing must honor state, outcome and time semantics.",
      "status": "proposed design relation"
    },
    {
      "from": "O2",
      "to": "O4",
      "kind": "prerequisite",
      "because": "Acquisition must enforce the observer access boundary.",
      "status": "proposed design relation"
    },
    {
      "from": "O3",
      "to": "O4",
      "kind": "prerequisite",
      "because": "The prospective selection specifies which occurrences and evidence windows to acquire.",
      "status": "proposed design relation"
    },
    {
      "from": "O2",
      "to": "O5",
      "kind": "prerequisite",
      "because": "Classification must use blinded independent inputs.",
      "status": "proposed design relation"
    },
    {
      "from": "O3",
      "to": "O5",
      "kind": "prerequisite",
      "because": "A finding must identify its selected occurrence.",
      "status": "proposed design relation"
    },
    {
      "from": "O4",
      "to": "O5",
      "kind": "prerequisite",
      "because": "Only frozen admitted evidence can justify the finding.",
      "status": "proposed design relation"
    },
    {
      "from": "O5",
      "to": "O6",
      "kind": "prerequisite",
      "because": "Review binds the exact proposal rather than its mutable target.",
      "status": "proposed design relation"
    },
    {
      "from": "O6",
      "to": "O7",
      "kind": "prerequisite",
      "because": "Only independently accepted labels may enter a pair.",
      "status": "proposed design relation"
    },
    {
      "from": "O3",
      "to": "O8",
      "kind": "prerequisite",
      "because": "The selection ledger supplies the population to reconcile.",
      "status": "proposed design relation"
    },
    {
      "from": "O4",
      "to": "O8",
      "kind": "prerequisite",
      "because": "Acquisition failures must remain accounted for.",
      "status": "proposed design relation"
    },
    {
      "from": "O5",
      "to": "O8",
      "kind": "prerequisite",
      "because": "Noncategorical findings remain in the census.",
      "status": "proposed design relation"
    },
    {
      "from": "O6",
      "to": "O8",
      "kind": "prerequisite",
      "because": "Rejected or superseded reviews must remain visible.",
      "status": "proposed design relation"
    },
    {
      "from": "O7",
      "to": "O8",
      "kind": "prerequisite",
      "because": "Eligible pairs must reconcile to the selected population.",
      "status": "proposed design relation"
    },
    {
      "from": "O7",
      "to": "O9",
      "kind": "prerequisite",
      "because": "Counts require authorized pairs.",
      "status": "proposed design relation"
    },
    {
      "from": "O8",
      "to": "O9",
      "kind": "prerequisite",
      "because": "Coverage also requires an account of omitted and unavailable observations.",
      "status": "proposed design relation"
    },
    {
      "from": "O9",
      "to": "O10",
      "kind": "prerequisite",
      "because": "Coverage and adequacy determine whether any estimator is licensed.",
      "status": "proposed design relation"
    },
    {
      "from": "O10",
      "to": "O11",
      "kind": "prerequisite",
      "because": "The consumer must read the admitted model with unchanged meaning and identity.",
      "status": "proposed design relation"
    },
    {
      "from": "O7",
      "to": "O1",
      "kind": "revision-feedback",
      "because": "Unclassifiable conditioning labels require semantic review.",
      "status": "proposed design relation"
    },
    {
      "from": "O9",
      "to": "O3",
      "kind": "revision-feedback",
      "because": "Biased or insufficient acquisition requires a separately authorized successor cohort.",
      "status": "proposed design relation"
    },
    {
      "from": "O10",
      "to": "O1",
      "kind": "revision-feedback",
      "because": "A carrier or probability-law failure requires model review.",
      "status": "proposed design relation"
    },
    {
      "from": "O11",
      "to": "O1",
      "kind": "revision-feedback",
      "because": "Consumer-domain mismatch exposes a different modeled observation.",
      "status": "proposed design relation"
    }
  ],
  "sources": [
    {
      "file": "/home/joe/code/p4ng/CHECKLIST-fundamentals.md",
      "sha256": "e03681a8fd8e0697f0407fb73499e3c2c70534ea040b4c2f56353a7def8edf6d"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/WORK-REMAINING.md",
      "sha256": "bf9fbd948f1d5887c78a32707859e373db759b1eaa7e26d878b97aaee5d4f8ef"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/SPEC-fundamentals-build-2026-09-12.md",
      "sha256": "3f71e2d0a635b7b37c4d573649e93c6944d6aec8e5e3b72ce3f5fa6141d56f94"
    }
  ],
  "open-decisions": [
    "state and outcome meanings and reference time",
    "prospective sampling and stopping authority",
    "coverage and statistical adequacy criteria",
    "independent observer and reviewer authority"
  ],
  "not-established": [
    "implemented acquisition path",
    "independently accepted production labels",
    "measured A",
    "production consumer correspondence",
    "numerical G or executed cascade"
  ]
}