To provide a seamless computational environment where high-level research across any discipline can be formally verified, causally modeled, and visually synthesized.
-
✓ Monorepo Transition: Consolidate 20+ standalone repos into a unified structure.
-
✓ Standard Documentation: Align all packages with
README.adocandROADMAP.adocstandards. -
❏ Unified CI: Implement a "Smart CI" that triggers tests based on changed subdirectories.
-
❏ Registry Submission: Register all core modules in the Julia General Registry using
subdirsupport.
-
❏ Post-Disciplinary Glue: Complete the
PostDisciplinary.jlorchestration layer to link all modules. -
❏ Cross-Modality Storage: Native integration of all packages with
VeriSimDBfor federated research. -
❏ Common Ontology: Define a shared entity schema (People, Proofs, Claims, Events) used across the entire ecosystem.
-
❏ Verification Standard: Ensure every library has at least one
Axiom.jl-verified property.
-
❏ Federated Search: Enable cross-institutional searching of research artifacts via
Skein.jl. -
❏ Axiomatic World Models: Build integrated models of global risk that combine physics, history, and social theory.
-
❏ Autonomous Researcher: AI agents that use the entire ecosystem to discover and prove cross-disciplinary relationships.
-
Move from property checking to full formal proof in
Axiom.jl. -
Implementation of verified Quantum and Homomorphic computing in
ProvenCrypto.jl.
-
Full
Seshatdatabank integration inCliodynamics.jl. -
Causal attribution of historical policy interventions in
Causals.jl.