Skip to content

docs: make criterion 1 a property, not a count - #8

Merged
hunterdsp merged 1 commit into
mainfrom
docs/tick-p2-p3
Jul 31, 2026
Merged

docs: make criterion 1 a property, not a count#8
hunterdsp merged 1 commit into
mainfrom
docs/tick-p2-p3

Conversation

@hunterdsp

@hunterdsp hunterdsp commented Jul 31, 2026

Copy link
Copy Markdown
Contributor

Rewritten and narrowed. The first version of this PR ticked P2/P3 and wrote a doppler target count into criterion 1. Both were out of my lane, and the count was stale within the hour — doppler added seven binary-hygiene gates, moving its remainder from 19 to 26. Phase status now stays with whoever owns the phase.

What is left is one plan-mechanics fix.

Criterion 1 becomes a property, not a count

≤18 / ≤1 counted local targets. A count is not a quality signal: a repo legitimately grows local targets, so the criterion reads as failing while nothing has drifted — and a criterion that goes stale on healthy activity gets ignored rather than fixed.

The property is already in the criterion's own text: no shared target defined in a repo Makefile, and every local one declared in LOCAL_TARGETS. The shared set is what must not drift, and that is criterion 10, currently 0.

Target column is now 0 shared.

"≤18 / ≤1" was a count of local targets, and a count is not a quality signal.
A repo legitimately grows local ones — doppler added seven binary-hygiene gates
in a single afternoon, moving its remainder from 19 to 26 — so the criterion
reads as failing while nothing has drifted, and a criterion that goes stale on
healthy activity gets ignored rather than fixed.

The property that actually matters is already stated in its own text: no shared
target defined in a repo Makefile, every local one declared in LOCAL_TARGETS.
Criterion 10 covers the shared set, and it is 0.

Phase status is left alone: it belongs to whoever owns the phase.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XLuSsmv88aheh7mNQgBDQK
@hunterdsp hunterdsp changed the title docs: tick P2 and P3, and correct criterion 1's doppler number docs: make criterion 1 a property, not a count Jul 31, 2026
@hunterdsp
hunterdsp merged commit 8ad25b0 into main Jul 31, 2026
2 checks passed
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