Skip to content

Declare the rung drop: the required floor's per-claim cost ceiling is judged under contention - #9932

Merged
briansrls merged 12 commits into
mainfrom
session/deep-badger-41-floorcost
Sep 1, 2026
Merged

Declare the rung drop: the required floor's per-claim cost ceiling is judged under contention#9932
briansrls merged 12 commits into
mainfrom
session/deep-badger-41-floorcost

Say which it is: the attention subset is a MANUAL derivation, not an …

c8ce277
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar