{
  "target": "WM-09",
  "version": 1,
  "kind": "authored build-design cascade",
  "status": "draft; open decisions not settled by publication",
  "nodes": [
    {
      "id": "WM-09-C1",
      "pattern": "wm-pattern-design/attribute-organising-change",
      "title": "Preserve the four inputs",
      "application": "Bind the prior cascade, selected candidate set, source repository and admittedBy argument as distinct inputs. Retain before-state identity and provenance. Do not derive admission attribution from the output or treat organiser-added nodes as externally admitted.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/pattern-design/attribute-organising-change.flexiarg",
      "source-sha256": "5e61482bee0fbef54e3c61d58278cac68665cfc7e4a792785cbaf57f176496b0",
      "reading-url": "/2026-09-15-wm-patterns-pattern-design.html#attribute-organising-change",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-09-C2",
      "pattern": "wm-pattern-design/composition-changes-the-problem",
      "title": "Justify relations through the design",
      "application": "Explain how proposed relations change applicability or consequences using actual pattern arguments. Separate authored repository relations, organisation-derived edges and a proposed new relation awaiting admission. The organiser cannot manufacture its own evidence of repository reachability.",
      "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-09-C3",
      "pattern": "wm-pattern-design/attribute-organising-change",
      "title": "Apply the ruled predicates to the right sets",
      "application": "Check selected/authored/admittedBy preservation and the node union; require organised-edge reachability. Evaluate O3 on nodes minus addedByOrganise, as the ruled carrier states, not on the newly added nodes. Do not generalize an exemplar with empty addedByOrganise to all cases without proving the needed set relation.",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/pattern-design/attribute-organising-change.flexiarg",
      "source-sha256": "5e61482bee0fbef54e3c61d58278cac68665cfc7e4a792785cbaf57f176496b0",
      "reading-url": "/2026-09-15-wm-patterns-pattern-design.html#attribute-organising-change",
      "status": "authored application; not independently reviewed or executed"
    },
    {
      "id": "WM-09-C4",
      "pattern": "wm-connected-learning/same-interpretation-predicted-and-enacted",
      "title": "Make precedence consequential",
      "application": "Retain precedence and acting order before/after, guards, history and any score evidence. Under the ruled O4, changed precedence entails changed acting order or changed score. A dummy score or arbitrary order marker cannot stand for canonical G; where that evidence is required it depends on WM-10/12.",
      "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"
    },
    {
      "id": "WM-09-C5",
      "pattern": "wm-pattern-design/same-policy-through-comparison",
      "title": "Deliver the exact organised policy",
      "application": "Bind the diff and resulting cascade/precedence identity to candidate construction and eventual enactment. Preserve the specification\u2019s distinction between precedence context and nodes; do not reject the approved exemplar merely because precedence mentions non-nodes. Unsupported firing interpretations remain missing inputs.",
      "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-09-C6",
      "pattern": "wm-qualifying-run/certificate-and-world-must-meet",
      "title": "Connect legacy and ruled interfaces",
      "application": "Explicitly connect the ruled implementation to the legacy organise obligation and retain source/test/review/ordinary-use evidence separately. A conformant empty-change witness is not evidence of nonvacuous production organisation. Record an actual before/after operation exercising the laws.",
      "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-09-C1",
      "to": "WM-09-C2",
      "kind": "prerequisite",
      "because": "Relations must be justified against these inputs."
    },
    {
      "from": "WM-09-C1",
      "to": "WM-09-C3",
      "kind": "prerequisite",
      "because": "The ruled predicates quantify over the supplied sets."
    },
    {
      "from": "WM-09-C2",
      "to": "WM-09-C3",
      "kind": "prerequisite",
      "because": "Proposed organisation must preserve repository authority."
    },
    {
      "from": "WM-09-C3",
      "to": "WM-09-C4",
      "kind": "prerequisite",
      "because": "Precedence evidence belongs to the same validated diff."
    },
    {
      "from": "WM-09-C4",
      "to": "WM-09-C5",
      "kind": "prerequisite",
      "because": "Policy identity includes actual execution semantics."
    },
    {
      "from": "WM-09-C5",
      "to": "WM-09-C6",
      "kind": "prerequisite",
      "because": "Correspondence must concern the delivered result."
    },
    {
      "from": "WM-09-C6",
      "to": "WM-09-C1",
      "kind": "revision-feedback",
      "because": "An ineffective organised change can reveal an incorrect attribution or input account."
    }
  ],
  "dependency-interfaces": [
    "WM-03",
    "WM-08",
    "WM-10",
    "WM-11",
    "WM-12",
    "WM-14"
  ],
  "open-decisions": "Open: source-to-legacy correspondence, genuine nonvacuous precedence/acting evidence, and full G-dependent checks. Existing empty/default witnesses prove only their stated laws. Follow-up owner fixes and serving activation require their own review/evidence.",
  "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"
}