Skip to content

feat(dogfood): ADR-0060 P2 — validation-rule conformance ledger (pins ADR-0020 state_machine)#2105

Merged
xuyushun441-sys merged 1 commit into
mainfrom
feat/validation-conformance-ledger
Jun 21, 2026
Merged

feat(dogfood): ADR-0060 P2 — validation-rule conformance ledger (pins ADR-0020 state_machine)#2105
xuyushun441-sys merged 1 commit into
mainfrom
feat/validation-conformance-ledger

Conversation

@xuyushun441-sys

Copy link
Copy Markdown
Contributor

ADR-0060 (#2103) P2 — the third instance of the reusable conformance-ledger pattern, on the same checkLedger helper from P1 (#2104). Proves the pattern composes: a new surface is a filled-in table, not a re-derived discipline.

What

One row per validations union rule type — state_machine / script / cross_field / format / json_schema / conditional — all enforced on the engine write path via rule-validator.ts (ADR-0020 wired the union in), each carrying the rule-validator.test.ts runtime proof. The ratchet re-discovers every rule type from validation.zod.ts's discriminator and fails the build if one is unclassified — so a new validation rule type added without runtime enforcement (the exact pre-ADR-0020 state_machine disease) can't ship silently.

Verification

Full build 75/75 · dogfood 135 (24 files; the validation/authz/expression/helper conformance tests all green on the one shared helper). Ratchet verified to bite. dogfood-private → no changeset.

Next: P3 — document the 'landed = has a green ledger' bar (ADR-0060 D5).

🤖 Generated with Claude Code

… ADR-0020)

The third instance of the reusable conformance-ledger pattern, built on the same
checkLedger helper (P1) — proving a new surface is a filled-in table, not a
re-derived discipline. One row per `validations` union rule type
(state_machine / script / cross_field / format / json_schema / conditional), all
ENFORCED on the engine write path via rule-validator.ts (ADR-0020 wired the union
in), each carrying the rule-validator runtime proof. The ratchet re-discovers
every rule type from validation.zod.ts's discriminator and fails the build if one
is unclassified — so a new validation rule type added without enforcement (the
pre-ADR-0020 state_machine disease) can't ship silently. Ratchet verified to
bite. dogfood-private, no changeset.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@vercel

vercel Bot commented Jun 21, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
spec Ready Ready Preview, Comment Jun 21, 2026 7:25am

Request Review

@github-actions

Copy link
Copy Markdown
Contributor

📓 Docs Drift Check

No hand-written docs reference the 1 changed package(s). ✅

@xuyushun441-sys
xuyushun441-sys merged commit 8afac0a into main Jun 21, 2026
17 checks passed
@xuyushun441-sys
xuyushun441-sys deleted the feat/validation-conformance-ledger branch June 21, 2026 07:28
os-zhuang added a commit that referenced this pull request Jun 30, 2026
…s) (#2471)

Pins the vendored @objectstack/console to objectui d23d6ebfa so the served
console includes the kind:'react' renderer + the full HTML tag set for
kind:'html' (objectui #2105). Carries two small list inline-edit toggles
(#2102/#2103) since the previous pin. Activates the CRM Workbench showcase
page (ADR-0081) in the real serving path.

Co-authored-by: Jack Zhuang <277994282+os-zhuang@users.noreply.github.com>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants