fix(spec): never materialize the currency precision default the schema itself refuses — bare fixed-JPY parse is idempotent (#11423) - #11766

Fixes #11423

What

CurrencyConfigSchema's .overwrite() no longer materializes the relocated precision default (2) onto the one combination whose authored spelling its own superRefine refuses: currencyMode: 'fixed' with a defaultCurrency whose ISO 4217 / CLDR fraction digits contradict 2 (the JPY/KRW/KWD class). A bare fixed-JPY config now parses to output that OMITS precision, so parse(parse(x)) holds on the mainline ObjectSchema.create() → defineStack re-parse chain. One conditional, mirroring the #11406 master_detail guard one screen below in the same file; the superRefine rejection of an AUTHORED contradictory precision is untouched, message and path included.

Governing ruling

Routed by the spec seat under the maintainer's ruling on #9689 (comment 5393503175), verbatim:

「The same principle prescribes the fix for the #7918 currency twin (#11423) — the spec seat should route it under this ruling.」

The principle, as landed by PR #11406 (commit 9086761ed): never materialize a default the schema itself would refuse as authored.

Reverse verification (both legs, measured)

Unfixed source (branch base 2a6122bd9):

• CurrencyConfigSchema.parse({ currencyMode: 'fixed', defaultCurrency: 'JPY' }) → {"precision":2,"currencyMode":"fixed","defaultCurrency":"JPY"}
• re-parse of that output → REJECTED, code: custom, path: ['precision'], message head: currency JPY has 0 fraction digits; `precision: 2` contradicts it — exactly the card's measured rejection
• the new pin block ran RED against unfixed source: 3 failed | 24 passed (the three #7918's relocated currency precision default is round-trip unsafe: a bare fixed-JPY currencyConfig materializes precision 2, and re-parsing that output is rejected #11423 idempotency pins), failing on the materialized 2 and the false re-parse, not on an unrelated error

Fixed source (this branch, head c3613e137):

• parse({ currencyMode: 'fixed', defaultCurrency: 'JPY' }) → {"currencyMode":"fixed","defaultCurrency":"JPY"}; re-parse → success, no issues
• full pin file + field tests: 2 files / 192 tests passed

Behavior matrix (pinned)

Contract note

Clause-②: yes — parse output changes for previously-accepted bare fixed-currency inputs; the PR stays draft, the contract-review chain runs before enqueue.

Stored rows / built artifacts that carry the OLD baked precision: 2 on a fixed zero/three-digit currency re-parsed RED before this change (that is the defect) and still read as authored contradictions after it; same population shape #11406 handled with a no-automatic-conversion migration entry on its twin. Whether this card owes its own registry entry is left to the contract review — the dispatch's declared file surface deliberately did not include the migration registry, and no consumer outside packages/spec reads currencyConfig.precision (measured: analytics/dogfood read only defaultCurrency).

Verification — real readings at head c3613e137

Gate derivation line (quoted per dispatch): dispatch-gates: gate list derived from the tree of 'objectstack-ai/objectstack' at commit c3613e137 (/home/user/objectstack-11423). — change set 3 path(s) vs merge base 2a6122bd9 (field.zod.ts, currency-precision-iso4217.test.ts, the changeset).

Heavy runs all through scripts/pm/os-verify-lock.sh; every exit captured before any pipe; each reading quotes the gate's own verdict line:

Derived gate families, each exit 0 (captured pre-pipe): nul-bytes · changeset-no-major · adr-0087-registration · empty-changeset · cross-package-test-inputs (both spellings) · test-source-alias · merge-driver · objectui-changeset · spec-parsed-alias · slot-lookup · published-files · type-source-resolution · where-matcher · engine-double-contract · query-options-erasure · changeset-gate-self-tests · dev-prereqs (post-build) · plugin-teardown-shape · docs-audit affected-docs · release-rehearsal-clone --self-test · lint-pkg doc-formula-expressions · spec check:liveness / check:empty-state / check:strictness-ledger / check:variant-docs · check:type-check-coverage.

One run predates the head commit by content-irrelevant bytes: the full spec suite started at f96b1c3ec (the fix commit); the only later commit c3613e137 adds .changeset/thin-yen-keeps-no-cents.md, which no test reads. Every other reading above was taken at c3613e137.

Declared narrowing (CI runs the full farm regardless): repo-wide check:type-check-debt --re-measure was not run locally — the diff touches only @objectstack/spec, which has no entry in the root debt ledger (its test-typecheck debt lives in packages/spec/test-typecheck-debt.json, gated by spec's own check:test-typecheck, executed inside the spec typecheck reading above), and spec's emitted .d.ts surface is unchanged (check:generated green includes check:api-surface), so no other package's ledger count can move from this diff. Repo-wide pnpm lint (eslint sweep) is CI-owned and was not run.

Generated by Claude Code