@windyroad/itil 0.61.1 → 0.61.2

package/skills/manage-problem/test/manage-problem-review-forwarder.bats

@@ -1,71 +0,0 @@
-#!/usr/bin/env bats
-# Contract assertions for manage-problem's `review` subcommand forwarder (P071 split slice 2).
-#
-# Per ADR-010 amended (Skill Granularity section) + P071 phased plan:
-# `/wr-itil:manage-problem review` delegates to the new
-# `/wr-itil:review-problems` skill via a thin-router forwarder. Original
-# skill carries `deprecated-arguments: true` frontmatter (asserted in
-# the list-forwarder bats); this file asserts the review-forwarder-specific
-# contract.
-#
-# Structural assertion — Permitted Exception to the source-grep ban
-# (ADR-005 / P011 / ADR-037 contract-assertion pattern).
-#
-# @problem P071
-# @jtbd JTBD-001 (enforce governance without slowing down)
-# @jtbd JTBD-101 (extend the suite with clear patterns)
-#
-# Cross-reference:
-#   P071: docs/problems/071-argument-based-skill-subcommands-are-not-discoverable.open.md
-#   ADR-010 amended — split naming + forwarder contract + deprecated-arguments flag
-#   ADR-013 Rule 1 — structured user interaction (forwarder emits systemMessage, not AskUserQuestion)
-#   ADR-037 — contract-assertion bats pattern
-
-setup() {
-  SKILL_DIR="$(cd "$(dirname "$BATS_TEST_FILENAME")/.." && pwd)"
-  SKILL_FILE="${SKILL_DIR}/SKILL.md"
-}
-
-@test "manage-problem Step 1 forwards 'review' argument to /wr-itil:review-problems (P071)" {
-  # The forwarder names the target skill explicitly so the router is legible
-  # at the contract level. ADR-010's canonical shape: "invokes the new
-  # named skill via the Skill tool, not via re-prompting the user".
-  run grep -inE "/wr-itil:review-problems" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "manage-problem Step 1 emits the canonical review deprecation notice (ADR-010 amended)" {
-  # ADR-010's canonical deprecation-notice template:
-  # "/wr-<plugin>:<old> <arg> is deprecated; use /wr-<plugin>:<new>
-  #  directly. This forwarder will be removed in <plugin>'s next major
-  #  version."
-  # The notice MUST be emitted as a systemMessage (not AskUserQuestion)
-  # because deprecation is informational, not decisional (ADR-013 Rule 1
-  # structured-interaction scope). The review-forwarder notice is
-  # distinct from the list-forwarder notice; both must co-exist verbatim.
-  run grep -inE "is deprecated.*use /wr-itil:review-problems|deprecated.*review-problems|removed in .* next major version" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "manage-problem Step 1 review-forwarder does not re-implement the review logic (P071 regression guard)" {
-  # The forwarder must not duplicate the review logic — it must delegate.
-  # Per ADR-010: "thin-router forwarder re-invokes the new named skill
-  # via the Skill tool". If the forwarder grows its own re-scoring or
-  # README-refresh logic, the deprecation window will harden into a
-  # permanent fork. Guard against this by asserting the forwarder block
-  # mentions "delegate" or "Skill tool" language near the
-  # review-problems reference.
-  run grep -inE "delegate.*review-problems|Skill tool.*review-problems|review-problems.*Skill tool" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "manage-problem review-forwarder Step 1 parser no longer runs review logic inline (P071 slice 2)" {
-  # Slice 2's defining behaviour: Step 1's `review` branch must
-  # delegate, not run Step 9 inline. The parser line must say
-  # "delegate to /wr-itil:review-problems", matching the shape the
-  # list-forwarder uses in slice 1. A stale "run the review (step 9)"
-  # line would indicate the forwarder was added without updating the
-  # parser (common slip).
-  run grep -nE "^- If arguments contain \"review\", \*\*delegate to \`/wr-itil:review-problems\`\*\*" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}

package/skills/manage-problem/test/manage-problem-step-9d-recovery-path.bats

@@ -1,97 +0,0 @@
-#!/usr/bin/env bats
-#
-# packages/itil/skills/manage-problem/test/manage-problem-step-9d-recovery-path.bats
-#
-# Behavioural tests for manage-problem Step 9d's recovery-path
-# documentation (P135 Phase 2 / R5 / ADR-044).
-#
-# Step 9d closes verifying tickets on evidence WITHOUT firing
-# AskUserQuestion (per ADR-044 framework-resolution boundary).
-# Mirrors the run-retro Step 4a recovery-path contract.
-#
-# tdd-review: structural-permitted (justification: skill behavioural
-# harness pending P012 + P081 Phase 2; SKILL.md contract assertions
-# bridge until then; expected to migrate to behavioural form once
-# the harness exists)
-#
-# @problem P135 Phase 2 R5
-# @adr ADR-044 (Decision-Delegation Contract — closes are reversible)
-# @adr ADR-022 (verification-pending lifecycle)
-# @adr ADR-026 (cost-source grounding for in-session evidence)
-# @adr ADR-005 / ADR-037 (testing strategy — bridge during harness build)
-# @jtbd JTBD-001 / JTBD-006 / JTBD-201
-
-SKILL_FILE="${BATS_TEST_DIRNAME}/../SKILL.md"
-
-setup() {
-  [ -f "$SKILL_FILE" ]
-}
-
-# ── Step 9d's close-on-evidence contract ────────────────────────────────────
-
-@test "Step 9d SKILL.md cites /wr-itil:transition-problem as the close-on-evidence dispatch target" {
-  # Bound the search to Step 9d (not the entire file)
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"/wr-itil:transition-problem"* ]]
-}
-
-@test "Step 9d SKILL.md names ADR-044 framework-resolution boundary as the rationale for no-AskUserQuestion close" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"ADR-044"* ]]
-}
-
-@test "Step 9d SKILL.md cites ADR-026 grounding requirement for in-session evidence" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"ADR-026"* ]]
-}
-
-@test "Step 9d SKILL.md cites ADR-022 verification-pending lifecycle semantics" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"ADR-022"* ]]
-}
-
-# ── Recovery-path contract ──────────────────────────────────────────────────
-
-@test "Step 9d SKILL.md documents that closes are reversible" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"reversible"* ]]
-}
-
-@test "Step 9d SKILL.md names the recovery invocation (transition-problem known-error)" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"known-error"* ]]
-}
-
-@test "Step 9d SKILL.md cites 2026-04-27 P124 verifying-flip-back precedent" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"P124"* ]]
-}
-
-# ── Ambiguous-evidence preservation (no auto-close on weak evidence) ────────
-
-@test "Step 9d SKILL.md preserves the ambiguous-evidence path (left as Verification Pending)" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"ambiguous"* ]] || [[ "$output" == *"Verification Pending"* ]]
-}
-
-@test "Step 9d SKILL.md routes user disagreement through authentic-correction surface" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"authentic-correction"* ]] || [[ "$output" == *"P078"* ]]
-}
-
-# ── Step 9d output contract ─────────────────────────────────────────────────
-
-@test "Step 9d SKILL.md says output table records each close action with citation" {
-  run awk '/^\*\*Step 9d:/,/^\*\*Step 9e:/ {print}' "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  [[ "$output" == *"citation"* ]] || [[ "$output" == *"output table"* ]]
-}

