{
 "$id": "eden.programme-map-links.v3",
 "what_this_is": "The programme map's signed links, one row per study unit, read by scripts/build-programme-graph.py. A link's type is what its source's words say: decides in part, informs without deciding, informs, depends on or follows on. Its source is the registration's own sentence with its line, the line of the unit's own registration text with the link's scope, or, for a follow-on, the catalogue name join to research/data/papers.json. Its laws rows name each law added after the registration (SD-026: one law for each of the registration's five registers) with the register it is the law of, the propositions the registration puts in that register, in the register assignment's own words with its line, and the date it was named; the registered laws are the vocabulary's, and the laws' names are the programme spec's signed words (labels.graph.law_names). Its terms rows name registration terms the map never prints, each with its reason; its instruments_in_words rows keep the rulings on the four predictions whose instrument the registration names in words; its instrument_preconditions_not_drawn record keeps the scoring instruments' preconditions that are not drawn, with the ruling and its reason, because a precondition is drawn only where the prediction concerns that instrument itself. A unit with no link to a prediction carries a foot: its kind, one of those the row contract names, the framework where the kind is one of serving a framework, and its reason in one line, with the date and the signed stage 3 record's sha256. The file is signed as a whole, by its sha256, before it lands.",
 "registration": "10.17605/OSF.IO/P8CKQ, version 1.102 (registered; version 1.100 of 8 September 2026 also registered)",
 "laws": [
  {
   "law": "Law IV",
   "register": "ARC-4",
   "carries": [
    "P15"
   ],
   "line": 122,
   "basis": "registration",
   "source": "the registration, line 122: 'ARC-4, VALUE PERSISTENCE: P15 alone.'",
   "named": "2026-09-24",
   "directive": "SD-026 (the name: SD-028)"
  },
  {
   "law": "Law V",
   "register": "ARC-5",
   "carries": [
    "P12",
    "P21"
   ],
   "line": 122,
   "basis": "registration",
   "source": "the registration, line 122: 'ARC-5, THE GENESIS STRATEGY: P12 and P21.'",
   "named": "2026-09-24",
   "directive": "SD-026 (the name: SD-028)"
  }
 ],
 "built_from": {
  "stage2_record_sha256": "2a72d054ccc30b5ecd377cbc09d28c18759d633a4a7b98d4186f17a1e5a7d284",
  "stage2_rows": 30,
  "stage3_record_sha256": "93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f",
  "stage3_rows": 41,
  "supersedes": {
   "stage2_file_v1": "057cfd0d5a92909e1d183021cc4985c89cb208244fb4db76decfbdfa93016fac",
   "register_built_from_v1": "4e5052718f6400623a7400d0404a53a8cd389abe68775471a0e442484b3437a4"
  }
 },
 "terms": [
  {
   "relation_id": "E030",
   "term": "the designs previously named against P15",
   "proposition": "P15",
   "line": 1112,
   "print": false,
   "ruling": "not at all",
   "reason": "Line 1112 names these designs only to withdraw them from P15: they cross correction regimes with recursive depth on frozen provider endpoints and update no weights, while P15 concerns a gain installed by post-training, so nothing in the programme measures its endpoint and its instrument stands at NONE. They are the embedded-versus-external correction designs that line 1268 names for P21, unit 41, drawn to P21 in Law V's band, whose own text says a study that does no training cannot answer the persistence proposition and that a reader routed there for it has been routed to the wrong instrument; the reading draws unit 41 to P21 alone. Printed under P15 in any form, as informing or as a note, the term would reattach a design the registration detached, unlike P12's line 1070, where the units named do vary P12's own factor. The same line says the laws are untouched, words written for three laws that cannot stand beside P15 now that it is Law IV's (SD-029). What puts the term on the map is the vocabulary's typing of relation E030 as informing, so that relation should be retyped or dropped from the informing list. P15 keeps its own row in Law IV's band, the ARC-4 register of line 122, never under carried by no law and without calling Law IV registered or tested, showing its registered NONE and unit 75's signed depends-on row.",
   "signed": "2026-09-26T20:45:14Z, the signed stage 2 record's sha256 2a72d054ccc30b5ecd377cbc09d28c18759d633a4a7b98d4186f17a1e5a7d284"
  }
 ],
 "instruments_in_words": [
  {
   "prediction": "P1",
   "line": 838,
   "ruling": "no unit carries it yet",
   "reason": "Line 838 names the depth titration, the one instrument that returns both of P1's verdicts: FORM, the power law against the logarithmic, exponential, saturating and broken-power rivals on an adequate ladder, and RECURSION, the depth arm against a compute-matched breadth arm (line 830). No study unit's own text names itself that instrument; the phrase appears in the theory registration and in the draft methodology standard, which lists the unit as unresolved and unknown until it is named. The reading types all four candidates as informing, and each is an input or a part: unit 2's own text says its exponents feed P1 as inputs and that the instrument P1 names is not this unit; unit 24 varies depth on the required ladder and estimates the exponent, but registers no FORM comparison or false-selection demonstration, its matched arm re-partitions one budget instead of drawing independent samples, and its main hypothesis is an estimate with no decision rule; unit 34 runs the RECURSION contrast alone, with no FORM comparison and a margin not yet a number; unit 66 carries the recursion half in three domains, with no token matching and no registered FORM verdict against the rival family P1 names, its candidate set lacking the broken-power and shifted finite-window rivals and its hypotheses concerning only the sequential-minus-parallel difference. The four informing rows stand and nothing is drawn in words.",
   "signed": "2026-09-26T20:45:14Z, the signed stage 2 record's sha256 2a72d054ccc30b5ecd377cbc09d28c18759d633a4a7b98d4186f17a1e5a7d284"
  },
  {
   "prediction": "P3",
   "line": 886,
   "ruling": "no unit carries it yet",
   "reason": "Line 886 names the paired frontier-and-exponent unit, which measures a frontier and the correction-leverage exponent on the same system and scores their paired difference with a joint interval (line 872), and it calls the direct boundary-mapping unit a different object. No study unit's own text names itself that unit; the phrase appears in the theory registration and in the draft methodology standard, which lists the unit as unresolved and unknown until it is named. Unit 3 is the boundary-mapping design, cited in its own text for P16 and P20, and the crossed variation it would supply is something P3 waits on (line 836), a precondition. Unit 4 is, in its own words, a design skeleton and not a registration, with no paired-difference rule. Units 18 and 49 are the scorer's two validity tests, which line 384 makes a gate on P3, again preconditions. Unit 16, the two-derivation contrast, estimates two quantities on one system, but line 608 names it only as a drafted unit and says no verdict in the registration turns on the two derivations agreeing, and the reading draws no link. The informing rows from units 3, 4, 18 and 49 stand and nothing is drawn in words.",
   "signed": "2026-09-26T20:45:14Z, the signed stage 2 record's sha256 2a72d054ccc30b5ecd377cbc09d28c18759d633a4a7b98d4186f17a1e5a7d284"
  },
  {
   "prediction": "P8",
   "line": 1012,
   "ruling": "no unit carries it yet",
   "reason": "Line 1012 names the multi-system exponent estimation: exponents pooled by inverse-variance weighting across at least eight admissible systems and read on four outcomes against the region from 0.40 to 0.60 around one half (lines 994 and 1000). No study unit's own text names itself that estimation; the phrase appears in the theory registration and in the draft methodology standard, which lists the unit as unresolved and unknown until it is named. Unit 2's own text says its exponents feed P8 as inputs and that the instrument P8 names is not this unit. Unit 24's panel is at least three models, read against one half rather than on the four-outcome rule. Unit 34 offers six per-system exponents and says in its own text that it never reports its panel as meeting a floor of eight. All three are admissible inputs to the pooled estimation, so the informing rows stand and nothing is drawn in words.",
   "signed": "2026-09-26T20:45:14Z, the signed stage 2 record's sha256 2a72d054ccc30b5ecd377cbc09d28c18759d633a4a7b98d4186f17a1e5a7d284"
  },
  {
   "prediction": "P18",
   "line": 1182,
   "ruling": "unresolved: the registration describes its deciding unit by features only unit 56 has (lines 1174, 1176 and 1182), but unit 56's own text never names P18 and its retirement is the author's decision, not yet taken; no row is drawn from unit 56 until that is settled, and the informing rows from units 38, 55 and 57 stand",
   "reason": "The registered entry describes its instrument's unit by features only unit 56 has, which is why the reading types unit 56 as carrying it: a balanced draw scored against one third, a withdrawn base-rate assertion, permutation and shuffled-outcome nulls, and a prepared external-assessor packet never issued (lines 1174, 1176 and 1182). Unit 56's own text does not make it that instrument: it never names P18; it classifies by a one-bit operator class into three families, where P18 classifies how a domain composes its inputs and its outputs; and it says a successor has been written under the two-bit grid, that it claims nothing the four-cell grid settles, and that whether it is retired is the author's decision, not yet taken, while unit 55's own text says it supersedes unit 56. The reading records that mismatch as unresolved, and no registered or signed row carries the link. Line 1170 lets only domains classified before their data were obtained count, and says the March 2026 catalogue carries no claim of blindness and meets the frozen-catalogue condition only through artefacts fixed after the registration; unit 56's predicted families are that catalogue's, locked on 17 March 2026. Unit 57's eighty domains come from the same catalogue with their data series already in the programme's files, so it informs and cannot count; unit 55 uses the two-bit rubric on six fourth-cell domains the programme has never fitted, beside six named control domains whose families are already established, but chooses them by cell rather than drawing them and has no third-party classifier, so it informs; unit 38 informs. The status stays DESIGN DRAFT, BLOCKED (line 1182); no row is drawn from unit 56 until the author settles its retirement, and the successor registration text should reconcile its description of the instrument with line 1170 and with unit 56's own disclaimer.",
   "signed": "2026-09-26T20:45:14Z, the signed stage 2 record's sha256 2a72d054ccc30b5ecd377cbc09d28c18759d633a4a7b98d4186f17a1e5a7d284"
  }
 ],
 "instrument_preconditions_not_drawn": {
  "ruling": "a scoring instrument's precondition is drawn as INFORMS only where the prediction concerns that instrument itself: unit 18 (the ARC-Align scorer's agreement with expert human consensus) to P14, blinded cross-family scoring (registration line 736); unit 49 (the D measure's incompetence separation) to P19, whose deciding units are the integrity-index scaling units (line 1198). The other twenty rows are withdrawn from the drawing and kept here as notes.",
  "reason": "a precondition is not evidence bearing on a prediction: unit 18's and unit 49's own lines test whether the scorer and the integrity measure can be trusted, which gates the scoring of eleven predictions without bearing on whether any of them holds; drawn as informs, twenty lines would fan out as the evidence the notes deny (the registration draws the same line at 124: P10 and P14 concern the scoring instrument every other proposition depends on). Every prediction keeps at least one study line without them.",
  "withdrawn_rows": [
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P3",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P3 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P4",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P4 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P6",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P6 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P13",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P13 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P16",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P16 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P17",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P17 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P19",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P19 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P20",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P20 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P21",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P21 stays untested until both tests pass"
   },
   {
    "unit": "18-arc-align-instrument",
    "type": "INFORMS",
    "target": "P22",
    "line": 167,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P22 stays untested until both tests pass"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P3",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition for scoring this prediction, and not the paired instrument the registration names"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P4",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition only: this prediction stays untested until the scorer passes both validity tests"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P6",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: the discrimination half of the scoring gate this prediction waits on, checkable artefacts only"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P13",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition for scoring on code artefacts, and silent on whether it holds"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P14",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: half of the scoring gate this prediction waits on, and no test of it"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P16",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition for scoring the prohibition, and no evidence about whether it holds"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P17",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition for scoring this prediction only, and silent on whether it holds"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P20",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition for scoring the ceiling's form, and alone never discharges the gate"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P21",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition for scoring the depth interaction, and silent on whether it holds"
   },
   {
    "unit": "49-arc-align-instrument",
    "type": "INFORMS",
    "target": "P22",
    "line": 168,
    "basis": "unit-text",
    "source": "the unit's own registration text, line 168, checked on 26 September 2026: a precondition for scoring the exponent ordering, and alone never discharges the gate"
   }
  ],
  "signed": "2026-09-26T20:45:14Z, the signed stage 2 record's sha256 2a72d054ccc30b5ecd377cbc09d28c18759d633a4a7b98d4186f17a1e5a7d284"
 },
 "units": {
  "01-study-eclipse": {
   "links": [
    {
     "type": "INFORMS_NOT_DECIDES",
     "target": "P13",
     "relation_id": "E028",
     "line": 1086,
     "basis": "registration",
     "source": "the registration, line 1086: 'An earlier wording said that design applies directly, which claimed more of it than it does, and a later one kept it as this proposition's instrument, which the status rule fixed above does not permit: a proposition's status is the status of the instrument that would decide it and never of a neighbouring unit that would inform it.'"
    }
   ]
  },
  "02-study-k": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P1",
     "line": 48,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 48, checked on 24 September 2026: an input that decides neither P1 nor P8"
    },
    {
     "type": "INFORMS",
     "target": "P8",
     "line": 48,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 48, checked on 24 September 2026: an input that decides neither P1 nor P8"
    }
   ]
  },
  "03-study-ai": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P20",
     "line": 85,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 85, checked on 26 September 2026: reads the form contrast; the registration reserves the verdict for another unit"
    },
    {
     "type": "INFORMS",
     "target": "P3",
     "line": 113,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 113, checked on 26 September 2026: supplies the crossed variation this prediction waits on, a precondition and not the instrument"
    },
    {
     "type": "INFORMS",
     "target": "P4",
     "line": 89,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 89, checked on 26 September 2026: classifies each cell's burden regime; the check is scored on the stability unit's reading"
    }
   ]
  },
  "04-study-k2": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P16",
     "line": 39,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 39, checked on 26 September 2026: redesigns the boundary instrument whose unresolved identity blocks P16; registers no decision rule"
    },
    {
     "type": "INFORMS",
     "target": "P3",
     "line": 51,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 51, checked on 26 September 2026: compares the frontier with the relation's value; not P3's paired unit, no paired-difference rule"
    },
    {
     "type": "INFORMS",
     "target": "P4",
     "line": 25,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 25, checked on 26 September 2026: the burden-model check in its second coordinate, scored once on the stability unit"
    },
    {
     "type": "INFORMS",
     "target": "P20",
     "line": 15,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 15, checked on 26 September 2026: locates the pressure exponent's zero crossing; corroboration only, never P20's verdict"
    }
   ]
  },
  "06-study-ac": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P6",
     "line": 71,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 71, checked on 26 September 2026: freezes the scaling-axis taxonomy, a precondition only; P6's two further axes go uncoded"
    }
   ]
  },
  "08-study-ah": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P22",
     "line": 33,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 33, checked on 24 September 2026: mechanism evidence only, never a test"
    },
    {
     "type": "INFORMS",
     "target": "P6",
     "line": 74,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 74, checked on 26 September 2026: parameterises the dependence model the bound rests on, measuring no correction exponent"
    }
   ]
  },
  "10-study-f": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P4",
     "line": 65,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 65, checked on 26 September 2026: a threshold sharpening of the drift slope, never registered as this prediction's claim"
    }
   ]
  },
  "11-study-r": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the ARC Theory outside its predictions: whether the reinforcement needed to hold a stated value rises with reasoning depth, a co-scaling question asked in a scaffolded loop that updates no weights.",
    "framework": "the ARC Theory",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "12-study-m": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves Recursive Dynamics: whether persisting systems across domains share a bounded window of growth exponents, with the window's upper edge at or below 2.",
    "framework": "Recursive Dynamics",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "14-study-aa": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the ARC Theory outside its predictions: a substrate ceiling on the leverage fraction of the first law's growth equation, and an escape from it by a corrector in a different composition class.",
    "framework": "the ARC Theory",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "15-study-af": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the ARC Theory outside its predictions: an estimation, not a test, of the sign of the residual-decay exponent's trend across capability, which bears on the constancy behind a constant ceiling.",
    "framework": "the ARC Theory",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "16-study-ag": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the claim of one accumulation law with two consequences: whether the ceiling holds when the coupling and the correction exponent are estimated on one and the same system.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "17-theory": {
   "links": [],
   "foot": {
    "kind": "register",
    "reason": "The registration of the theory's twenty-two predictions, P1 to P22: it states each with the observation that would refute it and the status of the instrument that could test it, and decides none itself.",
    "signed": "2026-09-27, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "18-arc-align-instrument": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P14",
     "line": 167,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 167, checked on 26 September 2026: the scorer's agreement test, a precondition only; P14 stays untested until both tests pass"
    }
   ]
  },
  "20-study-t": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the Foundational paper's falsifier F9, a super-linear transient exponent in one physical system, and the unit's own form discrimination on public time-crystal data.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "21-paper-origin-scaling": {
   "links": [
    {
     "type": "DECIDES_IN_PART",
     "target": "P9",
     "line": 1028,
     "basis": "registration",
     "source": "the registration, line 1028: 'What neither supplies is the part of this proposition that specifies the dimension from the domain's equation of state rather than from its geometry, so this proposition is decided by those two only in the part they cover, and the remainder waits on a design that derives the dimension the way the statement requires.'"
    },
    {
     "type": "FOLLOWS_ON",
     "target": "paper:on-the-origin-of-scaling-laws",
     "basis": "name join",
     "source": "catalogue name join to research/data/papers.json"
    }
   ]
  },
  "22-study-i": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the Eden Protocol: tests its endogeneity condition, necessary condition N1 of the alignment decidability spine, whether removing embedded integrity structure costs capability.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "23-paper-foundational": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the Foundational paper's hypothesis that one predicted exponent family fits its assigned domains better than shuffled assignments do.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "24-paper-i": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P1",
     "line": 65,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 65, checked on 26 September 2026: supplies depth exponents; no rival-form comparison, no independent-sampling arm, no decision rule"
    },
    {
     "type": "INFORMS",
     "target": "P8",
     "line": 67,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 67, checked on 26 September 2026: pooled exponent inputs only, from a three-model minimum below the eight-system floor"
    }
   ]
  },
  "25-paper-iii": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P19",
     "line": 37,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 37, checked on 26 September 2026: re-estimates the headline exponent against inference depth, not capability, on an unmapped scale"
    }
   ]
  },
  "26-paper-vi": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the Paper VI hypothesis: whether the honey architecture's advantage grows with system complexity, where the pilot found it constant.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "27-paper-vi": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the Paper VI hypothesis: that entangling safety with capability extends time to collapse in a simulated recursive self-modifier.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "28-paper-xii": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P14",
     "line": 66,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 66, checked on 26 September 2026: tests two-sided whether blinding shifts MT-Bench scores, not shrinkage on the published apparatus"
    }
   ]
  },
  "30-study-ab": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the ARC Theory outside its predictions: estimates the self-acceleration exponent, how fast a system shortens its own improvement cycle as capability rises, as a leading indicator of the corrective regime.",
    "framework": "the ARC Theory",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "31-study-aj": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves Recursive Dynamics: whether the balance exponent, service elasticity minus burden elasticity, prices the stability of genomes as it prices stability in the AI programme.",
    "framework": "Recursive Dynamics",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "32-study-ak": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves Recursive Dynamics: whether the correction-versus-burden balance that governs the theory's home domain also governs the institution of science.",
    "framework": "Recursive Dynamics",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "33-study-al": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves Recursive Dynamics: the graduation test, whether the sign of the balance exponent prices stability across silicon, genome and institutional substrates.",
    "framework": "Recursive Dynamics",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "34-study-e": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P1",
     "line": 66,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 66, checked on 26 September 2026: an input to the recursion verdict only, and not the instrument the registration names"
    },
    {
     "type": "INFORMS",
     "target": "P8",
     "line": 172,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 172, checked on 26 September 2026: six per-system exponents to the pooled estimate, below the eight-system floor on its own"
    }
   ]
  },
  "35-study-eclipse-m": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P13",
     "line": 8,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 8, checked on 26 September 2026: informs both P13 axes through a residual-decay exponent ratio, not held-out misalignment reduction"
    }
   ]
  },
  "36-study-j": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the Eden Protocol: tests its endogeneity condition under adversarial removal, necessary condition N4 of the alignment decidability spine, whether benign capability survives removal of safety structure.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "37-study-l": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P2",
     "line": 65,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 65, checked on 26 September 2026: informs P2 as the registration's cited rival to an interior maximum, not P2's titration"
    }
   ]
  },
  "38-study-o": {
   "links": [
    {
     "type": "DECIDES_IN_PART",
     "target": "P9",
     "line": 1028,
     "basis": "registration",
     "source": "the registration, line 1028: 'What neither supplies is the part of this proposition that specifies the dimension from the domain's equation of state rather than from its geometry, so this proposition is decided by those two only in the part they cover, and the remainder waits on a design that derives the dimension the way the statement requires.'"
    },
    {
     "type": "INFORMS",
     "target": "P18",
     "line": 227,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 227, checked on 26 September 2026: family selection under the composition rubric for two biological cases, not P18's domain catalogue"
    }
   ]
  },
  "39-study-s5": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the Foundational paper's claim of super-linear scaling in acoustic physics, on a classical time crystal: whether the fitted exponent rises monotonically with quenched disorder, cycle count as depth.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "40-paper-v": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the Paper V hypothesis: whether the grand, identity-level purpose loop carries weight beyond the task-level loop.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "42-study-eden": {
   "links": [
    {
     "type": "INFORMS_NOT_DECIDES",
     "target": "P12",
     "relation_id": "E029",
     "line": 1070,
     "basis": "registration",
     "source": "the registration, line 1070: 'Several drafted units manipulate placement or build order, on gate position, on whether a value specification appears first or last, and on formation against a later rule, but none of them measures the correction-leverage exponent, which is this proposition's endpoint.'"
    }
   ]
  },
  "43-study-g": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P12",
     "line": 67,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 67, checked on 26 September 2026: supplies the placement contrast only, and scores in-context persistence, not the correction-leverage exponent"
    }
   ]
  },
  "44-study-n": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P12",
     "line": 89,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 89, checked on 26 September 2026: manipulates formation against a later rule; measures correction share, not the correction-leverage exponent"
    }
   ]
  },
  "45-study-u": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the Eden Protocol outside its carrier predictions: whether co-scaling correction and identity-framed genesis are jointly necessary for alignment persistence, in a four-arm test of their interaction.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "46-arc-align-instrument": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P14",
     "line": 60,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 60, checked on 26 September 2026: pools blinded minus unblinded contrasts from this programme's designs, not the published apparatus's items"
    }
   ]
  },
  "48-arc-align-instrument": {
   "links": [],
   "foot": {
    "kind": "instrument",
    "reason": "Tests the instrument: whether ARC-Align reasoning-depth settings, which the benchmark assumes comparable, are comparable across providers.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "49-arc-align-instrument": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P19",
     "line": 168,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 168, checked on 26 September 2026: a scorer validity test this survey's verdict waits on, and nothing about practice"
    }
   ]
  },
  "50-paper-hrih": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Asks whether the Hyperspace Recursive Intelligence Hypothesis states its predictions in adjudicable form; the theory's registration carries no proposition on it.",
    "framework": "HRIH",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "51-paper-iv-a": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests Paper IV.a's hypothesis: that its three alignment response classes are stable rather than a description of one sample.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "52-paper-iv-c": {
   "links": [],
   "foot": {
    "kind": "instrument",
    "reason": "Tests the ARC-Align benchmark's validity: whether its public prompts are contaminated, measured against its own sealed holdouts.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "54-paper-ix": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests Paper IX's status labels: whether the status the paper gives each claim matches the status blinded assessors assign.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "55-paper-vii": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P18",
     "line": 83,
     "basis": "unit-text",
     "source": "the unit's own registration text, lines 83 to 85, checked on 26 September 2026: the two-bit classification's accuracy only, with no third-party rater, which P18's evaluation requires"
    }
   ]
  },
  "56-paper-vii": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests Paper VII's hypothesis: that operator class predicts scaling family in fresh domains.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "57-paper-vii-c": {
   "links": [
    {
     "type": "FOLLOWS_ON",
     "target": "paper:paper-vii-cauchy-unification",
     "basis": "name join",
     "source": "catalogue name join to research/data/papers.json"
    },
    {
     "type": "INFORMS",
     "target": "P18",
     "line": 77,
     "basis": "unit-text",
     "source": "the unit's own registration text, lines 77 to 79, checked on 26 September 2026: P18's test run on domains already known, which the registration never counts as evidence"
    }
   ]
  },
  "58-paper-xi": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the convergence claim of Paper XI, first stated in the Foundational paper: how many of its cross-domain convergences survive a blinded independence rule.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "59-study-eden-b": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Tests the scope of the Eden thesis as a general architectural claim: how many alignment checks can be embedded at all.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "60-study-h": {
   "links": [],
   "foot": {
    "kind": "instrument",
    "reason": "Tests the instrument: the incremental predictive validity of ARC-Align depth-derivatives over static benchmarks in predicting integrity degradation under recursive pressure.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "61-study-w": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P10",
     "line": 98,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 98, checked on 26 September 2026: bears on survival under cross-family scoring, but of fresh responses, never the frozen corpus"
    }
   ]
  },
  "62-study-x": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the ARC Theory outside its predictions: how far each published quantitative result in the programme's corpus depends on analytic choices, as the published specification's rank among defensible ones.",
    "framework": "the ARC Theory",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "63-study-z": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the Eden Protocol: whether the ethical-kernel intervention's effect follows ethical content or the particular wording of the Vow, bearing on Studies G, N and U.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "64-paper-c": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests Paper C's own hypothesis: the incremental and discriminant validity of the Polymathic Neurodivergent Profile against four rival constructs.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "65-paper-eden-vision": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests the Eden Vision paper's own coverage figure: the fraction of a frozen tradition list carrying the stated commitments.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "66-paper-ii": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P1",
     "line": 71,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 71, checked on 26 September 2026: measures the depth-over-breadth half at matched compute only; not token-matched, not the depth titration"
    }
   ]
  },
  "67-paper-ii": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Recomputes Paper II's published sequential and parallel exponents on a consistent token axis, because the defect lies in the compute axis measurement feeding them.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "68-paper-iv-b": {
   "links": [],
   "foot": {
    "kind": "tests a paper's claim",
    "reason": "Tests Paper IV.b's own hypothesis: that alignment gains saturate after the first depth increment, architecture by architecture, against a 0.70 threshold.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "69-paper-viii": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Tests the Eden Protocol's endogeneity condition, which the theory's registration records as not a proposition: whether integrity removal costs capability at weight level, as Paper VIII asks.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "70-study-legal-a": {
   "links": [],
   "foot": {
    "kind": "instrument",
    "reason": "Tests instrument validity: whether the Eden validator chain's citation-proposition support detection has a higher detection rate than existence-checking.",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "73-study-v": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the Eden Protocol: tests an alignment drift prediction in the printed parent's Appendix F, drift without embedded constraint, on a software proxy, bearing on the embedded-correction thesis.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "74-theory-arc": {
   "links": [],
   "foot": {
    "kind": "register",
    "reason": "The programme's second theory-level text: it records what the framework claims and what would kill it, organised as five registers rather than as numbered predictions, and decides no prediction.",
    "signed": "2026-09-27, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "75-study-w": {
   "links": [
    {
     "type": "INFORMS_NOT_DECIDES",
     "target": "P12",
     "relation_id": "E029",
     "line": 1070,
     "basis": "registration",
     "source": "the registration, line 1070: 'Several drafted units manipulate placement or build order, on gate position, on whether a value specification appears first or last, and on formation against a later rule, but none of them measures the correction-leverage exponent, which is this proposition's endpoint.'"
    },
    {
     "type": "DEPENDS_ON",
     "target": "P15",
     "line": 208,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 208, checked on 24 September 2026: the unit depends on this prediction and is never evidence for it"
    }
   ]
  },
  "76-study-x": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Tests the Eden Protocol endogeneity condition, bearing on ARC-4's proposed mechanism: whether removing embedded correction costs general capability while removing bolt-on correction does not.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "77-study-z": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the Eden Protocol: the public warrant that ethical traditions converge on moral procedures while diverging on moral scope, a question the unit places outside all five registers.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "78-study-ar": {
   "links": [],
   "foot": {
    "kind": "serves a framework outside P1 to P22",
    "reason": "Serves the Eden Protocol: whether embedded placement holds under red-team attack where bolt-on placement fails, the printed parent's fourth dated prediction, bearing on ARC-4.",
    "framework": "the Eden Protocol",
    "signed": "2026-09-30, the signed stage 3 record's sha256 93386152bf45997fddaa7b1f860ed44dfa9cfd68bb1909763853f8cd8156362f"
   }
  },
  "80-study-cq": {
   "links": [
    {
     "type": "INFORMS",
     "target": "P14",
     "line": 40,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 40, checked on 26 September 2026: measures how a displayed own-family label shifts judged scores; re-scores no automated researcher's method"
    },
    {
     "type": "INFORMS",
     "target": "P10",
     "line": 40,
     "basis": "unit-text",
     "source": "the unit's own registration text, line 40, checked on 26 September 2026: measures the own-family scoring shift on a new bank, not the programme's frozen corpus"
    }
   ]
  }
 }
}