# Experiment-to-code crosswalk Last audited: 2026-08-25 This registry links the experiments reported by the three books to their executable or archived code surfaces. A code link establishes traceability, not independent reproduction, correctness, or support for a claim beyond the experiment's stated boundary. ## Reading the records Each row names the experiment family used by a book, the relevant chapter, the associated code surface, and the number of archived run directories resolved by the registry. Public links point to inspectable code. A local-only record identifies a release gap; it is not silently presented as reproducible. ## Code package inventory | Package | Availability | Used by | Experiment families | License | |---|---|---|---:|---| | [Categories for AGI Lean companion](https://github.com/sridharmahadevan/catagi/tree/8ce79cdc949604873aca279d6cfcafa992293eb8) | public GitHub | Categories for AGI | 2 | MIT | | Geometric and Kan Extension Transformer archive | local only; curation required | Categories for AGI | 4 | not yet recorded | | [Democritus causal-claim extraction](https://github.com/sridharmahadevan/Democritus_OpenAI/tree/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9) | public GitHub | Categories for AGI | 2 | not specified | | [Brand-aware temporal Democritus](https://github.com/sridharmahadevan/brand_democritus_block_denoise/tree/b49daac62c437d136d0412282692e9b425bb0739) | public GitHub | Categories for AGI | 1 | not specified | | [BASKET and ROCKET experiment archive](https://github.com/sridharmahadevan/BASKET/tree/c43d21983f89310341cf476285b461cd7e257d44) | public GitHub | Categories for AGI | 1 | not specified | | [Causal Discovery on Sheaves](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/tree/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39) | public GitHub | Categories for AGI | 1 | not specified | | Kan-do DCDI experiment archive | local only; curation required | Categories for AGI | 1 | not yet recorded | | ATLAS CSQL database archive | local only; curation required | Categories for AGI | 1 | not yet recorded | | GT RL Coalgebra archive | local only; curation required | Categories for AGI | 1 | not yet recorded | | [LINCS software companion](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875) | public GitHub | Machine Learning from Enforcing Compositionality | 0 | Apache-2.0 | | [LINCS BRIDGE/SKFM package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm) | public GitHub | Infinitesimal Creativity; Machine Learning from Enforcing Compositionality | 2 | Apache-2.0 | | [LINCS ALLORA and LINCS-KET package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora) | public GitHub | Categories for AGI; Infinitesimal Creativity; Machine Learning from Enforcing Compositionality | 4 | Apache-2.0 | | [LINCS LASKO package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko) | public GitHub | Infinitesimal Creativity; Machine Learning from Enforcing Compositionality | 2 | Apache-2.0 | | [LINCS GIRL package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl) | public GitHub | Infinitesimal Creativity; Machine Learning from Enforcing Compositionality | 2 | Apache-2.0 | | [LINCS-RLHF package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf) | public GitHub | Machine Learning from Enforcing Compositionality | 1 | Apache-2.0 | | [LINCS RADAR package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar) | public GitHub | Categories for AGI; Machine Learning from Enforcing Compositionality | 2 | Apache-2.0 | | [LINCS SID package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid) | public GitHub | Machine Learning from Enforcing Compositionality | 1 | Apache-2.0 | | Infinitesimal Creativity registered experiment archive | local only; curation required | Infinitesimal Creativity | 19 | not yet recorded | | [Lea theorem prover](https://github.com/VIDA-NYU/Lea/tree/790853c89522bf5899feeb0052b795326feee720) | public GitHub | Infinitesimal Creativity | 1 | upstream license | | [Hugging Face Diffusers](https://github.com/huggingface/diffusers/tree/efabd60d61c2b7aabf9f182bee6b5b6058980304) | public GitHub | Infinitesimal Creativity | 2 | Apache-2.0 | Public package destinations: 15 of 20. Local-only packages remain visible as release gaps rather than being converted into implied public links. ## Categories for AGI | Experiment family | Chapter(s) | Code package(s) | Archived runs | Documentation | |---|---:|---|---:|---| | Diagrammatic Backpropagation and Geometric Transformers | 6, 7, 8 | Geometric and Kan Extension Transformer archive (local only); [Categories for AGI Lean companion](https://github.com/sridharmahadevan/catagi/tree/8ce79cdc949604873aca279d6cfcafa992293eb8) | 0 | bounded-demo-and-plot-provenance | | GT information regimes, KET, and TopoCoend | 9, 10, 11 | Geometric and Kan Extension Transformer archive (local only); [LINCS ALLORA and LINCS-KET package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora) | 0 | curation-required | | Relational manifold learning with Geometric Transformers | 12 | [LINCS RADAR package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar) | 0 | public-code-and-results-linked | | Mean-field diagnostics for Geometric Transformers | 13 | Geometric and Kan Extension Transformer archive (local only) | 0 | archived-artifact-only | | Depth sweeps for Geometric Transformers | 14 | Geometric and Kan Extension Transformer archive (local only) | 0 | curation-required | | Democritus causal claims from language | 16, 22 | [Democritus causal-claim extraction](https://github.com/sridharmahadevan/Democritus_OpenAI/tree/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9) | 0 | public-code-linked | | Temporal diffusion over company causal trajectories | 17 | [Brand-aware temporal Democritus](https://github.com/sridharmahadevan/brand_democritus_block_denoise/tree/b49daac62c437d136d0412282692e9b425bb0739) | 0 | public-code-linked | | BASKET and ROCKET workflow construction | 18, 24 | [BASKET and ROCKET experiment archive](https://github.com/sridharmahadevan/BASKET/tree/c43d21983f89310341cf476285b461cd7e257d44) | 0 | curation-required | | Judo Calculus causal-discovery experiments | 20 | [Causal Discovery on Sheaves](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/tree/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39); Kan-do DCDI experiment archive (local only) | 0 | public-code-linked | | CSQL and ATLAS database construction | 21 | ATLAS CSQL database archive (local only); [Democritus causal-claim extraction](https://github.com/sridharmahadevan/Democritus_OpenAI/tree/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9) | 0 | curation-required | | Deep Universal Reinforcement Learning | 28 | GT RL Coalgebra archive (local only); [Categories for AGI Lean companion](https://github.com/sridharmahadevan/catagi/tree/8ce79cdc949604873aca279d6cfcafa992293eb8) | 0 | curation-required | ### Diagrammatic Backpropagation and Geometric Transformers A small executable pullback/pushout energy demonstration and two archived commutator-proxy trajectories for Geometric Transformer variants. **Evidence boundary.** The Chapter 6 notebook is an executable numerical illustration, not a proof that optimization computes categorical limits in general. The Chapter 8 PNGs have exact code and byte provenance but no surviving per-step raw logs, so they are archived plot-only evidence. Their residuals are task-relative order-sensitivity diagnostics, not categorical limit certificates, causal demonstrations, or general proofs of improved learning. **Entry points.** scripts/gt/; scripts/resmlp_gt_commutator_demo.py; scripts/seq2seq_wiki103_prefix_suffix.py; Category-Theory-for-AGI-UMass-CMPSCI-692CT/notebooks/week03_db_colimit_energy.ipynb **Start here.** - `categories-gt-archive:scripts/gt/geometric_transformer.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/resmlp_gt_commutator_demo.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/seq2seq_wiki103_prefix_suffix.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/gt/simplicial_mp.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `categories-gt-archive:scripts/datasets_linked_wt2.py` — dependency - `categories-gt-archive:scripts/datasets_ptb_wt.py` — dependency - `categories-gt-archive:scripts/gt/__init__.py` — implementation - `categories-gt-archive:scripts/gt/geometric_transformer.py` — implementation - `categories-gt-archive:scripts/gt/simplicial_mp.py` — implementation - `categories-gt-archive:scripts/resmlp_gt_commutator_demo.py` — implementation - `categories-gt-archive:scripts/seq2seq_gt_compare.py` — implementation - `categories-gt-archive:scripts/seq2seq_wiki103_prefix_suffix.py` — implementation **Authoritative artifacts.** week03_db_colimit_energy.ipynb; two_moons_commutator_energy.png; wiki103_prefix_suffix_cech_obs.png; CHAPTERS_6_8_PROVENANCE.md **Documented studies.** - Diagrammatic pullback and pushout energy demonstration - Two-moons commutator-proxy trajectory - WikiText-103 early commutator-proxy trajectory - Geometric Transformer architecture comparison ### GT information regimes, KET, and TopoCoend Strict-causal and future-carrier language-modeling comparisons on PTB and WikiText corpora. **Evidence boundary.** Future-carrier runs are leakage controls, not valid autoregressive improvements; point estimates are not population effects. **Entry points.** KET/ket_experiments/; scripts/ket_experiments/ **Start here.** - `categories-gt-archive:KET/ket_experiments/eval/eval_ppl.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`lincs-allora:KET/aggregate_gpt2_cuda_replication.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/aggregate_gpt2_cuda_replication.py) — implementation; public-pinned. Open the pinned public source file. - `categories-gt-archive:KET/ket_experiments/eval/freeze_ablate.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:KET/ket_experiments/eval/model_utility.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `categories-gt-archive:KET/ket_experiments/datasets_ptb_wt.py` — dependency - `categories-gt-archive:KET/ket_experiments/eval/__init__.py` — runner - `categories-gt-archive:KET/ket_experiments/eval/eval_ppl.py` — runner - `categories-gt-archive:KET/ket_experiments/eval/freeze_ablate.py` — runner - `categories-gt-archive:KET/ket_experiments/eval/model_utility.py` — runner - `categories-gt-archive:KET/ket_experiments/eval/ngram_sweep.py` — runner - `categories-gt-archive:KET/ket_experiments/eval/perm_ablate.py` — runner - `categories-gt-archive:KET/ket_experiments/ket_unified_harness.py` — runner - `categories-gt-archive:KET/ket_experiments/models/__init__.py` — implementation - `categories-gt-archive:KET/ket_experiments/models/block_heads.py` — implementation - `categories-gt-archive:KET/ket_experiments/models/ket_block_wrappers.py` — implementation - `categories-gt-archive:KET/ket_experiments/models/ket_model.py` — implementation - `categories-gt-archive:KET/ket_experiments/train/train_ket.py` — runner - `categories-gt-archive:KET/ket_experiments/train/train_ket_block.py` — runner - `categories-gt-archive:KET/ket_experiments/train_torch_gt_lm.py` — dependency - `categories-gt-archive:KET/ket_experiments/train_torch_kan_lm_ptbwt_incidence_mp_compat.py` — dependency - `categories-gt-archive:KET/ket_experiments/train_torch_kan_lm_ptbwt_softpred_hint.py` — dependency - `categories-gt-archive:KET/ket_experiments/train_torch_lm.py` — dependency - `categories-gt-archive:KET/ket_experiments/train_torch_topocoend_lm_ptbwt_compat.py` — dependency - `categories-gt-archive:KET/ket_experiments/training/block_utils.py` — implementation - [`lincs-allora:KET/__init__.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/__init__.py) — implementation - [`lincs-allora:KET/aggregate_gpt2_cuda_replication.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/aggregate_gpt2_cuda_replication.py) — implementation - [`lincs-allora:KET/aggregate_model_zoo.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/aggregate_model_zoo.py) — implementation - [`lincs-allora:KET/allora_ket_adapters.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/allora_ket_adapters.py) — implementation - [`lincs-allora:KET/analyze_adapter_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_adapter_sweep.py) — implementation - [`lincs-allora:KET/analyze_capability_safety.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_capability_safety.py) — implementation - [`lincs-allora:KET/analyze_confirmatory.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_confirmatory.py) — implementation - [`lincs-allora:KET/analyze_lora_text_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_lora_text_sweep.py) — implementation - [`lincs-allora:KET/analyze_theory_diagnostics.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_theory_diagnostics.py) — implementation - [`lincs-allora:KET/capability_safety_composition.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/capability_safety_composition.py) — implementation - [`lincs-allora:KET/cross_fitted_quotient_prediction.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/cross_fitted_quotient_prediction.py) — implementation - [`lincs-allora:KET/factor_quotient_projectability.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/factor_quotient_projectability.py) — implementation - [`lincs-allora:KET/gpt2_medium_expanded_eval.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/gpt2_medium_expanded_eval.py) — implementation - [`lincs-allora:KET/gpt2_medium_mps_pilot.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/gpt2_medium_mps_pilot.py) — implementation - [`lincs-allora:KET/gpt2_sequential_lora_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/gpt2_sequential_lora_smoke.py) — implementation - [`lincs-allora:KET/ket_adapter_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/ket_adapter_smoke.py) — implementation - [`lincs-allora:KET/ket_coend_comparison.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/ket_coend_comparison.py) — implementation - [`lincs-allora:KET/ket_ptb_adapter_train.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/ket_ptb_adapter_train.py) — implementation - [`lincs-allora:KET/lora_text_source_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/lora_text_source_smoke.py) — implementation - [`lincs-allora:KET/model_registry.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/model_registry.py) — implementation - [`lincs-allora:KET/reflective_allora_order.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/reflective_allora_order.py) — implementation - [`lincs-allora:KET/stochastic_quotient_aggregation.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/stochastic_quotient_aggregation.py) — implementation **Authoritative artifacts.** loss/perplexity plots and recorded comparison tables **Documented studies.** - Strict-causal versus future-carrier leakage control - PTB blockwise KET comparison - WikiText-2 KET diagnostics - WikiText-103 KET and TopoCoend comparison ### Relational manifold learning with Geometric Transformers Triangle-aware relational recovery, dimension diagnostics, Hodge controls, and the registered MovieLens negative result. **Evidence boundary.** The synthetic advantage is specific to the declared two-dimensional bottleneck, and the MovieLens study is a retained negative result rather than evidence of universal relational benefit. **Entry points.** relational_descent.py; run_relational_dimension_diagnostic.py; run_hodge_baselines.py; run_movielens_experiment.py **Start here.** - [`lincs-radar:relational_descent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/relational_descent.py) — implementation; public-pinned. Open the pinned public source file. - [`lincs-radar:run_relational_dimension_diagnostic.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_relational_dimension_diagnostic.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-radar:run_hodge_baselines.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_hodge_baselines.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-radar:run_movielens_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_movielens_experiment.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-radar:HODGE_BASELINE_RESULTS.md`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/HODGE_BASELINE_RESULTS.md) — result-record - [`lincs-radar:MOVIELENS_RESULTS.md`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/MOVIELENS_RESULTS.md) — result-record - [`lincs-radar:RELATIONAL_CONFIRMATORY_RESULTS.md`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/RELATIONAL_CONFIRMATORY_RESULTS.md) — result-record - [`lincs-radar:RELATIONAL_DIMENSION_DIAGNOSTIC.md`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/RELATIONAL_DIMENSION_DIAGNOSTIC.md) — result-record - [`lincs-radar:analyze_movielens_results.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/analyze_movielens_results.py) — runner - [`lincs-radar:analyze_relational_confirmatory.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/analyze_relational_confirmatory.py) — runner - [`lincs-radar:hodge_baselines.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/hodge_baselines.py) — implementation - [`lincs-radar:movielens_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/movielens_experiment.py) — implementation - [`lincs-radar:relational_descent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/relational_descent.py) — implementation - [`lincs-radar:run_hodge_baselines.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_hodge_baselines.py) — runner - [`lincs-radar:run_movielens_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_movielens_experiment.py) — runner - [`lincs-radar:run_relational_dimension_diagnostic.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_relational_dimension_diagnostic.py) — runner **Authoritative artifacts.** RELATIONAL_CONFIRMATORY_RESULTS.md; RELATIONAL_DIMENSION_DIAGNOSTIC.md; HODGE_BASELINE_RESULTS.md; MOVIELENS_RESULTS.md **Documented studies.** - Controlled relational recovery - Post-confirmatory dimension diagnostic - Pooled Hodge baseline - MovieLens registered negative calibration ### Mean-field diagnostics for Geometric Transformers Local commutator-energy, normalization, transport, and task diagnostics for a data-limited prefix-to-suffix pilot. **Evidence boundary.** The surviving plots and summary values do not include a complete executable snapshot or raw per-example outputs; the chapter treats them as archived pilot evidence only. **Entry points.** scripts/seq2seq_scaling_preln_transformer.py; scripts/seq2seq_scaling_GTFull.py; scripts/seq2seq_wiki103_scaling-GT-Lite.py; scripts/seq2seq_wiki103_scaling-GT-Full.py; scripts/seq2seq_wiki103_scaling-GT-MoE.py **Start here.** - `categories-gt-archive:scripts/seq2seq_scaling_preln_transformer.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/seq2seq_scaling_GTFull.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/seq2seq_wiki103_scaling-GT-Lite.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/seq2seq_wiki103_scaling-GT-Full.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `categories-gt-archive:scripts/datasets_linked_wt2.py` — dependency - `categories-gt-archive:scripts/datasets_ptb_wt.py` — dependency - `categories-gt-archive:scripts/seq2seq_scaling_GTFull.py` — runner - `categories-gt-archive:scripts/seq2seq_scaling_preln_transformer.py` — runner - `categories-gt-archive:scripts/seq2seq_wiki103_scaling-GT-Full.py` — runner - `categories-gt-archive:scripts/seq2seq_wiki103_scaling-GT-Lite.py` — runner - `categories-gt-archive:scripts/seq2seq_wiki103_scaling-GT-MoE.py` — runner - `categories-gt-archive:scripts/topo_probe.py` — dependency **Authoritative artifacts.** archived manuscript plots and final-value table; raw run logs unavailable **Documented studies.** - Residual commutator diagnostic - Pre-LN and GT prefix-to-suffix pilot - Topological and Dirichlet diagnostic comparison ### Depth sweeps for Geometric Transformers GT-Full and Pre-LN depth comparisons with commutator, task, and topological diagnostics. **Evidence boundary.** The archived figures establish finite descriptive trends, not a fitted exponent, asymptotic scaling law, or GT-specific mechanism. **Entry points.** scripts/seq2seq_scaling_depth.py; scripts/seq2seq_wiki103_scaling-GT-Full.py **Start here.** - `categories-gt-archive:scripts/seq2seq_scaling_depth.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/seq2seq_wiki103_scaling-GT-Full.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/datasets_linked_wt2.py` — dependency; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `categories-gt-archive:scripts/datasets_ptb_wt.py` — dependency; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `categories-gt-archive:scripts/datasets_linked_wt2.py` — dependency - `categories-gt-archive:scripts/datasets_ptb_wt.py` — dependency - `categories-gt-archive:scripts/seq2seq_scaling_GTFull.py` — dependency - `categories-gt-archive:scripts/seq2seq_scaling_depth.py` — runner - `categories-gt-archive:scripts/seq2seq_wiki103_scaling-GT-Full.py` — runner - `categories-gt-archive:scripts/topo_probe.py` — dependency **Authoritative artifacts.** plots/GTFull-*; plots/GTLite-* **Documented studies.** - GT-Full depth sweep - Pre-LN depth sweep - Average-versus-accumulated obstruction audit ### Democritus causal claims from language Causal-claim extraction, Geometric Transformer manifold rendering, and UniCausal comparison. **Evidence boundary.** Extracted claims and rendered manifolds do not certify causal truth or identification. **Entry points.** pipeline_llmdriver.py **Start here.** - [`democritus-openai:pipelines/pipeline_llm.py`](https://github.com/sridharmahadevan/Democritus_OpenAI/blob/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9/pipelines/pipeline_llm.py) — implementation; public-pinned. Open the pinned public source file. - [`democritus-openai:scripts/manifold_builder.py`](https://github.com/sridharmahadevan/Democritus_OpenAI/blob/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9/scripts/manifold_builder.py) — implementation; public-pinned. Open the pinned public source file. - [`democritus-openai:scripts/visualize_manifold.py`](https://github.com/sridharmahadevan/Democritus_OpenAI/blob/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9/scripts/visualize_manifold.py) — implementation; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`democritus-openai:pipelines/pipeline_llm.py`](https://github.com/sridharmahadevan/Democritus_OpenAI/blob/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9/pipelines/pipeline_llm.py) — implementation - [`democritus-openai:scripts/manifold_builder.py`](https://github.com/sridharmahadevan/Democritus_OpenAI/blob/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9/scripts/manifold_builder.py) — implementation - [`democritus-openai:scripts/visualize_manifold.py`](https://github.com/sridharmahadevan/Democritus_OpenAI/blob/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9/scripts/visualize_manifold.py) — implementation **Authoritative artifacts.** saved extraction outputs and GT/UMAP ablations **Documented studies.** - Four-domain causal-claim extraction audit - Geometric Transformer versus UMAP manifold ablation - UniCausal extractor comparison - Homotopy-aware claim normalization audit ### Temporal diffusion over company causal trajectories Company-year trajectory construction, block denoising, KET comparisons, and animated risk/brand profiles. **Evidence boundary.** The evidence supports a reproducible representation and diagnostics, not validated corporate-risk forecasts. **Entry points.** repository scripts and notebooks **Start here.** - [`brand-democritus:run_brand_financial_filings.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/run_brand_financial_filings.py) — runner; public-pinned. Open the pinned public source file. - [`brand-democritus:animate_company_structural_risk_radar.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/animate_company_structural_risk_radar.py) — runner; public-pinned. Open the pinned public source file. - [`brand-democritus:temporal_infer.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/temporal_infer.py) — runner; public-pinned. Open the pinned public source file. - [`brand-democritus:temporal_train.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/temporal_train.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`brand-democritus:animate_company_structural_risk_radar.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/animate_company_structural_risk_radar.py) — runner - [`brand-democritus:run_brand_financial_filings.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/run_brand_financial_filings.py) — runner - [`brand-democritus:temporal_infer.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/temporal_infer.py) — runner - [`brand-democritus:temporal_train.py`](https://github.com/sridharmahadevan/brand_democritus_block_denoise/blob/b49daac62c437d136d0412282692e9b425bb0739/temporal_train.py) — runner **Authoritative artifacts.** 26-company outputs and movie artifacts **Documented studies.** - Twenty-six-company trajectory panel - Block-denoising holdout study - KET trajectory comparison - Animated brand and risk-profile rendering ### BASKET and ROCKET workflow construction Partial-order plan construction and section-aware financial workflow reranking. **Evidence boundary.** Validation loss and constructed reranking scores are not workflow accuracy, financial forecasts, or causal effects. **Entry points.** BASKET package and output manifests **Start here.** - [`basket-rocket-archive:src/tenk.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/tenk.py) — implementation; public-pinned. Open the pinned public source file. - [`basket-rocket-archive:src/rocket.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/rocket.py) — implementation; public-pinned. Open the pinned public source file. - [`basket-rocket-archive:src/plan_ket_scoring.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/plan_ket_scoring.py) — implementation; public-pinned. Open the pinned public source file. - [`basket-rocket-archive:src/psr.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/psr.py) — implementation; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`basket-rocket-archive:src/__init__.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/__init__.py) — implementation - [`basket-rocket-archive:src/corruption.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/corruption.py) — implementation - [`basket-rocket-archive:src/data.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/data.py) — implementation - [`basket-rocket-archive:src/export_financial_trajectory_tikz.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/export_financial_trajectory_tikz.py) — implementation - [`basket-rocket-archive:src/logs.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/logs.py) — implementation - [`basket-rocket-archive:src/models.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/models.py) — implementation - [`basket-rocket-archive:src/pdftext.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/pdftext.py) — implementation - [`basket-rocket-archive:src/plan_ket_scoring.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/plan_ket_scoring.py) — implementation - [`basket-rocket-archive:src/psr.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/psr.py) — implementation - [`basket-rocket-archive:src/rocket.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/rocket.py) — implementation - [`basket-rocket-archive:src/tenk.py`](https://github.com/sridharmahadevan/BASKET/blob/c43d21983f89310341cf476285b461cd7e257d44/src/tenk.py) — implementation **Authoritative artifacts.** summary.json; reranked_summary.json; action_vocab.csv **Documented studies.** - BASKET partial-order workflow construction - ROCKET section-aware reranking - Action-vocabulary and plan-manifest audit ### Judo Calculus causal-discovery experiments Sheaf/Kan causal-discovery experiments with DCDI and GES comparisons. **Evidence boundary.** The mixed and negative Sachs results remain part of the evidence; runtime plots are descriptive implementation measurements. **Entry points.** artifacts/; kan_do_dcdi experiments **Start here.** - [`causal-sheaves:experiments/psifci/run_psifci_jstable.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/psifci/run_psifci_jstable.py) — runner; public-pinned. Open the pinned public source file. - `kan-do-dcdi-archive:experiments/j_sheaf_regimes.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`causal-sheaves:experiments/sachs/run_ges.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/run_ges.py) — runner; public-pinned. Open the pinned public source file. - [`causal-sheaves:experiments/dcdi/dcdi_benchmark_val.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/dcdi_benchmark_val.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`causal-sheaves:experiments/dcdi/dcdi_benchmark_val.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/dcdi_benchmark_val.py) — runner - [`causal-sheaves:experiments/dcdi/dcdi_run_patched_v15.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/dcdi_run_patched_v15.py) — runner - [`causal-sheaves:experiments/dcdi/jstable_eval.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/jstable_eval.py) — runner - [`causal-sheaves:experiments/interference/interference_minimal_v2.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/interference/interference_minimal_v2.py) — runner - [`causal-sheaves:experiments/interference/interference_plots.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/interference/interference_plots.py) — runner - [`causal-sheaves:experiments/psifci/alpha_sweep_psifci.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/psifci/alpha_sweep_psifci.py) — runner - [`causal-sheaves:experiments/psifci/run_psifci_jstable.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/psifci/run_psifci_jstable.py) — runner - [`causal-sheaves:experiments/sachs/align_and_eval_sachs.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/align_and_eval_sachs.py) — runner - [`causal-sheaves:experiments/sachs/make_env_labels_sachs.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/make_env_labels_sachs.py) — runner - [`causal-sheaves:experiments/sachs/run_ges.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/run_ges.py) — runner - `kan-do-dcdi-archive:edge_scores.py` — dependency - `kan-do-dcdi-archive:edge_scores_fastpatch.py` — dependency - `kan-do-dcdi-archive:experiments/j_sheaf_regimes.py` — runner - `kan-do-dcdi-archive:experiments/j_sheaf_regimes_fast.py` — runner - `kan-do-dcdi-archive:experiments/kan_do_lincs.py` — runner - `kan-do-dcdi-archive:experiments/kan_do_pisa2022.py` — runner - `kan-do-dcdi-archive:experiments/kan_do_s9.py` — runner - `kan-do-dcdi-archive:experiments/kan_do_s9_multivar.py` — runner - `kan-do-dcdi-archive:experiments/kan_do_synth_linear.py` — runner - `kan-do-dcdi-archive:experiments/sachs_miniexp.py` — runner - `kan-do-dcdi-archive:experiments/sachs_miniexp_enhanced.py` — runner - `kan-do-dcdi-archive:experiments/sheaf_glue.py` — runner - `kan-do-dcdi-archive:experiments/synthetic_linear_gaussian.py` — runner - `kan-do-dcdi-archive:kan_do_dcdi_core.py` — runner - `kan-do-dcdi-archive:kan_ops.py` — runner - `kan-do-dcdi-archive:lincs_m_hspa8.py` — runner - `kan-do-dcdi-archive:metrics.py` — dependency - `kan-do-dcdi-archive:mmd_utils.py` — dependency - `kan-do-dcdi-archive:pisa_run_calib_hisei_escs.py` — runner - `kan-do-dcdi-archive:rn_flow.py` — dependency - `kan-do-dcdi-archive:sheaf_metrics.py` — dependency **Authoritative artifacts.** synthetic and Sachs result tables **Documented studies.** - Synthetic j-stable DCDI comparison - Descriptive runtime measurement - Sachs pooled versus regime-stable study - GES, CGES, and TC-GES comparison - OECD PISA regime-stability study ### CSQL and ATLAS database construction Document-to-schema mapping and checked categorical SQL node/edge instances. **Evidence boundary.** Source-edge deletion is an ablation, not a Pearl intervention or counterfactual. **Entry points.** ATLAS database builders **Start here.** - `atlas-csql-archive:atlas_WaPoHumanOrigins/atlas_queries.sql` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `atlas-csql-archive:atlas_WaPoHumanOrigins/atlas_queries_quant.sql` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `atlas-csql-archive:atlas_WaPoHumanOrigins/ncsql_starter_colab.ipynb` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `atlas-csql-archive:atlas_WaPoHumanOrigins/atlas_queries.sql` — implementation - `atlas-csql-archive:atlas_WaPoHumanOrigins/atlas_queries_quant.sql` — implementation - `atlas-csql-archive:atlas_WaPoHumanOrigins/ncsql_starter_colab.ipynb` — implementation **Authoritative artifacts.** atlas_summary.md; checked Parquet relations **Documented studies.** - Document-to-CSQL schema construction - Merged ATLAS provenance audit - Causal hub and path queries - Source-edge deletion sensitivity analysis ### Deep Universal Reinforcement Learning GT and diagrammatic-backpropagation ablations for coalgebraic RL losses. **Evidence boundary.** Lower structural residual or graph smoothness is not proof that a coalgebra morphism was learned. **Entry points.** GT_RL_Coalgebra experiment scripts **Start here.** - `deep-url-archive:run_synthetic_mdp_ablation.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `deep-url-archive:run_synthetic_mdp_loop.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `deep-url-archive:report_synthetic_mdp_ablation.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `deep-url-archive:report_synthetic_mdp_metrics.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `deep-url-archive:report_synthetic_mdp_ablation.py` — runner - `deep-url-archive:report_synthetic_mdp_metrics.py` — runner - `deep-url-archive:run_synthetic_mdp_ablation.py` — runner - `deep-url-archive:run_synthetic_mdp_loop.py` — runner - `deep-url-archive:synthetic_mdp_bridge.py` — runner **Authoritative artifacts.** thirty-run return and residual summaries **Documented studies.** - Thirty-run base learner comparison - Geometric Transformer structural-loss ablation - Diagrammatic-backpropagation residual ablation - Return, residual, and graph-smoothness comparison ## Machine Learning from Enforcing Compositionality | Experiment family | Chapter(s) | Code package(s) | Archived runs | Documentation | |---|---:|---|---:|---| | BRIDGE/SKFM geometric causal discovery | 11 | [LINCS BRIDGE/SKFM package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm) | 0 | public-code-linked | | LINCS-KET blockwise repair | 12 | [LINCS ALLORA and LINCS-KET package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora) | 0 | public-code-linked | | ALLORA adapter composition | 13 | [LINCS ALLORA and LINCS-KET package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora) | 0 | public-code-linked | | LASKO skill optimization | 14 | [LINCS LASKO package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko) | 0 | public-code-linked | | GIRL infinitesimal reinforcement learning | 15 | [LINCS GIRL package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl) | 0 | public-code-linked | | LINCS-RLHF preference experiments | 16 | [LINCS-RLHF package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf) | 0 | public-code-linked | | RADAR relational manifold recovery | 17 | [LINCS RADAR package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar) | 0 | public-code-linked | | SID sheaf-based distributed learning | 18 | [LINCS SID package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid) | 0 | public-code-linked | ### BRIDGE/SKFM geometric causal discovery Random-DAG, injected-confounding, Sachs, screening, graph extraction, and runtime experiments. **Evidence boundary.** Lie-bracket nonclosure is a diagnostic under registered semantics, not unique identification of a latent confounder. **Entry points.** kan_do_dcdi/experiments/ **Start here.** - [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp1_chain.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp1_chain.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp1_chain.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp1_chain.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_dag_motifs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_latent_dag_motifs.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_demo.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_latent_demo.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_size_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_pruned_size_sweep.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_stress_test.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_pruned_stress_test.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_s9.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_s9.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_sachs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_sachs.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/j_sheaf_regimes.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes_fast.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/j_sheaf_regimes_fast.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_info_geometry_pruned.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_info_geometry_pruned.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_lincs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_lincs.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_pisa2022.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_pisa2022.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_s9.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9_multivar.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_s9_multivar.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_synth_linear.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_synth_linear.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/lie_space_intervention_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/lie_space_intervention_smoke.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sachs_miniexp.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp_enhanced.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sachs_miniexp_enhanced.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/sheaf_glue.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sheaf_glue.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_algorithm2_compare.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_algorithm2_compare.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_bridge_runtime_scaling.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_bridge_runtime_scaling.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_stage1_compare.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_stage1_compare.py) — runner - [`lincs-bridge-skfm:kan_do_dcdi/experiments/synthetic_linear_gaussian.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/synthetic_linear_gaussian.py) — runner - [`lincs-bridge-skfm:tces/__init__.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/tces/__init__.py) — runner - [`lincs-bridge-skfm:tces/tces_both_and_compare.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/tces/tces_both_and_compare.py) — runner - [`lincs-bridge-skfm:tces/tces_run_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/tces/tces_run_experiment.py) — runner - [`lincs-bridge-skfm:tces/topos_regularizers.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/tces/topos_regularizers.py) — runner **Authoritative artifacts.** package reports and benchmark summaries **Documented studies.** - Random-DAG closure calibration - Injected latent-confounding recovery - Sachs benchmark study - Lie-bracket screening and graph extraction - Runtime and robustness comparison ### LINCS-KET blockwise repair Five-seed synthetic architecture test and frozen-module PTB block-repair experiments. **Evidence boundary.** The failed joint gate and all admission conditions remain visible; accepted local steps do not establish general KET superiority. **Entry points.** KET and theory-diagnostic scripts **Start here.** - [`lincs-allora:scripts/run_confirmatory_ket.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_confirmatory_ket.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-allora:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_full.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-allora:scripts/run_gpt2_medium_cuda_registered.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_registered.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-allora:scripts/run_gpt2_medium_cuda_seed7.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_seed7.sh) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-allora:KET/__init__.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/__init__.py) — runner - [`lincs-allora:KET/aggregate_gpt2_cuda_replication.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/aggregate_gpt2_cuda_replication.py) — runner - [`lincs-allora:KET/aggregate_model_zoo.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/aggregate_model_zoo.py) — runner - [`lincs-allora:KET/allora_ket_adapters.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/allora_ket_adapters.py) — runner - [`lincs-allora:KET/analyze_adapter_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_adapter_sweep.py) — runner - [`lincs-allora:KET/analyze_capability_safety.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_capability_safety.py) — runner - [`lincs-allora:KET/analyze_confirmatory.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_confirmatory.py) — runner - [`lincs-allora:KET/analyze_lora_text_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_lora_text_sweep.py) — runner - [`lincs-allora:KET/analyze_theory_diagnostics.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/analyze_theory_diagnostics.py) — runner - [`lincs-allora:KET/capability_safety_composition.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/capability_safety_composition.py) — runner - [`lincs-allora:KET/cross_fitted_quotient_prediction.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/cross_fitted_quotient_prediction.py) — runner - [`lincs-allora:KET/factor_quotient_projectability.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/factor_quotient_projectability.py) — runner - [`lincs-allora:KET/gpt2_medium_expanded_eval.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/gpt2_medium_expanded_eval.py) — runner - [`lincs-allora:KET/gpt2_medium_mps_pilot.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/gpt2_medium_mps_pilot.py) — runner - [`lincs-allora:KET/gpt2_sequential_lora_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/gpt2_sequential_lora_smoke.py) — runner - [`lincs-allora:KET/ket_adapter_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/ket_adapter_smoke.py) — runner - [`lincs-allora:KET/ket_coend_comparison.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/ket_coend_comparison.py) — runner - [`lincs-allora:KET/ket_ptb_adapter_train.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/ket_ptb_adapter_train.py) — runner - [`lincs-allora:KET/lora_text_source_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/lora_text_source_smoke.py) — runner - [`lincs-allora:KET/model_registry.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/model_registry.py) — runner - [`lincs-allora:KET/reflective_allora_order.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/reflective_allora_order.py) — runner - [`lincs-allora:KET/stochastic_quotient_aggregation.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/KET/stochastic_quotient_aggregation.py) — runner - [`lincs-allora:scripts/run_confirmatory_ket.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_confirmatory_ket.sh) — runner - [`lincs-allora:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_full.sh) — runner - [`lincs-allora:scripts/run_gpt2_medium_cuda_registered.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_registered.sh) — runner - [`lincs-allora:scripts/run_gpt2_medium_cuda_seed7.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_seed7.sh) — runner - [`lincs-allora:scripts/run_licket_mps_ket_arch_cross_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_ket_arch_cross_probe.sh) — runner - [`lincs-allora:scripts/run_licket_mps_ket_arch_nested_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_ket_arch_nested_probe.sh) — runner - [`lincs-allora:scripts/run_licket_mps_learned_split_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_learned_split_probe.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_big.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_big.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_lambda_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_lambda_probe.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_multiseed.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_multiseed.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_placement_sweep.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_placement_sweep.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_rank_sweep.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_rank_sweep.sh) — runner - [`lincs-allora:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_smoke.sh) — runner - [`lincs-allora:scripts/run_theory_diagnostics.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_theory_diagnostics.sh) — runner - [`lincs-allora:scripts/setup_gpt2_composition.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/setup_gpt2_composition.sh) — runner **Authoritative artifacts.** repair traces and PTB summaries **Documented studies.** - Five-seed synthetic architecture test - Frozen-module PTB block repair - Local admission-gate ablation - Joint-gate negative result ### ALLORA adapter composition Pair/triple composition, scaling, safety-aware repair, and generative adapter experiments. **Evidence boundary.** Reduced noncommutativity does not by itself imply improved generation quality or safety. **Entry points.** scripts/run_smoke.sh; scripts/ **Start here.** - [`lincs-allora:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_smoke.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-allora:scripts/run_confirmatory_ket.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_confirmatory_ket.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-allora:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_full.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-allora:scripts/run_gpt2_medium_cuda_registered.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_registered.sh) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-allora:scripts/build_manifest.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/build_manifest.py) — runner - [`lincs-allora:scripts/run_confirmatory_ket.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_confirmatory_ket.sh) — runner - [`lincs-allora:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_full.sh) — runner - [`lincs-allora:scripts/run_gpt2_medium_cuda_registered.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_registered.sh) — runner - [`lincs-allora:scripts/run_gpt2_medium_cuda_seed7.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_seed7.sh) — runner - [`lincs-allora:scripts/run_licket_mps_ket_arch_cross_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_ket_arch_cross_probe.sh) — runner - [`lincs-allora:scripts/run_licket_mps_ket_arch_nested_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_ket_arch_nested_probe.sh) — runner - [`lincs-allora:scripts/run_licket_mps_learned_split_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_learned_split_probe.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_big.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_big.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_lambda_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_lambda_probe.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_multiseed.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_multiseed.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_placement_sweep.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_placement_sweep.sh) — runner - [`lincs-allora:scripts/run_lora_text_mps_rank_sweep.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_rank_sweep.sh) — runner - [`lincs-allora:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_smoke.sh) — runner - [`lincs-allora:scripts/run_theory_diagnostics.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_theory_diagnostics.sh) — runner - [`lincs-allora:scripts/setup_gpt2_composition.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/setup_gpt2_composition.sh) — runner **Authoritative artifacts.** export manifest and experiment summaries **Documented studies.** - Pairwise adapter composition - Triple adapter composition - Scale and noncommutativity study - Safety-aware repair - Generative adapter composition ### LASKO skill optimization Cheap bracket probes, validation calls, scale experiments, and anchor-chain benchmarks. **Evidence boundary.** Compute savings are relative to the supplied skill language and validation protocol; the system does not invent that language. **Entry points.** scripts/run_anchor_chain_benchmark.py **Start here.** - [`lincs-lasko:scripts/run_anchor_chain_benchmark.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/run_anchor_chain_benchmark.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-lasko:scripts/run_anchor_chain_scale.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/run_anchor_chain_scale.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-lasko:scripts/analyze_skillopt_run.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/analyze_skillopt_run.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-lasko:scripts/analyze_skillopt_run.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/analyze_skillopt_run.py) — runner - [`lincs-lasko:scripts/run_anchor_chain_benchmark.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/run_anchor_chain_benchmark.py) — runner - [`lincs-lasko:scripts/run_anchor_chain_scale.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/run_anchor_chain_scale.py) — runner **Authoritative artifacts.** benchmark summaries and workflow traces **Documented studies.** - Cheap Lie-bracket probe calibration - Validation-call economy study - Skill-library scale experiment - Anchor-chain benchmark ### GIRL infinitesimal reinforcement learning Bellman-obstruction, regret, ranking, harmful-admission, transport, and post-shift tests. **Evidence boundary.** Evaluation-only exact utility is not available to the controller; missed thresholds and abstentions remain negative evidence. **Entry points.** scripts/run_smoke.sh; scripts/run_full.sh **Start here.** - [`lincs-girl:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/scripts/run_smoke.sh) — implementation; public-pinned. Open the pinned public source file. - [`lincs-girl:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/scripts/run_full.sh) — implementation; public-pinned. Open the pinned public source file. - [`lincs-girl:src/girl/adversarial_online.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/adversarial_online.py) — implementation; public-pinned. Open the pinned public source file. - [`lincs-girl:src/girl/control.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/control.py) — implementation; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-girl:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/scripts/run_full.sh) — implementation - [`lincs-girl:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/scripts/run_smoke.sh) — implementation - [`lincs-girl:src/girl/__init__.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/__init__.py) — implementation - [`lincs-girl:src/girl/adversarial_online.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/adversarial_online.py) — implementation - [`lincs-girl:src/girl/control.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/control.py) — implementation - [`lincs-girl:src/girl/cotangent_repair.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/cotangent_repair.py) — implementation - [`lincs-girl:src/girl/deep_advantage.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/deep_advantage.py) — implementation - [`lincs-girl:src/girl/deep_localization.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/deep_localization.py) — implementation - [`lincs-girl:src/girl/homomorphism_diagrams.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/homomorphism_diagrams.py) — implementation - [`lincs-girl:src/girl/kan_admission.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_admission.py) — implementation - [`lincs-girl:src/girl/kan_fa.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_fa.py) — implementation - [`lincs-girl:src/girl/kan_interaction_admission.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_interaction_admission.py) — implementation - [`lincs-girl:src/girl/kan_validation.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_validation.py) — implementation - [`lincs-girl:src/girl/linear_eval.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/linear_eval.py) — implementation - [`lincs-girl:src/girl/nonlinear_eval.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/nonlinear_eval.py) — implementation - [`lincs-girl:src/girl/offpolicy_transport.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/offpolicy_transport.py) — implementation - [`lincs-girl:src/girl/online_actor_critic.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/online_actor_critic.py) — implementation - [`lincs-girl:src/girl/policy_bridge.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_bridge.py) — implementation - [`lincs-girl:src/girl/policy_quotient.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_quotient.py) — implementation - [`lincs-girl:src/girl/policy_transport_gate.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_transport_gate.py) — implementation - [`lincs-girl:src/girl/policy_visibility.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_visibility.py) — implementation - [`lincs-girl:src/girl/preference_obstruction.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/preference_obstruction.py) — implementation - [`lincs-girl:src/girl/safe_recovery.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/safe_recovery.py) — implementation - [`lincs-girl:src/girl/sampled_transport.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/sampled_transport.py) — implementation **Authoritative artifacts.** full-suite reports **Documented studies.** - Bellman-obstruction calibration - Regret and ranking comparison - Harmful-admission control - Policy-transport study - Post-shift recovery and abstention test ### LINCS-RLHF preference experiments Calibration/power, opposite-stratum localization, relational games, and incomplete-support studies. **Evidence boundary.** Oracle population quantities are evaluation-only and do not characterize deployed preference learning. **Entry points.** scripts/run_smoke.sh; scripts/run_full.sh **Start here.** - [`lincs-rlhf:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf/scripts/run_smoke.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-rlhf:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf/scripts/run_full.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-rlhf:scripts/build_manifest.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf/scripts/build_manifest.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-rlhf:scripts/build_manifest.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf/scripts/build_manifest.py) — runner - [`lincs-rlhf:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf/scripts/run_full.sh) — runner - [`lincs-rlhf:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf/scripts/run_smoke.sh) — runner **Authoritative artifacts.** E1–E4 registered result grids **Documented studies.** - E1 calibration and power - E2 opposite-stratum localization - E3 relational preference game - E4 incomplete-support and abstention ### RADAR relational manifold recovery Relational descent, chart construction and repair, solver comparisons, and MovieLens evaluation. **Evidence boundary.** The MovieLens calibration failure remains visible; task accuracy and structural admission are separate outcomes. **Entry points.** scripts/run_smoke.sh; scripts/prepare_movielens_data.py **Start here.** - [`lincs-radar:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/scripts/run_smoke.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-radar:run_chart_descent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_chart_descent.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-radar:run_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_experiment.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-radar:run_hodge_baselines.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_hodge_baselines.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-radar:movielens_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/movielens_experiment.py) — runner - [`lincs-radar:run_chart_descent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_chart_descent.py) — runner - [`lincs-radar:run_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_experiment.py) — runner - [`lincs-radar:run_hodge_baselines.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_hodge_baselines.py) — runner - [`lincs-radar:run_hybrid_scaling.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_hybrid_scaling.py) — runner - [`lincs-radar:run_movielens_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_movielens_experiment.py) — runner - [`lincs-radar:run_projected_chart_descent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_projected_chart_descent.py) — runner - [`lincs-radar:run_relational_descent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_relational_descent.py) — runner - [`lincs-radar:run_relational_dimension_diagnostic.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_relational_dimension_diagnostic.py) — runner - [`lincs-radar:run_relational_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_relational_sweep.py) — runner - [`lincs-radar:run_repairable_chart_descent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/run_repairable_chart_descent.py) — runner - [`lincs-radar:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/scripts/run_full.sh) — runner - [`lincs-radar:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/scripts/run_smoke.sh) — runner - [`lincs-radar:test_movielens_experiment.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar/test_movielens_experiment.py) — runner **Authoritative artifacts.** registered plans and result reports **Documented studies.** - Relational-descent calibration - Chart construction and repair - Solver comparison - MovieLens evaluation and negative admission result ### SID sheaf-based distributed learning Thirty-seed typed compatibility, prediction, and promotion replays. **Evidence boundary.** Reference promotion labels are evaluation-only; replay success does not certify external truth or safety. **Entry points.** scripts/run_smoke.sh; scripts/run_full.sh **Start here.** - [`lincs-sid:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/scripts/run_smoke.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-sid:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/scripts/run_full.sh) — runner; public-pinned. Open the pinned public source file. - [`lincs-sid:experiments/openrouter_foundry/run_rolling_holdout.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/experiments/openrouter_foundry/run_rolling_holdout.py) — runner; public-pinned. Open the pinned public source file. - [`lincs-sid:experiments/openrouter_foundry/run_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/experiments/openrouter_foundry/run_smoke.py) — runner; public-pinned. Open the pinned public source file. **Machine-resolved code surfaces.** - [`lincs-sid:experiments/openrouter_foundry/run_rolling_holdout.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/experiments/openrouter_foundry/run_rolling_holdout.py) — runner - [`lincs-sid:experiments/openrouter_foundry/run_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/experiments/openrouter_foundry/run_smoke.py) — runner - [`lincs-sid:experiments/openrouter_foundry/run_typed_observation.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/experiments/openrouter_foundry/run_typed_observation.py) — runner - [`lincs-sid:experiments/prometheus_foundries/run_benchmark.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/experiments/prometheus_foundries/run_benchmark.py) — runner - [`lincs-sid:experiments/trade_corridor/run_benchmark.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/experiments/trade_corridor/run_benchmark.py) — runner - [`lincs-sid:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/scripts/run_full.sh) — runner - [`lincs-sid:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid/scripts/run_smoke.sh) — runner **Authoritative artifacts.** reconstructed full-suite reports **Documented studies.** - Thirty-seed compatibility replay - Typed prediction replay - Promotion-gate replay - Reference-label and abstention audit ## Infinitesimal Creativity | Experiment family | Chapter(s) | Code package(s) | Archived runs | Documentation | |---|---:|---|---:|---| | DIAL core ablation ladder | 10 | Infinitesimal Creativity registered experiment archive (local only) | 13 | local-curated | | DIAL-ALLORA prototype ladder | 10 | Infinitesimal Creativity registered experiment archive (local only); [LINCS ALLORA and LINCS-KET package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora) | 23 | local-curated | | CLIC / DIAL-SKFM | 11 | Infinitesimal Creativity registered experiment archive (local only); [LINCS BRIDGE/SKFM package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm) | 7 | local-curated | | OPTIC / DIAL-SkillOpt | 12 | Infinitesimal Creativity registered experiment archive (local only); [LINCS LASKO package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko) | 4 | local-curated | | RELIC and DIAL-Schema-GIRL | 13 | Infinitesimal Creativity registered experiment archive (local only); [LINCS GIRL package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl) | 61 | local-curated | | AGENTIC workflow composition | 14 | Infinitesimal Creativity registered experiment archive (local only) | 8 | local-curated | | AGENTIC-Lea theorem-construction ladder | 15 | Infinitesimal Creativity registered experiment archive (local only); [Lea theorem prover](https://github.com/VIDA-NYU/Lea/tree/790853c89522bf5899feeb0052b795326feee720) | 5 | local-curated | | Infinitesimal pattern-construction ladder | 15 | Infinitesimal Creativity registered experiment archive (local only) | 22 | local-curated | | Categorical AI-Feynman ladder | 15 | Infinitesimal Creativity registered experiment archive (local only) | 10 | local-curated | | DIAL-URL coalgebraic theory construction | 15 | Infinitesimal Creativity registered experiment archive (local only) | 5 | local-curated | | Simulator-grounded theory extension | 16 | Infinitesimal Creativity registered experiment archive (local only) | 4 | local-curated | | Corpus-to-testable-theory construction | 17 | Infinitesimal Creativity registered experiment archive (local only) | 6 | local-curated | | GLP-1 theory and grant construction | 17 | Infinitesimal Creativity registered experiment archive (local only) | 11 | local-curated | | ARTISTIC textual-inversion and natural-image ladder | 18 | Infinitesimal Creativity registered experiment archive (local only); [Hugging Face Diffusers](https://github.com/huggingface/diffusers/tree/efabd60d61c2b7aabf9f182bee6b5b6058980304) | 1 | local-curated | | ARTISTIC Bongard problems | 18 | Infinitesimal Creativity registered experiment archive (local only) | 8 | local-curated | | ARTISTIC sports, pose, and scene enforcement | 18 | Infinitesimal Creativity registered experiment archive (local only); [Hugging Face Diffusers](https://github.com/huggingface/diffusers/tree/efabd60d61c2b7aabf9f182bee6b5b6058980304) | 20 | mixed-provenance | | DIAL-CAN structural-obstruction calibration | 19 | Infinitesimal Creativity registered experiment archive (local only) | 5 | local-curated | | DILATE paintbrush geometry | 19 | Infinitesimal Creativity registered experiment archive (local only) | 6 | local-curated | | DILATE video, codec, and cross-video transport | 19 | Infinitesimal Creativity registered experiment archive (local only) | 10 | local-curated | ### DIAL core ablation ladder Exact, differentiated, mixed-witness, operator-estimation, static-causal, active, sequential, and nonstationary DIAL tests. **Evidence boundary.** These studies calibrate component semantics and do not establish autonomous creativity. **Entry points.** run.py or named family script in each packet **Start here.** - `synthetic-creativity-archive:dial0a_linear_exact.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial0b_differentiation.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial0c_mixed_witness_ablation.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial0d_dual_operator_estimation.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:dial0a_linear_exact.py` — implementation - `synthetic-creativity-archive:dial0b_differentiation.py` — implementation - `synthetic-creativity-archive:dial0c_mixed_witness_ablation.py` — implementation - `synthetic-creativity-archive:dial0d_dual_operator_estimation.py` — implementation - `synthetic-creativity-archive:dial1_static_causal_identification.py` — implementation - `synthetic-creativity-archive:dial1b_equivalence_intervention_design.py` — implementation - `synthetic-creativity-archive:dial1c_active_intervention_selection.py` — implementation - `synthetic-creativity-archive:dial1d_sequential_intervention_escalation.py` — implementation - `synthetic-creativity-archive:dial2a_nonstationary_decisions.py` — implementation - `synthetic-creativity-archive:dial2n1_girl_state_admission.py` — implementation - `synthetic-creativity-archive:dial2n_girl_recurrence.py` — implementation **Authoritative artifacts.** RESULTS.md; completion.json; registration.json **Resolved experiment records.** - `2026-08-09_dial0_ablation_design` - `2026-08-09_dial0a_linear_exact_calibration` - `2026-08-09_dial0a_linear_exact_v2_calibration` - `2026-08-09_dial0b_differentiation_calibration` - `2026-08-09_dial0c_mixed_witness_registered` - `2026-08-09_dial0d_dual_operator_estimation_registered` - `2026-08-09_dial1_static_causal_registered` - `2026-08-09_dial1b_equivalence_design_registered` - `2026-08-09_dial1c_active_intervention_registered` - `2026-08-09_dial1d_sequential_escalation_registered` - `2026-08-09_dial2a_nonstationary_decisions_registered` - `2026-08-09_dial2n1_girl_state_admission_registered` - `2026-08-09_dial2n_girl_recurrence_registered` ### DIAL-ALLORA prototype ladder Adapter-subspace estimation, generative composition, oracle-language, selective-learning, and active-acquisition tests. **Evidence boundary.** The ladder studies whether missing adapter structure can be proposed inside bounded languages; it is not a general creative adapter system. **Entry points.** family scripts and registered packet run.py files **Start here.** - `synthetic-creativity-archive:dial_allora_a0b0_exact_mediator.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`lincs-allora:scripts/run_confirmatory_ket.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_confirmatory_ket.sh) — base-system; public-pinned. Open the pinned public source file. - `synthetic-creativity-archive:dial_allora_active_acquisition.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial_allora_affine_learner.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - [`lincs-allora:scripts/build_manifest.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/build_manifest.py) — base-system - [`lincs-allora:scripts/run_confirmatory_ket.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_confirmatory_ket.sh) — base-system - [`lincs-allora:scripts/run_full.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_full.sh) — base-system - [`lincs-allora:scripts/run_gpt2_medium_cuda_registered.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_registered.sh) — base-system - [`lincs-allora:scripts/run_gpt2_medium_cuda_seed7.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_gpt2_medium_cuda_seed7.sh) — base-system - [`lincs-allora:scripts/run_licket_mps_ket_arch_cross_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_ket_arch_cross_probe.sh) — base-system - [`lincs-allora:scripts/run_licket_mps_ket_arch_nested_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_ket_arch_nested_probe.sh) — base-system - [`lincs-allora:scripts/run_licket_mps_learned_split_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_licket_mps_learned_split_probe.sh) — base-system - [`lincs-allora:scripts/run_lora_text_mps_big.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_big.sh) — base-system - [`lincs-allora:scripts/run_lora_text_mps_lambda_probe.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_lambda_probe.sh) — base-system - [`lincs-allora:scripts/run_lora_text_mps_multiseed.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_multiseed.sh) — base-system - [`lincs-allora:scripts/run_lora_text_mps_placement_sweep.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_placement_sweep.sh) — base-system - [`lincs-allora:scripts/run_lora_text_mps_rank_sweep.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_lora_text_mps_rank_sweep.sh) — base-system - [`lincs-allora:scripts/run_smoke.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_smoke.sh) — base-system - [`lincs-allora:scripts/run_theory_diagnostics.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/run_theory_diagnostics.sh) — base-system - [`lincs-allora:scripts/setup_gpt2_composition.sh`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora/scripts/setup_gpt2_composition.sh) — base-system - `synthetic-creativity-archive:dial_allora_a0b0_exact_mediator.py` — implementation - `synthetic-creativity-archive:dial_allora_active_acquisition.py` — implementation - `synthetic-creativity-archive:dial_allora_affine_learner.py` — implementation - `synthetic-creativity-archive:dial_allora_b1_exact_construction.py` — implementation - `synthetic-creativity-archive:dial_allora_b2_noisy_subspace.py` — implementation - `synthetic-creativity-archive:dial_allora_b3_trained_adapters.py` — implementation - `synthetic-creativity-archive:dial_allora_b4_transformer_transfer.py` — implementation - `synthetic-creativity-archive:dial_allora_b51_task_witness.py` — implementation - `synthetic-creativity-archive:dial_allora_b5_pretrained_semantic.py` — implementation - `synthetic-creativity-archive:dial_allora_b61_local_descent.py` — implementation - `synthetic-creativity-archive:dial_allora_b62_semantic_descent.py` — implementation - `synthetic-creativity-archive:dial_allora_b63_relational_observer.py` — implementation - `synthetic-creativity-archive:dial_allora_b64_active_acquisition.py` — implementation - `synthetic-creativity-archive:dial_allora_b65_sequential_acquisition.py` — implementation - `synthetic-creativity-archive:dial_allora_b66_hierarchical_calibration.py` — implementation - `synthetic-creativity-archive:dial_allora_b67_transport_calibration.py` — implementation - `synthetic-creativity-archive:dial_allora_b68_chart_bundle.py` — implementation - `synthetic-creativity-archive:dial_allora_b69_semantic_bundle.py` — implementation - `synthetic-creativity-archive:dial_allora_b6_generative_adapter.py` — implementation - `synthetic-creativity-archive:dial_allora_boundary_enrollment.py` — implementation - `synthetic-creativity-archive:dial_allora_oracle_ceiling.py` — implementation - `synthetic-creativity-archive:dial_allora_oracle_expanded.py` — implementation - `synthetic-creativity-archive:dial_allora_selective_learner.py` — implementation **Authoritative artifacts.** RESULTS.md; registration.json **Resolved experiment records.** - `2026-08-12_dial_allora_a0b0_registered` - `2026-08-12_dial_allora_b1_registered` - `2026-08-12_dial_allora_b2_registered` - `2026-08-12_dial_allora_b3_registered` - `2026-08-12_dial_allora_b4_registered` - `2026-08-12_dial_allora_b51_registered` - `2026-08-12_dial_allora_b5_registered` - `2026-08-12_dial_allora_b61_registered` - `2026-08-12_dial_allora_b62_registered` - `2026-08-12_dial_allora_b63_registered` - `2026-08-12_dial_allora_b64_registered` - `2026-08-12_dial_allora_b65_registered` - `2026-08-12_dial_allora_b66_registered` - `2026-08-12_dial_allora_b67_registered` - `2026-08-12_dial_allora_b68_registered` - `2026-08-12_dial_allora_b6_registered` - `2026-08-13_dial_allora_active_acquisition_registered` - `2026-08-13_dial_allora_affine_learner_registered` - `2026-08-13_dial_allora_b69_registered` - `2026-08-13_dial_allora_boundary_enrollment_registered` - `2026-08-13_dial_allora_oracle_expanded_registered` - `2026-08-13_dial_allora_oracle_registered` - `2026-08-13_dial_allora_selective_learner_registered` ### CLIC / DIAL-SKFM Exact closure repair, finite operator uncertainty, active counter-witness acquisition, and unsupported-alternative posterior studies. **Evidence boundary.** Only the exact rung meets its registered admission target; later uncertainty studies retain their negative decisions. **Entry points.** run.py in registered packets **Start here.** - `synthetic-creativity-archive:dial_skfm_1a_exact_closure_repair.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag.py) — base-system; public-pinned. Open the pinned public source file. - `synthetic-creativity-archive:dial_skfm_1b_finite_operator_uncertainty.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial_skfm_1c_active_counterwitness.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp1_chain.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp1_chain.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_dag_motifs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_latent_dag_motifs.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_demo.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_latent_demo.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_size_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_pruned_size_sweep.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_stress_test.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_pruned_stress_test.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_s9.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_s9.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_sachs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_sachs.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/j_sheaf_regimes.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes_fast.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/j_sheaf_regimes_fast.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_info_geometry_pruned.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_info_geometry_pruned.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_lincs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_lincs.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_pisa2022.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_pisa2022.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_s9.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9_multivar.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_s9_multivar.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_synth_linear.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_synth_linear.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/lie_space_intervention_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/lie_space_intervention_smoke.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sachs_miniexp.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp_enhanced.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sachs_miniexp_enhanced.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/sheaf_glue.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sheaf_glue.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_algorithm2_compare.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_algorithm2_compare.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_bridge_runtime_scaling.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_bridge_runtime_scaling.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_stage1_compare.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_stage1_compare.py) — base-system - [`lincs-bridge-skfm:kan_do_dcdi/experiments/synthetic_linear_gaussian.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/synthetic_linear_gaussian.py) — base-system - `synthetic-creativity-archive:dial_skfm_1a_exact_closure_repair.py` — implementation - `synthetic-creativity-archive:dial_skfm_1b_finite_operator_uncertainty.py` — implementation - `synthetic-creativity-archive:dial_skfm_1c_active_counterwitness.py` — implementation - `synthetic-creativity-archive:dial_skfm_1d_explicit_alternative_posterior.py` — implementation - `synthetic-creativity-archive:dial_skfm_factored.py` — implementation - `synthetic-creativity-archive:dial_skfm_typed_transducer.py` — implementation **Authoritative artifacts.** RESULTS.md; completion.json; STATUS.md **Resolved experiment records.** - `2026-08-11_dial_skfm_factored_registered` - `2026-08-11_dial_skfm_typed_transducer_registered` - `2026-08-13_dial_skfm_1a_exact_closure_repair_v1_registered` - `2026-08-14_dial_skfm_1b_finite_operator_uncertainty_v1_registered` - `2026-08-14_dial_skfm_1b_finite_operator_uncertainty_v2_registered` - `2026-08-14_dial_skfm_1c_active_counterwitness_v1_registered` - `2026-08-14_dial_skfm_1d_explicit_alternative_posterior_v1_registered` ### OPTIC / DIAL-SkillOpt Held-out calibration, sealed compound-skill failure, and factored-interface repair. **Evidence boundary.** The v2 interface repair is a separately registered schema correction, not a post-hoc relabeling of the failed run. **Entry points.** packet scripts and DIAL-SkillOpt driver **Start here.** - `synthetic-creativity-archive:dial_skillopt1_preregistered.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`lincs-lasko:scripts/run_anchor_chain_benchmark.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/run_anchor_chain_benchmark.py) — base-system; public-pinned. Open the pinned public source file. - `synthetic-creativity-archive:dial_skillopt1d_factored.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial_skillopt1d_factored_v2.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - [`lincs-lasko:scripts/run_anchor_chain_benchmark.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko/scripts/run_anchor_chain_benchmark.py) — base-system - `synthetic-creativity-archive:dial_skillopt1_preregistered.py` — implementation - `synthetic-creativity-archive:dial_skillopt1d_factored.py` — implementation - `synthetic-creativity-archive:dial_skillopt1d_factored_v2.py` — implementation - `synthetic-creativity-archive:dial_skillopt_registered.py` — implementation **Authoritative artifacts.** GPT_OSS_20B_REPORT.md; TERMINATION_REPORT.md; DIAGNOSTIC_REPORT.md **Resolved experiment records.** - `2026-08-11_dial_skillopt1_preregistered` - `2026-08-11_dial_skillopt1d_factored_registered` - `2026-08-11_dial_skillopt1d_factored_v2_registered` - `2026-08-11_dial_skillopt_registered` ### RELIC and DIAL-Schema-GIRL Switching-world filters, schema acquisition, TextWorld/ALFWorld planning, active counter-witnesses, composition, and behavioral quotients. **Evidence boundary.** Recovery runs repair documented execution defects and are not independent replications; failed and abstinent rungs remain in the record. **Entry points.** family scripts and registered packet run.py files **Start here.** - `synthetic-creativity-archive:dial_girl_anytime_mixture.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`lincs-girl:src/girl/adversarial_online.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/adversarial_online.py) — base-system; public-pinned. Open the pinned public source file. - `synthetic-creativity-archive:dial_girl_composite_markov.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial_girl_composite_null.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - [`lincs-girl:src/girl/__init__.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/__init__.py) — base-system - [`lincs-girl:src/girl/adversarial_online.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/adversarial_online.py) — base-system - [`lincs-girl:src/girl/control.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/control.py) — base-system - [`lincs-girl:src/girl/cotangent_repair.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/cotangent_repair.py) — base-system - [`lincs-girl:src/girl/deep_advantage.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/deep_advantage.py) — base-system - [`lincs-girl:src/girl/deep_localization.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/deep_localization.py) — base-system - [`lincs-girl:src/girl/homomorphism_diagrams.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/homomorphism_diagrams.py) — base-system - [`lincs-girl:src/girl/kan_admission.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_admission.py) — base-system - [`lincs-girl:src/girl/kan_fa.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_fa.py) — base-system - [`lincs-girl:src/girl/kan_interaction_admission.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_interaction_admission.py) — base-system - [`lincs-girl:src/girl/kan_validation.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/kan_validation.py) — base-system - [`lincs-girl:src/girl/linear_eval.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/linear_eval.py) — base-system - [`lincs-girl:src/girl/nonlinear_eval.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/nonlinear_eval.py) — base-system - [`lincs-girl:src/girl/offpolicy_transport.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/offpolicy_transport.py) — base-system - [`lincs-girl:src/girl/online_actor_critic.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/online_actor_critic.py) — base-system - [`lincs-girl:src/girl/policy_bridge.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_bridge.py) — base-system - [`lincs-girl:src/girl/policy_quotient.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_quotient.py) — base-system - [`lincs-girl:src/girl/policy_transport_gate.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_transport_gate.py) — base-system - [`lincs-girl:src/girl/policy_visibility.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/policy_visibility.py) — base-system - [`lincs-girl:src/girl/preference_obstruction.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/preference_obstruction.py) — base-system - [`lincs-girl:src/girl/safe_recovery.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/safe_recovery.py) — base-system - [`lincs-girl:src/girl/sampled_transport.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl/src/girl/sampled_transport.py) — base-system - `synthetic-creativity-archive:dial_girl_anytime_mixture.py` — implementation - `synthetic-creativity-archive:dial_girl_composite_markov.py` — implementation - `synthetic-creativity-archive:dial_girl_composite_null.py` — implementation - `synthetic-creativity-archive:dial_girl_decision_value.py` — implementation - `synthetic-creativity-archive:dial_girl_hmm_core.py` — implementation - `synthetic-creativity-archive:dial_girl_hmm_equivalence.py` — implementation - `synthetic-creativity-archive:dial_girl_learned_filter.py` — implementation - `synthetic-creativity-archive:dial_girl_learned_prototypes.py` — implementation - `synthetic-creativity-archive:dial_girl_long_horizon_markov.py` — implementation - `synthetic-creativity-archive:dial_girl_pilot_priors.py` — implementation - `synthetic-creativity-archive:dial_girl_sequential_evidence.py` — implementation - `synthetic-creativity-archive:dial_girl_skillopt.py` — implementation - `synthetic-creativity-archive:dial_girl_switch_transport.py` — implementation - `synthetic-creativity-archive:dial_girl_trajectory.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_0.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1a_textworld.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1b_balanced_textworld.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1c_planning.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1d1_balanced_relational_fit.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1d_relational_counterwitness.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1e_relational_planning_replay.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1f1_total_location_state.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1f_containment_discovery.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1g1_colocated_take_planning.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1g_fresh_containment_planning.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1h_persistent_tool_planning.py` — implementation - `synthetic-creativity-archive:dial_schema_girl_1h_recovery_analysis.py` — implementation - `synthetic-creativity-archive:relic_alfworld_a0_full_validation.py` — implementation - `synthetic-creativity-archive:relic_alfworld_a0_manifest_launcher.py` — implementation - `synthetic-creativity-archive:relic_alfworld_a1_controls_sensitivity.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b0_recovery_analysis.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b0_textdqn_smoke.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b1_intrinsic_calibration.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b2_learning_onset.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b2_train_wrapper.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b3_recovery_launcher.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b3_schema_accommodation.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b4_composition_construction.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b4_recovery.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b51_active_counterwitness.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b52_behavioral_quotient.py` — implementation - `synthetic-creativity-archive:relic_alfworld_b5_stage_construction.py` — implementation **Authoritative artifacts.** RESULTS.md; completion.json; recovery/status artifacts **Resolved experiment records.** - `2026-08-11_dial_girl_anytime_mixture_development` - `2026-08-11_dial_girl_anytime_mixture_registered` - `2026-08-11_dial_girl_composite_markov_development` - `2026-08-11_dial_girl_composite_markov_registered` - `2026-08-11_dial_girl_composite_null_development` - `2026-08-11_dial_girl_composite_null_registered` - `2026-08-11_dial_girl_decision_value_registered` - `2026-08-11_dial_girl_learned_filter_development` - `2026-08-11_dial_girl_learned_filter_registered` - `2026-08-11_dial_girl_learned_prototypes_development` - `2026-08-11_dial_girl_learned_prototypes_registered` - `2026-08-11_dial_girl_long_horizon_markov_registered` - `2026-08-11_dial_girl_pilot_priors_development` - `2026-08-11_dial_girl_pilot_priors_registered` - `2026-08-11_dial_girl_rate040_equivalence_development` - `2026-08-11_dial_girl_rate040_equivalence_registered` - `2026-08-11_dial_girl_sequential_evidence_registered` - `2026-08-11_dial_girl_skillopt_development` - `2026-08-11_dial_girl_skillopt_registered` - `2026-08-11_dial_girl_switch_transport_development` - `2026-08-11_dial_girl_switch_transport_registered` - `2026-08-11_dial_girl_trajectory_development` - `2026-08-11_dial_girl_trajectory_registered` - `2026-08-11_dial_schema_girl_0_registered` - `2026-08-11_dial_schema_girl_1a_textworld_registered` - `2026-08-11_dial_schema_girl_1a_textworld_v2_registered` - `2026-08-11_dial_schema_girl_1b_balanced_textworld_registered` - `2026-08-11_dial_schema_girl_1c_planning_registered` - `2026-08-11_dial_schema_girl_1d1_balanced_relational_fit_registered` - `2026-08-11_dial_schema_girl_1d_relational_counterwitness_registered` - `2026-08-11_dial_schema_girl_1e_relational_planning_replay_registered` - `2026-08-11_dial_schema_girl_1f1_total_location_state_registered` - `2026-08-11_dial_schema_girl_1f_containment_discovery_registered` - `2026-08-11_dial_schema_girl_1g1_colocated_take_planning_registered` - `2026-08-11_dial_schema_girl_1g_fresh_containment_planning_registered` - `2026-08-12_dial_schema_girl_1h_persistent_tool_planning_registered` - `2026-08-12_dial_schema_girl_1h_recovery_analysis_registered` - `2026-08-12_relic_alfworld_a0_full_validation_registered` - `2026-08-12_relic_alfworld_a0_manifest_launcher_registered` - `2026-08-12_relic_alfworld_a1_controls_sensitivity_registered` - `2026-08-12_relic_alfworld_b0_1_textdqn_h5py_recovery_registered` - `2026-08-12_relic_alfworld_b0_2_textdqn_torchvision_recovery_registered` - `2026-08-12_relic_alfworld_b0_3_reporting_recovery_registered` - `2026-08-12_relic_alfworld_b0_3_textdqn_distilbert_recovery_registered` - `2026-08-12_relic_alfworld_b0_textdqn_smoke_registered` - `2026-08-12_relic_alfworld_b1_intrinsic_calibration_registered` - `2026-08-12_relic_alfworld_b2_learning_onset` - `2026-08-13_relic_alfworld_b3_horizon_recovery_launcher_registered` - `2026-08-13_relic_alfworld_b3_recovery_launcher_registered` - `2026-08-13_relic_alfworld_b3_schema_accommodation_horizon_recovery` - `2026-08-13_relic_alfworld_b3_schema_accommodation_registered` - `2026-08-13_relic_alfworld_b4_composition_construction_registered` - `2026-08-13_relic_alfworld_b4_composition_construction_v1_registered` - `2026-08-13_relic_alfworld_b4_composition_construction_v2_registered` - `2026-08-13_relic_alfworld_b4_composition_construction_v3_registered` - `2026-08-13_relic_alfworld_b4_composition_construction_v4_registered` - `2026-08-13_relic_alfworld_b4_composition_construction_v5_registered` - `2026-08-13_relic_alfworld_b51_active_counterwitness_v1_registered` - `2026-08-13_relic_alfworld_b52_behavioral_quotient_v1_registered` - `2026-08-13_relic_alfworld_b52_behavioral_quotient_v2_registered` - `2026-08-13_relic_alfworld_b5_stage_construction_v1_registered` ### AGENTIC workflow composition Exact and estimated CLIC/OPTIC/RELIC composition with active and hierarchical acquisition. **Evidence boundary.** The authoritative 0D.2 result is conditional and small-scale; earlier rungs are calibrations and failures, not pooled trials. **Entry points.** run.py in registered packets **Start here.** - `synthetic-creativity-archive:agentic_0a_exact_workflow_composition.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:agentic_0b1_active_boundary_acquisition.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:agentic_0b_estimated_clic_composition.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:agentic_0c1_active_optic_acquisition.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:agentic_0a_exact_workflow_composition.py` — runner - `synthetic-creativity-archive:agentic_0b1_active_boundary_acquisition.py` — runner - `synthetic-creativity-archive:agentic_0b_estimated_clic_composition.py` — runner - `synthetic-creativity-archive:agentic_0c1_active_optic_acquisition.py` — runner - `synthetic-creativity-archive:agentic_0c_estimated_optic_composition.py` — runner - `synthetic-creativity-archive:agentic_0d1_active_relic_acquisition.py` — runner - `synthetic-creativity-archive:agentic_0d2_hierarchical_active_relic.py` — runner - `synthetic-creativity-archive:agentic_0d_estimated_relic_composition.py` — runner **Authoritative artifacts.** RESULTS.md; completion.json **Resolved experiment records.** - `2026-08-14_agentic_0a_exact_workflow_composition_v1_registered` - `2026-08-14_agentic_0b1_active_boundary_acquisition_v1_registered` - `2026-08-14_agentic_0b_estimated_clic_composition_v1_registered` - `2026-08-14_agentic_0c1_active_optic_acquisition_v1_registered` - `2026-08-14_agentic_0c_estimated_optic_composition_v1_registered` - `2026-08-14_agentic_0d1_active_relic_acquisition_v1_registered` - `2026-08-14_agentic_0d2_hierarchical_active_relic_v1_registered` - `2026-08-14_agentic_0d_estimated_relic_composition_v1_registered` ### AGENTIC-Lea theorem-construction ladder Tool capability, scaffolded abstraction, fixed-vocabulary proof construction, structural repair, and early-stop tests. **Evidence boundary.** Formal validity in a supplied or expanded language does not by itself establish mathematical creativity. **Entry points.** packet scripts invoking Lea **Start here.** - `synthetic-creativity-archive:agentic_lea_0/run_audit.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`lea-upstream:apps/lea-standalone/prover/examples/Ackermann.lean`](https://github.com/VIDA-NYU/Lea/blob/790853c89522bf5899feeb0052b795326feee720/apps/lea-standalone/prover/examples/Ackermann.lean) — external-dependency; public-pinned. Open the pinned public source file. - `synthetic-creativity-archive:agentic_lea_0/run_lea.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:agentic_lea_1/run_audit.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - [`lea-upstream:apps/lea-standalone/prover/examples/Ackermann.lean`](https://github.com/VIDA-NYU/Lea/blob/790853c89522bf5899feeb0052b795326feee720/apps/lea-standalone/prover/examples/Ackermann.lean) — external-dependency - [`lea-upstream:apps/lea-standalone/prover/examples/Logic.lean`](https://github.com/VIDA-NYU/Lea/blob/790853c89522bf5899feeb0052b795326feee720/apps/lea-standalone/prover/examples/Logic.lean) — external-dependency - [`lea-upstream:apps/lea-standalone/prover/examples/StackMachine.lean`](https://github.com/VIDA-NYU/Lea/blob/790853c89522bf5899feeb0052b795326feee720/apps/lea-standalone/prover/examples/StackMachine.lean) — external-dependency - [`lea-upstream:apps/lea-standalone/prover/examples/test_proof.lean`](https://github.com/VIDA-NYU/Lea/blob/790853c89522bf5899feeb0052b795326feee720/apps/lea-standalone/prover/examples/test_proof.lean) — external-dependency - `synthetic-creativity-archive:agentic_lea_0/extract_proposal.py` — runner - `synthetic-creativity-archive:agentic_lea_0/run_audit.py` — runner - `synthetic-creativity-archive:agentic_lea_0/run_lea.py` — runner - `synthetic-creativity-archive:agentic_lea_1/run_audit.py` — runner - `synthetic-creativity-archive:agentic_lea_1/run_followup.py` — runner - `synthetic-creativity-archive:agentic_lea_1/run_followup2.py` — runner - `synthetic-creativity-archive:agentic_lea_1/run_lea.py` — runner - `synthetic-creativity-archive:agentic_lea_2/run_audit.py` — runner - `synthetic-creativity-archive:agentic_lea_2/run_lea.py` — runner - `synthetic-creativity-archive:agentic_lea_2b/run_audit.py` — runner - `synthetic-creativity-archive:agentic_lea_2b/run_lea.py` — runner - `synthetic-creativity-archive:agentic_lea_2c/freeze_stage_a.py` — runner - `synthetic-creativity-archive:agentic_lea_2c/run_audit.py` — runner - `synthetic-creativity-archive:agentic_lea_2c/run_stage_a.py` — runner - `synthetic-creativity-archive:agentic_lea_2c/run_stage_a_followup.py` — runner - `synthetic-creativity-archive:agentic_lea_2c/run_stage_a_followup2.py` — runner - `synthetic-creativity-archive:agentic_lea_2c/run_stage_b.py` — runner **Authoritative artifacts.** RESULTS.md; RESULTS_QWEN.md **Resolved experiment records.** - `agentic_lea_0` - `agentic_lea_1` - `agentic_lea_2` - `agentic_lea_2b` - `agentic_lea_2c` ### Infinitesimal pattern-construction ladder Symmetry, latent factors, entangled worlds, counter-witnesses, predictive-state sheaves, holonomy, power/coverage, and active intervention studies. **Evidence boundary.** Version-matched reported rungs are separated from superseded pilots; synthetic recovery is not open-ended field construction. **Entry points.** named IPC scripts and packet drivers **Start here.** - `synthetic-creativity-archive:ipc0_beta.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:ipc0_beta_v2.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:ipc0_gamma.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:ipc0_smoke.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:ipc0_beta.py` — runner - `synthetic-creativity-archive:ipc0_beta_v2.py` — runner - `synthetic-creativity-archive:ipc0_gamma.py` — runner - `synthetic-creativity-archive:ipc0_smoke.py` — runner - `synthetic-creativity-archive:ipc10_predictive_state_sheaf.py` — runner - `synthetic-creativity-archive:ipc11_hidden_overlap_registration.py` — runner - `synthetic-creativity-archive:ipc12_cech_cycle_consistency.py` — runner - `synthetic-creativity-archive:ipc13_approximate_holonomy.py` — runner - `synthetic-creativity-archive:ipc14_trajectory_holonomy.py` — runner - `synthetic-creativity-archive:ipc15_power_coverage_ladder.py` — runner - `synthetic-creativity-archive:ipc16_active_interventions.py` — runner - `synthetic-creativity-archive:ipc1_symmetry.py` — runner - `synthetic-creativity-archive:ipc2_diagnostic.py` — runner - `synthetic-creativity-archive:ipc2_mixed_symmetry.py` — runner - `synthetic-creativity-archive:ipc3_latent_property.py` — runner - `synthetic-creativity-archive:ipc4_latent_factors.py` — runner - `synthetic-creativity-archive:ipc5_noisy_latent_factors.py` — runner - `synthetic-creativity-archive:ipc6_doctrine_obstruction.py` — runner - `synthetic-creativity-archive:ipc7_entangled_latent_graph.py` — runner - `synthetic-creativity-archive:ipc8_edge_counter_witness.py` — runner - `synthetic-creativity-archive:ipc9_anchor_free_subspace.py` — runner **Authoritative artifacts.** GPT_OSS_20B_REPORT.md; RESULTS.md; registration.json **Resolved experiment records.** - `2026-08-06_ipc0_alpha` - `2026-08-06_ipc0_beta_registered` - `2026-08-06_ipc0_beta_setup` - `2026-08-06_ipc0_beta_v2_registered` - `2026-08-06_ipc0_gamma_registered` - `2026-08-06_ipc10_predictive_state_sheaf_registered` - `2026-08-06_ipc11_hidden_overlap_registration_registered` - `2026-08-06_ipc1_symmetry_registered` - `2026-08-06_ipc2_delta_diagnostic_registered` - `2026-08-06_ipc2_mixed_symmetry_registered` - `2026-08-06_ipc3_latent_property_registered` - `2026-08-06_ipc4_latent_factors_registered` - `2026-08-06_ipc5_noisy_latent_factors_registered` - `2026-08-06_ipc6_doctrine_obstruction_registered` - `2026-08-06_ipc7_entangled_latent_graph_registered` - `2026-08-06_ipc8_edge_counter_witness_registered` - `2026-08-06_ipc9_anchor_free_subspace_registered` - `2026-08-07_ipc12_cech_cycle_consistency_registered` - `2026-08-07_ipc13_approximate_holonomy_registered` - `2026-08-07_ipc14_trajectory_estimated_holonomy_registered` - `2026-08-07_ipc15_unconditional_power_coverage_registered` - `2026-08-07_ipc16_active_interventions_registered` ### Categorical AI-Feynman ladder Categorical symbolic regression, ambiguity, unnamed generators, sequential probes, open generator search, and proposal-aware acquisition. **Evidence boundary.** Superseded runs remain diagnostic records and are excluded from the reported endpoints for stated protocol defects. **Entry points.** named AF scripts and packet drivers **Start here.** - `synthetic-creativity-archive:af0_categorical_feynman.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:af1_ambiguous_active_feynman.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:af2_unnamed_generator.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:af3_sequential_generator_probes.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:af0_categorical_feynman.py` — runner - `synthetic-creativity-archive:af1_ambiguous_active_feynman.py` — runner - `synthetic-creativity-archive:af2_unnamed_generator.py` — runner - `synthetic-creativity-archive:af3_sequential_generator_probes.py` — runner - `synthetic-creativity-archive:af4_open_generator_search.py` — runner - `synthetic-creativity-archive:af5_proposal_aware_active.py` — runner **Authoritative artifacts.** GPT_OSS_20B_REPORT.md; RESULTS.md **Resolved experiment records.** - `2026-08-07_af0_categorical_feynman_registered` - `2026-08-07_af0_categorical_feynman_v2_registered` - `2026-08-07_af1_ambiguous_active_feynman_registered` - `2026-08-07_af2_unnamed_generator_registered` - `2026-08-07_af2_unnamed_generator_v2_registered` - `2026-08-07_af3_sequential_generator_probes_registered` - `2026-08-07_af3_sequential_generator_probes_registered_v2` - `2026-08-07_af4_open_generator_search_registered` - `2026-08-07_af4_open_generator_search_registered_v2` - `2026-08-07_af5_proposal_aware_active_registered` ### DIAL-URL coalgebraic theory construction Exact type recovery, finite trajectories, active discrimination, grammar synthesis, and a withheld composition law. **Evidence boundary.** The final rung misses its hardest prespecified endpoint; no reported run constructs the full reusable coalgebraic learning theory. **Entry points.** run.py in each packet **Start here.** - `synthetic-creativity-archive:2026-08-19_dial_url_0_exact_type_recovery_registered/run_dial_url_0.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-19_dial_url_1_finite_trajectory_registered/run_dial_url_1.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-19_dial_url_2_active_discrimination/run_dial_url_2.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-19_dial_url_3_grammar_synthesis/run_dial_url_3.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-19_dial_url_0_exact_type_recovery_registered/run_dial_url_0.py` — runner - `synthetic-creativity-archive:2026-08-19_dial_url_1_finite_trajectory_registered/run_dial_url_1.py` — runner - `synthetic-creativity-archive:2026-08-19_dial_url_2_active_discrimination/run_dial_url_2.py` — runner - `synthetic-creativity-archive:2026-08-19_dial_url_3_grammar_synthesis/run_dial_url_3.py` — runner - `synthetic-creativity-archive:2026-08-19_dial_url_4_withheld_composition_law/run_dial_url_4.py` — runner **Authoritative artifacts.** RESULTS.md; PREREGISTRATION.md **Resolved experiment records.** - `2026-08-19_dial_url_0_exact_type_recovery_registered` - `2026-08-19_dial_url_1_finite_trajectory_registered` - `2026-08-19_dial_url_2_active_discrimination` - `2026-08-19_dial_url_3_grammar_synthesis` - `2026-08-19_dial_url_4_withheld_composition_law` ### Simulator-grounded theory extension Singing-mouse mechanism recovery, observer construction, active probe selection, and latent-mediator extension. **Evidence boundary.** Projection-support recovery does not identify vocal causality; each result remains simulator-relative. **Entry points.** run.py in each packet **Start here.** - `synthetic-creativity-archive:2026-08-20_sgte1_singing_mice_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_sgte2_singing_mice_observer_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_sgte3_active_probe_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_sgte4_latent_mediator_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-20_sgte1_singing_mice_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_sgte2_singing_mice_observer_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_sgte3_active_probe_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_sgte4_latent_mediator_registered/run.py` — runner **Authoritative artifacts.** RESULTS.md; completion.json **Resolved experiment records.** - `2026-08-20_sgte1_singing_mice_registered` - `2026-08-20_sgte2_singing_mice_observer_registered` - `2026-08-20_sgte3_active_probe_registered` - `2026-08-20_sgte4_latent_mediator_registered` ### Corpus-to-testable-theory construction Generated corpora, alias registration, context covers, active acquisition, sketch extension, and domain transport. **Evidence boundary.** CTTE-2 remains not admitted after missing its localization gate; generated micro-corpora are controlled test objects, not scientific literatures. **Entry points.** run.py in each packet **Start here.** - `synthetic-creativity-archive:2026-08-20_ctte0_generated_corpus_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_ctte1_alias_registration_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_ctte2_context_cover_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_ctte3_active_acquisition_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-20_ctte0_generated_corpus_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_ctte1_alias_registration_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_ctte2_context_cover_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_ctte3_active_acquisition_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_ctte4_sketch_extension_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_ctte5_domain_transport_registered/run.py` — runner **Authoritative artifacts.** RESULTS.md; registration.json **Resolved experiment records.** - `2026-08-20_ctte0_generated_corpus_registered` - `2026-08-20_ctte1_alias_registration_registered` - `2026-08-20_ctte2_context_cover_registered` - `2026-08-20_ctte3_active_acquisition_registered` - `2026-08-20_ctte4_sketch_extension_registered` - `2026-08-20_ctte5_domain_transport_registered` ### GLP-1 theory and grant construction Hidden-context pilots, semantic admission, typed IR, cross-field invariants, auditable realization, length bounds, and controlled paraphrase. **Evidence boundary.** Formal gate passage is not scientific correctness, fundability, or evidence of improved prose; the negative evaluator results remain explicit. **Entry points.** run.py in registered packets **Start here.** - `synthetic-creativity-archive:2026-08-20_glp1_grant0_program_compilation_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_glp1_grant1_semantic_firewall_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_glp1_grant2_typed_ir_roundtrip_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-20_glp1_grant3_cross_field_invariants_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-20_glp1_grant0_program_compilation_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant1_semantic_firewall_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant2_typed_ir_roundtrip_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant3_cross_field_invariants_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant4_1_sanitized_realization_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant4_2_structure_first_realization_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant4_3_bounded_realization_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant4_4_controlled_paraphrase_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_grant4_auditable_realization_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_pilot0_withdrawal_context_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-20_glp1_pilot1_hidden_context_registered/run.py` — runner **Authoritative artifacts.** RESULTS.md; MANUAL_SEMANTIC_AUDIT.md; auditable_proposal_clean.md **Resolved experiment records.** - `2026-08-20_glp1_grant0_program_compilation_registered` - `2026-08-20_glp1_grant1_semantic_firewall_registered` - `2026-08-20_glp1_grant2_typed_ir_roundtrip_registered` - `2026-08-20_glp1_grant3_cross_field_invariants_registered` - `2026-08-20_glp1_grant4_1_sanitized_realization_registered` - `2026-08-20_glp1_grant4_2_structure_first_realization_registered` - `2026-08-20_glp1_grant4_3_bounded_realization_registered` - `2026-08-20_glp1_grant4_4_controlled_paraphrase_registered` - `2026-08-20_glp1_grant4_auditable_realization_registered` - `2026-08-20_glp1_pilot0_withdrawal_context_registered` - `2026-08-20_glp1_pilot1_hidden_context_registered` ### ARTISTIC textual-inversion and natural-image ladder Concept naming, two-stage repair, component declarations, independent structural observers, and multi-object natural imagery. **Evidence boundary.** The results demonstrate bounded visual repair and selective admission, not transformational creativity. **Entry points.** scripts and manifests inside the consolidated packet **Start here.** - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ni0.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - [`diffusers-upstream:examples/textual_inversion/textual_inversion.py`](https://github.com/huggingface/diffusers/blob/efabd60d61c2b7aabf9f182bee6b5b6058980304/examples/textual_inversion/textual_inversion.py) — external-dependency; public-pinned. Open the pinned public source file. - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ni2a.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ni2b.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - [`diffusers-upstream:examples/textual_inversion/textual_inversion.py`](https://github.com/huggingface/diffusers/blob/efabd60d61c2b7aabf9f182bee6b5b6058980304/examples/textual_inversion/textual_inversion.py) — external-dependency - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/build_artistic_ti2d_adaptive.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/build_artistic_ti3_adaptive.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/build_typed_visual_adaptive.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/calibrate_original_mask_observer.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/diagnose_artistic_ni2b_relations.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/diagnose_artistic_soccer2.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/download_frozen_model.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/estimate_ti4_declarations.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/estimate_ti4b_proximity_declarations.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/estimate_ti4c_proximity_declarations.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/estimate_ti4c_proximity_declarations_v2.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/estimate_ti4d_semantic_declarations.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/estimate_ti4e_multicue_declarations.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ni0.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ni2a.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ni2b.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ni2c.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti2d.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti3.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti3b.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti3c.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti3d.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti4a.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti4b.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti4b_failed_run.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti4c.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti4d.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_artistic_ti4e.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_dial_stage2.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_structural_ground_truth.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_substantive.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_typed_visual.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_typed_visual_adaptive.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/evaluate_typed_visual_masks.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/extract_artistic_ni2a_coco_metadata.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/fit_ti4c_source_observers.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_dataset.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_dial_stage2_dataset.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_original_virel_masks.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_ti4_new_objects.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_ti4b_fresh_cohort.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_ti4c_fresh_cohort.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_ti4d_fresh_cohort.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_ti4e_fresh_cohort.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/generate_typed_visual_scenes.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/infer_smoke.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/make_adaptive_contact_sheet.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/make_random_control.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/package_artistic_ni0_sealed.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/prepare_artistic_ni0_public.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/prepare_artistic_ni2a_public.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/prepare_artistic_ni2b_public.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/render_artistic_ni2a_typed_overlay.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/render_artistic_ni2b_typed_overlay.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_external_single.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ni0.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ni2a.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ni2b.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_soccer2.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti2d_inference.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti3_inference.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti3b_retraction.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti3c_componentwise.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti3d_localized.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti4a.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti4b.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti4c.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti4d.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_artistic_ti4e.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_dial_stage2_inference.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_substantive_inference.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_typed_visual_adaptive_inference.py` — runner - `synthetic-creativity-archive:2026-08-14_artistic_ti0_concept_naming_registered/scripts/run_typed_visual_inference.py` — runner **Authoritative artifacts.** ARTISTIC_TI*_RESULTS.md; ARTISTIC_NI*_RESULTS.md; completion JSON files **Resolved experiment records.** - `2026-08-14_artistic_ti0_concept_naming_registered` ### ARTISTIC Bongard problems Rule reuse, composition, declaration extension, blind corpus tests, typed selection, and active oracle queries. **Evidence boundary.** Corpus-4 is an oracle-assisted developmental upper bound, not a blind system comparison. **Entry points.** packet scripts **Start here.** - `synthetic-creativity-archive:2026-08-15_artistic_bongard_bp0_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-15_artistic_bongard_bp1_compositional_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-15_artistic_bongard_bp2_declaration_extension_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-15_artistic_bongard_corpus0_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-15_artistic_bongard_bp0_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_bp1_compositional_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_bp2_declaration_extension_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_corpus0_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_corpus1_historical/run.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_corpus2_blind/run_blind.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_corpus2_blind/score_revealed.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_corpus3_typed/run.py` — runner - `synthetic-creativity-archive:2026-08-15_artistic_bongard_corpus4_active/run.py` — runner **Authoritative artifacts.** PROGRESS_REPORT.md; RESULTS.md **Resolved experiment records.** - `2026-08-15_artistic_bongard_bp0_registered` - `2026-08-15_artistic_bongard_bp1_compositional_registered` - `2026-08-15_artistic_bongard_bp2_declaration_extension_registered` - `2026-08-15_artistic_bongard_corpus0_registered` - `2026-08-15_artistic_bongard_corpus1_historical` - `2026-08-15_artistic_bongard_corpus2_blind` - `2026-08-15_artistic_bongard_corpus3_typed` - `2026-08-15_artistic_bongard_corpus4_active` ### ARTISTIC sports, pose, and scene enforcement Soccer, cricket, tennis, baseball, scene-graph, layout, slot, pose, sketch-acquisition, and Firefly challenge repairs. **Evidence boundary.** Three early soccer outputs lack frozen registration and remain qualitative demonstrations; image repair is not itself creative theory extension. **Entry points.** packet scripts, prompts, and image-editor contracts **Start here.** - `synthetic-creativity-archive:2026-08-15_artistic_cricket0_v1/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-16_artistic_active_admission_cricket2/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-16_artistic_repair_compiler_a0/evaluate.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-16_artistic_scenegraph_cricket1/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-15_artistic_cricket0_v1/run.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_active_admission_cricket2/run.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_layout_enforce_0/aggregate_audit.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_nanobanana_sports0/make_comparisons.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_repair_compiler_a0/evaluate.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_scenegraph_cricket1/run.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_sketch_acquire_0/aggregate_generation_audit.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_sketch_acquire_0/compile_image_prompt.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_sketch_acquire_0/make_blinded_contact_sheets.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_sketch_acquire_0/prepare_generation_prompts.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_sketch_acquire_0/retrieve.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_sketch_acquire_0/run_acquisition.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_sketch_acquire_0/validate_sketch.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_tangent_cricket0/make_trajectory_montage.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_tangent_cricket0/run.py` — runner - `synthetic-creativity-archive:2026-08-16_artistic_tennis_0/evaluate.py` — runner - `synthetic-creativity-archive:2026-08-16_dial_artistic_1_mixed_witness_ablation/extract_foreground.py` — runner - `synthetic-creativity-archive:2026-08-16_dial_artistic_1_mixed_witness_ablation/run_ablation.py` — runner - `synthetic-creativity-archive:2026-08-16_dial_artistic_2_uncertain_observers/run_observers.py` — runner - `synthetic-creativity-archive:2026-08-16_dial_artistic_2b_supported_observers/run_test.py` — runner - `synthetic-creativity-archive:2026-08-16_dial_artistic_2c_prototype_observers/run_test.py` — runner **Authoritative artifacts.** RESULTS.md; prompts.json; typed audit overlays; completion files **Resolved experiment records.** - `2026-08-15_artistic_cricket0_v1` - `2026-08-15_artistic_soccer2_diagnostic_v1` - `2026-08-15_artistic_soccer2_v1` - `2026-08-15_artistic_soccer_external_v1` - `2026-08-16_artistic_action_pose_enforce_0` - `2026-08-16_artistic_active_admission_cricket2` - `2026-08-16_artistic_layout_enforce_0` - `2026-08-16_artistic_nanobanana_sports0` - `2026-08-16_artistic_pose_enforce_0` - `2026-08-16_artistic_repair_compiler_a0` - `2026-08-16_artistic_scenegraph_cricket1` - `2026-08-16_artistic_sketch_acquire_0` - `2026-08-16_artistic_slot_compose_0` - `2026-08-16_artistic_tangent_cricket0` - `2026-08-16_artistic_tennis_0` - `2026-08-16_dial_artistic_1_mixed_witness_ablation` - `2026-08-16_dial_artistic_2_uncertain_observers` - `2026-08-16_dial_artistic_2b_supported_observers` - `2026-08-16_dial_artistic_2c_prototype_observers` - `2026-08-17_artistic_firefly_cricket_challenge_0` ### DIAL-CAN structural-obstruction calibration Bracket calibration, stochastic GAN dynamics, smooth observer ablation, decision regions, and finite-sample estimation. **Evidence boundary.** The finite-sample controller does not meet the full learned-controller target; style-classifier deviation is not theory extension. **Entry points.** run.py in each packet **Start here.** - `synthetic-creativity-archive:dial_can_0_bracket_calibration.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial_can_1_stochastic_gan.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial_can_1b_smooth_observer.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:dial_can_2_decision_regions.py` — implementation; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:dial_can_0_bracket_calibration.py` — implementation - `synthetic-creativity-archive:dial_can_1_stochastic_gan.py` — implementation - `synthetic-creativity-archive:dial_can_1b_smooth_observer.py` — implementation - `synthetic-creativity-archive:dial_can_2_decision_regions.py` — implementation - `synthetic-creativity-archive:dial_can_3_finite_estimator.py` — implementation **Authoritative artifacts.** RESULTS.md; registration.json **Resolved experiment records.** - `2026-08-18_dial_can_0_bracket_calibration_registered` - `2026-08-18_dial_can_1_stochastic_gan_registered` - `2026-08-18_dial_can_1b_smooth_observer_registered` - `2026-08-18_dial_can_2_decision_regions_registered` - `2026-08-18_dial_can_3_finite_estimator_registered` ### DILATE paintbrush geometry Residual calibration, intent-conditioned paintbrushes, algebroid paths, fiber metrics, connections, and held-out transport. **Evidence boundary.** The admitted PB2.2 package is a controlled reusable operator in the declared testbed, not an autonomous invention comparable to a historical artistic movement. **Entry points.** run.py in each packet **Start here.** - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_01_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_0_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_1_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_21_algebroid_path/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_01_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_0_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_1_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_21_algebroid_path/run.py` — runner - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_22_metric_connection/run.py` — runner - `synthetic-creativity-archive:2026-08-18_dial_can_paintbrush_2_intent/run.py` — runner **Authoritative artifacts.** RESULTS.md; DIAL target cards **Resolved experiment records.** - `2026-08-18_dial_can_paintbrush_01_registered` - `2026-08-18_dial_can_paintbrush_0_registered` - `2026-08-18_dial_can_paintbrush_1_registered` - `2026-08-18_dial_can_paintbrush_21_algebroid_path` - `2026-08-18_dial_can_paintbrush_22_metric_connection` - `2026-08-18_dial_can_paintbrush_2_intent` ### DILATE video, codec, and cross-video transport Egret factorization, semantic and structural codecs, corpus routing, conflict repair, and independent test-movie transport. **Evidence boundary.** Compositional technique discovery is not guaranteed to optimize compression; the two transport errors remain post-admission diagnostics. **Entry points.** run.py in each packet **Start here.** - `synthetic-creativity-archive:2026-08-19_dilate_codec_0_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-19_dilate_codec_1_structural_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-19_dilate_codec_2_sprite_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. - `synthetic-creativity-archive:2026-08-19_dilate_codec_3_semantic_track_registered/run.py` — runner; staged-not-public. Locate this file in the curated companion packet; no public download is currently offered. **Machine-resolved code surfaces.** - `synthetic-creativity-archive:2026-08-19_dilate_codec_0_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_codec_1_structural_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_codec_2_sprite_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_codec_3_semantic_track_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_egret_0_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_egret_1_factored_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_egret_2_cross_video_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_movies_0_theory_routing_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_movies_1_conflict_repair_registered/run.py` — runner - `synthetic-creativity-archive:2026-08-19_dilate_movies_2_independent_transport_registered/run.py` — runner **Authoritative artifacts.** RESULTS.md; PREREGISTRATION.md; metrics.json **Resolved experiment records.** - `2026-08-19_dilate_codec_0_registered` - `2026-08-19_dilate_codec_1_structural_registered` - `2026-08-19_dilate_codec_2_sprite_registered` - `2026-08-19_dilate_codec_3_semantic_track_registered` - `2026-08-19_dilate_egret_0_registered` - `2026-08-19_dilate_egret_1_factored_registered` - `2026-08-19_dilate_egret_2_cross_video_registered` - `2026-08-19_dilate_movies_0_theory_routing_registered` - `2026-08-19_dilate_movies_1_conflict_repair_registered` - `2026-08-19_dilate_movies_2_independent_transport_registered` ## Release rule A family marked `curation-required`, `local-curated`, or `mixed-provenance` must not gain a public download merely because its local directory exists. Publication requires a minimal README, executable command, frozen protocol, machine-readable results, human-readable summary, dependency and license record, and rights/privacy review.