matrixscroll 0.5.0__tar.gz → 0.5.1__tar.gz

{matrixscroll-0.5.0 → 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.5.0 → matrixscroll-0.5.1}/CHANGELOG.md

@@ -4,6 +4,15 @@ 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).
@@ -205,6 +214,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.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

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: matrixscroll
-Version: 0.5.0
+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
@@ -15,7 +15,7 @@ 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
@@ -62,7 +62,7 @@ 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 AI-assisted commit.** Matrix Scroll is an
 **open protocol for cryptographically signed, AI-assisted code provenance** — Ed25519 commit
@@ -103,7 +103,7 @@ Agents sign commits in-loop via the **provenance-only** MCP server:
 ```
 
 ```bash
-pip install "matrixscroll[mcp]==0.5.0"
+pip install "matrixscroll[mcp]==0.5.1"
 matrixscroll-mcp   # stdio — register in Cursor / Claude Desktop / VS Code
 ```
 
@@ -114,7 +114,7 @@ matrixscroll-mcp   # stdio — register in Cursor / Claude Desktop / VS Code
 ## Also available — CLI & hooks
 
 ```bash
-pip install "matrixscroll==0.5.0"
+pip install "matrixscroll==0.5.1"
 matrixscroll hook-install
 export MATRIXSCROLL_ACTOR_TYPE=agent
 export MATRIXSCROLL_TOOL=agent-runner
@@ -178,7 +178,7 @@ canonical UTF-8 JSON bytes (see [`SPEC.md`](SPEC.md) §4). Verifiers reject any
 
 ## Honest limits
 
-- Shipping now: PyPI `matrixscroll==0.5.0`, 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
@@ -226,7 +226,7 @@ alongside your existing scanners, branch protection, and build attestations.
 ## Quickstart (CLI)
 
 ```bash
-pip install "matrixscroll==0.5.0"
+pip install "matrixscroll==0.5.1"
 matrixscroll hook-install
 matrixscroll hook-status
 
@@ -253,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.5.0"
+    matrixscroll-version: "0.5.1"
     require-mode: emulated
 ```
 
@@ -273,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.5.0"
+    matrixscroll-version: "0.5.1"
     summary-output: provenance-summary.json
 ```
 
@@ -281,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.5.0`.
+ship in the current release line; examples in this README pin `0.5.1`.
 
 ## Security: Ed25519 via cryptography
 
@@ -320,7 +320,7 @@ when they preserve the same pure Ed25519 byte contract.
 ## Python API
 
 ```bash
-pip install "matrixscroll==0.5.0"
+pip install "matrixscroll==0.5.1"
 ```
 
 ```python
@@ -430,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.5.0"
+pip install "matrixscroll[mcp]==0.5.1"
 matrixscroll-mcp   # stdio
 ```