devflow-kit 3.15.0 → 3.16.0

package/src/assets/mds/tracker/_linear.mds

@@ -453,34 +453,6 @@ The D3 section headings are the canonical ones; only the transport differs from
 <!-- compliance:end -->
 @end
 
-@define post_wave_report():
-## Operation: post-wave-report
-
-{{ops.post_wave_report_contract()}}
-
-Load when the resolved tracker provider is `linear` and the operation is `post-wave-report`.
-
-**Mechanics held here:** the `### Process` body — locating the wave's tracking item and posting the report once.
-
-{{common.wave_report_inputs()}}
-
-### Process
-
-**Setup (once):** resolve the capability set and the reached rung. This provider lands at rank 4, so the scan below is unfiltered by author and every run emits `TRACEABILITY: DEGRADED (dedup unavailable — duplicate possible)`; the ladder and the marker's second discriminator are stated once, with the dedup ladder in this operation's `backlink-shipped-issues` reference.
-
-1. Check for an existing marker on the tracking item.
-   - Read the tracking item's comments through the *list comments with authors* capability. The author column cannot be compared against devflow's own account here, so the match rests on the marker alone.
-   - This operation owns the `devflow:wave` namespace and no other. Match **line 1** of each comment for equality against `devflow:wave {WAVE_ID} · https://github.com/dean0x/devflow`; a marker on any later line **does not suppress**.
-   - **The scan is a FULL scan, not a newest-first early exit.** A wave report's marker carries a wave id, and wave ids are not monotonic in comment order, so an early exit can miss the one comment that matters. Bound it at `≤5` pages and **fail closed**: if the bound is reached before the scan completes, report `TRUNCATED ({n} not processed)` and **DO NOT POST** — a duplicate wave report is a worse outcome than a missing one, because the next run cannot tell which is authoritative. This is the one place the fail-closed direction wins over post-with-warning, and the difference is the condition: an absent capability says nothing about whether a post happened, while a truncated scan says the evidence exists and was not read.
-   - If found: skip — report `Skipped: wave report for {WAVE_ID} already posted`.
-{{steps.wave_report_read_step()}}
-3. Compose the comment: line 1 the marker `devflow:wave {WAVE_ID} · https://github.com/dean0x/devflow`, then the contents of `WAVE_REPORT_PATH`. Cap the composed content at `{{comment_cap()}}` characters; over the cap, truncate in **preservation order** — the marker, then the status and DEGRADED lines, then the pointer sentence — and end with `…truncated — full report in the local wave artifact {WAVE_REPORT_PATH} (not committed; ask the author)`.
-4. Post it through `### Posting gate` below.
-
-{{mcp.posting_gate_head("the write")}}
-4. Post through the *add comment* capability with arguments (issue reference, body: {SCRUBBED_BODY}).
-@end
-
 @define ensure_pr_ready():
 ## Operation: ensure-pr-ready
 
