Skip to content

fix(cli): os migrate plan/apply compose the requires-supplied provider a connector hard-depends on - #21739

Merged
objectstack-fleet[bot] merged 3 commits into
mainfrom
claude/issue-21732-migrate-plan-requires
Oct 4, 2026
Merged

objectstack-fleet[bot] merged 3 commits into
mainfrom
claude/issue-21732-migrate-plan-requires

Conversation

@objectstack-fleet

Copy link
Copy Markdown
Contributor

Fixes #21732

Clause-②: no

What was wrong

os migrate plan and os migrate apply exited 1 on a fresh create-objectstack -t blank app and on examples/app-showcase:

✗ [Kernel] Dependency 'com.objectstack.service-automation' not found for plugin 'com.objectstack.connector.rest'

The four connectors (connector-rest, -openapi, -mcp, -slack) declare dependencies = ['com.objectstack.service-automation']. The blank template and the showcase ask for automation only through requires: ['automation', …]. os serve turns that token into the provider through Serve.CAPABILITY_PROVIDERS. buildSchemaMigrationPlugins composed config.plugins and never read requires, so the kernel could not order the boot.

What changed

packages/cli/src/utils/schema-migration-plugins.ts gains resolveRequiredProviders, called once the host config has loaded:

  • It uses the lookup serve uses. That means Serve.CAPABILITY_PROVIDERS, exact identity matching through Serve.providesCapability, and the rule that an explicit instance in plugins wins. It keeps no second copy of the token table.
  • It is generalised by dependency, not special-cased by token. A provider is composed only when a plugin already in the composition hard-depends on it and a token supplies it. The tokens searched are the config's declared requires plus the always-on slate serve appends (Serve.ALWAYS_ON_CAPABILITIES). The search runs to a fixed point, so the provider's own hard dependencies resolve the same way. A dependency that no token supplies is left to the kernel, which refuses it the same way os serve does for that config.
  • Each provider is booted in a declared posture. DECLARATION_PROVIDER_POSTURES has one row today: automation, constructed { armRuntime: false, packageRoot }. Inert mode brings the engine and the node registry up. It then registers no flow, binds no trigger or job, materializes no connector and resumes no suspended run.
  • The suspended-run store is left at its default, on purpose. This differs from the data-migration arm's suspendedRunStore: 'memory'. In inert mode the store is never attached, because start() returns before that step. The default is what makes init() declare sys_automation_run and sys_flow_dispatch beside sys_flow_credential. Those are the tables os serve creates for this capability, so the plan now covers them.
  • A token the lookup resolves but no posture covers is refused by name. The refusal names the plugin, its dependency and the token. The alternative was to boot that provider's start() inside a dry run with a posture nobody measured.
  • Configs with no unmet hard dependency are untouched. The resolver returns before it even loads serve's module.

Which other requires tokens get this treatment: only automation, because it is the one provider any shipped plugin hard-depends on (checked with git grep over packages/**/src for plugin dependencies declarations). Composing every declared provider would boot the served tier inside a dry run (triggers, email, approvals and so on, each with its own start()). That is out of scope here; see Acceptance notes.

Proof: the two apps, run under /tmp

The CLI was built at 826d5ce44. The showcase was copied to /tmp/i21732/showcase and a blank app was scaffolded at /tmp/i21732/qa (create-objectstack qa -t blank --skip-install). Each copy's node_modules is a symlink to the workspace's examples/app-showcase/node_modules, so each resolves this tree's packages. Every run used a fresh file:/tmp/i21732/*.db.

app before (base 316be321e) plan plan --json apply --json --yes re-plan --json
showcase exit 1, Dependency … not found for plugin 'com.objectstack.connector.openapi' 0 (34 tables to create) 0 (34 pending) 0 (34 created) 0 (0 pending)
blank scaffold exit 1, … for plugin 'com.objectstack.connector.rest' 0 (13 tables to create) 0 (13 pending) 0 (13 created) 0 (0 pending)

