# Software catalog Last audited: 2026-08-25 A package entry records the exact software destination audited for the current digital edition. Public links are revision-pinned. A forthcoming entry is a checksum-controlled local release candidate, not a public download and not a claim of independent replication. ## Coverage - 20 registered packages - 13 public project packages - 2 pinned external dependencies - 5 curated forthcoming companions - 38 experiment families - 50 package-to-family relationships ## Public project packages ### BASKET and ROCKET experiment archive Public source-first BASKET and ROCKET workspace; large generated outputs remain outside the public repository and are represented separately as evidence records. - Registry ID: `basket-rocket-archive` - Books: categories-for-agi - License: not specified - Audited source: - Revision: `c43d21983f89310341cf476285b461cd7e257d44` - Experiment families: [BASKET and ROCKET workflow construction](/experiments/catagi-basket-rocket) ### Brand-aware temporal Democritus Temporal denoising and animation workflow for company-year causal and brand trajectories. - Registry ID: `brand-democritus` - Books: categories-for-agi - License: not specified - Audited source: - Revision: `b49daac62c437d136d0412282692e9b425bb0739` - Experiment families: [Temporal diffusion over company causal trajectories](/experiments/catagi-brand-democritus) ### Categories for AGI Lean companion Machine-checked structural companion for selected categorical statements in Categories for AGI. - Registry ID: `catagi-lean` - Books: categories-for-agi - License: MIT - Audited source: - Revision: `8ce79cdc949604873aca279d6cfcafa992293eb8` - Experiment families: [Diagrammatic Backpropagation and Geometric Transformers](/experiments/catagi-db-gt); [Deep Universal Reinforcement Learning](/experiments/catagi-deep-url) ### Causal Discovery on Sheaves Sheaf-theoretic causal-discovery implementation and artifacts supporting the Judo Calculus studies. - Registry ID: `causal-sheaves` - Books: categories-for-agi - License: not specified - Audited source: - Revision: `875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39` - Experiment families: [Judo Calculus causal-discovery experiments](/experiments/catagi-judo) ### Democritus causal-claim extraction Document-to-causal-claim pipeline, including the Geometric Transformer manifold branch used by the current Democritus account. - Registry ID: `democritus-openai` - Books: categories-for-agi - License: not specified - Audited source: - Revision: `0fb1f8ba2f67f2906de5a3435c464751fe20c6d9` - Experiment families: [CSQL and ATLAS database construction](/experiments/catagi-csql); [Democritus causal claims from language](/experiments/catagi-democritus) ### LINCS ALLORA and LINCS-KET package Adapter-composition and KET repair implementations with smoke and extended experiment entry points. - Registry ID: `lincs-allora` - Books: categories-for-agi, machine-learning-from-enforcing-compositionality, infinitesimal-creativity - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: [GT information regimes, KET, and TopoCoend](/experiments/catagi-information-ket); [DIAL-ALLORA prototype ladder](/experiments/ic-dial-allora); [ALLORA adapter composition](/experiments/lincs-allora-family); [LINCS-KET blockwise repair](/experiments/lincs-ket-family) ### LINCS BRIDGE/SKFM package Lie-bracket screening and SKFM causal-discovery experiments. - Registry ID: `lincs-bridge-skfm` - Books: machine-learning-from-enforcing-compositionality, infinitesimal-creativity - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: [CLIC / DIAL-SKFM](/experiments/ic-clic); [BRIDGE/SKFM geometric causal discovery](/experiments/lincs-bridge-skfm-family) ### LINCS GIRL package Infinitesimal reinforcement learning, policy transport, and structural-admission experiments. - Registry ID: `lincs-girl` - Books: machine-learning-from-enforcing-compositionality, infinitesimal-creativity - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: [RELIC and DIAL-Schema-GIRL](/experiments/ic-relic); [GIRL infinitesimal reinforcement learning](/experiments/lincs-girl-family) ### LINCS LASKO package Lie-algebroid skill optimization and validation-economics experiments. - Registry ID: `lincs-lasko` - Books: machine-learning-from-enforcing-compositionality, infinitesimal-creativity - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: [OPTIC / DIAL-SkillOpt](/experiments/ic-optic); [LASKO skill optimization](/experiments/lincs-lasko-family) ### LINCS RADAR package Relational manifold, descent, chart-repair, and MovieLens studies. - Registry ID: `lincs-radar` - Books: machine-learning-from-enforcing-compositionality, categories-for-agi - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: [Relational manifold learning with Geometric Transformers](/experiments/catagi-gt-manifold); [RADAR relational manifold recovery](/experiments/lincs-radar-family) ### LINCS SID package Typed descent and obstruction-aware information-fusion replays. - Registry ID: `lincs-sid` - Books: machine-learning-from-enforcing-compositionality - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: [SID sheaf-based distributed learning](/experiments/lincs-sid-family) ### LINCS software companion Public companion containing formal, BRIDGE/SKFM, ALLORA, LASKO, GIRL, LINCS-RLHF, RADAR, and SID packages. - Registry ID: `lincs-companion` - Books: machine-learning-from-enforcing-compositionality - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: None recorded ### LINCS-RLHF package Preference-obstruction simulations and relational fallback studies. - Registry ID: `lincs-rlhf` - Books: machine-learning-from-enforcing-compositionality - License: Apache-2.0 - Audited source: - Revision: `c78bfe50ded8d40db90c614e40dd2e0e146a9875` - Experiment families: [LINCS-RLHF preference experiments](/experiments/lincs-rlhf-family) ## External dependencies ### Hugging Face Diffusers External diffusion and textual-inversion infrastructure used in the ARTISTIC experiments. - Registry ID: `diffusers-upstream` - Books: infinitesimal-creativity - License: Apache-2.0 - Audited source: - Revision: `efabd60d61c2b7aabf9f182bee6b5b6058980304` - Experiment families: [ARTISTIC sports, pose, and scene enforcement](/experiments/ic-artistic-sports); [ARTISTIC textual-inversion and natural-image ladder](/experiments/ic-artistic-ti-ni) ### Lea theorem prover External Lean-based theorem-proving dependency used by the AGENTIC–Lea studies. - Registry ID: `lea-upstream` - Books: infinitesimal-creativity - License: upstream license - Audited source: - Revision: `790853c89522bf5899feeb0052b795326feee720` - Experiment families: [AGENTIC-Lea theorem-construction ladder](/experiments/ic-lea) ## Forthcoming companions ### ATLAS CSQL database archive Checked categorical SQL database instances and summaries used by the CSQL chapter. - Registry ID: `atlas-csql-archive` - Books: categories-for-agi - License: Decision required - Release status: private-clean-environment-verified - Curated surface: 3 files; 19008 bytes - Experiment families: [CSQL and ATLAS database construction](/experiments/catagi-csql) ### GT RL Coalgebra archive Thirty-run Deep URL, GT, and diagrammatic-backpropagation experiment artifacts. - Registry ID: `deep-url-archive` - Books: categories-for-agi - License: Decision required - Release status: private-clean-environment-verified - Curated surface: 5 files; 35994 bytes - Experiment families: [Deep Universal Reinforcement Learning](/experiments/catagi-deep-url) ### Geometric and Kan Extension Transformer archive Working scripts and result directories for DB, GT, KET, language modeling, manifold, mean-field, and scaling studies. A curated public packet remains to be extracted. - Registry ID: `categories-gt-archive` - Books: categories-for-agi - License: Decision required - Release status: private-clean-environment-verified - Curated surface: 35 files; 476306 bytes - Experiment families: [Diagrammatic Backpropagation and Geometric Transformers](/experiments/catagi-db-gt); [Mean-field diagnostics for Geometric Transformers](/experiments/catagi-gt-meanfield); [Depth sweeps for Geometric Transformers](/experiments/catagi-gt-scaling); [GT information regimes, KET, and TopoCoend](/experiments/catagi-information-ket) ### Infinitesimal Creativity registered experiment archive Registered, developmental, negative, and transport experiment directories underlying Chapters 10–19. Public packets require separate provenance, dependency, rights, and privacy review. - Registry ID: `synthetic-creativity-archive` - Books: infinitesimal-creativity - License: Decision required - Release status: private-cpu-smoke-and-result-packet-verified - Curated surface: 288 files; 3723688 bytes - Experiment families: [AGENTIC workflow composition](/experiments/ic-agentic); [Categorical AI-Feynman ladder](/experiments/ic-ai-feynman); [ARTISTIC Bongard problems](/experiments/ic-artistic-bongard); [ARTISTIC sports, pose, and scene enforcement](/experiments/ic-artistic-sports); [ARTISTIC textual-inversion and natural-image ladder](/experiments/ic-artistic-ti-ni); [CLIC / DIAL-SKFM](/experiments/ic-clic); [Corpus-to-testable-theory construction](/experiments/ic-ctte); [DIAL-ALLORA prototype ladder](/experiments/ic-dial-allora); [DIAL-CAN structural-obstruction calibration](/experiments/ic-dial-can); [DIAL core ablation ladder](/experiments/ic-dial-core); [DIAL-URL coalgebraic theory construction](/experiments/ic-dial-url); [DILATE paintbrush geometry](/experiments/ic-dilate-paintbrush); [DILATE video, codec, and cross-video transport](/experiments/ic-dilate-video); [GLP-1 theory and grant construction](/experiments/ic-glp1); [Infinitesimal pattern-construction ladder](/experiments/ic-ipc); [AGENTIC-Lea theorem-construction ladder](/experiments/ic-lea); [OPTIC / DIAL-SkillOpt](/experiments/ic-optic); [RELIC and DIAL-Schema-GIRL](/experiments/ic-relic); [Simulator-grounded theory extension](/experiments/ic-sgte) ### Kan-do DCDI experiment archive Additional Judo Calculus drivers, regime-stability studies, and archived result tables used alongside Causal Discovery on Sheaves. A curated public packet remains to be prepared. - Registry ID: `kan-do-dcdi-archive` - Books: categories-for-agi - License: Decision required - Release status: private-clean-artifact-verified - Curated surface: 21 files; 73720 bytes - Experiment families: [Judo Calculus causal-discovery experiments](/experiments/catagi-judo)