Hugging Face's logo

Snapkitty
/
topological-quantum-computer

snapkitty
quantum-computing
lean4
python
Model card Files
xet
 Community
topological-quantum-computer / RELEASE_NOTES.md
SNAPKITTYWEST's picture
SNAPKITTYWEST
push from SNAPKITTYWEST/topological-quantum-computer
d6f21bb verified
preview code
|
Raw History Blame Contribute Delete
3.29 kB

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:

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