@manhquy/flow-skill 0.7.1-next.0 → 0.7.2

package/skills/flow/references/gate-02.md

@@ -0,0 +1,16 @@
+## Stage 02 — Scope (the decision stage)
+Mechanical: every feature has Impact (H/M/L) + Grade (A/B/C), no L-above-A in v1, cut list,
+GO/KILL, no FILL.
+**Challenge — watch for GRADE LAUNDERING:**
+- Compare to `gate-examples.md` §02 (PASS = C called C; FLAG = C-launder, realtime graded B).
+- Shared OD/authority: `gate-shared.md`.
+- Is any expensive feature quietly graded B when it's really C? (realtime, payments from
+  scratch, custom auth, autonomous agentic pipeline, heavy concurrency = C). Call C a C.
+- For every C in scope, is it justified as one of: (1) C IS the product -> it goes FIRST;
+  (2) re-architected C->B (e.g. multi-step agent -> single structured call; auto-send ->
+  human-approves-draft; custom -> managed service); (3) irreducible -> KILL/re-budget?
+- Classic failure: v1 full of A-grade L-impact features (cheap to build, worthless to sell).
+- If the product itself is a C, is it FIRST in build order with sibling Cs on the cut list?
+- **Offer the forge-idea ritual (opt-in-with-prompt — `references/forge-idea.md`)** when a
+  GO/KILL call is genuinely close. It informs the decision; it never decides it — the
+  operator still calls GO or KILL.

package/skills/flow/references/gate-03.md

@@ -0,0 +1,10 @@
+## Stage 03 — PRD
+Mechanical: filled from stage 02, numeric success metric, pain&gain table, no FILL.
+**Challenge:**
+- Shared OD/authority: `gate-shared.md`.
+- Is the success metric a real NUMBER ("first response < 2h"), not "save time" / "better UX"?
+- The pain&gain table is the spine: does *every pain* cite evidence (a stage-01 quote or
+  named observation) AND name the v1 feature that kills it? Does *every v1 feature* kill at
+  least one pain? Orphans on either side = scope drift.
+- Could a stranger build v1 from this without asking the operator anything?
+- Read Features and NFRs as a reviewer of English, not of code: any unquantified adjective (fast/secure/intuitive) or an `FRn` with no named failure/empty case is a rewrite, not a vibe.

package/skills/flow/references/gate-04.md

@@ -0,0 +1,12 @@
+## Stage 04 — ADR
+Mechanical: each decision has why + rejected, NOT-doing list, covers storage/auth/deploy.
+**Challenge:** Does each decision name a *real* rejected alternative (not a strawman)? Are
+data storage, auth approach, and deploy target all actually decided (not "TBD")? Is the
+NOT-doing list honest about what's deferred?
+- **Offer the native persona-debate ritual** (`native-rituals.md` §1 — the guaranteed
+  baseline, no external skill required) before locking a non-trivial decision: a 5-lens
+  debate (architect/security/ops/user-advocate/cost) that surfaces defects while reversal
+  is still cheap. Output INFORMS this challenge; it never passes the gate. Skip on a
+  trivial ADR.
+- **If `ck-predict` is installed**, it is a richer alternative to the native ritual (same
+  INFORMS-only rule, opt-in-with-prompt — see `claudekit-skills.md`).

package/skills/flow/references/gate-05.md

@@ -0,0 +1,33 @@
+## Stage 05 — Contract (the seam)
+Mechanical: every PRD feature -> >=1 interface, every interface has input+output shapes,
+access/effects column filled, no FILL.
+**The "interface" is the project type's seam** (`/flow project-type`): web=endpoint,
+cli=command+flags+output/exit, library=public function+args+return, skill=command/file.
+**Challenge — this is where producer/consumer drift is born (every type):**
+- Shared OD/authority: `gate-shared.md`.
+- Does every PRD feature map to at least one interface, and vice versa?
+- Does every interface have BOTH input and output shapes, with field/flag names that will not
+  drift (the #1 AI-build failure: backend ships `player_email`, UI assumed `email`, both green;
+  the cli equivalent: `--out` vs `--output`)?
+- Is the access/effects column real for every interface (web: public/token/admin · non-web:
+  writes/side-effects or "none")? Do NOT let a web product blank the access column.
+- Read each write interface as a reviewer of English, not of code: if the failure shape is missing or Access/effects is a vibe word (secure/authenticated/restricted), the seam is not written yet.
+- One-way rule: this file is planning source of truth. For web the served spec
+  (`/openapi.json`) is the runtime artifact of the SAME contract (amend file -> code -> spec).
+  For non-web there is no served spec — the no-drift check is the per-type done-evidence.
+- **Self-consistency pass (the contract is ground truth every downstream card trusts).** Before
+  passing this gate, read the contract AGAINST any doc it names as its own source of truth and
+  re-state each shared rule in your own words — a contradiction here ships as "passed" and every
+  card inherits it. (This gate once passed an internally-inconsistent seam that only a later
+  cross-model review caught — catch that class HERE, at its source, where it is cheapest.) When the
+  **codex tier is USABLE**, an OPTIONAL opt-in **cross-model** check of the contract is the
+  highest-value single Codex call in a run — a different engine breaks the same-model blind spot at
+  the one artifact whose drift is most expensive downstream.
+- **Offer the native edge-case ritual** (`native-rituals.md` §2 — the guaranteed
+  baseline) to harden the seam: each case becomes an acceptance criterion + a per-type
+  no-drift check, so the contract is exhaustive before any card trusts it. Complements
+  `/flow consistency` (it *generates* cases; consistency checks *coherence*). INFORMS
+  the gate; never auto-passes it.
+- **If `ck-scenario` is installed**, it is a richer 12-dimension alternative to the
+  native ritual (same INFORMS-only rule, opt-in-with-prompt — see
+  `claudekit-skills.md`).

