| name | step-diagonalize |
| description | Self-application of the split/merge pipeline to Aristotle's own codebase. Gödelian self-improvement: find minimal self-referential kernel, rebuild clean workspace, repair with SPARQL/GOAP. Phase 5 of the self-improvement cycle. |
Step: diagonalize — Self-Application (Gödelian Loop)
The core self-improvement phase. Applies the Aristotle pipeline to itself.
Sub-commands
--core-only — Find Minimal Self-Referential Kernel
aristotle-manager diagonalize --core-only
- Build self-project mirror from
arist/src/ + splitter-engine/ + *.sh + *.nix
- Run all 5 language splitters on the self-project
- Discover variant sources from all server projects
- Build dependency graph across ALL declarations
- Extract top 50% most-referenced declarations as minimal core
- Report results:
minimal-core.json, variant-index.json
--rebuild — Merge Sources into Unified Workspace
aristotle-manager diagonalize --rebuild
Merges arist/src/ + vendormod/src/ + split-decls-rs/src/ into unified/.
Preserves directory structure, generates mod.rs, Cargo.toml, flake.nix.
--from-lattice — Regenerate from Variant Index
aristotle-manager diagonalize --from-lattice
Reads variant-index.json + raw source from 3 projects.
Rewrites paths to produce lattice-workspace/ with clean structure.
--repair — SPARQL + GOAP Fixes
aristotle-manager diagonalize --repair
Pushes unified-tool to RDF graph, runs SPARQL queries, applies fixes,
verifies compilation. Uses GOAP planner to prove fix correctness.
Output Structure
diagonalize-results/
├── self-project/ # mirrored source files
├── self-split/ # per-declaration splits
├── merged-with-variants/ # cross-project merged pool
├── minimal-core/ # top declarations
│ ├── minimal-core.json
│ └── variant-index.json
├── variants-applied/ # diagonalized reflections
├── unified/ # --rebuild workspace
├── lattice-workspace/ # --from-lattice workspace
└── unified-tool/ # --repair workspace
Historical Results (2026-06-26)
| Metric | Value |
|---|
| Self-project files | 130,200 |
| Variant sources | 4,917 |
| Unique declarations | 18,648 |
| Minimal core | 91 declarations |
| Top decls | Mathlib (34,793 refs), Eq (13,157), MicroLean_MicroLeanType (6,175 self!) |
Related Skills
- [[self-improve-pipeline]] — Full cycle overview
- [[step-dasl-finish]] — Previous step
- [[step-enrich]] — Next step
- [[diagonalize-tile]] — Web viewer for diagonalization data (port 8082)
