Repository navigation

Fit identity_cast_emission_route claims in the new-witness eval-step budget - #13489

Merged

gunbai-bot[bot] merged 10 commits into

mainfrom

session/lively-boar-148

Oct 8, 2026

Commits on Oct 7, 2026
- Stop billing identity-cast floor claims for a full closure emit.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0268956
- Declare the identity-cast closure door off the required gate.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  1ca79b0
- Name the identity-cast drop's pairing population independently of the cost roster.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f31dab2
- Retire identity_cast_route_new_witness_eval_step_cost; this reshape is its trigger.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  64151b3
- Keep identity-cast inhabitance on the required gate under #13487's drop.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9333f95
- Delete the native duplicate of the gated Int-as-Bool refusal inhabitance.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4ead976
- Assert Int-as-Bool refusal on the wrapped NoTargetCandidate head.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  500d5b6
- Drop the identity-cast eval-step exemption; this head bills under 72300.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9f695aa
- Regenerate design-rung-drops.md so the retired identity-cast eval-step drop is gone.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a73bf3d
- Merge origin/main into session/lively-boar-148.
  gunbc-ci-auto-heal
  committed
  878d1b6