{
  "target": "R20",
  "section": 3,
  "version": 1,
  "status": "authored design; implementation not authorized",
  "checklist-obligation": "- [ ] **R20 self-monitoring.** **PARTIAL:** genuine-trip snapshot/history, applicable trip\u2192R14 composition, discharge restoration and actual decision effect; catalogue-wide coverage not implied by narrow receipts. Built evidence: Live trips (including loaded-code drift), refusing checks and bounded Agency reliability receipts",
  "nodes": [
    {
      "id": "R20-1",
      "pattern": "aif/interoceptive-tripwires",
      "source": "/home/joe/code/futon3/library/aif/interoceptive-tripwires.flexiarg",
      "source-sha256": "e543c22f3127a89e8e6e9e98ff51f9131b5f7db245fb01c8c803a5a43d8ceca8",
      "reading-url": "#source-aif--interoceptive-tripwires",
      "title": "Declare monitored invariants and blind spots",
      "application": "Name the actual tripwires, observed runtime sources, detection windows and known limits. Produce a scoped coverage map rather than claim unknown-failure completeness. Historical seed response policies do not override current stop rules.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "R20-2",
      "pattern": "aif/interoceptive-tripwires",
      "source": "/home/joe/code/futon3/library/aif/interoceptive-tripwires.flexiarg",
      "source-sha256": "e543c22f3127a89e8e6e9e98ff51f9131b5f7db245fb01c8c803a5a43d8ceca8",
      "reading-url": "#source-aif--interoceptive-tripwires",
      "title": "Capture a genuine trip",
      "application": "Retain the triggering evidence, frozen snapshot, history and effective loaded/source identities. A synthetic control tests detection only; distinguish it from an independently observed live trip.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "R20-3",
      "pattern": "wm-connected-learning/modulation-needs-an-applicable-consumer",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/connected-learning/modulation-needs-an-applicable-consumer.flexiarg",
      "source-sha256": "5c4a233dae1b234e4035b19948440b1327ea5e44c3904a5665174b99dc29750e",
      "reading-url": "/2026-09-15-wm-patterns-connected-learning.html#modulation-needs-an-applicable-consumer",
      "title": "Apply the admitted response and composition",
      "application": "Follow the ruled safety/stop response and applicable trip-to-R14 composition. Record active factors, modes and effective values. Do not invoke a seed\u2019s nonblocking wording to bypass a required refusal.",
      "status": "authored application, not executed or independently accepted"
    },
    {
      "id": "R20-4",
      "pattern": "wm-connected-learning/modulation-needs-an-applicable-consumer",
      "source": "/home/joe/code/p4ng/wm-walkthroughs/collections/connected-learning/modulation-needs-an-applicable-consumer.flexiarg",
      "source-sha256": "5c4a233dae1b234e4035b19948440b1327ea5e44c3904a5665174b99dc29750e",
      "reading-url": "/2026-09-15-wm-patterns-connected-learning.html#modulation-needs-an-applicable-consumer",
      "title": "Verify discharge and restoration",
      "application": "Retain independent evidence that the violated condition is resolved, restore through the authorized law and demonstrate the actual decision consumer. Narrow Agency reliability receipts cannot stand for catalogue-wide coverage.",
      "status": "authored application, not executed or independently accepted"
    }
  ],
  "relations": [
    {
      "from": "R20-1",
      "to": "R20-2",
      "kind": "requires-result",
      "because": "Defined invariants determine what constitutes a trip and its coverage limit."
    },
    {
      "from": "R20-2",
      "to": "R20-3",
      "kind": "requires-result",
      "because": "The captured trip is the input to the governed response, not a guessed multiplier."
    },
    {
      "from": "R20-3",
      "to": "R20-4",
      "kind": "requires-result",
      "because": "Restoration requires evidence of discharge and actual consumer state."
    },
    {
      "from": "R20-4",
      "to": "R20-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: Test genuine/induced distinction, stale snapshot, missing discharge, ignored composition and mode saturation. Preserve detection blind spots and separate current recovery authorization."
    }
  ],
  "dependencies": [
    "R14",
    "TRACE",
    "E02"
  ],
  "worked-situation": "A source file changes while the loaded code remains old. The trip must bind both identities. Clearing a UI warning without resolving that discrepancy cannot restore the commitment state honestly.",
  "distinguishing-controls": "Test genuine/induced distinction, stale snapshot, missing discharge, ignored composition and mode saturation. Preserve detection blind spots and separate current recovery authorization.",
  "open-decisions-and-limits": "No recovery command, restart or activation is commissioned. Resolve conflicts between historical tripwire examples and current invariants before implementation.",
  "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"
}