ChronoRealm

Technical development, formal verification, software prototyping, and independent review.

Status: Active development and external review.

Bitcoin mainnet receiving address

bc1qxzvuhxfq2qckvxkpd3t87drr7c25ygqmevtkj6

Receiving address provided by project lead Austin Simpkins.

Support is received only through the Bitcoin mainnet treasury address shown on this page.

Network boundary: Regtest BTC is test-only and cannot be converted into mainnet BTC.

$10,000 validation and pilot milestone

Support a reproducible ChronoRealm pilot, technical review, and documented human evaluation. The brief includes a proposed budget, eight-week plan, recorded test results, and unresolved questions.

Read the $10,000 funding brief

September 13, 2026. Grant or sponsorship request; no financial return promised.

Technical Verification

The bounded public formal-verification evidence, reproduction materials, claim boundaries, and falsification instructions are maintained separately in the ChronoRealmVerification repository.

Reviewers are specifically invited to challenge the Step 17 to Step 17B projection/refinement soundness.

Funding does not imply technical endorsement, and technical review does not imply funding support or endorsement.

Read the test-result summary and funding brief

Whole-system test report — September 11, 2026

39 of 39 suites reported PASS, with 2,596 tests counted. The recorded report was generated September 11, 2026 at 21:21:09 and reports that the live operator database remained unchanged.

Governance and verification: 462 governance unit tests counted (one skipped), 140/140 kernel self-tests, 173/173 extended self-tests, and 402 verification-suite tests.
Python/Rust agreement: matching verdicts across a fresh 842-record chain corpus and 70 grammar cases. Stored 1,490-record answer files also agreed.
Rust reader: 49 tests passed; lint and formatting checks passed. Directory and JSONL modes produced byte-identical answers for 2,007 events (2,000 accepted and seven refused).
Integration and products: 58 bridge tests; 14 game-to-verification round-trip tests; ClaimLens 32, Chronicle 28, and AgentGate 56 tests reported passing.
Formal-model checks: the report records TLA+/TLC and Alloy outcomes as expected, and temporal checks T1–T9 as holding within the tested configurations.

Scope: This is a summary of the existing local HTML results report, not a fresh rerun or independent certification. The total is the report's counted tests, not a claim of 2,596 unique assertions or all tests executed: governance and Books suites each note one skip, and some suites have no numeric count. These results do not by themselves establish production readiness, full native GUI acceptance, or Step 17 → Step 17B projection soundness. Source code, raw logs, and local filesystem paths are not included.

Evidence ledger

ChronoRealm Step 17B projected-model verification completed

2026-08-10 15:12:54 UTC - formal-verification

The original Step 17 TLA+ model was preserved as resource-exhausted/incomplete after disk exhaustion during state-space exploration. A separately named projected model, Step 17B, removed append-only history sequences while retaining the current-state variables and epistemic safety properties. TLC completed the projected model with no invariant violation: 322,545 distinct states at MaxSteps=8 and 531,441 distinct states at MaxSteps=12, with zero states left on queue in both runs. The projection itself is not claimed as proven; external adversarial review is being requested specifically for quotient/refinement soundness.

Source: ChronoRealm Step 17B Result/Evidence Bundle — 2026-08-10

Record hash: 5b8529f96f600c59c849ce500518340e83a68faa48dfac95ed99f76fe7663e75

Export integrity

This public export contains 1 evidence record(s).


761d1c6081a494328306497fb61402861ec5c4ec8db36975b3efc5ad82cc3645

This page is a project-funding and evidence summary. It is not an investment offering, financial product, or promise of return.