Deterministic System Specification - Version 1.0
Authors/Creators
Description
This archive contains Version 1.0 of the Deterministic System Specification and its companion document, the Deterministic System Specification — Versioning and Stability Policy.
The specification defines the abstract relational semantics of deterministic state-transition systems, including axioms, execution semantics, and conformance conditions.
Version 1.0 supersedes Version 0.1. No normative semantic changes were introduced.
The archive includes:
- The authoritative Markdown sources
- The publication-ready PDF versions
- The versioning and stability policy
- The license and reproducibility metadata
This package constitutes the complete, immutable publication artifact for Deterministic System Specification Version 1.0.
All files are authoritative for citation, archival reference, and long-term reproducibility.
Canonical source repository:
https://github.com/jan-zdrahal/deterministic-system-specification
Notes (English)
Author Cryptographic Identity (informational)
The author maintains a cryptographic identity anchored in the DNS domain zdrahal.eu.
The TXT record _id.zdrahal.eu contains a SHA3-256 hash commitment to the author’s public identity document:
https://dirr-identity.org/identity/person/v1/janzdrahal.json
This information is provided only as optional, external author metadata and is not part of the specification described in this publication.
Files
v1.0.zip
Files
(159.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:a5d8a395c79a7c095bd4a1a6114182d0
|
159.3 kB | Preview Download |