1626 Commits

Author SHA1 Message Date
Tyler Slaton 367e7bda15 feat(react-core): add local message inspector links 2026-08-19 13:28:26 -07:00
copilotkit-qa-bot[bot] c81c6e2535 fix: harden Strands TypeScript request boundaries 2026-08-19 08:45:15 -07:00
copilotkit-qa-bot[bot] 20e481b749 fix: make Strands TypeScript starter smokeable 2026-08-18 16:01:36 -07:00
copilotkit-qa-bot[bot] bd91313517 feat: add AWS Strands TypeScript starter 2026-08-18 15:51:47 -07:00
Mike Ryan 5b9776a1a0 chore(examples): update CLI starter package versions 2026-08-17 12:31:41 -07:00
Ran Shemtov fa13d52502 Merge branch 'main' into codex/crewai-full-d6 2026-08-14 09:37:42 +02:00
Maxim 335209b39a Merge branch 'main' into feat/reskinnable-demo-beat-parity 2026-08-13 19:55:27 +02:00
Maxim 3bf6e30e9a feat(reskinnable-demo): open Aeronova's demo on a flight-cadence chart
Beat 1 is the demo's first move, and it was answering "how do my trips look?"
with a trip wall. It now answers "How often do I fly?" with a picture: every
trip on the account laid out on a day scale, a today divider, the disrupted
ones called out, and the average gap between trips.

WHY A STRIP AND NOT BARS. The account holds seven trips across about ten weeks.
Monthly bars collapse that to three columns, hide which trips are disrupted, and
read as a stub on a projector. The strip uses all seven, and the GAPS are the
actual answer to "how often" -- which is why the summary quotes the average gap
rather than a count.

MEASURED against the shipped seed and the app's own clock, pinned in
data/flight-cadence.test.ts:

    7 markers - 0 flown - 7 ahead - 2 disrupted - average gap 11 days

Note the clock. This app runs on a FIXED demo clock (`store.ts` publishes
`now: SEED_NOW`, 2026-07-14), not the wall clock, so every seeded trip is AHEAD
and the strip is forward-looking. "About every 11 days" is therefore the honest
answer, and it is a better one than any count of flights behind us.

Structure:
  - `data/flight-cadence.ts` -- pure, no React, no Date. Takes `now` as an
    argument and reads days out of the ISO string by civil-day arithmetic.
    Both rules are load-bearing here: a `Date.now()` would put the divider in
    one place on the server and another in the browser (the hydration class
    this branch already chased once), and `new Date(iso)` on a string carrying
    an airport's UTC offset re-expresses a 23:00 Lima departure as the next
    day. `components/local-clock.ts` makes the same argument for display; this
    is its data-side counterpart.
  - `components/flight-cadence-chart.tsx` -- paints only. Receives `position`
    already normalised to 0..1, so there is no date maths in a component where
    nothing could unit-test it.
  - `showFlightCadence` registered with `useComponent`, NOT `useFrontendTool`:
    only a component replays out of thread history, which is what beat 2 asks
    the audience to reload and see.

Three details worth keeping:
  - Only flights someone HOLDS a booking on are drawn. The ledger's `flights`
    also carries the rebooking candidates, and counting offers would inflate
    the answer to the question being asked.
  - An unreadable departure is DROPPED and counted, never placed at day 0. A
    marker at the wrong point asserts a cadence that is false while still
    looking like data.
  - The helper takes a structural `{ id, flightId }` rather than `Booking`, so
    it accepts the client's `BookingDto` without a cast -- and therefore cannot
    see `waiverGround`, beat 6's sixth leak channel.

Tests: 12 on the helper (including the offset case, the drop-don't-relocate
case, and the seed figures), 7 on the component (every marker by flight number,
the cancelled trip named in WORDS and not only as a coloured dot, summary and
picture derived from one object), and `beat-1.test.ts` pinning the contract --
pill wording, registration via useComponent rather than useFrontendTool, the
prompt naming the tool and demanding prose alongside the chart, and no `Date`
in either new file.

Also uses airline's existing amber/negative tones from `trip-list.tsx` rather
than inventing a `warn` design token -- there isn't one; the vocabulary is
brand / positive / negative.

Gates: lint clean, tsc 0 errors, 214 files / 2448 tests, build exit 0.
--no-verify for the reason recorded in 6473cdcf9d.
2026-08-13 19:49:33 +02:00
Maxim e3d9c911a1 chore(reskinnable-demo): add a typecheck script and point the docs at it
`tsc --noEmit` is the only command in this tree that type-checks the 211 test
files -- `next build` visits only what the app's module graph reaches, and
vitest does not type-check at all. The docs already said so and told readers to
run `pnpm exec tsc --noEmit`; this makes it a script, so the command people are
told to run is one word and shows up in `package.json` beside the others.

Note this is a NEW convention here, not a missing piece being restored: no
package in this monorepo defines a typecheck script, so build-time checking is
the house norm and test files fall outside it everywhere, not just in this app.
This closes the DISCOVERABILITY half of that gap for this app only.

It does NOT make the check enforced. Nothing runs it unless a person or an
agent chooses to. Wiring it into CI is a repo-wide decision with real CI cost
across 45 packages and is deliberately not taken here.

Earned: a slot reported three green gates (lint, test:unit, build) and still
shipped a TS2352 in a test file, because none of those three look at test
files.

8 doc references updated from `pnpm exec tsc --noEmit` to `pnpm typecheck`
across README.md, CLAUDE.md, SKILL.md and demo-beats.md. Verified the script
runs clean under the new name.

--no-verify for the reason recorded in 6473cdcf9d: the pre-commit hook fails on
a pre-existing @copilotkit/vue timeout unrelated to this app.
2026-08-13 19:13:32 +02:00
Maxim b7c144d94a fix(reskinnable-demo): make Rowan's queue pill move the user, not describe the move
Reported from the running demo: clicking "Oldest pending requests" often got a
prose reply --

    Confirm the levers and I'll take you there: **pending** only, sorted by
    **oldest first**, top **10**.

-- and nothing else. No tool call, no confirm card, no navigation. Beat 3c
failing while looking like it worked: the answer is correct and well formatted,
and "that was a maneuver, not a link" goes unproven.

ROOT CAUSE, and why the model was not disobeying. It was obeying a sentence
that reads two ways. `showRequestQueue`'s description said "Confirm the levers
with them first" without saying WHERE that happens. The HITL card IS the
confirmation -- it lists the levers and waits -- but nothing said so, so
confirming in chat satisfied the instruction as written. Two other things left
it with no reason to prefer the tool:

  - `people/agent.ts` never mentioned `showRequestQueue`, or navigation at all.
    Nothing connected "show me the oldest requests" to a tool call.
  - `top` was `.optional()`, and an optional lever invites the model to go and
    ask for the missing value first.

`logistics` hit this and was fixed; `people` never was, because nothing pinned
the fix. This applies logistics' shape:

  - the description now says the card confirms, and says not to confirm in prose;
  - the prompt gains MOVE THEM, DON'T DESCRIBE THE MOVE, naming the tool and the
    "in front of ... rather than describe one" framing;
  - every lever is REQUIRED, with 0 as the "no limit" sentinel. That needs no
    page change: the render sets the `top` query param only `if (args?.top)`,
    which is falsy at 0, so the page applies no limit.

`beat-3c.test.ts` pins all three. It is source-level on purpose -- what went
wrong is what the MODEL was told, which lives in `description` and the prompt,
and nothing else in this app checks either. Mutation-verified: reverting `top`
to `.optional()` turns it red.

NOT changed: commerce. Its `top` is `.int().positive().optional()` with a stated
reason -- omitting it is exactly what its `parseTopLever` honours -- so that is a
different, documented design rather than the same defect. Its prompt already
names its nav tool.

Reskin skill impact: YES, fixed here. demo-beats.md ss 3c now records the
two-readings failure, the quoted prose it produces, both halves of the close
(description AND prompt), and the note that commerce's optional `top` is
deliberate so nobody copies the wrong shape.

Gates: lint clean, 211 files / 2420 tests passing. Committed with --no-verify
for the reason recorded in 6473cdcf9d: the repo's pre-commit hook fails on a
pre-existing @copilotkit/vue timeout unrelated to this app.
2026-08-13 19:07:42 +02:00
Alem Tuzlak 14f90410ff docs(examples): fix stale clone paths in v1 example READMEs (#6471)
<!--
Thank you for sending the PR! We appreciate you spending the time to
work on these changes.

Help us understand your motivation by explaining why you decided to make
this change.


**Please PLEASE reach out to us first before starting any significant
work on new or existing features.**

By the time you've gotten here, you're looking at creating a pull
request so hopefully we're not too late.

We love community contributions! That said, we want to make sure we're
all on the same page before you start.
Investing a lot of time and effort just to find out it doesn't align
with the upstream project feels awful, and we don't want that to happen.
It also helps to make sure the work you're planning isn't already in
progress.

As described in our contributing guide, please file an issue first:
https://github.com/ag-ui-protocol/ag-ui/issues
Or, reach out to us on Discord: https://discord.com/invite/6dffbvGU3D


You can learn more about contributing to copilotkit here:
https://github.com/copilotkit/copilotkit/blob/master/CONTRIBUTING.md

Happy contributing!

-->

## What does this PR do?

Fixes three `examples/v1/*` README files whose "Clone the repository"
step `cd`s into a directory that no longer exists (leftover from when
examples were reorganized under `examples/v1/`). Following the README as
written fails at the first step with `cd: no such file or directory`.

- `examples/v1/chat-with-your-data/README.md`: `cd
CopilotKit/examples/copilot-chat-with-your-data` → `cd
CopilotKit/examples/v1/chat-with-your-data`
- `examples/v1/form-filling/README.md`: `cd
CopilotKit/examples/copilot-form-filling` → `cd
CopilotKit/examples/v1/form-filling`
- `examples/v1/state-machine/README.md`: `cd
CopilotKit/examples/copilot-state-machine` → `cd
CopilotKit/examples/v1/state-machine`

This matches the already-correct format in
`examples/v1/travel/README.md`.
Docs-only change, no code/behavior affected.

## Related PRs and Issues

- N/A

## Checklist

- [X] I have read the [Contribution
Guide](https://github.com/copilotkit/copilotkit/blob/master/CONTRIBUTING.md)
- [ ] If the PR changes or adds functionality, I have updated the
relevant documentation
- [X] "Allow edits by maintainers" is checked (lets us help iterate on
your PR directly — faster turnaround for everyone)
2026-08-13 18:55:16 +02:00
Jerel John Velarde bd09c3d790 chore(examples): drop grok showcase lockfile
A 13.9k-line new file trips the fork-PR supply-chain heuristic
(security_fork-pr-alert flags any added file over 5000 lines), and the
job cannot post its explanation because fork tokens are read-only.

Several showcases ship no lockfile; this one is not a pnpm workspace
member, so nothing depends on it.
2026-08-13 03:41:19 -07:00
Jerel John Velarde fe0e7cf28f feat(examples): add grok-generative-ui showcase
grok-4.6 runs xAI's X Search server-side, then composes the answer out of
real React components through five CopilotKit frontend tools. Every post
rendered is a real post the model found.

Registers next.config.ts in the build-config allowlist and adds the row to
the examples index.
2026-08-13 03:37:09 -07:00
KNChiu d7dd1bcfbe docs(examples): fix stale clone paths in v1 example READMEs 2026-08-13 10:55:32 +08:00
Ran Shem Tov a3ee26b424 Merge remote-tracking branch 'origin/main' into codex/crewai-full-d6 2026-08-13 00:11:19 +02:00
Maxim 784f2e7529 docs(reskinnable-demo): retire the last "all six skins" claims after bookstore
The merge of main brought a seventh skin. These are the surviving count claims
outside the conflicted files, all of which the seventh skin falsified:

  - `airline` was described as "the one PASSENGER-FACING skin"; `bookstore` is
    also customer-facing, so it now names the pair.
  - demo-beats.md still told a skin author "every registered skin is
    demo-complete, so there is no partial precedent to copy". Bookstore IS a
    partial precedent, deliberately, so the sentence now says so.
  - Eight in-skin comments said "all six skins" while describing something that
    is true of the WHOLE roster (the shared PDF primitive's coverage, the dark
    treatment, and — load-bearing — the project-scope warning in three
    seed-memories.ts files, where undercounting understates the blast radius of
    a project-scoped sweep). All now say "every skin", which cannot rot.

Reskin-skill staleness check (CLAUDE.md standing rule): yes, demo-beats.md is
part of the skill and is corrected here.

Verified from examples/showcases/reskinnable-demo: `pnpm lint` clean,
`pnpm exec tsc --noEmit` 0 errors, and the roster/config drift guards plus the
touched skin tests pass (110 tests).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 23:11:38 +02:00
Maxim 6473cdcf9d feat(reskinnable-demo): merge main, and reconcile the docs with a seventh skin
Brings in `bookstore` and 31 other commits from main.

WHY THIS MERGE CONFLICTED IN SEVEN FILES. Both sides hand-maintained the
same roster. This branch had just rewritten the docs around four
conclusions that were true when written:

  - `useData` has zero implementors
  - no in-memory skin remains
  - every registered skin is demo-complete
  - there are six skins

`bookstore` falsifies all four: it sets `useData: useBookstoreData`, so the
optional hook has a live implementor and an in-memory skin exists again; it
ships intelligence/{seed,forget}-memories.ts but no teach loop, so it is not
demo-complete; and it is the seventh.

Neither side was wrong. The resolution is the union, and where a list or a
count was load-bearing it is now the command that derives it -- which is the
convention this branch adopted precisely because two hand-maintained copies
of one roster is what produced these conflicts.

The de-narration this branch applied is preserved: main's older phrasings
carried retrospective prose that was deliberately removed, and it has not
been reintroduced.

Registration verified rather than assumed -- bookstore is present in
LINTED_SKIN_IDS, skinIds, skinIdentities, SkinRegistry and agentRegistry.
That last one has no drift guard at all, so a missing key there fails only
when someone sends a chat message.

Gates on the merged tree: lint clean, `tsc --noEmit` 0 errors, 210 test files
/ 2414 tests passing (up from 197/2227 -- bookstore's own, nothing dropped),
build exit 0.

COMMITTED WITH --no-verify, DELIBERATELY, WITH THE USER'S APPROVAL.

The pre-commit hook was bypassed. That is normally forbidden here, so the
reason is recorded rather than left to be guessed:

  - This branch's ENTIRE diff against main is inside
    examples/showcases/reskinnable-demo. `git diff --name-only origin/main...HEAD`
    lists nothing outside it.
  - The hook fails on `@copilotkit/vue` -> CopilotThreadsDrawer.ssr.test.ts,
    "does not eagerly evaluate the Lit element module when the package entry is
    imported". That test fails STANDALONE on this machine
    (`npx nx test @copilotkit/vue` -> 1 failed | 1073 passed, exit 1), with no
    merge in progress and nothing of ours involved. It asserts a lazy-import
    property but enforces it with a 5000ms wall-clock timeout, so it fails
    whenever module resolution is slow rather than when Lit is actually
    eagerly evaluated.
  - This is simply the first commit on the branch to touch packages/*, so it is
    the first to make `nx affected` run that suite. Ninety earlier commits
    touched only the demo app and never triggered it.

What WAS verified on the merged tree, by hand, before committing:

    pnpm lint                 clean
    pnpm exec tsc --noEmit    0 errors
    pnpm test:unit            210 files / 2414 tests passing
    pnpm build                exit 0
    npx nx test @copilotkit/runtime   138 files passing

That last one only passes because of a second pre-existing breakage fixed
along the way: packages/runtime's better-sqlite3 binary was compiled against
NODE_MODULE_VERSION 137 (Node 24) while .nvmrc pins Node 22 (127), so every
SqliteAgentRunner test threw on load. `pnpm rebuild -r better-sqlite3` fixed
it. That fix is environmental and is not part of this commit.

Two follow-ups worth someone's time, neither blocking:
  1. The vue SSR test should assert the property (module not evaluated) rather
     than time the import.
  2. Nothing in the repo pins the Node version for native rebuilds, so a
     contributor who once ran a task under Node 24 silently poisons
     better-sqlite3 for every later Node 22 run.
2026-08-12 23:09:35 +02:00
Maxim fb2aedb0e0 docs(reskinnable-demo): de-narrate the reskin skill and its guard comments
Second pass of the history sweep. The first cleaned CLAUDE.md and README.md;
this finishes the reskin skill and the in-code comments that still recounted
who hit a defect, when it was found, and how long it survived.

Every rule, gate, command and checklist item is kept. What went is the
narration around them — "it named only the first four skins for two releases",
"caught by `eslint --print-config`, by hand, once", "drifted out of true three
review rounds running", "it shipped that way once", "one CR pass found sixteen
of them live", "measured in logistics", "each raised after the fact". Where a
cut would have left a rule reading as arbitrary, the mechanism is restated in
one present-tense clause instead: a hand-copied list rots silently and nothing
fails when it is stale; flat-config `rules` are REPLACED, not merged, so a
block silently drops every selector it does not restate; a schema leak is
routinely line-wrapped, so a source-text guard never matches.

Two stale cross-references fixed while in there: failure-modes.md quoted a
CLAUDE.md sentence that the first pass removed, and claimed the roster-docs
test header lists "two" known instances outside its doc set (it lists one).

Skill impact, per the standing rule in CLAUDE.md: this change IS the skill, and
it is prose-only — no contract field, link builder, lint rule, gate, beat
mechanism, skin identity or file path changed, so no template or verification
step needed a matching edit. The two doc properties `skin-roster-docs.test.ts`
depends on were preserved deliberately: templates.md keeps "the six shipped
skins" ahead of its brace glob, and SKILL.md keeps its "Six are registered —"
id list, since both are what arm the brace-glob and valid-id-list rules.

Gates: `pnpm lint`, `pnpm exec tsc --noEmit`, `pnpm test:unit`
(197 files / 2227 tests) and `pnpm build` all green.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 19:53:14 +02:00
Maxim 6740613fb8 docs(reskinnable-demo): de-narrate in-code comments that recounted build history
Same cutting rule, applied only where a comment narrated what a past slot or
agent did rather than explaining the code: "a later slot owns that file", "as of
the beat-parity work", "two parallel agents each hand-edited this paragraph",
"this very paragraph did it once", "learned the hard way in the banking skin".
Every WHY stays; several are restated as present-tense properties (do not
reintroduce a client ticker, do not add a second seed of AV1423).

Four of these were also FACTUALLY STALE and are now correct:

- airline/attach-hotel-confirmation.ts claimed no pill carries
  HOTEL_CONFIRMATION_MESSAGE; suggestions.ts has carried it since beat 3d landed.
- keel/attach-bulletin.ts said the same of BULLETIN_MESSAGE.
- keel/tools-replay-safety.test.ts said keel was not yet in the
  statusKeyedTerminalRender glob; it is.
- airline/data/{store,trip-types,types}.ts described use-data.ts / useAirlineData
  as "still live and still driving the trip, loyalty and disruption pages"; the
  hook is deleted and the ledger is the only substrate.

skin-roster-docs.test.ts: comments only. No fixture entry, exemption or rule was
touched — the "legitimate phrasings" list still pins the numeral+adjective
discriminator, and the header still documents both false-positive shapes.

Reskin skill impact: checked — no rule, path or symbol the skill references
changed, so no skill edit is required beyond the prose pass in 085c92e.
2026-08-12 19:37:12 +02:00
Maxim 085c92e6cc docs(reskinnable-demo): cut historical prose from the reskin skill
Same rule as the previous commit, applied to SKILL.md, demo-beats.md,
failure-modes.md and templates.md: keep the rule and the mechanism that makes it
a rule, drop who hit it, when, how it was found and how long it survived.

Largest removals: the "there is no longer a partial skin to warn you off"
retrospective closing demo-beats.md, the CR-pass provenance header on
failure-modes.md, "this paragraph has now been wrong twice" under the pill
count, the three-copies-of-the-staging-chain incident report, and the
count-of-selectors paragraph that recorded its own rot. Past-tense incident
illustrations were restated in the present tense rather than deleted, so every
worked example still names its file.

Two stale claims fixed while passing through: templates.md § tools.tsx said only
banking, people and commerce key renders off `result` (every skin does), and
SKILL.md described `--nw-nav-inset-*` as recently retired rather than simply
absent.

Reskin skill impact: this IS the skill; the app docs move in the commit before
this one and the two are consistent.
2026-08-12 19:30:27 +02:00
Maxim 050814b433 docs(reskinnable-demo): cut historical prose from CLAUDE.md and README
Record the current state and the forward-looking instruction; drop the
retrospective narration around it. Removed: the "MIGRATION not a split"
substrate-history block, the three worked examples of past skill staleness under
the standing rule, "was the FIRST skin"/"the second skin built"/"the retrofits"
framing, "it did rot for two releases", the glass-engine replacement note, and
the TS2352-in-a-green-slot anecdote.

Every rule, gate, command, derivation and mechanism is kept; where a cut would
have left a rule reading as arbitrary the reason is restated in the present
tense (a nested thread rail compounds the assistant's floor; a client ticker is
a second clock; a template teaching a removed pattern still compiles).

Reskin skill impact: checked — the skill is edited in the following commit for
the same reason, so the two stay in step.
2026-08-12 19:30:10 +02:00
Guido Vizoso 2ab26d66d5 docs: beat-5 coverage and reskin skill
Bring the app's own documentation back in line with what the skin now does,
and record in the authoring skill the failure that a live run exposed.

CLAUDE.md had drifted in five separate places, each phrased differently
enough that keyword searches kept missing one: the seed catalog size, the
count of SKIPPED beat-map rows (twice), the beat-matrix cell for
stored-procedure replay, the intro paragraph's list of skipped beats, and a
claim that the seed file seeds "no procedure at all". An exhaustive audit of
every bookstore claim in the file — 36 of them — is what finally closed it.

Also documents a repo-level trap in § Commands: pnpm lint is ESLint only,
while lefthook's pre-commit additionally runs oxlint --fix and oxfmt --write
over staged files and re-stages the result. The two disagree (oxlint enforces
prefer-top-level type imports; ESLint does not), so a contributor can satisfy
the documented gate and still be silently rewritten at commit time. This
already misled a reviewer into filing a finding asking for the exact thing
the hook auto-reverts.

The reskin skill gains an empty-recall requirement for the stored-procedure
beat, in both templates.md and demo-beats.md, which previously documented
only the happy path. A skin author following either would ship the gap this
skin shipped: with the memory empty, the agent reported the miss correctly
and then offered to learn the procedure — beat 6's moment, arriving as an
improvised fallback. Both now require saying so and stopping, with no
guessing and no teach-offer, and cite the worked example.

Note the reference skin has the same gap: banking's beat-5 clause has no
empty-recall branch, and its only such instruction affirmatively calls
offerWorkflowRecording. Correctly scoped to its teach path, but it leaves a
pattern pointing the wrong way for beat 5. Left for a separate change.
2026-08-12 14:18:48 -03:00
Guido Vizoso 79cbc7ef84 feat(bookstore): seeded procedure, prompt and pill
The demo half of beat 5: a procedure the agent already knows, an instruction
to recall rather than improvise it, and a pill so the presenter never types.

- intelligence/seed-memories.ts: a kind "operational", scope "user" memory
  naming addToCart -> swapEdition -> applyPromoCode -> setDeliveryBy in
  order, and explicitly excluding the three distractors. The procedure is
  SEEDED, not taught — it is recalled. Scope is "user" and never "project",
  which would return the memory for every user of a shared instance.
- agent.ts: clause 7 calls recall_memory FIRST, runs all four steps in order
  without confirmation, and states that finding the club is not running the
  procedure — reporting the pick, code or date and stopping is the failure
  mode, not a partial success. It scopes openCheckout out, so the run ends
  with a filled but unpaid cart, and refuses the teach-offer: this is a
  recall, not a teaching moment.
- The empty-recall branch exists because a live run went off-script the
  moment the store was empty. With nothing recalled the model said so
  correctly and then offered to LEARN the procedure — which the clause
  already forbade, and which is beat 6's moment. It now says plainly that
  nothing was found and stops, without guessing the pick, edition, code or
  date from the catalog or cart: an invented answer that looks right is worse
  than an honest failure, because on stage the two are indistinguishable.

The four tool names are frozen string literals shared by the prompt and the
seed, and no test reads either, so renaming one breaks the beat with a green
suite. A drift guard is the next commit's concern, not this one's.
2026-08-12 14:18:48 -03:00
Guido Vizoso f1913bf485 feat(bookstore): cart discount and delivery UI
Price the cart through the three-argument cartTotals and show what the club
run actually did to it.

The discount is rendered as up to TWO rows, not one. discountCents is a
single scalar, so a single row labelled with the club would render
club-plus-credit under the club's name and silently misattribute the credit —
and that combined case is reachable exactly when the applyStoreCredit
distractor misfires, the most scrutinised second of the demo. splitCartDiscount
recomputes the club-only discount and takes the credit as the remainder, so
both parts are attributed honestly and clubPart + creditPart === discountCents
holds for every case, including a credit that exceeds the subtotal (the club
keeps its full percentage; credit takes only the applied remainder).

Also adds the delivery-by badge, wishlist and reminder counts, and the same
figures on the page readable so "what's on my screen" agrees with what the
agent says. card_last4 remains the only card datum that leaves the checkout.
2026-08-12 14:18:48 -03:00
Guido Vizoso 4ee549a616 feat(bookstore): the book club mechanism
Everything the saved book-club procedure needs in order to run: the club
constant and its computed next-meeting date, the edition pair the swap moves
between, discount-aware pricing, the six store writes, and the twelve
registered frontend tools.

- data/club.ts: BOOKSTORE_CLUB (pick, promo code, 15%, meeting weekday),
  nextMeetingDate/nextMeetingISO (UTC-only by design) and localCalendarDay,
  which re-anchors the caller's LOCAL calendar day onto UTC midnight. Without
  it a presenter west of UTC demoing on a Thursday evening gets next
  Thursday: at 2026-12-31T23:00-08:00 the naive path skips a full week.
- data/seed.ts: a 25th book, the club pick's paperback, sharing workId
  "trust" with the hardcover so swapEdition has a real work to move within.
- data/query.ts: cartTotals gains an optional pricing object and returns
  subtotalCents/discountCents alongside totalCents, which stays the
  POST-discount amount charged. Inputs are sanitised so
  0 <= discountCents <= subtotalCents holds for any input, including a
  non-finite credit or discountPercent.
- data/use-data.ts: promoCode, deliverBy, storeCreditCents, wishlist and
  reminders persist under one extras key with a field-by-field validator;
  six writes returning WriteResult; placeOrder prices through cartTotals and
  consumes all three sticky fields. swapEdition merges into an existing
  target line rather than duplicating a bookId, and setDeliveryBy's
  past-check reads the local calendar day so the club's own date is never
  refused.
- tools.tsx: the club readable (the only agent-reachable source of the promo
  code), the three procedure writes, the three distractors that genuinely
  work, and discount-aware pricing in both the cart readable and
  openCheckout's render so the total the agent speaks matches the cart page,
  the checkout form and the order record.

Every registration uses [] deps and reaches the store through dataRef:
useFrontendTool keys its effect on JSON.stringify(deps), so a callback in a
dep array stringifies to a constant and pins the pre-hydration store.

Reskin skill: checked, no impact — skin-internal data, store and tool
wiring; no Skin contract field, registration, routing or gate changed.
2026-08-12 14:18:48 -03:00
Guido Vizoso 1c4003d2a3 fix(bookstore): seed the default memory bucket and stop claiming per-shopper isolation 2026-08-12 14:18:47 -03:00
Guido Vizoso 80727a47f7 docs(reskinnable-demo): document the bookstore skin and correct the reskin skill
Answers the standing question in CLAUDE.md — this work found the skill wrong, so
the fixes ship with it.

Rule 1 on tool deps told authors to 'pass the data each closure reads' without
noting that useFrontendTool keys its effect on JSON.stringify(deps). A Map, a Set
or a function stringifies to a constant, so the registration is inert and the
closure never refreshes — the skill's own words for the bug it warns about
described the fix it recommended.

The useData template taught a bare useState(SEED) and said nothing about a
storage-mirrored variant, so an author needing one writes a hydration effect and
trips react-hooks/set-state-in-effect immediately.

Roster prose across CLAUDE.md, README.md, .env.example and the skill now covers
seven skins. Most count claims were rephrased without a numeral rather than
renumbered, so the next skin cannot re-falsify them — skin-roster-docs.test.ts
is what caught them, and its roster fixtures are updated to match.
2026-08-12 14:18:47 -03:00
Guido Vizoso 3bde5f4443 feat(bookstore): assemble the Skin and register it across the shell
resolvePage uses a Map, never a plain object: segments[0] is untrusted URL
input, and an object lookup walks the prototype chain, so /bookstore/constructor
would resolve a Function where a ComponentType is declared and crash React
instead of 404ing. skin.test.tsx pins that with the prototype-chain keys.

An unknown book slug resolves the detail page and renders a not-found body
rather than 404ing — the agent hands out these links, and 404ing a renamed book
would break a deep link.

Registration is four files, not two: both registries plus skins-config (whose
test asserts skinIds and skinIdentities match the live registry, and which
LOCK_SKIN is validated against) and eslint.config.mjs, where the id joins
LINTED_SKIN_IDS — the array the URL-contract selectors interpolate, so without
it lint is blind to this skin.
2026-08-12 14:18:47 -03:00
Guido Vizoso 02fdf443ea feat(bookstore): the agent prompt, its six tools, catalog and demo pills
The prompt is where the beats are enforced: recall memory before recommending
and name the recalled preference in the note, never ask for or repeat card
digits, never emit a markdown table where a gen-UI component exists.

No temperature is set. gpt-5.4 rejects the parameter and logs that it is
unsupported on every run, so pinning it alongside a comment claiming
determinism would assert a guarantee the model discards.

Tool registrations read live store data through a ref and close with empty deps
where a dep cannot re-register them: useFrontendTool keys its effect on
JSON.stringify(deps), so a Map or a function stringifies to a constant and the
closure keeps its first values forever. openCheckout additionally must not
re-register mid-call — placeOrder mutates the cart, and a teardown would lose
respond() and fail the thread.

Every render keys off the recorded result rather than status: a reopened thread
replays with a stored result and no status transition, so a status-keyed render
looks correct live and blanks on reload.
2026-08-12 14:18:47 -03:00
Guido Vizoso 6855ad9cca feat(bookstore): layout chrome and the browse, book and cart pages
The route readable in the layout plus one readable per page is what makes the
screen-awareness beat work: asking on two pages must give two different correct
answers. All four payloads are deliberately disjoint.

The active segment comes from useSkinSegments, not a pathname slice — the shell
hook strips a leading skin id rather than a fixed offset, so it stays correct
under a LOCK_SKIN deploy where the segment is absent entirely.

The presenter reset is a full-page assign, not a router.push: it clears storage
with removeItem, bypassing the store, and the store has no storage listener, so
only a document load re-reads it. A client navigation would leave the cart
visibly full right after a successful reset.

The cart page has no checkout button by design — checkout is the agent's beat.
2026-08-12 14:18:46 -03:00
Guido Vizoso 7a4f8dde79 feat(bookstore): generated covers, cards and the in-chat surfaces
Covers are typographic and generated rather than sourced images: 24 scans would
be a licensing problem, would not reskin with the theme, and would read as stock
photography in a demo whose argument is that the UI belongs to the product.

checkout-card carries the security boundary — onSubmit receives only the last
four digits, the other digits are cleared from state at that boundary, and both
sensitive inputs are type=password because this card appears on a projector. Its
receipt mode re-derives from a replayed result so a reopened thread shows a
receipt rather than a blank form.

filter-bar keeps the ebook lever even though no seed book has that format: the
agent can set format=ebook via browseWithFilters, and a missing lever would make
an agent-applied filter invisible, which is the one thing the component exists
to prevent.
2026-08-12 14:18:46 -03:00
Guido Vizoso 22c8492922 feat(bookstore): cart and orders store with a per-shopper storage mirror
Reads through useSyncExternalStore rather than useState plus a hydration
effect: the effect form fails react-hooks/set-state-in-effect, and a useState
lazy initialiser that reads storage makes the server and client markup
disagree. layout-preferences.tsx is the shell's sanctioned pattern.

getSnapshot caches the parsed value and getServerSnapshot returns a frozen
module-level constant — cart and orders are arrays, and a fresh array per call
fails Object.is and infinite-loops during hydration.

The storage mirror exists for the durable-thread beat: its proof is a hard
reload, and a useState-only cart empties at exactly that moment.
2026-08-12 14:18:46 -03:00
Guido Vizoso f9b649c59e feat(bookstore): per-shopper Intelligence identity, seeded memory and presenter reset
Memory is scoped per shopper, so the same suggestion pill answers differently
for Maya (one seeded taste preference) and Guest (none). That contrast is the
demo's headline claim, so identifyUser never derives a scope from userRole —
both shoppers share the role and a role-derived scope would merge them.

forgetAllMemories deliberately skips scope:'project' rows: project scope is
global to the Intelligence backend instance rather than partitioned per
product, all skins share one instance locally, and banking seeds a
project-scoped procedure memory a bookstore reset must not destroy.

The reset route maps raw shopper ids through resolveBookstoreUserId before
clearing. Passing the raw ids would clear scopes nothing writes to and no-op
while reporting success.
2026-08-12 14:18:46 -03:00
Guido Vizoso 860063ee48 feat(bookstore): brand identity, theme tokens, nav and lock-safe link builders
Theme values are space-separated HSL channels, not hex: globals.css wraps every
token in hsl(), so a hex value yields invalid CSS and the whole skin silently
falls back to the gray :root defaults.

href.ts and nav-target.ts route every URL through useSkinHref. A hardcoded
/bookstore/... path puts the tenant segment back in the address bar on a
LOCK_SKIN deploy, and concatenating onto the builder's base emits the
protocol-relative //book/x because that base is '/' under a lock.
2026-08-12 14:18:45 -03:00
Guido Vizoso e3c6b75293 feat(bookstore): data types, 24-book seed and pure query functions
The seed test encodes the demo's falsifiability rule: the literary and
translated shelves must carry hardcovers and over-$20 titles, or the
recalled 'paperback only, under $20' preference has no visible effect.

cartTotals returns { itemCount, totalCents } — no tax and no shipping, so a
separate subtotal would duplicate the total and could drift.
2026-08-12 14:18:45 -03:00
Maxim fbaa645bad docs(reskinnable-demo): finish the airline and keel beat-map cleanup
Follow-up to the previous commit, which fixed the two beat-maps' headers and their
flagged risks but left the body still speaking in the future tense about work that
has landed. Comment/doc only.

src/skins/airline/data/beat-map.md
- § "It is ADDITIVE" claimed `use-data.ts` (`useAirlineData`) "is untouched and
  still drives the trip, loyalty and disruption pages". Both are DELETED; every
  component reads `useAirlineLedger()` through `components/concierge-view.ts`.
- Risk #5, "Two substrates, one passenger — they must not disagree on stage", told
  a later slot to "migrate BOTH readings" and not to touch either seed's AV1423
  without the other. Marked RESOLVED, with the answer it actually got: the
  duplicate reading was DELETED rather than kept in sync, because a hand-synced
  pair of seeds was never going to survive a reseed and is a pair of figures that
  can contradict each other on a projector with nothing checking.
- The beat table's four "(later slot)" cells, the beat-4 seed note, and the route
  list's "memory re-seed: later slot" — all shipped.

src/skins/keel/data/beat-map.md
- Beat 4's "the seeded memory (a later slot writes the file)" — written, and the
  scope it was written at (`user`, never `project`) named, since that is the choice
  the next author most needs and the one CLAUDE.md and demo-beats.md now flag.

Skill impact: none beyond the previous commit. These two files are per-skin design
records, not part of `.claude/skills/reskin/`, and the generalisable lessons in
them (the two-substrates seed, the second clock) were already lifted into
demo-beats.md § "Seeding memories" and SKILL.md § step 3 in that commit.

Verified: pnpm lint, pnpm exec tsc --noEmit, pnpm test:unit (197 files / 2227
tests), pnpm build — all green.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:54:18 +02:00
Maxim acac2b7f27 docs(reskinnable-demo): correct the in-code comments the beat-parity wave slots could not reach
Comment-only, no behaviour change. Each of these sat OUTSIDE the boundary of the
slot whose work falsified it, so each described the tree as it was mid-migration.
All verified against the current tree before editing.

src/shell/skin-contract.ts
- `RuntimeProviders`: "airline needs neither, so omits it". Airline omits
  `RuntimeProviders` and DOES supply `useRuntimeProperties` — the two are
  SEPARABLE, and airline is now the worked example: one account holder, no
  switcher, so its hook reads no context and returns a frozen module constant. Do
  not mount an empty provider for symmetry.
- `useData`: "Omit when a skin has no shell-managed data (banking …)". Every skin
  omits it now; documented with the grep, plus WHY the field is kept (the shape is
  legitimate, it just has no worked example left).
- `CanvasSurface`: the "omit if the skin has no report canvas" branch is currently
  unexercised — every shipped skin has one.

src/shell/agent-registry.ts
- The logistics entry said it ships "neither `intelligence/seed-memories.ts` nor
  `intelligence/forget-memories.ts`" and is "identity plumbing only — do NOT read
  it as a durable-memory demo". It ships both (`ls src/skins/*/intelligence/`), and
  its `dev/reset` sweeps and re-seeds through them. Corrected, with the same
  properties-forwarding caveat the other five entries carry, and a note that
  "expensive half built, cheap half skipped" was its state for two releases.

src/skins/keel/data/types.ts
- The `THE REST SUBSTRATE` banner said the two substrates are "deliberately not
  merged yet", that `useKeelData` "holds runs in `useState` and ticks them on a
  900 ms interval", and that "the pages still read it through `useSkinData`". All
  three are false: one substrate, one clock, `useSkinData` returns undefined.
  Rewritten to name the server-settled read (`settle-runs.ts`, called by both
  `GET /ledger` and `GET /runs/[runId]`) and to record WHY the deleted client
  ticker was a defect rather than a design choice — it was a second clock that
  painted progress the server never heard of, which the next re-read after any
  write silently rewound.
- The `KeelData` interface header claimed to be "the interface every page,
  component, and tool codes against". It is not referenced by any code at all
  (`grep -rn KeelData src` returns only comments). Marked HISTORICAL, with a
  do-not-add-a-consumer note. NOT deleted: it is a doc pass, several comments
  across the skin describe the migration in terms of this shape, and removing an
  exported type is a code change for a separate commit. Flagged as a follow-up.

src/skins/keel/data/store.ts
- "it does not advance them on a timer, because the ticker lives in `useKeelData`
  on the client. Whichever slot migrates that hook has to decide where the ticker
  ends up" — decided: the server is the only clock now.

src/skins/keel/data/beat-map.md
- Header: "Keel today is `useKeelData`, an in-memory `useState` store, and it hits
  about one beat." Marked BUILT and reframed as the design record.
- Risk #2 (the two-substrates/ticker question, correctly called "the biggest single
  risk in the migration") marked RESOLVED, with the answer (move the clock, do not
  relocate the ticker) and the generalised lesson.

src/skins/airline/data/beat-map.md
- Header: the tools/prompt/pages/pills were "later slots". All landed.
- § "What this slot did NOT build": every row of the deferral table has shipped.
  Kept as the retrofit record — which is the most useful thing about it — with a
  third column saying where each landed, and the three flagged traps marked
  resolved (including "the reset route says memoryBeats: unarmed on purpose",
  which was removed in exactly the change that added the seed module, as
  instructed).

src/skins/airline/data/fare-waiver-codes.ts
- "⚠️ THE LINT GUARD DOES NOT COVER THIS SKIN YET." It does: both
  `src/skins/airline/tools.tsx` and `agent.ts` are in `withheldGateVocabulary`'s
  `files` glob. Also dropped its "COUNT the selectors" instruction (that count has
  rotted twice) in favour of the resolved-selector table in
  `skins-config.test.ts`, and spelled out that a green lint still leaves the three
  prose channels AND `waiverGround` — which matches no `*_CODES` pattern, so the
  rule cannot see it — as hand-review items.

src/skins/airline/tools.test.ts
- Header said `statusKeyedTerminalRender` "covers logistics only; airline's glob
  entry is a later slot's, so until it lands this file is the whole guard" and that
  `withheldGateVocabulary`'s glob "does not list airline yet either". Both globs
  list airline now. Also fixed "Three defect classes" over a list of five.

src/skins/keel/skin.tsx
- "exactly as it does for the four other REST-backed skins" → every skin; nothing
  sets `useData`.

src/proxy.ts
- "matching how the other three skins behave" → numeral-free. This was one of the
  two known-stale instances named in `skin-roster-docs.test.ts`'s header; that
  header is updated in the app-docs commit, and the remaining one
  (`e2e/inset-layout.spec.ts`'s hardcoded four-skin loop) is deliberately left —
  fixing it means adding assertions against skins the spec has never visited, which
  is a coverage change rather than a prose fix.

docs/teach-mode/README.md
- It correctly refuses to write the roster into prose, but its verified-by-role
  paragraph named only banking/commerce/logistics/people and its "so copy commerce
  or logistics" line named the only two skins with pinned replay behaviour. The
  `offerWorkflowRecording` grep now returns every registered skin, and
  `ls src/skins/*/teach-mode-directives.ts` — added as the mechanical
  discriminator for role #3 — returns four. Also: "logistics and commerce both"
  skip project-scoped rows in `forget-memories.ts` is now every skin but banking,
  replaced with the grep that proves it.

Does this make anything in .claude/skills/reskin/ stale? No — the reverse. The
preceding commit updated the skill for exactly these facts, and these comments were
brought into line with it. Checked: `grep -rn "useKeelData\|use-data\|in-memory"
.claude/skills/reskin/` names no path or symbol that no longer exists.

Verified: pnpm lint, pnpm exec tsc --noEmit, pnpm test:unit (197 files / 2227
tests), pnpm build — all green.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:51:18 +02:00
Maxim a58ea35b19 docs(reskinnable-demo): bring the reskin skill up to six demo-complete REST-backed skins
This IS the answer to CLAUDE.md's standing question for the beat-parity work:
"does this change make anything in .claude/skills/reskin/ wrong, incomplete, or
misleading for the next person authoring a skin?" It did, in all four files.
Every claim replaced was checked against the tree first, and replacements state a
derivation rather than a roster wherever one exists.

SKILL.md
- "`banking`, `people`, `commerce` and `logistics` are the four demo-complete
  skins ... `airline` is the minimal contract surface" — false. Rewritten to "every
  registered skin is demo-complete", so the choice is which one is CLEANEST for a
  given problem, and a new "do not model a new skin on the ABSENCE of a field"
  paragraph with the grep that derives what each skin actually sets. Airline's
  restraint was the single most quoted licence to skip fields in this skill.
- The `useData?` contract row and the "4-2 split ... airline and keel are
  in-memory and SET it" paragraph: zero implementors
  (`ls src/skins/*/data/use-data.ts` is empty).
- The optional-slots list ("airline omits all of these EXCEPT toolLabels and
  useData"): derived per field — the only real omissions in the tree are airline's
  `sandboxFunctions` and `RuntimeProviders`.
- "banking, logistics, keel, people and commerce all five ship them, airline
  none" (identity plumbing): all six ship `useRuntimeProperties` + `identifyUser`.
  Added the point that the three parts are SEPARABLE, with airline as the worked
  example of `useRuntimeProperties` without `RuntimeProviders` — do not mount an
  empty provider for symmetry.
- "Only banking, people and commerce" register route + page readables: all six do.
- The `statusKeyedTerminalRender` glob comment ("logistics today; keel and airline
  still carry the defect") — both are in the glob now; replaced with the grep, so
  the sentence cannot rot again.
- The `agentRegistry` snippet handed out `airline: { createAgent }` as the
  no-identity example. Rewritten so the identity-bearing form is the default.
- Authoring step 3 and the file tree taught `data/` + `useXData` as the substrate.
  Now REST + `ledger-context.tsx`, with a new warning that time-dependent data must
  be settled SERVER-side — a client ticker beside a server store is a second clock,
  which is the defect keel had to be migrated off.
- § Verification step 1 and the authoring-order footer both claimed `pnpm build`
  type-checks the whole app. It does not: `next build` only visits what the module
  graph reaches, so it never opens a test file, and Vitest transpiles without
  type-checking. Both now name `pnpm exec tsc --noEmit` as the only full
  type-check, with four gates in cheapest-first order and the reason it matters
  here specifically (several guards this skill asks for are TYPE-ONLY, so they are
  decoration until tsc runs).

demo-beats.md
- Beat 3b: "this beat is impossible in airline and keel today" — false; both
  register route + page readables. Replaced with the two greps, both of which now
  return every skin, so a MISSING entry is the signal.
- Beat 3d: "In-memory skins can fake half of this" — no in-memory skin exists.
- Beat 6: the FIVE-channel leak list is now explicitly non-exhaustive, because
  airline has a sixth nobody would look for: `Booking.waiverGround` is a
  code-shaped token on a record the ledger publishes, so the LEDGER READABLE is a
  channel. The transferable question is "what does my GET /ledger answer with", not
  only "what did I put in a prompt".
- § "Seeding memories": the scope rule is rewritten and promoted to its own
  flagged subsection. It described banking's `project` scope as the pattern. It is
  now the minority and it is a trap for anyone copying a modern skin:
  `forget-memories.ts` SKIPS project-scoped rows in every skin but banking
  (`grep -ln 'scope !== "project"' src/skins/*/intelligence/forget-memories.ts`),
  because project scope is global to the one shared Intelligence instance and
  sweeping it would delete a sibling skin's seeds — so in such a skin a
  project-scoped learned procedure CANNOT be cleared by the reset, and beat 6 opens
  already-taught on the second run of the day, proving nothing while looking
  perfect. `user` is documented as the default; banking is documented as
  self-consistent the other way (project scope + a sweep that deletes everything)
  and therefore not copyable. The beat-6 walkthrough's `scope: project` mention now
  says so inline.
- § "Which skin to copy for what": every row re-derived. "the four at 9/9 beats",
  "In-memory `useData` substrate → airline, keel" and "Minimal contract surface →
  airline" were all false. Added rows for the three genuinely new references
  (runtime identity with no context to read; a server-settled clock; an
  entitlement-rather-than-authority gate) and for "raising an EXISTING skin", which
  is what three of the six now demonstrate.
- The closing "do not use airline or keel as demo-completeness references" warning
  is gone. What replaces it is the lesson the retrofits actually taught and which
  generalises past any roster: keel shipped the full per-user identity plumbing and
  then no seed file, so it got ZERO demo value from the hardest part of what it
  built — build the seed file in the same phase as the plumbing.
- Pill-count prose: was wrong twice for the same reason. Now derivation-only.

templates.md
- Checked the `resolvePage` scaffolds first, because the `PAGES[key] ?? null`
  object-literal pattern is a live bug (an object literal inherits
  Object.prototype, so `PAGES["constructor"]` is truthy, `?? null` never fires,
  and the shell's `if (!Page) notFound()` is bypassed — a 500 where a 404 belongs).
  Both scaffolds ALREADY use `new Map()` and already explain why, so nothing to
  fix; recorded here so the next reader does not re-check.
- `data/use-data.ts` pointed at `src/skins/airline/data/use-data.ts`, a DELETED
  file. Rewritten to say plainly that nothing sets `useData`, that this template is
  the only reference left, and to give the two reasons both skins migrated (beat
  3d's artifact cannot outlive the tab in client state; a client ticker is a second
  clock).
- The page and tools scaffolds defaulted to `useSkinData<<Id>Data>()` — i.e. they
  taught the one shape no skin uses. Now default to the skin's own ledger context,
  with `useSkinData` as the documented alternative.
- The `skin.tsx` scaffold's "airline omits every one below EXCEPT toolLabels +
  useData — and airline hits one beat of nine" is false on both halves.
- "Mirror src/skins/airline/agent.ts (minimal)": airline's agent is 247 lines and
  none of the six is minimal, because agent.ts is where most beats are enforced.
- The pill-count paragraph.

failure-modes.md — two new classes, in the file's voice
- § 13 "Nothing in this app type-checks a test file unless you run tsc yourself".
  This is a lies-shaped defect, not a commands note: a green gate is a claim, and
  three of them were green over a live TS2352 this run. It also silently voids a
  class of guard this skill asks for, since several of the strongest assertions in
  the tree are type-only. Cross-linked from § 7's "what would have to break for
  this to go red", one level up.
- § 14 "A lookup keyed by URL input must be a Map, or the 404 branch never fires":
  the prototype-chain bug above, why `Record<string, ComponentType>` cannot catch
  it (the annotation is a lie about a plain object), and the § 11 class sweep — the
  second instance was the operator→identity map in `user-id.ts`, keyed by a
  CLIENT-forwarded `properties.userId`, where the same defect hands Intelligence an
  `undefined` memory bucket and silently misroutes beats 4/5/6.
- § 10 now says the five-channel list is not exhaustive and documents airline's
  `waiverGround` sixth channel plus why no identifier selector can see it, and its
  "COUNT the selectors (covered files: four; any other in-skin file: three)"
  instruction is replaced — that count had already rotted (`actions.ts` resolves to
  two, and the number moved again when `statusKeyedTerminalRender` joined the
  block). The check is the resolved-selector table in `skins-config.test.ts`, which
  asserts the list BY NAME.
- The header's "everything here came out of one review of commerce" is now
  "most of this", with §§ 13-14 attributed to the beat-parity run.

Verified: pnpm lint, pnpm exec tsc --noEmit, pnpm test:unit (197 files / 2227
tests), pnpm build — all green. skin-roster-docs.test.ts passes, including over
this skill's three files in its DOC_SET.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:50:31 +02:00
Maxim d7675421a4 docs(reskinnable-demo): retire the two-substrate framing; all six skins are REST-backed and demo-complete
CLAUDE.md, README.md and .env.example described the app as it stood two waves
ago. Every claim below was verified stale against the tree before being changed,
and each replacement carries the command that derives it rather than a number or
a name list.

WHAT WAS FALSE, AND THE DERIVATION THAT PROVED IT

- "two different data substrates — banking/logistics/people/commerce REST-backed,
  airline and keel in-memory ... to prove the contract is substrate-agnostic".
  `ls src/skins/*/data/use-data.ts` returns NOTHING; both in-memory skins now read
  REST ledgers (`ls -d src/app/api/*/v1` names six). Rather than delete the app's
  central architectural claim, it is restated on the stronger footing the
  migration actually earned: the proof is now that TWO SKINS CHANGED SUBSTRATE
  with no change to the `Skin` contract and no change to the shell. Stated
  honestly that no in-memory skin remains, so that shape has no worked example
  left in the tree.

- The `useData` contract row ("the standard mechanism for the two in-memory
  skins ... splits exactly along the substrate line"). It has ZERO implementors:
  `grep -rn useData src/skins/*/skin.tsx` returns only six comments recording the
  omission. Now stated plainly as an optional escape hatch nothing uses — live
  rather than vestigial (the shell still runs the hook), with templates.md named
  as the only remaining reference.

- The beat matrix. `airline` and `keel` showed ❌ on nine of ten rows and hit all
  ten. Every cell updated. The per-skin GEN-UI COUNTS were removed rather than
  corrected, and the derivation printed instead — the old command
  (`grep -A3 useComponent .../tools.tsx | grep -c name:`) under-reports banking
  by one, because banking registers a component in `pages/cards.tsx`; the
  replacement counts the whole skin folder. Same for pill counts.

- Per-skin bullets for airline ("in-memory", "the minimal end of the contract",
  omits eight optional fields) and keel ("in-memory", `useData: useKeelData`).
  Derived per field:
  `grep -nE '^\s+(Providers|CanvasSurface|...)[,:]' src/skins/*/skin.tsx`. Airline
  omits exactly `sandboxFunctions` and `RuntimeProviders`; keel omits nothing.
  Keel's parameterized-routes claim is TRUE and kept.

- "That is five of the six skins; airline is the only one that omits [identifyUser]".
  `ls src/skins/*/intelligence/user-id.ts` returns all six, as do
  `seed-memories.ts` and `forget-memories.ts`. Replaced with the three `ls`
  commands. The "dev/reset is the wider set" note is kept as a WARNING while
  recording that the two sets now coincide.

- "there is no `typecheck` script — `pnpm build` type-checks as part of
  `next build`". Wrong, and it cost this run real time. `next build` type-checks
  only what the app's module graph REACHES, so it never opens any of the 197 test
  files; Vitest transpiles without type-checking; `tsconfig.json` DOES include
  them. `pnpm exec tsc --noEmit` is the only full type-check in the tree and it
  found a live TS2352 in a slot that had reported three green gates. § Commands
  now names four gates in cheapest-first order; README's Testing block too.

- .env.example: "The other presenter-ready skins (commerce, logistics, people)".
  All six ship `v1/dev/reset`; replaced with the route + button greps, and the
  banking-gates-unconditionally difference recorded.

- New: the memory-SCOPE rule. `forget-memories.ts` skips project-scoped rows in
  every skin but banking (`grep -ln 'scope !== "project"'`), so a project-scoped
  learned procedure survives every presenter reset and beat 6 opens already-taught
  on the second run. Banking is self-consistent the other way and documented as
  the historical exception.

FIXTURE COUPLING — src/shell/skin-roster-docs.test.ts

Its "legitimate phrasings" list holds strings labelled "verbatim from the current
docs", three of which this commit made false in the docs ("the two in-memory
skins", "the four REST-backed skins", "five of the six skins"). Worth recording
precisely: the list is a SHAPE fixture passed straight to `findStaleCountClaims`,
not a doc mirror — it reads no file — so correcting CLAUDE.md alone would NOT have
turned the guard red. What it would have done is make the header comment a lie
and invite the next author to prune the entries, silently dropping the
discriminator they pin (an adjective between the numeral and "skins" is what
separates a subset claim from a total claim, and nothing else asserts it). So the
entries were moved to the PAST tense rather than deleted, the header now says
they are shapes and must not be pruned to match the docs, and three present-tense
phrasings from this commit were added.

The guard did its job on the way through: it failed on three sentences this
commit introduced ("the two skins" x2, "two of them"), all reworded numeral-free.
The header's "two known stale instances outside the doc set" note is updated —
`src/proxy.ts` is fixed in the following commit; `e2e/inset-layout.spec.ts`
remains, and is left alone deliberately because fixing it is a coverage change,
not a prose fix.

DOES THIS MAKE THE RESKIN SKILL STALE?

Yes, extensively — that is the point of this slot, and it is answered by the two
commits that follow (the skill, then the stale in-code comments). Per CLAUDE.md's
standing rule the skill is updated in the same PR.

Verified: pnpm lint, pnpm exec tsc --noEmit, pnpm test:unit (197 files / 2227
tests), pnpm build — all green.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:49:38 +02:00
Maxim a255d9bcf3 chore(reskinnable-demo): put airline and keel under the beat-2 and beat-6 lint guards
Both skins now ship a withheld gate vocabulary and replay-safe terminal
renders, so both belong in the two guards that check those properties. Held
back until now on purpose: a glob covering an unfixed skin turns the tree red
for a whole phase, and a phase that cannot end green is a phase nobody can
bisect.

Verified clean BEFORE widening, not after:

  - beat 2 (statusKeyedTerminalRender). Every remaining ToolCallStatus
    reference in either skin is a comment or a
    `=== ToolCallStatus.Executing && respond` HITL branch -- the interactive
    affordance drawn while a response is awaited. Neither has a `.Complete`
    terminal render, which is the shape the selector catches.
  - beat 6 (withheldGateVocabulary). Each skin contributes exactly its two
    agent-facing files. The three human filing FORMS stay OUT: each
    legitimately imports its label map, because the operator reads it and the
    agent learns the code by watching them choose one. A withheld catalogue
    with no form is an unlearnable gate.

skins-config.test.ts's resolved-selector table is updated in the same commit,
which is the point of that table: it asserts, per file, the selector LIST that
`ESLint#calculateConfigForFile` actually resolves. Its existing keel row
expected three selectors and would have failed. Six rows added or changed,
including both filing forms, so the deliberate exclusion is pinned rather than
merely intended.

Also resolves a bug this commit introduced and then fixed, kept because the
comment is the fix: a glob star followed by a slash inside a block comment
CLOSES the comment, and the rest of the file becomes a syntax error. `pnpm lint`
caught it as `Parsing error: ',' expected` five lines below the real cause.
2026-08-12 17:14:22 +02:00
Maxim 00162f5e1b feat(reskinnable-demo): give keel memory, a stored procedure and a teach loop
Merges blitz slot keel-teach.

Conflict resolution note. Both teach slots hand-edited the same paragraph in
agent-registry.ts describing which skins supply identifyUser, and BOTH sides
were wrong by the time they merged -- air-teach's said "logistics and keel
scope threads only" (keel-teach had just given keel durable memory), and
keel-teach's said "skins without it (e.g. airline)" (air-teach had just given
airline a resolver). Each was made false by the other's slot, in the same hour.

Resolved by deriving instead of picking a side:

  ls src/skins/*/intelligence/user-id.ts        -> all six
  ls src/skins/*/intelligence/seed-memories.ts  -> all six
  ls src/skins/*/intelligence/forget-memories.ts -> all six

All six skins now supply identifyUser AND use it for durable memory, so the
generic-identity fallback is unreachable from the registry and is kept only
for skins that do not exist yet. The comment now says that and points at the
derivation, with the near-miss recorded so the next person does not re-add a
hand-maintained list.
2026-08-12 17:11:47 +02:00
Maxim 2c698c3724 fix(reskinnable-demo): make keel's presenter reset re-arm the memory beats
The route restored the DATA STORE ONLY and said so loudly in its own header,
because keel had no seed/forget pair. Now it has one, so the reset does the other
half — and, critically, VERIFIES it rather than assuming.

- Wipes learned memory in every bucket `memoryScopeUserIds()` reports, ASKED FOR
  rather than hardcoded. Bellwether shipped a hardcoded list and it could not
  possibly be right: `playwright.config.ts` pins `INTELLIGENCE_USER_ID`, which
  collapses the whole set onto one bucket the list did not contain, so the reset
  scrubbed buckets nothing was reading while a taught procedure survived.
- Re-seeds every target bucket, then COMPARES the count against
  `seedTargets.length * SEED_MEMORIES.length`. `seedMemories` never throws — it
  counts stored rows and logs the rest — so without the comparison the route would
  answer `reset: ["store","memory"]` against a backend that had rejected every
  POST, and the presenter would walk on stage believing beats 4/5 were armed.
- `reset: ["store","memory"]` is claimed ONLY when the wipe proved itself complete
  AND every expected seed landed. Partial and total shortfalls both 502, because a
  shortfall does not say WHICH memory is missing and the only caller branches on
  `res.ok`. The interrupted path reports MEASURED counters (`bucketsSwept`, not
  `forgot` — an empty bucket forgets zero rows, which is the normal state of a
  second reset in a row).
- Every free-text field goes through `redactSecrets`: this route's gate is a demo
  convenience, not an authorization boundary, and `memoryError`'s cause can quote
  the backend address verbatim while a 401 body can echo the key it rejected. The
  address stays in the LOG, which is where a human debugging a reset reads it.
- The OSS path (no Intelligence env) still answers `reset: ["store"]` and never the
  word "memory" — the most misleading string this route could return, because a
  presenter reading it stops looking for the reason beat 6 opened already taught.
  The test that pinned the old body is updated to that case rather than deleted.

Does this make anything in `.claude/skills/reskin/` wrong? Checked: no. The skill
already prescribes the seed-then-verify reset shape; keel was the outlier and is no
longer one.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:07:45 +02:00
Maxim e381d58d64 feat(reskinnable-demo): give keel one suggestion pill per beat
The pills are the demo's script — the presenter should never have to type — and
keel's four were the whole list, covering one beat. Now twelve, in demo order.

Eight beat-carrying additions (1, 3a, 3b, 3c, 3d, 4, 5, 6) plus keel's original
four, which survive VERBATIM: spec §11's walk-through is scripted against their
copy, and each is the only pill reaching its tool — grounded citation, the run
plan-preview HITL, the persona-scoped approval queue, the a2ui canvas report.

The beat map targeted eight-to-nine, and that figure is incompatible with its own
other two instructions once the pills are counted: eight beat pills plus four
survivors is twelve, and nine is only reachable by dropping an identity pill or
leaving a beat without one. Both were checked against the tools and neither is
available. The arithmetic is written out in the file header so the next reader does
not "fix" the count by deleting a beat.

Two things that would break silently and are now pinned by tests:

- The beat-3d pill's message IS `BULLETIN_MESSAGE`, imported. `onSuggestionSelect`
  keys on that exact string; a retyped sentence takes the default send path, which
  DROPS attachments — the model then invents the bulletin's contents and files a
  durable brief that reads perfectly and proves the opposite of the beat. Asserted
  through the real `onSuggestionSelect` rather than by string comparison, so it
  fails if either side drifts, and every OTHER pill is asserted to return false.
- Beats 3a, 5 and 6 target three DIFFERENT documents (STD-045 endorsed, POL-121
  stale, POL-114 gated). Beat 6's unaided replay on POL-208 deliberately has no
  pill — a scripted sentence would let the room suspect it was rehearsed.

Also asserted: no pill says "Knowledge" (the nav label is Register while the segment
is still `knowledge`), and no pill names a variance code — a pill's message reaches
the model, so it is the prompt's leak channel by another route.

Does this make anything in `.claude/skills/reskin/` wrong? Checked: no. The skill's
"one pill per beat, in demo order" rule is what this implements; the stale number is
in keel's own `data/beat-map.md`, and the reconciliation is documented at the call
site rather than by editing that record of the original design.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:07:23 +02:00
Maxim 8b8b08603b feat(reskinnable-demo): wire keel's beats 3c, 4, 5 and 6
The tools, the prompt clauses and the mount points. Keel went from one beat to ten.

BEAT 3c — `showRegister`, a HITL maneuver rather than a link. The Register's four
controls existed and nothing drove them. Space x attention x sort x top-N arrive
from the query string through the one shared `data/register-levers.ts`, the confirm
card draws its chips from the SAME normalized record the URL is built from, and the
controls tint. Every lever is REQUIRED with an explicit not-pulled member ("all", or
0): logistics needed a fix commit for exactly this, because a model facing an
optional enum fills it anyway — omission is not a choice it can state — and it put
an empty board on screen under four confidently tinted controls.

BEAT 4 — `showRegisterSummary(note)`, plus a prompt clause forcing `recall_memory`
BEFORE any question about the library's shape and requiring the recalled preference
in `note`. Without the visible why the beat is invisible on stage.

BEAT 5 — `raiseReviewFlag` -> `sendOwnerNotice` -> `addDocumentNote`, all three
`useFrontendTool` and NOT HITL: banking's equivalent once opened a confirmation card
mid-procedure, a presenter moved on, and the next message failed the whole thread
with "Tool result is missing for tool call ...". Their vocabularies are ENUMERATED on
the schemas — the exact opposite of beat 6 — because the claim is that it already
knows the procedure. Nine distractor tools sit alongside, so "it picked the right
three" means something. The prompt adds FINDING IS NOT HANDLING and states that this
is a DIFFERENT procedure from beat 6's with no offer to record.

BEAT 6 — `fileReleaseVariance` plus the HITL chain `offerWorkflowRecording` ->
`awaitDemonstration` -> `saveLearnedProcedure` -> `save_memory`. All five leak
channels are closed: no readable, no `z.enum` (free `z.string()` whose `.describe()`
states the withholding), no code in any description, none in the prompt, and the
route refusals are relayed verbatim without enumerating the catalogue. The prompt's
ACTION DISCIPLINE clause also shuts the two doors a run gate would open — a persona
switch and the e-signature card — because neither can clear a gate about the
REVISION. The replay lands on POL-208 Rev C, a different record from the POL-114
Rev D taught on stage.

Mounts: `KeelProviders` (new) carries the shell's `RecordingProvider` +
`RecordingVignette` BELOW CopilotKitProvider — the only point enclosing both the app
card where the operator demonstrates and the chat card that reads the feed; a
narrower mount makes every `logStep` a silent no-op. The variance filing form goes
on the Register page and is deliberately ABSENT from that page's readable. The
presenter Reset button goes in the header behind the same gate the route enforces.

Does this make anything in `.claude/skills/reskin/` wrong? Checked: no — but it does
leave `eslint.config.mjs` and `src/shell/skins-config.test.ts` needing keel's globs
(withheldGateVocabulary for `keel/{tools.tsx,agent.ts}`, and keel is now free of
`ToolCallStatus` so it can join statusKeyedTerminalRender). Both files are the
orchestrator's; the exact additions are in the slot report and in
`data/variance-codes.ts`'s header. Until they land, keel's own
`tools-replay-safety.test.ts` and `agent.test.ts` are deliberately stronger than the
rule.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:06:12 +02:00
Maxim 8aa3f62fa9 feat(reskinnable-demo): add keel's teach-mode surfaces and beat-4 card
The client half of beats 4 and 6. The server gate and unlock already existed; what
was missing was every surface a human or the recorder touches.

- `teach-mode-directives.ts` — the four strings the teach chain settles with, each
  BUILDER beside its READER so they cannot drift. `classifySaveProcedureResult`
  exists because both save buttons settle with a string: branching on presence
  prints "Saved — I'll use this next time" after the presenter clicked "Don't
  save", asserting a durable write that never happened, live and identically on
  every replay. `SAVE_PROCEDURE_CONFIRMED` names scope 'user' — project scope
  survives the forget sweep, so a project-scoped procedure would leave beat 6
  opening already taught.
- `components/variance-form.tsx` — the operator's filing form, and the ONE
  sanctioned consumer of `VARIANCE_CODE_LABELS`. It is the SIXTH channel and the
  one that must be OPEN: the agent learns which code lifts the gate by WATCHING
  the operator pick one. The menu lists justifying codes and decoys together,
  unmarked, in catalogue order — a form that flagged the working ones turns the
  demonstration into a guided tour. The filing step logs the code the operator
  ACTUALLY chose, decoy included, because a recorder that quietly corrected them
  would report a procedure nobody demonstrated.
- `components/demonstration-card.tsx` — owns the OUTER recording bracket, held
  from "show me" to "I'm done" so the two clicks a demonstration takes (file, then
  release) read as one recording. If the ref count reaches zero between them the
  shell clears the feed and STRANDS the code, and `getDemonstratedCode()` then
  reports null on a demonstration that plainly happened.
- `components/register-summary-card.tsx` — beat 4, with the `note` slot that makes
  the recall visible. Without it a grouped list is not evidence of memory; a model
  with none could produce one. Note renders ABOVE the groups, because it is the
  claim they are evidence for.
- `components/presenter-reset-button.tsx` — hard-navigates on success (the thread,
  canvas, levers and recorder feed are all state the reset threw away) and stays
  put on a 502, saying the register WAS restored but memory was not.
- `data/variance-codes.ts` header updated: the form it reserved
  `VARIANCE_CODE_LABELS` for now exists, and the header names the eslint glob keel
  still needs plus the tests standing in until it lands.

Does this make anything in `.claude/skills/reskin/` wrong? Checked: no. It follows
the skill's existing teach-mode guidance (shell recorder, never a private copy;
the sixth channel open) rather than changing it.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:05:43 +02:00
Maxim a5732a235b feat(reskinnable-demo): ship airline's eight pills and arm its presenter reset
The pills were the pre-beat-map set — check in, pick a seat, loyalty, delay, bags
— which demonstrated none of the nine beats and made a presenter type every one.
Replaced with ONE PILL PER BEAT in demo order, each carrying a comment recording
what it was VERIFIED to produce against the seeded ledger and where verification
stops (anything downstream of the model's tool choice is labelled
runtime-conditional rather than claimed).

Two orderings are load-bearing, not cosmetic. Beat 4 sits BEFORE beat 5, because
beat 5 rebooks the cancelled return that beat 4's seeded preference says to lead
with. Beat 6 is LAST, because the room has to watch the concierge succeed at
everything else before it is shown failing.

The beat-3d pill's message is `HOTEL_CONFIRMATION_MESSAGE` imported from
`./attach-hotel-confirmation`, never a retyped sentence: `onSuggestionSelect`
matches on that exact value, and a drifted string takes the default send path with
the attachment DROPPED — which fails beat 3d while looking like a model problem.
`suggestions.test.ts` asserts the identity, that the interceptor claims that pill
AND ONLY that pill, and that claiming it actually sends.

Presenter reset — `dev/reset` now sweeps and re-seeds durable memory (commerce's
route, verbatim in structure), so a cold reset arms beats 4/5 with no warm-up run
and leaves beat 6 unlearned. `memoryBeats: "unarmed"` and its `memoryNote` are
DELETED in this same change, which is the ordering `data/beat-map.md` trap 3 asked
for: the field existed to stop a store-only reset being a silent trap, and keeping
it now would be the same lie pointing the other way. `route.test.ts` pins its
absence alongside the shortfall/wipe-incomplete/interrupted paths, and keeps the
REAL store for the "puts back everything the beats wrote" case.

Airline had NO reset control at all, so the sidebar gains one behind
`PRESENTER_RESET_ENABLED` — gated exactly as the route is, so a production booth
never shows a button that 403s. A non-ok response alerts and does NOT reload: a
502 means the wipe could not prove it finished or the seed fell short, and both
break a beat silently, so reloading to a clean-looking app is the wrong answer.

Reskin-skill review: checked, no skill impact. The pills, the reset route shape
and the sidebar control all follow patterns `demo-beats.md` § "Presentation
requirements" and § "Seeding memories" already prescribe; nothing about the
contract, the registration sites or the verification commands changed.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:05:17 +02:00
Maxim 02be94c4a7 feat(reskinnable-demo): add keel's intelligence seed/forget pair
Keel had `intelligence/user-id.ts` and nothing else, so its presenter reset
restored the DATA STORE ONLY: it could not wipe a procedure the agent had been
taught, nor re-arm the memories beats 4 and 5 depend on. Run beat 6 twice and the
second room watched an agent that already knew the answer.

- `seed-memories.ts` — beat 4's TOPICAL reading preference (group by knowledge
  space, overdue first, coverage as a whole percent, owner beside every ref, and
  "not measurable" rather than 0%) and beat 5's OPERATIONAL procedure
  (raiseReviewFlag -> sendOwnerNotice -> addDocumentNote, immediately, no
  confirmation). Both `scope: "user"`, never `project`: the forget sweep skips
  project rows because that scope is global to the shared Intelligence instance,
  so a project-scoped procedure would survive every reset. Beat 6's unlock is
  DELIBERATELY not seeded — that is what must be taught on stage — and the file
  says so where the next author will read it.
- The memory text is addressed to the DESK, not to a named persona. It lands in
  every persona's bucket and keel's role switcher sits in the header, so "when
  Sam asks…" would be recalled while Ana is on screen.
- `forget-memories.ts` — mirrors commerce's: bare-list enumeration, verified
  list->delete passes rather than a guessed page size, per-row failures stepped
  over rather than abandoning the bucket, and project-scoped rows left alone so a
  keel reset cannot destroy banking's seeded memories.
- `user-id.ts` gains `memoryScopeUserIds()` and `memorySeedTargetUserIds()`,
  DERIVED from the persona roster so the reset asks rather than restates. Seeds
  the DEFAULT bucket as well as every mapped persona's, because runs frequently
  resolve to the default and a single-bucket seed recalls nothing while looking
  perfectly stored one id over.

Does this make anything in `.claude/skills/reskin/` wrong? Checked: no. The skill
describes seed/forget as the pair a memory-claiming skin ships, which is now true
of keel; `demo-beats.md`'s "Seeding memories" section still describes banking's
`project` scope, which was already out of date before this change and is called
out in `seed-memories.ts`'s own comment rather than silently followed.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:05:15 +02:00
Maxim ffc74d7412 feat(reskinnable-demo): land airline's beats 4, 5 and 6 on the client
Beat 4 — recall with a VISIBLE why. `showTrips` grows a REQUIRED `note` string
that the agent fills with the preference it recalled and applied, rendered as a
"Remembered · …" band above the trip wall. Without that band the room watches a
competent summary and has no way to know anything was recalled, so the beat is
invisible and does not count. The slot is required rather than optional because
an optional one is the one a model silently omits; a blank note still renders no
band, which is the honest state on the OSS path where there is no
`recall_memory`. The prompt gains a "RECALL FIRST, THEN SAY WHAT YOU APPLIED"
clause — recalling after the answer is on screen is not recalling.

Beat 5 — the seeded procedure now has prompt discipline around it: resolve the
booking from context and use its BOOKING ID (AV7QK2 covers two of Camila's legs,
so the confirmation code is genuinely ambiguous), finding is not handling, and an
EXPLICIT statement that this is a DIFFERENT procedure from beat 6's with three
named things it must not do (no `offerWorkflowRecording`, no
`awaitDemonstration`, no offer to record). Conflating the two is the easiest
mistake available in this demo.

Beat 6 — the client half of the teach loop:

- `offerWorkflowRecording` → `awaitDemonstration` → `saveLearnedProcedure`, all
  `followUp: true`, plus `DemonstrationCard`, which OWNS the outer recording
  bracket from "show me" to "I'm done". The two clicks of a demonstration nest
  inside it; a ref count reaching zero between them clears the feed and STRANDS
  the demonstrated category.
- `teach-mode-directives.ts` — each builder beside its reader, so a card states
  only what its producer reported. The save card CLASSIFIES its settle rather
  than testing for presence: both buttons settle with a string, so branching on
  presence prints "Saved" over a decline, live and on every replay.
- `components/fare-exception-form.tsx` — the passenger-facing filing form, the
  ONE sanctioned place the waiver vocabulary appears, mounted on Your account.
  The menu lists justifying categories and decoys together, unmarked, in
  catalogue order, and the form shows the booking's own `fareNotes` prose,
  because the gate is GROUNDED: the learned procedure has to be "read what this
  booking documents, file the matching category, approve, retry", not a memorized
  string. The filing step carries the category as DATA (`logStep(label, code)`),
  which is what `getDemonstratedCode()` reads.
- `components/authorizable.ts` gains `blockedByFare`, deriving the gated cases
  from the same clause order the server runs. It is optimistic about a linked
  approved exception for the same reason `offerableOptions` is — the wire cannot
  see `waiverGround` — so a decoy filing drops the case off the list while the
  server still refuses it; the form keeps the selection so the presenter can
  still press Retry on the case they just filed against.

All SIX leak channels stay closed, and `tools.test.ts` now checks four files
rather than two (the two agent-facing ones plus the directives and the seeded
memories, both of whose text reaches the model). It also adds the positive
assertion the negatives cannot make — that the catalogue IS imported by the form
and the form IS mounted — because absence everywhere with no form is an
unlearnable gate that would pass every negative case.

Reskin-skill review: checked, no skill impact. No contract field, link builder,
lint rule, registration site or beat mechanism changed; this is one skin catching
up to mechanisms `SKILL.md` and `demo-beats.md` already describe. The teach chain
and the filing form are modelled on logistics'/commerce's, which the skill
already names as the references.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:04:52 +02:00
Maxim a12b95e004 feat(reskinnable-demo): give airline durable memory and a per-passenger scope
Aeronova had the full REST substrate for beats 4, 5 and 6 and none of the
Intelligence half, so its `dev/reset` restored the trip record and left a
previous run's learned procedure standing — the most demo-destroying state this
app has, because everything still works and it just proves nothing.

Adds the three modules the other memory-complete skins ship:

- `intelligence/user-id.ts` — server-safe `IdentifyRunUser`, registered as
  airline's `identifyUser` in `agent-registry.ts`. The traveller→bucket map is
  BUILT FROM `data/trip-seed.ts` and is a `Map`, not a plain object: the key is
  client-forwarded, and a prototype-chain hit ("constructor", "__proto__") would
  pass the truthiness guard and then scope memory under `undefined`.
- `intelligence/seed-memories.ts` — beat 4's standing preference (aisle, forward
  of the wing, never Basic Economy, times in America/Santiago, disrupted first)
  and beat 5's cancellation procedure. Beat 6's fare-exception procedure is
  DELIBERATELY absent, with a comment saying so; the beat-5 text also states
  out loud that it is not that procedure.
- `intelligence/forget-memories.ts` — mirrors commerce's, including the
  project-scope SKIP: project rows are global to the shared Intelligence
  instance, so sweeping them would delete banking's seeded memories. That skip
  is why beat 5's procedure and the teach chain both scope `user` — a
  project-scoped row would survive every presenter reset and open beat 6
  already taught.

Both `memorySeedTargetUserIds()` and `memoryScopeUserIds()` are derived from
`resolveUserId`, so a pinned `INTELLIGENCE_USER_ID` collapses them onto the
bucket the runtime will actually read. The seed targets include the DEFAULT
bucket as well as the account holder's, because runs frequently resolve to the
default and a single-bucket seed recalls nothing while looking fine.

Client half: `runtime-properties.ts` forwards `{ userId, userRole }` as a frozen
module constant. No `RuntimeProviders` — Aeronova has one account holder and no
switcher, so the hook reads no context and nothing has to sit above
`CopilotKitProvider`. `runtime-properties.test.ts` is the drift guard for the two
duplicated literals (the seed is not imported client-side on purpose).

`skin.tsx` also picks up the teach chain's `toolLabels` here since it is the same
declaration site.

Reskin-skill review: checked. The `Skin` contract, link builders, registration
and the client/server boundary are untouched; airline now sets two optional
fields the skill already documents. `demo-beats.md` still describes banking's
`project` scope for the stored procedure, which is out of date for the reasons
above — that is a pre-existing skill gap this change does not widen, and it is
reported to the orchestrator rather than edited here (`.claude/skills/**` is
outside this slot's boundary). CLAUDE.md's "airline is the only one that omits
`identifyUser`" line is now false and is likewise reported.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-08-12 17:04:10 +02:00
Maxim 329c8a7a22 feat(reskinnable-demo): wire keel's skin, tools and agent, and settle runs server-side 2026-08-12 16:27:58 +02:00