package/skills/manage-problem/test/manage-problem-transition-forwarder.bats

@@ -1,96 +0,0 @@
-#!/usr/bin/env bats
-# Contract assertions for manage-problem's `<NNN> <status>` transition forwarder (P071 split slice 4).
-#
-# Per ADR-010 amended (Skill Granularity section) + P071 phased plan:
-# `/wr-itil:manage-problem <NNN> known-error` (and the sibling close
-# form) delegates to the new `/wr-itil:transition-problem` skill via
-# a thin-router forwarder. Original skill already carries
-# `deprecated-arguments: true` frontmatter from slice 1; this file
-# asserts the transition-forwarder-specific contract.
-#
-# Note on shape: the transition forwarders are the trickiest of the
-# P071 phased set because the argument is `<NNN> <word>` (data +
-# verb). The parser must route on the PRESENCE of the verb token
-# (`known-error` / `verifying` / `close`) AFTER the data parameter
-# `<NNN>`. A bare `<NNN>` remains the legitimate update flow — it
-# must NOT forward. This test locks the distinction in.
-#
-# Structural assertion — Permitted Exception to the source-grep ban
-# (ADR-005 / P011 / ADR-037 contract-assertion pattern).
-#
-# @problem P071
-# @jtbd JTBD-001 (enforce governance without slowing down)
-# @jtbd JTBD-101 (extend the suite with clear patterns)
-#
-# Cross-reference:
-#   P071: docs/problems/071-argument-based-skill-subcommands-are-not-discoverable.open.md
-#   ADR-010 amended — split naming + forwarder contract + deprecated-arguments flag
-#   ADR-013 Rule 1 — structured user interaction (forwarder emits systemMessage, not AskUserQuestion)
-#   ADR-022 — Verification Pending is a first-class status; .verifying.md suffix on release
-#   ADR-037 — contract-assertion bats pattern
-
-setup() {
-  SKILL_DIR="$(cd "$(dirname "$BATS_TEST_FILENAME")/.." && pwd)"
-  SKILL_FILE="${SKILL_DIR}/SKILL.md"
-}
-
-@test "manage-problem Step 1 forwards '<NNN> known-error' argument to /wr-itil:transition-problem (P071 slice 4)" {
-  # The forwarder names the target skill explicitly so the router is
-  # legible at the contract level. ADR-010's canonical shape: "invokes
-  # the new named skill via the Skill tool, not via re-prompting the
-  # user".
-  run grep -inE "/wr-itil:transition-problem" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "manage-problem Step 1 emits the canonical known-error transition deprecation notice (ADR-010 amended)" {
-  # ADR-010's canonical deprecation-notice template:
-  # "/wr-<plugin>:<old> <arg> is deprecated; use /wr-<plugin>:<new>
-  #  directly. This forwarder will be removed in <plugin>'s next major
-  #  version."
-  # The notice MUST be emitted as a systemMessage (not AskUserQuestion)
-  # because deprecation is informational, not decisional (ADR-013
-  # Rule 1 scope). The transition-forwarder notice is distinct from
-  # list + review + work forwarders; all four must co-exist verbatim.
-  run grep -inE "is deprecated.*use /wr-itil:transition-problem|deprecated.*transition-problem|removed in .* next major version" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "manage-problem Step 1 transition-forwarder does not re-implement Step 7 transition logic (P071 regression guard)" {
-  # The forwarder must not duplicate the transition logic — it must
-  # delegate. Per ADR-010: "thin-router forwarder re-invokes the new
-  # named skill via the Skill tool". If the forwarder grows its own
-  # pre-flight + P057 + P063 + P062 stack, the deprecation window
-  # will harden into a permanent fork.
-  run grep -inE "delegate.*transition-problem|Skill tool.*transition-problem|transition-problem.*Skill tool" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "manage-problem Step 1 parser distinguishes bare <NNN> (update) from <NNN> <status> (transition)" {
-  # Critical safety rule: a bare `<NNN>` argument must REMAIN the
-  # update flow — it must not accidentally forward to
-  # transition-problem. Only the `<NNN> <status>` shape (where
-  # <status> ∈ {known-error, verifying, close}) triggers the
-  # transition forwarder. The parser block must name both branches
-  # so the distinction is legible at the contract level.
-  run grep -inE "known-error|verifying|close" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  # And the bare-NNN update path is still documented.
-  run grep -inE "bare .NNN.|update flow|<NNN>.*update" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "manage-problem transition-forwarder covers known-error, verifying, and close (lifecycle completeness)" {
-  # ADR-022 codifies three transition destinations: known-error,
-  # verifying (Verification Pending), and closed. All three must
-  # appear in the forwarder contract so users can rely on the
-  # forwarder for the full lifecycle during the deprecation window.
-  # Missing any destination would force users back onto inline
-  # execution for that one case.
-  run grep -inE "known-error" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  run grep -inE "verifying|verification.pending" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  run grep -inE "\bclose\b" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}

package/skills/manage-problem/test/manage-problem-transitive-dependencies.bats

@@ -1,365 +0,0 @@
-#!/usr/bin/env bats
-# Contract + behavioural tests: manage-problem SKILL.md must define a
-# transitive-dependency rule for WSJF effort, extend Step 9b with
-# dependency-graph traversal, and the problem-ticket template must carry
-# a `## Dependencies` section.
-#
-# Mixed shape — structural assertions (ADR-037 Permitted Exception) for
-# the contract prose Claude interprets at invocation time, AND one
-# behavioural fixture test that exercises the transitive-closure
-# algorithm directly so the rule is not merely "keyword present" (P081
-# pressure — behavioural where feasible).
-#
-# Cross-reference:
-#   @problem P076 — docs/problems/076-wsjf-does-not-model-transitive-dependencies.open.md
-#   ADR-022: verification-pending status carve-out from the closure
-#   ADR-014: governance-skills commit their own work
-#   ADR-037: contract-assertion bats pattern for SKILL.md prose contracts
-#   @jtbd JTBD-001 (solo-developer — enforce governance without slowing down)
-#   @jtbd JTBD-006 (solo-developer — progress the backlog while I'm away)
-#   @jtbd JTBD-201 (tech-lead — restore service fast with an audit trail)
-
-setup() {
-  SKILL_DIR="$(cd "$(dirname "$BATS_TEST_FILENAME")/.." && pwd)"
-  SKILL_FILE="${SKILL_DIR}/SKILL.md"
-  FIXTURE_DIR="$(mktemp -d)"
-}
-
-teardown() {
-  [ -n "${FIXTURE_DIR:-}" ] && [ -d "$FIXTURE_DIR" ] && rm -rf "$FIXTURE_DIR"
-}
-
-# ──────────────────────────────────────────────────────────────────────────────
-# Contract: WSJF section defines the transitive-dependency rule
-# ──────────────────────────────────────────────────────────────────────────────
-
-@test "SKILL.md WSJF section has a Transitive dependencies subsection (P076)" {
-  # The rule must live in a discoverable subsection so Claude finds it
-  # when interpreting the WSJF scoring contract.
-  run grep -nE "^### .*[Tt]ransitive [Dd]ependenc" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md transitive rule defines effort as max(marginal, blocked-by closure) (P076)" {
-  # The core rule: Effort(T)_transitive = max(marginal, max{blocked-by})
-  # The prose must make the max-of relationship explicit so a dependent
-  # ticket inherits upstream effort.
-  run grep -inE "max.*marginal|marginal.*max|transitive.*effort|effort.*transitive" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md transitive rule cites Blocked by as the dependency signal (P076)" {
-  # Blocked_by is the formally-scoped edge in the ticket-dependency graph.
-  # The rule must name it (not just generic "dependencies") so Claude knows
-  # which `## Dependencies` row drives the effort propagation.
-  run grep -inE "Blocked[[:space:]-]?by" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md transitive rule carves Composes with OUT of the closure (P076)" {
-  # Compositional overlap does NOT strictly block — sibling work that
-  # shares surface should not inflate the dependent's effort.
-  run grep -inE "[Cc]omposes[[:space:]]with.*not|not.*[Cc]omposes|[Cc]omposes[[:space:]]with.*does NOT|[Cc]omposes[[:space:]]with.*excluded" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md transitive rule carves .closed / .verifying / .parked OUT of the closure (architect note)" {
-  # Architect correction: already-done or user-blocked upstreams contribute
-  # zero marginal dev effort — otherwise a ticket blocked by a closed
-  # ticket would inherit XL forever.
-  run grep -inE "(\.closed\.md|\.verifying\.md|\.parked\.md).*(contribut|0|zero|exclud)|contribut.*0.*(\.closed|\.verifying|\.parked)" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md transitive rule documents cycle bundling (shared WSJF as computed artefact) (P076)" {
-  # Cycles (e.g. P038/P064 mutual composition) must be handled — bundle's
-  # effort = max of members' marginals; shared WSJF surfaced in review
-  # output, not written as a field per-ticket (ADR-022 suffix-based pattern).
-  run grep -inE "cycle|bundle" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md transitive rule carries a worked example (P076)" {
-  # Worked example: P073 marginal S blocked by P038 XL → transitive XL →
-  # WSJF drops to match P038. The number-grounded example keeps the rule
-  # out of hand-wavy territory (ADR-026 grounded output).
-  run grep -inE "[Ww]orked[[:space:]]example|example.*transitive|transitive.*example" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md transitive rule notes reassessment-criteria for future ADR extraction (architect note)" {
-  # Architect guidance: keep a pointer for when another skill adopts the
-  # `## Dependencies` convention — at that point, extract to a sibling ADR.
-  # Inline note now avoids speculative ADR authoring today.
-  run grep -inE "[Rr]eassessment|[Ee]xtract.*ADR|sibling ADR|future ADR" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-# ──────────────────────────────────────────────────────────────────────────────
-# Contract: Step 9b review extends to dependency-graph traversal
-# ──────────────────────────────────────────────────────────────────────────────
-
-@test "SKILL.md Step 9b describes a dependency-graph traversal pass (P076)" {
-  # After per-ticket marginal scoring, Step 9b must walk the graph and
-  # propagate effort up. The prose must name the traversal explicitly so
-  # Claude performs the second pass, not just the first.
-  run grep -inE "dependency[[:space:]-]?graph|graph traversal|topological.*sort|propagate.*effort|effort.*propagat" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md Step 9b reports transitive re-rates in the review summary (P076 + JTBD-006)" {
-  # The AFK orchestrator (JTBD-006) and the audit-trail persona (JTBD-201)
-  # depend on Step 9b emitting a visible re-rate line — not a silent
-  # update.
-  run grep -inE "transitive.*(re-?rate|rerat|re-?estimat)|report.*transitive|re-?rate.*transitive" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md Step 9b re-rate message format is concrete (architect note — bats-assertable shape)" {
-  # Architect correction 4: specify a concrete message shape so the
-  # contract can be grepped. Format: P<NNN>: Effort <OLD> → <NEW>
-  # (transitive via <UPSTREAM>).
-  run grep -inE "Effort.*→.*transitive via|transitive via.*P[0-9]" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-# ──────────────────────────────────────────────────────────────────────────────
-# Contract: Step 5 problem-ticket template includes `## Dependencies`
-# ──────────────────────────────────────────────────────────────────────────────
-
-@test "SKILL.md Step 5 template includes a ## Dependencies section (P076)" {
-  # New tickets must carry an explicit dependency list so the graph is
-  # legible. Empty lists are allowed (default: no deps).
-  run grep -nE "^## Dependencies" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-@test "SKILL.md Dependencies template lists Blocks / Blocked by / Composes with rows (P076)" {
-  # The three row labels must all be present in the template so the
-  # author knows which semantics apply. Blocks = downstream; Blocked by =
-  # drives effort propagation; Composes with = overlap without blocking.
-  run grep -inE "\*\*Blocks\*\*|\*\*Blocked by\*\*|\*\*Composes with\*\*" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  # All three labels must be present.
-  blocks_hits=$(grep -cE "\*\*Blocks\*\*" "$SKILL_FILE" || true)
-  blocked_hits=$(grep -cE "\*\*Blocked by\*\*" "$SKILL_FILE" || true)
-  composes_hits=$(grep -cE "\*\*Composes with\*\*" "$SKILL_FILE" || true)
-  [ "$blocks_hits" -ge 1 ]
-  [ "$blocked_hits" -ge 1 ]
-  [ "$composes_hits" -ge 1 ]
-}
-
-@test "SKILL.md Dependencies rows use bare ticket IDs (architect note Q1)" {
-  # Bare IDs (P038) beat link syntax (`[P038](./038-...)`) — less
-  # maintenance; review output renders to links on demand. The template
-  # example must show bare-ID form (not `[P038](./038-...)`).
-  # Canonical shape: `- **Blocked by**: P<NNN>, P<NNN>` — match either
-  # bold-markdown label form or plain-label form, asserting the ID is
-  # bare (not bracketed).
-  run grep -inE "Blocked by\*{0,2}:[[:space:]]*P[0-9]" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-  # Assert the example does NOT use link syntax `[PNNN](./...)`.
-  ! grep -E "Blocked by\*{0,2}:[[:space:]]*\[P[0-9]" "$SKILL_FILE"
-}
-
-# ──────────────────────────────────────────────────────────────────────────────
-# Traceability: P076 cited
-# ──────────────────────────────────────────────────────────────────────────────
-
-@test "SKILL.md cites P076 in the transitive-dependencies prose (traceability)" {
-  # Every governance-contract change must cite the problem ticket that
-  # motivated it — audit trail per ADR-014.
-  run grep -n "P076" "$SKILL_FILE"
-  [ "$status" -eq 0 ]
-}
-
-# ──────────────────────────────────────────────────────────────────────────────
-# Behavioural: exercise the transitive-closure rule with fixture tickets
-# ──────────────────────────────────────────────────────────────────────────────
-# These tests build a minimal fixture backlog and run a bash transcription
-# of the transitive-closure rule against it. The rule's executable form is
-# small enough to bash-implement; we assert the output matches the rule's
-# spec so a prose drift (e.g. accidentally documenting `min` instead of
-# `max`) would be caught at test time.
-
-# Bash transcription of the transitive-closure rule — effort map is
-# keyed by ticket ID, value is the integer divisor from the SKILL.md
-# effort table (S=1, M=2, L=4, XL=8).
-transitive_effort() {
-  local ticket="$1"
-  local backlog_dir="$2"
-  local file
-  file=$(ls "$backlog_dir"/${ticket}-*.md 2>/dev/null | head -1)
-  [ -z "$file" ] && { echo 0; return; }
-
-  # Extract marginal effort from the Effort line. The line shape matches
-  # the SKILL.md Priority/Effort convention: "**Effort**: <bucket> — ..."
-  local marginal_bucket
-  marginal_bucket=$(grep -oE '\*\*Effort\*\*: [SMLXL]+' "$file" | head -1 | grep -oE '[SMLXL]+' | head -1)
-  local marginal_divisor
-  case "$marginal_bucket" in
-    S) marginal_divisor=1 ;;
-    M) marginal_divisor=2 ;;
-    L) marginal_divisor=4 ;;
-    XL) marginal_divisor=8 ;;
-    *) marginal_divisor=2 ;;  # default M
-  esac
-
-  # .closed.md / .verifying.md / .parked.md upstreams contribute 0 (architect carve-out)
-  case "$file" in
-    *.closed.md|*.verifying.md|*.parked.md)
-      echo 0
-      return
-      ;;
-  esac
-
-  # Extract `Blocked by:` dependency IDs (bare, comma-separated).
-  # The template shape is `- **Blocked by**: P<NNN>, P<NNN>` (markdown
-  # list item under `## Dependencies`) — match the label with optional
-  # leading list marker.
-  local blocked_by_line
-  blocked_by_line=$(grep -E "^[[:space:]]*-?[[:space:]]*\*\*Blocked by\*\*:" "$file" | head -1 | sed 's/.*\*\*Blocked by\*\*://')
-  local max_upstream=0
-  local dep
-  for dep in $(echo "$blocked_by_line" | grep -oE 'P[0-9]+'); do
-    local upstream_effort
-    upstream_effort=$(transitive_effort "$dep" "$backlog_dir")
-    [ "$upstream_effort" -gt "$max_upstream" ] && max_upstream="$upstream_effort"
-  done
-
-  # Transitive = max(marginal, upstream closure)
-  if [ "$max_upstream" -gt "$marginal_divisor" ]; then
-    echo "$max_upstream"
-  else
-    echo "$marginal_divisor"
-  fi
-}
-
-@test "behavioural: dependent ticket inherits upstream XL when blocked by XL ticket (P076 worked example)" {
-  # Fixture: P200 (marginal S) Blocked by: P201 (XL)
-  # Expected: transitive effort for P200 = XL divisor = 8
-  cat > "$FIXTURE_DIR/P201-upstream-xl.open.md" <<'EOF'
-# Problem 201: upstream XL ticket
-**Status**: Open
-**Effort**: XL — multi-day cross-package work
-
-## Dependencies
-- **Blocked by**: (none)
-EOF
-  cat > "$FIXTURE_DIR/P200-dependent-small.open.md" <<'EOF'
-# Problem 200: dependent with small marginal effort
-**Status**: Open
-**Effort**: S — one-line surface add
-
-## Dependencies
-- **Blocked by**: P201
-EOF
-  result=$(transitive_effort "P200" "$FIXTURE_DIR")
-  [ "$result" = "8" ]
-}
-
-@test "behavioural: self-contained ticket keeps marginal effort (P076 no-op path)" {
-  # Fixture: P210 (marginal M) with empty Blocked by.
-  # Expected: transitive = marginal M divisor = 2.
-  cat > "$FIXTURE_DIR/P210-solo-m.open.md" <<'EOF'
-# Problem 210: self-contained
-**Status**: Open
-**Effort**: M — couple of files
-
-## Dependencies
-- **Blocked by**: (none)
-EOF
-  result=$(transitive_effort "P210" "$FIXTURE_DIR")
-  [ "$result" = "2" ]
-}
-
-@test "behavioural: closed upstream contributes 0 to the closure (architect carve-out)" {
-  # Fixture: P220 (marginal S) Blocked by: P221 (was XL, now closed).
-  # Expected: transitive = marginal S = 1 (closed upstream contributes 0;
-  # otherwise P220 would inherit XL forever).
-  cat > "$FIXTURE_DIR/P221-closed-xl.closed.md" <<'EOF'
-# Problem 221: closed upstream (was XL)
-**Status**: Closed
-**Effort**: XL
-EOF
-  cat > "$FIXTURE_DIR/P220-dependent-on-closed.open.md" <<'EOF'
-# Problem 220: dependent on closed
-**Status**: Open
-**Effort**: S
-
-## Dependencies
-- **Blocked by**: P221
-EOF
-  result=$(transitive_effort "P220" "$FIXTURE_DIR")
-  [ "$result" = "1" ]
-}
-
-@test "behavioural: marginal effort wins when upstream is smaller (P076 max-of semantics)" {
-  # Fixture: P230 (marginal L = 4) Blocked by: P231 (S = 1)
-  # Expected: transitive = max(L, S) = L divisor = 4.
-  # (Contrast: a buggy implementation using min or sum would produce 1 or 5.)
-  cat > "$FIXTURE_DIR/P231-small-upstream.open.md" <<'EOF'
-# Problem 231: small upstream
-**Status**: Open
-**Effort**: S
-EOF
-  cat > "$FIXTURE_DIR/P230-big-dependent.open.md" <<'EOF'
-# Problem 230: bigger dependent
-**Status**: Open
-**Effort**: L
-
-## Dependencies
-- **Blocked by**: P231
-EOF
-  result=$(transitive_effort "P230" "$FIXTURE_DIR")
-  [ "$result" = "4" ]
-}
-
-@test "behavioural: transitive propagates across two hops (P076 closure semantics)" {
-  # Fixture: P240 (S) → blocked by P241 (S) → blocked by P242 (XL)
-  # Expected: transitive(P240) = max(S, transitive(P241)) = max(S, max(S, XL)) = XL = 8.
-  cat > "$FIXTURE_DIR/P242-deepest-xl.open.md" <<'EOF'
-# Problem 242: deepest XL
-**Status**: Open
-**Effort**: XL
-EOF
-  cat > "$FIXTURE_DIR/P241-middle-s.open.md" <<'EOF'
-# Problem 241: middle S
-**Status**: Open
-**Effort**: S
-
-## Dependencies
-- **Blocked by**: P242
-EOF
-  cat > "$FIXTURE_DIR/P240-top-s.open.md" <<'EOF'
-# Problem 240: top S
-**Status**: Open
-**Effort**: S
-
-## Dependencies
-- **Blocked by**: P241
-EOF
-  result=$(transitive_effort "P240" "$FIXTURE_DIR")
-  [ "$result" = "8" ]
-}
-
-@test "behavioural: verification-pending upstream contributes 0 (architect carve-out for .verifying.md)" {
-  # Fixture: P250 (marginal S) Blocked by: P251 (was XL, now verifying).
-  # Expected: transitive = marginal S = 1 (verifying contributes 0 — the
-  # remaining work is user-side verification, not dev effort).
-  cat > "$FIXTURE_DIR/P251-verifying-xl.verifying.md" <<'EOF'
-# Problem 251: verification pending (was XL)
-**Status**: Verification Pending
-**Effort**: XL
-EOF
-  cat > "$FIXTURE_DIR/P250-dependent-on-verifying.open.md" <<'EOF'
-# Problem 250: dependent on verifying
-**Status**: Open
-**Effort**: S
-
-## Dependencies
-- **Blocked by**: P251
-EOF
-  result=$(transitive_effort "P250" "$FIXTURE_DIR")
-  [ "$result" = "1" ]
-}