Nothing is armed. The plan prints [Automation] inert mode (armRuntime: false) — … no flow registered, no trigger or schedule armed, no connector materialized, no suspended run resumed. After apply, every table in both databases has zero rows (35 tables in the showcase database, 13 in the blank one). The composition note reads: Composed AutomationServicePlugin for `requires: ['automation']` — 'com.objectstack.connector.openapi' depends on it — in its declaration posture (engine up, nothing armed).

Tests

  • src/utils/schema-migration-plugins.test.ts (unit tier) has five new cases:
    • the requires-supplied provider is composed, inert, with packageRoot, and triggers is not composed;
    • control: a declared token that nothing depends on composes nothing;
    • an explicit provider in plugins wins and no second instance is composed;
    • a dependency with no supplying token is left to the kernel;
    • a resolved token with no posture (job, from the always-on slate) is refused by name.
  • src/utils/schema-migrate.requires-providers.integration.test.ts (integration tier, because it imports bootSchemaStack) runs a real kernel boot of a config with requires: ['automation'] and a plugin that hard-depends on the provider. The pin checks four things: the dependent init() ran after the provider's (it registers a connector provider factory), the config's flow is not registered (listFlows() is []), sys_automation_run and sys_flow_dispatch are in the object set, and the composition note is printed.
  • Ablation, committed-state, through scripts/ablation-replace.mjs. The mutation replaced plugins.push(...resolved.plugins); with a no-op. The anchor went from 1 to 0 and the blob from 1ad093cfbcd6 to 7465100641c3. Both new pins went red: the unit composition case, and the integration boot with exactly the defect's message, [Kernel] Dependency 'com.objectstack.service-automation' not found for plugin 'com.example.os21732.connector' (2 failed, 36 passed). After the restore, the blob equals HEAD and git diff HEAD is empty. The suite reads src directly, so no dist leg applies.

Local gates (head 826d5ce44)

  • pnpm --filter @objectstack/cli typecheck: exit 0 (tsc --noEmit plus check:test-typecheck OK).
  • pnpm --filter @objectstack/cli exec vitest run --project unit --maxWorkers=2: 3776 tests, 11 failed in 3 files on the first run. Two of those files, published-subpath-console.pin and published-subpath-hook-body.pin, read the packed .d.ts, and this worktree's CLI dist had been built with OS_SKIP_DTS=1. The third was a 5000 ms timeout in hook-timeout-override-refusal, on a shared box. After a real-types pnpm --filter @objectstack/cli build, all three files pass (33/33). The integration tier is left to CI, except for the new file, which ran locally and passed.
  • node scripts/pm/dispatch-gates.mjs --commands: 64 derived commands, all run. The final exit is 0 for all 64. check:dts-closure and check:dual-build-cjs-loads were red on the first pass for the same OS_SKIP_DTS reason and went green after the real-types build. --ran reconciliation: 64 derived, 64 run, 0 unrun.
  • eslint, narrowed to the three changed .ts files. I ran eslint --no-inline-config --format json: 3 files, 0 errors, 0 warnings. The lint population comes from eslint.config.mjs (eslint ., and these files are not ignored). The narrowing does not hide anything: this config never enables type-aware linting (no parserOptions.project, as the config itself states), so this diff cannot change the verdict on any file it does not touch. The full pnpm lint run is CI's.

Acceptance notes

  • Plan coverage of requires-supplied providers that nothing depends on (not fixed here; reported to the PM). The showcase declares approvals, messaging and webhooks in requires, and their providers register sys_approval_*, sys_inbox_message / sys_notification_* and sys_webhook. The showcase plan above lists none of them, because this composition boots only the providers the kernel cannot order without. os serve composes all of them. Whether the plan should declare every requires-supplied provider's objects, and if so what posture would be safe for each start(), is a separate decision.
  • Fresh-database plan output carries pre-existing boot lines. These are WARN [ObjectQLPlugin] sys_metadata_activation is registered but could not be read, the federated-binding ERROR for the showcase's two external objects, and Core service missing: auth, job. They come from the platform plugins on a database that does not exist yet, and this diff does not introduce them.
  • The blank scaffold borrowed the workspace's node_modules rather than installing published 17.6.0. That way the run measures this tree's CLI and connectors.

