QEC is a deterministic, replay-safe proof and systems architecture for quantum error correction, canonical hashing, replay validation, decoder governance, and now executable symbolic sonification runtime/event-mapping work, with QEC OS runtime/benchmark work deferred to v193.x.
It turns computation, evidence, governance, replay validation, adapter-bound external systems, quantum-signal claim boundaries, decoder-governance receipts, symbolic sonification runtime contracts, and deferred runtime/benchmark contracts into canonical JSON / SHA-256 proof artifacts.
The repository began with a Layer 1 QEC decoder and now extends that foundation into a broader deterministic proof stack for replay-safe computation, provenance validation, adapter-bound external systems, bounded semantic reasoning, receipt-chain decoder governance, and the post-v166.8 pivot toward an executable symbolic sonification runtime.
The v166.x decoder-governance arc completed through v166.8: it declares the
existing decoder baseline, registers candidate decoders as adapter-only
hypotheses, verifies replay and fast-path transcript equivalence, bounds
implementation and benchmark surfaces, requires rollback readiness, and records
promotion eligibility as a receipt-chain decision without mutating
src/qec/decoder/.
After v166.8, the v167.x frontier pivots toward executable symbolic sonification runtime work: deterministic event schemas, mapping packs, ternary/fuzzy state mapping, graph traversal, Ο/Fibonacci rhythm and pitch mapping, MIDI-like export, lyric prompt compilation, QEC proof telemetry sonification, CLI fixtures, and demo benchmarks.
QEC is not claiming that symbolic sonification proves physics, biology, medicine, cosmology, QEC advantage, or decoder correctness. The prior QEC OS runtime and benchmark reset is deferred to the v193.x sequence.
In this README, QEC means the QSOLKCB/QEC software system and release lineage.
Deterministic Proof Stack β’ Canonical JSON β’ SHA-256 Artifacts β’ Replay Validation β’ Decoder Governance Complete Through v166.8 β’ Symbolic Sonification Runtime Pivot β’ Event Schemas β’ Mapping Packs β’ Ternary / Fuzzy Music State β’ Graph Music Mapping β’ Ο / Fibonacci Rhythm and Pitch β’ MIDI-like Export β’ Lyric Prompt Compilation β’ QEC Proof Telemetry Sonification β’ CLI Fixtures β’ Demo Benchmarks β’ Deferred v193.x QEC OS Runtime Reset β’ Adapter Boundaries β’ Source-Bound Claims β’ Canonical Decoder Baselines β’ Decoder Candidate Manifests β’ Decoder Replay Equivalence β’ Decoder Optimization Contracts β’ Decoder Fast-Path Equivalence β’ Decoder Implementation Boundaries β’ Decoder Benchmark Ladders β’ Decoder Rollback Receipts β’ Decoder Promotion Receipts
Current release line: v166.8 Current frontier: v167.0 β SymbolicSonificationRuntimeSkeleton Active arc: v167.x β Symbolic Sonification Runtime & Event Mapping Deferred arc: v193.x β QEC OS Runtime & Benchmark Reset Completed arc: v166.x β QLDPC / Hashing-Bound Code Receipts / Decoder Governance
Repository status is current through v166.8 β DecoderPromotionReceipt.
Recent release arcs completed or active:
- v165.5.x β Deterministic dataframe / columnar backend receipts.
- v165.6.x β AI-scientist / research automation provenance receipts.
- v165.7.x β LLM inference / parameter-golf / tokenization receipts.
- v165.8.x β Agent observability / skill-library receipts.
- v165.9.x β Quantum memory / QPE / geometry signal receipts.
- v166.x β Canonical decoder baseline, candidate, replay, optimization, fast-path, implementation-boundary, benchmark-ladder, rollback, and promotion receipts.
- v167.x β Executable symbolic sonification runtime skeleton, Cosmovirus mapping pack, ternary/fuzzy music state, graph music mapper, Ο/Fibonacci rhythm and pitch, MIDI-like export, lyric prompt compiler, proof telemetry sonifier, CLI fixtures, and demo benchmarks.
- v193.x β Deferred QEC OS runtime skeleton, golden corpus, decoder runtime API, explicit decoder router, GF(2)/stabilizer core, QLDPC construction harness, syndrome/noise runtime, benchmark harness, cross-backend differential tests, and Odin readiness.
Recent preprint: QSOLKCB/QEC v155.x: Deterministic Entropy and Decay Signatures β Hash-Bound Checkpoints, Subsystem Drift Receipts, and Replay-Resistant Proof Chains.
| Property | Status |
|---|---|
| Deterministic canonical hashing | Stable |
| Frozen proof artifacts | Stable |
| Replay-safe validation | Stable |
| Self-hash exclusion | Stable |
| Recomputed-hash validation | Stable |
| Canonical JSON + SHA-256 receipt identity | Stable |
| Child-before-aggregate validation | Stable |
| Recompute-not-trust validators | Stable |
| Source-bound claim enforcement | Stable |
| Adapter-only external boundary handling | Stable |
| Hidden runtime execution rejection | Stable |
| Hidden authority semantic rejection | Stable |
| Exact bool / int alias rejection | Stable |
| Forbidden semantic normalization | Stable |
| Decoder source immutability boundary | Stable |
| No silent decoder replacement | Stable |
| GameWorld interaction receipts | Complete through v156.6 |
| Perturbation/stress contracts | Complete through v157.3 |
| Substrate constraint receipts | Complete through v158.3 |
| Bounded recursive proof loops | Complete through v159.3 |
| Reality-loop composition | Complete through v160.2 |
| Global validation/truth/replay receipts | Complete through v161.2 |
| IRC operator replay receipts | Complete through v162.2 |
| Heavy-dependency invariant discovery | Complete through v163.4 |
| Invariant-based optimization receipts | Complete through v164.5 |
| Optimized simulation backend receipts | Complete through v165.4 |
| Dataframe / columnar backend receipts | Complete through v165.5.4 |
| Research automation provenance receipts | Complete through v165.6.4 |
| Inference / tokenization / compression receipts | Complete through v165.7.5 |
| Agent observability / skill-library receipts | Complete through v165.8.4 |
| Quantum memory / QPE / geometry signal receipts | Complete through v165.9.4 |
| Canonical decoder baseline receipts | Complete through v166.0 |
| Decoder candidate manifests | Complete through v166.1 |
| Decoder replay equivalence receipts | Complete through v166.2 |
| Decoder optimization contracts | Complete through v166.3 |
| Decoder fast-path equivalence receipts | Complete through v166.4 |
| Decoder implementation boundary receipts | Complete through v166.5 |
| Decoder benchmark ladder receipts | Complete through v166.6 |
| Decoder rollback receipts | Complete through v166.7 |
| Decoder promotion receipts | Complete through v166.8 |
| Symbolic sonification runtime skeleton | Planned v167.0 |
| Cosmovirus mapping pack | Planned v167.1 |
| Ternary/fuzzy music state engine | Planned v167.2 |
| Topological graph music mapper | Planned v167.3 |
| Golden-ratio rhythm/pitch engine | Planned v167.4 |
| Symbolic event MIDI exporter | Planned v167.5 |
| Lyric prompt compiler | Planned v167.6 |
| QEC proof telemetry sonifier | Planned v167.7 |
| Sonification CLI and fixtures | Planned v167.8 |
| Sonification demo corpus and benchmark | Planned v167.9 |
| QEC OS runtime skeleton | Deferred v193.0 |
| Golden corpus fixtures | Deferred v193.1 |
| Baseline decoder runtime API | Deferred v193.2 |
| Promoted decoder runtime router | Deferred v193.3 |
| GF(2) / stabilizer core | Deferred v193.4 |
| QLDPC construction harness | Deferred v193.5 |
| Syndrome / noise runtime | Deferred v193.6 |
| Benchmark harness + logical error rate | Deferred v193.7 |
| Cross-backend differential harness | Deferred v193.8 |
| Odin port readiness and parity spec | Deferred v193.9 |
| Release metadata safety tooling | Hardened through v165.3.3 |
QEC is a deterministic proof-carrying system.
It does three things:
- Receives structured inputs.
- Converts them into canonical, hash-bound proof artifacts.
- Revalidates those artifacts by recomputing their canonical hashes.
QEC does not make the world deterministic.
QEC makes boundaries deterministic.
QEC is useful when you need proof objects that are:
- replay-safe
- tamper-evident
- deterministic
- canonical JSON based
- explicit about failure modes
- bounded rather than open-ended
- lineage-preserving across release arcs
- safe around external backends and heavy dependencies
- strict about simulation, benchmark, telemetry, and report boundaries
- explicit about research provenance, citation integrity, and claim scope
- strict about inference, tokenization, compression, memory, and cache boundaries
- strict about agent observation, tool dispatch, crawler, and pattern-decision boundaries
- source-bound around QPE, quantum-memory, quantum-geometry, and graph-universe claims
- explicit about decoder baseline immutability and candidate-governance boundaries
- strict about decoder replay equivalence, benchmark ladders, rollback, and promotion receipts
- ready to gate v167.x sonification runtime work through deterministic fixtures, generated artifacts, CLI checks, and demo benchmarks
QEC has completed decoder-governance receipts through v166.8.
Post-v166.8, QEC pivots toward executable symbolic sonification runtime work; QEC OS runtime work is deferred to v193.x.
Governance approval is not runtime activation.
v166.8 declares receipt-chain promotion eligibility. It does not replace decoder
source, activate runtime execution, or mutate src/qec/decoder/.
QEC OS runtime activation is deferred to v193.x and will still require a tested router plus golden corpus verification.
External tools remain adapters, not authorities.
Generated research is not evidence by default.
A citation is not proof.
Benchmarks are observations, not correctness.
A faster or smaller model is not correctness.
A faster decoder is not automatically a better decoder.
Agent traces are receipts, not dashboards.
Hardware research signals are source-bound claims, not QEC authority.
Odin migration remains deferred behind v193.x golden fixtures and parity tests.
Pipeline:
input
β canonical JSON
β stable SHA-256 hash
β frozen receipt
β validator recomputes hash
β replay-safe proof result
Executable symbolic sonification pivot pipeline:
governance-complete decoder chain
β symbolic mapping pack
β deterministic event schema
β graph/state/rhythm mapping
β MIDI-like JSON / prompt / telemetry artifact
β CLI fixtures
β demo benchmark
git clone https://github.com/QSOLKCB/QEC.git
cd QEC
python -m pip install -e ".[dev,science]"For full setup, environment, and troubleshooting details, see
INSTALL.md.
python -m pip install -e ".[dev,science]"
pytest -q -raFor full local validation, install the developer/science extras, then run
pytest -q -ra.
Rust TUI Control Surface: see USAGE.md.
| Command | Purpose |
|---|---|
python scripts/sphaera_proof_demo.py |
Runs the SPHAERA proof demo |
qec-exp --help |
Shows packaged experiment CLI commands |
pytest -q |
Runs the deterministic test suite |
pytest -q -ra |
Shows skip/warning diagnostics |
curl -fsSL https://raw.githubusercontent.com/QSOLKCB/QEC/main/tui/install.sh | sh |
Installs the Rust qec-tui launcher |
- v162.x adds a local-only IRC operator surface.
- v162.0 provides the local IRC server core.
- v162.1 adds deterministic read-only commands.
- v162.2 adds replay audit receipts for local IRC command streams.
- Default bind is
127.0.0.1. - No command execution authority is granted.
- No LLM/API integration is enabled.
python scripts/qec_irc_server.py --host 127.0.0.1 --port 6667Example IRC usage:
/join #qec
!help
!corelaw
!hashchain
QEC matters because deterministic proof artifacts make it possible to:
- replay validation instead of trusting claims
- detect tampering through stable hashes
- represent messy external systems without executing them
- compare expected and observed proof chains
- bind long research arcs into a single canonical replay chain
- separate symbolic language from deterministic artifacts
- wrap heavy scientific dependencies as adapters rather than authorities
- prove optimization boundaries before accepting fast paths
- require replay equivalence before benchmark claims
- require benchmark receipts before telemetry/report claims
- produce simulation reports without executing simulations
- declare dataframe and columnar backend behavior without trusting backend output
- bind generated research to provenance, human review, citation integrity, and claim scope
- keep inference, tokenization, compression, bandwidth, and cache policies as declarations rather than truth claims
- record agent observation traces, tool dispatch, crawler boundaries, and pattern decisions without granting hidden autonomy
- prevent hidden tool calls, hidden crawler behavior, and agent output from becoming evidence
- keep quantum-memory, QPE, geometry, and graph-universe signals source-bound and claim-bounded
- prevent hardware authority, cosmological truth, or QEC advantage claims without source-bound evidence
- preserve a canonical decoder baseline as sacred replay infrastructure
- treat decoder candidates as adapter hypotheses before promotion
- require deterministic replay equivalence before decoder-governance decisions
- keep benchmark ladders bounded to declared corpus/environment/comparator surfaces
- require rollback readiness before promotion
- declare promotion through receipts without mutating decoder source
- move from receipt-only governance to executable symbolic sonification work
- preserve the canonical baseline while keeping QEC OS runtime activation deferred to v193.x
- build deterministic sonification fixtures before returning to QEC OS golden fixtures
- require benchmarks before performance claims
- require differential tests against external adapters without treating adapters as authority when the v193.x QEC OS arc resumes
- make the future Odin fork less painful by deferring fixture and parity contracts to the v193.x QEC OS sequence
The world may be chaotic. The receipt must not be.
- v163.0 β HeavyDependencyDiscoveryManifest
- v163.1 β DependencyImportAndHotPathReceipt
- v163.2 β BackendInvariantCandidateReceipt
- v163.3 β CrossBackendEquivalenceReceipt
- v163.3.1 β Optional Scientific Dependency Test Normalization
- v163.4 β OptimizationOpportunityIndex
- v164.0 β OptimizationContract
- v164.1 β LightweightAdapterSpec
- v164.2 β CachedCanonicalKernelReceipt
- v164.3 β FastPathEquivalenceReceipt
- v164.4 β OptimizationImplementationReceipt
- v164.5 β DependencyReductionReceipt
- v165.0 β OptimizedSimulationSpec
- v165.1 β BackendEquivalenceReplayReceipt
- v165.2 β OptimizedQECBenchmarkReceipt
- v165.2.1 β Release Documentation Automation + README Boundary Enforcement
- v165.3 β OptimizedTelemetryReceipt
- v165.3.1 β Canonical Release History Reconstruction
- v165.3.2 β Release Metadata Infrastructure Hardening
- v165.3.3 β Canonical Release Manifest Infrastructure
- v165.4 β OptimizedSimulationReport
- v165.5.0 β DataframeBackendManifest
- v165.5.1 β LazyPlanCanonicalReceipt
- v165.5.2 β PolarsPandasEquivalenceReceipt
- v165.5.3 β SchemaEquivalenceReceipt
- v165.5.4 β ColumnarOptimizationOpportunityReceipt
- v165.6.0 β ResearchAutomationManifest
- v165.6.1 β PaperGenerationProvenanceReceipt
- v165.6.2 β HumanReviewBoundaryReceipt
- v165.6.3 β CitationIntegrityReceipt
- v165.6.4 β ClaimScopeReceipt
- v165.7.0 β InferenceBackendManifest
- v165.7.1 β ByteLevelModelBoundaryReceipt
- v165.7.2 β TokenizationPolicyReceipt
- v165.7.3 β ParameterGolfCompressionReceipt
- v165.7.4 β InferenceMemoryBandwidthReceipt
- v165.7.5 β KVCachePolicyReceipt
- v165.8.0 β AgentObservationTraceReceipt
- v165.8.1 β SkillLibraryManifest
- v165.8.2 β ToolDispatchTelemetryReceipt
- v165.8.3 β CrawlerBoundaryReceipt
- v165.8.4 β AgentPatternDecisionReceipt
- v165.9.0 β QPEToolboxAdapterReceipt
- v165.9.1 β QuantumMemorySignalReceipt
- v165.9.2 β SelfCorrectingMemoryClaimBoundaryReceipt
- v165.9.3 β QuantumGeometrySignalReceipt
- v165.9.4 β GraphUniverseClaimBoundaryReceipt
- v166.0 β CanonicalDecoderBaselineReceipt
- v166.1 β DecoderCandidateManifest
- v166.2 β DecoderReplayEquivalenceReceipt
- v166.3 β DecoderOptimizationContract
- v166.4 β DecoderFastPathEquivalenceReceipt
- v166.5 β DecoderImplementationBoundaryReceipt
- v166.6 β DecoderBenchmarkLadderReceipt
- v166.7 β DecoderRollbackReceipt
- v166.8 β DecoderPromotionReceipt
- v167.0 β SymbolicSonificationRuntimeSkeleton
- v167.1 β CosmovirusMappingPack
- v167.2 β TernaryFuzzyMusicStateEngine
- v167.3 β TopologicalGraphMusicMapper
- v167.4 β GoldenRatioRhythmPitchEngine
- v167.5 β SymbolicEventMIDIExporter
- v167.6 β LyricPromptCompiler
- v167.7 β QECProofTelemetrySonifier
- v167.8 β SonificationCLIAndFixtures
- v167.9 β SonificationDemoCorpusAndBenchmark
- v193.0 β QECOSRuntimeSkeleton
- v193.1 β GoldenCorpusSeed
- v193.2 β BaselineDecoderRuntimeAPI
- v193.3 β PromotedDecoderRuntimeRouter
- v193.4 β GF2AndStabilizerCore
- v193.5 β QLDPCConstructionHarness
- v193.6 β SyndromeNoiseRuntime
- v193.7 β BenchmarkHarnessAndLER
- v193.8 β CrossBackendDifferentialHarness
- v193.9 β OdinPortReadinessAndParitySpec
QEC now supports deterministic heavy-dependency discovery, static import / hot-path receipts, backend invariant candidates, cross-backend equivalence, optimization opportunity indexing, optimization contracts, lightweight adapter specs, cached canonical kernel receipts, fast-path equivalence receipts, implementation receipts, dependency-reduction receipts, optimized simulation specs, backend replay receipts, benchmark receipts, telemetry receipts, final optimized simulation reports, dataframe/columnar backend receipts, research automation provenance receipts, citation-integrity and claim-scope receipts, inference backend manifests, byte-level model boundaries, tokenization policies, parameter-golf compression receipts, inference memory-bandwidth receipts, KV cache policy receipts, agent observation traces, skill-library manifests, tool dispatch telemetry receipts, crawler boundary receipts, agent pattern-decision receipts, QPE toolbox adapter receipts, quantum-memory signal receipts, self-correcting-memory claim-boundary receipts, quantum-geometry signal receipts, graph-universe claim-boundary receipts, and full decoder-governance receipts from canonical baseline through promotion.
The v163.x arc discovered deterministic invariants in heavy dependencies.
The v164.x arc turned those invariants into replay-safe optimization contracts, adapter/cache receipts, fast-path equivalence proofs, implementation receipts, and dependency-reduction receipts.
The v165.x arc applied those contracts to optimized QEC simulation backends through declarative specs, backend replay equivalence, bounded benchmark receipts, telemetry receipts, and final report receipts.
The v165.5.x bridge arc added deterministic dataframe and columnar backend receipts.
The v165.6.x bridge arc added deterministic research automation provenance, human-review, citation-integrity, and claim-scope receipts.
The v165.7.x bridge arc added deterministic inference, byte-level model, tokenization, compression, bandwidth, and KV-cache policy receipts.
The v165.8.x bridge arc added deterministic agent observability, skill-library, tool-dispatch, crawler-boundary, and pattern-decision receipts.
The v165.9.x bridge arc added source-bound QPE, quantum-memory, self-correcting-memory, quantum-geometry, and graph-universe claim-boundary receipts.
The v166.x decoder-governance arc added canonical decoder baseline receipts, decoder candidate manifests, replay equivalence receipts, optimization contracts, fast-path equivalence receipts, implementation boundary receipts, benchmark ladder receipts, rollback receipts, and promotion receipts.
v166.8 completes the QLDPC / Hashing-Bound Code Receipts decoder-governance arc.
v167.x pivots the project toward executable symbolic sonification runtime work: event mapping, MIDI-like export, prompt compilation, telemetry sonification, CLI fixtures, and demo benchmarks while QEC OS construction, syndrome/noise runtime, differential testing, and Odin migration readiness wait for v193.x.
- External dependencies are adapters, never authorities.
- Simulation output is not truth.
- Simulation speed is not proof.
- Benchmarks require replay equivalence.
- Telemetry requires benchmark and replay lineage.
- Reports aggregate receipts; they do not execute systems.
- Generated research is not evidence by default.
- Citations are not authority.
- Claim scope must not exceed evidence scope.
- Inference output is not semantic proof.
- Tokenization changes do not prove semantic preservation.
- Compression and quantization do not prove reasoning equivalence.
- Agent traces are receipts, not dashboards.
- Tool dispatch telemetry is not execution authority.
- Crawler receipts do not grant network authority.
- Quantum-memory and geometry signals are source-bound claims, not QEC authority.
- Graph-universe claims are claim boundaries, not cosmological truth.
- Candidate decoders are adapter hypotheses before promotion.
- Decoder replay equivalence is required before promotion.
- Decoder benchmarks are bounded observations, not correctness proofs.
- Decoder rollback remains required before promotion.
- Decoder promotion is receipt-chain governance, not source replacement.
- The decoder source remains untouched.
- Governance approval is not runtime activation.
- QEC OS runtime activation is deferred to v193.x and still requires an explicit tested router and golden corpus verification.
- Receipt-only near-term releases are no longer accepted after v166.8.
- Benchmarks are bounded observations, not correctness proofs.
- Odin migration must be gated by v193.x golden fixtures and parity tests.
QEC emits canonical JSON proof artifacts with stable SHA-256 identity and validator-backed replay checks.
For full artifact families, schemas, and failure semantics, see
DOCUMENTATION.md.
same input
β same ordering
β same canonical JSON
β same stable SHA-256 hash
β same bytes
β same proof artifact
β same outcome
Violation:
SYSTEM INVALID
If you build on QEC in publications, software, or research artifacts, please cite both the repository and DOI-backed records above.
Selected QEC releases include informational attribution to work by Marc Brendecke.
ORCID: https://orcid.org/0009-0009-4034-598X
Relevant attributed works:
-
Quantum Sphaera Companion v3.30.0 DOI: https://doi.org/10.5281/zenodo.19682951 License: CC-BY-4.0 Applied where relevant to the v143.x release lineage, including v143.5.
-
QAM Version v4.1.0 Informational router/readout architecture lineage attribution. Applied where relevant across the QEC release lineage from v143.5 through v154.3.
This attribution is informational only and does not influence canonical identity, hashing, proof semantics, receipt semantics, validation behavior, or release identity within QEC.
- Roadmap and historical progression:
ROADMAP.md - Install and test instructions:
INSTALL.md - Full system documentation:
DOCUMENTATION.md - Rust TUI installer/usage:
USAGE.md
Author / Maintainer: Trent Slade, QSOL-IMC
- ORCID: https://orcid.org/0009-0006-5966-1243
- GitHub: https://github.com/QSOLKCB