matrixscroll 0.4.1__tar.gz → 0.5.0__tar.gz

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/CHANGELOG.md

@@ -4,6 +4,38 @@ 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.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).
+
+### Changed
+- **`matrixscroll.crypto_backend`** — all Ed25519 sign/verify/keygen and
+  security-relevant SHA-256 hashing route through the `cryptography` package
+  (native wheels; no user Rust toolchain).
+- **Dependency** — `cryptography>=42.0` is now required (was `>=41.0`).
+- **Docs** — `docs/CRYPTO_BACKEND.md`, README security note, SECURITY_PROPERTIES
+  backend section.
+
+### Removed
+- Scattered direct `cryptography` / `hashlib` calls in providers and gate paths
+  in favor of the centralized backend module (Git SHA-1 wire hashing unchanged).
+
 ## [0.4.1] - 2026-06-29
 
 Universal provenance SDK expansion and SSX360 Scroll Phase 1 wrapper.
@@ -173,6 +205,7 @@ 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.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.1 → matrixscroll-0.5.0}/PKG-INFO

@@ -1,7 +1,7 @@
 Metadata-Version: 2.4
 Name: matrixscroll
-Version: 0.4.1
-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.0
+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
@@ -22,7 +22,7 @@ Project-URL: Public Roadmap, https://github.com/SSX360/matrixscroll/blob/main/do
 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>=41.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,17 +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)
 
