Complete anonymous checking of AnthropicFLT and reduce repeated kernel work - #617

Merged

johnchandlerburnham merged 9 commits into

mainfrom

jcb/anthropic-flt-check

Sep 8, 2026

Commits on Sep 7, 2026

perf(kernel): accelerate persistent closure environment lookup
johnchandlerburnham
committed
2e3f595
perf(kernel): add opt-in bounded worker allocation reuse
johnchandlerburnham
committed
14be075
fix(kernel): preserve source recursor ordering during Lean ingress
johnchandlerburnham
committed
9fa05b6
perf(kernel): reduce allocation and DAG traversal overhead
johnchandlerburnham
committed
85748ea
perf(kernel): adapt substitution scratch allocation to recent occupancy
johnchandlerburnham
committed
c962e65
perf(kernel): batch lambda and forall inference
johnchandlerburnham
committed
508b1d1
perf(kernel): try projection equality before whole-record congruence
johnchandlerburnham
committed
1817006
perf(kernel): complete FLT checking with bounded speculation
johnchandlerburnham
committed
8420031

Commits on Sep 8, 2026

perf(kernel): cache hot dependent prefixes and bound hot-miss profiling
johnchandlerburnham
committed
d10a716