@joshuafolkken/kit 1.1471.0 → 1.1784.0

package/scripts/issue/issue-labels.ts

@@ -1,6 +1,12 @@
 // The workflow label names, defined once. The epic auto-close, the epic validator, the issue-prep
 // labeler and the next-issues display all key on these exact strings, and a drifted copy would
 // fail silently — an epic filtered on the wrong name is simply never closed or never excluded.
+//
+// **A new label is defined here and added to `REPOSITORY_LABELS`**, so `josh start` and `josh sync`
+// create it; a label deliberately not provisioned goes into `EXEMPT_FROM_PROVISIONING` with its
+// reason. Every other module imports the constant rather than spelling the name —
+// `issue-label-scan.test.ts` fails on a `*_LABEL` constant missing from `ALL_LABELS`, on a label name
+// spelled outside this module, and on a label call naming a label `ALL_LABELS` does not hold.
 const EPIC_LABEL = 'epic'
 const BUG_LABEL = 'bug'
 const ENHANCEMENT_LABEL = 'enhancement'
@@ -15,6 +21,11 @@ const PLANNED_LABEL = 'run:planned'
 // it: a parked child is why a run reports "nothing left that time will fix" rather than waiting
 // forever.
 const NEEDS_DECISION_LABEL = 'needs-decision'
+// Parks a child the `backlogrun` driver could not finish mechanically — its session ended unfinished, or
+// its ship hit the relaunch cap. **Not `needs-decision`**: nothing is asked of a person beyond fixing the
+// cause and removing it, so the board and the idle report keep it out of the decisions they list. Parked
+// all the same, so a child failing on one cause is not handed straight back until the cause is fixed.
+const RUN_STALLED_LABEL = 'run:stalled'
 // Marks an issue whose defect reaches the verification path, so it runs with nothing beside it.
 // A run applies it from the verification-path enumeration in `backlogrun-lanes.md`;
 // `backlog:next` enforces it (`backlog-solo.ts`), so the rule no longer rests on a judgement at
@@ -24,11 +35,15 @@ const RUN_SOLO_LABEL = 'run:solo'
 // Without it an issue lacking `run:solo` could mean "judged parallel" or
 // "never judged", and `backlog:next` withholds the second (`epic-triage.ts`).
 const RUN_LANE_LABEL = 'run:lane'
-// Puts an issue at the head of the backlog's ranking. A person or a run may
-// apply it — a run only where it can cite a deadline or a stated urgency, or a policy a person wrote
-// (`backlogrun-steps.md`) — and **only a person removes it**: a run that could clear it could undo
-// the person's ordering. Read by `issue-rank.ts`, the one place the ranking keys are decided.
+// Puts an issue at the head of the backlog's ranking, below `priority:critical`. `issue:file` applies
+// it from the body's priority declaration at its high level (`issue-priority.ts`), a person may apply it by
+// hand, and **only a person removes it**: a run that could clear it could undo the person's ordering.
+// Read by `issue-rank.ts`, the one place the ranking keys are decided.
 const PRIORITY_HIGH_LABEL = 'priority:high'
+// Ranks above `priority:high` — an urgent defect (one of the interrupt-filing conditions) or a lane
+// speed-up worth at least a tenth of a merge's median lane time. Applied from the urgent declaration;
+// it never interrupts a running lane, only takes the next free one. Only a person removes it.
+const PRIORITY_CRITICAL_LABEL = 'priority:critical'
 // Opts one issue outside any epic into unattended execution. **Only a
 // person applies it.** `epicrun #<E>` approves the merges inside `#<E>`; this label is the only way
 // a person extends that approval past the epic's edge, so a label an AI could apply to itself would
@@ -64,6 +79,10 @@ const NEEDS_HUMAN_REVIEW_LABEL = 'needs-human-review'
 // takes it off, because taking it off asserts the work is *not* done, which is the same claim in
 // reverse and is no more a run's to make.
 const ALREADY_DONE_LABEL = 'already-done'
