Skip to content

chore: record the drain's two open questions as settled - #891

Merged
REPPL merged 1 commit into
mainfrom
chore/drain-open-questions
Oct 10, 2026
Merged

REPPL merged 1 commit into
mainfrom
chore/drain-open-questions

Conversation

@REPPL

@REPPL REPPL commented Oct 10, 2026

Copy link
Copy Markdown
Collaborator

The product thinker settled itd-82's two open questions on 2026-10-10, so the drain's plan can be built.

  • Decision 10: a trust-rule hand-back also leaves a marker on the open issue, naming the decision record it needs and its question, so a person finds it without reading the run's summary. The plan gains step 6 for it; the out-of-scope line on the ledger schema and criterion 5 now name the marker.
  • Decision 11: major is let through only by a repository's own drain record, which invariant 19 already allows. There is no --allow-major flag, so this adds no work.
  • The open questions section now reads as resolved, which abcd build requires before it starts.
  • Captures that abcd intent ready reported itd-82 ready while abcd build refused it for those open questions.

Records only; no code changes.

Refs: itd-82
Refs: iss-2610101610446956
Assisted-by: Claude:claude-opus-5-5

The product thinker answered itd-82's open questions on 2026-10-10.
A trust-rule hand-back also leaves a marker on the issue (decision 10),
which the plan gains as step 6. `major` is let through only by a
repository's drain record, never by a run flag (decision 11), so it adds
no work. Also captures that `intent ready` reported the intent ready
while `build` refused it for those questions.

Refs: itd-82
Assisted-by: Claude:claude-opus-5-5
@REPPL
REPPL enabled auto-merge October 10, 2026 16:39
@REPPL
REPPL added this pull request to the merge queue Oct 10, 2026
Merged via the queue into main with commit 1e6564e Oct 10, 2026
13 checks passed
@REPPL
REPPL deleted the chore/drain-open-questions branch October 10, 2026 17:23
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