PermitWeave v0.5.0
Changelog
All notable changes to PermitWeave are documented here.
[0.5.0] - Unreleased
Added
- Deterministic Policy Impact Analysis comparing baseline and candidate authorization behavior over a typed request corpus.
- Impact classes for unchanged, newly allowed, newly denied, approval changes, reason-code changes, and rule-match changes.
impactCLI command with repeatable--fail-ondrift gates for CI.- Example policy corpus and dedicated impact documentation.
Security
- Impact analysis reuses the production decision engine and performs no tool execution, network access, or model inference.
- Reports are digest-protected and explicitly limited to the supplied corpus; they are not equivalence proofs for unseen requests.
[0.4.0] - 2026-08-19
Added
- Deterministic Decision Evidence Packs joining signed bundle provenance, contract status, receipt-chain verification, and redacted decision summaries.
evidenceandverify-evidenceCLI commands with reproducible--generated-atsupport.- Evidence-pack schema and threat-model documentation.
Security
- Evidence generation verifies the signed policy bundle before producing the artifact.
- Evidence packs contain no private keys and decision summaries exclude request arguments.
- Pack integrity is protected by a canonical SHA-256 digest and verification fails closed.
[0.3.0] - 2026-08-18
Added
- Ed25519 signed policy bundles with canonical payloads and policy digest binding.
- Keypair generation, policy signing, bundle verification, and verified decision CLI commands.
- Explicit issuer, key ID, creation, and expiry metadata with fail-closed verification.
- Regression tests for tampering, expiry, wrong keys, and end-to-end CLI lifecycle.
Security
- Signed bundles are verified before compilation and decision evaluation.
- Private keys are supplied by the operator and are never generated into the repository.
- Public-key trust roots remain explicit; PermitWeave does not fetch keys from the network.
[0.2.0] - 2026-08-17
Added
- Declarative Policy Contract Testing with typed YAML/JSON suites.
- Deterministic JSON and JUnit reports for local and CI workflows.
permitweave explainfor side-effect-free decision inspection.POST /v1/decisions/explainfor read-only API inspection.- Contract fixtures covering allow, deny, approval, and default-deny behavior.
- CI artifact upload for policy contract reports.
Compatibility
- Existing
validate,decide,serve, andverify-receiptscommands remain compatible. - Existing
/v1/decisionsbehavior remains receipt-producing; only the new/explainendpoint is side-effect-free.
[0.1.0] - 2026-08-16
Added
- Deterministic versioned policy model and compiler.
- Allow, deny, and approval-required decisions with stable reason codes.
- Redacted append-only hash-linked receipt chain and verification command.
- CLI for validation, decisions, receipt verification, and local serving.
- FastAPI health, policy validation, decision, and receipt verification endpoints.
- Unit and API integration tests, documentation, and GitHub Actions quality workflow.
Security
- Default deny policy behavior.
- Bounded policy inputs and strict Pydantic models.
- No subprocess, dynamic import, URL fetching, model call, or credential forwarding path.