Repository navigation

feat(v3): harden Int÷Int totality boundaries and gate division preludes - #1013

Closed

briansrls wants to merge 18 commits into

mainfrom

session/valiant-lynx-650

Closed

feat(v3): harden Int÷Int totality boundaries and gate division preludes#1013
briansrls wants to merge 18 commits into
mainfrom
session/valiant-lynx-650

Commits on Apr 27, 2026
- fix: anchor Result/DivError inference and gate v3 preludes
  briansrls
  committed
  fc34d74
- chore: temporary stash of local worktree edits
  briansrls
  committed
  dfc1387
- fix(v3): resolve declaration lifetime + fmt cleanup for python gate
  briansrls
  committed
  aa3a386
- fix(v3): final fmt cleanup for guarded div preludes
  briansrls
  committed
  1b03314
- fmt: re-align arithmetic div helper block style
  briansrls
  committed
  fa9df4e
- WIP: valiant-lynx-650
  briansrls
  committed
  8715079
- chore: apply cargo fmt
  briansrls
  committed
  92d3e7a
- WIP: valiant-lynx-650
  briansrls
  committed
  ae343de
- fix(v3): enforce fail-closed substitution and scoped division preludes
  briansrls
  committed
  b6b8b4e
- chore: align fmt-sensitive div tests
  briansrls
  committed
  467fd41
- WIP: valiant-lynx-650
  briansrls
  committed
  acda8fe
- fix: use tuple payload APIs for Cardinality connective
  briansrls
  committed
  4b01573
- fix(v3): bind cardinality expected payload before compare
  briansrls
  committed
  899a923
- fix(v3): cardinality binding match and fmt cleanup
  briansrls
  committed
  7596a35
- fix(v3): restore CI-compatible infer test helper and derives
  briansrls
  committed
  3611781
- WIP: valiant-lynx-650
  briansrls
  committed
  372c5cb
- chore: apply cargo fmt
  briansrls
  committed
  354733a
- fix(v3): preserve division boundary diagnostics
  briansrls
  committed
  a866804