# Experiment documentation closure register

This register distinguishes a complete provenance trail from public reproducibility. A family is traceability-complete when its chapter, code package, entry point, result artifact, resolved source surface, and evidence boundary are all registered. Public reproduction additionally requires the core package and any necessary result packet to be released under an explicit license.

Audited 2026-08-25. Families: 38; traceability-complete: 38; families with fully public core code: 12; families awaiting local-companion publication: 26; families with frozen run records: 19; concrete reader start points: 148.

A missing frozen run is not rewritten as a missing experiment. It records the more precise fact that the surviving evidence is currently a curated study, table, plot, report, or other result artifact rather than a family-scoped run packet.

## Categories for AGI

11 of 11 families are traceability-complete; 4 have fully public core code; 7 await a local companion decision; 0 have frozen run-level records.

| Family | Release level | Code / results / runs | Closure action |
|---|---|---|---|
| [BASKET and ROCKET workflow construction](/experiments/catagi-basket-rocket) | `public-core-code-with-curated-results` | 11 source records; 3 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: basket-rocket-archive. |
| [Temporal diffusion over company causal trajectories](/experiments/catagi-brand-democritus) | `public-core-code-with-curated-results` | 4 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: brand-democritus. |
| [CSQL and ATLAS database construction](/experiments/catagi-csql) | `private-core-code-with-curated-results` | 3 source records; 2 result artifacts; 0 runs; 3 concrete start points; local: `atlas-csql-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: atlas-csql-archive, democritus-openai. |
| [Diagrammatic Backpropagation and Geometric Transformers](/experiments/catagi-db-gt) | `private-core-code-with-curated-results` | 8 source records; 4 result artifacts; 0 runs; 4 concrete start points; local: `categories-gt-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: categories-gt-archive. |
| [Deep Universal Reinforcement Learning](/experiments/catagi-deep-url) | `private-core-code-with-curated-results` | 5 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: `deep-url-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: deep-url-archive. |
| [Democritus causal claims from language](/experiments/catagi-democritus) | `public-core-code-with-curated-results` | 3 source records; 1 result artifacts; 0 runs; 3 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: democritus-openai. |
| [Relational manifold learning with Geometric Transformers](/experiments/catagi-gt-manifold) | `public-core-code-with-curated-results` | 12 source records; 4 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [Mean-field diagnostics for Geometric Transformers](/experiments/catagi-gt-meanfield) | `private-core-code-with-curated-results` | 8 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: `categories-gt-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: categories-gt-archive. |
| [Depth sweeps for Geometric Transformers](/experiments/catagi-gt-scaling) | `private-core-code-with-curated-results` | 6 source records; 2 result artifacts; 0 runs; 4 concrete start points; local: `categories-gt-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: categories-gt-archive. |
| [GT information regimes, KET, and TopoCoend](/experiments/catagi-information-ket) | `private-core-code-with-curated-results` | 42 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: `categories-gt-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: categories-gt-archive. |
| [Judo Calculus causal-discovery experiments](/experiments/catagi-judo) | `private-core-code-with-curated-results` | 31 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: `kan-do-dcdi-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. Confirm the package-level license for: causal-sheaves, kan-do-dcdi-archive. |

## Machine Learning from Enforcing Compositionality

8 of 8 families are traceability-complete; 8 have fully public core code; 0 await a local companion decision; 0 have frozen run-level records.

| Family | Release level | Code / results / runs | Closure action |
|---|---|---|---|
| [ALLORA adapter composition](/experiments/lincs-allora-family) | `public-core-code-with-curated-results` | 16 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [BRIDGE/SKFM geometric causal discovery](/experiments/lincs-bridge-skfm-family) | `public-core-code-with-curated-results` | 30 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [GIRL infinitesimal reinforcement learning](/experiments/lincs-girl-family) | `public-core-code-with-curated-results` | 24 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [LINCS-KET blockwise repair](/experiments/lincs-ket-family) | `public-core-code-with-curated-results` | 37 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [LASKO skill optimization](/experiments/lincs-lasko-family) | `public-core-code-with-curated-results` | 3 source records; 1 result artifacts; 0 runs; 3 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [RADAR relational manifold recovery](/experiments/lincs-radar-family) | `public-core-code-with-curated-results` | 14 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [LINCS-RLHF preference experiments](/experiments/lincs-rlhf-family) | `public-core-code-with-curated-results` | 3 source records; 1 result artifacts; 0 runs; 3 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |
| [SID sheaf-based distributed learning](/experiments/lincs-sid-family) | `public-core-code-with-curated-results` | 7 source records; 1 result artifacts; 0 runs; 4 concrete start points; local: none | Either attach a frozen run-level packet or preserve the current curated-study/result-artifact boundary explicitly. |

## Infinitesimal Creativity

19 of 19 families are traceability-complete; 0 have fully public core code; 19 await a local companion decision; 19 have frozen run-level records.

| Family | Release level | Code / results / runs | Closure action |
|---|---|---|---|
| [AGENTIC workflow composition](/experiments/ic-agentic) | `private-core-code-with-frozen-runs` | 8 source records; 2 result artifacts; 8 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [Categorical AI-Feynman ladder](/experiments/ic-ai-feynman) | `private-core-code-with-frozen-runs` | 6 source records; 2 result artifacts; 10 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [ARTISTIC Bongard problems](/experiments/ic-artistic-bongard) | `private-core-code-with-frozen-runs` | 9 source records; 2 result artifacts; 8 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [ARTISTIC sports, pose, and scene enforcement](/experiments/ic-artistic-sports) | `private-core-code-with-frozen-runs` | 21 source records; 4 result artifacts; 20 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [ARTISTIC textual-inversion and natural-image ladder](/experiments/ic-artistic-ti-ni) | `private-core-code-with-frozen-runs` | 74 source records; 3 result artifacts; 1 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [CLIC / DIAL-SKFM](/experiments/ic-clic) | `private-core-code-with-frozen-runs` | 32 source records; 3 result artifacts; 7 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [Corpus-to-testable-theory construction](/experiments/ic-ctte) | `private-core-code-with-frozen-runs` | 6 source records; 2 result artifacts; 6 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [DIAL-ALLORA prototype ladder](/experiments/ic-dial-allora) | `private-core-code-with-frozen-runs` | 39 source records; 2 result artifacts; 23 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [DIAL-CAN structural-obstruction calibration](/experiments/ic-dial-can) | `private-core-code-with-frozen-runs` | 5 source records; 2 result artifacts; 5 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [DIAL core ablation ladder](/experiments/ic-dial-core) | `private-core-code-with-frozen-runs` | 11 source records; 3 result artifacts; 13 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [DIAL-URL coalgebraic theory construction](/experiments/ic-dial-url) | `private-core-code-with-frozen-runs` | 5 source records; 2 result artifacts; 5 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [DILATE paintbrush geometry](/experiments/ic-dilate-paintbrush) | `private-core-code-with-frozen-runs` | 6 source records; 2 result artifacts; 6 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [DILATE video, codec, and cross-video transport](/experiments/ic-dilate-video) | `private-core-code-with-frozen-runs` | 10 source records; 3 result artifacts; 10 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [GLP-1 theory and grant construction](/experiments/ic-glp1) | `private-core-code-with-frozen-runs` | 11 source records; 3 result artifacts; 11 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [Infinitesimal pattern-construction ladder](/experiments/ic-ipc) | `private-core-code-with-frozen-runs` | 21 source records; 3 result artifacts; 22 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [AGENTIC-Lea theorem-construction ladder](/experiments/ic-lea) | `private-core-code-with-frozen-runs` | 21 source records; 2 result artifacts; 5 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [OPTIC / DIAL-SkillOpt](/experiments/ic-optic) | `private-core-code-with-frozen-runs` | 5 source records; 3 result artifacts; 4 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [RELIC and DIAL-Schema-GIRL](/experiments/ic-relic) | `private-core-code-with-frozen-runs` | 64 source records; 3 result artifacts; 61 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |
| [Simulator-grounded theory extension](/experiments/ic-sgte) | `private-core-code-with-frozen-runs` | 4 source records; 2 result artifacts; 4 runs; 4 concrete start points; local: `synthetic-creativity-archive` | Publish the listed local companion packages, or retain an explicit forthcoming label and non-downloadable provenance boundary. Confirm the package-level license for: synthetic-creativity-archive. |

## Completion rule

The documentation layer is complete when every registered family remains traceability-complete. The public-code layer is complete when every local core package has either been released and pinned or given an explicit author-approved forthcoming disposition. Frozen run packets are an evidence-depth improvement, not a license to overstate what older surviving artifacts establish.