Governing invariants
The five declared properties of the draft standard.
Read the invariantsDraft / Reference snapshot
This public snapshot contains the draft specification, reference verifier and watcher, tests, dependency lock, and licenses. You can read the files and download them without a GitHub account.
September 26, 2026 · v1.0-rc2 invariants · v2.1 signed schema proposed, not ratified
01 / Read
These links open the actual source as plain text. The ZIP also includes the tests and machine-readable schema.
The five declared properties of the draft standard.
Read the invariantsThe boundaries of append, project, and cut.
Read operator semanticsThe proposed signed format and explicit legacy verification rules.
Read the receipt schemaInspect the implementation before using its explicit mode and trust-anchor options.
Read verify_chain.pyA reference observer and writer; deployment independence remains your responsibility.
Read krineia_watcher.pySetup, licensing, proposal instructions, and the boundaries of this export.
Read the snapshot guide02 / Run
After extracting the ZIP, run
python verify_snapshot.py to compare the payload with
its manifest. Create a Python virtual environment and install the
included hash-pinned requirements before running
python -m pytest -q. The snapshot guide includes
Windows and Unix setup instructions.
Legacy structural inspection uses Python's standard library. Strict
Ed25519 verification and writing require the included
cryptography dependency. A real assurance result also
needs independently trusted keys and head/count anchors; a checksum
or passing test is not proof that a claimed event occurred.
03 / Publication scope
The original repository remains private. This package excludes its Git history, operational receipts, papers, product drafts, workflows, deployment settings, and private discussions. Publishing this subset does not clear the full repository for publication or ratify the proposed schema.
The manifest pins source commit 928f75431d33 in full
and distinguishes unchanged source files from the export guide and
configuration. The included source is available under MIT or
Apache-2.0; trademark rights are not granted.