AGENTS.md: what `@module` is for, and no external tools without approval - #1765

Merged

sergey-shandar merged 13 commits into

mainfrom

claude/review-todos-documentation-hrijwz

Aug 28, 2026

Commits on Aug 28, 2026

ci: guard both halves of the `@module` placement rule
claude
committed
502744f
Merge branch 'main' into claude/review-todos-documentation-hrijwz
sergey-shandar
authored
91aacf2
ci: match the `@module` tag, not the bare string
claude
committed
3af1ec6
Merge remote-tracking branch 'origin/claude/review-todos-documentation-hrijwz' into claude/review-todos-documentation-hrijwz
claude
committed
0b01fb4
ci: drop the `@module` grep guards; no external tools without approval
claude
committed
1932280
todo: the node26 issue outlived the gates it was filed beside
claude
committed
37dc5be
todo: `ci-update` is a documented contract, not a repository-only gate
claude
committed
aa73acc
todo: P5, and a filename that matches what is left of the finding
claude
committed
fe7ee2d
todo: shorten the issue heading
claude
committed
54784c0
todo: delete the `@module` in `types.ts` issue, resolved by #1756
claude
committed
fa04c49
fjs: `@module` is what publishes a module doc, not an entry-point marker
claude
committed
73bb49e
fjs: reconcile the proof example, add `private.ts`, drop an overstated claim
claude
committed
b7d8e2d
fjs: private.ts prose is contributor-facing, not website input
claude
committed
9cb8471