{
  "target": "WM-01",
  "version": 1,
  "kind": "authored full build design",
  "nodes": [
    {
      "id": "K1",
      "pattern": "aif/declare-the-conditioning",
      "source": "/home/joe/code/futon3/library/aif/declare-the-conditioning.flexiarg",
      "source-sha256": "ce32fce1e34076f70d5ec04b8bfd5b3372f6c3347be00c67371db65ba77554d9",
      "reading-url": "#source-aif--declare-the-conditioning",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "K2",
      "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": "K3",
      "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": "K4",
      "pattern": "wm-prediction/numeric-admission-is-not-exact-equality",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/numeric-admission-is-not-exact-equality.flexiarg",
      "source-sha256": "5986b624cbf1b501fde32ea032272695c907d12b30a3b5144c5722cfe1b2fc93",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#numeric-admission-is-not-exact-equality",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "K5",
      "pattern": "aif/shared-kernel-predictive-forward-model",
      "source": "/home/joe/code/futon3/library/aif/shared-kernel-predictive-forward-model.flexiarg",
      "source-sha256": "0b2d4b2b0cd2c61d61265ee878e160e2c624bc4f235ba59ca1a683b397a67e24",
      "reading-url": "#source-aif--shared-kernel-predictive-forward-model",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "K6",
      "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",
      "status": "authored application; no execution or independent acceptance claimed"
    },
    {
      "id": "K7",
      "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": "K8",
      "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",
      "status": "authored application; no execution or independent acceptance claimed"
    }
  ],
  "relations": [
    {
      "from": "K1",
      "to": "K3",
      "kind": "prerequisite",
      "because": "Conditioning identifies which carrier law applies.",
      "status": "proposed design relation"
    },
    {
      "from": "K2",
      "to": "K3",
      "kind": "prerequisite",
      "because": "Support identity must preserve meaning.",
      "status": "proposed design relation"
    },
    {
      "from": "K3",
      "to": "K4",
      "kind": "prerequisite",
      "because": "Exact obligations constrain numeric correspondence.",
      "status": "proposed design relation"
    },
    {
      "from": "K3",
      "to": "K5",
      "kind": "prerequisite",
      "because": "Shared consumers must enforce the repaired laws.",
      "status": "proposed design relation"
    },
    {
      "from": "K4",
      "to": "K5",
      "kind": "prerequisite",
      "because": "Numeric admission must agree at every boundary.",
      "status": "proposed design relation"
    },
    {
      "from": "K3",
      "to": "K6",
      "kind": "prerequisite",
      "because": "The repaired definitions determine the proof subject.",
      "status": "proposed design relation"
    },
    {
      "from": "K4",
      "to": "K6",
      "kind": "prerequisite",
      "because": "Formal claims must reflect actual numeric semantics.",
      "status": "proposed design relation"
    },
    {
      "from": "K5",
      "to": "K6",
      "kind": "prerequisite",
      "because": "Evidence must identify actual constructors and consumers.",
      "status": "proposed design relation"
    },
    {
      "from": "K6",
      "to": "K7",
      "kind": "prerequisite",
      "because": "The admission ledger must be checked against the dependency universe.",
      "status": "proposed design relation"
    },
    {
      "from": "K5",
      "to": "K8",
      "kind": "prerequisite",
      "because": "Actual use must follow the shared contract.",
      "status": "proposed design relation"
    },
    {
      "from": "K6",
      "to": "K8",
      "kind": "prerequisite",
      "because": "Consumption claims need revision-bound acceptance.",
      "status": "proposed design relation"
    },
    {
      "from": "K7",
      "to": "K8",
      "kind": "prerequisite",
      "because": "Missing consumers limit any completeness claim.",
      "status": "proposed design relation"
    },
    {
      "from": "K4",
      "to": "K3",
      "kind": "revision-feedback",
      "because": "A representation gap can invalidate an exact-law claim.",
      "status": "proposed design relation"
    },
    {
      "from": "K7",
      "to": "K1",
      "kind": "revision-feedback",
      "because": "A missed consumer can introduce a missing carrier contract.",
      "status": "proposed design relation"
    },
    {
      "from": "K7",
      "to": "K6",
      "kind": "revision-feedback",
      "because": "Unresolved dependents require admission review.",
      "status": "proposed design relation"
    },
    {
      "from": "K8",
      "to": "K5",
      "kind": "revision-feedback",
      "because": "A local fallback reveals divergence from the shared contract.",
      "status": "proposed design relation"
    }
  ],
  "sources": [
    {
      "file": "/home/joe/code/p4ng/CHECKLIST-fundamentals.md",
      "sha256": "e03681a8fd8e0697f0407fb73499e3c2c70534ea040b4c2f56353a7def8edf6d"
    },
    {
      "file": "/home/joe/code/mathlib4/DarkTower/WarMachine/Holes.lean",
      "sha256": "7f137e4f85b2aae18b699942bdc505faa3f311752a096718704fb2ca7b7a07d3"
    },
    {
      "file": "/home/joe/code/mathlib4/DarkTower/WarMachine/ProbabilityKernelRepairNegative.lean",
      "sha256": "0de6a98797ccfee74afda5328572b200cf5172051801c1cf1db55b866ac4b701"
    },
    {
      "file": "/home/joe/code/futon2/src/futon2/aif/machine_model.clj",
      "sha256": "203d1fb6942a898bfbbe05d174fd9deecb94e1bcd5dc2901a19a9fc46c15b6a1"
    }
  ],
  "open-decisions": [
    "model-domain compatibility",
    "exact/float correspondence",
    "independent repair acceptance",
    "affected-admission coverage"
  ],
  "not-established": [
    "fresh Lean build or axiom audit",
    "independent repair acceptance",
    "numeric correspondence theorem",
    "actual production consumer coverage",
    "WM completion"
  ]
}