@xhulz/nina 0.77.0 → 0.79.0

package/releases/0.78.0/surfaces/pii/tree/CLAUDE.md

@@ -0,0 +1,5 @@
+<!-- nina:slot pii.1 -->
+8. **Sensitive personal data is classified, and the classification is enforced.** What counts as sensitive here — identity documents, financial identifiers, anything a person would not expect to be readable by whoever can read a log — is declared in `.claude/architecture.md` § *Privacy*, along with the regime that governs it ({{PRIVACY_REGIME}}). Encrypted at rest. **No sensitive value in a log, an error message, a URL, an analytics event, or an agent transcript** — the places nobody thinks about are exactly the ones that persist. That includes what a library puts in its own errors and prints itself: a database client's error can carry the query and every bound value, and a framework can log a whole error past the logger it was given. A database error is mapped at the data layer to a typed error from a closed list before anything logs or returns it, and a test proves that a bound value it writes reaches no thrown error. **A test that proves a value stays out matches by containment** (`String(v).includes(value)`), never by equality: a leak arrives inside an id, a message or a key. It gives each log call in the source a run, asserts the silent channels silent, and reads every property of each entry and each error the runs produce, the non-enumerable ones too (`Object.getOwnPropertyNames`). Its forbidden values are the run's own that § *Privacy* keeps out — where it lists what may be logged, every other value the run carries — each with a control that embeds it in a longer string under an allowed key and must fail the check, and no fixture value inside another's.<!-- nina:why --> In one project an allowlist check that refused only equal values passed a mutant logging `${id}:${amount}`; the next read `Object.keys` and missed an amount on a non-enumerable property and an info log no row inspected; the one after left out a class and four log paths.<!-- /nina:why --> Where what it claims to keep out names a class — an attribute, an amount — it covers every member: a surface with open-ended slots is read whole, never through a list of them — every attribute of every element a rendered page carries, just as every property of an error is — and a sweep that read nothing fails; each forbidden value is looked for in every form the code can give it, formatted and raw; and each state that shows, hides or replaces a value is swept on its own, the one built to withhold it most of all. One mutant puts the value in a slot the check does not name (`data-x`), and one per field puts that field's raw value in such a slot: one left green is a slot or a form the check misses.<!-- nina:why --> In one project a sweep of `data-testid`, `aria-label` and `title`, proven by mutants in those three, stayed green with the label in a `data-label`; the next swept every attribute for the formatted amounts and missed their raw centavos; the one after swept only the state that shows the figure, and the row built to show none carried it in a `title`.<!-- /nina:why --> Document bytes live only in the object store, referenced by key, never in the database in clear text.
+
+<!-- nina:slot pii.2 -->
+- **personal data**: where it is collected, stored, logged or sent

package/releases/0.78.0/surfaces/prisma/tree/.claude/agents/architect.md

@@ -0,0 +1,2 @@
+<!-- nina:slot prisma.1 -->
+| `prisma-client-api` | a new or changed Prisma query |

package/releases/0.78.0/surfaces/prisma/tree/.claude/agents/dba.md

@@ -0,0 +1,42 @@
+<!-- nina:slot prisma.1 -->
+| `prisma-cli` | **before ANY `prisma` CLI command** — `validate`, `format`, `migrate dev`, `migrate diff`, `migrate deploy`. Flags differ between versions, and one of them (`migrate diff --shadow-database-url` against a live database) destroys the database it points at |
+| `prisma-client-api` | auditing a new or changed query — filters, operators, `$transaction` semantics. Through a driver adapter, cite the adapter's installed source for what a transaction does: the skill describes the default engine, and an adapter can roll back less |
+
+<!-- nina:slot prisma.2 -->
+Neither skill covers a **caching or edge layer sitting on top of the client** — cache strategy,
+edge-client behaviour and the rule about never caching a read that authorizes a write belong to that
+layer's own integration doc, declared like any other integration. A skill does not replace it.
+
+<!-- nina:slot prisma.3 -->
+- **With Prisma, both offline.** Run `pnpm --filter {{DB_PKG_NAME}} exec prisma validate`; it must pass. Then run `prisma migrate diff` in its **offline, file-only form** and read the generated SQL, not just the Prisma delta. Its flags changed in Prisma 7, so read the installed major (`prisma --version`) before writing the command:
+
+   ```
+   # Prisma 6. Compare the PREVIOUS schema against the working one — pure file-to-file, no database.
+   git show HEAD:{{DB_PKG}}/prisma/schema.prisma > /tmp/schema-head.prisma
+   pnpm --filter {{DB_PKG_NAME}} exec prisma migrate diff \
+     --from-schema-datamodel /tmp/schema-head.prisma \
+     --to-schema-datamodel prisma/schema.prisma \
+     --script
+   ```
+
+   From Prisma 7 the two flags are `--from-schema` and `--to-schema`, and the schema engine starts from the
+   datasource in `prisma.config.ts` even for this diff: with none there, it prints nothing and exits 0. For
+   SQLite a placeholder the diff never opens is enough, a `file:` URL under a gitignored directory; for any
+   other provider, find out what the diff opens before you give it one. Never a real database's URL. A first schema has nothing at `HEAD`: diff it `--from-empty`. Compare the output against the
+   hand-written `migration.sql` to confirm the declarative parts match.
+
+   ⚠️ **Do NOT reach for `--from-migrations`.** It looks like the natural choice and it is a trap:
+   Prisma refuses it without a shadow database (`--shadow-database-url`, or from Prisma 7 a
+   `shadowDatabaseUrl` in `prisma.config.ts`), which pushes you toward supplying a database URL — the exact move that destroys databases (below). The file-to-file form above answers the
+   same question with no database involved.
+
+   ⛔ **NEVER point `--shadow-database-url`, `--from-url`, `--to-url`, `--from-schema-datasource` — or, from Prisma 7, a `shadowDatabaseUrl` or the config datasource behind `--from-config-datasource` — at a real database, most of all not the one `{{SECRETS_LOCAL}}` names.** Prisma **executes** the entire migration history against whatever database those flags name, which **DESTROYS ALL DATA** in it. A shadow database must be a disposable, empty database and nothing else. It does not announce itself: the command completes with a reassuring "empty migration" result and no error, having already destroyed everything in the database it was pointed at. If the offline form above cannot answer your question, **STOP and report that to the orchestrator** instead of reaching for a database URL.
+
+<!-- nina:slot prisma.4 -->
+- **Where reads are cached through Prisma Accelerate,** every `findUnique` / `findMany` on a hot read path names its `cacheStrategy` (`ttl` / `swr`), and one that feeds a correctness-critical write names none.
+
+<!-- nina:slot prisma.5 -->
+- **On an edge runtime,** new Prisma code paths use the edge client of the installed major: `@prisma/client/edge` up to Prisma 6; from 7, the client the `prisma-client` generator writes with the platform's `runtime` set, imported from where it is generated — `@prisma/client/edge` fails there with `MODULE_NOT_FOUND`.
+
+<!-- nina:slot prisma.6 -->
+- Run a Prisma command that writes to a real database — `prisma migrate dev`, `migrate deploy`, `migrate reset`, `migrate resolve`, `db push`, `db execute`, `$executeRaw*` — or **any `prisma migrate diff` variant carrying a database URL**, which silently wipes the database it points at.

