Repository navigation

F1a: repoint deleted-TASKS.md bind cites in std/compiler/lens to live concept issues (comment-only) - #4767

Merged

briansrls merged 3 commits into

mainfrom

f1a-repoint-std-compiler-lens

Jun 12, 2026

Merged

F1a: repoint deleted-TASKS.md bind cites in std/compiler/lens to live concept issues (comment-only)#4767
briansrls merged 3 commits into
mainfrom
f1a-repoint-std-compiler-lens

Commits on Jun 12, 2026
- F1a: repoint deleted-TASKS.md bind cites in std/compiler/lens to live concept issues (comment-only)
  
  Brian Searls
  and
  claude
  committed
  51f6581
- F1a: update coupled assert literal in closeout test to match repointed verification.dag mark
  
  Brian Searls
  and
  claude
  committed
  8a363dd
- F1a: drop historical '(re-anchor of deleted TASKS.md …)' parentheticals per operator; fixes §T-6.1 lexing.dag mangle by deletion; coupled closeout literal (line 584) updated in step
  
  Brian Searls
  and
  claude
  committed
  ca6e790