{
  "target": "WM-11",
  "version": 1,
  "kind": "authored build-design cascade",
  "status": "draft; open decisions not settled by publication",
  "nodes": [
    {
      "id": "WM-11-C1",
      "pattern": "wm-pattern-design/same-policy-through-comparison",
      "title": "Define the actual candidate family",
      "application": "Retain full cascade, precedence, interpretation/model revisions, target and parent/delta where applicable. Two policies for one mission remain two policies. Record generated and excluded candidates and the reason for each exclusion; a missing model is not evidence that a candidate is impossible.",
      "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-11-C2",
      "pattern": "aif/declare-the-conditioning",
      "title": "Declare which probability law applies",
      "application": "Name whether this decision uses a base prior, habit prior, precision prior or observed-data posterior. The pinned semantics distinguishes these formulas and labels combined habit/precision forms as extensions. Retain sources of E and any precision, with domain and positivity requirements. No configurable scalar is automatically per-policy variational F.",
      "source": "/home/joe/code/futon3/library/aif/declare-the-conditioning.flexiarg",
      "source-sha256": "ce32fce1e34076f70d5ec04b8bfd5b3372f6c3347be00c67371db65ba77554d9",
      "reading-url": "#source-aif--declare-the-conditioning",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-11-C3",
      "pattern": "wm-prediction/name-the-uncertainty-to-learn",
      "title": "Construct observed-data inference where required",
      "application": "For a posterior claim, produce the actual per-policy variational quantity from the admitted observations and model, with its inference/optimization assumptions. Prior-only mathematics does not close this producer. Keep state inference, parameter learning and policy inference distinct; do not substitute a channel error norm merely because it is also named free energy.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/prediction/name-the-uncertainty-to-learn.flexiarg",
      "source-sha256": "91b30196140570d38e43f4b1c7e82fad0d9f2a55a5b53a3bf7caa535efb12c8c",
      "reading-url": "/2026-09-15-wm-patterns-prediction.html#name-the-uncertainty-to-learn",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-11-C4",
      "pattern": "wm-prediction/probability-laws-with-runtime-meaning",
      "title": "Normalize with declared numerical semantics",
      "application": "Validate the complete family and score/log-weight domains, including empty support and invalid evidence cases. A numerically stable implementation must correspond to the chosen law, not clip or default weights until it returns a distribution. Retain per-policy G, applicable F, E, precision and normalized mass with exact identities.",
      "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-11-C5",
      "pattern": "wm-pattern-design/partial-design-without-imaginary-completion",
      "title": "Separate extension permission from choice",
      "application": "At authoring grain apply WM-10\u2019s legal strictly-improving extension gate before accepting a proposal. Any subsequent choice among improving proposals follows an explicit rule. At enactment grain identify the applicable selection law separately. A probabilistic prior theorem cannot authorize worse extensions under the iff-decreases requirement.",
      "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-11-C6",
      "pattern": "wm-connected-learning/same-interpretation-predicted-and-enacted",
      "title": "Bind selection to actual work",
      "application": "Retain the selected candidate and all interpretation/guard/history identities at enactment, including any authorized tie or stochastic draw information. A receipt repeating a mission ID loses the choice. Confirm actual operation correspondence, not only a copied selected vector.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/connected-learning/same-interpretation-predicted-and-enacted.flexiarg",
      "source-sha256": "8a515be0d7c4f36ccef622bdcb8c602e84426ee52139fd64f26cad0cccdf608c",
      "reading-url": "/2026-09-15-wm-patterns-connected-learning.html#same-interpretation-predicted-and-enacted",
      "status": "authored application; not independently reviewed or executed"
    }
  ],
  "relations": [
    {
      "from": "WM-11-C1",
      "to": "WM-11-C2",
      "kind": "prerequisite",
      "because": "The law must normalize over this exact family."
    },
    {
      "from": "WM-11-C2",
      "to": "WM-11-C3",
      "kind": "prerequisite",
      "because": "Only the chosen posterior law determines required inference."
    },
    {
      "from": "WM-11-C1",
      "to": "WM-11-C4",
      "kind": "prerequisite",
      "because": "Normalization must preserve candidate identity."
    },
    {
      "from": "WM-11-C3",
      "to": "WM-11-C4",
      "kind": "prerequisite",
      "because": "Applicable observed-data terms need real producers."
    },
    {
      "from": "WM-11-C4",
      "to": "WM-11-C5",
      "kind": "prerequisite",
      "because": "Probability calculation cannot override extension legality."
    },
    {
      "from": "WM-11-C5",
      "to": "WM-11-C6",
      "kind": "prerequisite",
      "because": "The selected admissible policy must be enacted unchanged in meaning."
    },
    {
      "from": "WM-11-C6",
      "to": "WM-11-C1",
      "kind": "revision-feedback",
      "because": "Enacted-policy mismatch can expose identity loss in the original family."
    }
  ],
  "dependency-interfaces": [
    "WM-01",
    "WM-07",
    "WM-09",
    "WM-10",
    "WM-12",
    "WM-14"
  ],
  "open-decisions": "Open: the applicable decision law at each grain, actual F inference, tie/search policy and any proposed fuel extension. Fuel is not variational F. Do not silently choose coefficients or infer posterior completion from the existing finite prior proofs.",
  "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"
}