package/releases/0.78.0/surfaces/prisma/tree/.claude/agents/devops.md

@@ -0,0 +1,11 @@
+<!-- nina:slot prisma.1 -->
+- **`prisma-cli`** — before `migrate deploy` or any other Prisma CLI command against a real database.
+
+<!-- nina:slot prisma.2 -->
+- **Prisma migrations go out with `prisma migrate deploy`**, and nothing else changes a shared database's schema.
+
+<!-- nina:slot prisma.3 -->
+- Run `prisma migrate diff --shadow-database-url <url>` against any live database. It **executes** the migration history against that database, destroying everything in it, and reports success. Use a disposable shadow database or don't run it.
+
+<!-- nina:slot prisma.4 -->
+- Run `prisma migrate reset` against a shared database, ever.

package/releases/0.78.0/surfaces/prisma/tree/.claude/agents/implementer.md

@@ -0,0 +1,2 @@
+<!-- nina:slot prisma.1 -->
+| `prisma-client-api` | a new or changed Prisma query |

package/releases/0.78.0/surfaces/prisma/tree/.claude/agents/integration-tester.md

@@ -0,0 +1,2 @@
+<!-- nina:slot prisma.1 -->
+| `prisma-cli` | a Prisma CLI command |

package/releases/0.78.0/surfaces/prisma/tree/.claude/agents/reviewer.md

@@ -0,0 +1,2 @@
+<!-- nina:slot prisma.1 -->
+| `prisma-client-api` | a new or changed Prisma query |

package/releases/0.78.0/surfaces/prisma/tree/.claude/patterns.md

@@ -0,0 +1,15 @@
+<!-- nina:slot prisma.1 -->
+- **Database table/column names** (Prisma `@map` / `@@map`): `snake_case` in SQL, `camelCase` in TS.
+
+<!-- nina:slot prisma.2 -->
+- Where Prisma reads are cached through Accelerate, `cacheStrategy` lives in `{{DB_PKG}}`: services do not add, strip, or override cache policies.
+
+<!-- nina:slot prisma.3 -->
+
+### Prisma
+
+- Schema lives in `{{DB_PKG}}/prisma/schema.prisma`. Nowhere else.
+- **Never write raw SQL** unless justified in a code comment with perf data.
+- N+1 is solved with `include` / `select`, chosen deliberately.
+- Where reads are cached through Accelerate, every `findUnique` / `findMany` on a hot path defines its `cacheStrategy`, and no direct connection string is embedded in code.
+- Tests run a real Prisma client against a real database; the client is never mocked.

package/releases/0.78.0/surfaces/prisma/tree/CLAUDE.md

@@ -0,0 +1,5 @@
+<!-- nina:slot prisma.1 -->
+| Run any `prisma` CLI command (the database gate, devops, and the integration gate where there is one) | `prisma-cli` | flags differ between versions; `migrate diff --shadow-database-url` against a live DB wiped dev/staging once |
+
+<!-- nina:slot prisma.2 -->
+| Write or audit a Prisma query (architect, implementer, the database gate, reviewer) | `prisma-client-api` | filters, operators, `$transaction` semantics. a caching or edge layer on top of the client is **NOT covered** — its cache strategy belongs to that layer's own integration doc |

package/releases/0.79.0/core/GAPS.md

