PACKAGE.md

# 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-computer`
- `fibonacci-anyons`
- `quantum-computing`
- `quantum-algorithms`
- `grover-search`
- `cryptanalysis`
- `sha-520`
- `sha-512`
- `lean4`
- `formal-methods`
- `constraint-systems`
- `proof-directed-search`
- `falsifiable-research`
- `qiskit`
- `tensor-network`
- `sovereign-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.