v0.2.0: the repository compiles, all tests pass, and engine v0 is real —
a typed policy AST, versioned schema loading, deterministic fact collection,
a pure/total evaluator, and a CLI (plasma check/facts/policy/audit) that
this repository applies to itself in CI via its bundled repo-hygiene policy.
The project’s identity settled here too: plasma is a deterministic policy engine for the agentic era. The Palimpsest license (PMPL) is a separate future project; the earlier union-policy-parser sub-project was removed (it lives on in git history and belongs in its own repository).
-
✓ Repository compiles; full test suite green
-
✓ License unification: code MPL-2.0, docs CC-BY-SA-4.0, SPDX headers swept
-
✓ plasma-engine crate: Policy AST, schema load/validate, facts, evaluator
-
✓ Deontic semantics (obligation/prohibition/permission) with severity
-
✓ Bundled repo-hygiene policy; self-test gate in CI
-
✓
plasma check(human/JSON/SARIF),plasma facts,plasma policy validate -
✓
plasma auditrewired onto plasma-parser (zone-aware, real SPDX parsing) -
✓ init/migrate/badge genericized to any SPDX license
-
✓ Docs truth pass: README, EXPLAINME, TOPOLOGY, architecture, engine-v0-design
-
✓ union-policy-parser removed; corrupted license artifacts removed
-
✓
plasma fix— plan (dry-run) and apply modes, with.bakbackups -
✓ Findings → planned actions mapping (pure
plan; IOapply) -
✓ First action type:
AddSpdxHeader(+ manual partition with reasons) -
✓ Action type
CreateFile(v0.6) — create a missing required file at a concrete path;UpdateFieldand others still to come -
✓ Overlay
override-rulessemantics (v0.5) — remove/replace base rules per context;modify-rulesremains reserved -
✓ Content facts +
file-matches-patterncondition semantics (v0.6) — opt-infile_contents, regex validated at load
-
✓ Sibling-tool contracts pinned: facts snapshot, facts diff, findings, SARIF namespace (docs/interchange-contracts.adoc)
-
✓
plasma diff before.json after.json— deterministic facts diff with diff(1) exit semantics (0 identical / 1 differ / 2 error) -
❏ Git hooks (pre-commit, pre-push) via
plasma check --quiet -
❏ Reference GitHub Action / GitLab CI job
-
❏
.plasma.tomlpolicy references (project-pinned policies) -
❏ Release facts (
releasesubjects/resources gain semantics)
-
Formal core: Catala/OCaml implementation of the evaluation semantics, verified against docs/engine-v0-design.adoc (the format is specified for exactly this)
-
WASM compilation target for browser-based policy checks
-
Decision registries (
consistent-withaction semantics) -
Multi-repo fleet evaluation
-
Policy authoring assistance (schema-aware, never semantics-defining)