Repository navigation

Joint bit+complex supplier cannot beat the average of the two p16 invoices under the whole-job premise (negative result) - #5298

Open

Matarener wants to merge 3 commits into

CrocSwap:mainfrom

Matarener:joint-supplier-average-ceiling

Open

Joint bit+complex supplier cannot beat the average of the two p16 invoices under the whole-job premise (negative result)#5298
Matarener wants to merge 3 commits into
CrocSwap:mainfrom
Matarener:joint-supplier-average-ceiling

Commits on Oct 23, 2026
- Add joint bit+complex supplier average ceiling on the p16 controller (negative result)
  
  Matarener
  and
  claude
  committed
  3eb6c26
Commits on Oct 24, 2026
- State the joint-supplier ceiling under the whole-job premise; prove single crossing by weighted tails
  
  Matarener
  and
  claude
  committed
  0c89778
- Merge remote-tracking branch 'origin/main' into joint-supplier-average-ceiling
  Matarener
  committed
  e63b0a3