# Scope

This repository maintains only the formal claims and executable artifact of
arXiv:2607.22524.

## In scope

- nonsingular square integer matrices;
- value-producing Kannan--Bachem Smith execution;
- the five matrices `S, U, U⁻¹, V, V⁻¹` and their certificates;
- execution-derived arithmetic-leaf traces;
- concrete self-delimiting binary codecs;
- fixed-polynomial arithmetic-cost and output-encoding bounds;
- one endpoint test, one axiom audit, and one deterministic benchmark corpus.

## Out of scope

- rectangular or singular matrices;
- general Euclidean-domain APIs;
- rational canonical form, homology, abelian groups, LLL, and modular HNF;
- external generators and FLINT adapters;
- generic certificate wire protocols and command-line products;
- source compatibility with pre-v0.2 research APIs;
- structural, allocation, memory, compiled-runtime, or wall-clock complexity
  claims.