Repository navigation

v2: typed cast node (Transform[coerce, e] + <cast-target>) retires the as-cast refusal - #12315

Merged

gunbai-bot[bot] merged 27 commits into

mainfrom

session/loyal-crab-333

Sep 26, 2026

Merged

v2: typed cast node (Transform[coerce, e] + <cast-target>) retires the as-cast refusal#12315
gunbai-bot[bot] merged 27 commits into
mainfrom
session/loyal-crab-333

Commits on Sep 24, 2026
- v2 body lowering: a let type annotation it cannot carry refuses, located, instead of being dropped
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b367470
- RFM body_type_annotation_dropped_before_resolve_in_v2: declare the refused population and its restoration trigger (review 71023)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7d0262d
- fn-literal return annotation refuses at the authored type; the first-atom operand fallback no longer answers a keyword token
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d2d840a
- RFM body_type_annotation_dropped_before_resolve_in_v2: rung per path revised to rung 1 after the required floor passed on d2d840af222
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  798d35b
Commits on Sep 25, 2026
- v2.std.node PositionalPlusOneNamedEdges + v2.std.type_binder <cast-target> label rule (handoff to the let-annotation lane; unbuilt)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c5cb34c
- Merge #12248 (crisp-dove-95-let-annotation-refusal): the shared type_annotation_not_carried reason
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  620ecb0
- v2 body lowering: an as-cast's target type refuses (type_annotation_not_carried, located at T) instead of being dropped
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  099741e
- Cast refusal: the operand reader declines a cast so let values and arms reach the fold's refusal; if/match-arm controls
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4c9f8d3
- Cast refusal: re-point the cav as-cast witness to type_annotation_not_carried; RFM row rung + typed-cast-node trigger; enroll producers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b79c125
- Merge main (#12248 landed; OperandRefRead refactor): the cast check re-applied as OperandRefRefused at Q on the new arm reader
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c71d163
- Drop the duplicate body_lower_atom_is_keyword_token the #12248 merge left behind
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  359e317
- as_cast_has_no_lowered_form: the census names its instrument and arm pair
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  168890f
- Merge remote-tracking branch 'origin/quick-dove-780-shared-marker-rule' into session/loyal-crab-333
  gunbc-ci-auto-heal
  committed
  7d20469
- WIP typed cast node
  gunbc-ci-auto-heal
  committed
  622d07b
- Merge remote-tracking branch 'origin/main' into session/loyal-crab-333
  gunbc-ci-auto-heal
  committed
  cefc94f
- Typed cast node: controls, RFM restoration, census enrolment
  gunbc-ci-auto-heal
  committed
  c7069a8
- Cast chains never decline: a call head lowers as its primary; an unreadable chain carrying a cast refuses
  gunbc-ci-auto-heal
  committed
  ac97ef3
- Refinement-target cast residue: located infer-refusal control, stated on the rung with its capability trigger
  gunbc-ci-auto-heal
  committed
  dfeb122
- Drop the duplicated btar_* roster rows (merge artifact; review 71387)
  gunbc-ci-auto-heal
  committed
  adb6dd3
- Floor cost: emit and refinement-infer outcomes are enrolled share points; Bind stays PositionalEdges until the let carrier lands its producer (review 71396)
  gunbc-ci-auto-heal
  committed
  328b549
- Merge origin/main
  gunbc-ci-auto-heal
  committed
  d7171b4
- Merge resolution: union of the type_binder import
  gunbc-ci-auto-heal
  committed
  444a4f7
- Refinement casts: assert the judged route out, state the identity-into refusal (review 71406)
  gunbc-ci-auto-heal
  committed
  ab4480a
Commits on Sep 26, 2026
- Floor cost: the int-sum infer outcomes are enrolled share points too
  gunbc-ci-auto-heal
  committed
  4f4b67e
- type_binder: the cast-marker label rule is asked of a Transform only; a Loop's own named edges pass the resolver gate (neat-boar-16)
  gunbc-ci-auto-heal
  committed
  6366e59
- RFM behavior_named_edge_label_validated_not_constructed: labels on behavior Named edges are validated at resolve (rung 3); trigger is a closed label coproduct in v2.std.node (review 71525 ruling)
  gunbc-ci-auto-heal
  committed
  eaa3d46
- Merge origin/main (body_lowering import union; list_snoc_item moved to std.algebra)
  gunbc-ci-auto-heal
  committed
  7a25102

Commits

Commits on Sep 24, 2026

Commits on Sep 25, 2026

Commits on Sep 26, 2026