{ "schemaVersion": 1, "lastAudited": "2026-08-25", "boundary": "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.", "stats": { "packageCount": 20, "publicProjectPackageCount": 13, "publicExternalDependencyCount": 2, "forthcomingCompanionCount": 5, "experimentFamilyCount": 38, "packageFamilyLinkCount": 50 }, "packages": [ { "id": "atlas-csql-archive", "title": "ATLAS CSQL database archive", "kind": "research archive", "access": "curated-local-forthcoming", "status": "local-not-public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Checked categorical SQL database instances and summaries used by the CSQL chapter.", "license": null, "repositoryUrl": null, "auditedRevision": null, "auditedUrl": null, "lastChecked": null, "experimentFamilies": [ { "id": "catagi-csql", "title": "CSQL and ATLAS database construction", "bookId": "categories-for-agi", "chapters": [ 21 ], "siteRoute": "/experiments/catagi-csql", "codeRecordCount": 3, "startHereCount": 3 } ], "forthcomingCompanion": { "disposition": "curate-separately", "releaseStatus": "private-clean-environment-verified", "sourceFileCount": 3, "sourceBytes": 19008, "requiredBeforePublication": [ "Choose a license for the public companion", "Decide whether the corpus-specific notebook belongs in the public packet and pin its separate environment" ] } }, { "id": "deep-url-archive", "title": "GT RL Coalgebra archive", "kind": "research archive", "access": "curated-local-forthcoming", "status": "local-not-public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Thirty-run Deep URL, GT, and diagrammatic-backpropagation experiment artifacts.", "license": null, "repositoryUrl": null, "auditedRevision": null, "auditedUrl": null, "lastChecked": null, "experimentFamilies": [ { "id": "catagi-deep-url", "title": "Deep Universal Reinforcement Learning", "bookId": "categories-for-agi", "chapters": [ 28 ], "siteRoute": "/experiments/catagi-deep-url", "codeRecordCount": 5, "startHereCount": 4 } ], "forthcomingCompanion": { "disposition": "curate-separately", "releaseStatus": "private-clean-environment-verified", "sourceFileCount": 5, "sourceBytes": 35994, "requiredBeforePublication": [ "Choose a license for the public companion" ] } }, { "id": "categories-gt-archive", "title": "Geometric and Kan Extension Transformer archive", "kind": "research archive", "access": "curated-local-forthcoming", "status": "local-not-public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "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.", "license": null, "repositoryUrl": null, "auditedRevision": null, "auditedUrl": null, "lastChecked": null, "experimentFamilies": [ { "id": "catagi-db-gt", "title": "Diagrammatic Backpropagation and Geometric Transformers", "bookId": "categories-for-agi", "chapters": [ 6, 7, 8 ], "siteRoute": "/experiments/catagi-db-gt", "codeRecordCount": 8, "startHereCount": 4 }, { "id": "catagi-gt-meanfield", "title": "Mean-field diagnostics for Geometric Transformers", "bookId": "categories-for-agi", "chapters": [ 13 ], "siteRoute": "/experiments/catagi-gt-meanfield", "codeRecordCount": 8, "startHereCount": 4 }, { "id": "catagi-gt-scaling", "title": "Depth sweeps for Geometric Transformers", "bookId": "categories-for-agi", "chapters": [ 14 ], "siteRoute": "/experiments/catagi-gt-scaling", "codeRecordCount": 6, "startHereCount": 4 }, { "id": "catagi-information-ket", "title": "GT information regimes, KET, and TopoCoend", "bookId": "categories-for-agi", "chapters": [ 9, 10, 11 ], "siteRoute": "/experiments/catagi-information-ket", "codeRecordCount": 42, "startHereCount": 4 } ], "forthcomingCompanion": { "disposition": "split-release", "releaseStatus": "private-clean-environment-verified", "sourceFileCount": 35, "sourceBytes": 476306, "requiredBeforePublication": [ "Choose the companion repository boundary and license", "Recover per-step raw logs for the Chapter 8 plots if they still exist; otherwise retain their explicit archived plot-only status", "Preserve Chapters 13–14 as archived-only evidence unless complete raw run artifacts are found" ] } }, { "id": "synthetic-creativity-archive", "title": "Infinitesimal Creativity registered experiment archive", "kind": "registered research archive", "access": "curated-local-forthcoming", "status": "local-curated", "bookIds": [ "infinitesimal-creativity" ], "maintainer": "Sridhar Mahadevan", "summary": "Registered, developmental, negative, and transport experiment directories underlying Chapters 10–19. Public packets require separate provenance, dependency, rights, and privacy review.", "license": null, "repositoryUrl": null, "auditedRevision": null, "auditedUrl": null, "lastChecked": null, "experimentFamilies": [ { "id": "ic-agentic", "title": "AGENTIC workflow composition", "bookId": "infinitesimal-creativity", "chapters": [ 14 ], "siteRoute": "/experiments/ic-agentic", "codeRecordCount": 8, "startHereCount": 4 }, { "id": "ic-ai-feynman", "title": "Categorical AI-Feynman ladder", "bookId": "infinitesimal-creativity", "chapters": [ 15 ], "siteRoute": "/experiments/ic-ai-feynman", "codeRecordCount": 6, "startHereCount": 4 }, { "id": "ic-artistic-bongard", "title": "ARTISTIC Bongard problems", "bookId": "infinitesimal-creativity", "chapters": [ 18 ], "siteRoute": "/experiments/ic-artistic-bongard", "codeRecordCount": 9, "startHereCount": 4 }, { "id": "ic-artistic-sports", "title": "ARTISTIC sports, pose, and scene enforcement", "bookId": "infinitesimal-creativity", "chapters": [ 18 ], "siteRoute": "/experiments/ic-artistic-sports", "codeRecordCount": 21, "startHereCount": 4 }, { "id": "ic-artistic-ti-ni", "title": "ARTISTIC textual-inversion and natural-image ladder", "bookId": "infinitesimal-creativity", "chapters": [ 18 ], "siteRoute": "/experiments/ic-artistic-ti-ni", "codeRecordCount": 74, "startHereCount": 4 }, { "id": "ic-clic", "title": "CLIC / DIAL-SKFM", "bookId": "infinitesimal-creativity", "chapters": [ 11 ], "siteRoute": "/experiments/ic-clic", "codeRecordCount": 32, "startHereCount": 4 }, { "id": "ic-ctte", "title": "Corpus-to-testable-theory construction", "bookId": "infinitesimal-creativity", "chapters": [ 17 ], "siteRoute": "/experiments/ic-ctte", "codeRecordCount": 6, "startHereCount": 4 }, { "id": "ic-dial-allora", "title": "DIAL-ALLORA prototype ladder", "bookId": "infinitesimal-creativity", "chapters": [ 10 ], "siteRoute": "/experiments/ic-dial-allora", "codeRecordCount": 39, "startHereCount": 4 }, { "id": "ic-dial-can", "title": "DIAL-CAN structural-obstruction calibration", "bookId": "infinitesimal-creativity", "chapters": [ 19 ], "siteRoute": "/experiments/ic-dial-can", "codeRecordCount": 5, "startHereCount": 4 }, { "id": "ic-dial-core", "title": "DIAL core ablation ladder", "bookId": "infinitesimal-creativity", "chapters": [ 10 ], "siteRoute": "/experiments/ic-dial-core", "codeRecordCount": 11, "startHereCount": 4 }, { "id": "ic-dial-url", "title": "DIAL-URL coalgebraic theory construction", "bookId": "infinitesimal-creativity", "chapters": [ 15 ], "siteRoute": "/experiments/ic-dial-url", "codeRecordCount": 5, "startHereCount": 4 }, { "id": "ic-dilate-paintbrush", "title": "DILATE paintbrush geometry", "bookId": "infinitesimal-creativity", "chapters": [ 19 ], "siteRoute": "/experiments/ic-dilate-paintbrush", "codeRecordCount": 6, "startHereCount": 4 }, { "id": "ic-dilate-video", "title": "DILATE video, codec, and cross-video transport", "bookId": "infinitesimal-creativity", "chapters": [ 19 ], "siteRoute": "/experiments/ic-dilate-video", "codeRecordCount": 10, "startHereCount": 4 }, { "id": "ic-glp1", "title": "GLP-1 theory and grant construction", "bookId": "infinitesimal-creativity", "chapters": [ 17 ], "siteRoute": "/experiments/ic-glp1", "codeRecordCount": 11, "startHereCount": 4 }, { "id": "ic-ipc", "title": "Infinitesimal pattern-construction ladder", "bookId": "infinitesimal-creativity", "chapters": [ 15 ], "siteRoute": "/experiments/ic-ipc", "codeRecordCount": 21, "startHereCount": 4 }, { "id": "ic-lea", "title": "AGENTIC-Lea theorem-construction ladder", "bookId": "infinitesimal-creativity", "chapters": [ 15 ], "siteRoute": "/experiments/ic-lea", "codeRecordCount": 21, "startHereCount": 4 }, { "id": "ic-optic", "title": "OPTIC / DIAL-SkillOpt", "bookId": "infinitesimal-creativity", "chapters": [ 12 ], "siteRoute": "/experiments/ic-optic", "codeRecordCount": 5, "startHereCount": 4 }, { "id": "ic-relic", "title": "RELIC and DIAL-Schema-GIRL", "bookId": "infinitesimal-creativity", "chapters": [ 13 ], "siteRoute": "/experiments/ic-relic", "codeRecordCount": 64, "startHereCount": 4 }, { "id": "ic-sgte", "title": "Simulator-grounded theory extension", "bookId": "infinitesimal-creativity", "chapters": [ 16 ], "siteRoute": "/experiments/ic-sgte", "codeRecordCount": 4, "startHereCount": 4 } ], "forthcomingCompanion": { "disposition": "dedicated-repository", "releaseStatus": "private-cpu-smoke-and-result-packet-verified", "sourceFileCount": 288, "sourceBytes": 3723688, "requiredBeforePublication": [ "Separate reusable library code from one-off experiment drivers", "Choose a license, dependency policy, model-access policy, and media provenance format", "Complete manual security, privacy, and publication review beyond the passing narrow path, credential-pattern, media-type, and file-size checks", "Publish or vendor the six-file alfworld_bridge dependency" ] } }, { "id": "kan-do-dcdi-archive", "title": "Kan-do DCDI experiment archive", "kind": "research archive", "access": "curated-local-forthcoming", "status": "local-not-public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "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.", "license": null, "repositoryUrl": null, "auditedRevision": null, "auditedUrl": null, "lastChecked": null, "experimentFamilies": [ { "id": "catagi-judo", "title": "Judo Calculus causal-discovery experiments", "bookId": "categories-for-agi", "chapters": [ 20 ], "siteRoute": "/experiments/catagi-judo", "codeRecordCount": 31, "startHereCount": 4 } ], "forthcomingCompanion": { "disposition": "merge-or-snapshot", "releaseStatus": "private-clean-artifact-verified", "sourceFileCount": 21, "sourceBytes": 73720, "requiredBeforePublication": [ "Decide whether the packet belongs in Causal Discovery on Sheaves or a dated snapshot repository", "Choose a license compatible with the public companion", "Document redistribution rights and provenance for the Sachs, LINCS, and PISA inputs", "Repair the PISA runner's diagnostic formatting defect and repeat the retained experiments in a clean environment" ] } }, { "id": "diffusers-upstream", "title": "Hugging Face Diffusers", "kind": "external dependency", "access": "public-external-pinned", "status": "public-external", "bookIds": [ "infinitesimal-creativity" ], "maintainer": "Hugging Face", "summary": "External diffusion and textual-inversion infrastructure used in the ARTISTIC experiments.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/huggingface/diffusers", "auditedRevision": "efabd60d61c2b7aabf9f182bee6b5b6058980304", "auditedUrl": "https://github.com/huggingface/diffusers/tree/efabd60d61c2b7aabf9f182bee6b5b6058980304", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "ic-artistic-sports", "title": "ARTISTIC sports, pose, and scene enforcement", "bookId": "infinitesimal-creativity", "chapters": [ 18 ], "siteRoute": "/experiments/ic-artistic-sports", "codeRecordCount": 21, "startHereCount": 4 }, { "id": "ic-artistic-ti-ni", "title": "ARTISTIC textual-inversion and natural-image ladder", "bookId": "infinitesimal-creativity", "chapters": [ 18 ], "siteRoute": "/experiments/ic-artistic-ti-ni", "codeRecordCount": 74, "startHereCount": 4 } ] }, { "id": "lea-upstream", "title": "Lea theorem prover", "kind": "external dependency", "access": "public-external-pinned", "status": "public-external", "bookIds": [ "infinitesimal-creativity" ], "maintainer": "VIDA NYU", "summary": "External Lean-based theorem-proving dependency used by the AGENTIC–Lea studies.", "license": "upstream license", "repositoryUrl": "https://github.com/VIDA-NYU/Lea", "auditedRevision": "790853c89522bf5899feeb0052b795326feee720", "auditedUrl": "https://github.com/VIDA-NYU/Lea/tree/790853c89522bf5899feeb0052b795326feee720", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "ic-lea", "title": "AGENTIC-Lea theorem-construction ladder", "bookId": "infinitesimal-creativity", "chapters": [ 15 ], "siteRoute": "/experiments/ic-lea", "codeRecordCount": 21, "startHereCount": 4 } ] }, { "id": "basket-rocket-archive", "title": "BASKET and ROCKET experiment archive", "kind": "research archive", "access": "public-project-pinned", "status": "public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Public source-first BASKET and ROCKET workspace; large generated outputs remain outside the public repository and are represented separately as evidence records.", "license": "not specified", "repositoryUrl": "https://github.com/sridharmahadevan/BASKET", "auditedRevision": "c43d21983f89310341cf476285b461cd7e257d44", "auditedUrl": "https://github.com/sridharmahadevan/BASKET/tree/c43d21983f89310341cf476285b461cd7e257d44", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "catagi-basket-rocket", "title": "BASKET and ROCKET workflow construction", "bookId": "categories-for-agi", "chapters": [ 18, 24 ], "siteRoute": "/experiments/catagi-basket-rocket", "codeRecordCount": 11, "startHereCount": 4 } ] }, { "id": "brand-democritus", "title": "Brand-aware temporal Democritus", "kind": "software and results", "access": "public-project-pinned", "status": "public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Temporal denoising and animation workflow for company-year causal and brand trajectories.", "license": "not specified", "repositoryUrl": "https://github.com/sridharmahadevan/brand_democritus_block_denoise", "auditedRevision": "b49daac62c437d136d0412282692e9b425bb0739", "auditedUrl": "https://github.com/sridharmahadevan/brand_democritus_block_denoise/tree/b49daac62c437d136d0412282692e9b425bb0739", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "catagi-brand-democritus", "title": "Temporal diffusion over company causal trajectories", "bookId": "categories-for-agi", "chapters": [ 17 ], "siteRoute": "/experiments/catagi-brand-democritus", "codeRecordCount": 4, "startHereCount": 4 } ] }, { "id": "catagi-lean", "title": "Categories for AGI Lean companion", "kind": "formal companion", "access": "public-project-pinned", "status": "public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Machine-checked structural companion for selected categorical statements in Categories for AGI.", "license": "MIT", "repositoryUrl": "https://github.com/sridharmahadevan/catagi", "auditedRevision": "8ce79cdc949604873aca279d6cfcafa992293eb8", "auditedUrl": "https://github.com/sridharmahadevan/catagi/tree/8ce79cdc949604873aca279d6cfcafa992293eb8", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "catagi-db-gt", "title": "Diagrammatic Backpropagation and Geometric Transformers", "bookId": "categories-for-agi", "chapters": [ 6, 7, 8 ], "siteRoute": "/experiments/catagi-db-gt", "codeRecordCount": 8, "startHereCount": 4 }, { "id": "catagi-deep-url", "title": "Deep Universal Reinforcement Learning", "bookId": "categories-for-agi", "chapters": [ 28 ], "siteRoute": "/experiments/catagi-deep-url", "codeRecordCount": 5, "startHereCount": 4 } ] }, { "id": "causal-sheaves", "title": "Causal Discovery on Sheaves", "kind": "software", "access": "public-project-pinned", "status": "public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Sheaf-theoretic causal-discovery implementation and artifacts supporting the Judo Calculus studies.", "license": "not specified", "repositoryUrl": "https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves", "auditedRevision": "875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39", "auditedUrl": "https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/tree/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "catagi-judo", "title": "Judo Calculus causal-discovery experiments", "bookId": "categories-for-agi", "chapters": [ 20 ], "siteRoute": "/experiments/catagi-judo", "codeRecordCount": 31, "startHereCount": 4 } ] }, { "id": "democritus-openai", "title": "Democritus causal-claim extraction", "kind": "software", "access": "public-project-pinned", "status": "public", "bookIds": [ "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Document-to-causal-claim pipeline, including the Geometric Transformer manifold branch used by the current Democritus account.", "license": "not specified", "repositoryUrl": "https://github.com/sridharmahadevan/Democritus_OpenAI", "auditedRevision": "0fb1f8ba2f67f2906de5a3435c464751fe20c6d9", "auditedUrl": "https://github.com/sridharmahadevan/Democritus_OpenAI/tree/0fb1f8ba2f67f2906de5a3435c464751fe20c6d9", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "catagi-csql", "title": "CSQL and ATLAS database construction", "bookId": "categories-for-agi", "chapters": [ 21 ], "siteRoute": "/experiments/catagi-csql", "codeRecordCount": 3, "startHereCount": 3 }, { "id": "catagi-democritus", "title": "Democritus causal claims from language", "bookId": "categories-for-agi", "chapters": [ 16, 22 ], "siteRoute": "/experiments/catagi-democritus", "codeRecordCount": 3, "startHereCount": 3 } ] }, { "id": "lincs-allora", "title": "LINCS ALLORA and LINCS-KET package", "kind": "software package", "access": "public-project-pinned", "status": "public", "bookIds": [ "categories-for-agi", "machine-learning-from-enforcing-compositionality", "infinitesimal-creativity" ], "maintainer": "Sridhar Mahadevan", "summary": "Adapter-composition and KET repair implementations with smoke and extended experiment entry points.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS/tree/main/packages/allora", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/allora", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "catagi-information-ket", "title": "GT information regimes, KET, and TopoCoend", "bookId": "categories-for-agi", "chapters": [ 9, 10, 11 ], "siteRoute": "/experiments/catagi-information-ket", "codeRecordCount": 42, "startHereCount": 4 }, { "id": "ic-dial-allora", "title": "DIAL-ALLORA prototype ladder", "bookId": "infinitesimal-creativity", "chapters": [ 10 ], "siteRoute": "/experiments/ic-dial-allora", "codeRecordCount": 39, "startHereCount": 4 }, { "id": "lincs-allora-family", "title": "ALLORA adapter composition", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 13 ], "siteRoute": "/experiments/lincs-allora-family", "codeRecordCount": 16, "startHereCount": 4 }, { "id": "lincs-ket-family", "title": "LINCS-KET blockwise repair", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 12 ], "siteRoute": "/experiments/lincs-ket-family", "codeRecordCount": 37, "startHereCount": 4 } ] }, { "id": "lincs-bridge-skfm", "title": "LINCS BRIDGE/SKFM package", "kind": "software package", "access": "public-project-pinned", "status": "public", "bookIds": [ "machine-learning-from-enforcing-compositionality", "infinitesimal-creativity" ], "maintainer": "Sridhar Mahadevan", "summary": "Lie-bracket screening and SKFM causal-discovery experiments.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS/tree/main/packages/bridge_skfm", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "ic-clic", "title": "CLIC / DIAL-SKFM", "bookId": "infinitesimal-creativity", "chapters": [ 11 ], "siteRoute": "/experiments/ic-clic", "codeRecordCount": 32, "startHereCount": 4 }, { "id": "lincs-bridge-skfm-family", "title": "BRIDGE/SKFM geometric causal discovery", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 11 ], "siteRoute": "/experiments/lincs-bridge-skfm-family", "codeRecordCount": 30, "startHereCount": 4 } ] }, { "id": "lincs-girl", "title": "LINCS GIRL package", "kind": "software package", "access": "public-project-pinned", "status": "public", "bookIds": [ "machine-learning-from-enforcing-compositionality", "infinitesimal-creativity" ], "maintainer": "Sridhar Mahadevan", "summary": "Infinitesimal reinforcement learning, policy transport, and structural-admission experiments.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS/tree/main/packages/girl", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/girl", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "ic-relic", "title": "RELIC and DIAL-Schema-GIRL", "bookId": "infinitesimal-creativity", "chapters": [ 13 ], "siteRoute": "/experiments/ic-relic", "codeRecordCount": 64, "startHereCount": 4 }, { "id": "lincs-girl-family", "title": "GIRL infinitesimal reinforcement learning", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 15 ], "siteRoute": "/experiments/lincs-girl-family", "codeRecordCount": 24, "startHereCount": 4 } ] }, { "id": "lincs-lasko", "title": "LINCS LASKO package", "kind": "software package", "access": "public-project-pinned", "status": "public", "bookIds": [ "machine-learning-from-enforcing-compositionality", "infinitesimal-creativity" ], "maintainer": "Sridhar Mahadevan", "summary": "Lie-algebroid skill optimization and validation-economics experiments.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS/tree/main/packages/lasko", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lasko", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "ic-optic", "title": "OPTIC / DIAL-SkillOpt", "bookId": "infinitesimal-creativity", "chapters": [ 12 ], "siteRoute": "/experiments/ic-optic", "codeRecordCount": 5, "startHereCount": 4 }, { "id": "lincs-lasko-family", "title": "LASKO skill optimization", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 14 ], "siteRoute": "/experiments/lincs-lasko-family", "codeRecordCount": 3, "startHereCount": 3 } ] }, { "id": "lincs-radar", "title": "LINCS RADAR package", "kind": "software package", "access": "public-project-pinned", "status": "public", "bookIds": [ "machine-learning-from-enforcing-compositionality", "categories-for-agi" ], "maintainer": "Sridhar Mahadevan", "summary": "Relational manifold, descent, chart-repair, and MovieLens studies.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS/tree/main/packages/radar", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/radar", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "catagi-gt-manifold", "title": "Relational manifold learning with Geometric Transformers", "bookId": "categories-for-agi", "chapters": [ 12 ], "siteRoute": "/experiments/catagi-gt-manifold", "codeRecordCount": 12, "startHereCount": 4 }, { "id": "lincs-radar-family", "title": "RADAR relational manifold recovery", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 17 ], "siteRoute": "/experiments/lincs-radar-family", "codeRecordCount": 14, "startHereCount": 4 } ] }, { "id": "lincs-sid", "title": "LINCS SID package", "kind": "software package", "access": "public-project-pinned", "status": "public", "bookIds": [ "machine-learning-from-enforcing-compositionality" ], "maintainer": "Sridhar Mahadevan", "summary": "Typed descent and obstruction-aware information-fusion replays.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS/tree/main/packages/sid", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/sid", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "lincs-sid-family", "title": "SID sheaf-based distributed learning", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 18 ], "siteRoute": "/experiments/lincs-sid-family", "codeRecordCount": 7, "startHereCount": 4 } ] }, { "id": "lincs-companion", "title": "LINCS software companion", "kind": "multi-package software companion", "access": "public-project-pinned", "status": "public", "bookIds": [ "machine-learning-from-enforcing-compositionality" ], "maintainer": "Sridhar Mahadevan", "summary": "Public companion containing formal, BRIDGE/SKFM, ALLORA, LASKO, GIRL, LINCS-RLHF, RADAR, and SID packages.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875", "lastChecked": "2026-08-25", "experimentFamilies": [] }, { "id": "lincs-rlhf", "title": "LINCS-RLHF package", "kind": "software package", "access": "public-project-pinned", "status": "public", "bookIds": [ "machine-learning-from-enforcing-compositionality" ], "maintainer": "Sridhar Mahadevan", "summary": "Preference-obstruction simulations and relational fallback studies.", "license": "Apache-2.0", "repositoryUrl": "https://github.com/sridharmahadevan/LINCS/tree/main/packages/lincs_rlhf", "auditedRevision": "c78bfe50ded8d40db90c614e40dd2e0e146a9875", "auditedUrl": "https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/lincs_rlhf", "lastChecked": "2026-08-25", "experimentFamilies": [ { "id": "lincs-rlhf-family", "title": "LINCS-RLHF preference experiments", "bookId": "machine-learning-from-enforcing-compositionality", "chapters": [ 16 ], "siteRoute": "/experiments/lincs-rlhf-family", "codeRecordCount": 3, "startHereCount": 3 } ] } ] }