Generated by Claude Code

claude added 3 commits October 4, 2026 12:04
…r a connector hard-depends on

Claude-Session: https://claude.ai/code/session_018zT8d8NpiQ1ExhuNd5TxY6
Co-authored-by: Claude <noreply@anthropic.com>
…ma-migration boot

Claude-Session: https://claude.ai/code/session_018zT8d8NpiQ1ExhuNd5TxY6
Co-authored-by: Claude <noreply@anthropic.com>
… schema-migration boot

Claude-Session: https://claude.ai/code/session_018zT8d8NpiQ1ExhuNd5TxY6
Co-authored-by: Claude <noreply@anthropic.com>
@github-actions github-actions Bot added size/m documentation Improvements or additions to documentation tests tooling labels Oct 4, 2026
@github-actions

github-actions Bot commented Oct 4, 2026

Copy link
Copy Markdown
Contributor

📓 Docs Drift Check

This PR changes 1 package(s): @objectstack/cli, touching 6 documentable anchor(s).

1 hand-written doc(s) NAME something this change touched and may need an implementation-accuracy re-verification:

  • content/docs/protocol/kernel/lifecycle.mdx (via pluginName (symbol, a top-level function))
What this run could not see
  • the SDK route bridge reached 54 of 206 client-bound route-ledger rows — the other 152 have no registrar path: tail to select them, so pages documenting THEIR client methods cannot appear above, on this or any run. Of those 152: 0 are remediable by widening that discovery convention (an in-repo file declares the path; the convention did not scan it); 55 are structural — on a ledger where NOT ONE row is declared in-repo, so no discovery change reaches them at any price; 97 are undecided (no in-repo declaration, on a ledger that has other in-repo registrars — absence and an unreadable spelling are not distinguishable here). The rows themselves: node scripts/docs-audit/affected-docs.mjs --bridge-coverage
  • a page that states a rule by its inputs shares no identifier with the emitter that implements the rule, so an emitter-only diff cannot list it — not on this run and not on any run. Measured on fix(driver-sql): emit varchar(maxLength) for a text field a declared index keys on #11430: content/docs/protocol/objectql/types.mdx documents the text-family column mapping by the ObjectQL type names it maps FROM (text / textarea / html) while the diff changed createColumn; it went unlisted, and it was the page that diff falsified, in four places. No shared token exists to detect this on, so a rule your change carries has to be re-read by hand in the pages that restate it.
  • a key NAME is not a key, so the hand re-read the line above prescribes can land on the wrong schema. The same spelling is authorable on one governed type and a [REMOVED] tombstone on another for each of active, aria, joins, objects, template, tools and version (censused on [finding] tools is a key on BOTH AgentSchema (tombstoned, dead) and SkillSchema (live, cloud-attested), so a name-based search attributes skill examples to the agent key — it produced a false stop-the-line alarm on PR #19059 #19093 over the liveness ledger's governed types, top-level keys); nothing in a search result distinguishes the two, so a grep hit on a LIVE example reads as evidence about the DEAD key. Measured on fix(spec): the agent.tools liveness row says dead — it claimed live on a key the schema tombstoned #19059: content/docs/ai/agents.mdx was reported as contradicting the agent.tools tombstone over its tools: example at :161, which is inside the defineSkill({ block opened at :155 — the page was already correct. Settle ownership by PARSING the value against both schemas, never by the name: that literal PASSES SkillSchema, and as an AgentSchema it FAILS at tools with the tombstone prescription. ⛔ These names are not the whole class — a key retired through a .strict() guidance map leaves no tombstone in the walked shape and none of them here (tool.category, live as AIToolDefinition.category).

Coarse fallback — 27 page(s) merely mention a changed package (the pre-#9192 predicate, kept for the deliberately-wide backstop): node scripts/docs-audit/affected-docs.mjs --json 316be321ef2405a12e8d016f07b25fad7039b4f9 → packageMentionDocs.

Which tree this was computed on

This run read content/docs from 8079f1b2581ed44c25103ad9381edfa85641406f — the merge of head 826d5ce44b4ef79a3874533e703b5db2f73f3c51 into base 316be321ef2405a12e8d016f07b25fad7039b4f9, which is what actions/checkout gives a pull_request run. Not the PR head.

A worktree cut from an older main holds a different content/docs, so re-deriving there can legitimately return a different list — that is a different tree, not a wrong row. To answer on the same tree:

# while this PR is open — GitHub drops the merge commit once it closes
git fetch origin 8079f1b2581ed44c25103ad9381edfa85641406f && git checkout 8079f1b2581ed44c25103ad9381edfa85641406f
# afterwards, rebuild it from the two parents, which stay fetchable
git fetch origin 316be321ef2405a12e8d016f07b25fad7039b4f9 826d5ce44b4ef79a3874533e703b5db2f73f3c51 && git checkout -B drift-repro 316be321ef2405a12e8d016f07b25fad7039b4f9 && git merge --no-ff 826d5ce44b4ef79a3874533e703b5db2f73f3c51

node scripts/docs-audit/affected-docs.mjs --json 316be321ef2405a12e8d016f07b25fad7039b4f9

⚠️ That checkout carried uncommitted changes, so the commit above does not fully identify what was read.

Advisory only, and a precision-first one (#9192): a page is listed because it names a
symbol, wire route or SDK method this diff touched — not because it mentions a changed
package. Each row says which anchor put it there, so a wrong row is reportable rather than
merely annoying. To re-verify, run the docs-accuracy-audit workflow scoped to these files:
node scripts/docs-audit/affected-docs.mjs 316be321ef2405a12e8d016f07b25fad7039b4f9 → pass the list as
args.docs, on the commit named under Which tree this was computed on.

@objectstack-fleet
objectstack-fleet Bot marked this pull request as ready for review October 4, 2026 13:33
@objectstack-fleet
objectstack-fleet Bot enabled auto-merge October 4, 2026 13:33
@objectstack-fleet
objectstack-fleet Bot added this pull request to the merge queue Oct 4, 2026
Merged via the queue into main with commit 6afb1b5 Oct 4, 2026
36 checks passed
@objectstack-fleet
objectstack-fleet Bot deleted the claude/issue-21732-migrate-plan-requires branch October 4, 2026 14:11
akarma-synetal pushed a commit to akarma-synetal/framework that referenced this pull request Oct 7, 2026
…tead of a tracker number (stage 12) (objectstack-ai#21750)

Part of objectstack-ai#20749
Clause-②: no

Stage 12 of this card, and the third area of class (e): the test strings
shipped under `packages/spec/src`, as ruled in `5902360492` on objectstack-ai#20513.
This stage takes the whole `shared/` directory. Its 85 test-title and
test-string literals carried 95 tracker ids: 92 cite 49 records, and 3
are a `#0000` placeholder that cites none. Each id now either states
what its record decided, in words (form D), or is dropped where the
title already says it. Text only: no assertion, identifier, test count
or code comment changes.

## Census at the base (`72b6333cd8`, the claim's base)

Instrument: stage 10's `census10.cjs` (md5
`9d08602ab972b4b8643c90d64d40fa41`) and stage 9's `census.cjs` (md5
`6e42a45a926d375013c32d62f16a296e`), both byte-identical to the copies
stages 10 and 11 used. A literal counts as a test title when its folded
message is argument 0 of a `describe` / `it` / `test` call, `.each` /
`.skip` / `.only` chains included. Everything else is an "other" string.

Both instruments read **1594 messages / 1701 ids in 369 files at the
base**, which is stage 11's reading at its head exactly. `shared/` reads
85 / 95, also stage 11's figure.

| directory | files | messages / ids | titles | other |
|:--|--:|--:|--:|--:|
| `data/` | 95 | 468 / 501 | 445 / 475 | 23 / 26 |
| `ui/` | 81 | 392 / 415 | 374 / 397 | 18 / 18 |
| `api/` | 40 | 189 / 201 | 181 / 193 | 8 / 8 |
| `system/` | 34 | 154 / 165 | 128 / 138 | 26 / 27 |
| (files directly in `src/`) | 30 | 118 / 120 | 117 / 119 | 1 / 1 |
| **`shared/`** (this PR) | 21 | **85 / 95** | 73 / 81 | 12 / 14 |
| `contracts/` | 25 | 63 / 74 | 59 / 70 | 4 / 4 |
| `conversions/` | 9 | 34 / 34 | 34 / 34 | 0 |
| `security/` | 8 | 28 / 28 | 28 / 28 | 0 |
| `ai/` | 9 | 18 / 20 | 13 / 15 | 5 / 5 |
| `identity/` | 6 | 15 / 15 | 14 / 14 | 1 / 1 |
| `integration/` | 4 | 14 / 14 | 13 / 13 | 1 / 1 |
| `migrations/` | 2 | 9 / 12 | 9 / 12 | 0 |
| `marketplace/`, `meta-spelling/`, `studio/` | 5 | 7 / 7 | 7 / 7 | 0 |
| **total** | **369** | **1594 / 1701** | **1495 / 1596** | **99 / 105**
|

- **Controls.** Lit, a title: `shared/duration.test.ts:45` reads one
message with objectstack-ai#18122. Lit, an `expect` message:
`shared/retry-policy.test.ts:113` reads one message. Dark: the comment
at `shared/alias-integrity.test.ts:519` ("objectstack-ai#5593 migrated the last of
them") reads 0; the file's messages sit at `:516`, `:770` and onwards.
Planted in a scratch copy: an id added to a title reads 1 / 1, and an id
in an added comment reads 0.
- **A wider pattern** (any `#` plus digits) reads 87 / 97 under
`shared/` at the base. The two extra hits are `(objectstack-ai#1)` placeholders in two
fixtures of `retired-key-migrate-sentence.test.ts` (`:378`, `:380`, the
"accepts the two legal shapes" case). They fall outside the gate's
3-to-5-digit pattern and the claim's surface, and are untouched. At the
head the wider pattern reads only those two, and the gate pattern reads
0 / 0.
- **At the head:** 1509 messages / 1606 ids in 348 files. `shared/`
reads 0 / 0. Nothing else moved.

## How the area was chosen

Stage 10's rule: rank whole first-level directories by ids, and take the
busiest one within about 10% of the ~100-id bound. The four busiest each
exceed the bound alone: `data/` (501), `ui/` (415), `api/` (201) and
`system/` (165). The files directly in `src/` (120) are 20% over.
`shared/` (95) is the busiest whole directory within the bound, and its
census reads exactly stage 11's 95, so the rule needed no second pass.

**Named for the next stages:** `data/` (about five stages, by
subdirectory or file group; `data/driver/` alone is 52), `ui/` (about
four), `api/` (two), `system/` (two), the files directly in `src/` (one,
120), `contracts/` with `conversions/` (one, 108), and `security/`,
`ai/`, `identity/`, `integration/`, `migrations/`, `marketplace/`,
`meta-spelling/` and `studio/` together (one, 96).

## What each id became

22 ids now state a decision in words, one per literal. 73 are dropped:
67 where the title already says what a live record decided, 3 dead
numbers whose decisions were read from what landed, and the 3 `#0000`
placeholders. Every cited record was read with its comments through
REST. 46 answer 200. Three answer 404, and their decisions were read
from their landing commits.

| record | ids | result |
|:--|--:|:--|
| objectstack-ai#7889 | 3 of 5 | The three synthetic `history` strings in the
reachability self-test read "n/a — planted for the reachability
self-test". Nothing reads them: `unreachableAliasRows` reads only
`aliases` and `guidanceSets`. Dropped from the 2 titles that state the
check. |
| objectstack-ai#6416 | 1 of 2 | "the three hand-written error maps are FOLDED and
judged here". Dropped from the `expect` message that already explains
the blind spot. |
| objectstack-ai#6619 | 1 of 6 | "the two maps the first fold MISSED": objectstack-ai#6619 folded
three maps, and objectstack-ai#6805 found two more. Dropped from 5 literals that state
the fold. |
| objectstack-ai#7887 | 1 of 4 | "editability lives on fields — the boundary
prescription an author actually sees". That is the maintainer's boundary
ruling: sections and page components gate visibility only. Dropped from
3 titles. |
| objectstack-ai#5955 | 1 of 2 | "(the fix-first order survives the new set)": the
history sentence is emitted last, so the author reads the fix first.
Dropped once. |
| objectstack-ai#15811 | 1 of 2 | "evaluated-slot population — no declaring position
still mounts the persistence schema". Dropped once, where the title
states the rule. |
| objectstack-ai#3278 | 1 | "never re-advertises `js`, retired in favour of
ScriptBody". objectstack-ai#3278 retired the `js` expression dialect as redundant with
the L2 `ScriptBody`. |
| objectstack-ai#7739 | 1 | "EXTERNAL_ERROR_HTTP_STATUS — each external error carries
an HTTP status". The title was the symbol alone. Its landing gave the
whole family one status table, so none can leak as a bare 500. |
| objectstack-ai#19101 | 1 of 2 | "lazySchema × z.toJSONSchema — a lazy reference
keeps its metadata". The ruling fixed the root cause in `lazySchema`, so
descriptions no longer depend on which generator ran. Dropped once. |
| objectstack-ai#8421 | 1 of 2 | "(flipped once unknown type names were refused)",
where the title said "objectstack-ai#8421 flipped this". Dropped once. |
| objectstack-ai#16845 | 1 of 2 | "ProtectionSchema — unknown-key refusal names the
surface and the rename": the block adopted `strictObject`. Dropped from
"accept set is unchanged". |
| objectstack-ai#12840 | 1 | "acceptRetiredDefaultResidue — a retired default parses
as inert residue". The title was the symbol alone. |
| objectstack-ai#17109 | 1 | "enumWithRetiredValues — value-level retirement beside
retiredKey()": the maintainer chose a generic helper, not a one-enum
refinement. |
| objectstack-ai#6414 | 1 | The `expect` message reads "the prescription must not
point at the retired ETL layer": objectstack-ai#6414 retired L2 `ETLPipeline`. |
| objectstack-ai#4001 | 2 | The synthetic widget `history` reads "Until unknown keys
were refused, these were dropped silently". Both copies change together.
The test asserts the message ends with that exact constant, so the
fixture and its expectation move as one. |
| objectstack-ai#7832 | 3 of 5 | "the reverse-direction alias curation added here",
"already curated before the reverse-direction sweep", and "the two
`visibleWhen` shapes the first sweep never enumerated". objectstack-ai#7832 was the
reverse direction of the action shapes' alias table. Dropped twice. |
| objectstack-ai#7816 | 1 | "the boolean `enabled: false` first". objectstack-ai#7816 noted that the
boolean case must point at `enabled`, or the hint just moves the
confusion. |
| dropped only (live) | 49 | objectstack-ai#4661 (2), objectstack-ai#4962, objectstack-ai#4964, objectstack-ai#4971, objectstack-ai#4990,
objectstack-ai#5389 (3), objectstack-ai#5481 (2), objectstack-ai#5552, objectstack-ai#5593 (2), objectstack-ai#6630, objectstack-ai#6805 (4), objectstack-ai#6856, objectstack-ai#7030,
objectstack-ai#8201, objectstack-ai#8202 (2), objectstack-ai#8318 (4), objectstack-ai#8382 (2), objectstack-ai#8424, objectstack-ai#9529 (3), objectstack-ai#7894 (4),
objectstack-ai#10096, objectstack-ai#10848, objectstack-ai#13859 (3), objectstack-ai#15028, objectstack-ai#15035, objectstack-ai#15423, objectstack-ai#15430, objectstack-ai#16320,
objectstack-ai#18122. Each title already states the pinned decision. |
| dropped only (404) | 3 | objectstack-ai#6085 (landing `026101660`: the dialect table
drops `js`, adds `template` and states it IS the enum), objectstack-ai#10485
(`35ad101`: the `themes` carrier key and `ThemeSchema` retired,
`/meta/theme` refused), objectstack-ai#11166 (`735f5c709`: `SchemaDiffEntry` gains a
distinct `unreachable` kind). Each title already carries what landed. |
| `#0000` | 3 | A placeholder in synthetic fixtures
(`retired-key.test.ts:26`, `:28`; the planted source in
`retired-key-migrate-sentence.test.ts:342`), cited no record. Dropped.
The two `retired-key.test.ts` constants are both input and expectation,
so the byte-for-byte assertions move with them. It is the same reasoning
by which objectstack-ai#17109's patch round took the made-up `(ADR-0000)` out of these
fixtures: a made-up number squats on a real one. |

## Readers

- **Test-name filters:** none. A tracked-tree search for `-t` and
`--testNamePattern` finds only `packages/qa/dogfood/README.md:142` (`-t
"owner-scoped"`), which is unrelated.
- **Snapshots:** none. `shared/` has no `__snapshots__`, and no `.snap`
file is tracked under `packages/spec`.
- **Gates that read a touched file:**
- `scripts/check-future-spec-major.mjs` keeps a witnessed ledger entry
for `retired-key.test.ts` (`witness: /was removed in @objectstack\/spec
99/`, `covers: 4`). The rewritten constants still carry that sentence.
`check:future-spec-major` was derived for this diff and exits 0, "every
witness still matching".
- `packages/spec/vitest.repo-tests.json` lists
`retired-key-migrate-sentence.test.ts`, so that file runs in the `repo`
project. It was run there at the base and at the head.
- **Titles by substring:** every old literal, plus a window around each
id (221 needles), was searched across the tracked tree outside its own
file. No gate, doc, filter or script reads one. The 21 needle hits land
on 8 lines:
- Sibling titles in other lanes' files:
`packages/cli/test/format-zod-union.test.ts:301` (`[objectstack-ai#5389]
formatZodErrors …`) and
`packages/metadata-protocol/src/protocol.unrecognised-meta-type.test.ts:171`
(`[objectstack-ai#10485] \`theme\` …`).
- A later stage's row in this package:
`packages/spec/src/ai/knowledge-source.test.ts:97`, an `it.each` row
name with "retired at objectstack-ai#3278".
- A self-test fixture in `scripts/check-future-spec-major.mjs:767-768`
that copies the two `retired-key.test.ts` constants with `(#0000)`. It
is its own text and does not read the file.
- Code comments: the `strict-object.ts:71` docblock example and
`suggestions.zod.ts:319`.
- A self-test fixture with a different string in
`scripts/check-doc-authoring.mjs:2507`.

## Text-only proof

Stage 10's scratch tool (`textonly10.cjs`, md5
`d5e4801dbb4329ab1984da91e92fc47c`) compares base and head file by file
on three legs:
1. **Skeleton:** the full AST, with string pieces masked. It must be
identical.
2. **Comments:** every comment, byte-equal.
3. **Strings:** each string leaf that changed must sit in a test-call
title position, or on one of the 12 declared lines. Each changed leaf
must carry a tracker id before and no `#` plus digits after. The
declared lines are:
- the synthetic `history` strings at `alias-integrity.test.ts:917`,
`:939`, `:952` and `strict-object.test.ts:16`, `:196`;
- the `expect` messages at `alias-integrity.test.ts:1100` and
`retry-policy.test.ts:113`;
- the fixture constants at `retired-key.test.ts:26`, `:28` and the
planted source at `retired-key-migrate-sentence.test.ts:342`;
- the fixture names at `union-branch-policy.parity.test.ts:164`, `:169`,
which reach `it` titles through a template.

