state-substrate
Model → verify → attest → sign → publish. A composition layer for finitely-presentable transition systems.
What it does
models.py— finite transition systems, closure, existential/universal attractorsattest.py— canonical JSON, RFC 6962 Merkle trees, Ed25519 signerplans.py— capability-effect plans with signed approval gatessubstrate.py— the composition: attest a system as a signed state vector
What it does not do
It does not map all physical, digital, biological, and mathematical systems. No library does. Supported: finite deterministic and nondeterministic digital systems, symmetric systems, bounded protocols, causal-order distributed systems. Approximated: continuous physical and stochastic biological systems after discretization. Not supported: unbounded systems, quantum, mathematical universes.
Cryptography proves integrity, not correctness. A buggy transition function produces a valid Merkle proof of a wrong state.
Test
cd state-substrate && PYTHONPATH=src pytest -q
1 maintainer
Metadata
1 maintainer
Release files for state-substrate 0.1.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| state_substrate-0.1.0.tar.gz | 6.6 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| state_substrate-0.1.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 13.8 kB
Release files / state_substrate-0.1.0.tar.gz
| Download URL | state_substrate-0.1.0.tar.gz |
|---|---|
| Size | 6.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
aac716347761eb8ca9a354d06bc595790ade6b447cf0563f5f93c093f583bbbf
|
|
BLAKE2b-256 checksum How to use checksums |
72bd2ef8407f675f2fe52ea0420389e46fdcc9ac900e965a44740e89e7dd13d0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency logRelease files / state_substrate-0.1.0-py3-none-any.whl
| Download URL | state_substrate-0.1.0-py3-none-any.whl |
|---|---|
| Size | 7.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
ae44f62738ac19a5cfe56f8eb821a52a1df352969298bf158f7960e30ba41b33
|
|
BLAKE2b-256 checksum How to use checksums |
27201d22096ab22694f6823135b7df53a3a32a662c827a925f1db0822ace6cf1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 27, 2026.
Transparency log
