@sabaiway/agent-workflow-kit 2.0.0 → 2.1.0

package/CHANGELOG.md

@@ -4,6 +4,35 @@ Semantically versioned ([semver](https://semver.org)), newest first. The `versio
 is the current release. `upgrade` mode reads a project's `docs/ai/.workflow-version` and applies
 every `migrations/<version>-<slug>.md` newer than it, in semver order.
 
+## 2.1.0 — agy code review fails CLOSED pre-spend: grounded facts required, `--ungrounded` is the explicit escape (AD-058)
+
+> ### ⚠ the bundled antigravity bridge takes MAJOR 3.0.0 — bare `agy-review code` now refuses
+>
+> `agy-review code` without a NON-EMPTY `--facts` payload exits 2 **before spending a run**
+> (previously: a loud warning, then a spent subscription run whose `grounded:false` receipt the
+> review-state gate rejects — a guaranteed-wasted spend). Scripts calling bare `agy-review code`
+> must add `--facts @f` (grounded) or `--ungrounded` (explicit throwaway opinion; the receipt still
+> records `grounded:false` and never attests). `plan`/`diff` modes and continuations are unchanged.
+> The kit itself is a MINOR carrier — the incompatibility is created, and declared, by the bridge.
+
+A **fail-closed** release (kit MINOR carrying antigravity-cli-bridge **3.0.0** MAJOR in-tarball;
+codex-cli-bridge 2.8.0 / engine 1.17.0 / memory 2.3.0 unchanged; the deployment-lineage head stays
+`2.0.0`). One theme: **a run that cannot produce a usable result refuses before the money is spent.**
+
+- **The refusal prints the recovery:** the exact `grounding.mjs` invocation — resolved from the
+  wrapper's own location across the three real install layouts (monorepo canon / deployed skills
+  sibling / kit-bundled mirror), quoted so an install path with spaces still yields a runnable
+  command — plus the `agy-review code --facts @<file>` re-run line.
+- **Escapes, both honest:** `--ungrounded` (code-mode only, contradicts `--facts`, refused on a
+  continuation) and `AGY_PROBE=1` (a probe may now run ungrounded — a probe receipt never attests
+  either way; its `modeCatalog` descriptor now marks the facts file optional).
+- **Every declaration home moves in lockstep** (drift-guarded both directions): `--help` ⟷
+  `capability.json` (`roles.review.contract` + `modeCatalog` `review.code` operands/guardrails +
+  the `AGY_PROBE` env-hook) ⟷ the kit registry mirror (`tools/detect-backends.mjs`) ⟷ `SKILL.md` ⟷
+  `references/driving-agy.md` / `models-and-flags.md` / `review-prompt.md`.
+- **Receipt contract scoped honestly:** in `code` mode an absent/empty facts payload now means NO
+  run and NO receipt; the `grounded:false`-on-empty clause applies to `plan`/`diff` only.
+
 ## 2.0.0 — Bridge mode catalog (manifest-as-source) + a review receipt that SELF-DECLARES (AD-057)
 
 > ### ⚠ BREAKING — a review receipt written before this release no longer attests a tree

package/SKILL.md

@@ -3,7 +3,7 @@ name: agent-workflow-kit
 description: Deploy or upgrade a portable AI-agent memory-and-workflow system in any project. Use when the user wants to bootstrap `docs/ai/` + an entry-point `AGENTS.md` (+ `CLAUDE.md` alias) + cap/archive/index enforcement in a new or existing repo, set up the Memory Map and session protocols, install the docs-rotation pre-commit hook, or run `/agent-workflow-kit` / `/agent-workflow-kit upgrade`. Triggers on phrases like "set up the memory system", "deploy the AI workflow here", "bootstrap docs/ai", "upgrade the workflow".
 disable-model-invocation: true
 metadata:
-  version: '2.0.0'
+  version: '2.1.0'
 ---
 
 # agent-workflow-kit

package/bridges/antigravity-cli-bridge/SKILL.md

@@ -2,7 +2,7 @@
 name: antigravity-cli-bridge
 description: Delegate work to Google's Antigravity CLI (`agy`) — the successor to Gemini CLI — to reach Gemini, Claude, and GPT-OSS models under a Google AI Pro/Ultra subscription from the terminal. Use when the user wants to run a headless `agy` prompt, hand a focused task or second-opinion review to `agy`, install or authenticate Antigravity CLI, check or economise its quota/models, bridge project context into `agy`, set up a second delegated-execution backend beside Codex, or troubleshoot `agy` flags, models, auth, conversations, or its no-JSON headless behaviour.
 metadata:
-  version: '2.7.0'
+  version: '3.0.0'
 ---
 
 # antigravity-cli-bridge
@@ -118,11 +118,16 @@ review **guesses** (stale-model and partial-diff false positives). `agy-review`
 POSTURE + a **model/cutoff GUARD** + your **`--facts`** (the verified facts the model reviews AGAINST)
 + **`--decided`** (the anti-circling list) + **`--focus`** + the artifact + a strict output shape, then
 delegates execution to `agy-run` (one home for the timeout, the subscription invariant, and the byte
-ceiling).
+ceiling). In `code` mode grounding **fails closed**: without a non-empty `--facts` payload the wrapper
+refuses **before spending a run** (an ungrounded code receipt records `grounded:false`, which the
+review-state gate rejects — the run would attest nothing). The explicit escapes are `--ungrounded`
+(a throwaway opinion) and `AGY_PROBE=1` (a probe never attests anyway); `plan`/`diff` keep the loud
+warning and proceed.
 
 ```bash
-agy-review code [--facts @facts.md] [--decided @decided.md] [--focus "…"]   # the repo-complete diff
-agy-review plan <plan-file> [--facts @f] …      # critique a plan
+agy-review code --facts @facts.md [--decided @decided.md] [--focus "…"]   # the repo-complete diff (facts REQUIRED — fails closed pre-spend)
+agy-review code --ungrounded                    # explicit escape: throwaway ungrounded opinion (receipt never attests)
+agy-review plan <plan-file> [--facts @f] …      # critique a plan (no facts ⇒ loud warning)
 agy-review diff <diff-file> [--facts @f] …      # review a supplied diff
 agy-review --continue --decided @round1.md --focus "still-open items"   # round-2 delta, no re-assembly
 ```

