Repository navigation

Demand-side contention: delete priority_class, rank demands by derived margin per billed second - #9395

Merged

briansrls merged 8 commits into

mainfrom

session/keen-bat-142

Aug 27, 2026

Merged

Demand-side contention: delete priority_class, rank demands by derived margin per billed second#9395
briansrls merged 8 commits into
mainfrom
session/keen-bat-142

Commits on Aug 27, 2026
- Demand-side contention: delete priority_class, rank by derived margin per billed second
  Brian Searls
  committed
  c63e1dc
- Occupancy provenance is read from the duration's own arms, not from the affordability verdict
  Brian Searls
  committed
  b708305
- Witness what the zero-quote ordering asserts, and declare the contingency it rests on
  Brian Searls
  committed
  7d3375b
- Report when preferring the rate forgoes total margin, and match affordability instead of collapsing it
  Brian Searls
  committed
  c6a2d8a
- OccupancyBasis inhabits BoundedLattice: the field fold is a meet, not a conjoined Bool
  Brian Searls
  committed
  e703b94
- A contingent ordering refuses instead of selecting and annotating
  Brian Searls
  committed
  b80f1a7
- The ranking key is BUYER HEADROOM: calling it the fabric's margin was an overclaim
  Brian Searls
  committed
  97c76c3
- Re-measure the mutation against the tree it now describes, and state its denominator
  
  Brian Searls
  and
  claude
  committed
  3065d91