Skip to main content

system-spec-ref

Contract-first system specification toolkit: metamodel validator (system-spec), JSON Schema, greenfield/brownfield workflows, examples and formal-model skill guides (TLA+, Alloy, Modelable).

pip install system-spec-ref
system-spec --version
system-spec spec.yaml --stage architecture
system-spec export ./system-spec    # offline docs, examples, skills, WIRING.md

Metadata

Release files for system-spec-ref 0.4.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for system-spec-ref 0.4.0
File Size Uploaded Provenance Actions
system_spec_ref-0.4.0.tar.gz 336.5 kB With provenance Details for system_spec_ref-0.4.0.tar.gz

Built distribution (wheel)

Table of built distributions (wheels) for system-spec-ref 0.4.0
File Interpreter ABI Platform Actions
system_spec_ref-0.4.0-py3-none-any.whl Python 3 none any Details for system_spec_ref-0.4.0-py3-none-any.whl

Total release size: 556.5 kB

Release files / system_spec_ref-0.4.0.tar.gz

Download URL system_spec_ref-0.4.0.tar.gz
Size 336.5 kB
Tags Source
SHA-256 checksum
How to use checksums
54d05316cbdaef411f172fb7f2193eb2872b53f340ad6aa8aa9175269ca62737
BLAKE2b-256 checksum
How to use checksums
ea937b60a1faf793d3bdc1eac0ba74ddc294b2bca593c2fc1e223d9548c7f279
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/7.0.0 CPython/3.13.16

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 Nov 1, 2026.

Transparency log

Release files / system_spec_ref-0.4.0-py3-none-any.whl

Download URL system_spec_ref-0.4.0-py3-none-any.whl
Size 220.0 kB
Tags Python 3
SHA-256 checksum
How to use checksums
efbadff0a9d2a9e3bb6b840152dfa69a3b6ac51b8e18e27ebd469b2a767461aa
BLAKE2b-256 checksum
How to use checksums
0860af49f6ce1e7cfb04e46a3b1565f42d310385b0af59de12845911a5e7c164
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/7.0.0 CPython/3.13.16

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 Nov 1, 2026.

Transparency log

Security for system-spec-ref 0.4.0

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.

Full provenance

All 2 files in this release have been uploaded with provenance metadata.

Select from 2 files

Attestation for system_spec_ref-0.4.0.tar.gz

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 Nov 1, 2026.

Transparency log

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

To learn more about protecting yourself from malicious actors, visit our package security documentation.

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page