package/bridges/antigravity-cli-bridge/bin/agy-review.sh

@@ -14,7 +14,8 @@
 #   1. POSTURE   read-only second-opinion reviewer; findings only, no edits/commits
 #   2. GUARD     do NOT opine on AI model names/versions or your knowledge cutoff
 #   3. FACTS     "## Grounded facts — review AGAINST these, do NOT guess the code"
-#                (omitted -> a one-line note in-prompt + a LOUD stderr warning)
+#                (code mode REFUSES pre-spend without a non-empty payload — escapes:
+#                --ungrounded / AGY_PROBE=1; plan/diff omitted -> a LOUD stderr warning)
 #   4. DECIDED   "## Decisions already made / already addressed — do NOT re-raise"
 #                (optional; the anti-circling lever — the round-2 payload)
 #   5. FOCUS     the merged --focus / trailing focus text (optional)
@@ -27,7 +28,7 @@
 # facts (--facts), the already-decided list (--decided), and the focus (--focus).
 #
 # Usage (installed on PATH as `agy-review`):
-#   agy-review code   [--facts @f] [--decided @f] [--focus "…"] [extra focus…]
+#   agy-review code   [--facts @f] [--ungrounded] [--decided @f] [--focus "…"] [extra focus…]
 #   agy-review plan   <plan-file> [--facts @f] [--decided @f] [--focus "…"]
 #   agy-review diff   <diff-file> [--facts @f] [--decided @f] [--focus "…"]
 #   agy-review --continue          [--decided @f] [--focus "…"]   # round-2 delta (no mode, no re-assembly)
@@ -55,19 +56,22 @@ case "${1:-}" in
 agy-review — grounded read-only ADVISORY review by Google's Antigravity CLI (agy; subscription-only).
 
 Usage:
-  agy-review code [--facts @f] [--decided @f] [--focus "…"] [extra focus…]
+  agy-review code [--facts @f] [--ungrounded] [--decided @f] [--focus "…"] [extra focus…]
   agy-review plan <plan-file> [--facts @f] [--decided @f] [--focus "…"]
   agy-review diff <diff-file> [--facts @f] [--decided @f] [--focus "…"]
 
 Flags:
-  --facts @f — verified facts the review runs AGAINST (omit ⇒ loud ungrounded-review warning)
+  --facts @f — verified facts the review runs AGAINST (code mode REQUIRES a non-empty payload; plan/diff warn loudly when omitted)
+  --ungrounded — deliberately ungrounded CODE review, a throwaway opinion (code mode only, contradicts --facts; the receipt records grounded:false and never attests)
   --decided @f — already-decided / already-addressed list; do NOT re-raise (anti-circling; the round-2 payload)
   --focus "…" — extra focus (repeatable; code mode also takes trailing focus words)
 
 Grounding:
   grounded review — agy reads NOTHING by default, an ungrounded review GUESSES:
   --facts @f = the verified facts to review AGAINST; --decided @f = decisions
-  already made, do NOT re-raise (anti-circling)
+  already made, do NOT re-raise (anti-circling). code mode REQUIRES a non-empty
+  --facts payload and refuses BEFORE spending a run (escapes: --ungrounded,
+  AGY_PROBE=1); plan/diff proceed with a loud warning
 
 Notes:
   pre-dispatch host-diff: before the FIRST dispatch of this bridge, diff its declared networkHosts
@@ -88,7 +92,8 @@ Receipt:
   sockets — are excluded from the domain entirely, untracked symlinks/directories ride as
   name-only notes) in code mode, the artifact-file sha256 in plan/diff mode; verdict
   recorded verbatim from the mandated '### Verdict' section (SHIP / SHIP WITH NITS / REWORK);
