Skip to content

conformance: vendor the specification with its catalog - #114

Merged
Kinflou merged 1 commit into
mainfrom
conformance/spec-catalog
Nov 9, 2026
Merged

Kinflou merged 1 commit into
mainfrom
conformance/spec-catalog

Conversation

@Kinflou

@Kinflou Kinflou commented Nov 9, 2026

Copy link
Copy Markdown
Member

Re-vendors ComlineProject/specification at f219852 (specification#1). That revision adds catalog/, the shared names of core#219, and derives the profiles' facts and features.json from it.

  • spec/ now includes catalog/ and cue.mod/, at the specification's root. features.json has the same content and is only reformatted. No vector or profile changes, and VERSION is still 0.10.
  • check.sh runs cue inside spec/. specs/profile.cue now imports the catalog, and that import only resolves inside the CUE module. I checked that it passes, and that it still fails on a broken support/rust.json.
  • The CI comment that pins the cue version points at the module's new place.

Tested: the conformance and reference suites, plus ffi's vectors test, pass with the same counts as before. vendor-spec.sh --check and check.sh pass.

Re-vendors ComlineProject/specification at f219852, which adds the
catalog of shared names and derives the profiles' facts and features.json
from it. The CUE module moved to the specification's root, so check.sh now
runs cue inside spec/, where the specs' imports resolve.
@Kinflou
Kinflou merged commit a2d6fe5 into main Nov 9, 2026
39 checks passed
@Kinflou
Kinflou deleted the conformance/spec-catalog branch November 9, 2026 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant