菜单
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.
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/meta-introspector/aristotle-cli-rs --skill step-diagonalize命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
Aristotle Manager fetch (incremental download with last_updated tracking) and version (git commit pipeline) commands. Use when debugging fetch not updating existing projects, or git commit errors in the versioning step.
Master skill for the Aristotle self-improvement cycle: fetch → split → merge → dasl-finish → diagonalize → enrich. OODA loop driven by GOAP + DASL planners.
Build DASL blocks.json index, NotebookLM text exports, refusal audits, glossaries, and failure corpora. Phase 6 of the self-improvement cycle.
基于 SOC 职业分类
正在显示 SKILL.md
| 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. |
The core self-improvement phase. Applies the Aristotle pipeline to itself.
aristotle-manager diagonalize --core-only
arist/src/ + splitter-engine/ + *.sh + *.nixminimal-core.json, variant-index.jsonaristotle-manager diagonalize --rebuild
Merges arist/src/ + vendormod/src/ + split-decls-rs/src/ into unified/.
Preserves directory structure, generates mod.rs, Cargo.toml, flake.nix.
aristotle-manager diagonalize --from-lattice
Reads variant-index.json + raw source from 3 projects.
Rewrites paths to produce lattice-workspace/ with clean structure.
aristotle-manager diagonalize --repair
Pushes unified-tool to RDF graph, runs SPARQL queries, applies fixes, verifies compilation. Uses GOAP planner to prove fix correctness.
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
| 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!) |