- **Result:** 21 of 21 files SAME, 85 changed (73 title, 12 declared),
on all three legs.
- **Diff hunks:** exactly the 85 planned lines, with every file keeping
its line count.
- **Controls (10 of 10 as predicted, on scratch copies, each anchor hit
once):** identifier rename DIFF; numeric literal DIFF; comment edit
COMMENT DIFF; a non-title string with an id VIOLATION; a rewritten title
given a new id VIOLATION; a title that was id-free at base edited
VIOLATION; one title reverted to base SAME; a declared string keeping an
id VIOLATION; an undeclared `expect` message changed VIOLATION; a title
re-split into a `+` chain DIFF.

**Test counts:** the 21 files were run at the base (in a separate base
worktree) and at the head, 20 in the `local` project and one in `repo`.
Both sides read 567 / 567 passed, with the same count and status
sequence per file in 21 of 21. 450 full test names change, and each
equals the base name with the planned replacements applied.

## Changeset: `skip-changeset`

Measured, not assumed:
- `npm pack --dry-run` of `@objectstack/spec` lists 2068 files under
`files[]`. 0 of the 21 touched files are in it, and 0 `*.test.ts` at
all. The control `src/shared/expression.zod.ts` is in it.
- In `dist/`, four new phrases read in 0 files. Of three old ones, two
read in 0, and the third reads only in `shared/index.d.ts` / `.d.mts`,
from the `strict-object.ts` docblock comment, not from a test. The
control `Unrecognized key(s) on` reads in 42.

So this PR publishes nothing, and no changeset is added.

## Verification (at `fd8fd92d13`)

- `pnpm turbo run build` over all packages: 71 / 71.
- `@objectstack/spec`:
  - `vitest run --project local`: 613 files, 18215 passed, 1 todo.
- `typecheck` exit 0, including `check:test-typecheck`. Its program
holds all 21 touched files, counted with `tsc --listFilesOnly`.
- **Gates:** `dispatch-gates --commands` derived 80 families, and all 80
exit 0. That is stage 11's 79 plus `check:future-spec-major`. `--ran`
reconciles: 80 derived, 80 run, 0 NOT-MEASURED, 0 UNRUN.
- Five roster families whose rosters sit under a touched directory were
also run, and each exits 0: `check:meta-url-spelling`,
`check:spec-changes`, `check:authz-resolver`, `check:error-code-casing`
and `check:filter-alias-parity`.
- **ESLint, a proven narrowing:** `--no-inline-config` over the 21
files, 0 errors and 0 warnings. The population comes from ESLint's own
config: 21 configured, 0 ignored. No `parserOptions.project` or
`projectService`, so no untouched file's verdict can move.
- `check-governed-merges --test`: NOT governed, 170 changed lines.

## Acceptance notes

- **Code comments still carry ids** in these 21 files and in the
`shared/` sources. One of them ships: the `strict-object.ts:71` docblock
example quotes the old widget `history` with `objectstack-ai#4001`, and it is emitted
into `dist/shared/index.d.ts`. Comments are not this card's share and
are untouched here.
- **Sibling titles in other packages** repeat two rewritten titles' ids
(`cli`'s `format-zod-union.test.ts:301`, `metadata-protocol`'s
`protocol.unrecognised-meta-type.test.ts:171`). Each is its own lane's
test-string stage. `spec`'s `ai/knowledge-source.test.ts:97` is this
card's later small-directories stage.
- **`scripts/check-future-spec-major.mjs:767-768`** keeps its own
self-test copy of the two fixture constants with `(#0000)`. It is a
non-test file outside this claim's surface, and it reads nothing from
`retired-key.test.ts`.
- **`origin/main` moved** seven commits past the base before this PR
opened (objectstack-ai#21737, objectstack-ai#21741, objectstack-ai#21739, objectstack-ai#21744, objectstack-ai#21740, objectstack-ai#21746, objectstack-ai#21749). One
touches `packages/spec` (`api/error-code-ledger.zod.ts`); none touches a
file in this diff, so nothing was merged.

---
_Generated by [Claude
Code](https://claude.ai/code/session_01T9u38rswFp5Rw8DswRUReJ)_

Co-authored-by: Claude <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation size/m tests tooling

Projects

None yet

2 participants