Skip to content

Latest commit

 

History

History
70 lines (56 loc) · 3.18 KB

File metadata and controls

70 lines (56 loc) · 3.18 KB

Palimpsest Plasma — Roadmap

1. Current Status

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).

2. Completed Milestones

2.1. v0.2.0 — Truth + Green + Engine v0 [COMPLETE]

  • ✓ 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 audit rewired 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

3. Active Milestones

3.1. v0.3.0 — Action Planner [IN PROGRESS]

  • plasma fix — plan (dry-run) and apply modes, with .bak backups

  • ✓ Findings → planned actions mapping (pure plan; IO apply)

  • ✓ First action type: AddSpdxHeader (+ manual partition with reasons)

  • ✓ Action type CreateFile (v0.6) — create a missing required file at a concrete path; UpdateField and others still to come

  • ✓ Overlay override-rules semantics (v0.5) — remove/replace base rules per context; modify-rules remains reserved

  • ✓ Content facts + file-matches-pattern condition semantics (v0.6) — opt-in file_contents, regex validated at load

3.2. v0.4.0 — Interchange Contracts & Integration Surfaces [IN PROGRESS]

  • ✓ 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.toml policy references (project-pinned policies)

  • ❏ Release facts (release subjects/resources gain semantics)

4. Future Directions

  • 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-with action semantics)

  • Multi-repo fleet evaluation

  • Policy authoring assistance (schema-aware, never semantics-defining)