# About Topological Quantum Computer

## What This Repository Does

Topological Quantum Computer is a staged research package for modeling a
Fibonacci-anyon topological quantum-computing stack and testing its limits
against SHA-style cryptanalytic questions.

The repository connects four surfaces:

1. **Lean 4 formalization** for Fibonacci anyon categories, logical qubits,
   braid compilation, and gate universality surfaces.
2. **Python reference code** for reduced-round SHA-family toy models,
   classical baselines, Q-Lambda reversible-oracle synthesis, Grover-style search,
   and resource estimates.
3. **Experiment scripts** that separate classical validation, quantum
   simulation, resource validation, and topological compilation.
4. **Documentation** that states falsification criteria, safety boundaries,
   threat model, prior-art context, and staged release status.

## What It Is Not

This is not a physical quantum computer, not a claim that SHA is broken, and
not a production cryptanalytic deployment. The current package conclusion is
that generic SHA-style preimage search does not gain more than the known
Grover-style square-root speedup, and that resource costs dominate long before
full-round attack relevance.

## Why It Exists

The project is useful because it draws a clean boundary between:

- invariant-preserving quantum models,
- braid compilation and logical-qubit accounting,
- constraint/proof-directed search,
- and real cryptanalytic claims that require much stronger evidence.

The goal is not hype. The goal is a falsifiable research artifact that can be
audited, extended, rejected, or archived based on explicit gates.

## Package Status

Version `1.0.1` is a staged research release. Python syntax/import checks,
reduced-round classical validation, Q-Lambda resource estimation, and local
Lean kernel replay have been exercised locally. Qiskit-backed Aer simulation
and hardware execution remain separate gates documented in `CODEX_AUDIT.md`
and `PACKAGE.md`.

## License

This repository follows the same tri-license structure used by the PAX stack:
BSL-1.1, AGPL-3.0, MPL-2.0, and commercial licensing paths selected through
the array-backed Python policy engine in `python/qlambda/license_policy.py`.