{
  "target": "R5",
  "section": 3,
  "version": 1,
  "status": "authored design; implementation not authorized",
  "checklist-obligation": "- [ ] **R5 expected free energy.** **OPEN:** WM-06/WM-10 connected and witnessed in production. Built evidence: Canonical Lean cascade definition; standalone risk/categorical ambiguity arithmetic",
  "nodes": [
    {
      "id": "R5-1",
      "pattern": "wm-pattern-design/composition-changes-the-problem",
      "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",
      "title": "Construct interacting alternatives",
      "application": "Take WM-08/09\u2019s actual cascade family, including legal partial constructions. Explain how a response changes another pattern\u2019s conditions or outcome. Produce candidate identities and interpretation context rather than isolated pattern merits.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "R5-2",
      "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",
      "title": "Bind the valuation context",
      "application": "Join current belief, A/B, matched Q/C and comparable observation schedule from WM-05/06/12. Produce the complete conditioning envelope; unsupported C support or missing model inputs remain explicit.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "R5-3",
      "pattern": "wm-pattern-design/composition-changes-the-problem",
      "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",
      "title": "Evaluate the canonical arrangement",
      "application": "Consume WM-10\u2019s canonical risk-plus-conditional-ambiguity calculation and independent numeric correspondence. Preserve joint-derived equivalences; do not subtract information gain from KL risk a second time. Produce per-policy components and totals.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "R5-4",
      "pattern": "wm-pattern-design/same-policy-through-comparison",
      "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",
      "title": "Demonstrate selection consumption",
      "application": "Record the actual choice reading those scores and the selected/enacted identity. For construction extensions retain parent/child comparison and the ruled strict improvement admission; this does not authorize non-improving extensions via sampling.",
      "status": "authored application, not executed or independently accepted"
    }
  ],
  "relations": [
    {
      "from": "R5-1",
      "to": "R5-2",
      "kind": "requires-result",
      "because": "Interactions determine which candidate predictions must be compared."
    },
    {
      "from": "R5-2",
      "to": "R5-3",
      "kind": "requires-result",
      "because": "The common conditioning envelope makes those scores comparable."
    },
    {
      "from": "R5-3",
      "to": "R5-4",
      "kind": "requires-result",
      "because": "Only consumed canonical scores establish the expected-free-energy node."
    },
    {
      "from": "R5-4",
      "to": "R5-1",
      "kind": "revision-feedback",
      "because": "A failed distinguishing control or consumer mismatch reopens the original scope/meaning; retain the failed claim rather than weakening it. Relevant controls: Exercise composition-sensitive, redundant, nonfiring and identical-model controls; detect a selector still reading controller-score and incompatible Q/C support."
    }
  ],
  "dependencies": [
    "WM-05",
    "WM-06",
    "WM-10",
    "WM-12",
    "R6"
  ],
  "worked-situation": "Adding an evidence-preserving handoff pattern may change whether a later review works. Compare the arrangement and a redundant addition using their predicted outcomes, not a constant bonus for having another pattern.",
  "distinguishing-controls": "Exercise composition-sensitive, redundant, nonfiring and identical-model controls; detect a selector still reading controller-score and incompatible Q/C support.",
  "open-decisions-and-limits": "Follow the pinned cascade semantics source; fuel and unresolved interpretation proposals must not become implicit terms.",
  "sources": [
    {
      "file": "/home/joe/code/p4ng/CHECKLIST-fundamentals.md",
      "sha256": "751ccfb00e4865c63734ac5147b9e6df66b48ee9697a7e20869d97a11467b81b",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/DESIGN-REQUIREMENTS-apex-2026-09-09.md",
      "sha256": "79228ad2299e639b427592f2eb24d4a80fadb9891271ca4bfe1211bf0a27f21c",
      "scope": "dated 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",
      "scope": "dated 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",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/RULINGS-walkthrough-2026-09-12.md",
      "sha256": "9a20cbb57e57c9c9f5c3c19e67be663de1b7f779d45b92734b01f48c53a575e0",
      "scope": "dated 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",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/COMPLETION-LIST-plop2026-2026-09-12.md",
      "sha256": "cdb06820677265ee4649a6324824fffd570c4a9710cce97717b028124fdf0d20",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon2/holes/labs/wm-contract/TN-row20-census-2026-09-12.md",
      "sha256": "dc7cec13147578130a875c0541c80dba65d3ffc1c21f4abf149b641d92b1a22c",
      "scope": "dated source; statements retain their own authority and limits"
    },
    {
      "file": "/home/joe/code/futon3c/holes/excursions/apex-thesis.json",
      "sha256": "4288034fd4bb9ab69c13a3744130446f90da9520806f2835940691726fc3c87d",
      "scope": "dated source; statements retain their own authority and limits"
    }
  ],
  "authored-content-sha256": "6ad6935c9196b751960a66e891a5ec562bbc77543e68999722b11b16e31e6b6f"
}