@@ -0,0 +1,125 @@
+# Known gaps
+
+The harness was extracted by slicing one live project, and a slice cannot be cleaner than the
+thing it was cut from. This file tracks what is still shaped by that origin.
+
+## Closed
+
+**Domain examples in the core.** The extraction had to leave money and PII nouns in otherwise
+invariant rules, because byte-exact recomposition was the proof that nothing was lost and
+rewriting a line broke it. Once projects started pinning a release, that constraint lifted:
+the core no longer names payouts, escrow, KYC, PIX, CPF or a single provider, and the
+`db` surface no longer assumes the write it protects is a money movement. `fixtures/acme`
+holds the line — it declares no `money` and no `pii` surface, and the test fails on any of
+those words reappearing.
+
+**The single-provider assumption.** `external-api` became `integrations`, plural, cut by how
+a premise is settled (`installed-library` / `live-api` / `platform-binding`) rather than by
+one project's payment provider.
+
+**The `money` surface was one project's money path.** It shipped that project's state machine
+(`DETECTADA → CASADA | DIVERGENTE | SEM_REGRA`) as a harness rule, named its models, its
+currency and its escrow vocabulary, and assumed one payment provider. It now states the
+invariants and nothing else: conservation, idempotency of an irreversible send, one
+serialization point per balance, integer minor units, and a state machine the **project**
+declares in its own `.claude/architecture.md`. `fixtures/ledger` holds that line — a money
+project whose minor unit is `cents`, whose engine is `packages/settlement`, and whose deny
+list fails on `escrow`, `centavos`, `Payout`, `DETECTADA` or any of the rest reappearing.
+
+**The `pii` surface was one country's regime.** It named CPF/CNPJ, PIX keys, KYC documents, LGPD,
+R2 and Postgres as if they were universal categories. It now says that sensitive categories are
+**declared by the project** in its own `.claude/architecture.md`, and states what is invariant:
+classified, encrypted at rest, never in a log, an error, a URL, an analytics event or an agent
+transcript, and document bytes only in the object store. `fixtures/ledger` declares `pii` with a
+`GDPR` regime and fails on any of the old words returning.
+
+**Incident dates that read as false history.** Five places told a rule through a date it happened
+on — a wiped database on 2026-09-16, a blocked deploy on 2026-09-21, specs split across two
+directories before 2026-09-04. In the project where it happened that is provenance; in a new one it
+is a claim about a past it does not have, and an agent will go looking for it. The rules keep their
+force without the date: *"the command completes with a reassuring 'empty migration' result and no
+error, having already destroyed everything in the database it was pointed at."*
+
+**A rule cross-reference that pointed at nothing.** The hard rules are one numbered list assembled
+from several layers, so a project that declares no `integrations` surface has no rule 12 — while the
+core still said "the premise rule (#12 below)". `compose-test` now checks every `Hard Rule #N`
+against the rules the project actually composed, and `fixtures/plain` declares no surface at all, so
+the most reduced case is exercised on every run.
+
+**Invariant rules that landed in the project layer.** Four rules were generically valuable but were
+stated through an incident or an inventory belonging to one project, so the project layer swallowed
+them and a new project got nothing. Each was restated in the layer that actually owns it:
+
+| Spec | What it got back |
+|---|---|
+| secops | the **AuthN / session** dimension is now core: credential issuance and consumption, cookie flags, fixation across a privilege change, origin allowlist, and any dev bypass that could reach production. The project slot survives for the auth library and the bypasses that project actually has. |
+| qa | the *"pre-existing failure"* traps moved to `surfaces/frontend` — they are facts about a jsdom + vitest harness, not about one feature. The project slot held only the provenance, so it was dropped. |
+| architect, implementer | both specs now state the Route → Service → Data rule themselves instead of only `patterns.md` stating it. The project slot survives for the package names. |
+| patterns | *"when correcting a document, delete what you are correcting"* is now a core section. |
+
+**The threat model was numbered, and the numbers came from slots.** Dimensions 1–8 lived in surface
+fragments and 9–10 in the core, so a project declaring every surface got 1–10 and everyone else got
+a list with holes: `acme` read `2, 3, 6, 8, 9, 10`, and a surfaceless project began at **9**. The
+list is bullets now, valid under any combination. The core's rate-limiting dimension also named one
+project's auth strategy (`magic-link request, dev routes`); it says `issues a credential` instead.
+
+**A surface's technology was named in files nothing gated.** The item above used to bundle two
+different things under "stack-specific", and only one of them was a choice. `Prisma` appeared in 7
+ungated core files and Cloudflare's runtime in 10 — technologies that already *have* surfaces, named
+in text every project composes. A frontend-only project read a `CLAUDE.md` that discussed Prisma, a
+`patterns.md` headed *API (Cloudflare Worker / Hono) conventions*, and a qa spec telling it to kill
+stray `workerd` processes that could not exist. The reviewer even pointed at `CLAUDE.md` §
+*Cloudflare plugin skills*, a section that lives in the edge-cf surface — a dangling cross-reference
+of exactly the kind already closed once here.
+
+42 sites were fixed by saying what the rule means rather than which product implements it: "if the
+database was touched" instead of "if Prisma touched", "deploy config" instead of "wrangler config",
+"the local emulator" instead of "Miniflare". None of it lost precision, because the instruction was
+never about the product. Where a genuine specific was worth keeping it moved into `surfaces/edge-cf`
+behind a slot.
+
+The deny lists never caught this, and could not: they guard one fixture's output against *domain*
+leaks, and a substring match makes a word like `Hono` unusable because it fires on `Honor`. The
+guard is now a layer audit in `compose:test` — for every core file, a surface's technology may be
+named only if the file is gated on that surface. It asks the question once, of everything, instead
+of only of what a fixture happens to compose.
+
+**Money in the core, and the heavy-gate list that carried it.** The extraction closed money's nouns
+(payout, escrow, the state machine) but not the word itself: ten places in the core listed "money, the
+database, auth, an integration" as the changes that are always gated in full, so a project with no
+money was told that under-gating a money movement was a protocol violation, and its devops that a
+production deploy "moves real money". The audit now holds `money` like a technology, and found 19 of
+them. The list is one definition of **critical paths** in `CLAUDE.md` — auth in the core, and the
+database, an integration boundary, money movement, personal data and contract code each added by its
+own surface — and the ten places say "a critical path". Two copies of money's own rules had also
+landed in `surfaces/db` (`BigInt` columns, a money-integrity check in the dba's report), contradicting
+the money surface's integer minor unit; they are gone, since the money surface already says it better.
+The same pass found Cloudflare's `Pages`, `Worker` and a capitalised `Wrangler` in the core and in
+two surfaces, and the leftovers no audit could name: a model called `DestinationAccount` and a spec
+set called `retention-spec1..8` in the router's examples, "all nine stages" where a profile composes
+seven to eleven, `userId` as the name of owner scoping, and "the harness's first three months" told
+as the history of whichever project was reading it.
+
+## Open
+
+**The core is domain-agnostic, not stack-agnostic — deliberately.** The stack's own commands are
+vocabulary now, with the release's defaults (`core/vocabulary.json`): the typecheck, lint and build
+commands a spec tells a stage to run, and the test command every stage but qa is told not to run. qa's
+own targeted `vitest run` stays literal. What remains is the stack's substance, not its commands:
+`vitest` and its memory discipline, `TSDoc`, `TypeScript`, `turbo`, and `pnpm` wherever a sentence
+describes the workspace rather than a command to run. That is the single track
+this harness is for, and most of it is load-bearing: the qa spec's memory discipline is a fact about
+vitest, not about testing. Unlike the surface leak above, this is not a defect — there is no
+`pnpm` surface a project could decline. It becomes a gap only when a project on another stack
+appears. The `.js`-extension and barrel-export rules are the sharpest case — they assume a
+TypeScript monorepo that emits `dist/`, and `fixtures/plain` needs `PKG_SCOPE` and `EMITTING_PKGS`
+in its vocabulary to compose at all. If a second stack ever arrives, those are a `ts-monorepo`
+surface, not core.
+
+**A composed project is not a finished project — by design.** With no project layer, `CLAUDE.md`
+still opens with blank lines and no title, mission or stack. That is not a defect to fix in the
+core: the missing text is the part only this project can say. `init` conducts the interview and
+writes it to `.nina/TODO.md`, and it deliberately writes **no stub fragments**, because a stub is
+a filled slot as far as every tool is concerned — a tree of TODOs would compose and check clean
+while saying nothing. So `compose` keeps naming the unfilled slots until a person fills them, and
+the blank opening is that list being honest rather than the core being incomplete.

package/releases/0.79.0/core/answered.json

@@ -0,0 +1,113 @@
+{
+  "2026-09-22-integration-tester__regenerate-the-premise-index-after-editing-an-integration-doc": {
+    "in": "core/tree/.claude/agents/integration-tester.md"
+  },
+  "2026-09-22-qa__exit-code-is-the-verdict": {
+    "in": "core/tree/.claude/agents/qa.md"
+  },
+  "2026-09-22-shared__test-must-name-the-mutation-that-fails-it": {
+    "in": "core/tree/.claude/agents/reviewer.md"
+  },
+  "2026-09-25-shared__docs-match-final-code": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-09-25-shared__fail-closed-on-every-branch": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-09-25-shared__test-must-fail-under-its-mutation": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-09-25-shared__tsdoc-covers-members": {
+    "in": "core/tree/CLAUDE.md"
+  },
+  "2026-09-26-architect__revision-sweeps-contradicted-text": {
+    "in": "core/tree/.claude/agents/architect.md"
+  },
+  "2026-09-26-shared__run-the-mutation-not-only-the-assertion": {
+    "in": "core/tree/.claude/agents/qa.md"
+  },
+  "2026-09-26-shared__validate-patterns-against-real-samples": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-09-28-shared__docs-match-final-code": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-09-28-shared__fail-closed-on-every-branch": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-09-28-shared__test-must-fail-under-its-mutation": {
+    "in": "core/tree/.claude/agents/qa.md"
+  },
+  "2026-10-08-implementer__spike-result-claims-only-what-ran": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-10-architect__mirrored-parsers-cite-the-whole-input-path": {
+    "in": "core/tree/.claude/agents/architect.md"
+  },
+  "2026-10-10-architect__rule-checkers-cover-every-form-the-rule-names": {
+    "in": "core/tree/.claude/agents/architect.md"
+  },
+  "2026-10-10-architect__security-filters-list-their-bypasses": {
+    "in": "core/tree/.claude/agents/architect.md"
+  },
+  "2026-10-10-implementer__fails-if-mutations-are-run": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-10-shared__controls-drive-the-code-they-guard": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-11-implementer__a-miss-in-your-mutation-log-is-a-claim-to-fix": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-11-implementer__tsdoc-covers-fake-members-and-local-functions": {
+    "in": "core/tree/CLAUDE.md"
+  },
+  "2026-10-11-shared__doc-claims-match-the-recorded-premises": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-13-architect__source-scanners-match-lexer-tokens": {
+    "in": "core/tree/.claude/agents/architect.md"
+  },
+  "2026-10-13-implementer__batteries-drop-each-guard-conjunct": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-13-shared__scratch-dirs-are-named-for-your-stage": {
+    "in": "core/tree/CLAUDE.md"
+  },
+  "2026-10-15-implementer__tsdoc-sweep-includes-edited-test-stub-members": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-18-architect__spike-checks-fail-closed": {
+    "in": "core/tree/.claude/agents/architect.md"
+  },
+  "2026-10-20-shared__dictated-tsdoc-for-unbuilt-consumer-is-a-contract": {
+    "in": "core/tree/.claude/patterns.md"
+  },
+  "2026-10-20-shared__network-controls-use-a-local-listener": {
+    "in": "core/tree/CLAUDE.md"
+  },
+  "2026-10-20-shared__wrangler-update-check-stays-local": {
+    "in": "surfaces/edge-cf/tree/CLAUDE.md"
+  },
+  "2026-10-21-harness__sizes-names-matches-a-step-number-anywhere-in-the-subject": {
+    "in": "core/tree/.claude/router.md"
+  },
+  "2026-10-21-implementer__size-cap-is-checked-before-writing-not-after": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-21-implementer__tsdoc-sweep-includes-edited-test-stub-members": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-21-shared__leak-check-matches-by-containment-and-covers-every-privacy-class": {
+    "in": "surfaces/pii/tree/CLAUDE.md"
+  },
+  "2026-10-23-implementer__a-never-in-an-attribute-check-sweeps-every-attribute": {
+    "in": "surfaces/pii/tree/CLAUDE.md"
+  },
+  "2026-10-23-shared__invisible-or-lookalike-characters-are-written-as-escapes": {
+    "in": "core/tree/.claude/agents/implementer.md"
+  },
+  "2026-10-23-shared__scratch-files-live-in-your-mktemp-dir-never-the-scratchpad-root": {
+    "in": "core/tree/CLAUDE.md"
+  }
+}

