| name | self-improve-pipeline |
| description | Master skill for the Aristotle self-improvement cycle: fetch → split → merge → dasl-finish → diagonalize → enrich. OODA loop driven by GOAP + DASL planners. |
Self-Improvement Pipeline — Observe-Orient-Decide-Act Cycle
The full pipeline that turns Aristotle server data into system improvements.
Each phase feeds the next. The GOAP/DASL planners decide what to do next.
The Cycle
fetch ──→ split ──→ merge ──→ dasl-finish ──→ diagonalize ──→ enrich
│ │ │ │ │ │
│ split decls unified rebuild + apply to indexes +
│ into per- decl update self: find glossaries
│ decl flakes pool planners minimal core notebooklm
▼ & OODA exports
new/updated loop
projects
Step-by-Step
1. fetch — Incremental download
aristotle-manager fetch
Compares API last_updated vs local aristotle_status.json. Downloads only new/updated tarballs. Extracts into results_dir/*_aristotle/.
2. split-all — Declaration extraction
aristotle-manager split-all [--dry-run]
Runs SplitDecls.lean (Environment API) per project. Also runs multi-language splitters (Rust syn, Python regex, shmem queries, agent log extraction). Output: per-declaration declaration.json + flake.nix.
3. merge — Unified declaration pool
aristotle-manager merge
Deduplicates all declarations across all splitters. Builds mathlib-split/ unified pool.
4. dasl-finish — Rebuild flakes + planners
aristotle-manager dasl-finish
- Download remaining projects
- Merge declarations
- Rebuild flakes with correct paths
- Update DASL planner:
~/dasl-planning/dasl-planner refresh
- Update GOAP planner:
~/dasl-planning/.../dasl-planner
5. diagonalize — Self-application
aristotle-manager diagonalize --core-only # find minimal self-referential kernel
aristotle-manager diagonalize --rebuild # merge arist + vendormod + split-decls
aristotle-manager diagonalize --from-lattice # regenerate from variant index
aristotle-manager diagonalize --repair # SPARQL + GOAP fixes
6. enrich — Build indexes
aristotle-manager index # DASL blocks.json
aristotle-manager notebooklm # NotebookLM text
aristotle-manager refusal-audit # Audit refusals/needs
Related Skills
- [[aristotle-fetch-version]] — Incremental fetch details
- [[aristotle-manager]] — CLI reference
- [[diagonalize-tile]] — Diagonalize tile viewer (port 8082)
- [[dasl-indexers]] — DASL block index generation
