pincer-workflow 0.4.1 → 0.6.0

package/template/scripts/pincer-status.sh

@@ -2,167 +2,16 @@
 # PINCER status — where the workflow stands, read from the artifacts on disk.
 # Read-only. Every playbook runs this first; /pincer-status wraps it.
 #
-#   scripts/pincer-status.sh
+#   scripts/pincer-status.sh [--json]
 #
-# Elapsed times come from the `started` / `finished` stamps that
-# scripts/pincer-ticket.sh writes, i.e. from the wall clock — never estimated
-# and never a measure of active execution time. The build-wide elapsed line is
-# printed only while a ticket is in progress or an explicit budget is set.
-# Optional build budget: PINCER_BUILD_BUDGET_MIN.
-set -uo pipefail
-
-source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/pincer-ticket-lib.sh"
-ROOT=${CLAUDE_PROJECT_DIR:-$(git rev-parse --show-toplevel 2>/dev/null || pwd)}
-cd "$ROOT"
-BUDGET=${PINCER_BUILD_BUDGET_MIN:-}
-NOW=$(date -u +%s)
-
-to_epoch() { # ISO-8601 UTC -> seconds (GNU date, then BSD date)
-  date -u -d "$1" +%s 2>/dev/null || date -u -j -f '%Y-%m-%dT%H:%M:%SZ' "$1" +%s 2>/dev/null || echo 0
+# Compatibility wrapper: the report is computed by scripts/pincer-runtime.cjs
+# (`status`), which prints the PRD state and profile, every ticket with its
+# state and clock-based elapsed time, the wall-clock elapsed build line while a
+# ticket is in progress or PINCER_BUILD_BUDGET_MIN is set, the evidence verdict,
+# readiness warnings, and the next command. Exit codes follow
+# docs/runtime-contracts.md (0 inspected, 4 invalid input).
+command -v node >/dev/null 2>&1 || {
+  echo 'pincer-status: Node.js 22+ is required — the runtime is scripts/pincer-runtime.cjs' >&2
+  exit 4
 }
-mins() { echo "$(( ($2 - $1) / 60 ))m"; }
-hhmm() { [ -n "$1" ] && printf '%s' "$1" | cut -c12-16 || printf '—'; }
-
-echo "PINCER status · $(date -u +%Y-%m-%dT%H:%MZ) · $ROOT"
-
-# ── PRD ──
-if ! prd=$(latest_prd 2>&1); then
-  printf 'WARN     invalid PRD: %s\n' "$prd"
-  echo 'Next     repair PRD input before continuing'
-  exit 1
-fi
-prd_status=""
-if [ -z "$prd" ]; then
-  echo "PRD      none"
-else
-  prd_status=$(fm_get "$prd" status)
-  echo "PRD      $prd · status: ${prd_status:-?} · profile: $(prd_profile "$prd") · date: $(fm_get "$prd" date)"
-fi
-
-# Reject malformed/ambiguous tickets instead of treating unknown states as open.
-if ! errors=$(validate_ticket_set 2>&1); then
-  printf 'WARN     invalid tickets: %s\n' "$errors"
-  echo "Next     repair ticket input before continuing"
-  exit 1
-fi
-
-# ── Tickets ──
-n_open=0; n_prog=0; n_done=0; first_start=""; in_prog=""; next_open=""; warn=""; reverify=""
-files=""; historical=0; unresolved=0
-for f in tickets/T-*.md; do
-  [ -e "$f" ] || continue
-  if ! associated=$(ticket_prd "$f" 2>&1); then
-    printf 'WARN     unresolved ticket PRD: %s\n' "$associated"
-    unresolved=$((unresolved + 1)); continue
-  fi
-  if [ "$associated" = "$prd" ]; then
-    files="$files$f
-"
-  else
-    historical=$((historical + 1))
-  fi
-done
-[ "$historical" -eq 0 ] || echo "History  $historical ticket(s) associated with other PRDs"
-if [ -z "$files" ]; then
-  echo "Tickets  none"
-else
-  rows=""
-  while IFS= read -r f; do
-    [ -n "$f" ] || continue
-    id=$(fm_get "$f" ticket); [ -n "$id" ] || id=$(basename "$f" | cut -c1-4)
-    st=$(fm_get "$f" status); size=$(fm_get "$f" size)
-    started=$(fm_get "$f" started); verified=$(fm_get "$f" verified); finished=$(fm_get "$f" finished)
-    attempt=$(fm_get "$f" last_check)
-    # Done tickets report through ticket_readiness below, so each problem is printed once.
-    if [ "$st" != done ] && [ -n "$attempt" ] && ! printf '%s' "$attempt" | grep -q ' passed '; then
-      warn="$warn  WARN $id latest verification: $attempt — re-run verify\n"
-    fi
-    deps=$(fm_get "$f" depends_on | grep -oE 'T-[0-9]+' | tr '\n' ' ' || true)
-    if [ -n "$started" ]; then
-      se=$(to_epoch "$started")
-      [ -z "$first_start" ] || [ "$se" -lt "$first_start" ] && first_start=$se
-    fi
-    case "$st" in
-      done)
-        n_done=$((n_done + 1))
-        detail="started $(hhmm "$started") · finished $(hhmm "$finished")"
-        [ -n "$started" ] && [ -n "$finished" ] && detail="$detail ($(mins "$(to_epoch "$started")" "$(to_epoch "$finished")"))"
-        if ! readiness=$(ticket_readiness "$f"); then
-          warn="$warn  WARN $id $readiness\n"
-          reverify="$reverify $id"
-        fi
-        ;;
-      in_progress)
-        n_prog=$((n_prog + 1)); in_prog="$in_prog $id"
-        detail="started $(hhmm "$started")"
-        [ -n "$started" ] && detail="$detail · elapsed $(mins "$(to_epoch "$started")" "$NOW")"
-        if [ -n "$verified" ]; then detail="$detail · receipt ✓"; else detail="$detail · no receipt yet"; fi
-        ;;
-      *)
-        n_open=$((n_open + 1)); st=${st:-open}
-        blocked=""
-        for d in $deps; do
-          df=$(ticket_file "$d" 2>/dev/null || true)
-          dep_prd=""
-          [ -z "$df" ] || dep_prd=$(ticket_prd "$df" 2>/dev/null || true)
-          if [ -z "$df" ] || [ "$(fm_get "$df" status)" != done ] ||
-             [ "$dep_prd" != "$prd" ] || ! usable_ticket_prd "$df" >/dev/null 2>&1 ||
-             ! ticket_readiness "$df" >/dev/null; then
-            blocked="$blocked $d"
-          fi
-        done
-        if [ -n "$blocked" ]; then detail="blocked by${blocked}"; else detail="ready"; [ -n "$next_open" ] || next_open=$id; fi
-        ;;
-    esac
-    rows="$rows$(printf '  %-5s %-12s %-2s %s' "$id" "$st" "${size:-?}" "$detail")\n"
-  done <<< "$files"
-  echo "Tickets  $((n_open + n_prog + n_done)) total · $n_done done · $n_prog in progress · $n_open open"
-  printf '%b' "$rows"
-  printf '%b' "$warn"
-  # Wall-clock elapsed is shown only while work is active or against an explicit
-  # budget; on a finished build it is noise and it never measures execution time.
-  if [ -n "$first_start" ] && { [ "$n_prog" -gt 0 ] || [ -n "$BUDGET" ]; }; then
-    build="Build    wall-clock elapsed $(mins "$first_start" "$NOW") since the first ticket started (not active execution time)"
-    [ -z "$BUDGET" ] || build="$build · budget ${BUDGET}m"
-    echo "$build"
-  fi
-fi
-
-notes_valid=no
-if notes=$(notes_current "$prd"); then notes_valid=yes; fi
-echo "Notes    NOTES.md: $notes"
-# The evidence line reports the shared validator's verdict for the manifest the
-# notes name, independent of whether the candidate is still current.
-manifest=""
-[ -f NOTES.md ] && validate_metadata NOTES.md >/dev/null 2>&1 && manifest=$(fm_get NOTES.md evidence)
-if [ -n "$manifest" ]; then
-  if ev=$(evidence_validate "$manifest" "$(fm_get NOTES.md candidate)" "$(fm_get NOTES.md base)" "$prd"); then
-    echo "Evidence $manifest · ok"
-  else
-    echo "Evidence $manifest · $(evidence_reason "$ev")"
-  fi
-fi
-
-# ── Next action ──
-if [ -z "$prd" ]; then
-  next="/pincer-plan <brief> — no PRD yet"
-elif [ "$unresolved" -gt 0 ]; then
-  next="resolve PRD association with pincer-ticket.sh bind T-NN .prd/prd-vN.md before continuing"
-elif [ "$prd_status" = draft ]; then
-  next="/pincer-narrow — current PRD is draft; earlier tickets and notes do not complete it"
-elif [ -z "$files" ]; then
-  next="/pincer-narrow — PRD exists, no tickets yet"
-elif [ -n "$in_prog" ]; then
-  next="resume${in_prog}: /pincer-code${in_prog} (check git status for uncommitted work; then verify → done)"
-elif [ "$n_open" -gt 0 ]; then
-  next="/pincer-code — next ready ticket: ${next_open:-none (all remaining are blocked — check depends_on)}"
-elif [ -n "$reverify" ]; then
-  next="/pincer-code — re-run verify for${reverify}; resolve readiness warnings before evaluation or release"
-elif [ "$notes_valid" = no ] || [ "$prd_status" != built ]; then
-  next="/pincer-evaluate — all tickets done"
-  [ "$prd_status" = built ] || next="$next (PRD status is '${prd_status:-?}', expected 'built')"
-else
-  next="/pincer-release — evaluation matches the current PRD and candidate; audit the artifacts"
-fi
-echo "Next     $next"
-[ "$unresolved" -eq 0 ] || exit 1
+exec node "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/pincer-runtime.cjs" status "$@"

package/template/scripts/pincer-ticket.sh

@@ -1,145 +1,25 @@
 #!/bin/bash
-# PINCER ticket state machine — the ONLY writer of a ticket's state fields
-# (status / started / verified / finished). Works on every platform; on Claude
-# Code a PreToolUse hook (.claude/hooks/ticket-guard.sh) blocks hand edits of
-# those fields so "done" can only be reached through a passing check.
+# PINCER ticket state machine — the ONLY writer of a ticket's lifecycle fields.
+# Compatibility wrapper: every call is executed by scripts/pincer-runtime.cjs
+# (docs/runtime-contracts.md). On Claude Code a PreToolUse hook
+# (.claude/hooks/ticket-guard.sh) blocks hand edits of those fields so "done"
+# can only be reached through a passing check.
 #
-#   scripts/pincer-ticket.sh start  T-03   open -> in_progress; refuses while a depends_on ticket isn't done
-#   scripts/pincer-ticket.sh verify T-03   runs the ticket's Verification block; exit 0 stamps a receipt
-#   scripts/pincer-ticket.sh done   T-03   needs a receipt matching the current Verification block
-#                                          and no unticked acceptance criteria; in_progress -> done
+#   scripts/pincer-ticket.sh start  T-03   open -> in_progress; refuses while a depends_on ticket isn't ready
+#   scripts/pincer-ticket.sh verify T-03   runs the ticket's Verification block and records the outcome
+#   scripts/pincer-ticket.sh done   T-03   closes the ticket on a current passing check with all criteria ticked
+#   scripts/pincer-ticket.sh bind   T-03 .prd/prd-vN.md   associates a legacy ticket with its PRD
 #
-# The receipt is `verified: <UTC time> <12-hex hash of the Verification block>`.
-# Change the check after it passed and `done` refuses until it passes again.
-# Every attempt revokes its predecessor; done runs a fresh final check.
-set -euo pipefail
-
-source "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/pincer-ticket-lib.sh"
-
-ROOT=${CLAUDE_PROJECT_DIR:-$(git rev-parse --show-toplevel 2>/dev/null || pwd)}
-cd "$ROOT"
-
-die() { printf 'pincer-ticket: %b\n' "$*" >&2; exit 1; }
-now() { date -u +%Y-%m-%dT%H:%M:%SZ; }
-
-
-fm_set() { # file key value — replace inside the frontmatter (keeping an inline comment) or add before the closing ---
-  local tmp; tmp=$(mktemp)
-  awk -v k="$2" -v v="$3" '
-    NR == 1 { print; next }
-    !closed && !done && index($0, k ":") == 1 {
-      c = $0; if (sub(/^[^#]*#/, "#", c)) print k ": " v "   " c; else print k ": " v
-      done = 1; next
-    }
-    !closed && $0 == "---" { if (!done) print k ": " v; closed = 1 }
-    { print }' "$1" > "$tmp" && mv "$tmp" "$1"
+# Unmigrated (legacy) projects keep the v0.4.1 receipts: `verify` writes
+# `last_check` and `verified` into the ticket and `done` re-runs the check.
+# Migrated projects record attempts under .pincer/runtime/ and `done` consumes
+# the current passing attempt. Exit codes follow docs/runtime-contracts.md.
+command -v node >/dev/null 2>&1 || {
+  echo 'pincer-ticket: Node.js 22+ is required — the runtime is scripts/pincer-runtime.cjs' >&2
+  exit 4
 }
-
-fm_unset() {
-  local tmp; tmp=$(mktemp)
-  awk -v k="$2" 'NR > 1 && $0 == "---" { closed = 1 }
-    !closed && index($0, k ":") == 1 { next } { print }' "$1" > "$tmp" && mv "$tmp" "$1"
-}
-
-cmd_bind() {
-  local f ref existing
-  f=$(ticket_file "$1"); ref=$2
-  validate_prd "$ref" || exit 1
-  existing=$(fm_get "$f" prd)
-  [ -z "$existing" ] || [ "$existing" = "$ref" ] || die "$1 already references $existing; refusing to rebind it to $ref"
-  [ "$existing" = "$ref" ] || fm_set "$f" prd "$ref"
-  echo "$1 bound to PRD $ref"
-}
-
-cmd_start() {
-  local f id st dep df ref dep_ref readiness
-  f=$(ticket_file "$1"); id=$(normalize "$1"); st=$(fm_get "$f" status)
-  ref=$(usable_ticket_prd "$f") || exit 1
-  case "$st" in
-    in_progress)
-      [ -n "$(fm_get "$f" prd)" ] || fm_set "$f" prd "$ref"
-      echo "$id already in progress (started $(fm_get "$f" started))"; return 0 ;;
-    done) die "$id is already done" ;;
-  esac
-  for dep in $(fm_get "$f" depends_on | grep -oE 'T-[0-9]+' || true); do
-    df=$(ticket_file "$dep")
-    [ "$(fm_get "$df" status)" = done ] || die "$id depends on $dep, which is '$(fm_get "$df" status)' — finish $dep first (or fix depends_on in $f)"
-    dep_ref=$(usable_ticket_prd "$df") || exit 1
-    [ "$dep_ref" = "$ref" ] || die "$id references $ref but dependency $dep references $dep_ref"
-    if ! readiness=$(ticket_readiness "$df"); then die "$id depends on $dep: $readiness"; fi
-  done
-  [ -n "$(fm_get "$f" prd)" ] || fm_set "$f" prd "$ref"
-  fm_set "$f" status in_progress
-  [ -n "$(fm_get "$f" started)" ] || fm_set "$f" started "$(now)"
-  echo "▶ $id started $(fm_get "$f" started) — $f"
-}
-
-cmd_verify() {
-  local f id st cmds rc hash child
-  f=$(ticket_file "$1"); id=$(normalize "$1"); st=$(fm_get "$f" status)
-  usable_ticket_prd "$f" >/dev/null || exit 1
-  case "$st" in
-    open) cmd_start "$id" ;;
-    done) echo "$id is done — re-running its check and updating the latest outcome" ;;
-  esac
-  cmds=$(verification_cmds "$f")
-  fm_unset "$f" verified
-  hash=$(verify_hash "$f")
-  fm_set "$f" last_check "$(now) running $hash"
-  printf '%s\n' "$cmds" | grep -vE '^[[:space:]]*(#|$)' >/dev/null || die "no runnable command in the Verification block of $f"
-  echo "── $id verification ──"
-  printf '%s\n' "$cmds" | sed 's/^/  $ /'
-  bash -eo pipefail -c "$cmds" & child=$!
-  trap 'kill "$child" 2>/dev/null || true; fm_set "$f" last_check "$(now) interrupted $hash"; exit 130' INT TERM
-  set +e; wait "$child"; rc=$?; set -e
-  trap - INT TERM
-  if [ "$rc" -ne 0 ]; then
-    fm_set "$f" last_check "$(now) failed $hash"
-    echo "✗ $id verification FAILED (exit $rc) — failure recorded in last_check of $f; any prior successful receipt was revoked. Fix, then re-run verify." >&2
-    exit "$rc"
-  fi
-  if [ "$hash" != "$(verify_hash "$f")" ]; then
-    fm_set "$f" last_check "$(now) failed $hash"
-    die "Verification block changed during execution — re-run verify"
-  fi
-  if ! validate_ticket "$f" || ! usable_ticket_prd "$f" >/dev/null; then
-    fm_set "$f" last_check "$(now) failed $hash"
-    die "ticket became invalid during verification — fix it and re-run verify"
-  fi
-  fm_set "$f" last_check "$(now) passed $hash"
-  fm_set "$f" verified "$(now) $hash"
-  echo "✓ $id verified — receipt: $(fm_get "$f" verified)"
-}
-
-cmd_done() {
-  local f id st rec cur u slug
-  f=$(ticket_file "$1"); id=$(normalize "$1"); st=$(fm_get "$f" status)
-  usable_ticket_prd "$f" >/dev/null || exit 1
-  [ "$st" = in_progress ] || [ "$st" = done ] || die "$id is '$st' — run '$0 verify $id' first"
-  rec=$(fm_get "$f" verified)
-  [ -n "$rec" ] || die "no verification receipt on $id — run '$0 verify $id' and get a green check first"
-  cur=$(verify_hash "$f")
-  [ "${rec##* }" = "$cur" ] || die "receipt hash ${rec##* } does not match the current Verification block ($cur): the check changed after it passed — run '$0 verify $id' again"
-  u=$(unticked "$f")
-  [ -z "$u" ] || die "unticked acceptance criteria on $id:\n$u\nTick each verified criterion; a criterion that was cut is a scope change to record in the PRD, not a box to skip."
-  cmd_verify "$id"
-  u=$(unticked "$f")
-  [ -z "$u" ] || die "unticked acceptance criteria on $id after verification:\n$u"
-  [ "$st" = done ] && { echo "$id already done — current check passed"; return 0; }
-  fm_set "$f" status done
-  fm_set "$f" finished "$(now)"
-  slug=$(basename "$f" .md); slug=${slug#T-[0-9][0-9]-}
-  echo "✓ $id done. Inspect staged work, stage only this ticket's paths, review git diff --cached, then commit: $id: ${slug//-/ }"
-}
-
-case "${1:-}" in
-  start|verify|done|bind) validate_ticket_set || exit 1 ;;
-esac
-
 case "${1:-}" in
-  start)  [ $# -eq 2 ] || die "usage: $0 start T-NN";  cmd_start "$2" ;;
-  verify) [ $# -eq 2 ] || die "usage: $0 verify T-NN"; cmd_verify "$2" ;;
-  done)   [ $# -eq 2 ] || die "usage: $0 done T-NN";   cmd_done "$2" ;;
-  bind)   [ $# -eq 3 ] || die "usage: $0 bind T-NN .prd/prd-vN.md"; cmd_bind "$2" "$3" ;;
-  *) sed -n '2,13p' "$0" | sed 's/^# \{0,1\}//'; exit 1 ;;
+  start|verify|done|bind) ;;
+  *) sed -n '8,11p' "$0" | sed 's/^# \{0,1\}//'; exit 2 ;;
 esac
+exec node "$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)/pincer-runtime.cjs" "$@"