src/loop/mod.rs · one core change
where a branch, never the live copy
what one file of the compiled core
state editing
promptstoolscorebeing edited
1builds, lints, passes its tests—
2its self-map still matches its code—
3boots beside the live version—
4the new version can still edit itself—
↳ a fresh copy edits its own source and commits
↳ that commit must pass checks 1–3 ✓ ✓ ✓
↳ that commit must pass checks 1–3 ✓ ✓ ✓
diagram · cells are INIT's real files · cyan is the change in flight
01 Edit
It edits a copy of itself.
02 Build
The copy must build and still know itself.
03 Prove
It must still be able to change itself.
04 Swap
The new core takes over the conversation.
05 Watch