board: #1246 merged-PR hygiene, and CLAUDE.md's pin block caught up to the manifest - #1247

Merged

AdaWorldAPI merged 6 commits into

mainfrom

claude/great-pascal-k96kok

Sep 18, 2026

Commits on Sep 18, 2026

board: the #1246 merged-PR hygiene, and CLAUDE.md's pin block caught up
claude
committed
5b3fc6f
board: TD-JC-CLIPPY-RED-ON-BASE-2 -- main is clippy-red in jc, and the 1.98 sweep could not have seen it
claude
committed
3d0a708
board: cite jc by FUNCTION, not by line -- the gate caught my own coordinate
claude
committed
3c6949c
board: both codex findings -- one pin policy in CLAUDE.md, and the census recounted with a TOML parser
claude
committed
9a438d1
board: two CodeRabbit findings taken, one declined -- the count was right, the prose read as seven
claude
committed
c41472b
board: LATEST_STATE gets the same eight-pin enumeration -- my reply said "both records" and only one was true
claude
committed
c32ad0b