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.