Observer gate: compile-time elision of observer bookkeeping (#915) - #1034

Merged

InauguralPhysicist merged 26 commits into

mainfrom

perf/915-observer-elision

Aug 23, 2026

Commits on Aug 21, 2026

tools: full-corpus differential oracle for the #915 observer gate

InauguralPhysicist
and
claude
committed
b79a6db
perf: gate observer bookkeeping on whether anything can interrogate it (#915)

InauguralPhysicist
and
claude
committed
449baa0
perf: fix three misgating classes found by adversarial review (#915)

InauguralPhysicist
and
claude
committed
c42d590
perf: drop the load-target pre-scan for a sound rule (#915)

InauguralPhysicist
and
claude
committed
a1cbfff
tools: close the drift checker's own blind spot (#915)

InauguralPhysicist
and
claude
committed
8b7022d
perf: resolve literal load_file targets eagerly, so a consumer with modules gates (#915)

InauguralPhysicist
and
claude
committed
3210ee9
fix: close the round-1 blind-critic findings on the #915 eager pass

InauguralPhysicist
and
claude
committed
4a27ed3
fix: close the round-2 blind-critic findings (#915)

InauguralPhysicist
and
claude
committed
6e9e0e1

Commits on Aug 22, 2026

fix: close the round-3 blind-critic findings (#915)

InauguralPhysicist
and
claude
committed
01a3945
fix: close the round-4 blind-critic findings (#915)

InauguralPhysicist
and
claude
committed
169be2f
fix: seal the eager pass's second output channel, and fix the oracle that could not see it (#915)

InauguralPhysicist
and
claude
committed
9fa9d06
fix: bound the speculative read, and stop the oracle laundering divergences (#915)

InauguralPhysicist
and
claude
committed
964df32
fix: the eager pass's preconditions were scoped wrong, not reasoned wrong (#915)

InauguralPhysicist
and
claude
committed
98515e4

Commits on Aug 23, 2026