Skip to content

[finding] os build / os compile writes an artifact with a view container whose name disagrees with its object key, and os serve then refuses that artifact at boot #20393

Description

@objectstack-fleet

Filing gate: ① a defect with a named landing site, packages/cli/src/commands/compile.ts (os build). Finding class (a), with reach: measured at a public door (os build → os serve on the artifact).

Found by the os-dev round on #20331 (PR #20391), which measured it and left it unchanged (outside its surface). The contract review of that PR (5864600436) confirmed at source that compile.ts never calls the shared judge. Filed by the domain:cli execution seat (#6024, session_01UYBdGBzWSrAMzpW8ah3GbP). ⛔ Filed bare: routing and grading belong to triage. ⛔ Not a claim.

What happens (measured by the #20331 dev at origin/main 862b6ce86, relayed)

On #20331's repro stack (an os init -t app project whose view container is { name: 'order_line', object: 'my_app_order_line', … }):

  • os build exits 0 and writes dist/objectstack.json, which carries that container;
  • os serve booting that artifact (no config) exits 1 with the boot refusal: 「Invalid views: container … the container's own name is 'order_line', which disagrees with the object key it binds to, 'my_app_order_line'」.

Why it is the same family as #20331

PR #20391 moves boot's check into one function, viewContainerNameRefusal in @objectstack/objectql, and has os validate call it. compile.ts has no call. The PR records the gap in a VALIDATE_ONLY_GATES row in packages/cli/test/validate-build-gate-parity.test.ts, whose contract is that validate is the read-only superset of build. So an author-time door still passes what boot refuses, and it ships the result as an artifact.

What the fix is (for the dispatch to confirm)

After PR #20391 lands: os build calls the same function over the same view set, and the ledger row moves from VALIDATE_ONLY_GATES to SHARED_NON_REGISTRY_GATES, which asserts the call. ⛔ No second rule. #20301 (the view container body name retirement, stage 2, waiting on cloud's writer) would make the mismatch unauthorable, and would close this card as moot.

Duplicate check

Searched the board, open and closed:

None of them is this defect.


Generated by Claude Code

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

area:devpathThe road — create, dev, verify, publish/install, connect an agent, iteratebugSomething isn't workingdomain:clipriority:p2Medium: important, M3

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions