qualia-framework 6.6.0 → 6.7.1

package/tests/state.test.sh

@@ -1158,6 +1158,182 @@ else
   fail_case "next-report-id missing peeked: true"
 fi
 
+# ─── A5: per-increment, concurrency-aware layout ─────────
+echo ""
+echo "A5 increment layout:"
+
+# 58. migrate converts a legacy project to increments + releases + gitignore + manifest
+TMP=$(make_project)
+MIG=$(cd "$TMP" && $NODE "$STATE_JS" migrate 2>&1)
+if echo "$MIG" | grep -q '"ok": true' \
+   && [ -f "$TMP/.planning/increments/inc-0001-foundation.md" ] \
+   && [ -f "$TMP/.planning/increments/inc-0002-core.md" ] \
+   && [ -f "$TMP/.planning/releases/r1.md" ] \
+   && [ -f "$TMP/.planning/.gitignore" ] \
+   && [ -f "$TMP/.planning/migration-manifest.json" ] \
+   && grep -q '^STATE.md$' "$TMP/.planning/.gitignore" \
+   && grep -q '^tracking.json$' "$TMP/.planning/.gitignore"; then
+  pass "migrate creates increments/ + releases/ + .gitignore + manifest"
+else
+  fail_case "migrate layout" "out=$MIG"
+fi
+
+# 59. migrate is idempotent (re-run is a no-op)
+MIG2=$(cd "$TMP" && $NODE "$STATE_JS" migrate 2>&1)
+if echo "$MIG2" | grep -q '"already_migrated": true'; then
+  pass "migrate is idempotent (already_migrated on re-run)"
+else
+  fail_case "migrate idempotent" "out=$MIG2"
+fi
+
+# 60. migrate --revert restores STATE.md + tracking.json and removes the layout
+REV=$(cd "$TMP" && $NODE "$STATE_JS" migrate --revert 2>&1)
+if echo "$REV" | grep -q '"restored": true' \
+   && [ ! -d "$TMP/.planning/increments" ] \
+   && [ ! -d "$TMP/.planning/releases" ] \
+   && [ ! -f "$TMP/.planning/.cursor.json" ] \
+   && [ -f "$TMP/.planning/STATE.md" ] \
+   && [ -f "$TMP/.planning/tracking.json" ]; then
+  pass "migrate --revert restores legacy files + removes layout"
+else
+  fail_case "migrate revert" "out=$REV"
+fi
+
+# 61. claim writes claimed_by + branch onto the increment file
+TMP=$(make_project)
+(cd "$TMP" && $NODE "$STATE_JS" migrate >/dev/null 2>&1)
+CL=$(cd "$TMP" && QUALIA_ACTOR=alice $NODE "$STATE_JS" claim --id inc-0001-foundation --branch feat-a 2>&1)
+if echo "$CL" | grep -q '"claimed_by": "alice"' \
+   && echo "$CL" | grep -q '"branch": "feat-a"' \
+   && grep -q '^claimed_by: alice$' "$TMP/.planning/increments/inc-0001-foundation.md" \
+   && grep -q '^branch: feat-a$' "$TMP/.planning/increments/inc-0001-foundation.md"; then
+  pass "claim writes claimed_by + branch to increment file"
+else
+  fail_case "claim writes fields" "out=$CL"
+fi
+
+# 62. a second actor claiming a held increment is refused
+DC=$(cd "$TMP" && QUALIA_ACTOR=bob $NODE "$STATE_JS" claim --id inc-0001-foundation --branch feat-b 2>&1)
+if echo "$DC" | grep -q '"error": "ALREADY_CLAIMED"'; then
+  pass "double-claim by another actor is refused (ALREADY_CLAIMED)"
+else
+  fail_case "double-claim refused" "out=$DC"
+fi
+
+# 63. check (increment layout) skips the increment claimed by another actor
+CK=$(cd "$TMP" && QUALIA_ACTOR=bob $NODE "$STATE_JS" check 2>&1)
+if echo "$CK" | grep -q '"layout": "increments"' \
+   && echo "$CK" | grep -q '"next_increment": "inc-0002-core"' \
+   && echo "$CK" | grep -q '"claimed_by": "alice"'; then
+  pass "check routes around another actor's claim (next_increment skips it)"
+else
+  fail_case "check skip-claimed" "out=$CK"
+fi
+
+# 64. release ships the increment + clears the claim (migrated DoD is satisfied)
+RL=$(cd "$TMP" && QUALIA_ACTOR=alice $NODE "$STATE_JS" release --id inc-0001-foundation --deployed-url https://x.example 2>&1)
+if echo "$RL" | grep -q '"status": "shipped"' \
+   && echo "$RL" | grep -q '"claim_cleared_from": "alice"' \
+   && grep -q '^status: shipped$' "$TMP/.planning/increments/inc-0001-foundation.md" \
+   && grep -q '^claimed_by: $' "$TMP/.planning/increments/inc-0001-foundation.md" \
+   && grep -q '^deployed_url: https://x.example$' "$TMP/.planning/increments/inc-0001-foundation.md"; then
+  pass "release ships increment + clears claim + records deployed_url"
+else
+  fail_case "release ships" "out=$RL"
+fi
+
+# 65. release requires --deployed-url
+RLN=$(cd "$TMP" && QUALIA_ACTOR=alice $NODE "$STATE_JS" release --id inc-0002-core 2>&1)
+if echo "$RLN" | grep -q '"error": "MISSING_ARG"'; then
+  pass "release without --deployed-url is refused (MISSING_ARG)"
+else
+  fail_case "release requires url" "out=$RLN"
+fi
+
+# 66. DoD gate (strict): an open '- [ ]' line blocks release
+TMP=$(make_project)
+(cd "$TMP" && $NODE "$STATE_JS" migrate >/dev/null 2>&1)
+printf '\n- [ ] unfinished acceptance item\n' >> "$TMP/.planning/increments/inc-0001-foundation.md"
+DOD=$(cd "$TMP" && $NODE "$STATE_JS" release --id inc-0001-foundation --deployed-url https://x.example 2>&1)
+if echo "$DOD" | grep -q '"error": "DOD_INCOMPLETE"'; then
+  pass "DoD gate (strict): open checklist item blocks release"
+else
+  fail_case "DoD strict block" "out=$DOD"
+fi
+
+# 67. DoD gate: --force (OWNER override) ships despite open items
+DODF=$(cd "$TMP" && $NODE "$STATE_JS" release --id inc-0001-foundation --deployed-url https://x.example --force 2>&1)
+if echo "$DODF" | grep -q '"status": "shipped"'; then
+  pass "DoD gate: --force ships despite open checklist items"
+else
+  fail_case "DoD force" "out=$DODF"
+fi
+
+# 68. DoD gate (standard): open item allowed only with a WAIVED reason
+TMP=$(make_project)
+(cd "$TMP" && $NODE "$STATE_JS" migrate >/dev/null 2>&1)
+printf '\n- [ ] perf budget WAIVED: out of scope for v1 (ADR-014)\n' >> "$TMP/.planning/increments/inc-0001-foundation.md"
+DODS=$(cd "$TMP" && QUALIA_PROFILE=standard $NODE "$STATE_JS" release --id inc-0001-foundation --deployed-url https://x.example 2>&1)
+if echo "$DODS" | grep -q '"status": "shipped"'; then
+  pass "DoD gate (standard): WAIVED open item permits release"
+else
+  fail_case "DoD standard waive" "out=$DODS"
+fi
+
+# 69. legacy projects (no increments/) are untouched by the new path
+TMP=$(make_project)
+LEG=$(cd "$TMP" && $NODE "$STATE_JS" check 2>&1)
+if echo "$LEG" | grep -q '"next_command": "/qualia-plan 1"' \
+   && ! echo "$LEG" | grep -q '"layout": "increments"'; then
+  pass "legacy project check is unchanged (no increment layout)"
+else
+  fail_case "legacy untouched" "out=$LEG"
+fi
+
+# 70. TWO-ACTOR KEYSTONE: two clones ship two increments → merge with zero conflict
+if command -v git >/dev/null 2>&1; then
+  ORIGIN=$(mktemp -d); CA=$(mktemp -d); CB=$(mktemp -d)
+  (cd "$ORIGIN" && git init -q && git config user.email o@o.com && git config user.name origin && git config commit.gpgsign false \
+    && $NODE "$STATE_JS" init --project "Conc" --phases '[{"name":"Alpha","goal":"A"},{"name":"Beta","goal":"B"}]' >/dev/null 2>&1 \
+    && $NODE "$STATE_JS" migrate >/dev/null 2>&1 \
+    && git add -A && git commit -q -m "seed")
+  DEFBR=$(cd "$ORIGIN" && git branch --show-current)
+  git clone -q "$ORIGIN" "$CA" 2>/dev/null; git clone -q "$ORIGIN" "$CB" 2>/dev/null
+  (cd "$CA" && git config user.email a@a.com && git config user.name alice && git config commit.gpgsign false && git checkout -b feat-a -q \
+    && QUALIA_ACTOR=alice $NODE "$STATE_JS" claim --id inc-0001-alpha --branch feat-a >/dev/null 2>&1 \
+    && QUALIA_ACTOR=alice $NODE "$STATE_JS" release --id inc-0001-alpha --deployed-url https://a.example >/dev/null 2>&1 \
+    && git add .planning/increments/inc-0001-alpha.md && git commit -q -m "ship alpha" && git push -q origin feat-a)
+  (cd "$CB" && git config user.email b@b.com && git config user.name bob && git config commit.gpgsign false && git checkout -b feat-b -q \
+    && QUALIA_ACTOR=bob $NODE "$STATE_JS" claim --id inc-0002-beta --branch feat-b >/dev/null 2>&1 \
+    && QUALIA_ACTOR=bob $NODE "$STATE_JS" release --id inc-0002-beta --deployed-url https://b.example >/dev/null 2>&1 \
+    && git add .planning/increments/inc-0002-beta.md && git commit -q -m "ship beta" && git push -q origin feat-b)
+  MRG=$(cd "$ORIGIN" && git checkout -q "$DEFBR" && git merge feat-a -m ma >/dev/null 2>&1; git merge feat-b -m mb 2>&1; echo "exit=$?")
+  CONFLICTS=$(cd "$ORIGIN" && git grep -l '<<<<<<<' HEAD -- .planning 2>/dev/null | wc -l | tr -d ' ')
+  STATE_TRACKED=$(cd "$ORIGIN" && git ls-files .planning/STATE.md | wc -l | tr -d ' ')
+  if echo "$MRG" | grep -q 'exit=0' \
+     && [ "$CONFLICTS" = "0" ] \
+     && grep -q '^status: shipped$' "$ORIGIN/.planning/increments/inc-0001-alpha.md" \
+     && grep -q '^status: shipped$' "$ORIGIN/.planning/increments/inc-0002-beta.md" \
+     && [ "$STATE_TRACKED" = "0" ]; then
+    pass "two-actor: ship A on feat-a + B on feat-b → merge to main with ZERO conflict, STATE.md never committed"
+  else
+    fail_case "two-actor zero-conflict" "merge=$MRG conflicts=$CONFLICTS state_tracked=$STATE_TRACKED"
+  fi
+  rm -rf "$ORIGIN" "$CA" "$CB"
+else
+  pass "two-actor keystone skipped (git unavailable)"
+fi
+
+# 71. id guard: a path-traversal --id is rejected before reaching the filesystem
+TMP=$(make_project)
+(cd "$TMP" && $NODE "$STATE_JS" migrate >/dev/null 2>&1)
+TRAV=$(cd "$TMP" && $NODE "$STATE_JS" claim --id "../../etc/passwd" --branch x 2>&1)
+if echo "$TRAV" | grep -q '"error": "INVALID_ID"'; then
+  pass "claim rejects a path-traversal --id (INVALID_ID)"
+else
+  fail_case "id traversal guard" "out=$TRAV"
+fi
+
 # ─── Summary ─────────────────────────────────────────────
 echo ""
 echo "=== Results: $PASS passed, $FAIL failed ==="