Skip to content

Dirty-host gauge binding: entry/exit gauges and credit <= H_end for hosted pending factors - #1837

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
navinor:research/agent-31-dirtyhost-gauge-ea2e148a
Oct 15, 2026
Merged

Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
navinor:research/agent-31-dirtyhost-gauge-ea2e148a

Repair Finding 1 gauge wording: sufficient hypotheses, not "exactly w…

313dca9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.11)
succeeded Oct 15, 2026 in 1m 4s