+// The mark of a measurement-only Issue a run closed itself (`josh issue:measured`). No pull request
+// closes such an Issue, so the merge reference a sweep reads is missing; this label is what tells the
+// run's own close from a person's, so every sweep counts it as merged (`issue-merged.ts`).
+const MEASURED_LABEL = 'measured'
 // Marks the Issue that tracks a repository's next release. An Issue whose
 // change reaches a consumer only once published is linked to it as a `blocked_by` blocker
 // (`josh issue:release`), so "merged but not yet released" is visible in the backlog. A run applies
@@ -71,16 +90,28 @@ const ALREADY_DONE_LABEL = 'already-done'
 // and only a person opts it into unattended execution.
 const RELEASE_LABEL = 'release'
 // A person's mark for work set aside for now; `issue-auto-ok.ts` reads it as an exclusion. Applied by
-// hand and never provisioned, so it is not in `REPOSITORY_LABELS`.
+// hand, so it is provisioned: a person cannot apply a label the repository does not have.
 const DEFERRED_LABEL = 'deferred'
-// Applied to an Issue whose second review round was skipped, so the condition stays auditable
-// (`prompts/review.md` → "When round 2 is skipped entirely, and when it is not").
-const REVIEW_ROUND2_SKIPPED_LABEL = 'review-round2-skipped'
+// A copy of the body's start-time declaration while that time is still ahead (`issue-not-before.ts`), so a
+// listing tells an issue that waits on the clock from one that can start. The body stays the source:
+// `issue-not-before-label.ts` applies and removes it. Only `run:merge` reads it as a reason to wait,
+// and only where the body itself could not be read (`run-merge-steps.ts`).
+const NOT_BEFORE_LABEL = 'not-before'
+
+// The labels that park an open issue: a run never starts or restarts it, and only a person lifts
+// them — `needs-decision` waits for an answer, `run:stalled` for a mechanical cause to be fixed, and
+// `already-done` for the close. The run that applied any of them committed nothing, so the checkout
+// is clean. Held once because the merge, the board, the pool, the classification and the liveness
+// read all ask "is this child parked", and a copy that missed a label would answer differently.
+const PARKED_LABELS: ReadonlySet<string> = new Set([
+	NEEDS_DECISION_LABEL,
+	RUN_STALLED_LABEL,
+	ALREADY_DONE_LABEL,
+])
 
-// The four labels that mean an open issue must not be handed to a run as it stands: an `epic`
+// The labels that mean an open issue must not be handed to a run as it stands: an `epic`
 // tracks a batch and is never run directly (its children are), `in-progress` is already claimed by
-// a running workflow, `needs-decision` was parked precisely because it cannot advance without a
-// person, and `already-done` names work that is already merged. Held here rather than in either
+// a running workflow, and a parked issue (`PARKED_LABELS`) waits on a person. Held here rather than in either
 // caller because both the next-issues display and the `auto-ok` pickup ask the same question, and
 // two copies would answer it differently the first time one of them gained another label.
 //
@@ -91,8 +122,7 @@ const REVIEW_ROUND2_SKIPPED_LABEL = 'review-round2-skipped'
 const NOT_DIRECTLY_RUNNABLE_LABELS: ReadonlySet<string> = new Set([
 	EPIC_LABEL,
 	IN_PROGRESS_LABEL,
-	NEEDS_DECISION_LABEL,
-	ALREADY_DONE_LABEL,
+	...PARKED_LABELS,
 ])
 
 // Filing-route labels, applied at filing time so the backlog's composition — a review-cap
@@ -149,61 +179,6 @@ const FILING_ROUTE_LABELS: ReadonlyArray<{
 	},
 ]
 