package/skills/flow/references/gate-assess.md

@@ -0,0 +1,13 @@
+## Brownfield assess (flow/00-inspect.md)
+
+Separate from Stage 00 Idea. After `flow.sh assess` mechanical PASS (no `[FILL]`, boxes
+checked), apply this semantic challenge before planning:
+
+- Are material claims in the **Evidence ledger** tagged
+  (Authoritative / Observed / Derived / Decision required / Unknown)?
+- Is any **Observed** or **Derived** claim silently promoted to must-build product law
+  without operator authority?
+- Are **Decision required** / **Unknown** items listed for the operator — not invented into
+  Scope/PRD?
+- If the ledger is empty or only `[FILL]` rows remain while the gate boxes are checked,
+  the assessment is hollow — report mechanically-passed-but-qualitatively-weak.

package/skills/flow/references/gate-card.md

@@ -0,0 +1,25 @@
+## Card gate (`/flow check C-NNN`)
+Mechanical: no FILL, valid status, required sections, if done -> verify boxes checked +
+evidence non-empty.
+**Challenge:**
+- Compare to `gate-examples.md` §Card (PASS names URL/curl/path; FLAG = process-only / artifact-less).
+- Is the scope ONE thing? If it's two, split the card.
+- **Independent test:** if the field is empty, missing on a value card, or is
+  "unit tests pass" / "code merged", split or rewrite. A value card names a
+  user-visible proof ("resident files a ticket at /new and sees it on /tickets").
+  Scaffold/CI/contract-test/e2e may say `infra` or `none`. Mechanical leftover
+  `[FILL]` fails `check` only while the heading remains (the heading is not a
+  required `cmd_check` section — §1.6 is cut).
+- Does the diff touch only `## Allowed files`? Drift outside = stop, amend the card first.
+- Do request/response shapes match `flow/05-contract.md` exactly? No improvised shapes.
+- For UI cards: reviewed against `law/DESIGN.md` (tokens, affordance ladder, object-first,
+  no engine words, no emoji, no gradient on inputs/tables)?
+- **Is `## Evidence` real world-state** — a clickable URL, real curl output, a DB row — and
+  NOT "tests pass" / "code merged" / "deployed successfully"? Merge != shipped: the proof is
+  the live surface changing, verified as a user.
+- **Does every `## Evidence` item name its artifact (path/URL) or the command that produced
+  it?** Plausible prose that names neither is still hollow even when the mechanical floor
+  passes (`ground-truth-gates.md` rule 8).
+- **If this card fixes a bug/regression**, the evidence includes the red→green proof that the
+  new test was actually tied to the bug (`ground-truth-gates.md` → "Bug-fix cards"), not just a
+  green run.

package/skills/flow/references/gate-consistency.md

