feat(engine): loop-shortcut bounded-offer core, pin injection, owner firewall, and measured 4p rows (combo-fb phases 5a-5d, chain 3) - #6886

Merged

matthewevans merged 68 commits into

phase-rs:mainfrom

lgray:feat/combo-detector-player-feedback

Aug 3, 2026

Commits on Aug 2, 2026

feat(engine): pin per-iteration decision slots for bounded-loop shortcut
lgray
committed
8891711
feat(engine): bounded CR 732.2a cycle fast-forward for a multiplayer drain
lgray
committed
a2a64ff
fix(engine): a mandatory draw is not a resolution-time choice
lgray
committed
3b70724
fix(engine): delimit a bounded CR 732.2a cycle by its published per-period frame span
lgray
committed
28121cf
test(engine): cover the partial-crossing arm and the basis-A span at drive level
lgray
committed
cca940c
docs(engine): the aborted cycle rolls back alone, not the whole drive
lgray
committed
ea6a90b
docs(engine): correct four doc-accuracy claims and re-cite CR 101.2 in the bounded-offer rows
lgray
committed
b37dd6e
docs(engine): fix the CLAIM, not the site -- four sibling doc corrections
lgray
committed
8ef5fc8
docs(engine): scope two universals in the basis-B control's doc to their measured sets
lgray
committed
ebccdd7
docs(engine): point our repro commands at the renamed phase-engine package
lgray
committed
c2029bb
fix(engine): route player choice through one legality authority (5c)
lgray
committed
132d9b9
feat(engine): split LoopDetectSample into normalized and live ring halves (5d U0)
lgray
committed
e057a12
feat(engine): event-derived resolution obligation and prompt-cause partition (5d U1)
lgray
committed
7871f31
feat(engine): shape-B mint conjuncts and declare-time owner firewall (5d U2)
lgray
committed
a2bf20b
fix(engine): re-derive the loop-shortcut probe budget from the offering beat
lgray
committed
4f4c651
test(engine): pin the frozen exemption to its certifying disjunct (5d U3, R33)
lgray
committed
30cc3ce
test(engine): budget-refusal and warmup-meter rows for the bounded offer (5d U3, R15/R16(v)/R20)
lgray
committed
d520764
test(engine): offer-writer census and carrying-frame rows (5d U3, R8/R14/R19/R29/R31/R32)
lgray
committed
a97d0d3
test(engine): verdict-door totality, keying and proposer rows (5d U3, R22)
lgray
committed
e950373
test(engine): close the U3 remainder — R16, R17, R21(b)-family, R27(a2), Arc::as_ptr
lgray
committed
0b793e8
test(engine): retained-sample .live-reader rows close U3 (5d, R27 a3/b/c/e)
lgray
committed
355652f
feat(engine): OptionalEffectChoice pin-injection arm with seat and beat guards (5d U4)
lgray
committed
799b87a
test(engine): track the F4 4p dump and pin the bounded-offer behaviour it actually has
lgray
committed
8ce23d7
test(engine): pin what the AI can actually do at the real F4 bounded offer
lgray
committed
1f07655
docs(engine): review-impl LOW fixes — board-not-prompt contract, real Braids text, census pin
lgray
committed
652d8c4
test(engine): derive CR 603.7 firing carriers for the 4p dump corpus
lgray
committed
c3debe4
test(engine): re-anchor the CR 603.5 prompt census after the rebase onto #6842
lgray
committed
1168afb
test(engine): re-anchor the CR 603.5 prompt census after the rebase onto #6851
lgray
committed
b2f9f47
fix(engine): close two fail-open seams in the loop-shortcut analysis proofs
lgray
committed
02b382a
fix(engine): refuse the resolution probe when a prompt already stands
lgray
committed
85eb87a
fix(engine,ai): offer only legal quantity choices on a bounded shortcut
lgray
committed
2b8b1d4
fix(scripts): read both trigger-definition shapes and stop overwriting carriers
lgray
committed
71b1ca0
fix(scripts): make fixture migration atomic and envelope-preserving
lgray
committed
f806d49
fix(engine): route the choose-from-zone fallback chooser through the choice authority
lgray
committed
181276f
style(engine): satisfy doc_lazy_continuation and drop a self-comparing assert
lgray
committed
fe09bca
test(engine): re-pin the F4 bounded-offer rows to the post-gate candidate set
lgray
committed
9e7d81f
docs(engine): reattach the R10' doc block to the test it documents
lgray
committed
fa6b13f
fix(scripts): prune stale carriers, stop overwriting canonical ones, stage atomically
lgray
committed
f2f76fa
fix(engine): treat an `UpTo` repeat count as a resolution-time choice (CR 608.2d)
lgray
committed
03ac1cd
perf(engine): probe a chain root once and gate before the board clone
lgray
committed
431f051
style(engine): collapse the effect classifier's bool arms
lgray
committed
eb6a29b
fix(engine,scripts): gate the sibling clone site, make the atomicity control able to fail
lgray
committed
78d328f
fix(engine): correct the ChoosePermanent CR citation and complete the attribution assert
lgray
committed
afca4ee
fix(scripts): accept gameState-less envelopes and make the stage-2b arm discriminating
lgray
committed
b7b2b82
chore(i18n): mark the combo detector as experimental at game start
lgray
committed
2f1cd86
fix(scripts): key the stage-2b signature on stamped fields and compose the EXIT trap
lgray
committed
0277009
docs(scripts): state the stage-2b arm's residual instead of overclaiming it
lgray
committed
ea1b0ac

Commits on Aug 3, 2026