Repository navigation

feat(std): T-Numeric-Construction S9 Phase-1 — UInt = Nat - #1818

Merged

briansrls merged 26 commits into

mainfrom

session/proud-lynx-311

May 6, 2026

Merged

feat(std): T-Numeric-Construction S9 Phase-1 — UInt = Nat#1818
briansrls merged 26 commits into
mainfrom
session/proud-lynx-311

Commits on May 5, 2026
- WIP: proud-lynx-311
  briansrls
  committed
  5fa77cc
- Merge remote-tracking branch 'origin/main' into session/proud-lynx-311
  briansrls
  committed
  d07d9e5
- WIP: proud-lynx-311
  briansrls
  committed
  9fae986
- WIP: proud-lynx-311
  briansrls
  committed
  31d31c7
- WIP: proud-lynx-311
  briansrls
  committed
  a2a71cf
- Merge remote-tracking branch 'origin/main' into session/proud-lynx-311
  briansrls
  committed
  eaf3cbd
- chore(v3): regen bootstrap snapshot for substrate.dag :83 anchor swap
  
  briansrls
  and
  claude
  committed
  a402dca
- fix(:425): retire trailing `§P5` shorthand on r2-manager-brief-authority-matrix.md:205
  
  briansrls
  and
  claude
  committed
  c75787f
- test(v3): refresh parse_corpus_manifest after substrate.dag :83 anchor swap
  
  briansrls
  and
  claude
  committed
  3881255
- ci: re-trigger v3 after t_demo_fixture transient flake
  briansrls
  committed
  1dfd2c4
- Merge remote-tracking branch 'origin/main' into session/proud-lynx-311
  briansrls
  committed
  9e67e1f
- fix(:425): align link URL with anchor label on r2-manager-brief-authority-matrix.md:222
  
  briansrls
  and
  claude
  committed
  0104864
Commits on May 6, 2026