Labels

Fixes incorrect behavior; the PR body identifies the trigger and regression.

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Strengthens validation or resource bounds; not necessarily a known bug.

Extra attention is needed

This doesn't seem right

Build or execution support across features or targets.

Further information is requested

Structural or API changes without a claimed behavior or performance gain.

Numerical correctness, supported verifier builds and resource-failure fixes.

Native hiding APIs, graph composition, registration and tensor boundaries.

Native operator coverage and exact integer semantics.

Native verification arithmetic, batching and checked point decoding.

Ordinary verifier arithmetic, direct selectors, shared tables and caches.

Prover arithmetic, lookup preparation, commitments and parallel scheduling.

Prover buffer lifetimes, ownership, copies and retained storage.

Proof encoding, bounded decoding and graph-defined shared commitments.

Upstream protocol, range-check and field foundations.

This will not be worked on