-**112 tests** · Hypothesis-verified security properties · [Security properties](docs/SECURITY_PROPERTIES.md)
+**123 tests** · Hypothesis-verified security properties · [Security properties](docs/SECURITY_PROPERTIES.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.
 
-**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
@@ -100,18 +103,18 @@ Agents sign commits in-loop via the **provenance-only** MCP server:
 ```
 
 ```bash
-pip install "matrixscroll[mcp]==0.4.1"
+pip install "matrixscroll[mcp]==0.5.0"
 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.1"
+pip install "matrixscroll==0.5.0"
 matrixscroll hook-install
 export MATRIXSCROLL_ACTOR_TYPE=agent
 export MATRIXSCROLL_TOOL=agent-runner
@@ -175,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.1`, Git post-commit hooks,
+- Shipping now: PyPI `matrixscroll==0.5.0`, 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.
 
@@ -190,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
 
@@ -221,7 +226,7 @@ alongside your existing scanners, branch protection, and build attestations.
 ## Quickstart (CLI)
 
 ```bash
-pip install "matrixscroll==0.4.1"
+pip install "matrixscroll==0.5.0"
 matrixscroll hook-install
 matrixscroll hook-status
 
@@ -248,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.1"
+    matrixscroll-version: "0.5.0"
     require-mode: emulated
 ```
 
@@ -268,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.1"
+    matrixscroll-version: "0.5.0"
     summary-output: provenance-summary.json
 ```
 
@@ -276,7 +281,15 @@ 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
-are available in the `0.2.x` line; the examples in this README pin `0.3.0`.
+ship in the current release line; examples in this README pin `0.5.0`.
+
+## Security: Ed25519 via cryptography
+
+Ed25519 signing, verification, and key generation use the [`cryptography`](https://pypi.org/project/cryptography/)
+package (required dependency, `>=42.0`). Official wheels ship native crypto
+backends (OpenSSL + Rust components) — no Rust toolchain for users. All
+primitives are centralized in `matrixscroll/crypto_backend.py`; see
+[`docs/CRYPTO_BACKEND.md`](docs/CRYPTO_BACKEND.md).
 
 ## Why it is different from Sigstore
 
@@ -291,21 +304,23 @@ when they preserve the same pure Ed25519 byte contract.
 
 ## Public proof links
 
-- Browser verifier: <https://matrixscroll.com/verify/>
-- Compare page: <https://matrixscroll.com/compare/>
+- Browser verifier: <https://ssx360.com/verify>
+- Compare page: <https://ssx360.com/compare>
+- Documentation: <https://ssx360.com/docs>
 - Specification: [`SPEC.md`](SPEC.md)
 - Commit envelope schema: [`schemas/commit-envelope.v1.json`](schemas/commit-envelope.v1.json)
 - Whitepaper: [`docs/WHITEPAPER.md`](docs/WHITEPAPER.md)
 - 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://matrixscroll.com>
-- 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.1"
+pip install "matrixscroll==0.5.0"
 ```
 
 ```python
@@ -415,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.1"
+pip install "matrixscroll[mcp]==0.5.0"
 matrixscroll-mcp   # stdio
 ```
 
@@ -435,5 +450,5 @@ Report vulnerabilities privately to
 
 ---
 
-**Protocol:** https://matrixscroll.com · **Verify:** https://matrixscroll.com/verify/  
+**Protocol:** https://ssx360.com/docs · **Verify:** https://ssx360.com/verify  
 **Control plane:** https://ssx360.com · **Pilot:** mission@ssx360.com · **Sign in:** https://ssx360.com/signup

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/README.md

@@ -4,17 +4,18 @@
 [![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)
 
-**112 tests** · Hypothesis-verified security properties · [Security properties](docs/SECURITY_PROPERTIES.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.
-
-**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);
+**123 tests** · Hypothesis-verified security properties · [Security properties](docs/SECURITY_PROPERTIES.md)
+
+**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.
+
+**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
@@ -44,18 +45,18 @@ Agents sign commits in-loop via the **provenance-only** MCP server:
 ```
 
 ```bash
-pip install "matrixscroll[mcp]==0.4.1"
+pip install "matrixscroll[mcp]==0.5.0"
 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.1"
+pip install "matrixscroll==0.5.0"
 matrixscroll hook-install
 export MATRIXSCROLL_ACTOR_TYPE=agent
 export MATRIXSCROLL_TOOL=agent-runner
@@ -119,12 +120,12 @@ canonical UTF-8 JSON bytes (see [`SPEC.md`](SPEC.md) §4). Verifiers reject any
 
 ## Honest limits
 
-- Shipping now: PyPI `matrixscroll==0.4.1`, Git post-commit hooks,
+- Shipping now: PyPI `matrixscroll==0.5.0`, 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.
 
@@ -134,8 +135,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
 
@@ -165,7 +168,7 @@ alongside your existing scanners, branch protection, and build attestations.
 ## Quickstart (CLI)
 
 ```bash
-pip install "matrixscroll==0.4.1"
+pip install "matrixscroll==0.5.0"
 matrixscroll hook-install
 matrixscroll hook-status
 
@@ -192,7 +195,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.1"
+    matrixscroll-version: "0.5.0"
     require-mode: emulated
 ```
 
@@ -212,7 +215,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.1"
+    matrixscroll-version: "0.5.0"
     summary-output: provenance-summary.json
 ```
 
@@ -220,7 +223,15 @@ 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
-are available in the `0.2.x` line; the examples in this README pin `0.3.0`.
+ship in the current release line; examples in this README pin `0.5.0`.
+
+## Security: Ed25519 via cryptography
+
+Ed25519 signing, verification, and key generation use the [`cryptography`](https://pypi.org/project/cryptography/)
+package (required dependency, `>=42.0`). Official wheels ship native crypto
+backends (OpenSSL + Rust components) — no Rust toolchain for users. All
+primitives are centralized in `matrixscroll/crypto_backend.py`; see
+[`docs/CRYPTO_BACKEND.md`](docs/CRYPTO_BACKEND.md).
 
 ## Why it is different from Sigstore
 
@@ -235,21 +246,23 @@ when they preserve the same pure Ed25519 byte contract.
 
 ## Public proof links
 
-- Browser verifier: <https://matrixscroll.com/verify/>
-- Compare page: <https://matrixscroll.com/compare/>
+- Browser verifier: <https://ssx360.com/verify>
+- Compare page: <https://ssx360.com/compare>
+- Documentation: <https://ssx360.com/docs>
 - Specification: [`SPEC.md`](SPEC.md)
 - Commit envelope schema: [`schemas/commit-envelope.v1.json`](schemas/commit-envelope.v1.json)
 - Whitepaper: [`docs/WHITEPAPER.md`](docs/WHITEPAPER.md)
 - 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://matrixscroll.com>
-- 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.1"
+pip install "matrixscroll==0.5.0"
 ```
 
 ```python
@@ -359,7 +372,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.1"
+pip install "matrixscroll[mcp]==0.5.0"
 matrixscroll-mcp   # stdio
 ```
 
@@ -379,5 +392,5 @@ Report vulnerabilities privately to
 
 ---
 
-**Protocol:** https://matrixscroll.com · **Verify:** https://matrixscroll.com/verify/  
+**Protocol:** https://ssx360.com/docs · **Verify:** https://ssx360.com/verify  
 **Control plane:** https://ssx360.com · **Pilot:** mission@ssx360.com · **Sign in:** https://ssx360.com/signup

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/SPEC.md

@@ -196,3 +196,58 @@ Signed release metadata (version, tag, artifact list). JSON Schema:
 
 Signed audit or agent-scope evidence. JSON Schema:
 [`schemas/evidence-pack.v1.json`](schemas/evidence-pack.v1.json).
+
+## 11. Post-quantum overlay (v1.1 extension)
+
+Matrix Scroll v1 **requires** an Ed25519 `signature` block (§5). USB, NFC, and SE050
+hardware signers produce **only** this block today and remain unchanged.
+
+Software signers MAY attach an optional `pqc_signatures` array for FIPS 204 (ML-DSA)
+and FIPS 205 (SLH-DSA) post-quantum overlays. This is an **additive** extension;
+verifiers that do not implement PQC MUST still verify Ed25519 and MAY ignore
+`pqc_signatures`.
+
+### 11.1 PQC signature block
+
+Each element of `pqc_signatures`:
+
+```json
+{
+  "schema": "matrixscroll.pqc_signature.v1",
+  "algorithm": "ml-dsa-65",
+  "public_key": "<base64(raw public key bytes)>",
+  "value": "<base64(detached signature)>",
+  "signed_at": "<RFC 3339 UTC, informational>"
+}
+```
+
+Allowed `algorithm` values: `ml-dsa-44`, `ml-dsa-65`, `ml-dsa-87`,
+`slh-dsa-sha2-128s`, `slh-dsa-sha2-128f`.
+
+Hardware envelopes (`signature.mode` = `"hardware"`) MUST NOT include
+`pqc_signatures` until secure-element firmware supports PQC. Policy engines
+MUST exempt hardware mode from `require_pqc` rules.
+
+### 11.2 Canonical input for PQC (§4.1)
+
+PQC signing and verification remove **both** top-level keys `"signature"` and
+`"pqc_signatures"` before applying §4 encoding rules. Because Ed25519 is applied
+first, the PQC signing input is byte-identical to the Ed25519 signing input.
+
+### 11.3 Verification
+
+1. Verify Ed25519 per §6 (always required).
+2. If `pqc_signatures` is absent, stop (valid for v1-only policy).
+3. For each PQC block: validate `schema`, decode keys, verify against PQC canonical bytes.
+4. If policy requires PQC and verification fails or array is missing (non-hardware), reject.
+
+### 11.4 Policy knobs
+
+| `require_pqc` | Behavior |
+| ------------- | -------- |
+| `false` (default) | PQC optional |
+| `emulated_only` | Require valid PQC when `signature.mode` is `emulated` or `tpm` |
+| `true` | Require valid PQC for all modes except `hardware` |
+
+JSON Schema: [`schemas/pqc-signature.v1.json`](schemas/pqc-signature.v1.json),
+[`schemas/commit-envelope.v1.1.json`](schemas/commit-envelope.v1.1.json).

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/docs/ADOPTER_KIT.md

@@ -11,7 +11,7 @@ who want to trial Matrix Scroll without changing their core workflow.
 
 ## 15-minute pilot
 
-1. Install `matrixscroll==0.3.0` in one repo.
+1. Install `matrixscroll==0.4.1` in one repo.
 2. Run `matrixscroll hook-install`.
 3. Make one agent-assisted commit and verify it locally.
 4. Publish notes with `matrixscroll envelope-publish-notes`.
@@ -38,7 +38,7 @@ jobs:
           head-ref: ${{ github.event.pull_request.head.sha }}
           base-ref: ${{ github.event.pull_request.base.sha }}
           source: notes
-          matrixscroll-version: "0.3.0"
+          matrixscroll-version: "0.4.1"
           require-mode: emulated
 ```
 
@@ -64,7 +64,7 @@ jobs:
 ## Clean-machine proof status
 
 Recorded on `2026-06-21` against the pinned public flow:
-`pip install "matrixscroll==0.3.0"` -> `matrixscroll hook-install` ->
+`pip install "matrixscroll==0.4.1"` -> `matrixscroll hook-install` ->
 `matrixscroll hook-status` -> first agent-assisted commit ->
 `matrixscroll envelope-verify`.
 

matrixscroll-0.5.0/docs/CRYPTO_BACKEND.md

@@ -0,0 +1,53 @@
+# Cryptographic backend (middle path)
+
+Matrix Scroll v0.5.0+ routes all Ed25519 and security-relevant SHA-256
+operations through a single Python module: `matrixscroll/crypto_backend.py`.
+
+Post-quantum overlays (ML-DSA FIPS 204, SLH-DSA FIPS 205) are optional and
+implemented via `matrixscroll/pqc.py` when `matrixscroll[pqc]` (liboqs-python)
+is installed. **USB/NFC/SE050 hardware signers remain Ed25519-only.**
+
+## Design
+
+| Approach | What users install | Crypto implementation |
+| -------- | ------------------ | --------------------- |
+| **Full Rust rewrite** | Python SDK + Rust extension build chain | Custom PyO3/maturin crate |
+| **Middle path (this release)** | `pip install matrixscroll` only | `cryptography` wheels (OpenSSL + Rust components) |
+| **Pure Python fallback** | No native deps | Not used — removed from the reference SDK |
+
+The middle path keeps the public Python API, CLI, and MCP surface unchanged while
+moving primitive work onto battle-tested native code shipped inside official
+`cryptography` wheels. Users never run `cargo` or `maturin`.
+
+## Primitives
+
+| Operation | Module API | Underlying primitive |
+| --------- | ---------- | -------------------- |
+| Ed25519 key generation | `generate_ed25519_private_key()` | `cryptography.hazmat.primitives.asymmetric.ed25519` |
+| Ed25519 sign / verify | `ed25519_sign`, `ed25519_verify` | Same |
+| SHA-256 (device IDs, gate digests, Rekor bridge) | `sha256`, `sha256_hex` | `cryptography.hazmat.primitives.hashes.SHA256` |
+| ML-DSA / SLH-DSA overlay (optional) | `pqc_sign`, `pqc_verify` | `liboqs-python` via `matrixscroll[pqc]` extra |
+
+Git object hashing (`hashlib.sha1` in `matrixscroll/git.py`) stays on the
+stdlib because it implements Git wire-format identifiers, not provenance
+signatures.
+
+## Optional provider paths
+
+- **Emulated / TPM mock / SE050 mock** — software Ed25519 via this backend.
+- **SE050 hardware** — signing occurs on the secure element; the host verifies
+  responses with the same backend where needed.
+- **YubiKey PIV preview** — experimental ECDSA path; not part of the v1 Ed25519
+  contract and not routed through Ed25519 helpers here.
+
+## Dependency pin
+
+`pyproject.toml` requires `cryptography>=42.0` as a mandatory (non-optional)
+dependency.
+
+## Diagnostics
+
+```python
+from matrixscroll.crypto_backend import backend_info
+print(backend_info())
+```

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/docs/FIVE_MINUTES.md

@@ -12,7 +12,7 @@ five-minute path from `pip install` to a verifiable commit envelope.
 ## 1. Install the SDK
 
 ```bash
-pip install "matrixscroll==0.3.0"
+pip install "matrixscroll==0.4.1"
 matrixscroll hook-install
 matrixscroll hook-status
 ```
@@ -61,7 +61,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.3.0"
+    matrixscroll-version: "0.4.1"
     require-mode: emulated
 ```
 

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/docs/ROADMAP_2026-07.md

@@ -8,13 +8,13 @@ what ships now before widening the story.
 ## Baseline on June 21, 2026
 
 - GitHub: early public repo, product-first docs, and offline verification
-- Current public release target: `matrixscroll==0.3.0`
+- Current public release: `matrixscroll==0.5.0`
 - Public trust contract: pure Ed25519 over canonical manifest bytes
 - Hardware path: SSX360 SE050 reference implementation in progress
 
 ## Next 7 days
 
-- cut and publish `0.3.0` without widening the manifest or verify surface
+- Public release: `matrixscroll==0.5.0` (universal provenance + scroll commit)
 - make the GitHub Action a real public proof surface
 - align site, README, action docs, and PyPI around one install flow
 - remove broken links and stale release drift from public copy

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/docs/SECURITY_PROPERTIES.md

@@ -1,6 +1,6 @@
 # Matrix Scroll security properties
 
-Machine-checkable guarantees for the reference SDK (v0.4.0). Properties marked
+Machine-checkable guarantees for the reference SDK (v0.5.0). Properties marked
 **verified** have Hypothesis property tests in `tests/test_security_properties.py`.
 Formal TLA+ models are on the public roadmap.
 
@@ -13,6 +13,16 @@ Formal TLA+ models are on the public roadmap.
 | **P5** | Offline verification | Envelope verification requires no network, hosted API, or hardware ping once the envelope and trusted key set are local. | **Verified** (unit) |
 | **P6** | Algorithm binding | Only Ed25519 (RFC 8032) signatures with `algorithm: "ed25519"` are accepted; other algorithms are rejected. | **Verified** (unit + vectors) |
 
+## Cryptographic backend
+
+All Ed25519 and security-relevant SHA-256 operations in the reference SDK route
+through `matrixscroll/crypto_backend.py`, backed by the [`cryptography`](https://pypi.org/project/cryptography/)
+package (official wheels bundle OpenSSL and Rust components; users install with
+`pip install matrixscroll` only). There is no pure-Python Ed25519 fallback.
+
+See [`CRYPTO_BACKEND.md`](CRYPTO_BACKEND.md) for the middle-path design vs a full
+Rust rewrite.
+
 ## Standards alignment
 
 - **Ed25519:** [RFC 8032](https://www.rfc-editor.org/rfc/rfc8032) — 32-byte seed, 32-byte public key, 64-byte signature.

{matrixscroll-0.4.1 → matrixscroll-0.5.0}/docs/SOFTWARE_PRODUCTS.md

@@ -5,7 +5,7 @@ manifest bytes today.
 
 | Product | Status | Access | Notes |
 |---------|--------|--------|-------|
-| **Matrix Scroll SDK** | GA | PyPI `matrixscroll==0.3.0` | Hooks, envelopes, Scroll Gate, policy CLI |
+| **Matrix Scroll SDK** | GA | PyPI `matrixscroll==0.4.1` | Hooks, envelopes, Scroll Gate, policy CLI |
 | **Scroll Gate CI** | GA | [`matrixscroll-verify-action@v1`](https://github.com/SSX360/matrixscroll-verify-action) | PR range + manifest verify |
 | **Browser verifier** | GA | [matrixscroll.com/verify](https://matrixscroll.com/verify/) | Offline paste-and-verify |
 | **Protocol docs** | GA | [matrixscroll.com/docs](https://matrixscroll.com/docs/) | SPEC mirror, whitepaper, quickstarts |
@@ -18,7 +18,7 @@ manifest bytes today.
 ## Developer install
 
 ```bash
-pip install "matrixscroll==0.3.0"
+pip install "matrixscroll==0.4.1"
 matrixscroll hook-install
 export MATRIXSCROLL_ACTOR_TYPE=agent
 export MATRIXSCROLL_TOOL=agent-runner
@@ -34,7 +34,7 @@ matrixscroll envelope-verify "$(git rev-parse HEAD)"
     head-ref: ${{ github.event.pull_request.head.sha }}
     base-ref: ${{ github.event.pull_request.base.sha }}
     source: notes
-    matrixscroll-version: "0.3.0"
+    matrixscroll-version: "0.4.1"
     summary-output: provenance-summary.json
 ```