refactor(checkers): let declarations own provider runtimes - #1299

Merged

morluto merged 13 commits into

mainfrom

agent/domain-owned-checker-runtimes

Aug 13, 2026

Commits on Aug 13, 2026

refactor(checkers): let declarations own provider runtimes
morluto
committed
d4f07c8
fix(checkers): defer declaration runtime measurement
morluto
committed
3004c7f
refactor(checkers): keep direct runtime migration compatibility
morluto
committed
3d9e943
fix(checkers): type the lazy runtime accessor
morluto
committed
7a5c0f4
test: include check-all in the primary help contract
morluto
committed
533e497
Merge current main into checker runtime refactor
morluto
committed
1922bc3
Merge remote-tracking branch 'origin/main' into HEAD
morluto
committed
5680a34
fix declaration-owned checker runtime compatibility
morluto
committed
1db4eb1
fix(checkers): satisfy static validation
morluto
committed
eac30f8
fix(checkers): handle declaration-owned runtime installation
morluto
committed
d9b7d6e
fix(checkers): require explicit optional provider omission
morluto
committed
c55e4e7
fix(checkers): omit unavailable optional FLINT replays
morluto
committed
18dc43b
Merge current main into checker runtime PR
morluto
committed
567236f