Repository navigation

Enforce where-refinements at literal sites so PositiveInt is unwritable at non-positive literals - #7438

Merged

briansrls merged 31 commits into

mainfrom

session/fierce-wolf-469

Jul 30, 2026

Merged

Enforce where-refinements at literal sites so PositiveInt is unwritable at non-positive literals#7438
briansrls merged 31 commits into
mainfrom
session/fierce-wolf-469

Commits on Jul 30, 2026
- Enforce where-refinements in the v1 typechecker (rebased on main).
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b0d5036
- Drop #7444 regressions introduced by the rebase patch.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5e25af3
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  7ce438b
- Defer non-literal int refinements as advisory, not TypeMismatch.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b8a4df4
- Keep predicate-argument deferral advisory-only.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  27f7644
- Align where-refinement witnesses with compile-clean hard policy.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  7d18c7b
- Merge remote-tracking branch 'origin/main' into session/fierce-wolf-469
  gunbc-ci-auto-heal
  committed
  e4b7dd1
- Close as-cast bypass for where-refinement literal walls.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  22b2d68
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  b98b272
- Fix where-refinement witness virtual sources for compile_dag_rust_emit_check.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  431d8e5
- Merge remote-tracking branch 'origin/main' into session/fierce-wolf-469
  gunbc-ci-auto-heal
  committed
  f531df4
- Drop duplicate where-refinement diags on direct call args.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c0c87af
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  99453d6
- Close context-independent as-cast where-refinement bypass.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  55d4af7
- Fix pin note paths: src/v1/00_core.dag, drop integer line number.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  04e15e5
- Document seed-retained cli_run witness seam and coproduct deferral.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e12fb1c
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  e3adc2d
- Fail-closed on unknown WhereRefinementUnenforced deferral reasons.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c773f1c
- Fix witness tests that used empty NonEmptyStr literal casts.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  33f9c6c
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  51e6cbd
- Compose where-refinement predicates through refined-alias chains.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  066e9c4
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  6d9903c
- Fix regen self-host and refuse negated int literals at refined sites.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c9cc606
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  ab95e18
- Ground where-refinement literal probes on v1.std.core accessors.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9f64118
- Name FilePath sentinel workarounds with dissolve trigger (review 45141).
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  07571aa
- WIP: Enforce where-refinements in the typechecker so PositiveInt (Nat where g
  gunbc-ci-auto-heal
  committed
  8b0b40e
- Dissolve is_record_lit_expr Bool predicate into Optional accessor.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5160fd8
- Dissolve where-predicate Bool wrappers; bound scaffold notes (45147).
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5d4d976
- Merge remote-tracking branch 'origin/main' into session/fierce-wolf-469
  gunbc-ci-auto-heal
  committed
  23a8a58
- Route WhereRefinementUnenforced through is_error_diagnostic classifier.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f58e3c8

Commits

Commits on Jul 30, 2026