README.md
Self-Improving Intelligence
README.md
1 # Self-Improving Intelligence
2 ## Representation, Discovery, and Recursive Revision
3
4 **Komorebi P. · Operation Komorebi · v0.6.0 · 8 October 2026**
5
6 This is the recursive-acquisition theoretical edition, progressing from v0.3 toward a consolidated first edition. The canonical manuscript is `Self_Improving_Intelligence_v0.6.0.tex` and its compiled PDF. Earlier publications are unchanged.
7
8 ## What this revision adds
9
10 A task-independent equation learner proposes arithmetic identities from finite observations. A local derivation checker admits proved identities. The resulting ordered grammar quotient preserves the original learner's candidate/counterexample transcript while reducing repeated task evaluations. A stronger supplied normalizer and preparation-cost ledger are included as controls.
11
12 A separate repair-relative extension uses checked nonnegative cover weights. Streaming search then handles repairs that succeed in several cases without silently reusing a singleton-identification bound. Exact checking detects an invalid old certificate when the repair language changes.
13
14 These are executable finite constructions, not neural-agent experiments or a demonstration of unrestricted recursive acceleration. `CLAIMS.md` distinguishes the supplied, generated, proved, and open components.
15
16 ## Reading and review
17
18 - `REVIEW_NOTES.md`: actual review, execution, correction, and rebuilding scope.
19 - `STATEMENT_INDEX.md`: canonical theorem/proposition numbers and assumptions.
20 - `CLAIMS.md`: claim boundaries and the supplied/generated interface.
21 - `SOURCE_MAP.md`: inherited source review plus the three new public foundations.
22 - `FIRST_EDITION_PLAN.md`: what remains before a scoped 1.0 freeze.
23 - `CHANGELOG.md`: revision history.
24 - `lineage/`: preserved predecessor source and evidence records.
25
26 ## Reproduce
27
28 The mathematical programs use Python standard-library exact arithmetic. Matplotlib is needed only to regenerate figures. A normal LaTeX installation including the declared `newtx` packages and `latexmk` is required for the PDF. PyMuPDF and `pdffonts` are used by the optional PDF preflight.
29
30 ```sh
31 python code/verify_release.py # Check the frozen snapshot before any rerun.
32 python code/run_validation.py # Reruns all four suites, demonstrations, and audits.
33 python code/check_computation_record.py
34 bash build.sh
35 python code/preflight_pdf.py --renders ./page_renders
36 ```
37
38 Selected entry points:
39
40 ```sh
41 python code/demo_meta.py
42 python code/check_meta_models.py
43 python code/make_meta_figures.py
44 ```
45
46 The reference demonstrator freezes the equation library and quotient before evaluating its new target cases. It reports the original capacity-rule reacquisition, nine additional arithmetic targets, finite grammar exhaustion, a stronger-normalizer control, multi-case repair bounds, and certificate invalidation. `meta_synthesis.py` and `weighted_repair_pruning.py` are the new reference libraries.
47
48 The validation wrapper enforces a 90-second wall limit for the unchanged first suite and 45 seconds per other subprocess. It is not a memory limit or OS isolation guarantee. Rerunning timed receipts changes their hashes by design. Snapshot verification should be done first.
49
50 ## Evidence boundary
51
52 The document's proofs are conditional prose arguments. The exact tests are bounded implementation checks. No independent peer review, external attestation, comprehensive novelty review, Lean verification, Windows execution, PDF/A, or tagged-accessibility certification is claimed. The archive contains no standalone font files, third-party full papers, private conversation transcript, model checkpoints, or external-service integration.