Skip to content

docs: state the cap as three counts, because one number hid a disagreement - #5

Merged
hunterdsp merged 2 commits into
mainfrom
fix/cap-accounting
Jul 31, 2026
Merged

docs: state the cap as three counts, because one number hid a disagreement#5
hunterdsp merged 2 commits into
mainfrom
fix/cap-accounting

Conversation

@hunterdsp

Copy link
Copy Markdown
Contributor

Taking the plan README correction, per the review thread on just-buildit/just-makeit#636. The matching fix to the #555 body is already done.

What was wrong

Cap: 38 targets with every flag on was not wrong so much as unfalsifiable — and it had already failed silently. The P0 prototype also measured 38, and the two were different sets of 38:

plan P0
lint-<tool> dispatch counted (~3) excluded
standard-check, help-check, ghost-check not counted counted (3)

Two offsetting errors landing on one number is how a cap stops being a check. It agreed by coincidence, so it would have kept agreeing while both sides drifted.

What it says now

35 user-facing + N dispatch + 3 enforcement, as three counts, because they scale differently: N is per-repo (the tools that repo configures), the enforcement gates are fixed, and only the 35 is a property of the standard itself. Repo-local targets are outside the cap by definition — they are what criterion 1 bounds.

The 35 is recorded as the #555 group table summed (9 universal + 2 aggregates + 24 across the nine groups), with the per-group breakdown inline, so a build can be checked against it target-for-target rather than in total. That matters: summing to the right number is precisely what hid this, and checking the table row-by-row is what caught HAS_COVERAGE missing coverage-gate and HAS_EXAMPLES carrying an examples-clean that was never in it.

Verification

The repo's own hooks (mdformat 1.0.0 + gfm/gfm-alerts/mkdocs, as pinned here) run clean over README.md with zero rewrites. profile/README.md is untouched, so check-readme.yml is unaffected. No phase checkbox is ticked here — P0 is green but not yet merged; that tick belongs with the merge.

hunterdsp and others added 2 commits July 30, 2026 21:37
…ement

"Cap: 38 targets with every flag on" was not wrong so much as unfalsifiable,
and it had already failed: the P0 prototype measured 38 too, and the two were
different sets of 38. This plan counted the `lint-<tool>` dispatch rules and
not the three enforcement gates; P0 counted the reverse. Two offsetting errors
agreed on one number, which is how a cap stops being a check.

Split into the three counts that scale differently — 35 user-facing, N
dispatch (per-repo, one per configured tool), 3 enforcement (fixed) — and
recorded where the 35 comes from, so it can be checked against the #555 group
table target-for-target rather than in total. Summing to the right number is
exactly what hid this.

Found while reviewing just-buildit/just-makeit#636 (P0).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XLuSsmv88aheh7mNQgBDQK
just-buildit/just-makeit#636 merged. Noting the two faults the prototype
surfaced — the GNU make 3.81 that macOS ships, and a `make -p` database whose
wording changed in 3.82 — because both were in the file every adopter would
have vendored, and they are the argument for the phase order.

P1 therefore publishes the post-review file, not the one P0 opened with.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XLuSsmv88aheh7mNQgBDQK
@hunterdsp
hunterdsp force-pushed the fix/cap-accounting branch from ebdc523 to 9c01449 Compare July 31, 2026 01:45
@hunterdsp

Copy link
Copy Markdown
Contributor Author

Ticked P0 — just-buildit/just-makeit#636 merged as 7cb1e8a, and main verified green after it (gates pass, 33 targets documented).

Folded into this PR rather than a third one, since it is the same section. Also recorded the two faults the prototype caught before publication — the GNU make 3.81 macOS ships, and a make -p database whose wording changed in 3.82 — because both were in the file every adopter would have vendored verbatim, which is the argument for this phase order over publishing first.

P1 publishes the post-review file, not the one P0 opened with: it also carries coverage-gate, HAS_EXAMPLES reduced to test-examples, and all defaulting to build where HAS_C.

@hunterdsp
hunterdsp merged commit 6ff1058 into main Jul 31, 2026
2 checks passed
@hunterdsp
hunterdsp deleted the fix/cap-accounting branch July 31, 2026 02:03
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