fix(engine): loop-ring retention across forced windows + observer-negative rulings (combo-fb phases 0-2, chain 1) - #6838

Merged

matthewevans merged 8 commits into

phase-rs:mainfrom

lgray:combo-fb/phase-0-2

Aug 1, 2026

Commits on Aug 1, 2026

feat(engine): retain loop-detection frames across forced pre-priority windows
lgray
committed
0dba7dd
fix(engine): fence the loop ring on CR 510.2 damage; widen the forced-window class to turn-based actions
lgray
committed
7f1a19c
fix(engine): a foreign or phase-unreachable observer does not observe a CR 732.2a loop (CR 117.1b / CR 510.2)
lgray
committed
3f4bb65
fix(engine): a conditioned self-cost static in a zone the window never casts from does not observe a CR 732.2a loop (CR 601.2f)
lgray
committed
36e3ee8
fix(engine): a ledger observer whose filter provably cannot count the growing class does not observe a CR 732.2a loop (CR 608.2i)
lgray
committed
c35fd0f
style(engine): rewrap the triggers.rs ability import list to rustfmt canonical form
lgray
committed
683a6e6
fix(engine): migrate the 4p retention fixture to the effect_kind contract
lgray
committed
39dea02
fix(engine): fail-closed CR 732.2a loop relief and elimination bound
lgray
committed
5b0a9ff