File size: 3,291 Bytes
d6f21bb | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 | # 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
```
|