Releases · omenien/omena-css

03 Jun 07:52

vscode-v5.2.0

4fbf928

Latest

vscode-v5.2.0

chore(release): script crates.io Trusted Publishing registration for …

Assets 4

03 Jun 06:44

github-actions

release-v0.2.0

4808685

omena-cli release-v0.2.0

omena-meta-macros
omena-refinement-trait
omena-cascade
omena-categorical
omena-ensemble
omena-incremental
omena-abstract-value
omena-engine-input-producers
omena-resolver
omena-rg-flow
omena-sif
omena-smt
omena-refinement
omena-query-core
omena-spec-audit
omena-syntax
omena-interner
omena-parser
omena-semantic
omena-bridge
omena-testkit
omena-transform-cst
omena-lawvere
omena-transform-passes
omena-transform-bundle
omena-transform-egg
omena-transform-print
omena-transform-target
omena-query-transform-runner
omena-tsgo-client
omena-variational
omena-checker
omena-query-checker-orchestrator
omena-query
omena-lsp-server
omena-streaming-ifds
omena-wasm
omena-zk-circuit
omena-zk-audit
omena-cli
omena-umbrella

Full Changelog: v5.2.0...release-v0.2.0

Assets 12

26 May 13:34

github-actions

v5.2.0

d61d392

v5.2.0

fix(sif): satisfy stable clippy sorting

Assets 4

25 May 12:47

yongsk0066

v5.1.1

13baee5

v5.1.1

CSS Module Explainer 5.1.1

This release publishes the evidence-backed V0 substrate slice.

What changed

Added the shared ClassValueUniverseProviderV0 substrate for CSS Modules fallback, vanilla-extract recipes, and cva phase 1.
Added V0 theory-contract substrate surfaces for typed provenance, incremental rule-evaluator contracts, modal witness summaries, belief-propagation/reduced-product summaries, cascade-margin schema, and FastFacts/AnalyzedGraph naming.
Kept release wording bounded to shipped behavior and V0 substrate evidence. This release does not claim Datalog host support, egglog binding support, modal theorem completion, belief-propagation paper results, safety-margin calibration, sheaf/cosheaf formalization, or perceptual tooling completion.
Produced the VSIX through the GitHub Publish Extension native matrix path, with Linux, macOS, and Windows runtime artifacts merged before packaging.

Registry status

VS Code Marketplace: 5.1.1 is public and latest.
GitHub Releases: 5.1.1 has the matrix-built VSIX and SBOM artifacts attached to this release.
Open VSX: 5.1.1 upload was reported as already published but inactive/not visible by Open VSX. Public metadata still returns 404 for direct 5.1.1 and latest visible remains older. For this release, this is explicitly dispositioned as a non-blocking external registry activation issue, not as completed Open VSX availability.

Scope notes

Issue #61 is updated only for the Finding-D class-value-universe substrate. The broader #61 resolver/paradigm RFC remains open.
Cargo workspace versioning remains on the gradual 0.2.x line. This is not a Cargo 1.0.0 API-freeze claim.

Assets 4