Curated evidence library
A selective map of public papers and software, plus frozen local experiment packets that are described here without exposing raw research directories.
Catalog boundary
This catalog is selective. A link records relevance to a chapter and an evidentiary role; it does not transfer a paper, software package, or experiment packet's conclusions beyond its stated contract.
Classical identification-in-the-limit paradigm generalized by ORACLE from languages to categorical worlds and doctrines.
Boundary. Gold's results depend sharply on the presentation and hypothesis class; they do not imply unrestricted categorical identifiability.
Empirical and theoretical motivation for treating core knowledge as a structured prior over compositional worlds.
Boundary. The categorical doctrine proposed by ORACLE is an abstraction of the core-knowledge hypothesis, not a neuroscientific identification result.
paper
published conference paper
Public link checked September 7, 2026
Connects differential and tangent categorical structure, clarifying what tangent UOCL may discover and transport.
Boundary. The construction supplies mathematical infrastructure; it does not establish learnability of a tangent category from interaction.
Source paradigm for the PACC evolvability construction based on local mutations evaluated through statistical performance.
Boundary. PACC evolvability is a proposed categorical abstraction and requires separate representation, sampling, tolerance, and mutation assumptions.
Classical reference point for the UODL treatment of online comparison, regularized action, and bandit feedback.
Boundary. UODL changes the semantics of information, comparison, and composition; Hazan's regret results transfer only under explicit realization assumptions.
paper
arXiv preprint
Public link checked August 25, 2026
Primary paper-level statement of learning from typed failures of compositionality and their tangent lift.
Boundary. The formal framework does not by itself show that a chosen observer, scalarization, or repair improves an empirical task.
Develops the infinitesimal intervention and tangent-causal language inherited by the causal and simulator-grounded chapters.
Boundary. An infinitesimal diagnostic is not, without identification assumptions and external evidence, a certificate of causal structure.
paper
arXiv preprint
Public link checked August 25, 2026
Supplies the BRIDGE/SKFM geometric precursor for closure diagnostics and latent-confounding alternatives.
Boundary. Lie-bracket nonclosure is a typed diagnostic under registered semantics, not unique identification of a latent confounder.
paper
arXiv preprint
Public link checked August 25, 2026
Provides the Lie-algebroid skill-optimization substrate used by the DIAL-SkillOpt and OPTIC constructions.
Boundary. Optimization inside a supplied skill language is not evidence that the system invented a missing skill interface or grammar.
paper
arXiv preprint
Public link checked August 25, 2026
Provides the document, model, simulator, and foundry infrastructure inherited by the scientific-theory testbeds.
Boundary. Research orchestration and source-bearing causal extraction do not by themselves admit a scientific mechanism or research program.
Inspectable implementations of the axiomatic core and the BRIDGE/SKFM, ALLORA, LASKO, GIRL, LINCS-RLHF, RADAR, and SID application packages.
Boundary. The repository is a collection of research packages rather than one production library; smoke tests are not substitutes for the books' full empirical contracts.
experiment packet
frozen local evidence; not publicly attached
Collects the registered URL--0 through URL--4 protocols, outcomes, abstentions, and source summaries used in the mathematical-theory chapter.
Boundary. The packet supports bounded constructor recovery inside supplied formal languages, not autonomous formation of a mathematical field.
Local curated packet · public attachment requires provenance, rights, and privacy review.
experiment packet
frozen local evidence; not publicly attached
Collects the SGTE, CTTE, GLP-1 pilot, and GLP1-GRANT registered records used to separate simulator-, corpus-, and external-admission claims.
Boundary. Simulator and corpus-relative gates do not confer biological validity, causal identification, peer-review success, or fundability.
Local curated packet · public attachment requires provenance, rights, and privacy review.
experiment packet
frozen local evidence; not publicly attached
Collects the textual-inversion, natural-image, Bongard, and disclosed provider-repair records underlying the visual-language chapter.
Boundary. Contract-relative visual repair is assurance infrastructure; it is not by itself invention of a new visual language or artistic technique.
Local curated packet · public attachment requires provenance, rights, and privacy review.
experiment packet
frozen local evidence; not publicly attached
Collects mixed-bracket, paintbrush-routing, and movie-transport calibrations used in the artistic-theory-extension chapter.
Boundary. The packet supports local selection and transport within supplied paintbrush languages, not invention and admission of a previously unavailable artistic generator.
Local curated packet · public attachment requires provenance, rights, and privacy review.