Skip to content

docs(stdlib): dedup module entries + harden the #393 gate#441

Merged
InauguralPhysicist merged 1 commit into
mainfrom
docs/stdlib-dedup-gate
Jul 5, 2026
Merged

docs(stdlib): dedup module entries + harden the #393 gate#441
InauguralPhysicist merged 1 commit into
mainfrom
docs/stdlib-dedup-gate

Conversation

@InauguralPhysicist

Copy link
Copy Markdown
Collaborator

A document review found four duplicate module entries in STDLIB.md's Module Index (assembled from two overlapping regions): lib/bcd, lib/harness, lib/observer_slots (byte-identical second copies) and lib/datetime (two different incomplete halves — civil-math vs clock/timer, neither complete).

🤖 Generated with Claude Code

 follow-up)

STDLIB.md's Module Index was assembled from two overlapping regions, so four
modules shipped with two headings each: lib/bcd, lib/harness, lib/observer_slots
(byte-identical second copies) and lib/datetime (two DIFFERENT incomplete halves
— one civil-math, one clock/timer, neither complete). Found by a document review.

Deleted the three exact-duplicate blocks; merged datetime into one complete entry
(clock/timer table + civil-math). Index headings 59 -> 55.

Root cause: the #393 discoverability gate (tools/stdlib_index_check.sh) checked
each module's heading with `grep -q` (presence only), so duplicates passed CI.
Now it asserts no `### lib/<name>` heading appears more than once — verified it
fires on an injected duplicate and is clean on the deduped file.
@InauguralPhysicist InauguralPhysicist merged commit cac9717 into main Jul 5, 2026
17 checks passed
@InauguralPhysicist InauguralPhysicist deleted the docs/stdlib-dedup-gate branch July 5, 2026 05:41
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