Repository navigation

Native driver cost: refuse over-attribution, fail non-Reconciled arms - #11105

Merged

briansrls merged 9 commits into

mainfrom

native-driver-cost-account-refuse-63891

Sep 12, 2026

Merged

Native driver cost: refuse over-attribution, fail non-Reconciled arms#11105
briansrls merged 9 commits into
mainfrom
native-driver-cost-account-refuse-63891

Commits on Sep 11, 2026
- Refuse native-driver over-attribution instead of clamping remainder_nanos.
  
  Brian Searls
  and
  cursoragent
  committed
  0fcf6ba
- Derive native-driver remainder from native_driver_cost_account residual.
  
  Brian Searls
  and
  cursoragent
  committed
  1baa406
- Fail a completed native-driver capture that has no cost rows.
  
  Brian Searls
  and
  cursoragent
  committed
  e724c06
- Distinguish pending native-cost capture from completed absence.
  
  Brian Searls
  and
  cursoragent
  committed
  160b8bb
- Require [native-cost-partition] as the observed cost tag.
  
  Brian Searls
  and
  cursoragent
  committed
  276af04
Commits on Sep 12, 2026
- Drop every [native-cost-shared] mention from the cost-row control.
  
  Brian Searls
  and
  cursoragent
  committed
  fbcf015
- Classify native_driver_cost_row_standing as a declared §3c frontier.
  
  Brian Searls
  and
  cursoragent
  committed
  0f70870
- Match the stage0 std.compiler_entry mirror to required-regen.
  
  Brian Searls
  and
  cursoragent
  committed
  c1cdeb6
- State the cost-row frontier trigger as the relay capability.
  
  Brian Searls
  and
  cursoragent
  committed
  82679c3