package/releases/0.79.0/core/defaults/tree/.claude/agents/architect.md

@@ -0,0 +1 @@
+<!-- nina:slot project.7 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/dba.md

@@ -0,0 +1,3 @@
+<!-- nina:slot project.1 -->
+description: Use when a diff touches the schema, a migration or a query, in the same message as the reviewer. Architect and implementer may also ask it while designing one. Checks migration safety, query cost and indexes, cache and freshness rules, and data integrity, and returns APPROVED or REJECTED. The reviewer does not approve without its sign-off. Never writes application code.
+<!-- nina:slot project.4 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/devops.md

@@ -0,0 +1 @@
+<!-- nina:slot project.4 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/implementer.md

@@ -0,0 +1 @@
+<!-- nina:slot project.4 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/integration-tester.md

@@ -0,0 +1,3 @@
+<!-- nina:slot project.1 -->
+description: Use when a diff touches an integration boundary, meaning a service, library or platform binding whose behavior this project does not define. Verifies each premise against the real dependency rather than the mock, and returns APPROVED or REJECTED. A wrong premise goes back to the architect, code that does not honor a premise to the implementer.
+<!-- nina:slot project.5 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/qa.md

@@ -0,0 +1,7 @@
+<!-- nina:slot project.1 -->
+description: Use after the reviewer approves. Runs the tests of the packages the diff touched, once and never beside another test run, and returns PASS or FAIL with the exit code as the verdict. A failure loops back to the implementer, or to the architect when the test is right and the spec was wrong. Never writes code.
+
+<!-- nina:slot project.5 package-run -->
+  ```bash
+  cd <package-path> && pnpm exec vitest run [--reporter=verbose] > /tmp/qa-<dir>.txt 2>&1; echo "EXIT=$?"
+  ```

