Programs

01 / v1.0.0 / C++20

A small compile-time kernel for comparing proposed changes against a fixed, typed reference.

Use

Audit reference address, jurisdiction, type, evidence and receipt before a candidate enters reuse. Locked-value preservation, substitution refusal and stale-reference cases have explicit outcomes.

Built from

Header-only C++20 types, constexpr operations and static assertions. The earlier Python MIRROR_CUT source remains in the package as provenance.

Verification

The supplied strict C++20 build and executable passed here. These checks establish the encoded cases; semantic authority still comes from the declared reference and evidence.

Run

c++ -std=c++20 -Wall -Wextra -Werror -pedantic -Iinclude tests/test_compile.cpp -o mirror_audit_test

Author-supplied release; a general reuse license is not specified in the package.

02 / v0.1 checker / v0.3 Lean source

A proof-bearing audit of whether a reported coordinate contains enough information to support a downstream decision.

Use

Test read collisions, decision factorization on read fibers, recoverability and supplemental readers. Economic interpretations keep their own stated conditions.

Built from

Lean theorem source plus a dependency-free Python finite model checker. The v0.3 handoff appends a three-state counterexample to a canonical least sufficient supplement.

Verification

The v0.1 exhaustive finite checks passed here. The v0.3 source is supplied with its handoff and earlier receipts; a fresh v0.3 Lean elaboration remains open.

Run

python3 finite_witness_check.py

Author-supplied releases; a general reuse license is not specified in these packages.

03 / v0.3 / single-file HTML

An interactive operator instrument that keeps present state, lifted address, ordered provenance and execution receipt separately readable.

Use

Explore quarter-turn return, golden carriage and the distinction between a returning quotient position and a continuing traversal. Begin, Lift, Return and Pause expose the instrument’s operations.

Built from

A standalone browser page with exact BigInt matrix arithmetic for the operator root and numerical coordinates for the projective display.

Verification

The source includes startup identities and an exact state/debug read. The display and geometric coordinates retain their numerical status.

Run

Save the HTML file and open it in a browser.

Author-supplied instrument; a general reuse license is not specified in the file.

04 / Zero-Noise Contact v0.1.0

A jurisdiction-first continuation protocol for carrying reference, required relations and earned claim strength between language-model turns.

Use

Load the canonical kernel and committed state, compare each proposed continuation, and append the admitted result as a receipt. The bridge specimen gives a concrete repair sequence.

Built from

Plain-text bootstrap, JSON kernel and state, typed receipt schemas, conformance fixtures and an append-only bridge record. The download is an identified website snapshot of those source files.

Verification

The protocol specifies admission and repair. Host enforcement, semantic extraction and model compliance remain separately implemented and evaluated.

Run

Load kernel/bootstrap.txt together with kernel/current.json and state/current.json.

Public source snapshot; the repository explicitly marks its reuse license as pending.

05 / Zero-Noise Runtime v0.3 / Python

A deterministic binder between proposed natural-language relations and their exact source evidence.

Use

Check source digests, quoted evidence spans, known offices and declared claim strength before a proposed edge enters RETURN_COMPARE.

Built from

Python runtime, JSON schemas, source-bound fixtures and a demonstration. The model or parser proposes a relation; the deterministic binder checks its evidence connection.

Verification

All six supplied semantic-adapter test groups passed here. Source-bound evidence checking leaves semantic interpretation to its own audit.

Run

python3 test_semantic_adapter.py

Author-supplied release; a general reuse license is not specified in the package.

06 / 22 August 2026 / Python

A dependency-free entrance to a bounded set of exact algebraic and finite combinatorial claims.

Use

Recompute the root algebra, mirror/lift relations, specified Lie-bracket and anomaly counts, invariant-form obstruction and finite CHSH witnesses.

Built from

Exact rational and quadratic-field arithmetic in one Python file, with explicit assertions for each verification block.

Verification

All five blocks passed here. The result is a mathematical verification receipt inside the declared carriers.

Run

python3 verify-exact-kernel.py

Public continuity snapshot; a reuse license has not been selected.