-// The depth of an issue's subject, recorded as a label at filing time.
-//
-// **The definition is not here.** `.claude/skills/workflow-commands/observation-filing.md` → "The depth test",
-// is the single source: depth 0 is what a consumer of this package touches, depth 1 the run
-// orchestration that executes an Issue, depth 2 what measures a run. These constants are the
-// recording of that table, never a second copy of it — a label whose description restated the rule
-// would be the clone `CLAUDE.md` prohibits, and the descriptions below therefore name the section
-// rather than paraphrase it.
-//
-// **Why a label at all.** The share of open issues at depth 0 is a measured target, and without a
-// recorded depth it could only be obtained by reading every open issue's body by hand — hand counts
-// disagree on the denominator and are not comparable, which is the failure a recorded label removes.
-//
-// **The depth is read off the subject, so a run applies it.** Unlike `auto-ok` and
-// `needs-human-review` this is not a person's judgement about authorization; it is the same reading
-// `observation-filing.md` already asks a run to make before it files, and none of the three withholds or widens anything
-// a run may do.
-const DEPTH_0_LABEL = 'depth:0'
-const DEPTH_1_LABEL = 'depth:1'
-const DEPTH_2_LABEL = 'depth:2'
-
-// Ordered shallowest first, which is what makes `depth_label_of` deterministic: an issue carrying
-// more than one depth label counts as the **lowest** depth present, the one closest to the consumer.
-// Without a fixed tie-break the same listing measured twice could answer differently.
-const DEPTH_LABEL_ORDER: ReadonlyArray<string> = [DEPTH_0_LABEL, DEPTH_1_LABEL, DEPTH_2_LABEL]
-
-// The metadata `gh api ... labels` needs, in the shape `FILING_ROUTE_LABELS` above uses and for the
-// same reason: applying a label at issue-creation auto-creates it with a generated color and no
-// description, so provisioning from here is what gives each one a stable color a reader can scan by.
-// Green, amber and pale blue, so the consumer-facing depth is the one that stands out in a listing.
-//
-// **`josh issue:file` provisions them** through `repository_labels.ensure_labels` before its create
-// call, so no document carries a creation command to keep in step.
-const DEPTH_LABELS: ReadonlyArray<{
-	name: string
-	color: string
-	description: string
-}> = [
-	{
-		name: DEPTH_0_LABEL,
-		color: '0e8a16',
-		description: 'Depth 0 — what a consumer of this package touches (observation-filing.md)',
-	},
-	{
-		name: DEPTH_1_LABEL,
-		color: 'fbc02d',
-		description: 'Depth 1 — the run orchestration that executes an Issue (observation-filing.md)',
-	},
-	{
-		name: DEPTH_2_LABEL,
-		color: 'c5def5',
-		description: 'Depth 2 — what measures a run (observation-filing.md)',
-	},
-]
-
 interface LabelDefinition {
 	name: string
 	color: string
@@ -234,6 +209,11 @@ const WORKFLOW_LABELS: ReadonlyArray<LabelDefinition> = [
 		color: '0e8a16',
 		description: 'Judged safe to run beside others in a backlogrun',
 	},
+	{
+		name: PRIORITY_CRITICAL_LABEL,
+		color: 'b60205',
+		description: 'Offered before priority:high in a backlogrun; only a person removes it',
+	},
 	{
 		name: PRIORITY_HIGH_LABEL,
 		color: 'e99695',
@@ -254,6 +234,12 @@ const WORKFLOW_LABELS: ReadonlyArray<LabelDefinition> = [
 		color: 'd93f0b',
 		description: 'Parked: needs a decision before it can run',
 	},
+	{
+		name: RUN_STALLED_LABEL,
+		color: 'e99d42',
+		description:
+			'Parked: the driver could not finish it mechanically — no decision; fix the cause and remove',
+	},
 	{
 		name: NEEDS_HUMAN_REVIEW_LABEL,
 		color: 'd93f0b',
@@ -265,13 +251,22 @@ const WORKFLOW_LABELS: ReadonlyArray<LabelDefinition> = [
 		description: 'Verified already merged — a person closes it',
 	},
 	{
-		name: REVIEW_ROUND2_SKIPPED_LABEL,
-		color: 'c5def5',
-		description: 'Review round 2 was skipped under the condition in prompts/review.md',
+		name: MEASURED_LABEL,
+		color: '6f42c1',
+		description: 'Measurement-only — a run recorded the result and closed it',
+	},
+	{
+		name: DEFERRED_LABEL,
+		color: 'd4c5f9',
+		description: 'Set aside for now; never opted in to unattended execution',
+	},
+	{
+		name: NOT_BEFORE_LABEL,
+		color: 'bfd4f2',
+		description: "Waiting: the body's 実施可能日 has not arrived yet",
 	},
 	{ name: BUG_LABEL, color: 'd73a4a', description: "Something isn't working" },
 	...FILING_ROUTE_LABELS,
-	...DEPTH_LABELS,
 ]
 
 // The pull request release classifications `pr-classification.yml` requires exactly one of.
@@ -350,13 +345,9 @@ function has_label_name(labels: ReadonlyArray<string>, wanted: string): boolean
 	return label_name_of(labels, wanted) !== undefined
 }
 
-// The depth recorded on one listing row, or `undefined` where none is — the reading every share
-// measurement makes. Lowercased through the same comparison as every other membership test above,
-// because GitHub keeps the casing a label was created with and `Depth:0` is the same label.
-function depth_label_of(labels: ReadonlyArray<LabelReference> | undefined): string | undefined {
-	const names = new Set((labels ?? []).map((label) => label.name.toLowerCase()))
-
-	return DEPTH_LABEL_ORDER.find((name) => names.has(name))
+// Whether label names carry any park label (`PARKED_LABELS`), compared as `has_label_name` does.
+function has_parked_label(labels: ReadonlyArray<string>): boolean {
+	return [...PARKED_LABELS].some((label) => has_label_name(labels, label))
 }
 
 // Every workflow label this package manages. The label-reference scan
@@ -372,21 +363,22 @@ const ALL_LABELS: ReadonlySet<string> = new Set([
 	IN_PROGRESS_LABEL,
 	PLANNED_LABEL,
 	NEEDS_DECISION_LABEL,
+	RUN_STALLED_LABEL,
 	AUTO_OK_LABEL,
 	NEEDS_HUMAN_REVIEW_LABEL,
 	ALREADY_DONE_LABEL,
+	MEASURED_LABEL,
+	DEFERRED_LABEL,
+	PRIORITY_CRITICAL_LABEL,
 	PRIORITY_HIGH_LABEL,
 	RELEASE_LABEL,
+	NOT_BEFORE_LABEL,
 	INTERRUPT_ROUTE_LABEL,
 	REVIEW_CAP_ROUTE_LABEL,
-	REVIEW_ROUND2_SKIPPED_LABEL,
 	RUN_LANE_LABEL,
 	RUN_SOLO_LABEL,
 	SPLIT_ROUTE_LABEL,
 	TIER_A_ROUTE_LABEL,
-	DEPTH_0_LABEL,
-	DEPTH_1_LABEL,
-	DEPTH_2_LABEL,
 	BUGFIX_LABEL,
 	OTHER_CHANGE_LABEL,
 	IGNORE_FOR_RELEASE_LABEL,
@@ -406,36 +398,35 @@ export {
 	BUGFIX_LABEL,
 	BREAKING_CHANGE_LABEL,
 	DEFERRED_LABEL,
-	depth_label_of,
-	DEPTH_0_LABEL,
-	DEPTH_1_LABEL,
-	DEPTH_2_LABEL,
-	DEPTH_LABEL_ORDER,
-	DEPTH_LABELS,
 	ENHANCEMENT_LABEL,
 	EPIC_LABEL,
 	EXEMPT_FROM_PROVISIONING,
 	FILING_ROUTE_LABELS,
 	has_any_label,
 	has_label_name,
+	has_parked_label,
 	IGNORE_FOR_RELEASE_LABEL,
 	IN_PROGRESS_LABEL,
 	INTERRUPT_ROUTE_LABEL,
 	label_name_of,
+	MEASURED_LABEL,
 	NEEDS_DECISION_LABEL,
 	NEEDS_HUMAN_REVIEW_LABEL,
+	NOT_BEFORE_LABEL,
 	NOT_DIRECTLY_RUNNABLE_LABELS,
 	OTHER_CHANGE_LABEL,
+	PARKED_LABELS,
 	PLANNED_LABEL,
+	PRIORITY_CRITICAL_LABEL,
 	PRIORITY_HIGH_LABEL,
 	RELEASE_CLASSIFICATION_LABELS,
 	RELEASE_CLASSIFICATION_NAMES,
 	RELEASE_LABEL,
 	REPOSITORY_LABELS,
 	REVIEW_CAP_ROUTE_LABEL,
-	REVIEW_ROUND2_SKIPPED_LABEL,
 	RUN_LANE_LABEL,
 	RUN_SOLO_LABEL,
+	RUN_STALLED_LABEL,
 	SPLIT_ROUTE_LABEL,
 	TIER_A_ROUTE_LABEL,
 	WORKFLOW_LABELS,

package/scripts/issue/issue-lint-cli.ts

@@ -1,15 +1,15 @@
-#!/usr/bin/env tsx
 import { readFile } from 'node:fs/promises'
-import { fileURLToPath } from 'node:url'
 import { behavior_change_lint } from './behavior-change-lint'
+import { expected_effect_lint } from './expected-effect-lint'
 import { issue_classification } from './issue-classification'
 import { issue_lint } from './issue-lint'
+import { issue_not_before } from './issue-not-before'
 
 // `josh issue:lint <path>` — read an Issue body from a file and print `ok`, or every template problem
 // one per line, exiting non-zero. It reads a path rather than stdin so it can
 // lint a body written to a file before the `gh api … issues` call that files it. A body that declares
 // itself a behavior-change Issue is additionally held to the firing-point, baseline and reproduction
-// rules.
+// rules, and one that declares a run-time-shortening aim to the expected-effect estimate.
 
 const SUCCESS_EXIT_CODE = 0
 const FAILURE_EXIT_CODE = 1
@@ -17,15 +17,17 @@ const OK_MESSAGE = 'ok'
 const NO_LABELS = 'none'
 const USAGE = 'Usage: josh issue:lint <path-to-issue-body>'
 
-// Every problem a body has: the four base template headings it lacks, then the behavior-change
-// problems (empty for an Issue that does not declare itself one).
+// Every problem a body has: the four base template headings it lacks, then the behavior-change and
+// expected-effect problems (each empty for an Issue that does not declare itself one).
 function problems(body: string): ReadonlyArray<string> {
 	const missing = issue_lint.missing_headings(body).map((heading) => `missing heading: ${heading}`)
 
 	return [
 		...missing,
 		...behavior_change_lint.problems(body),
+		...expected_effect_lint.problems(body),
 		...issue_classification.problems(body),
+		...issue_not_before.problems(body),
 	]
 }
 
@@ -54,14 +56,6 @@ async function run(body_path: string | undefined): Promise<number> {
 	return report(problems(body), body)
 }
 
-async function main(argv: ReadonlyArray<string>): Promise<void> {
-	process.exitCode = await run(argv[0])
-}
-
 const issue_lint_cli = { problems, run }
 
-const ARGV_OFFSET = 2
-
-if (process.argv[1] === fileURLToPath(import.meta.url)) await main(process.argv.slice(ARGV_OFFSET))
-
 export { issue_lint_cli }

package/scripts/issue/issue-lint-main.ts

@@ -0,0 +1,12 @@
+#!/usr/bin/env tsx
+import { fileURLToPath } from 'node:url'
+import { issue_lint_cli } from './issue-lint-cli'
+
+// The `josh issue:lint` entry, kept apart from `issue-lint-cli.ts` because other modules import that
+// one: a bundle is one file, so a main guard there would fire for every command that carries it
+// (joshuafolkken/kit#4186).
+if (process.argv[1] === fileURLToPath(import.meta.url)) {
+	const PATH_ARGUMENT_INDEX = 2
+
+	process.exitCode = await issue_lint_cli.run(process.argv[PATH_ARGUMENT_INDEX])
+}

package/scripts/issue/issue-measured-cli.ts

@@ -0,0 +1,56 @@
+#!/usr/bin/env tsx
+import { fileURLToPath } from 'node:url'
+import { epic_close } from '#scripts/epic/epic-close'
+import { git_gh_command } from '#scripts/gh/git-gh-command'
+import { issue_evidence_exit } from '#scripts/issue/issue-evidence-exit'
+import { MEASURED_LABEL } from '#scripts/issue/issue-labels'
+import { session_cite } from '#scripts/issue/session-cite'
+
+// `josh issue:measured <N> --evidence-file <path>` — the completion of a measurement-only Issue
+// (`issue-comments.md` → "A measurement-only Issue"): the result comment, the
+// `measured` label, the close and the `run:release`, in that order (`issue-evidence-exit.ts`).
+//
+// **The close is the run's own**: such an Issue changes no code, so no pull request's `closes #N`
+// can close it, and an OPEN child `run:merge` reads as `failed` and parks with `run:stalled`. A
+// CLOSED one it reads as `merged` (`run-merge.ts` → `classify_child`). The label goes on before the
+// close because it is what every sweep — `run:carry --end`, `run:tidy` — tells this close from a
+// person's by (`issue-merged.ts`); a close without it would be one they never count as merged.
+
+const ARGV_OFFSET = 2
+
+async function apply_label(issue_number: string): Promise<boolean> {
+	const write = await git_gh_command.issue_apply_label(issue_number, MEASURED_LABEL)
+
+	if (!write.is_applied) console.error(`${MEASURED_LABEL} not applied: ${write.reason}`)
+
+	return write.is_applied
+}
+
+// A closed measurement may be its epic's last child, and no `followup` runs for it — so the epic
+// auto-close is run here, through the one entry every child close takes (`epic-close.ts`).
+async function close_issue(issue_number: string): Promise<boolean> {
+	const is_closed = await git_gh_command.issue_close(issue_number, undefined)
+
+	if (is_closed) await epic_close.close_completed_epics({ issue_number, is_merged: true })
+	else console.error(`Issue ${session_cite.issue(issue_number)} not closed`)
+
+	return is_closed
+}
+
+async function label_and_close(issue_number: string): Promise<boolean> {
+	return (await apply_label(issue_number)) && (await close_issue(issue_number))
+}
+
+async function run(argv: ReadonlyArray<string>): Promise<number> {
+	return await issue_evidence_exit.run(argv, { command: 'issue:measured', finish: label_and_close })
+}
+
+async function main(argv: ReadonlyArray<string>): Promise<void> {
+	process.exitCode = await run(argv)
+}
+
+const issue_measured_cli = { run }
+
+if (process.argv[1] === fileURLToPath(import.meta.url)) await main(process.argv.slice(ARGV_OFFSET))
+
+export { issue_measured_cli }

package/scripts/issue/issue-merged.ts

@@ -1,5 +1,6 @@
 import { git_gh_api_path } from '#scripts/gh/git-gh-api-path'
 import { git_gh_exec } from '#scripts/gh/git-gh-exec'
+import { MEASURED_LABEL } from '#scripts/issue/issue-labels'
 
 // Whether an issue was closed by a merge, read from its REST timeline. The
 // issue's own `state_reason` cannot tell: a pull request's `closes #N` and a person's "Close as
@@ -8,9 +9,15 @@ import { git_gh_exec } from '#scripts/gh/git-gh-exec'
 // pull request. A manual "completed" close still reads as merged when a merged pull request also
 // references the issue — the one case the timeline cannot separate — and every other doubt falls to
 // `false`, because a sweep deletes work on this answer.
+//
+// **A measurement-only issue stands in for the merge with its `measured` label**: it changes no code,
+// so no pull request closes it, and `josh issue:measured` labels it before closing it. A completed
+// close while the label is on is the run's own, so every sweep reading this answer agrees on it.
 
 const CLOSED_EVENT = 'closed'
 const REOPENED_EVENT = 'reopened'
+const LABELED_EVENT = 'labeled'
+const UNLABELED_EVENT = 'unlabeled'
 const MERGED_REFERENCE = 'merged-reference'
 // A close by a pull request's `closes #N` carries no reason in the timeline; a person's "Close as
 // completed" carries `completed`. Any other reason — `not_planned`, `duplicate` — is not a merge, and
@@ -19,13 +26,16 @@ const COMPLETED_REASONS: ReadonlySet<string> = new Set(['', 'completed'])
 const FIELD_SEPARATOR = '\t'
 const LINE_SEPARATOR = '\n'
 // One `<event>\t<state_reason>` line per closed/reopened event, and a `merged-reference` line per
-// merged pull request that cross-references the issue — the three kinds the answer reads.
+// merged pull request that cross-references the issue, and a `labeled` / `unlabeled` line per change of
+// the `measured` label — the kinds the answer reads.
 const TIMELINE_FILTER = [
 	'.[]',
 	'| if .event == "cross-referenced" and .source.issue.pull_request.merged_at != null',
 	String.raw`then "${MERGED_REFERENCE}\t"`,
 	`elif .event == "${CLOSED_EVENT}" or .event == "${REOPENED_EVENT}"`,
 	String.raw`then "\(.event)\t\(.state_reason // "")"`,
+	`elif (.event == "${LABELED_EVENT}" or .event == "${UNLABELED_EVENT}") and .label.name == "${MEASURED_LABEL}"`,
+	String.raw`then "\(.event)\t"`,
 	'else empty end',
 ].join(' ')
 
@@ -45,6 +55,13 @@ function parse_rows(raw: string): Array<TimelineRow> {
 		})
 }
 
+// The last `labeled` / `unlabeled` event of the `measured` label is whether it is on now.
+function is_measured(rows: ReadonlyArray<TimelineRow>): boolean {
+	const last = rows.findLast((row) => row.event === LABELED_EVENT || row.event === UNLABELED_EVENT)
+
+	return last?.event === LABELED_EVENT
+}
+
 // The last closed/reopened event is the issue's current state, so a reopened issue is not merged
 // even with a merged reference from an earlier attempt.
 function is_merged_close(rows: ReadonlyArray<TimelineRow>): boolean {
@@ -52,7 +69,7 @@ function is_merged_close(rows: ReadonlyArray<TimelineRow>): boolean {
 
 	if (last?.event !== CLOSED_EVENT || !COMPLETED_REASONS.has(last.reason)) return false
 
-	return rows.some((row) => row.event === MERGED_REFERENCE)
+	return is_measured(rows) || rows.some((row) => row.event === MERGED_REFERENCE)
 }
 
 // `undefined` when the timeline could not be read, so a caller that keeps the answer can tell "not

package/scripts/issue/issue-not-before-label.ts

@@ -0,0 +1,135 @@
+import { git_gh_command } from '#scripts/gh/git-gh-command'
+import { git_gh_issue_write } from '#scripts/gh/git-gh-issue-write'
+import { epic_issue_schema } from '#scripts/git/git-schemas'
+import { parse_json_array_or_undefined } from '#scripts/git/parse-json-array'
+import { error_text } from '#scripts/lib/error-message'
+import { has_label_name, NOT_BEFORE_LABEL, REPOSITORY_LABELS } from './issue-labels'
+import { issue_not_before } from './issue-not-before'
+import { issue_sample_gate } from './issue-sample-gate'
+import { session_cite } from './session-cite'
+
+// joshuafolkken/kit#4079: the body's start-time declaration held an issue back from `backlog:next`,
+// but neither the issue listing nor `run:board` showed it waited on the clock. `not-before` is a copy
+// of that declaration, kept here alone: the body stays the source, and this module is the one place
+// that decides whether the copy is owed.
+
+type LabelChange = 'add' | 'remove'
+
+// One issue as the listings return it; `labels` may be absent.
+interface LabelledIssue {
+	number: number
+	body?: string | undefined
+	labels?: ReadonlyArray<{ name: string }> | undefined
+}
+
+const DEFINITION = REPOSITORY_LABELS.find((label) => label.name === NOT_BEFORE_LABEL)
+const NOT_APPLIED = 'the label was not applied'
+const LABELLED_LIMIT = 200
+
+function is_waiting(body: string | undefined, now: number): boolean {
+	return !issue_not_before.is_due(body, now)
+}
+
+// What the label owes one issue: `add` while the declared time is ahead and the label is absent,
+// `remove` once the time has passed or the declaration is gone, else nothing.
+function change_of(
+	body: string | undefined,
+	labels: ReadonlyArray<string>,
+	now: number = Date.now(),
+): LabelChange | undefined {
+	const is_labelled = has_label_name(labels, NOT_BEFORE_LABEL)
+
+	if (is_waiting(body, now) === is_labelled) return undefined
+
+	return is_labelled ? 'remove' : 'add'
+}
+
+// The labels a new issue is filed with — the label added when its body declares a time still ahead.
+function with_label(
+	labels: ReadonlyArray<string>,
+	body: string,
+	now: number = Date.now(),
+): ReadonlyArray<string> {
+	return change_of(body, labels, now) === 'add' ? [...labels, NOT_BEFORE_LABEL] : labels
+}
+
+function changes_of(
+	issues: ReadonlyArray<LabelledIssue>,
+	now: number,
+): ReadonlyArray<readonly [LabelledIssue, LabelChange]> {
+	return issues.flatMap(function change(issue): Array<readonly [LabelledIssue, LabelChange]> {
+		const names = (issue.labels ?? []).map((label) => label.name)
+		const owed = change_of(issue.body, names, now)
+
+		return owed === undefined ? [] : [[issue, owed]]
+	})
+}
+
+// The addition answers `false` where the removal throws; both fail here the same way.
+async function write(number: string, owed: LabelChange): Promise<void> {
+	if (owed === 'remove') {
+		await git_gh_issue_write.issue_remove_label(number, NOT_BEFORE_LABEL)
+
+		return
+	}
+
+	if (!(await git_gh_issue_write.issue_add_label(number, NOT_BEFORE_LABEL))) {
+		throw new Error(NOT_APPLIED)
+	}
+}
+
+// A failed write is named and left: the next scan owes the same change and makes it then.
+async function apply(issue: LabelledIssue, owed: LabelChange): Promise<void> {
+	try {
+		await write(String(issue.number), owed)
+	} catch (error) {
+		const cited = session_cite.issue(issue.number)
+
+		console.warn(
+			`${cited}: could not ${owed} \`${NOT_BEFORE_LABEL}\`: ${error_text.message_of(error)}`,
+		)
+	}
+}
+
+// Brings every issue's label in line with its body. The label is created before the first addition,
+// so it carries its color and description rather than the ones GitHub generates for a missing label.
+async function sync(issues: ReadonlyArray<LabelledIssue>, now: number = Date.now()): Promise<void> {
+	const changes = changes_of(issues, now)
+
+	if (DEFINITION !== undefined && changes.some(([, owed]) => owed === 'add')) {
+		await git_gh_issue_write.label_ensure(DEFINITION)
+	}
+
+	await Promise.all(
+		changes.map(async ([issue, owed]) => {
+			await apply(issue, owed)
+		}),
+	)
+}
+
+// Every open issue already carrying the label. A failed read is an empty list: the next scan reads it
+// again.
+async function read_labelled(): Promise<ReadonlyArray<LabelledIssue>> {
+	const { json } = await git_gh_command.issue_list_by_label(NOT_BEFORE_LABEL, LABELLED_LIMIT)
+	const rows =
+		json === undefined ? undefined : parse_json_array_or_undefined(json, epic_issue_schema)
+
+	return (rows ?? []).map((row) => ({ ...row, labels: [{ name: NOT_BEFORE_LABEL }] }))
+}
+
+// `sync` over the scanned issues plus every issue the label is on. `issue:file` labels a filing that
+// may never be scanned — one never opted in — so only the label's own listing reaches it to remove it.
+async function sweep(
+	scanned: ReadonlyArray<LabelledIssue>,
+	now: number = Date.now(),
+): Promise<void> {
+	const seen = new Set(scanned.map((issue) => issue.number))
+	const labelled = await read_labelled()
+
+	await issue_sample_gate.prime(labelled.map((issue) => issue.body))
+	await sync([...scanned, ...labelled.filter((issue) => !seen.has(issue.number))], now)
+}
+
+const issue_not_before_label = { change_of, sweep, sync, with_label }
+
+export { issue_not_before_label }