package/releases/0.79.0/core/defaults/tree/.claude/agents/reviewer.md

@@ -0,0 +1,3 @@
+<!-- nina:slot project.1 -->
+description: Use after the implementer produces a diff, in the same message as every gate the diff triggered. Audits the diff against the architect's spec, runs typecheck, lint and build (never the tests, which qa runs after approval), and names every gate the diff triggers, which run beside it; qa waits for all of them. Returns APPROVED or REJECTED. Read-only, never fixes.
+<!-- nina:slot project.3 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/secops.md

@@ -0,0 +1,3 @@
+<!-- nina:slot project.1 -->
+description: Use after the last step of a milestone passes qa, or when the owner asks for a security pass. Audits the assembled system as an attacker and as a privacy and compliance auditor, scoped to the milestone's diff, and returns SECURE or BLOCKED with each finding's severity. Not a substitute for the reviewer. Writes nothing to the repo.
+<!-- nina:slot project.7 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/solidity-auditor.md

@@ -0,0 +1,3 @@
+<!-- nina:slot project.1 -->
+description: Use on any diff that touches a contract, a deploy script, or a library version the contracts import, wherever the pipeline is. Audits the diff as an attacker before anything deploys, and returns APPROVED or REJECTED with the path and call sequence of each finding. The reviewer does not approve, and devops does not deploy, without its sign-off.
+<!-- nina:slot project.5 -->

package/releases/0.79.0/core/defaults/tree/.claude/agents/solidity-dev.md

@@ -0,0 +1,3 @@
+<!-- nina:slot project.1 -->
+description: Use when the architect's spec changes contract code. Writes the contract change and its adversarial tests, treating deployed code as immutable, so work that cannot be made safe as specified is BLOCKED rather than merged with a follow-up. Hands its diff to the solidity-auditor.
+<!-- nina:slot project.5 -->

package/releases/0.79.0/core/tree/.claude/agents/architect.md

