{
  "target": "WM-12",
  "version": 1,
  "kind": "authored build-design cascade",
  "status": "draft; open decisions not settled by publication",
  "nodes": [
    {
      "id": "WM-12-C1",
      "pattern": "wm-pattern-design/separate-design-from-use",
      "title": "Separate three clocks",
      "application": "Declare construction stage, prediction/observation time and the grain of each nested decision. A new authoring step is not automatically an extra scored consequence. Output a schedule declaration tied to the actual comparison, not a universal episode-step convention.",
      "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-12-C2",
      "pattern": "aif/declare-the-conditioning",
      "title": "Ground anticipation and comparison context",
      "application": "Identify actual current anticipation inputs, their timestamps, effective horizon and the consumer of that configuration. Comparable candidates need a justified shared observation/preference opportunity. Record horizon >=2 and FPI consumer evidence where the checklist requires them; a flag or proposed setting is not an effective execution record.",
      "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-12-C3",
      "pattern": "wm-connected-learning/history-and-guard-information-are-state",
      "title": "Align nested execution semantics",
      "application": "Declare history, available guard information, precedence, repetition and termination at each level. A lower-level episode and a higher-level step need an explicit relation; hidden-state guard evaluation remains a stated approximation unless correspondence is established. Do not reset board state between steps merely to simplify an example.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/connected-learning/history-and-guard-information-are-state.flexiarg",
      "source-sha256": "db336c6be7229b1c19f23192db9d46b17ab10676b011a589bc3e1313dc0d1eac",
      "reading-url": "/2026-09-15-wm-patterns-connected-learning.html#history-and-guard-information-are-state",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-12-C4",
      "pattern": "wm-pattern-design/composition-changes-the-problem",
      "title": "Test fairness and interaction together",
      "application": "Compare order/overlap effects at the declared schedule. No-interaction controls require the relevant per-step observable and ambiguity invariance; commuting transitions or terminal equality alone do not prove equal cumulative G. Non-firing outcomes must preserve an unfinished target rather than earn an automatic reward for inactivity.",
      "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-12-C5",
      "pattern": "wm-pattern-design/partial-design-without-imaginary-completion",
      "title": "Preserve progressive evaluation",
      "application": "Require initial, intermediate and completed designs to have their own grounded prediction semantics under WM-10. Retain which continuations are modeled, what stopping means, and what search coverage was examined. Equal or worse proposals do not justify extension; local stopping is not enactment authorization.",
      "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-12-C6",
      "pattern": "wm-qualifying-run/certificate-and-world-must-meet",
      "title": "Retain the effective semantic configuration",
      "application": "Bind the enacted schedule, hierarchy, model and actual consumer to its receipt. Include controls for concrete compounding misspecification, cancellation/saturation and metadata-only attestation twins. Reject universal inequalities unsupported by the modeled dynamics. Mathematical examples and runtime configuration observations remain different evidence.",
      "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; not independently reviewed or executed"
    }
  ],
  "relations": [
    {
      "from": "WM-12-C1",
      "to": "WM-12-C2",
      "kind": "prerequisite",
      "because": "The comparison schedule depends on decision grain."
    },
    {
      "from": "WM-12-C1",
      "to": "WM-12-C3",
      "kind": "prerequisite",
      "because": "Nested state transitions need explicit temporal interpretation."
    },
    {
      "from": "WM-12-C2",
      "to": "WM-12-C4",
      "kind": "prerequisite",
      "because": "Fairness controls require the actual common opportunity."
    },
    {
      "from": "WM-12-C3",
      "to": "WM-12-C4",
      "kind": "prerequisite",
      "because": "Interaction depends on matching execution semantics."
    },
    {
      "from": "WM-12-C4",
      "to": "WM-12-C5",
      "kind": "prerequisite",
      "because": "Partial comparisons must retain fairness and interaction."
    },
    {
      "from": "WM-12-C5",
      "to": "WM-12-C6",
      "kind": "prerequisite",
      "because": "Evidence must identify the effective comparison and execution."
    },
    {
      "from": "WM-12-C6",
      "to": "WM-12-C1",
      "kind": "revision-feedback",
      "because": "Effective execution can reveal a wrongly specified time or grain."
    }
  ],
  "dependency-interfaces": [
    "WM-02",
    "WM-03",
    "WM-05",
    "WM-06",
    "WM-09",
    "WM-10",
    "WM-11",
    "WM-13"
  ],
  "open-decisions": "Open: nested episode interpretation, fuel units/objective, mid-run board changes and yield pricing where still unresolved. The current Stage-0 source replaces the earlier global formula fork. The design preserves the no-structural-length-penalty ruling without asserting universal length neutrality or universal worsening under composition.",
  "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"
}