{
  "target": "WM-10",
  "version": 1,
  "kind": "authored build-design cascade",
  "status": "draft; open decisions not settled by publication",
  "nodes": [
    {
      "id": "WM-10-C1",
      "pattern": "wm-pattern-design/separate-design-from-use",
      "title": "Identify the design being compared",
      "application": "Bind problem, current partial construction, proposed extension, full interpreted policy and model context. Construction index k is not observation time or horizon T. Output a per-problem comparison request; a fixed authored list across all problems does not satisfy progressive construction.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/pattern-design/separate-design-from-use.flexiarg",
      "source-sha256": "5c07fa1784639118809f1e1219d703518e0f854534607d6dbdbec1b9aa2f06d2",
      "reading-url": "/2026-09-15-wm-patterns-pattern-design.html#separate-design-from-use",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-10-C2",
      "pattern": "wm-pattern-design/composition-changes-the-problem",
      "title": "Construct the joint from interactions",
      "application": "Use WM-02 belief, WM-03 dynamics and WM-04 observation A through WM-05, preserving guards, history, overlap and order. Retain q, J and Q for each scored observation. Joint prediction must change because interpreted effects change, not because an edge label receives an arbitrary bonus.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/pattern-design/composition-changes-the-problem.flexiarg",
      "source-sha256": "c2beb2b91df2ca141249c285c25b8520ecf465e0ac3b9f927d43a5ac53e113b6",
      "reading-url": "/2026-09-15-wm-patterns-pattern-design.html#composition-changes-the-problem",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-10-C3",
      "pattern": "wm-pattern-design/partial-design-without-imaginary-completion",
      "title": "Model the unfinished design",
      "application": "Supply prediction semantics for empty and partial constructions including unfinished target outcomes. Do not borrow the completed successor\u2019s effects, set missing terms to zero or reject solely because construction is incomplete. Missing essential inputs are typed gaps whose producers must be built; refusal is not fulfillment of partial-design scoring.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/pattern-design/partial-design-without-imaginary-completion.flexiarg",
      "source-sha256": "c3cbb73c768c65fa6c765b6308e59162cac0c8995ac9dd169fbc67b515a8b74d",
      "reading-url": "/2026-09-15-wm-patterns-pattern-design.html#partial-design-without-imaginary-completion",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-10-C4",
      "pattern": "wm-prediction/probability-laws-with-runtime-meaning",
      "title": "Calculate the canonical quantity",
      "application": "Under the finite categorical contract, G at each observation is KL(Q || C) plus expected conditional observation entropy under q; total G sums over the declared common schedule. Derive the equivalent preference cross-entropy minus state mutual information from the same J. It is not KL risk minus information gain. Preserve positive-Q/zero-C inadmissibility and numeric correspondence.",
      "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; not independently reviewed or executed"
    },
    {
      "id": "WM-10-C5",
      "pattern": "wm-pattern-design/same-policy-through-comparison",
      "title": "Admit only improving extensions",
      "application": "For a legal proposal and its parent in the same context, calculate delta G from the actual scores. Under the current Stage-0 rule, admit the extension iff delta G is strictly negative. Equal or worse proposals do not become admissible through a nonzero-temperature draw. Retain the searched candidate family and limits; local stopping does not establish global optimality or task success.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/pattern-design/same-policy-through-comparison.flexiarg",
      "source-sha256": "f89559010e29c183ade1c33e25464b25a6e9e1459e9679d3fe854fe32a1944ac",
      "reading-url": "/2026-09-15-wm-patterns-pattern-design.html#same-policy-through-comparison",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-10-C6",
      "pattern": "wm-connected-learning/observation-to-next-choice",
      "title": "Replace the missing scoring seam",
      "application": "Connect the canonical result to the actual choice consumer with policy, model and schedule identities. Retain failed/inadmissible candidates rather than silently shrinking coverage. A logged G alongside a controller score is not G-based choice. WM-11 owns the declared choice law over the applicable admitted alternatives.",
      "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; not independently reviewed or executed"
    }
  ],
  "relations": [
    {
      "from": "WM-10-C1",
      "to": "WM-10-C2",
      "kind": "prerequisite",
      "because": "Prediction must concern the complete compared policy."
    },
    {
      "from": "WM-10-C1",
      "to": "WM-10-C3",
      "kind": "prerequisite",
      "because": "The parent and extension are partial construction states."
    },
    {
      "from": "WM-10-C2",
      "to": "WM-10-C4",
      "kind": "prerequisite",
      "because": "G is derived from this joint, not supplied as an assumption."
    },
    {
      "from": "WM-10-C3",
      "to": "WM-10-C4",
      "kind": "prerequisite",
      "because": "Unfinished outcomes must enter the same calculation."
    },
    {
      "from": "WM-10-C4",
      "to": "WM-10-C5",
      "kind": "prerequisite",
      "because": "Extension admission depends on computed delta G."
    },
    {
      "from": "WM-10-C5",
      "to": "WM-10-C6",
      "kind": "prerequisite",
      "because": "The choice consumer must honor the admission decision."
    },
    {
      "from": "WM-10-C6",
      "to": "WM-10-C1",
      "kind": "revision-feedback",
      "because": "The actual choice may expose an incomplete candidate or comparison context."
    }
  ],
  "dependency-interfaces": [
    "WM-01",
    "WM-02",
    "WM-03",
    "WM-04",
    "WM-05",
    "WM-06",
    "WM-08",
    "WM-09",
    "WM-11",
    "WM-12",
    "WM-13",
    "WM-14"
  ],
  "open-decisions": "Open: production joint inputs, numeric correspondence and justified schedule; unresolved fuel/yield/episode proposals remain separate. The current semantics supersedes the old global A/B formula-choice framing. Metadata-only attestation twins with identical model inputs have identical G; do not promise a strict ordering without a justified model change.",
  "sources": [
    {
      "file": "/home/joe/code/p4ng/CHECKLIST-fundamentals.md",
      "sha256": "e03681a8fd8e0697f0407fb73499e3c2c70534ea040b4c2f56353a7def8edf6d",
      "role": "governing checklist/rulings and dated semantics source; 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",
      "role": "governing checklist/rulings and dated semantics source; 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",
      "role": "governing checklist/rulings and dated semantics source; source statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/RULINGS-walkthrough-2026-09-08.md",
      "sha256": "c19a8984bd4de2d58412a8bf36f37f05b192d5b67071a10e73e7f961404990aa",
      "role": "governing checklist/rulings and dated semantics source; 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",
      "role": "governing checklist/rulings and dated semantics source; source statements retain their own authority and limits"
    }
  ],
  "validation-scope": "source identity and structure only; no build, runtime or semantic acceptance"
}