| # Topological Quantum Computer v1.0.1 | |
| Release type: staged research package | |
| Release date: 2026-08-18 | |
| ## v1.0.1 Correction | |
| - Removed the temporary non-Python policy backend that skewed repository | |
| language metrics. | |
| - Added the Q-Lambda DSL implementation in `python/qlambda/compiler.py`. | |
| - Added explicit SHA-520 arrays in `python/qlambda/arrays.py`. | |
| - Updated SHA-520 to emit a 65-byte, 520-bit digest from the 9-word IV surface. | |
| - Added the QIR-to-Fibonacci-braid resource backend in `python/topological/`. | |
| - Added focused tests for arrays, DSL compilation, policy selection, and braid | |
| resource estimates. | |
| ## Summary | |
| This release packages the topological quantum-computing research repository for | |
| public review. It presents a Fibonacci-anyon model, reduced-round SHA-family | |
| experiments, a constraint/proof-search boundary, explicit falsification | |
| criteria, tri-license terms, and audit notes. | |
| The core claim is deliberately bounded: generic SHA-style preimage search does | |
| not gain more than Grover-style square-root speedup, and the model does not | |
| demonstrate a practical full-round cryptanalytic attack. | |
| ## Included | |
| - Lean 4 formalization surfaces for Fibonacci anyons, logical qubits, braid | |
| compilation, and quantum gates. | |
| - Python modules for reduced-round classical validation, toy permutations, | |
| Q-Lambda reversible-oracle synthesis, Grover-style search, tensor-network | |
| simulation, and Qiskit integration paths. | |
| - Four experiment phases covering classical validation, quantum simulation, | |
| resource validation, and theoretical topological compilation. | |
| - Documentation for architecture, falsification, resource analysis, threat | |
| model, experiment protocol, cryptanalysis notes, and setup. | |
| - PAX-style tri-license file and array-backed Python license-policy backend. | |
| - Package manifest and About metadata for GitHub release hygiene. | |
| ## Validation Snapshot | |
| Observed locally during the v1.0.1 correction pass: | |
| | Check | Result | | |
| | --- | --- | | |
| | Python AST syntax scan | PASS | | |
| | `pyproject.toml` parse | PASS | | |
| | Module import smoke test | PASS | | |
| | Phase 1 classical validation | PASS | | |
| | Phase 2 quantum simulation | RESOURCE_ESTIMATE_NO_QISKIT when Qiskit is unavailable | | |
| | Phase 3 resource validation | ESTIMATE_ONLY | | |
| | Phase 4 topological compilation | PASS-THEORETICAL | | |
| | Lean/Lake build | PASS-LOCAL for staged Lean modules | | |
| ## Production Boundary | |
| For this release, "production" means packaged, auditable, and documented as a | |
| research artifact. It does not mean physical topological quantum hardware, | |
| machine-checked closure of every theorem, full-round cryptanalysis, or | |
| commercial deployment. | |
| ## License | |
| This release follows `LICENSE.tri`: | |
| - BSL-1.1 source-available path with commercial restrictions until `2028-08-08`. | |
| - AGPL-3.0 network-copyleft path. | |
| - MPL-2.0 file-level copyleft path. | |
| - Commercial license path for copyleft bypass. | |
| Use the policy engine: | |
| ```bash | |
| PYTHONPATH=python python -m qlambda.license_policy select saas_wrapper | |
| PYTHONPATH=python python -m qlambda.license_policy select enterprise_restricted | |
| PYTHONPATH=python python -m qlambda.license_policy select file_level_mod | |
| PYTHONPATH=python python -m qlambda.license_policy select copyleft_bypass | |
| ``` | |