diff --git a/current/CHECKPOINT-COMPILER-API.md b/current/CHECKPOINT-COMPILER-API.md index b7638fc6..eb0f4079 100644 --- a/current/CHECKPOINT-COMPILER-API.md +++ b/current/CHECKPOINT-COMPILER-API.md @@ -31,7 +31,7 @@ with ONE welded mechanism. Branch: `reify` (off `master`). Update after every st > wired end-to-end: foundation (`6844fb9`), resolver flip + full `.any`-ref migration (`94f60c5`), > and the VM models `.type_value` natively (`554871b`). **697/0 BOTH gates + 494 unit tests.** > `first_user` is now **100** (slots 20–99 reserved builtin headroom so future builtins don't -> renumber user TypeIds / churn snapshots). The PAYOFF is now LANDED (``): the +> renumber user TypeIds / churn snapshots). The PAYOFF is now LANDED (`66005af`): the > **WRITE side** (declare_type / register_type / pointer_to) is VM-native in `Vm.callCompilerFn` > — the compiler-API type-fns (`0631`/`0635`) run **HANDLED end-to-end on the VM at LOWERING > time** (parity-correct), the first lowering-time comptime to do so; they run on the zeroed