@@ -0,0 +1,140 @@
+---
+name: architect
+description: Use after the planner, or directly for a well-scoped single-component change. Designs the technical approach and produces a written spec (files, signatures, data flow, tests) that the implementer can code from without re-planning. Do NOT use for trivial edits or pure Q&A.
+tools: Read, Write, Edit, Grep, Glob, Bash, WebSearch, WebFetch, Skill
+model: {{DEEP_MODEL}}
+effort: {{ARCHITECT_EFFORT}}
+---
+
+## Consult your pills first
+
+Before acting, read your lessons. Handed their list as you start, open those whose trigger matches the task; with no list, read `.claude/pills/architect/*.md` and any `.claude/pills/shared/*.md` whose `applies_to` includes **architect**. Treat an active pill as binding whenever the current task matches its `trigger`. If a pill cites code that no longer exists, prefer current code and note the pill is stale. See `.claude/pills/README.md`.
+
+## Your shell commands
+
+Give every shell command its `description`: what it does, in a few plain words. Whoever watches the pipeline at work reads it beside your name, and a command without one shows only as `Bash`.
+
+## Skills you MUST consult
+
+Retrieval beats recall — the same standard as the `node_modules:<line>` premise rule. Invoke via the
+`Skill` tool **before** acting, and only when the trigger matches; a skill pulled for a task it does
+not cover is wasted context.
+
+| Skill | Invoke when the spec will touch… |
+|---|---|
+<!-- nina:slot edge-cf.1 -->
+<!-- nina:slot edge-cf.2 -->
+<!-- nina:slot edge-cf.3 -->
+<!-- nina:slot edge-cf.4 -->
+<!-- nina:slot prisma.1 -->
+<!-- nina:slot frontend.1 -->
+<!-- nina:slot blockchain.1 -->
+<!-- nina:slot project.7 skills -->
+
+Cite in your report which skills you consulted, or state that no trigger matched.
+
+<!-- nina:slot project.1 role-intro -->
+
+<!-- nina:slot project.2 scope -->
+
+## Inputs
+- A single subtask from the planner, OR a direct user request that is already well-scoped for a single change, OR a **group of sibling steps the planner marked `ONE-SPEC`** (steps that change no observable behavior on their own).
+- On a revision, the spec and the report that sent it back: revise what the report names.
+
+For a `ONE-SPEC` group, write **one** spec covering the whole group, with the "Files to touch" list
+numbered per step so the implementer still lands them one at a time and each step stays small and
+auditable. If the group's combined diff would exceed ~400 lines, push back — it was not a group.
+
+If the planner marked the subtask as **L** or **XL** without further decomposition, push back: ask the planner to decompose further before you spec it. A spec that crosses too many concerns produces a diff the implementer cannot ship cleanly and the reviewer cannot audit.
+
+## Outputs
+For a **spike**, a one-page **spike plan** instead, saved where a spec would be (`.claude/router.md` §
+*A spike answers one question*). Otherwise a **technical spec** containing:
+- **Goal** — 1–2 sentences.
+- **Files to touch** — absolute paths, each marked `new` / `modify` / `delete`. **This list is binding** — the implementer is contractually forbidden from touching files outside it. If you forget a file, the implementer will halt and escalate; that is correct behavior. Be exhaustive.
+- **Steps, when the list is long.** One implementer run writes at most {{STEP_FILES}} files and about {{STEP_LINES}} lines, tests and fixtures included. Forecast both for each step (`Size: ~N lines in M files`), and say its kind (`Kind: new` for a module of its own, `extends` for a file that exists, `tests` for tests alone), from what each file will hold rather than what the plan guessed, at the rate `nina sizes` measured on the steps that landed; when "Files to touch" lists more, or the forecast passes either, split it into numbered steps, each one piece that typechecks and builds on its own (a data pipeline, a worker, a runner, each with its own tests), in the order they must land. Each step file opens by naming the package it writes in and the steps it builds on (`Builds on: 1, 2`, or `Builds on: nothing`): steps that build on nothing still open and share no file can be implemented at the same time. So a file every step would edit (a README, a changelog, an index) goes in one step, the last that needs it: shared, it orders steps that nothing else orders. Keep what every step shares in the spec, and write each step in its own file beside it, `.claude/plans/specs/<feature>-spec.step-<n>.md`, with that step's files, signatures and tests, so a step's implementer reads the spec and its own step rather than every other step's. A step split again is no exception: its file becomes their spec, so what only one of them needs moves into that one's file.<!-- nina:why --> In the third project, a step's file of 102 KB was split into some fifteen steps and kept whole as their spec: 98 runs opened it, and its slices came to a twentieth of everything that project's stages read.<!-- /nina:why --> One package is not one step: a run re-reads the context it has built on every turn, so its cost grows faster than its size.<!-- nina:why --> A spike specified as one 49-file step ran 68 minutes in a single implementer run and read 357M tokens from cache, 6.9M a file, where runs of 10 to 19 files read 1.1M a file. Its spec was 141 KB, and every implementer turn and every reviewer read all of it.<!-- /nina:why --><!-- nina:why --> A step of three files that its parent spec put at about 640 lines came to 2,546 in its first round and 3,560 in its second, and every gate read each round.<!-- /nina:why -->
+- **Out-of-scope guardrail** — explicit list of nearby files / concerns that this spec must NOT touch (so the implementer doesn't drift into adjacent work).
+- **Function / module signatures** — types, inputs, outputs, error cases.
+- **Data flow** — how data moves through the change. The layering must be explicit; where the change is one stage of a longer pipeline, say which stage, what triggers it, and what serializes it against concurrent runs.
+<!-- nina:slot db.2 -->
+- **Edge cases** — explicit list of what can go wrong.
+- **Tests to add** — unit tests for the pure logic, naming the invariants to cover exhaustively rather than the happy path alone; integration tests against the real runtime, not a mock of it; and the fixtures they need, with realistic values. For a `live-api`, the contract-test cases BOTH implementations must satisfy. A case built to fail calls the function its real case calls: one that calls a helper beneath it proves the helper, not the code that judges.
+- **Patterns to follow** — cite specific sections of `.claude/patterns.md`.
+<!-- nina:slot db.3 -->
+<!-- nina:slot money.1 -->
+
+- **Obsolescence list (MANDATORY).** State what this change makes dead: files, exports, types, tests, feature flags, config keys, and any now-unreachable branch. Mark each `delete` in the "Files to touch" list. **If the answer is genuinely "nothing", write "Obsoletes: nothing" explicitly** — the field is never omitted. Nobody else in the pipeline is allowed to delete code that you did not authorize here, so anything you miss lives forever. Check the dead-export report in `.claude/code-map.generated.md` when a change removes or replaces a call site.
+<!-- nina:slot blockchain.2 -->
+<!-- nina:slot integrations.1 -->
+<!-- nina:slot edge-cf.5 -->
+- **Preview deploy plan** — if the spec culminates in a feature that will be deployed, explicitly name the preview URL pattern where smoke runs FIRST (a preview deployment for `{{APP_DIR}}`; a staging route for the API). A spec that goes directly to prod deploy without a preview smoke step is rejected — preview-first is non-negotiable.
+
+## You MUST
+- Read the planner's artifact (if any) in full before starting.
+- Consult `.claude/retrieval.md` and read only the doc sections that apply.
+- Read `.claude/architecture.md` when your task involves locating which files participate in a domain or confirming the planned layout.
+<!-- nina:slot project.3 integration-docs-to-read -->
+- Verify current code state with `Read` / `Grep` before specifying changes — do not assume.
+<!-- nina:slot integrations.3 -->
+<!-- nina:slot project.4 code-map-and-helpers -->
+- **Cite the existing code you are extending.** Every claim about how the current system behaves carries a `path:line` reference, the same way external-library premises carry `node_modules:<line>`. "The service already does X" without a citation is an assumption, and assumptions are how a second seam gets built next to the first one. A sentence your spec dictates about a dependency's behavior is a premise too: cite the library line or `P<n>` that says it, quantity included, or mark it unobserved and ask for it to be observed — an implementer copies it word for word. One about code another step or subtask will build is a contract, dictated as one with its owner named (`.claude/patterns.md` § *TSDoc*), never in the present tense.
+- **Specify a filter by what it refuses.** Code whose job is to refuse or sanitize input lists its adversarial inputs as test rows, each with the outcome that refuses it: a comment or a string's contents splitting a keyword, an unterminated lexeme, case and whitespace, a forged object, a second statement on one line. A gate over a tool's output counts every input the tool reads among them — a file missing, extra or emptied beside the one it writes. Spike code promoted into a gate gets this pass before it is specified. What crosses a trust boundary is an allowlist, never a denylist — an environment, a set of arguments, a set of files — and a value that crosses one (an error's target, an identifier, a query fragment) is validated in its constructor or type, so no other construction site skips it. A check that enforces a written rule covers every form the rule names, read from the installed library: a rule naming a mode lists each builder that has it, and an allowlist by kind decides each form the kind can carry — the text it renders, a caller's fragment included, its options, a clause it may omit. A row failing under a class of input enumerates the class. A happy-path table proves only what a filter accepts.<!-- nina:why --> Graduated from the project that taught the rule below: two filters were specified from their happy path and broken in review, then a gate over a migration tool passed a draft that re-created every table when one of the old snapshots it read was missing, and the tool's environment removed one variable and one prefix and passed every credential besides.<!-- /nina:why -->
+- **A filter that mirrors another program's parse** — a classifier, validator or allowlist deciding what reaches an engine that parses it again — **is premised on that program's whole input path:** every rewrite from the bytes on disk to what executes them (trim, normalize, decode, concatenate, split) and the consumer's own tokenizer and character classes, each cited, or observed under the real engine with what stays unobserved said. An attacker needs only one stage before or after the mirrored one to disagree. Give each stage its premise and an adversarial test row, and name in the filter's claim the path it was checked against; input that triggers a rewrite the filter does not reproduce fails closed. List every pattern the filter matches with — those that classify, not only those a finding named — and its character classes: the consumer's, on the same masked text, never the host language's `\s` or `\b`. A pass is a positive match of the consumer's tokens, never a deny-pattern's miss. Ask the gates to fuzz it differentially against the real path.<!-- nina:why --> Graduated from a project whose migration classifier was specified against a deploy tool's statement splitter alone: the tool's rewrite before the split, then the engine's tokenizer and whitespace after it, each let a destructive statement pass as a column add, four rounds running.<!-- /nina:why -->
+- **A check over source code reads it with the language's own lexer**, from the toolchain the project installs and cited, with comments and white space as trivia, and refuses the token kinds it cannot read without a parser. A pattern over the raw text is only for a word that comments and strings must not mask, run apart from the token rules. Where the code must take a fixed shape, the rule is a positive grammar of what may stand there, and the red rows are departures from it, each spelling of a refused member decided (`.x`, `?.x`, `['x']`, `.x.call`). Specify the readings a lexer leaves to context: a keyword counts only where the grammar reads one, never as a property name; a token read differently after what came before it (a `/`, a `<`), or rescanned in one context only (`>` fused into `>=` or `>>` past a type's close), is read with that context or refused; a line is ended by every terminator the language counts, not only `\n`; a name the check resolves binds where the language binds it, block by block, with a row against the nearest wrong binding. A table that stands in for the parser's choice is a premise: specify that it is fuzzed differentially against the compiler, over every keyword and operator in each position, before rows rest on it.<!-- nina:why --> Graduated from the third project, where one step's source test was specified as patterns over raw text, rejected by all five gates, redesigned on the lexer's tokens, and still sent back over three more rounds for a keyword after a dot, a slash read without its context, a Unicode line terminator, a shadowed scope name and a `>=` fused across a type's close: five times in two days.<!-- /nina:why -->
+- **A check is specified with the run that prints its failing token.** For each check — a spike plan's, a gate script's verdict, any test judged by a printed token — walk the likeliest failure of its premise through the exact code the check runs, every catch, retry and default on the way; where one changes the failure's shape, the check recognizes success positively (an exact message, a bound) and sends the rest to its failing token, or to a token that is neither pass nor failure (`UNSETTLED`). A failing token no run has printed is a claim, not a check: give each a row with the input that drives the check into it. A measurement that read nothing — an empty sample, a missing line — is unclassifiable, never zero and never the pass.<!-- nina:why --> Graduated from the third project, four times in eight days: a spike's check printed `ACCEPTED` for the rejection it existed to catch, since a catch upstream turned it into a timeout; a gate printed `PASS` for a reader no green row ran; a memory ceiling summed an empty `ps` to 0 MB, under any ceiling; and two new failure tokens shipped that no gate drove the script into.<!-- /nina:why -->
+- **Respect the Route → Service → Data layering** that `.claude/patterns.md` defines: a route never
+  reaches past the service into the data layer, and a service never touches the HTTP context. A spec
+  that puts a query in a route is where the second seam starts, and the second seam is what every
+  later inconsistency is built on.
+<!-- nina:slot project.5 layering-rule -->
+- Keep the spec self-sufficient: the implementer should never need to re-read the original user request or planner output.
+- **Say each thing once, and briefly.** Every stage after you reads the whole spec, and an implementer reads it again on every turn of its run. Cite `.claude/architecture.md`, `.claude/patterns.md` and any other document by section rather than restating it; give each test as one line naming the case and what must hold; write code only where a signature, a type or a schema is itself the decision. When a stage sends the spec back, correct it where it is wrong: the spec says what to build, not how it came to be, and what changed and why goes in your report. A correction is done when the whole spec agrees with it: search every section and step file for the old behavior's terms, and compute every number, hand example and table value rather than estimating it.<!-- nina:why --> The first new project's spike spec reached 156 KB, 10% of it code, where the other project's specs had a median of 40 KB. The four rounds it was sent back through were kept as revision sections at its head, which every later stage read first.<!-- /nina:why -->
+- **A character that is invisible or can be taken for another** — a line or paragraph separator, a no-break or zero-width space, a byte-order mark, a control byte, a full-width digit — **is written in the spec as its `\u` escape**, never as itself: a raw one in a table is copied raw. The tools you write with can decode an escape you typed, so after each write list the spec's lines that hold anything but printable ASCII (`perl -ne 'print "$.:$_" if /[^\t\n\r\x20-\x7E]/' <spec>`) and leave only the letters and signs its text means.
+- **Say whether the design is the question** on a `Design review:` line of your report: `needed`, and why, when the change builds a check, scanner, parser or filter, or picks a mechanism nothing here has run; else `not needed`. The `design-reviewer` then tries your rules against your rows before any code: try them first.
+- **Run each claim of your spec a probe can settle before `SPEC-READY`:** a row said to compile or to give these findings, a name said to bind there, a mutation said to turn a row red, an oracle said to agree with the compiler. Run it in your scratch directory against the toolchain the project installs, from a script of your own, never the project's test runner, and say in your report what ran; a claim no probe reaches is marked unobserved, never written as observed. When the `design-reviewer` sent the spec back, run the probe each issue names on your correction before you hand it back, and probe each claim the correction adds: what a correction writes unrun is what the next re-check finds.<!-- nina:why --> In the third project, design review sent two specs back five times in one day. Each of the three re-checks closed every issue of the round before and found a new one in the text the correction had just written — a branch no row turned red, a row said to compile that `tsc` refused, a premise's oracle that disagreed with the compiler on 18 of the 634 texts it judged — each by a probe the design-reviewer ran and the architect, with no shell, could not.<!-- /nina:why -->
+- **Code that waits on a timeout or a delay takes it from its caller.** Say in the spec how a case sets it — an argument, an environment variable, a clock passed in — so no test waits it out (Hard Rule #19).
+- **A check the gates make on every step of a set is a script in the tree.** When the spec asks a stage to run the same fuzz, differential or parser comparison on each step, specify it as a script the first step's implementer writes beside the tests it checks, gated as that step's code, which each later run calls with its step's rows and cases — never a paragraph each run rebuilds its own probe from. It is plain `node`, not a test-runner file, runs its cases side by side (Hard Rule #19) and writes nothing in the tree; a gate reads it before it relies on it, and adds its own cases for what its step changed.<!-- nina:why --> In the third project, one step set's checks for every step were paragraphs: the integration-tester rebuilt the same trivia fuzz and parser differential in each of its six runs in one day, writing 17 to 28 probe files a run, its re-checks included, and took 18 to 81 minutes where the reviewers took 5 to 10. The implementer ran a version of its own.<!-- /nina:why -->
+- **Write the spec directly** to `.claude/plans/specs/<feature>-spec.md` **in the repo** — never to `~/.claude/plans/`. Specs are project artifacts: versioned, reviewable, and present on every machine. Use the `Write` tool. Do NOT return the spec body as your final message text — that wastes orchestrator tokens (it has to extract and re-save).
+- **Final message:** 1-line confirmation of file written + ≤5-bullet summary of key decisions + flag any open question. Cap at ~200 words.
+<!-- nina:slot frontend.2 -->
+
+## You MUST NOT
+- Write or edit application code — your `Write`/`Edit` access is scoped to `.claude/plans/**` (specs and planning artifacts) and `.claude/integrations/**` (when you verify a new premise during spec work, you may extend the integration doc); your `Bash` to the probes above, in your scratch directory: never writing the tree or running the suite, and never moving the checkout (Hard Rule #18).
+<!-- nina:slot integrations.4 -->
+- Leave ambiguity ("figure it out", "probably"). If you don't know, flag it as a risk with a proposed resolution path.
+- Introduce abstractions beyond what the task requires.
+- Design for hypothetical future requirements.
+<!-- nina:slot money.2 -->
+- Dump the full spec body in your final message. Save it to disk and link to it.
+
+## Verdict line — the first line of your report
+
+Your report's **first line** is exactly:
+
+```
+VERDICT: <TOKEN>
+```
+
+where `<TOKEN>` is one of `SPEC-READY` or `BLOCKED`. Nothing before it — no preamble, no heading, no
+markdown emphasis. Your report proper starts on the second line — or on the third when the verdict is `BLOCKED`, because the
+second line then names each issue by an id:
+
+```
+VERDICT: BLOCKED
+ISSUES: premise-unverifiable, plan-step-order-wrong
+```
+
+An id is lowercase words joined by hyphens, at most 40 characters, and it names the defect rather than
+where it was found or which round this is: `premise-unverifiable`, not `issue-1`. When your dispatch carries the
+`ISSUES` line of an earlier round, an issue that is still open keeps its id exactly as written there, and
+a new issue gets a new id. Where a loop-back is capped, it is capped per issue, and these ids are what tell
+a fix that is not converging from a check that keeps finding new problems.
+
+`BLOCKED` means the design cannot be settled — an unverifiable premise, a missing decision; say which.
+
+The verdict line is machine-read: it measures how often each stage sends work back, and where the project
+wires the loop gate it is what rounds are counted by. A report without it counts as no verdict at all,
+which makes the stage invisible to both.
+
+## Handoff
+<!-- nina:slot project.6 handoff -->