fix(scripts): check-docs must not match a PR number against a commit-sha prefix (#503) - #511

Merged

jphein merged 4 commits into

mainfrom

fix/505b-check-docs-pr-matcher

Sep 18, 2026

Commits on Sep 18, 2026

fix(scripts): check-docs must not match a PR number against a commit-sha prefix

jphein
and
claude
committed
fe9941b
docs(fork-changes): record fork_pr 511 on the check-docs-pr-matcher entry

jphein
and
claude
committed
582c02c
docs(specs): record own-vocabulary-grep and the keyed-on-terms discriminator

jphein
and
claude
committed
185f584
docs(specs): direction is a property of the (mechanism, question) pair

jphein
and
claude
committed
0974a28