Repository navigation

Price the typed quotient against direct jobs for every C (no new κ) - #4674

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

1337isnot1337:research/mixed-ab-controller-20261022

Oct 22, 2026

Merged

Price the typed quotient against direct jobs for every C (no new κ)#4674
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
1337isnot1337:research/mixed-ab-controller-20261022

Commits on Oct 22, 2026
- Prove the typed quotient has no recursive primitive discount
  1337isnot1337
  committed
  f77a3a3
- State the direct helper child-rank and compiler boundary
  1337isnot1337
  committed
  84cf25a