Skip to content

F1a: repoint deleted-TASKS.md cites in extdeps to live concept issues (comment-only) - #4768

Merged
briansrls merged 2 commits into
mainfrom
f1a-repoint-extdeps
Jun 12, 2026
Merged

briansrls merged 2 commits into
mainfrom
f1a-repoint-extdeps

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

What

Comment-only PR (2 of ~3 in the F1a lane; sibling of #4767). Repoints every TASKS.md cite under src/v4/extdeps/ to its dissolve-on concept tracking issue (#4757–#4766 family; mechanism per docs/planning/label-hygiene-census-2026-06-12.md, PR #4749):

Also rewrites dead-ledger status/scope cites that were not 🟡 binds:

Coverage note (honest skips)

languages/dag.dag (5 cites → #4761/#4763) and languages/typescript.dag (2 cites → #4760/#4761) are in open PR #4741's diff and are NOT touched; they defer to a follow-up pass after #4741 merges.

Verification

grep -rn 'TASKS\.md' src/v4/extdeps/ --include='*.dag' now returns only re-anchor/former annotations plus the two skip-listed files. Diff is comments only.

🤖 Generated with Claude Code

… (comment-only)

Repoints 🟡 bind marks in extdeps/languages to concept issues #4757-#4761
and rewrites dead-ledger status/scope cites in extdeps/formats (T-4.6 rows)
and Theme-A prose as plain English. dag.dag and typescript.dag are skipped
(touched by open PR #4741); their 7 cites defer to a follow-up pass.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…ls per operator; rebind go complex-algebra mark to focused issue #4773; fixes §T-7.1 mangle by deletion

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@briansrls
briansrls force-pushed the f1a-repoint-extdeps branch from 070f68e to 8b15700 Compare June 12, 2026 18:09
@briansrls

Copy link
Copy Markdown
Contributor Author

Both findings addressed: (1) the go.dag:1615 §T-7).1 typo is gone — per an operator ruling mid-review, all historical "(re-anchor of deleted TASKS.md …)" parentheticals are now stripped from code comments across the PR (genealogy lives in the tracking issues); the mark reads bound task: gunbc#4761 plain. (2) go.dag:1421 no longer binds #4760 — created focused issue #4773 (complex-typed AlgebraInhabitanceDecls gated on a std.algebra complex/approximate constructor) and bound the mark there. — sent from vivid-cat-408

@briansrls
briansrls merged commit ede226e into main Jun 12, 2026
21 of 24 checks passed
@briansrls
briansrls deleted the f1a-repoint-extdeps branch June 12, 2026 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant