# Experiment-card to code crosswalk

Last audited: 2026-08-26

Overrides resolve experiment cards whose chapter contains several experiment families, whose implementation lives in a deliberately unreleased workspace, or whose card specifies a proposed benchmark rather than a completed run. An association is provenance, not evidence that the displayed protocol was executed by every linked package.

Displayed Experiment cards: 79
Cards with at least one public code destination: 34

| Book | Section | Experiment card | Epistemic status | Code relationship | Documentation / package |
|---|---|---|---|---|---|
| categories-for-agi | 9.2.3 Revised LM Interpretation | Experiment: GT information-regime ablation. | reported-result-or-audit | direct-chapter-family | `catagi-information-ket` |
| categories-for-agi | 12.1 From Point Clouds to Witnessed Relations | Experiment: higher-order relational recovery. | reported-result-or-audit | direct-chapter-family | `catagi-gt-manifold` |
| categories-for-agi | 16.3 Relational Geometry with the Geometric Transformer | Experiment: Democritus GT rendering ablation. | reported-result-or-audit | direct-chapter-family | `catagi-democritus` |
| categories-for-agi | 16.7 External Calibration against UniCausal | Experiment: Democritus–UniCausal extraction comparison. | reported-result-or-audit | direct-chapter-family | `catagi-democritus` |
| categories-for-agi | 17.6.1 Middle-Year Reconstruction Benchmark | Experiment: brand-aware temporal walk-forward audit. | reported-result-or-audit | direct-chapter-family | `catagi-brand-democritus` |
| categories-for-agi | 20.4 Experimental Validation of \(j-\)Stable Causal Discovery | Experiment: j-stable causal-discovery protocol. | reported-result-or-audit | direct-chapter-family | `catagi-judo` |
| categories-for-agi | 24.10.2 PSR Variant Comparison | Experiment: predictive-state variant comparison. | reported-result-or-audit | direct-chapter-family | `catagi-basket-rocket` |
| categories-for-agi | 25.5.1 PISA 2022 Socio–Economic Panel | Experiment: PISA causal-density diagnostic. | reported-result-or-audit | direct-family | `catagi-judo` |
| categories-for-agi | 28.7 Results | Experiment: synthetic coalgebraic MDP ablation. | reported-result-or-audit | direct-chapter-family | `catagi-deep-url` |
| machine-learning-from-enforcing-compositionality | 11.8 What the experiments establish | Experiment: BRIDGE/SKFM nonlinear-DAG sweep | reported-result-or-audit | direct-chapter-family | `lincs-bridge-skfm-family` |
| machine-learning-from-enforcing-compositionality | 12.6 A small language-model test | Experiment: PTB-small registered result | reported-result-or-audit | direct-chapter-family | `lincs-ket-family` |
| machine-learning-from-enforcing-compositionality | 13.7 Pretrained GPT-2 probe | Experiment: registered GPT-2 Medium pilot | reported-result-or-audit | direct-chapter-family | `lincs-allora-family` |
| machine-learning-from-enforcing-compositionality | 14.8 Application probes | Experiment: the retained empirical hierarchy | reported-result-or-audit | direct-chapter-family | `lincs-lasko-family` |
| machine-learning-from-enforcing-compositionality | 15.9 Safe recovery | Experiment: GIRL safe recovery under hidden regime change | reported-result-or-audit | direct-chapter-family | `lincs-girl-family` |
| machine-learning-from-enforcing-compositionality | 16.7 What the experiments establish | Experiment: LINCS-RLHF controlled preference suite | reported-result-or-audit | direct-chapter-family | `lincs-rlhf-family` |
| machine-learning-from-enforcing-compositionality | 17.5 Controlled relational recovery | Experiment: RADAR two-dimensional recovery | reported-result-or-audit | direct-chapter-family | `lincs-radar-family` |
| machine-learning-from-enforcing-compositionality | 17.6 MovieLens as a conjunctive gate | Experiment: RADAR MovieLens conjunctive gate | reported-result-or-audit | direct-chapter-family | `lincs-radar-family` |
| machine-learning-from-enforcing-compositionality | 18.8 Four foundry proofs of concept | Experiment: SID frozen-foundry replays | reported-result-or-audit | direct-chapter-family | `lincs-sid-family` |
| machine-learning-from-enforcing-compositionality | 19.4 E\(_0\): deterministic structural perturbations | Experiment: what E\(_0\) validates | reported-result-or-audit | private-code-withheld | `Odyssey SCoLT research workspace` |
| machine-learning-from-enforcing-compositionality | 20.5.3 Product and review foundries | Experiment: frozen trustworthy-foundry audits | reported-result-or-audit | private-code-withheld | `Odyssey and Prometheus foundry workspace` |
| infinitesimal-creativity | 6.14 A four-level symbolic-discovery challenge | Experiment: AI Feynman extension benchmark. | proposed | proposed-benchmark-to-reference-family | `ic-ai-feynman` |
| infinitesimal-creativity | 7.7 A combinational experiment protocol | Experiment: Typed interface discovery. | proposed | proposed-benchmark-to-reference-family | `ic-dial-allora` |
| infinitesimal-creativity | 8.8 Exploration across the testbeds | Experiment: Active exploratory creativity. | proposed | proposed-benchmark-to-reference-family | `ic-ipc` |
| infinitesimal-creativity | 9.7 Transformations across the testbeds | Experiment: Withheld-language theory repair. | proposed | proposed-benchmark-to-reference-family | `ic-dial-core` |
| infinitesimal-creativity | 10.12 How DIAL-X sharpens an experiment | Experiment: Minimum DIAL-X experimental record. | reporting-contract | reporting-contract | `ic-dial-core` |
| infinitesimal-creativity | 11.2 Exact closure and typed repair | Experiment: DIAL-SKFM–1A. | reported-result-or-audit | direct-chapter-family | `ic-clic` |
| infinitesimal-creativity | 11.3 Finite operators and propagated uncertainty | Experiment: DIAL-SKFM–1B. | reported-result-or-audit | direct-chapter-family | `ic-clic` |
| infinitesimal-creativity | 11.4 Active counter-witness interventions | Experiment: DIAL-SKFM–1C. | reported-result-or-audit | direct-chapter-family | `ic-clic` |
| infinitesimal-creativity | 11.5 Explicit alternative posteriors | Experiment: DIAL-SKFM–1D. | reported-result-or-audit | direct-chapter-family | `ic-clic` |
| infinitesimal-creativity | 12.5.1 Exact mixed-witness calibration | Experiment: OPTIC–0: exact mixed witness. | reported-result-or-audit | direct-chapter-family | `ic-optic` |
| infinitesimal-creativity | 12.5.2 The compound-skill failure | Experiment: OPTIC–1: compound-skill termination. | reported-negative-or-rejected | direct-chapter-family | `ic-optic` |
| infinitesimal-creativity | 12.5.3 Factored subskills | Experiment: OPTIC–1F: factored skill composition. | reported-result-or-audit | direct-chapter-family | `ic-optic` |
| infinitesimal-creativity | 13.8 Admitting a supplied temporal composition (B3) | Experiment: RELIC–ALFWorld-B3. | reported-result-or-audit | direct-chapter-family | `ic-relic` |
| infinitesimal-creativity | 13.10 Constructing the temporal composition (B4) | Experiment: RELIC–ALFWorld-B4. | reported-result-or-audit | direct-chapter-family | `ic-relic` |
| infinitesimal-creativity | 13.12 Constructing a missing stage | Experiment: RELIC–ALFWorld-B5. | reported-result-or-audit | direct-chapter-family | `ic-relic` |
| infinitesimal-creativity | 13.12 Constructing a missing stage | Experiment: RELIC–ALFWorld-B5.1. | reported-result-or-audit | direct-chapter-family | `ic-relic` |
| infinitesimal-creativity | 13.12 Constructing a missing stage | Experiment: RELIC–ALFWorld-B5.2. | reported-result-or-audit | direct-chapter-family | `ic-relic` |
| infinitesimal-creativity | 14.9 Ablations and interaction effects | Experiment: META-DIAL–0. | proposed | direct-chapter-family | `ic-agentic` |
| infinitesimal-creativity | 15.7 Early calibration: theory extension with Lea | Experiment: AGENTIC-Lea: early theory-extension calibration. | reported-result-or-audit | direct-family | `ic-lea` |
| infinitesimal-creativity | 15.8 A worked episode: inventing an intrinsic property | Experiment: IPC–3: Intrinsic-Property Accommodation. | reported-result-or-audit | direct-family | `ic-ipc` |
| infinitesimal-creativity | 15.11 Cellular-automaton theory induction | Experiment: Cellular-automaton emergence benchmark. | proposed | proposed-benchmark-to-reference-family | `ic-ai-feynman` |
| infinitesimal-creativity | 15.12 An integrated benchmark | Experiment: AGENTIC-MATH–0. | proposed | proposed-benchmark-to-reference-family | `ic-ai-feynman`, `ic-dial-core` |
| infinitesimal-creativity | 15.13.7 In what sense is this theory construction? | Experiment: DIAL-URL–0: Exact Coalgebra-Type Recovery. | reported-result-or-audit | direct-family | `ic-dial-url` |
| infinitesimal-creativity | 15.13.8 Finite-trajectory accommodation | Experiment: DIAL-URL–1: Finite-Trajectory Accommodation. | reported-result-or-audit | direct-family | `ic-dial-url` |
| infinitesimal-creativity | 15.13.9 Active coalgebraic discrimination | Experiment: DIAL-URL–2: Active Coalgebraic Discrimination. | reported-result-or-audit | direct-family | `ic-dial-url` |
| infinitesimal-creativity | 15.13.10 From named families to functor expressions | Experiment: DIAL-URL–3: Behavior-Functor Grammar Synthesis. | reported-result-or-audit | direct-family | `ic-dial-url` |
| infinitesimal-creativity | 15.13.11 Discovering a withheld composition law | Experiment: DIAL-URL–4: Withheld Comparison-Law Discovery. | reported-result-or-audit | direct-family | `ic-dial-url` |
| infinitesimal-creativity | 16.6.1 Neural projection expansion in singing mice | Experiment: Prometheus substrate: singing mice. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 16.6.1 Neural projection expansion in singing mice | Experiment: SGTE–1: withheld singing-mouse support. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 16.6.1 Neural projection expansion in singing mice | Experiment: SGTE–2: observer and support recovery. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 16.6.1 Neural projection expansion in singing mice | Experiment: SGTE–3: active counter-witness acquisition. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 16.6.2 Hydroclimate and the Harappan transformation | Experiment: Prometheus substrate: Indus hydrology. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 16.6.3 Colored airborne plastics and radiative forcing | Experiment: Prometheus substrate: airborne plastics. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 16.8 Ontology extension | Experiment: SGTE–4: latent-factor construction. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 16.10 AGENTIC-SIM: the integrated benchmark | Experiment: AGENTIC-SIM–0. | reported-result-or-audit | direct-chapter-family | `ic-sgte` |
| infinitesimal-creativity | 17.8.1 Source discipline (CTTE–0) | Experiment: CTTE–0: source-ledger theory construction. | reported-result-or-audit | direct-family | `ic-ctte` |
| infinitesimal-creativity | 17.8.2 Entity registration (CTTE–1) | Experiment: CTTE–1: alias registration under uncertainty. | reported-result-or-audit | direct-family | `ic-ctte` |
| infinitesimal-creativity | 17.8.3 Context-cover construction (CTTE–2) | Experiment: CTTE–2: inferred context covers. | reported-result-or-audit | direct-family | `ic-ctte` |
| infinitesimal-creativity | 17.8.4 Active overlap acquisition (CTTE–3) | Experiment: CTTE–3: active acquisition of a missing overlap. | reported-result-or-audit | direct-family | `ic-ctte` |
| infinitesimal-creativity | 17.8.5 Missing-presentation construction (CTTE–4) | Experiment: CTTE–4: finite sketch extension and probe synthesis. | reported-result-or-audit | direct-family | `ic-ctte` |
| infinitesimal-creativity | 17.8.6 Cross-domain transport (CTTE–5) | Experiment: CTTE–5: provenance-safe domain transport. | reported-result-or-audit | direct-family | `ic-ctte` |
| infinitesimal-creativity | 17.10.1 Treatment status as a missing context (GLP1–PILOT–0) | Experiment: GLP1–PILOT–0: retrospective withdrawal-context transport. | reported-result-or-audit | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.10.2 Discovering the missing context (GLP1–PILOT–1) | Experiment: GLP1–PILOT–1: hidden-context recovery. | reported-result-or-audit | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11 A grant proposal as a capstone artifact | Experiment: GLP1–GRANT capstone: theory extension to research program. | reported-result-or-audit | proposed-capstone-to-reference-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.1 Structural compilation without semantic admission | Experiment: GLP1–GRANT–0: controlled program compilation. | reported-result-or-audit | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.2 Semantic admission as a type system | Experiment: GLP1–GRANT–1: semantic admission firewall. | reported-negative-or-rejected | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.3 Compiling prose from a typed intermediate program | Experiment: GLP1–GRANT–2: typed IR and narrative round trip. | reported-negative-or-rejected | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.4 Scientific invariants across a research program | Experiment: GLP1–GRANT–3: cross-field scientific invariants. | reported-result-or-audit | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.5 Auditable rhetorical realization | Experiment: GLP1–GRANT–4: auditable proposal realization. | reported-negative-or-rejected | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.6 Sanitized realization and surface separation | Experiment: GLP1–GRANT–4.1: sanitized auditable realization. | reported-negative-or-rejected | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.7 Structure-first rhetorical realization | Experiment: GLP1–GRANT–4.2: structure-first realization. | reported-negative-or-rejected | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.8 Local metric and semantic bounds | Experiment: GLP1–GRANT–4.3: bounded realization. | reported-result-or-audit | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.11.9 Controlled paraphrase and evaluator failure | Experiment: GLP1–GRANT–4.4: controlled paraphrase. | reported-result-or-audit | direct-family | `ic-glp1` |
| infinitesimal-creativity | 17.13 Toward an integrated open-domain benchmark | Experiment: AGENTIC-CORPUS–0. | proposed | proposed-benchmark-to-reference-family | `ic-ctte`, `ic-glp1` |
| infinitesimal-creativity | 18.7 Textual inversion as staged calibration | Experiment: ARTISTIC-TI–0–3. | reported-result-or-audit | protocol-to-calibration-family | `ic-artistic-ti-ni` |
| infinitesimal-creativity | 18.8 A visual-language benchmark | Experiment: ARTISTIC-T2I–0. | proposed | proposed-benchmark-to-reference-family | `ic-artistic-ti-ni`, `ic-artistic-bongard`, `ic-artistic-sports` |
| infinitesimal-creativity | 19.13 Registered paintbrush evidence | Experiment: DILATE–2.2: Connected Paintbrush. | reported-result-or-audit | direct-family | `ic-dilate-paintbrush` |
| infinitesimal-creativity | 19.14 Theory routing across natural videos | Experiment: DILATE-MOVIES–2: Independent Theory Routing. | reported-result-or-audit | direct-family | `ic-dilate-video` |
| infinitesimal-creativity | 19.15 The withheld-generator experiment | Experiment: DILATE-TE–0: Withheld Visual Generator. | proposed | proposed-benchmark-to-reference-family | `ic-dial-can` |

## Validation

Unresolved mappings: 0