matrixscroll 0.4.2__tar.gz → 0.5.1__tar.gz

{matrixscroll-0.4.2 → matrixscroll-0.5.1}/.gitignore

@@ -33,3 +33,6 @@ env/
 # Matrix Scroll local store (never commit a private key)
 .matrixscroll/
 device.json
+
+# TLA+ tools (download locally or in CI)
+tla2tools.jar

{matrixscroll-0.4.2 → matrixscroll-0.5.1}/CHANGELOG.md

@@ -4,6 +4,31 @@ All notable changes to the Matrix Scroll Python SDK are documented here. The
 format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/) and
 this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.5.1] - 2026-07-02
+
+### Added
+- **`ssx360` and `ssx360-ledger` console scripts** — ship on PyPI with the SDK
+  (local repo had entry points since POC 2 baseline; 0.5.0 wheel omitted them).
+
+### Documentation
+- Pin public install examples and CI workflows to `matrixscroll==0.5.1`.
+
+## [0.5.0] - 2026-07-02
+
+Post-quantum overlay (v1.1 additive extension).
+
+### Added
+- **SPEC.md §11** — optional `pqc_signatures` array (ML-DSA FIPS 204, SLH-DSA FIPS 205).
+- **`matrixscroll.pqc`** — software-only PQC overlay; Ed25519 `signature` block unchanged.
+- **`matrixscroll pqc-keygen`** — generate/load PQC keys under `~/.matrixscroll/pqc/`.
+- **`MATRIXSCROLL_PQC`** env — attach overlay on sign (e.g. `ml-dsa-65`); hardware mode exempt.
+- **Policy `require_pqc`** — `false` (default), `emulated_only`, or `true` (hardware exempt).
+- **Optional extra `[pqc]`** — `liboqs-python` backend for ML-DSA / SLH-DSA.
+
+### Unchanged
+- USB/NFC/SE050 device signing remains **Ed25519-only** (no firmware change).
+- All v1 vectors and Ed25519 verification behavior.
+
 ## [0.4.2] - 2026-06-29
 
 Crypto backend consolidation (middle path).
@@ -189,6 +214,8 @@ Initial public release. Extracted from the SSX360 reference implementation.
 - Device id format: `MS-XXXX-XXXX` (SHA-256 of the raw public key, first 8 hex
   chars, uppercase).
 
+[0.5.1]: https://github.com/SSX360/matrixscroll/releases/tag/v0.5.1
+[0.5.0]: https://github.com/SSX360/matrixscroll/releases/tag/v0.5.0
 [0.2.2]: https://github.com/SSX360/matrixscroll/releases/tag/v0.2.2
 [0.2.1]: https://github.com/SSX360/matrixscroll/releases/tag/v0.2.1
 [0.2.0]: https://github.com/SSX360/matrixscroll/releases/tag/v0.2.0

{matrixscroll-0.4.2 → matrixscroll-0.5.1}/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: matrixscroll
-Version: 0.4.2
-Summary: Signed provenance for agent-assisted Git commits with offline verification; emulated Ed25519 ships today and the SE050 hardware path remains an optional preview.
+Version: 0.5.1
+Summary: Signed provenance for agent-assisted Git commits with offline Ed25519 verification; optional ML-DSA/SLH-DSA software overlay (FIPS 204/205). USB/NFC/SE050 hardware remains Ed25519.
 Project-URL: Homepage, https://ssx360.com
 Project-URL: Documentation, https://ssx360.com/docs
 Project-URL: Repository, https://github.com/SSX360/matrixscroll
@@ -15,14 +15,14 @@ Project-URL: Changelog, https://github.com/SSX360/matrixscroll/blob/main/CHANGEL
 Project-URL: Discussions, https://github.com/SSX360/matrixscroll/discussions
 Project-URL: Security, https://github.com/SSX360/matrixscroll/blob/main/SECURITY.md
 Project-URL: GitHub Action, https://github.com/SSX360/matrixscroll-verify-action
-Project-URL: PyPI Provenance, https://pypi.org/project/matrixscroll/
+Project-URL: PyPI Provenance, https://pypi.org/project/matrixscroll/0.5.1/
 Project-URL: Reference Device, https://ssx360.com/hardware
 Project-URL: Tests, https://github.com/SSX360/matrixscroll/tree/main/tests
 Project-URL: Public Roadmap, https://github.com/SSX360/matrixscroll/blob/main/docs/ROADMAP_2026-07.md
 Author-email: SSX360 <security@matrixscroll.com>
 License-Expression: Apache-2.0
 License-File: LICENSE
-Keywords: ai,ed25519,matrixscroll,provenance,root-of-trust,secure-element,signing,ssx360,supply-chain
+Keywords: ai,ed25519,fips-204,fips-205,matrixscroll,ml-dsa,post-quantum,provenance,root-of-trust,secure-element,signing,slh-dsa,ssx360,supply-chain
 Classifier: Development Status :: 4 - Beta
 Classifier: Intended Audience :: Developers
 Classifier: Intended Audience :: Information Technology