@@ -527,8 +499,5 @@ Load when the resolved tracker provider is `linear` and the operation is `ensure
 <!-- op: ensure-traceable-issue -->
 {{ensure_traceable_issue()}}
 
-<!-- op: post-wave-report -->
-{{post_wave_report()}}
-
 <!-- op: ensure-pr-ready -->
 {{ensure_pr_ready()}}

package/src/assets/mds/tracker/_steps.mds

@@ -83,11 +83,6 @@ Neutralise any `</untrusted-issue-body>` in the fetched body before wrapping it
 5. Gate each candidate against that provider's grammar, full match and anchored at both ends. Where the grammar is `KEY-N`, its KEY must equal the resolved project key after ASCII-upper normalisation; a well-formed reference carrying another key is dropped and reported once as `TRACEABILITY: DEGRADED (foreign issue reference {ref})`. Deduplicate the SURVIVORS — after the gate, never before — then take the first ≤50, appending `…and {n} more issues` if more exist. A `Merge pull request` subject and a trailing parenthesised reference carry no keyword and are never candidates; an empty `SHIPPED_ISSUES` is reported empty, not degraded, unless the Mechanics flag merged PRs they could not resolve.
 @end
 
-@define wave_report_read_step():
-2. Resolve and read `WAVE_REPORT_PATH`: if absolute, use as-is; if repo-relative, resolve against WORKTREE_PATH when supplied, else against cwd. Read the resulting file (the wave-report.md written by the wave orchestrator).
-   - The wave report MUST NOT reproduce verbatim `<external-thread>` or `<untrusted-issue-body>` content (Principle 8).
-@end
-
 @export base_branch_step
 @export branch_create_steps
 @export fetch_issue_neutralise
@@ -95,4 +90,3 @@ Neutralise any `</untrusted-issue-body>` in the fetched body before wrapping it
 @export release_evidence_tag_step
 @export release_evidence_range_steps
 @export release_evidence_gate_step
-@export wave_report_read_step

package/src/assets/scripts/pr-evidence.cjs

@@ -1,7 +1,7 @@
 // src/assets/scripts/pr-evidence.cjs
 //
-// The PURE core of PR test-plan evidence: the TP-line, claim, exception,
-// EVIDENCE-line and wave-block grammars, the marker literals, the state ladder,
+// The PURE core of PR test-plan evidence: the TP-line, claim, exception and
+// EVIDENCE-line grammars, the marker literals, the state ladder,
 // rendering, the CRLF-aware body splice, the tally, the link check and the one
 // implementation of the trust rule. Installed as a top-level sibling of redact-secrets.cjs under
 // ~/.devflow/scripts/ and required by verify-evidence.cjs, which performs every
@@ -30,12 +30,7 @@
 /** @typedef {'ci' | 'local' | 'manual'} Method */
 /** @typedef {'PASS' | 'FAIL' | 'SKIP'} Outcome */
 /** @typedef {'ticket-link' | 'test-plan'} ExceptionKind */
-/** @typedef {'PASS' | 'UNVERIFIED' | 'QUARANTINED' | 'BLOCKED'} WaveVerdict */
-/**
- * @typedef {'oversize' | 'malformed' | 'empty' | 'order' | 'duplicate' | 'mismatch' | 'invalid'
- *   | 'orphan' | 'unlinked' | 'unmerged'} ErrorCode
- *   The last three are the wave block's cross rules (see parseWaveBlock).
- */
+/** @typedef {'oversize' | 'malformed' | 'empty' | 'order' | 'duplicate' | 'mismatch' | 'invalid'} ErrorCode */
 
 /** The six TP states, closed. The contract's `States (closed)` list is pinned to this order. */
 const STATES = Object.freeze(/** @type {State[]} */ ([
@@ -64,9 +59,6 @@ const EXCEPTION_KINDS = Object.freeze(/** @type {ExceptionKind[]} */ (['ticket-l
  *   PATH_CHARS / DIFF_FILES a diff path, and the diff paths, a glob is matched against
  *   RUNS_PER_SHA            runs at one SHA (`gh run list --limit 20`)
  *   TRUST_LOOKUPS           permission lookups per spawn
- *   WAVE_BLOCK_CHARS        a whole wave block
- *   WAVE_ROWS               a wave block's table rows, and its related lines (at most one per row,
- *                           plus the one tracking line — see D-WAVE-TRACKING)
  */
 const LIMITS = Object.freeze({
   TP_MAX: 200,
@@ -83,8 +75,6 @@ const LIMITS = Object.freeze({
   DIFF_FILES: 5000,
   RUNS_PER_SHA: 20,
   TRUST_LOOKUPS: 20,
-  WAVE_BLOCK_CHARS: 16000,
-  WAVE_ROWS: 100,
 });
 
 /**
@@ -210,79 +200,6 @@ const EM_DASH = '—';
 const UNTICKED = '- [ ] ';
 const TICKED = '- [x] ';
 
-/**
- * D-WAVE: the wave block — the wave PR body's `## Related Issues` section and its
- * evidence table, rendered by /devflow:dynamic-build and admitted only through
- * `verify-evidence.cjs check wave`:
- *
- *   ## Related Issues
- *   Refs #9
- *   Closes #12
- *   Refs #13
- *
- *   ## Wave Evidence
- *   | T | Ticket | Verdict | Evaluate | Test | Surviving | Coverage |
- *   |---|---|---|---|---|---|---|
- *   | T1 | #12 | PASS | PASS | PASS | 0 | complete |
- *   | T2 | #13 | QUARANTINED | FAIL-FIXED | SKIPPED | 2 | incomplete |
- *
- * Every cell is a closed-vocabulary token or a bounded number, and every related
- * line is a shape-gated reference, so no byte of a ticket title, a finding or an
- * agent's prose can ride into the PR body on it. The two headings, in order; an
- * admitted block IS the body's `## Related Issues` section. `Refs #9` above is the
- * optional tracking line (D-WAVE-TRACKING).
- */
-const WAVE_HEADINGS = Object.freeze(['## Related Issues', '## Wave Evidence']);
-
-/** The evidence table's header line, verbatim. */
-const WAVE_TABLE_HEADER = '| T | Ticket | Verdict | Evaluate | Test | Surviving | Coverage |';
-
-/** The separator under it: one bare `---` per column, no alignment colon. */
-const WAVE_TABLE_SEPARATOR = '|---|---|---|---|---|---|---|';
-
-/**
- * A wave row's verdict: merged as PASS; merged as UNVERIFIED (a FAIL-FIXED Gate 2,
- * fixes applied and not re-run); QUARANTINED (it ran and did not merge, or its
- * merge was quarantined after a red build); BLOCKED (it never ran).
- */
-const WAVE_VERDICTS = Object.freeze(/** @type {WaveVerdict[]} */ (['PASS', 'UNVERIFIED', 'QUARANTINED', 'BLOCKED']));
-
-/** The verdicts of a ticket that merged — the only rows a `Closes` line may name. */
-const WAVE_MERGED_VERDICTS = Object.freeze(/** @type {WaveVerdict[]} */ (['PASS', 'UNVERIFIED']));
-
-/**
- * An Evaluate or Test cell: a Gate 2 verdict, or `—` where the gate never ran or a Test run gave no result.
- * `BLOCKED` is never a cell here, and it has two meanings in the table: a row Verdict `BLOCKED` is a ticket that
- * never ran, and a Test result `BLOCKED` is a run that gave no result, shown as `—`.
- */
-const WAVE_GATE_VALUES = Object.freeze(['PASS', 'FAIL', 'FAIL-FIXED', 'SKIPPED', EM_DASH]);
-
-/** A Coverage cell: whether the review pass covered every focus. */
-const WAVE_COVERAGE_VALUES = Object.freeze(['complete', 'incomplete', EM_DASH]);
-
-/** A row's first cell, `T1` … `T100` (the sequence itself is checked by the parser). */
-const WAVE_T_RE = /^T(?:100|[1-9][0-9]?)$/;
-
-/** A Surviving cell: the review pass's surviving-finding count, or `—`. */
-const WAVE_SURVIVING_RE = /^(?:[0-9]{1,3}|—)$/;
-
-/**
- * D-WAVE-REF: one related line of a wave block. `Closes` takes only a GitHub `#N`
- * — Jira and Linear render `Refs` — and `Refs` takes `#N` (an unmerged GitHub
- * ticket: its captured `Closes` line with the keyword swapped) or a keyed ref
- * whose key is the union of the Jira `[A-Z][A-Z0-9_]{1,9}` and the Linear
- * `[A-Z][A-Z0-9]{0,9}` key grammars. It admits every line code.md's R7 paste gate
- * admits, their Closes→Refs swap, and nothing else (parity-pinned by
- * tests/evidence/wave-block.test.ts).
- */
-const RELATED_LINE_RE = Object.freeze(/^(?:Closes (?<closes>#[1-9][0-9]{0,8})|Refs (?<refs>#[1-9][0-9]{0,8}|[A-Z][A-Z0-9_]{0,9}-[1-9][0-9]{0,8}))$/);
-
-/** A wave row's Ticket cell: a reference of RELATED_LINE_RE's shapes, or `(none)`. */
-const WAVE_TICKET_RE = Object.freeze(/^(?:#[1-9][0-9]{0,8}|[A-Z][A-Z0-9_]{0,9}-[1-9][0-9]{0,8}|\(none\))$/);
-
-/** The Ticket cell of a row with no reference. */
-const NO_TICKET = '(none)';
-
 /** The three evidence-file sections, by heading. A Map, so no prototype key can match. */
 const SECTION_KEYS = new Map([
   [PLAN_HEADING, 'testPlan'],
@@ -390,15 +307,6 @@ const TRUSTED_PERMISSIONS = Object.freeze(['admin', 'write']);
  *   stale: readonly number[], exceptions: readonly ExceptionKind[],
  *   approval: 'yes' | 'no' | 'unchecked', key: string, posted: 'yes' | 'no' | 'n/a',
  *   body: 'same' | 'changed' }} EvidenceFields
- *
- * @typedef {{ keyword: 'Closes' | 'Refs', ref: string, line: number }} WaveRelated
- *   One related line; `line` is its 1-based line in the block.
- * @typedef {{ k: number, ticket: string | null, verdict: WaveVerdict, evaluate: string, test: string,
- *   surviving: number | null, coverage: string, line: number }} WaveRow
- *   One table row; `ticket` is null for `(none)`, `surviving` for `—`.
- * @typedef {{ tracking: WaveRelated | null, related: readonly WaveRelated[], rows: readonly WaveRow[] }} WaveBlock
- *   `related` holds the lines that name a row; `tracking` is the leading `Refs`
- *   line that names none (D-WAVE-TRACKING), or null.
  */
 
 // ---------------------------------------------------------------------------
@@ -1785,171 +1693,6 @@ function parseEvidenceLine(line) {
   }));
 }
 
-// ---------------------------------------------------------------------------
-// The wave block (D-WAVE)
-// ---------------------------------------------------------------------------
-
-/**
- * Parse one wave row: seven ` | `-separated cells inside `| ` and ` |`, each in its
- * closed vocabulary. No cell value holds ` | `, so the split is unambiguous and a
- * forged cell leaves the row with the wrong count. A BLOCKED row never ran, so
- * its last four cells are `—`. Null when the row is outside the grammar; the
- * caller checks the T sequence.
- *
- * @param {string} line
- * @returns {Omit<WaveRow, 'line'> | null}
- */
-function parseWaveRow(line) {
-  if (!line.startsWith('| ') || !line.endsWith(' |')) return null;
-  const cells = line.slice(2, -2).split(' | ');
-  if (cells.length !== 7) return null;
-  const [t, ticket, verdict, evaluate, test, surviving, coverage] = cells;
-  if (!WAVE_T_RE.test(t) || !WAVE_TICKET_RE.test(ticket)
-    || !WAVE_VERDICTS.includes(/** @type {WaveVerdict} */ (verdict))
-    || !WAVE_GATE_VALUES.includes(evaluate) || !WAVE_GATE_VALUES.includes(test)
-    || !WAVE_SURVIVING_RE.test(surviving) || !WAVE_COVERAGE_VALUES.includes(coverage)) return null;
-  if (verdict === 'BLOCKED' && [evaluate, test, surviving, coverage].some(c => c !== EM_DASH)) return null;
-  return {
-    k: Number(t.slice(1)),
-    ticket: ticket === NO_TICKET ? null : ticket,
-    verdict: /** @type {WaveVerdict} */ (verdict),
-    evaluate,
-    test,
-    surviving: surviving === EM_DASH ? null : Number(surviving),
-    coverage,
-  };
-}
-
-/**
- * D-WAVE-LINKS-ONLY: the links-only block, for related lines that ran to the end of the
- * text. Only `Refs #<n>` and `Refs <KEY-N>` lines make a block of their own (RELATED_LINE_RE
- * has already shaped each ref), and a ref may not repeat. Null when the lines are not all
- * `Refs` lines: the caller refuses the block as before.
- *
- * @param {readonly WaveRelated[]} related
- * @returns {Result<WaveBlock> | null}
- */
-function parseLinksOnlyBlock(related) {
-  if (related.length === 0 || !related.every(rel => rel.keyword === 'Refs')) return null;
-  /** @type {Set<string>} */
-  const seen = new Set();
-  for (const rel of related) {
-    if (seen.has(rel.ref)) return fail('duplicate', rel.line);
-    seen.add(rel.ref);
-  }
-  return ok(Object.freeze({ tracking: null, related: Object.freeze(related), rows: Object.freeze([]) }));
-}
-
-/**
- * D-WAVE: parse a wave block (LF or CRLF, at most WAVE_BLOCK_CHARS). It holds
- * exactly, in order: `## Related Issues`; 0–WAVE_ROWS + 1 related lines; one
- * blank line; `## Wave Evidence`; the header and separator verbatim; 1–WAVE_ROWS
- * rows T1…Tn; then only blank lines. No leading text, no other line anywhere.
- *
- * D-WAVE-CLOSE — the cross rules, which make a wrong closing line unrepresentable:
- *   - a related ref names exactly one row's Ticket (`orphan` when none — the one
- *     tracking line below aside), and no ref repeats (`duplicate`) — nor does a
- *     Ticket across rows (`duplicate`), so "exactly one" is never two;
- *   - `Closes` names only a PASS or UNVERIFIED row (`unmerged`);
- *   - every PASS or UNVERIFIED row with a Ticket has its related line (`unlinked`);
- *   - so any other row carries at most one line, and that line is a `Refs`.
- *
- * D-WAVE-TRACKING: the FIRST related line may instead be the wave's tracking
- * issue — a `Refs` line whose ref names no row. It is admitted once and only
- * there: a later line naming no row is `orphan`, a second leading one included,
- * and a `Closes` naming no row is `orphan` wherever it stands, because a tracking
- * issue outlives the wave and the wave PR never closes it. The line is shape-gated
- * like every related line, so it adds no free text to the body. A leading `Refs`
- * that names a row is that row's line, never a tracking line.
- *
- * D-WAVE-LINKS-ONLY: with `options.linksOnly === true` (the opt-in, spelled
- * `check wave --links-only` on the command line), a block may also be the
- * `## Related Issues` heading and 1–WAVE_ROWS + 1 `Refs #<n>` or `Refs <KEY-N>` lines and
- * nothing after them (blank lines aside): no evidence section, no rows. It parses to no
- * tracking line and no rows. A ref may not repeat (`duplicate`). `Closes` is never
- * admitted there: with no row, nothing has merged, so nothing may close an issue.
- * Without the opt-in, and for any other block that stops after its related lines, a lone
- * `Closes #<n>` included, the block is `malformed`, as the grammar stood before the opt-in.
- *
- * Structure is checked before the cross rules, so the first failure found is the
- * one reported. An error carries a code and a line number, never input bytes.
- *
- * @param {unknown} text
- * @param {{ linksOnly?: boolean }} [options]
- * @returns {Result<WaveBlock>}
- */
-function parseWaveBlock(text, options) {
-  if (typeof text !== 'string') return fail('invalid');
-  if (text.length > LIMITS.WAVE_BLOCK_CHARS) return fail('oversize');
-  const rows = textLines(text);
-  let end = rows.length;
-  while (end > 0 && rows[end - 1] === '') end--;
-  if (rows[0] !== WAVE_HEADINGS[0]) return fail('malformed', 1);
-
-  /** @type {WaveRelated[]} */
-  const related = [];
-  let i = 1;
-  for (; i < end && rows[i] !== ''; i++) {
-    // One line per row at most, plus the tracking line (D-WAVE-TRACKING).
-    if (related.length === LIMITS.WAVE_ROWS + 1) return fail('oversize', i + 1);
-    const m = RELATED_LINE_RE.exec(rows[i]);
-    if (m === null || m.groups === undefined) return fail('malformed', i + 1);
-    const closes = m.groups.closes;
-    related.push(Object.freeze({
-      keyword: /** @type {'Closes' | 'Refs'} */ (closes === undefined ? 'Refs' : 'Closes'),
-      ref: closes === undefined ? m.groups.refs : closes,
-      line: i + 1,
-    }));
-  }
-  // D-WAVE-LINKS-ONLY: the opt-in is set and the related lines ran to the end of the text.
-  if (isObject(options) && options.linksOnly === true && i >= end) {
-    const linksOnly = parseLinksOnlyBlock(related);
-    if (linksOnly !== null) return linksOnly;
-  }
-  // rows[i] is the one blank line; indices past `end` hold only blanks, so a
-  // missing section fails the first comparison that expects a non-blank line.
-  if (rows[i + 1] !== WAVE_HEADINGS[1]) return fail('malformed', i + 2);
-  if (rows[i + 2] !== WAVE_TABLE_HEADER) return fail('malformed', i + 3);
-  if (rows[i + 3] !== WAVE_TABLE_SEPARATOR) return fail('malformed', i + 4);
-
-  /** @type {WaveRow[]} */
-  const table = [];
-  /** @type {Map<string, WaveRow>} */
-  const byTicket = new Map();
-  for (let j = i + 4; j < end; j++) {
-    if (table.length === LIMITS.WAVE_ROWS) return fail('oversize', j + 1);
-    const parsed = parseWaveRow(rows[j]);
-    if (parsed === null) return fail('malformed', j + 1);
-    if (parsed.k !== table.length + 1) return fail('order', j + 1);
-    const r = Object.freeze({ ...parsed, line: j + 1 });
-    if (r.ticket !== null) {
-      if (byTicket.has(r.ticket)) return fail('duplicate', j + 1);
-      byTicket.set(r.ticket, r);
-    }
-    table.push(r);
-  }
-  if (table.length === 0) return fail('empty');
-
-  // D-WAVE-TRACKING: only the first line, only as `Refs`, and only naming no row.
-  const lead = related[0];
-  const tracking = lead !== undefined && lead.keyword === 'Refs' && !byTicket.has(lead.ref) ? lead : null;
-  const rowLines = tracking === null ? related : related.slice(1);
-
-  /** @type {Set<string>} */
-  const linked = new Set();
-  for (const rel of rowLines) {
-    const r = byTicket.get(rel.ref);
-    if (r === undefined) return fail('orphan', rel.line);
-    if (linked.has(rel.ref)) return fail('duplicate', rel.line);
-    if (rel.keyword === 'Closes' && !WAVE_MERGED_VERDICTS.includes(r.verdict)) return fail('unmerged', rel.line);
-    linked.add(rel.ref);
-  }
-  for (const r of table) {
-    if (r.ticket !== null && WAVE_MERGED_VERDICTS.includes(r.verdict) && !linked.has(r.ticket)) return fail('unlinked', r.line);
-  }
-  return ok(Object.freeze({ tracking, related: Object.freeze(rowLines), rows: Object.freeze(table) }));
-}
-
 // ---------------------------------------------------------------------------
 // Exports — frozen; verify-evidence.cjs and the unit tests are the consumers
 // ---------------------------------------------------------------------------
@@ -1972,14 +1715,6 @@ module.exports = Object.freeze({
   SHA_RE,
   GLOB_RE,
   LOGIN_RE,
-  WAVE_HEADINGS,
-  WAVE_TABLE_HEADER,
-  WAVE_VERDICTS,
-  WAVE_MERGED_VERDICTS,
-  WAVE_GATE_VALUES,
-  RELATED_LINE_RE,
-  WAVE_TICKET_RE,
-  parseWaveBlock,
   parsePlan,
   parseClaims,
   parseExceptions,

package/src/assets/scripts/resolve-base.cjs

@@ -126,9 +126,7 @@ const tty = require('tty');
 
 /**
  * The strict base-name class, one literal. Every prompt that checks a base name copies its
- * `source` exactly, and a test holds each copy equal to this export. The one deliberate
- * variant is the dynamic-build helper's BRANCH_NAME: a ticket branch is local, so the helper
- * holds this class less the `origin/` refusal, and a test holds that relation. In words: 1 to
+ * `source` exactly, and a test holds each copy equal to this export. In words: 1 to
  * 200 ASCII letters, digits and `._/+@,#-`; not starting with `-`, `#` or `origin/`; no `..`;
  * not the whole name `@`, `HEAD`, `FETCH_HEAD`, `ORIG_HEAD` or `MERGE_HEAD`.
  */

package/src/assets/scripts/verify-evidence.cjs

@@ -9,8 +9,7 @@
 // through SHA ancestry, the diff since the claim, and `gh run view --attempt`.
 //
 // Usage:
-//   node verify-evidence.cjs check tp|block|exceptions|wave <file>
-//   node verify-evidence.cjs check wave --links-only <file>
+//   node verify-evidence.cjs check tp|block|exceptions <file>
 //   node verify-evidence.cjs render --plan <file>
 //   node verify-evidence.cjs verify --pr <n> [--publication <mode>] [--evidence <file>]
 //        [--state <dir>] [--block-out <file>] [--comment-out <file>] [--stale-out <file>] [--approval]
@@ -25,10 +24,7 @@
 // stdout (D-VERIFY-STDOUT) is empty or exactly one of these shapes, each closed-vocabulary
 // (the render block's TP lines come from the caller's own plan file):
 //   check     nothing — the exit code is the answer; the diagnostic is on stderr.
-//             `check wave --links-only` also admits the links-only wave block (the
-//             `## Related Issues` heading and `Refs #<n>` or `Refs <KEY-N>` lines, no
-//             evidence section); plain `check wave` refuses that block as malformed
-//   render   the creation block: markers, `## Test Plan`, every TP unticked
+//   render    the creation block: markers, `## Test Plan`, every TP unticked
 //   verify    EVIDENCE pr:<n> head:<sha> total:<n> VERIFIED-CI:<n> ATTESTED-LOCAL:<n>
 //             UNVERIFIED:<n> STALE:<n> FAILED:<n> INDETERMINATE:<n> stale:<ids|none>
 //             exceptions:<kinds|none> approval:<yes|no|unchecked> key:<hex>
@@ -262,8 +258,7 @@ const CLAIM_REFUSAL_RE = /^CLAIM refused \((?<reason>head not one sha|evidence f
 const CLAIM_ARG_RE = /^TP-(?<n>[1-9][0-9]{0,2})=(?<outcome>PASS|FAIL|SKIP)(?::(?<exit>[^\s]{1,12}))?$/;
 
 const USAGE = [
-  'Usage: node verify-evidence.cjs check tp|block|exceptions|wave <file>',
-  '       node verify-evidence.cjs check wave --links-only <file>',
+  'Usage: node verify-evidence.cjs check tp|block|exceptions <file>',
   '       node verify-evidence.cjs render --plan <file>',
   '       node verify-evidence.cjs verify --pr <n> [--publication <mode>] [--evidence <file>]',
   '            [--state <dir>] [--block-out <file>] [--comment-out <file>] [--stale-out <file>] [--approval]',
@@ -323,7 +318,7 @@ const USAGE = [
 
 /**
  * @typedef {{ kind: 'usage' }
- *   | { kind: 'check', what: 'tp' | 'block' | 'exceptions' | 'wave', file: string, linksOnly: boolean }
+ *   | { kind: 'check', what: 'tp' | 'block' | 'exceptions', file: string }
  *   | { kind: 'render', plan: string }
  *   | { kind: 'verify', pr: number, publication: string, evidence: string | null, state: string | null,
  *       blockOut: string | null, commentOut: string | null, staleOut: string | null, approval: boolean }
@@ -394,12 +389,10 @@ function parseArgs(argv) {
   const sub = rest[0];
   const tail = rest.slice(1);
   if (sub === 'check') {
-    // `check wave --links-only <file>` is the one three-argument form: the links-only wave block is opt-in.
-    const linksOnly = tail.length === 3 && tail[0] === 'wave' && tail[1] === '--links-only';
-    if ((tail.length !== 2 && !linksOnly) || !['tp', 'block', 'exceptions', 'wave'].includes(tail[0])) return USAGE_ARGS;
-    const file = tail[tail.length - 1];
+    if (tail.length !== 2 || !['tp', 'block', 'exceptions'].includes(tail[0])) return USAGE_ARGS;
+    const file = tail[1];
     if (typeof file !== 'string' || file === '' || file.startsWith('-') || file.length > MAX_ARG_CHARS) return USAGE_ARGS;
-    return { kind: 'check', what: /** @type {'tp' | 'block' | 'exceptions' | 'wave'} */ (tail[0]), file, linksOnly };
+    return { kind: 'check', what: /** @type {'tp' | 'block' | 'exceptions'} */ (tail[0]), file };
   }
   if (sub === 'render') {
     const f = parseFlags(tail, { '--plan': 'value' });
@@ -2137,8 +2130,7 @@ function sectionOrWhole(text, section) {
 }
 
 /**
- * `check wave` reads the whole file: a wave block is a PR-body section of its
- * own, never a section of an evidence file.
+ * `check tp|block|exceptions`: the exit code is the answer, and stdout stays empty.
  *
  * @param {Io} io
  * @param {Extract<ParsedArgs, { kind: 'check' }>} args
@@ -2150,12 +2142,15 @@ function runCheck(io, args) {
   let result;
   if (args.what === 'tp') result = PE.parsePlan(sectionOrWhole(text, 'testPlan'));
   else if (args.what === 'exceptions') result = PE.parseExceptions(sectionOrWhole(text, 'exceptions'));
-  else if (args.what === 'wave') result = PE.parseWaveBlock(text, { linksOnly: args.linksOnly });
-  else {
+  else if (args.what === 'block') {
     const b = PE.parseBlock(text);
     // R7 pastes only the creation form: TP lines, none ticked.
     result = b.ok && (b.value.kind !== 'lines' || b.value.ticked.length > 0) ? { ok: false, error: { code: 'invalid', line: 0 } } : b;
   }
+  if (result === undefined) {
+    io.stderr(USAGE + '\n');
+    return { code: EXIT_CODES.USAGE, stdout: '' };
+  }
   if (result.ok) return { code: EXIT_CODES.OK, stdout: '' };
   io.stderr('verify-evidence: check ' + args.what + ': ' + result.error.code
     + (result.error.line > 0 ? ' at line ' + result.error.line : '') + '\n');

package/src/assets/skills/docs-framework/SKILL.md

@@ -46,17 +46,9 @@ All generated documentation lives under `.devflow/docs/` at the checkout's tople
 ├── design/
 │   ├── {ISSUE_ID}-{topic-slug}.{timestamp}.md  # /plan, one issue
 │   ├── multi-{topic-slug}.{timestamp}.md       # /plan, several issues (frontmatter issue: pending)
-│   ├── {topic-slug}.{timestamp}.md             # /plan, no issue
-│   └── {slug}/{timestamp}/            # /dynamic-plan run
-│       ├── {ticket-slug}-plan.md      # one plan per ticket
-│       └── DECISIONS-NEEDED.md
-├── tickets/{slug}/{timestamp}/         # /dynamic-tickets
-│   ├── {ticket-slug}.md
-│   └── tracking-issue.md
-├── waves/{slug}/{timestamp}/wave-report.md   # /dynamic-build
+│   └── {topic-slug}.{timestamp}.md             # /plan, no issue
 ├── handoff-{branch-slug}.md            # Code agent phase handoff; deleted once the PR exists
-├── evidence-{branch-slug}.md           # /implement test plan and claims; stays after the PR
-└── evidence-wave-{slug}.md             # /dynamic-build wave test plan and claims
+└── evidence-{branch-slug}.md           # /implement test plan and claims; stays after the PR
 
 .devflow/memory/
 ├── WORKING-MEMORY.md                   # Auto-maintained by Stop hook (overwritten)
@@ -77,7 +69,6 @@ The head markers for incremental runs are not part of this tree. `/code-review`
 
 `YYYY-MM-DD_HHMM`, local time (sortable, readable), computed once per run and reused for every path of that run.
 - **Same-minute collision.** `/code-review`, `/bug-analysis` and `/research` create their run directory themselves: when it already exists, the second run appends seconds (`2025-12-26_143005`). It sorts after its minute, so newest-first listings stay correct.
-- **Workflow runs** (`tickets/`, `design/{slug}/`, `waves/`) are stamped in local time by the workflow that creates them and take no collision suffix: a second run in the same minute writes into the first's directory.
 - A design document's timestamp is the suffix before `.md`, so a listing sorts by that suffix, not by the leading `{ISSUE_ID}`.
 
 ### Branch Slugs
@@ -87,16 +78,11 @@ A slug builds a path or reaches a shell only when it matches `^[A-Za-z0-9._-]{1,
 
 ### Topic Slugs
 
-One rule for every topic and initiative `{slug}`: lowercase; each run of characters outside `a-z0-9` becomes one `-`; leading and trailing `-` are trimmed; at most 50 characters (trim again after the cut); `untitled` when nothing is left:
+One rule for every topic `{slug}`: lowercase; each run of characters outside `a-z0-9` becomes one `-`; leading and trailing `-` are trimmed; at most 50 characters (trim again after the cut); `untitled` when nothing is left:
 ```bash
 TOPIC_SLUG=$(s=$(echo "$TOPIC" | tr '[:upper:]' '[:lower:]' | sed -E 's/[^a-z0-9]+/-/g; s/^-+//; s/-+$//' | cut -c1-50 | sed -E 's/-+$//'); echo "${s:-untitled}")
 ```
-`/plan` and `/research` take `{topic-slug}` from it. `/dynamic-tickets` uses it for the initiative `{slug}`, and `/dynamic-plan` reuses the `{slug}` of the ticket set it plans (`wave` for any other source).
-
-### Exceptions
-
-- **`{ticket-slug}`** (`tickets/…/{ticket-slug}.md`, `design/…/{ticket-slug}-plan.md`): the ticket title lowercased with each run outside `a-z0-9` as one `-`, nothing trimmed and no length cap. `/dynamic-tickets` matches a ticket file by this name when it amends the ticket, so trimming would rename a file its own amend phase already wrote.
-- **Wave `{slug}`** (`waves/`, `evidence-wave-{slug}.md`): the part of the integration branch after `wave/`, at most 60 characters, not derived by the topic rule. It makes `evidence-wave-{slug}.md` the `evidence-{branch-slug}.md` of the branch `wave/{slug}`.
+`/plan` and `/research` take `{topic-slug}` from it.
 
 ### File Naming Patterns
 
@@ -126,7 +112,7 @@ ensure_docs_dir() { mkdir -p "$(get_docs_root)/.devflow/docs/$1"; }
 - **Reviews**: the Review agents and the Synthesize agent (review mode) write into `reviews/{branch-slug}/{timestamp}/`; `/resolve` adds `resolution-summary.md` (Phase 5); `/code-review` overwrites its `.last-review-head` marker, under the git directory, with the HEAD SHA.
 - **Bug analysis**: the Debug agents and the Synthesize agent (bug-analysis mode) write into `bug-analysis/{branch-slug}/{timestamp}/`; the scanner calls write the SARIF files, the changed-name list for the Snyk filter and the CodeQL log, and the counts step writes the findings tables, all into that run folder; `/bug-analysis` overwrites its `.last-analysis-head` marker, under the git directory, with the HEAD SHA only when every tool that was to run completed, or `--no-static` is set.
 - **Research**: the Research agents write `{type}.md`, and the Synthesize agent (research mode) writes `research-summary.md` through `RESEARCH_BASE_DIR`, both into `research/{topic-slug}/{timestamp}/`.
-- **Design**: `/plan` writes the design document; `/dynamic-plan` writes `design/{slug}/{timestamp}/`, `/dynamic-tickets` `tickets/{slug}/{timestamp}/`, `/dynamic-build` `waves/{slug}/{timestamp}/` and `evidence-wave-{slug}.md`.
+- **Design**: `/plan` writes the design document.
 - **Handoff and evidence**: `/implement` writes `evidence-{branch-slug}.md`, which stays after the PR, and the handoff file, to which each Code agent appends one phase section and which is deleted once the PR exists.
 - **Memory and curation**: the Stop hook overwrites `.devflow/memory/WORKING-MEMORY.md`; `decisions.md` and `pitfalls.md` are rendered from `decisions-ledger.jsonl` (active entries in full, inactive ones in an Inactive table).
 

package/src/assets/skills/docs-framework/references/patterns.md

@@ -18,8 +18,7 @@ Correct patterns for Devflow documentation artifacts with templates and helper f
 │   └── {timestamp}/                # Incremental review
 │       └── ...
 ├── design/                         # Implementation plans
-│   ├── {ISSUE_ID}-{topic-slug}.{timestamp}.md   # /plan (multi-{topic-slug} / {topic-slug} without an issue)
-│   └── {slug}/{timestamp}/         # /dynamic-plan: {ticket-slug}-plan.md, DECISIONS-NEEDED.md
+│   └── {ISSUE_ID}-{topic-slug}.{timestamp}.md   # /plan (multi-{topic-slug} / {topic-slug} without an issue)
 └── CATCH_UP.md                     # Latest summary (overwritten)
 ```