-  grounded = whether a NON-EMPTY --facts payload was supplied (an empty payload records
+  grounded = whether a NON-EMPTY --facts payload was supplied (code mode refuses pre-spend without
+  one — no run, no receipt — unless --ungrounded/AGY_PROBE=1; in plan/diff an empty payload records
   grounded:false — fail-closed, the state gate rejects it), factsHash = sha256 of the facts
   payload; a continuation receipt is fresh:false (informational-only — it cannot attest the
   folded tree); probe = whether the run relaxed the quality guards (AGY_PROBE=1), written on EVERY
@@ -101,7 +106,7 @@ Settings file (KEY=VALUE, parsed never sourced; env wins over file, file wins ov
   AGY_HARD_TIMEOUT — hard wall-clock cap, duration string like 5m/30m/90s (built-in default 30m)
   AGY_REVIEW_ALLOW_ADDDIR — boolean 0/1: 1 arms the oversized --add-dir escape (re-enables the Issue-001 stall risk; default 0)
 
-Closed grammar: unknown flags are rejected; no '--' passthrough (the only escapes are AGY_PROBE=1 and AGY_REVIEW_ALLOW_ADDDIR=1).
+Closed grammar: unknown flags are rejected; no '--' passthrough (the flag escape is --ungrounded; the env escapes are AGY_PROBE=1 and AGY_REVIEW_ALLOW_ADDDIR=1).
 Requires at run time: the agy CLI on PATH + a Google AI subscription login (--help needs neither).
 HELP
     exit 0
@@ -220,7 +225,7 @@ DEFAULT_AGY_REVIEW_MODEL="Gemini 3.1 Pro (High)"
 # Review-receipt identity (AD-038). AW_BRIDGE_VERSION mirrors this bridge's SKILL.md/capability.json
 # version (drift-guarded by agy-review.test.mjs against capability.json).
 AW_RECEIPT_BACKEND="agy"
-AW_BRIDGE_VERSION="2.7.0"
+AW_BRIDGE_VERSION="3.0.0"
 # `-` not `:-` so an EXPLICIT empty AGY_MODEL= survives (drop --model, use settings.json — agy.sh:52).
 AGY_MODEL="${AGY_MODEL-$DEFAULT_AGY_REVIEW_MODEL}"
 # Frontier review models. ANY model is allowed; a sub-frontier one only earns a soft, silenceable warning.
@@ -541,7 +546,7 @@ case "${1:-}" in
 esac
 
 usage() {
-  echo "usage: $0 code   [--facts @f] [--decided @f] [--focus \"…\"] [extra focus…]" >&2
+  echo "usage: $0 code   [--facts @f] [--ungrounded] [--decided @f] [--focus \"…\"] [extra focus…]" >&2
   echo "       $0 plan   <plan-file> [--facts @f] [--decided @f] [--focus \"…\"]" >&2
   echo "       $0 diff   <diff-file> [--facts @f] [--decided @f] [--focus \"…\"]" >&2
   echo "       $0 --continue          [--decided @f] [--focus \"…\"]" >&2
@@ -580,6 +585,7 @@ fi
 # --- Flag parse (--facts / --decided / --focus + trailing focus) -------------
 FACTS_RAW=""
 DECIDED_RAW=""
+UNGROUNDED=0
 FOCUS_PARTS=()
 # A value-taking flag must be followed by a real value — never end-of-args and never another flag.
 # Otherwise `agy-review code --facts --focus x` would silently take "--focus" as the facts and spend a
@@ -598,6 +604,12 @@ while [[ $# -gt 0 ]]; do
         exit 2
       fi
       need_value "$1" "${2:-}"; FACTS_RAW="$2"; shift 2 ;;
+    --ungrounded)
+      if [[ -n "$resume_mode" ]]; then
+        echo "error: --ungrounded is not valid on a continuation (the original round already set its grounding)." >&2
+        exit 2
+      fi
+      UNGROUNDED=1; shift ;;
     --decided)
       need_value "$1" "${2:-}"; DECIDED_RAW="$2"; shift 2 ;;
     --focus)
@@ -623,6 +635,18 @@ done
 # Merge --focus values and trailing focus words, in parse order, into ONE focus block.
 FOCUS="${FOCUS_PARTS[*]:-}"
 
+# --ungrounded closed grammar (D4): code-mode only, and an explicit contradiction with --facts refuses.
+if [[ "$UNGROUNDED" == "1" ]]; then
+  if [[ -n "$FACTS_RAW" ]]; then
+    echo "error: --ungrounded contradicts --facts — pass the verified facts (grounded) or drop them (--ungrounded), never both." >&2
+    exit 2
+  fi
+  if [[ "$mode" != "code" ]]; then
+    echo "error: --ungrounded is only valid in code mode — $mode mode already proceeds ungrounded with a loud warning." >&2
+    exit 2
+  fi
+fi
+
 # Resolve @file / literal for --facts and --decided NOW (cwd = invocation, before any code-mode cd).
 # The `@file` existence check runs at TOP LEVEL (not inside a command substitution) so its exit-2 exits
 # the whole script, not just a subshell.
@@ -648,6 +672,25 @@ if [[ -n "$DECIDED_RAW" ]]; then
 fi
 
 if [[ -z "$FACTS_CONTENT" && -z "$resume_mode" ]]; then
+  # code mode fails CLOSED before the spend (D4): an ungrounded CODE receipt records grounded:false,
+  # which the review-state gate rejects — the run would be paid for and attest nothing. Keyed on the
+  # resolved CONTENT, so --facts naming an empty payload refuses identically.
+  if [[ "$mode" == "code" && "$UNGROUNDED" != "1" && "$AGY_PROBE" != "1" ]]; then
+    # The recovery hint resolves the kit's grounding tool from THIS wrapper's location (monorepo
+    # canon / deployed skills sibling / kit-bundled mirror) — a repo-relative path would not exist
+    # for a globally installed kit. Quoted: an install path may carry spaces.
+    grounding_tool="node <agent-workflow-kit>/tools/grounding.mjs"
+    for _g in "$HERE/../../agent-workflow-kit/tools/grounding.mjs" "$HERE/../../../tools/grounding.mjs"; do
+      if [[ -f "$_g" ]]; then grounding_tool="node \"$_g\""; break; fi
+    done
+    echo "error: 'agy-review code' requires grounded facts and refuses BEFORE spending a run — an" >&2
+    echo "       ungrounded code review GUESSES, and its receipt (grounded:false) never attests." >&2
+    echo "       Assemble the verified facts, then re-run:" >&2
+    echo "         $grounding_tool --constraints [--plan <plan-file>] --out <facts-file>" >&2
+    echo "         agy-review code --facts @<facts-file>" >&2
+    echo "       Explicit escapes: --ungrounded (throwaway opinion) · AGY_PROBE=1 (a probe never attests)." >&2
+    exit 2
+  fi
   echo "warning: no --facts supplied. agy reads NOTHING by default, so an ungrounded review GUESSES" >&2
   echo "         (stale-model and partial-diff false positives). Pass --facts @file with the verified" >&2
   echo "         facts the model must review AGAINST. Proceeding without grounding." >&2

package/bridges/antigravity-cli-bridge/bin/agy-review.test.mjs

@@ -190,17 +190,100 @@ describe('agy-review.sh — guard + grounding (2, 3)', () => {
     assert.match(r.prompt, /## Focus\nfirst second third/);
   });
 
-  it('warns LOUDLY when --facts is omitted, and proceeds', () => {
+  it('plan mode with no --facts keeps the warning and proceeds (unchanged contract)', () => {
     const sb = makeSandbox();
-    const r = run(sb, { args: ['code'] });
+    writeFileSync(join(sb.repo, 'p.md'), '# plan body\n');
+    const r = run(sb, { args: ['plan', 'p.md'] });
     rmSync(sb.home, { recursive: true, force: true });
     assert.equal(r.status, 0, r.stderr);
     assert.match(r.stderr, /no --facts supplied/);
-    assert.equal(r.invoked, true, 'an ungrounded review still proceeds (warn, not block)');
+    assert.equal(r.invoked, true, 'an ungrounded plan review still proceeds (warn, not block)');
     assert.match(r.prompt, /none supplied/, 'the prompt notes the missing facts in-band');
   });
 });
 
+// ── code mode fails CLOSED without grounded facts (D4) ───────────────────────────
+// An ungrounded CODE receipt records grounded:false, which the kit's review-state gate rejects —
+// the run would be paid for and attest nothing. The wrapper refuses BEFORE the spend, keyed on the
+// resolved CONTENT (an empty --facts payload refuses identically). Escapes: the explicit
+// --ungrounded flag (throwaway opinion) and AGY_PROBE=1 (a probe receipt never attests anyway).
+describe('agy-review.sh — code mode fails CLOSED without grounded facts (D4)', () => {
+  it('code mode with no --facts exits 2 before any agy invocation', () => {
+    const sb = makeSandbox();
+    const r = run(sb, { args: ['code'] });
+    rmSync(sb.home, { recursive: true, force: true });
+    assert.equal(r.status, 2, r.stderr);
+    assert.equal(r.invoked, false, 'the refusal must fire before any agy invocation — zero runs spent');
+    assert.match(r.stderr, /grounding\.mjs/, 'the refusal names the facts assembler');
+    assert.match(r.stderr, /agy-review code --facts @/, 'the refusal prints the exact re-run line');
+    const hint = r.stderr.match(/node "([^"]+grounding\.mjs)"/);
+    assert.ok(hint, 'the recovery hint resolves and QUOTES a real grounding.mjs path (an install path may carry spaces)');
+    assert.ok(existsSync(hint[1]), 'the resolved hint path exists on this layout');
+  });
+
+  it('code mode with --facts naming an EMPTY payload exits 2 before any agy invocation', () => {
+    const sb = makeSandbox();
+    writeFileSync(join(sb.repo, 'empty-facts.md'), '');
+    const r = run(sb, { args: ['code', '--facts', '@empty-facts.md'] });
+    rmSync(sb.home, { recursive: true, force: true });
+    assert.equal(r.status, 2, 'the refusal keys on the CONTENT, not the flag');
+    assert.equal(r.invoked, false, 'an empty payload must not spend a run');
+    assert.match(r.stderr, /agy-review code --facts @/);
+  });
+
+  it('code --ungrounded proceeds and the receipt records grounded:false', () => {
+    const sb = makeSandbox();
+    const r = run(sb, { args: ['code', '--ungrounded'], env: { AGY_FAKE_OUTPUT: VERDICT_OUTPUT } });
+    const receipts = readReceipts(sb.repo);
+    rmSync(sb.home, { recursive: true, force: true });
+    assert.equal(r.status, 0, r.stderr);
+    assert.equal(r.invoked, true, 'the explicit escape lets the run proceed');
+    assert.equal(receipts.length, 1);
+    assert.equal(receipts[0].grounded, false, 'an --ungrounded run still records grounded:false');
+    assert.equal(receipts[0].factsHash, null);
+    assert.match(r.stderr, /no --facts supplied/, 'the escape path stays loud, never silent');
+  });
+
+  it('AGY_PROBE=1 code with no --facts proceeds and the receipt records probe:true', () => {
+    const sb = makeSandbox();
+    const r = run(sb, { args: ['code'], env: { AGY_PROBE: '1', AGY_FAKE_OUTPUT: VERDICT_OUTPUT } });
+    const receipts = readReceipts(sb.repo);
+    rmSync(sb.home, { recursive: true, force: true });
+    assert.equal(r.status, 0, r.stderr);
+    assert.equal(r.invoked, true, 'an ungrounded probe is coherent — a probe receipt never attests');
+    assert.equal(receipts[0].probe, true);
+    assert.equal(receipts[0].grounded, false);
+  });
+
+  it('--ungrounded with --facts is a refusal (contradiction)', () => {
+    const sb = makeSandbox();
+    const r = run(sb, { args: ['code', '--ungrounded', '--facts', 'f'] });
+    rmSync(sb.home, { recursive: true, force: true });
+    assert.equal(r.status, 2);
+    assert.equal(r.invoked, false);
+    assert.match(r.stderr, /--ungrounded contradicts --facts/);
+  });
+
+  it('--ungrounded outside code mode is a refusal', () => {
+    const sb = makeSandbox();
+    writeFileSync(join(sb.repo, 'p.md'), '# p\n');
+    const r = run(sb, { args: ['plan', 'p.md', '--ungrounded'] });
+    rmSync(sb.home, { recursive: true, force: true });
+    assert.equal(r.status, 2);
+    assert.equal(r.invoked, false);
+    assert.match(r.stderr, /--ungrounded is only valid in code mode/);
+  });
+
+  it('--ungrounded on a continuation is a refusal', () => {
+    const sb = makeSandbox();
+    const r = run(sb, { args: ['--continue', '--ungrounded'] });
+    rmSync(sb.home, { recursive: true, force: true });
+    assert.equal(r.status, 2);
+    assert.equal(r.invoked, false);
+    assert.match(r.stderr, /--ungrounded is not valid on a continuation/);
+  });
+});
+
 describe('agy-review.sh — code-mode precomputed diff (4, 5, 8)', () => {
   it('assembles repo map + status + untracked CONTENTS', () => {
     const sb = makeSandbox();
@@ -754,7 +837,12 @@ describe('agy-review.sh — declared contract is really accepted (forward guard)
     for (const descriptor of REVIEW_CONTRACT.flags) {
       const flag = leadingFlag(descriptor);
       const sb = makeSandbox();
-      const r = run(sb, { args: ['code', flag, 'f'] });
+      // D4: code mode refuses without grounded facts, so a non-facts value flag is driven on a
+      // grounded run; --ungrounded takes no value, contradicts --facts, and is driven alone.
+      const args = flag === '--facts' ? ['code', '--facts', 'f']
+        : flag === '--ungrounded' ? ['code', '--ungrounded']
+          : ['code', '--facts', 'f', flag, 'f'];
+      const r = run(sb, { args });
       rmSync(sb.home, { recursive: true, force: true });
       assert.equal(r.status, 0, `${flag}: ${r.stderr}`);
     }
@@ -853,9 +941,9 @@ describe('agy-review.sh — review receipts (AD-038)', () => {
     assert.equal(receipts[0].probe, true, 'both write paths carry the marker — no unmarked probe lane');
   });
 
-  it('an ungrounded fresh run records grounded:false + factsHash null (the vacuous-grounding hole stays visible)', () => {
+  it('an --ungrounded fresh run records grounded:false + factsHash null (the vacuous-grounding hole stays visible)', () => {
     const sb = makeSandbox();
-    const r = run(sb, { args: ['code'], env: { AGY_FAKE_OUTPUT: VERDICT_OUTPUT } });
+    const r = run(sb, { args: ['code', '--ungrounded'], env: { AGY_FAKE_OUTPUT: VERDICT_OUTPUT } });
     const receipts = readReceipts(sb.repo);
     rmSync(sb.home, { recursive: true, force: true });
     assert.equal(r.status, 0, r.stderr);
@@ -863,16 +951,15 @@ describe('agy-review.sh — review receipts (AD-038)', () => {
     assert.equal(receipts[0].factsHash, null);
   });
 
-  it('an EMPTY --facts file records grounded:false (fail-closed — vacuous grounding never satisfies the gate) and still warns', () => {
+  it('an EMPTY --facts file in code mode refuses pre-spend — no run, no receipt (D4 fail-closed)', () => {
     const sb = makeSandbox();
     writeFileSync(join(sb.home, 'empty-facts.md'), '');
     const r = run(sb, { args: ['code', '--facts', `@${join(sb.home, 'empty-facts.md')}`], env: { AGY_FAKE_OUTPUT: VERDICT_OUTPUT } });
     const receipts = readReceipts(sb.repo);
     rmSync(sb.home, { recursive: true, force: true });
-    assert.equal(r.status, 0, r.stderr);
-    assert.equal(receipts[0].grounded, false, 'an empty payload is recorded as ungrounded, never as grounded-by-flag');
-    assert.equal(receipts[0].factsHash, null);
-    assert.match(r.stderr, /no --facts supplied|ungrounded review GUESSES/, 'the ungrounded warning fires for an empty payload');
+    assert.equal(r.status, 2, 'vacuous grounding no longer spends a run');
+    assert.equal(r.invoked, false);
+    assert.equal(receipts.length, 0, 'no run — no receipt');
   });
 
   it('parses REWORK and plain SHIP; records "unknown" when the mandated section is absent', () => {

package/bridges/antigravity-cli-bridge/capability.json

@@ -3,7 +3,7 @@
   "schema": 1,
   "name": "antigravity-cli-bridge",
   "kind": "execution-backend",
-  "version": "2.7.0",
+  "version": "3.0.0",
   "provides": ["review", "probe"],
   "roles": {
     "review": {
@@ -14,13 +14,14 @@
       "output": "advisory",
       "contract": {
         "invocations": [
-          "agy-review code [--facts @f] [--decided @f] [--focus \"…\"] [extra focus…]",
+          "agy-review code [--facts @f] [--ungrounded] [--decided @f] [--focus \"…\"] [extra focus…]",
           "agy-review plan <plan-file> [--facts @f] [--decided @f] [--focus \"…\"]",
           "agy-review diff <diff-file> [--facts @f] [--decided @f] [--focus \"…\"]"
         ],
-        "grounding": "grounded review — agy reads NOTHING by default, an ungrounded review GUESSES: --facts @f = the verified facts to review AGAINST; --decided @f = decisions already made, do NOT re-raise (anti-circling)",
+        "grounding": "grounded review — agy reads NOTHING by default, an ungrounded review GUESSES: --facts @f = the verified facts to review AGAINST; --decided @f = decisions already made, do NOT re-raise (anti-circling). code mode REQUIRES a non-empty --facts payload and refuses BEFORE spending a run (escapes: --ungrounded, AGY_PROBE=1); plan/diff proceed with a loud warning",
         "flags": [
-          "--facts @f — verified facts the review runs AGAINST (omit ⇒ loud ungrounded-review warning)",
+          "--facts @f — verified facts the review runs AGAINST (code mode REQUIRES a non-empty payload; plan/diff warn loudly when omitted)",
+          "--ungrounded — deliberately ungrounded CODE review, a throwaway opinion (code mode only, contradicts --facts; the receipt records grounded:false and never attests)",
           "--decided @f — already-decided / already-addressed list; do NOT re-raise (anti-circling; the round-2 payload)",
           "--focus \"…\" — extra focus (repeatable; code mode also takes trailing focus words)"
         ],
@@ -28,7 +29,7 @@
           "agy-review --continue [--decided @f] [--focus \"…\"]",
           "agy-review --conversation <id> [--decided @f] [--focus \"…\"]"
         ],
-        "receipt": "side effect — a successful review appends one JSON receipt line to <git dir>/agent-workflow-review-receipts.jsonl (AW_REVIEW_RECEIPTS overrides; plan/diff outside a git tree: warn + skip unless overridden): fingerprint = sha256 over the canonical uncommitted-state payload (staged diff + unstaged diff + untracked-not-ignored contents — the review-payload domain; never-committable untracked paths — character/block devices, FIFOs, sockets — are excluded from the domain entirely, untracked symlinks/directories ride as name-only notes) in code mode, the artifact-file sha256 in plan/diff mode; verdict recorded verbatim from the mandated '### Verdict' section (SHIP / SHIP WITH NITS / REWORK); grounded = whether a NON-EMPTY --facts payload was supplied (an empty payload records grounded:false — fail-closed, the state gate rejects it), factsHash = sha256 of the facts payload; a continuation receipt is fresh:false (informational-only — it cannot attest the folded tree); probe = whether the run relaxed the quality guards (AGY_PROBE=1), written on EVERY receipt so it self-declares — the kit's review-state gate rejects a probe-marked receipt (a probe review never attests) and equally rejects an unmarked one (silence is not a declaration); a write failure warns, never fails the review",
+        "receipt": "side effect — a successful review appends one JSON receipt line to <git dir>/agent-workflow-review-receipts.jsonl (AW_REVIEW_RECEIPTS overrides; plan/diff outside a git tree: warn + skip unless overridden): fingerprint = sha256 over the canonical uncommitted-state payload (staged diff + unstaged diff + untracked-not-ignored contents — the review-payload domain; never-committable untracked paths — character/block devices, FIFOs, sockets — are excluded from the domain entirely, untracked symlinks/directories ride as name-only notes) in code mode, the artifact-file sha256 in plan/diff mode; verdict recorded verbatim from the mandated '### Verdict' section (SHIP / SHIP WITH NITS / REWORK); grounded = whether a NON-EMPTY --facts payload was supplied (code mode refuses pre-spend without one — no run, no receipt — unless --ungrounded/AGY_PROBE=1; in plan/diff an empty payload records grounded:false — fail-closed, the state gate rejects it), factsHash = sha256 of the facts payload; a continuation receipt is fresh:false (informational-only — it cannot attest the folded tree); probe = whether the run relaxed the quality guards (AGY_PROBE=1), written on EVERY receipt so it self-declares — the kit's review-state gate rejects a probe-marked receipt (a probe review never attests) and equally rejects an unmarked one (silence is not a declaration); a write failure warns, never fails the review",
         "notes": [
           "pre-dispatch host-diff: before the FIRST dispatch of this bridge, diff its declared networkHosts against the live sandbox allow-list — a missing host is surfaced to the maintainer BEFORE dispatching, never fired into a known prompt"
         ]
@@ -50,7 +51,8 @@
       "whenNotTo": ["a clean tree — the wrapper exits before spending a run"],
       "invocationRefs": [{ "contractField": "invocations", "index": 0 }],
       "operands": [
-        { "slot": "[--facts @f]", "required": false, "description": "the verified facts to review AGAINST; omitting it warns loudly and records the review ungrounded" },
+        { "slot": "[--facts @f]", "required": false, "description": "the verified facts to review AGAINST; code mode refuses pre-spend without a non-empty payload (escapes: --ungrounded, AGY_PROBE=1)" },
+        { "slot": "[--ungrounded]", "required": false, "description": "deliberately ungrounded code review — a throwaway opinion; the receipt records grounded:false and never attests" },
         { "slot": "[--decided @f]", "required": false, "description": "decisions already made; the reviewer must not re-raise them (anti-circling)" },
         { "slot": "[--focus \"…\"]", "required": false, "description": "what this review must look at (repeatable)" },
         { "slot": "[extra focus…]", "required": false, "description": "extra focus words appended to the review directive" }
@@ -59,6 +61,7 @@
         { "value": "read-only posture — the prompt forbids edits, commands and git writes", "enforcement": "advisory", "source": "bin/agy-review.sh" },
         { "value": "receives no ambient repo/file context by default — the wrapper passes no --add-dir", "enforcement": "enforced", "source": "bin/agy-review.sh" },
         { "value": "an ungrounded review guesses — stale-model and partial-diff false positives", "enforcement": "advisory", "source": "bin/agy-review.sh" },
+        { "value": "without a non-empty --facts payload the run refuses BEFORE the spend (exit 2) — the only escapes are --ungrounded and AGY_PROBE=1", "enforcement": "enforced", "source": "bin/agy-review.sh" },
         { "value": "an ungrounded run records grounded:false and the review-state gate rejects it", "enforcement": "enforced", "source": "capability.json roles.review.contract.receipt" },
         { "value": "an oversized prompt refuses rather than truncate", "enforcement": "enforced", "condition": "unless AGY_REVIEW_ALLOW_ADDDIR=1 offloads it to a private --add-dir staging dir", "source": "capability.json settings.AGY_REVIEW_ALLOW_ADDDIR" }
       ],
@@ -185,9 +188,9 @@
         "deliberately reviewing with a cheaper non-frontier model"
       ],
       "whenNotTo": ["any run whose output informs what ships — a probe never attests"],
-      "descriptor": "AGY_PROBE=1 agy-review code --facts @<facts-file>",
+      "descriptor": "AGY_PROBE=1 agy-review code [--facts @<facts-file>]",
       "operands": [
-        { "slot": "@<facts-file>", "required": true, "description": "the verified facts the review runs AGAINST" }
+        { "slot": "[--facts @<facts-file>]", "required": false, "description": "the verified facts the review runs AGAINST — a probe may run ungrounded (its receipt never attests either way)" }
       ],
       "guardrails": [
         { "value": "a probe review mints a probe-marked receipt the review-state gate rejects", "enforcement": "enforced", "source": "agent-workflow-kit tools/review-state.mjs" }

package/bridges/antigravity-cli-bridge/references/driving-agy.md

@@ -58,13 +58,17 @@ prompt for `agy-run`. It **mechanizes the grounded-review contract** (see
 [`review-prompt.md`](./review-prompt.md)) so grounding is the enforced default, not a per-call effort:
 
 ```bash
-agy-review code  [--facts @facts.md] [--decided @decided.md] [--focus "…"] [extra focus…]
-agy-review plan  <plan-file> [--facts @f] [--decided @f] [--focus "…"]
+agy-review code  --facts @facts.md [--decided @decided.md] [--focus "…"] [extra focus…]   # facts REQUIRED — refuses pre-spend
+agy-review code  --ungrounded                  # explicit escape: throwaway ungrounded opinion (never attests)
+agy-review plan  <plan-file> [--facts @f] [--decided @f] [--focus "…"]   # no facts ⇒ loud warning, proceeds
 agy-review diff  <diff-file> [--facts @f] [--decided @f] [--focus "…"]
 agy-review --continue          [--decided @f] [--focus "…"]   # round-2 delta — no re-assembly
 agy-review --conversation <id> [--decided @f] [--focus "…"]
 ```
 
+`code` fails CLOSED without a non-empty `--facts` payload — the refusal fires before any run is
+spent; the explicit escapes are `--ungrounded` and `AGY_PROBE=1` (a probe never attests).
+
 What it does for you, and what YOU must supply:
 
 - **It** assembles POSTURE + a model/cutoff GUARD + your facts + your already-decided list + your focus

package/bridges/antigravity-cli-bridge/references/models-and-flags.md

@@ -48,14 +48,15 @@ subscription invariant, and the byte ceiling all apply once. The playbook is in
 [`driving-agy.md`](./driving-agy.md); the surface:
 
 ```bash
-agy-review code|plan <file>|diff <file> [--facts @f] [--decided @f] [--focus "…"]
+agy-review code --facts @f [--decided @f] [--focus "…"]   # facts REQUIRED — refuses pre-spend (escapes: --ungrounded, AGY_PROBE=1)
+agy-review plan <file>|diff <file> [--facts @f] [--decided @f] [--focus "…"]
 agy-review --continue | --conversation <id>   [--decided @f] [--focus "…"]   # round-2 delta
 ```
 
 | Var | Default | Effect |
 |---|---|---|
 | `AGY_MODEL` | `Gemini 3.1 Pro (High)` | frontier default; **any** model is allowed — a sub-frontier one earns a silenceable advisory (quality-first, not a gate) |
-| `AGY_PROBE` | `0` | `1` silences the off-frontier model advisory (throwaway probe) |
+| `AGY_PROBE` | `0` | `1` silences the off-frontier model advisory AND lets `code` run without `--facts` (an ungrounded probe never attests — its receipt is probe-marked) |
 | `AGY_REVIEW_ALLOW_ADDDIR` | `0` | `1` lets an oversized `code` review offload ONLY the change set to a private staging dir via `--add-dir` (the grounding stays inline; re-enables the Issue-001 stall risk — prefer splitting into focused reviews) |
 | `AGY_HARD_TIMEOUT` | `30m` | the review's hard cap (longer default than a probe — reviews are slower) |
 | `AGY_MAX_PROMPT_BYTES` | `120000` | the same single-argv byte ceiling; oversized → trim/split (or the `--add-dir` escape above) |

package/bridges/antigravity-cli-bridge/references/review-prompt.md

@@ -23,7 +23,7 @@ GUARD    Do NOT comment on AI model names/versions or your own knowledge cutoff
          and a known source of false positives. Review ONLY the engineering, AGAINST the facts.
 
 ## Grounded facts — review AGAINST these, do NOT guess the code
-{{GROUNDED_FACTS}}   # from --facts @file (omitted -> an in-band note + a LOUD stderr warning)
+{{GROUNDED_FACTS}}   # from --facts @file (code: REQUIRED non-empty, refuses pre-spend — escapes --ungrounded / AGY_PROBE=1; plan/diff omitted -> an in-band note + a LOUD stderr warning)
 
 ## Decisions already made / already addressed — do NOT re-raise these
 {{ALREADY_DECIDED}}  # from --decided @file (optional — the anti-circling lever; the round-2 payload)

package/capability.json

@@ -3,7 +3,7 @@
   "schema": 1,
   "name": "agent-workflow-kit",
   "kind": "composition-root",
-  "version": "2.0.0",
+  "version": "2.1.0",
   "provides": [],
   "roles": {},
   "detect": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sabaiway/agent-workflow-kit",
-  "version": "2.0.0",
+  "version": "2.1.0",
   "description": "Portable, cross-agent memory & workflow for AI coding agents — Claude Code, Codex, Cursor, Devin Desktop. One command deploys an AGENTS.md entry point + docs/ai context with cap/archive/index enforcement into any repo.",
   "keywords": [
     "ai-agents",

package/tools/detect-backends.mjs

@@ -110,13 +110,14 @@ const RAW_BACKENDS = [
     roleContracts: {
       review: {
         invocations: [
-          'agy-review code [--facts @f] [--decided @f] [--focus "…"] [extra focus…]',
+          'agy-review code [--facts @f] [--ungrounded] [--decided @f] [--focus "…"] [extra focus…]',
           'agy-review plan <plan-file> [--facts @f] [--decided @f] [--focus "…"]',
           'agy-review diff <diff-file> [--facts @f] [--decided @f] [--focus "…"]',
         ],
-        grounding: 'grounded review — agy reads NOTHING by default, an ungrounded review GUESSES: --facts @f = the verified facts to review AGAINST; --decided @f = decisions already made, do NOT re-raise (anti-circling)',
+        grounding: 'grounded review — agy reads NOTHING by default, an ungrounded review GUESSES: --facts @f = the verified facts to review AGAINST; --decided @f = decisions already made, do NOT re-raise (anti-circling). code mode REQUIRES a non-empty --facts payload and refuses BEFORE spending a run (escapes: --ungrounded, AGY_PROBE=1); plan/diff proceed with a loud warning',
         flags: [
-          '--facts @f — verified facts the review runs AGAINST (omit ⇒ loud ungrounded-review warning)',
+          '--facts @f — verified facts the review runs AGAINST (code mode REQUIRES a non-empty payload; plan/diff warn loudly when omitted)',
+          '--ungrounded — deliberately ungrounded CODE review, a throwaway opinion (code mode only, contradicts --facts; the receipt records grounded:false and never attests)',
           '--decided @f — already-decided / already-addressed list; do NOT re-raise (anti-circling; the round-2 payload)',
           '--focus "…" — extra focus (repeatable; code mode also takes trailing focus words)',
         ],
@@ -124,7 +125,7 @@ const RAW_BACKENDS = [
           'agy-review --continue [--decided @f] [--focus "…"]',
           'agy-review --conversation <id> [--decided @f] [--focus "…"]',
         ],
-        receipt: "side effect — a successful review appends one JSON receipt line to <git dir>/agent-workflow-review-receipts.jsonl (AW_REVIEW_RECEIPTS overrides; plan/diff outside a git tree: warn + skip unless overridden): fingerprint = sha256 over the canonical uncommitted-state payload (staged diff + unstaged diff + untracked-not-ignored contents — the review-payload domain; never-committable untracked paths — character/block devices, FIFOs, sockets — are excluded from the domain entirely, untracked symlinks/directories ride as name-only notes) in code mode, the artifact-file sha256 in plan/diff mode; verdict recorded verbatim from the mandated '### Verdict' section (SHIP / SHIP WITH NITS / REWORK); grounded = whether a NON-EMPTY --facts payload was supplied (an empty payload records grounded:false — fail-closed, the state gate rejects it), factsHash = sha256 of the facts payload; a continuation receipt is fresh:false (informational-only — it cannot attest the folded tree); probe = whether the run relaxed the quality guards (AGY_PROBE=1), written on EVERY receipt so it self-declares — the kit's review-state gate rejects a probe-marked receipt (a probe review never attests) and equally rejects an unmarked one (silence is not a declaration); a write failure warns, never fails the review",
+        receipt: "side effect — a successful review appends one JSON receipt line to <git dir>/agent-workflow-review-receipts.jsonl (AW_REVIEW_RECEIPTS overrides; plan/diff outside a git tree: warn + skip unless overridden): fingerprint = sha256 over the canonical uncommitted-state payload (staged diff + unstaged diff + untracked-not-ignored contents — the review-payload domain; never-committable untracked paths — character/block devices, FIFOs, sockets — are excluded from the domain entirely, untracked symlinks/directories ride as name-only notes) in code mode, the artifact-file sha256 in plan/diff mode; verdict recorded verbatim from the mandated '### Verdict' section (SHIP / SHIP WITH NITS / REWORK); grounded = whether a NON-EMPTY --facts payload was supplied (code mode refuses pre-spend without one — no run, no receipt — unless --ungrounded/AGY_PROBE=1; in plan/diff an empty payload records grounded:false — fail-closed, the state gate rejects it), factsHash = sha256 of the facts payload; a continuation receipt is fresh:false (informational-only — it cannot attest the folded tree); probe = whether the run relaxed the quality guards (AGY_PROBE=1), written on EVERY receipt so it self-declares — the kit's review-state gate rejects a probe-marked receipt (a probe review never attests) and equally rejects an unmarked one (silence is not a declaration); a write failure warns, never fails the review",
         notes: [
           'pre-dispatch host-diff: before the FIRST dispatch of this bridge, diff its declared networkHosts against the live sandbox allow-list — a missing host is surfaced to the maintainer BEFORE dispatching, never fired into a known prompt',
         ],