@@ -38,7 +38,7 @@ Classifier: Topic :: Security :: Cryptography
 Classifier: Topic :: Software Development :: Libraries :: Python Modules
 Classifier: Typing :: Typed
 Requires-Python: >=3.10
-Requires-Dist: cryptography>=42.0
+Requires-Dist: cryptography>=43.0
 Provides-Extra: dev
 Requires-Dist: build>=1.0; extra == 'dev'
 Requires-Dist: hypothesis>=6.100; extra == 'dev'
@@ -49,6 +49,8 @@ Provides-Extra: hardware
 Requires-Dist: pyserial>=3.5; extra == 'hardware'
 Provides-Extra: mcp
 Requires-Dist: mcp<2.0.0,>=1.0.0; extra == 'mcp'
+Provides-Extra: pqc
+Requires-Dist: liboqs-python>=0.12.0; extra == 'pqc'
 Provides-Extra: tpm
 Provides-Extra: yubikey
 Requires-Dist: python-pkcs11>=0.7; extra == 'yubikey'
@@ -60,21 +62,18 @@ Description-Content-Type: text/markdown
 [![Scroll Gate v2 (hosted)](https://github.com/SSX360/matrixscroll/actions/workflows/provenance-gate.yml/badge.svg)](https://github.com/SSX360/matrixscroll/actions/workflows/provenance-gate.yml)
 [![codecov](https://codecov.io/gh/SSX360/matrixscroll/graph/badge.svg)](https://codecov.io/gh/SSX360/matrixscroll)
 
-**123 tests** · Hypothesis-verified security properties · [Security properties](docs/SECURITY_PROPERTIES.md)
+**123 tests** · Hypothesis-verified security properties · [Security properties](docs/SECURITY_PROPERTIES.md) · [TLA+ formal models](formal/README.md)
 
-**Signed proof of who — or what — wrote every commit.** Matrix Scroll is the
-**universal provenance SDK** — open Ed25519 envelopes for Git commits, CI steps,
-IaC changes, DB migrations, API calls, and smart-contract deploys — verified
-offline in CLI, browser, and CI. Hardware (SE050) is an optional preview trust
-upgrade; emulated mode ships today.
+**Signed proof of who — or what — wrote every AI-assisted commit.** Matrix Scroll is an
+**open protocol for cryptographically signed, AI-assisted code provenance** — Ed25519 commit
+envelopes for Git (and universal action envelopes for CI, IaC, and migrations),
+verified offline in CLI, browser, and CI. Software emulated keys ship today; NXP SE050
+secure-element signing is on the roadmap with the same verifier contract.
 
-**TAM wedge (honest):** Layer 2 universal provenance SDK ($50–200M) · Layer 3 SSX360 Scroll
-governance on Git ($200M–1B) · Scroll Gate CI ($50–150M) · Python-first ML/agent
-ecosystem via `pip install matrixscroll`.
-
-**Hosted control plane:** identity, billing, and device confirmation live at
-[ssx360.com](https://ssx360.com/). Teams evaluating protected-branch enforcement should
-[book a provenance pilot](https://ssx360.com/contact?intent=pilot);
+**Hosted control plane:** identity, billing, audit ledger, and Scroll Gate live at
+[ssx360.com](https://ssx360.com/). Enterprise teams evaluating protected-branch enforcement should
+[book a provenance pilot](https://ssx360.com/contact?intent=pilot) or visit
+[ssx360.com/enterprise](https://ssx360.com/enterprise).
 Provisioned pilot and team accounts sign in at [ssx360.com/signup](https://ssx360.com/signup).
 
 ## Compliance evidence mapping
@@ -104,18 +103,18 @@ Agents sign commits in-loop via the **provenance-only** MCP server:
 ```
 
 ```bash
-pip install "matrixscroll[mcp]==0.4.2"
+pip install "matrixscroll[mcp]==0.5.1"
 matrixscroll-mcp   # stdio — register in Cursor / Claude Desktop / VS Code
 ```
 
 **MCP tools (provenance verbs only):** `create_envelope`, `sign_action`, `verify_envelope`,
 `verify_pr_range` (Scroll Gate), `publish_notes`, `status`, `audit_export`, `list_envelopes`,
-`connect_card` (SE050 preview).
+`connect_card` (SE050 hardware preview, roadmap).
 
 ## Also available — CLI & hooks
 
 ```bash
-pip install "matrixscroll==0.4.2"
+pip install "matrixscroll==0.5.1"
 matrixscroll hook-install
 export MATRIXSCROLL_ACTOR_TYPE=agent
 export MATRIXSCROLL_TOOL=agent-runner
@@ -179,12 +178,12 @@ canonical UTF-8 JSON bytes (see [`SPEC.md`](SPEC.md) §4). Verifiers reject any
 
 ## Honest limits
 
-- Shipping now: PyPI `matrixscroll==0.4.2`, Git post-commit hooks,
+- Shipping now: PyPI `matrixscroll==0.5.1`, Git post-commit hooks,
   `matrixscroll sign-action`, `matrixscroll scroll commit` (thin wrapper),
   `matrixscroll envelope-verify`, Scroll Gate PR verification (partial SLSA L1–2),
   verifier, the GitHub Action, and a USB CDC host transport preview for the
   SE050 rollout path. Emulated mode is the default evaluation path.
-- In progress: nRF52840 + SE050 firmware validation (AP2 Vault Card PoC), external Ed25519-capable
+- In progress: nRF52840 + SE050 firmware validation for hardware-backed signing, external Ed25519-capable
   hardware key backends, and transparency-log integrations.
 - Not: IAM, sandboxing, prompt filtering, or an agent runtime.
 
@@ -194,8 +193,10 @@ canonical UTF-8 JSON bytes (see [`SPEC.md`](SPEC.md) §4). Verifiers reject any
   records who or what signed the change before push.
 - Hardware keys and build attestations remain complementary roots and downstream
   proofs; Matrix Scroll covers commit-time provenance.
-- The public contract stays pure Ed25519 over canonical manifest bytes,
-  whether the signer is emulated today or hardware-backed later.
+- The public contract stays pure Ed25519 over canonical manifest bytes for the
+  required `signature` block — whether the signer is emulated today or
+  hardware-backed later. Software signers may optionally attach ML-DSA/SLH-DSA
+  overlays (FIPS 204/205) via `matrixscroll[pqc]` without changing hardware firmware.
 
 ## Common questions
 
@@ -225,7 +226,7 @@ alongside your existing scanners, branch protection, and build attestations.
 ## Quickstart (CLI)
 
 ```bash
-pip install "matrixscroll==0.4.2"
+pip install "matrixscroll==0.5.1"
 matrixscroll hook-install
 matrixscroll hook-status
 
@@ -252,7 +253,7 @@ See [`docs/quickstart-git.md`](docs/quickstart-git.md) and run
     head-ref: ${{ github.event.pull_request.head.sha }}
     base-ref: ${{ github.event.pull_request.base.sha }}
     source: notes
-    matrixscroll-version: "0.4.2"
+    matrixscroll-version: "0.5.1"
     require-mode: emulated
 ```
 
@@ -272,7 +273,7 @@ git push origin refs/notes/matrixscroll
     head-ref: ${{ github.event.pull_request.head.sha }}
     base-ref: ${{ github.event.pull_request.base.sha }}
     source: notes
-    matrixscroll-version: "0.4.2"
+    matrixscroll-version: "0.5.1"
     summary-output: provenance-summary.json
 ```
 
@@ -280,7 +281,7 @@ See [`docs/quickstart-git.md`](docs/quickstart-git.md) and
 [`examples/ci/protected-branch.yml`](examples/ci/protected-branch.yml).
 
 The `--require-mode`, `--trusted-keys`, and actor or delegation policy checks
-ship in the current release line; examples in this README pin `0.4.2`.
+ship in the current release line; examples in this README pin `0.5.1`.
 
 ## Security: Ed25519 via cryptography
 
@@ -312,13 +313,14 @@ when they preserve the same pure Ed25519 byte contract.
 - Conformance vectors: [`vectors/`](vectors/)
 - GitHub Action: <https://github.com/SSX360/matrixscroll-verify-action>
 - Agentic AI controls: [`docs/AGENTIC_AI_SECURITY.md`](docs/AGENTIC_AI_SECURITY.md)
-- Site: <https://ssx360.com/docs> (matrixscroll.com redirects here)
-- Reference device path: [AP2 Vault Card hardware](https://ssx360.com/hardware)
+- Site: <https://matrixscroll.com> · Enterprise: <https://ssx360.com/enterprise>
+- [AP2 Vault Card hardware](https://ssx360.com/hardware)
+- SE050 hardware signing: <https://ssx360.com/enterprise#roadmap>
 
 ## Python API
 
 ```bash
-pip install "matrixscroll==0.4.2"
+pip install "matrixscroll==0.5.1"
 ```
 
 ```python
@@ -428,7 +430,7 @@ The MCP server exposes **provenance verbs only**: `create_envelope`, `verify_env
 Install and register in Cursor / Claude Desktop / VS Code:
 
 ```bash
-pip install "matrixscroll[mcp]==0.4.2"
+pip install "matrixscroll[mcp]==0.5.1"
 matrixscroll-mcp   # stdio
 ```