Topological Quantum Computer Package Manifest
Package: topological-quantum-computer
Version: 1.0.1
Release date: 2026-08-18
Repository: SNAPKITTYWEST/topological-quantum-computer
Package Identity
Topological Quantum Computer is the staged institutional package for Fibonacci-anyon topological quantum-computing research, reduced-round SHA-family cryptanalysis experiments, proof-directed boundary analysis, and falsifiable resource accounting.
This package is a research artifact. "Production" means the repository has release metadata, licensing, audit notes, setup guidance, and reproducible commands. It does not mean physical quantum hardware exists or that full-round cryptanalysis is authorized or demonstrated.
Contents
| Path | Package role |
|---|---|
README.md |
Institutional entry point |
ABOUT.md |
Short project overview |
LICENSE.tri |
Tri-license structure |
VERSION |
Version marker |
RELEASE_NOTES.md |
Current release notes |
CODEX_AUDIT.md |
Audit findings and residual gates |
CLAUDE.md |
Integrity gates and project vision |
BUILD_STATUS.md |
Build/audit checklist |
BUILD_COMPLETE.md |
Build completion summary |
lean/ |
Lean 4 formalization surfaces |
python/ |
Python classical, quantum, and simulator modules |
experiments/ |
Four-phase experiment scripts |
docs/ |
Architecture, falsification, resources, threat model, user guide |
python/qlambda/arrays.py |
SHA-520 IV/K arrays, round arrays, primitive arrays |
python/qlambda/compiler.py |
Q-Lambda lexer/parser/QIR synthesizer |
python/qlambda/license_policy.py |
Array-backed license-policy engine |
python/topological/ |
QIR-to-Fibonacci-braid resource backend |
pyproject.toml |
Python package metadata |
Release Gates
The package may be published as a staged research repository release when:
- Version files and release notes are present.
- README states the purpose, constraint-system boundary, and negative cryptanalytic result clearly.
- License text matches
LICENSE.tri. - License policy can be selected through
python -m qlambda.license_policy. - GitHub About metadata and topics identify the research scope.
- Release notes do not overclaim Lean, Qiskit, hardware, or full-round results.
- Python syntax/import checks pass in the release environment.
- Reduced-round classical validation passes.
Additional gates are required before stronger claims:
- Lean/Lake build under the declared theorem environment.
- Critical theorem review with placeholders,
sorry,axiom, and conjectures explicitly classified. - Qiskit Aer or equivalent quantum-simulation dependency installed and Phase 2 executed rather than skipped.
- Resource validation upgraded from estimate-only to measured compiler output.
- No full-round SHA attack path added without a separate legal/safety review.
Validation Snapshot
Observed locally during packaging:
| 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 FibonacciAnyon LogicalQubits BraidCompilation QuantumGates Main |
GitHub Topics
Recommended repository topics for v1.0.1:
topological-quantum-computerfibonacci-anyonsquantum-computingquantum-algorithmsgrover-searchcryptanalysissha-520sha-512lean4formal-methodsconstraint-systemsproof-directed-searchfalsifiable-researchqiskittensor-networksovereign-compute
Release Artifact
The GitHub release should use tag v1.0.1.
Release assets are the automatic source archives generated by GitHub unless a separate signed artifact is explicitly attached later.