@@ -0,0 +1,24 @@
+## Cross-artifact consistency (`/flow consistency`)
+Run after the Contract gate and before building cards (advisory; never blocks the build path).
+The runner does the **precise, ID-based** passes mechanically: every PRD `FRn` is claimed by a
+card (`implements:`) and served by an interface, the success metric carries a number, no leftover
+placeholders. **You do the passes that need judgment, not string-matching:**
+- **Hollow coverage:** an `FRn` is "covered" by a card whose scope does not actually deliver it
+  (the id is referenced but the work isn't there). Mechanical coverage can be gamed by pasting an
+  id; read the card scope against the feature.
+- **Conflicting requirements:** two artifacts state incompatible things (PRD says no-login, ADR
+  decides OAuth; scope cut a feature the PRD still lists). The runner won't catch a contradiction
+  expressed in different words — you must.
+- **Cut-list contradiction:** a feature on the stage-02 cut list reappears (by name, not id) as a
+  v1 PRD feature or a card. Scope drift in disguise.
+- **Terminology drift:** the same entity named differently across artifacts (`ticket`/`issue`/
+  `request`) — the seed of producer/consumer drift the contract gate guards against.
+If you find any, report *"`consistency` passed mechanically, but <artifact> contradicts <artifact>
+on <thing>"* and let the operator decide — same posture as every other gate.
+
+**Canonical form the mechanical pass expects** (deviate and coverage silently can't map — the runner
+then prints "no FR ids found" rather than a false pass, but be aware): FR ids are **uppercase `FRn`**,
+declared in the PRD's **`## Features`** section (ids in prose or the pain table are intentionally
+ignored so a legacy mention can't inflate the set). A blank success-metric body is the gate's job, not
+this probe's (it only checks "if a metric exists, it carries a number"). When `consistency` reports
+"no FR ids found", treat it as *coverage-unverified*, not *coverage-clean*.

package/skills/flow/references/gate-constitution.md

@@ -0,0 +1,19 @@
+## Constitution challenge (operator invariants — run at scope/PRD/contract)
+
+`flow.sh constitution` is the mechanical half: it proves the `flow/constitution.md` table is
+well-formed (no placeholder, every invariant has an ID) and scans any declared grep-marker. It
+**cannot** tell whether the artifact you just wrote actually *honors* the invariant — that is your
+job. After the mechanical pass, for each invariant whose `applies-at` includes the current stage,
+challenge the stage artifact against it:
+
+- Read each invariant (e.g. "all PII access is facility-scoped", "no API surface ships without a
+  `flow/05-contract.md` entry").
+- Walk the current artifact (scope / PRD / contract) and ask: does anything here *violate* it, or
+  quietly assume an exception? A contract endpoint exposing cross-tenant data violates a
+  facility-scoped invariant even though the table is structurally clean.
+- If you find a violation, report *"constitution passed mechanically, but `<artifact>` violates
+  invariant `<ID>` (`<rule>`)"* and let the operator decide — same posture as every other gate.
+
+This is **advisory and per-project**; it never auto-blocks `next`, and it does NOT replace the
+security-class Tier-C halt (a constitution rule may *restate* a security concern, but the halt is
+the enforcement). Low-noise by design: the mechanical layer is structural, the judgement is yours.

package/skills/flow/references/gate-debt.md

@@ -0,0 +1,5 @@
+## Debt (deliberate skips)
+If the operator deliberately skips/reorders a gate, ensure a line opens in `DEBT.md` naming
+the skip, the concrete exposure, and the close condition. **Security-class skips** (auth,
+admin exposure, tenancy, payments) are never silent and never your decision — the operator
+accepts the exposure in writing. In `/flow auto`, that is a Tier-C halt.

package/skills/flow/references/gate-eval.md

@@ -63,9 +63,12 @@ separately from a real mismatch — never silently counted as a gate pass or fai
 ## Cost
 
 `eval` is **opt-in and billable** — it makes real `claude -p` API calls. Zero cost when the
-`claude` CLI isn't on `PATH` (clean skip, exit 0). When present, exactly one minimal probe call
-is made to confirm the CLI runs headless before any real judging starts; a probe failure means
-one billable call was made, then a clean skip. The artifact manifest is 11 rows; a full
+`claude` CLI isn't on `PATH` (clean skip, exit 0). That skip is **unmeasured, not a semantic
+pass**: `eval`, `eval --stage routing`, and `eval --stage converge` each print
+`semantic layer unmeasured on this host` and return 0. Live eval is not a merge gate
+(scorecard table above). Replay never counts toward the eval floor. When present, exactly one
+minimal probe call is made to confirm the CLI runs headless before any real judging starts; a
+probe failure means one billable call was made, then a clean skip. The artifact manifest is 11 rows; a full
 default batch judges the 9 heading-mapped fixtures (01 / 02 / card) × N=3 = 27 judge calls
 + the 1 probe = 28 calls. The two Stage 05 rows fail closed before a call. Plan accounting
 for a complete re-record is 11 × 3 = 33 + probe.

package/skills/flow/references/gate-examples.md

@@ -0,0 +1,78 @@
+# Gate examples — hot-path PASS / FLAG
+
+After `flow.sh` mechanical PASS, compare the artifact to these excerpts. Same challenges as `gate-rules.md`; **no new rules**. Full fixtures live in `eval/fixtures/` (f01a/f01b, f02a/f02b, f05a/f05b, fcda). `fcdb` is a mechanical FAIL (`flow.sh check` exits 1) — not a semantic FLAG after PASS.
+
+## §01 Research
+
+**PASS** (f01a) — named tool + working link; the note reads like someone opened it:
+
+> 1. Splitwise (splitwise.com) — handles group expense splitting well, but its recurring-bill view buries anything not tagged "rent"; three of our pilot households gave up trying to track a shared internet bill inside it and moved back to a spreadsheet.
+
+Same PASS shape: Tricount (tricount.com) + the export paywall they actually hit; a named Google Sheet as the incumbent, with a concrete concurrent-edit failure.
+
+**FLAG** (f01b) — unsourced competitors; could be written without opening anything:
+
+> 1. Splitwise — a well known bill-splitting app used by a lot of people, and honestly one of the first names that comes up whenever this category is discussed.
+
+Same FLAG class: quotes with no URL ("users online"); "social media" as the first-10 channel. A later hostname floor is not "opened 3 competitors."
+
+## §02 Scope
+
+**PASS** (f02a) — C called C, path written next to the feature:
+
+> Debt-simplification nudge (who-owes-whom, minimized transaction count) — impact H (the differentiator named in stage-01: "I want a nudge, not a number") — grade C (a real graph-minimization algorithm, not off-the-shelf) — path 1: this C IS the product's differentiator, so it goes FIRST in build order, and no sibling C features are scoped alongside it in v1.
+
+**FLAG** (f02b-class C-launder) — **realtime graded B**. Impact is M, grade is B: the joined-bullet L-above-A scanner will not catch this. Judgment must.
+
+> Real-time balance sync across all household members' devices — impact M (keeps everyone on the same page without needing to manually refresh, which matters for a shared-use app like this one) — grade B (can build this alongside the nudge feature using similar techniques, since the underlying data layer is shared between the two anyway)
+
+`gate-rules.md` Stage 02: realtime, payments-from-scratch, custom auth, autonomous agentic pipeline, heavy concurrency = C. Call C a C. "Shared data layer / similar techniques" is the launder. Sibling tells: empty cut list; GO on vibe; "no C-grade items." Do **not** treat L-impact + B/C as this class (that fail is mechanical).
+
+## §03 PRD
+
+**PASS** — numeric success metric; pain table maps evidence → v1 feature; FR1 is action→result with empty/fail:
+
+> Success metric: 10 named Facebook-group households settle a recurring bill through the nudge in week 1; median time-to-nudge < 2h.
+>
+> | P1 | Roommate who owns the internet bill | Recurring bills not tagged rent vanish; households bounce to a spreadsheet | stage-01: "I want a nudge, not a number." — reddit.com/r/personalfinance/comments/17k2xq1 | Shared Google Sheet that breaks under concurrent edits | Debt-simplification nudge (FR1) | Group balance shows "Alice owes Bob $12.50" instead of a pairwise table |
+>
+> FR1: As a roommate who paid the internet bill, I open the group balance, and I see the minimized who-owes-whom nudge; empty: none; fail: pairwise table plus "couldn't simplify".
+
+**FLAG** — unquantified adjective in Features, or a feature that kills no pain:
+
+> FR2: As a roommate, I get a fast, intuitive balance view.
+>
+> Pain table has P1 (spreadsheet concurrent-edit) but Features also lists "in-app chat", which kills no named pain.
+
+Same FLAG class: "save time" / "better UX" as the success metric; an `FRn` with no empty/fail/`none`.
+
+## §05 Contract
+
+**PASS** (f05a) — shaped table: method / path / request / response / errors / owner:
+
+> | Method | Path | Request | Response | Errors | Owner |
+> |---|---|---|---|---|---|
+> | GET | /healthz | none | `{ "ok": true }` | 503 if deps down | platform |
+
+Auth is explicit (public `/healthz` only; other routes bearer session; 401 if missing). Error model is machine-readable.
+
+**FLAG** (f05b) — vibe / auth-optional; prose APIs, no shapes:
+
+> We will expose some APIs as needed. Endpoints are flexible and will evolve.
+> Auth might be optional depending on context. Errors should be helpful.
+
+Same FLAG class: Access/effects is a vibe word (secure / authenticated / restricted); missing failure shape on a write.
+
+## §Card (`/flow check C-NNN`)
+
+**PASS** (fcda) — every evidence item names a URL, curl/command, or path:
+
+> Staging URL: https://staging.householdsplit.app/g/demo-4person/balance (live; group seeded via `scripts/seed-demo-group.ts`)
+> Test run: `PASS src/balance/simplify.test.ts` — 14 cases
+> Screenshot: `docs/evidence/C-001-staging-balance-screen.png` — nudge text "Alice owes Bob $12.50" replacing the raw pairwise table
+
+**Mechanical FAIL** (fcdb) — `flow.sh check` exits 1. Process-only / artifact-less. CI green, two approvals, release notes. No URL, curl, or path:
+
+> The pull request went through the normal review process, picked up the two required approvals, and the CI pipeline stayed green the whole way through. The branch was merged into main and is now included in this cycle's release notes under "new features," so the nudge is part of the current build going forward.
+
+Merge ≠ shipped. Plausible prose that names neither artifact nor the command that produced it is still hollow (`ground-truth-gates.md` rule 8). Do not treat this as a semantic FLAG after mechanical PASS — the script already fails it.

package/skills/flow/references/gate-rules.md

@@ -1,241 +1,40 @@
-# Gate rules — the semantic layer
-
-The runner (`flow.sh`) checks the mechanical gate: no `[FILL]`, no unchecked `- [ ]`, valid
-card status, non-empty evidence. **This file is what YOU check after the script passes.**
-The script cannot judge truth or quality; you can. For each stage, after a mechanical PASS,
-run the challenge below. If it fails, tell the operator: *"mechanically passed, but
-qualitatively weak: <reason>"* and let them decide — never silently advance a hollow
-artifact, never silently block a sound one.
-
-> Rule of behavior: in `teach` mode you do NOT edit the artifact or tick boxes. You report.
-> In `work` mode you authored it, so you self-challenge before presenting.
-
-> Authoring note (when editing these challenges): **match the form to the failure.** A challenge
-> that fights a *discipline drift* — the agent rationalizing a hollow artifact through (grade
-> laundering, fabricated quotes, "merge ≈ shipped") — is rightly a prohibition + the specific
-> rationalization it counters. A challenge that fixes a *wrong-shaped artifact* (a missing field, a
-> drifted name) is better written as a positive recipe — "every interface has both shapes, names
-> that won't drift" — than as a ban; a bare prohibition on a shaping problem can produce *more* of
-> the bad shape, not less, and a hedging "unless it matters" clause turns a crisp recipe noisy. Pick
-> the form deliberately; don't reflexively reach for another "do NOT".
-
-## Brownfield assess (flow/00-inspect.md)
-
-Separate from Stage 00 Idea. After `flow.sh assess` mechanical PASS (no `[FILL]`, boxes
-checked), apply this semantic challenge before planning:
-
-- Are material claims in the **Evidence ledger** tagged
-  (Authoritative / Observed / Derived / Decision required / Unknown)?
-- Is any **Observed** or **Derived** claim silently promoted to must-build product law
-  without operator authority?
-- Are **Decision required** / **Unknown** items listed for the operator — not invented into
-  Scope/PRD?
-- If the ledger is empty or only `[FILL]` rows remain while the gate boxes are checked,
-  the assessment is hollow — report mechanically-passed-but-qualitatively-weak.
-
-## Stage 00 — Idea
-Mechanical: pitch present, one real person named, no FILL.
-**Challenge:** Is the pitch really 3 sentences (who / pain / what)? Is the named person a
-*real, specific* person or group ("my uncle's 20-unit building"), not "people who..." or
-"users"? Is the pain concrete, not a category?
-- **Offer the forge-idea ritual (opt-in-with-prompt — `native-rituals.md`'s sibling
-  `references/forge-idea.md`).** Before drafting the pitch, or when the operator sounds
-  unsure, offer to pressure-test the idea through persona interrogation until it
-  hardens, proves out, or dies cheaply. Never auto-fired; never a condition this gate
-  checks for — a killed idea and a hardened idea both still go through the normal gate.
-
-## Stage 01 — Research
-Mechanical: 7 boxes checked, no FILL.
-**Apply the lens by project type (`/flow project-type`, default web):**
-- **web / market product** → the strict version below. Reject the soft "non-web" framing for a
-  product that has a real market: a real product DOES have online complaints + a GTM channel,
-  and dodging them is the failure this gate exists to catch.
-- **cli / library / skill / internal tool** → items 2+4 use first-party friction + who-benefits.
-  Demand it be *concrete and real* (a named observed pain, named beneficiaries) — not vague.
-  "No market channel" is expected here and is NOT a kill signal.
-**Challenge (highest fabrication risk):**
-- Were 3 competitors *actually opened*? Each note should read like someone used the tool. (all types)
-- web: are the 3 complaints *real quotes with working source links*? · non-web: is the
-  first-party friction *concrete and observed* (who hit it, when), not a guess?
-- Are competitor/status-quo costs *real* (web: prices+who-pays · non-web: time/manual-work spent today)?
-- web: is the first-10-users channel a *specific place* (reject "social media"/"online") ·
-  non-web: are the *named beneficiaries* + how-they-learn real?
-- Does the switch reason name what makes the *named* users move off today's workaround?
-
-## Stage 02 — Scope (the decision stage)
-Mechanical: every feature has Impact (H/M/L) + Grade (A/B/C), no L-above-A in v1, cut list,
-GO/KILL, no FILL.
-**Challenge — watch for GRADE LAUNDERING:**
-- **Material-authority stop:** if materially different externally observable product choices
-  remain open (quota, identity key, tenancy model, response contract, enforcement owner, …),
-  **stop** — list the choice and consequences. Configurable defaults are not authority.
-- Is any expensive feature quietly graded B when it's really C? (realtime, payments from
-  scratch, custom auth, autonomous agentic pipeline, heavy concurrency = C). Call C a C.
-- For every C in scope, is it justified as one of: (1) C IS the product -> it goes FIRST;
-  (2) re-architected C->B (e.g. multi-step agent -> single structured call; auto-send ->
-  human-approves-draft; custom -> managed service); (3) irreducible -> KILL/re-budget?
-- Classic failure: v1 full of A-grade L-impact features (cheap to build, worthless to sell).
-- If the product itself is a C, is it FIRST in build order with sibling Cs on the cut list?
-- **Offer the forge-idea ritual (opt-in-with-prompt — `references/forge-idea.md`)** when a
-  GO/KILL call is genuinely close. It informs the decision; it never decides it — the
-  operator still calls GO or KILL.
-- **Assumption vs open decision:** read `## Assumptions`. A bullet that encodes product
-  law (who can access what, tenancy, retention, billing, enforcement owner) with no
-  operator/ADR authority is an **open decision or a stop**, not a silent default — move
-  it under `## Open decisions` (a line like `- [ ] which tenant key?`) or halt. Do not
-  invent auth/tenancy/retention/billing to clear `[FILL]`.
-- **Too many open decisions** is a semantic judgment (there is no mechanical cap): if
-  the section is a pile, assume or cut rather than interview everything. Offer the
-  clarify ritual (`references/clarify.md`, opt-in, never a `next` prereq) when any
-  open decision remains.
-
-## Stage 03 — PRD
-Mechanical: filled from stage 02, numeric success metric, pain&gain table, no FILL.
-**Challenge:**
-- **Material-authority stop:** if the PRD invents policy (who can access what, retention,
-  billing rules) with no prior operator/ADR authority, stop and list Decision-required items.
-- Is the success metric a real NUMBER ("first response < 2h"), not "save time" / "better UX"?
-- The pain&gain table is the spine: does *every pain* cite evidence (a stage-01 quote or
-  named observation) AND name the v1 feature that kills it? Does *every v1 feature* kill at
-  least one pain? Orphans on either side = scope drift.
-- Could a stranger build v1 from this without asking the operator anything?
-- Read Features and NFRs as a reviewer of English, not of code: any unquantified adjective (fast/secure/intuitive) or an `FRn` with no named failure/empty case is a rewrite, not a vibe.
-- **Assumption vs open decision:** read `## Assumptions`. A bullet that encodes product
-  law (who can access what, tenancy, retention, billing, enforcement owner) with no
-  operator/ADR authority is an **open decision or a stop**, not a silent default — move
-  it under `## Open decisions` or halt. Do not invent policy to clear `[FILL]`.
-- **Too many open decisions** is a semantic judgment (no mechanical cap): assume or
-  cut rather than interview a pile. Offer the clarify ritual (`references/clarify.md`,
-  opt-in, never a `next` prereq) when any open decision remains.
-
-## Stage 04 — ADR
-Mechanical: each decision has why + rejected, NOT-doing list, covers storage/auth/deploy.
-**Challenge:** Does each decision name a *real* rejected alternative (not a strawman)? Are
-data storage, auth approach, and deploy target all actually decided (not "TBD")? Is the
-NOT-doing list honest about what's deferred?
-- **Offer the native persona-debate ritual** (`native-rituals.md` §1 — the guaranteed
-  baseline, no external skill required) before locking a non-trivial decision: a 5-lens
-  debate (architect/security/ops/user-advocate/cost) that surfaces defects while reversal
-  is still cheap. Output INFORMS this challenge; it never passes the gate. Skip on a
-  trivial ADR.
-- **If `ck-predict` is installed**, it is a richer alternative to the native ritual (same
-  INFORMS-only rule, opt-in-with-prompt — see `claudekit-skills.md`).
-
-## Stage 05 — Contract (the seam)
-Mechanical: every PRD feature -> >=1 interface, every interface has input+output shapes,
-access/effects column filled, no FILL.
-**The "interface" is the project type's seam** (`/flow project-type`): web=endpoint,
-cli=command+flags+output/exit, library=public function+args+return, skill=command/file.
-**Challenge — this is where producer/consumer drift is born (every type):**
-- **Material-authority stop:** access/effects (public/token/admin, writes) that encode product
-  policy without operator authority → stop; do not invent tenancy/auth from convenience.
-- Does every PRD feature map to at least one interface, and vice versa?
-- Does every interface have BOTH input and output shapes, with field/flag names that will not
-  drift (the #1 AI-build failure: backend ships `player_email`, UI assumed `email`, both green;
-  the cli equivalent: `--out` vs `--output`)?
-- Is the access/effects column real for every interface (web: public/token/admin · non-web:
-  writes/side-effects or "none")? Do NOT let a web product blank the access column.
-- Read each write interface as a reviewer of English, not of code: if the failure shape is missing or Access/effects is a vibe word (secure/authenticated/restricted), the seam is not written yet.
-- **Assumption vs open decision:** access/effects or shared shapes that encode product
-  law (tenancy, auth, retention, billing) with no operator/ADR authority are an **open
-  decision or a stop**, not a silent default — add a `## Open decisions` bullet or halt.
-  (Contract has no `## Assumptions` section; do not invent one.) Do not invent
-  tenancy/auth from convenience to clear `[FILL]`.
-- **Too many open decisions** is a semantic judgment (no mechanical cap): assume or
-  cut rather than interview a pile. Offer the clarify ritual (`references/clarify.md`,
-  opt-in, never a `next` prereq) when any open decision remains.
-- One-way rule: this file is planning source of truth. For web the served spec
-  (`/openapi.json`) is the runtime artifact of the SAME contract (amend file -> code -> spec).
-  For non-web there is no served spec — the no-drift check is the per-type done-evidence.
-- **Self-consistency pass (the contract is ground truth every downstream card trusts).** Before
-  passing this gate, read the contract AGAINST any doc it names as its own source of truth and
-  re-state each shared rule in your own words — a contradiction here ships as "passed" and every
-  card inherits it. (This gate once passed an internally-inconsistent seam that only a later
-  cross-model review caught — catch that class HERE, at its source, where it is cheapest.) When the
-  **codex tier is USABLE**, an OPTIONAL opt-in **cross-model** check of the contract is the
-  highest-value single Codex call in a run — a different engine breaks the same-model blind spot at
-  the one artifact whose drift is most expensive downstream.
-- **Offer the native edge-case ritual** (`native-rituals.md` §2 — the guaranteed
-  baseline) to harden the seam: each case becomes an acceptance criterion + a per-type
-  no-drift check, so the contract is exhaustive before any card trusts it. Complements
-  `/flow consistency` (it *generates* cases; consistency checks *coherence*). INFORMS
-  the gate; never auto-passes it.
-- **If `ck-scenario` is installed**, it is a richer 12-dimension alternative to the
-  native ritual (same INFORMS-only rule, opt-in-with-prompt — see
-  `claudekit-skills.md`).
-
-## Card gate (`/flow check C-NNN`)
-Mechanical: no FILL, valid status, required sections, if done -> verify boxes checked +
-evidence non-empty.
-**Challenge:**
-- Is the scope ONE thing? If it's two, split the card.
-- **Independent test:** if the field is empty, missing on a value card, or is
-  "unit tests pass" / "code merged", split or rewrite. A value card names a
-  user-visible proof ("resident files a ticket at /new and sees it on /tickets").
-  Scaffold/CI/contract-test/e2e may say `infra` or `none`. Mechanical leftover
-  `[FILL]` fails `check` only while the heading remains (the heading is not a
-  required `cmd_check` section — §1.6 is cut).
-- Does the diff touch only `## Allowed files`? Drift outside = stop, amend the card first.
-- Do request/response shapes match `flow/05-contract.md` exactly? No improvised shapes.
-- For UI cards: reviewed against `law/DESIGN.md` (tokens, affordance ladder, object-first,
-  no engine words, no emoji, no gradient on inputs/tables)?
-- **Is `## Evidence` real world-state** — a clickable URL, real curl output, a DB row — and
-  NOT "tests pass" / "code merged" / "deployed successfully"? Merge != shipped: the proof is
-  the live surface changing, verified as a user.
-- **Does every `## Evidence` item name its artifact (path/URL) or the command that produced
-  it?** Plausible prose that names neither is still hollow even when the mechanical floor
-  passes (`ground-truth-gates.md` rule 8).
-- **If this card fixes a bug/regression**, the evidence includes the red→green proof that the
-  new test was actually tied to the bug (`ground-truth-gates.md` → "Bug-fix cards"), not just a
-  green run.
-
-## Cross-artifact consistency (`/flow consistency`)
-Run after the Contract gate and before building cards (advisory; never blocks the build path).
-The runner does the **precise, ID-based** passes mechanically: every PRD `FRn` is claimed by a
-card (`implements:`) and served by an interface, the success metric carries a number, no leftover
-placeholders. **You do the passes that need judgment, not string-matching:**
-- **Hollow coverage:** an `FRn` is "covered" by a card whose scope does not actually deliver it
-  (the id is referenced but the work isn't there). Mechanical coverage can be gamed by pasting an
-  id; read the card scope against the feature.
-- **Conflicting requirements:** two artifacts state incompatible things (PRD says no-login, ADR
-  decides OAuth; scope cut a feature the PRD still lists). The runner won't catch a contradiction
-  expressed in different words — you must.
-- **Cut-list contradiction:** a feature on the stage-02 cut list reappears (by name, not id) as a
-  v1 PRD feature or a card. Scope drift in disguise.
-- **Terminology drift:** the same entity named differently across artifacts (`ticket`/`issue`/
-  `request`) — the seed of producer/consumer drift the contract gate guards against.
-If you find any, report *"`consistency` passed mechanically, but <artifact> contradicts <artifact>
-on <thing>"* and let the operator decide — same posture as every other gate.
-
-**Canonical form the mechanical pass expects** (deviate and coverage silently can't map — the runner
-then prints "no FR ids found" rather than a false pass, but be aware): FR ids are **uppercase `FRn`**,
-declared in the PRD's **`## Features`** section (ids in prose or the pain table are intentionally
-ignored so a legacy mention can't inflate the set). A blank success-metric body is the gate's job, not
-this probe's (it only checks "if a metric exists, it carries a number"). When `consistency` reports
-"no FR ids found", treat it as *coverage-unverified*, not *coverage-clean*.
-
-## Constitution challenge (operator invariants — run at scope/PRD/contract)
-
-`flow.sh constitution` is the mechanical half: it proves the `flow/constitution.md` table is
-well-formed (no placeholder, every invariant has an ID) and scans any declared grep-marker. It
-**cannot** tell whether the artifact you just wrote actually *honors* the invariant — that is your
-job. After the mechanical pass, for each invariant whose `applies-at` includes the current stage,
-challenge the stage artifact against it:
-
-- Read each invariant (e.g. "all PII access is facility-scoped", "no API surface ships without a
-  `flow/05-contract.md` entry").
-- Walk the current artifact (scope / PRD / contract) and ask: does anything here *violate* it, or
-  quietly assume an exception? A contract endpoint exposing cross-tenant data violates a
-  facility-scoped invariant even though the table is structurally clean.
-- If you find a violation, report *"constitution passed mechanically, but `<artifact>` violates
-  invariant `<ID>` (`<rule>`)"* and let the operator decide — same posture as every other gate.
-
-This is **advisory and per-project**; it never auto-blocks `next`, and it does NOT replace the
-security-class Tier-C halt (a constitution rule may *restate* a security concern, but the halt is
-the enforcement). Low-noise by design: the mechanical layer is structural, the judgement is yours.
-
-## Debt (deliberate skips)
-If the operator deliberately skips/reorders a gate, ensure a line opens in `DEBT.md` naming
-the skip, the concrete exposure, and the close condition. **Security-class skips** (auth,
-admin exposure, tenancy, payments) are never silent and never your decision — the operator
-accepts the exposure in writing. In `/flow auto`, that is a Tier-C halt.
+# Gate rules — semantic layer (index)
+
+The runner (`flow.sh`) checks the mechanical gate: no `[FILL]`, no unchecked `- [ ]`,
+valid card status, non-empty evidence. After mechanical PASS, load the **one** stage
+file below (and `gate-shared.md` when the stage has open decisions). Report
+*"mechanically passed, but qualitatively weak: <reason>"* — never silently advance a
+hollow artifact, never silently block a sound one.
+
+> Teach: report only; do not edit the artifact or tick boxes.
+> Work: self-challenge before presenting.
+
+> Authoring note: match the form to the failure. Discipline drift (grade laundering,
+> fabricated quotes, "merge ≈ shipped") is a prohibition plus the rationalization it
+> counters. A wrong-shaped artifact is a positive recipe, not a bare ban.
+
+Open-decision / material-authority unique home: `gate-shared.md`.
+
+| Stage | Mechanical | File | Examples |
+|---|---|---|---|
+| Assess | no FILL, boxes | `gate-assess.md` | — |
+| 00 Idea | pitch, named person, no FILL | `gate-00.md` | — |
+| 01 Research | 7 boxes, no FILL | `gate-01.md` | §01 |
+| 02 Scope | Impact+Grade, no L-above-A in v1, cut, GO/KILL | `gate-02.md` | §02 |
+| 03 PRD | numeric metric, pain table, no FILL | `gate-03.md` | §03 |
+| 04 ADR | why+rejected, NOT-doing, storage/auth/deploy | `gate-04.md` | — |
+| 05 Contract | feature→interface, both shapes, access/effects | `gate-05.md` | §05 |
+| Card | no FILL, status, evidence if done | `gate-card.md` | §Card |
+| Consistency | advisory ID coverage | `gate-consistency.md` | — |
+| Constitution | table well-formed | `gate-constitution.md` | — |
+| Debt | DEBT.md line | `gate-debt.md` | — |
+
+Hot-path first check — compare to `gate-examples.md`:
+- 01: §01 (PASS = named tool + link; FLAG = unsourced competitors).
+- 02: §02 (PASS = C called C; FLAG = C-launder, realtime graded B).
+- 03: §03 (PASS = numeric metric + pain table + FR1 action→result; FLAG = unquantified adjective or feature with no pain).
+- 05: §05 (PASS = method/path/request/response/errors/owner; FLAG = vibe/auth-optional).
+- Card: §Card (PASS names URL/curl/path; FLAG = process-only / artifact-less).
+
+`flow.sh eval` extracts `## Stage 01` / `## Stage 02` / `## Card gate` from those files,
+not this index. Rituals: `native-rituals.md`, `forge-idea.md`, `clarify.md`.

package/skills/flow/references/gate-shared.md

@@ -0,0 +1,37 @@
+# Shared gate rules — open decisions and material authority
+
+Unique home for OD / material-authority. Stages 02 / 03 / 05 point here; do not copy.
+
+## Material authority
+
+If materially different externally observable product choices remain open (quota,
+identity key, tenancy model, response contract, enforcement owner, …), **stop** —
+list the choice and consequences. Configurable defaults are not authority.
+
+If the artifact invents policy (who can access what, retention, billing rules) with
+no prior operator/ADR authority, stop and list Decision-required items.
+
+Access/effects (public/token/admin, writes) that encode product policy without
+operator authority → stop; do not invent tenancy/auth from convenience.
+
+## Assumption vs open decision
+
+Read `## Assumptions`. A bullet that encodes product law (who can access what,
+tenancy, retention, billing, enforcement owner) with no operator/ADR authority is
+an **open decision or a stop**, not a silent default — move it under
+`## Open decisions` (a line like `- [ ] which tenant key?`) or halt. Do not invent
+auth/tenancy/retention/billing to clear `[FILL]`.
+
+Contract has no `## Assumptions` section; do not invent one. Access/effects or
+shared shapes that encode product law (tenancy, auth, retention, billing) with no
+operator/ADR authority are an **open decision or a stop** — add a
+`## Open decisions` bullet or halt.
+
+## Open decisions — mechanical
+
+**More than 5 markdown bullets under `## Open decisions` fails `scan_gate`.**
+Leftover `- [ ]` still fails boxes. Clarify (`references/clarify.md`) is opt-in,
+never a `next` prereq.
+
+If the section is a pile after that floor, assume or cut rather than interview
+everything. Offer clarify when any open decision remains.

package/skills/flow/references/ground-truth-gates.md

@@ -13,7 +13,7 @@ and used only to add color, never to pass a gate.
 | Card behavior works | the card's `## Verify` steps RUN for real (curl/click/command + expected output) | "the code should work" / "tests would pass" |
 | Story proof | `flow.sh harness story verify <id>` -> `verify_command` exit 0 | "I wrote tests" |
 | Build merged-safe | review green (adversarial) + `flow.sh check` pass | "the diff is small" |
-| Card DONE | deploy ran + **live URL verified as a user** (world-state evidence pasted) | "merged" / "deploy succeeded" / "tests pass" |
+| Card DONE | per-type world-state evidence pasted (deployed URL for web; install+run for cli/library/skill) | "merged" / "deploy succeeded" / "tests pass" |
 | Card DONE (mechanical floor) | `flow.sh check` / `card done`: `## Evidence` multi-signal score ≥2 (URL + curl/command/test-log/path/DB/skill categories; denylist example.com etc.) | process-only prose (PR approvals, CI green, release notes alone); empty/placeholder |
 | Dep ready / parallel | `ready` + graph deps-met: dep `status=done` **and** same Evidence multi-signal floor | hand-edit `status: done` with hollow Evidence |
 | Auto activation | risk set valid + current Stage 05 `semantic_gate` receipt (`attestations.md`) | prose “planning looks done” |