enh: expose qLDPC resource model as reviewer-runnable CLI path (#478) - #480
Draft
arniber21 wants to merge 1 commit into
Draft
enh: expose qLDPC resource model as reviewer-runnable CLI path (#478)#480arniber21 wants to merge 1 commit into
arniber21 wants to merge 1 commit into
Conversation
The qLDPC workload IR + resource model landed in #285 (quon_qec/src/qldpc.rs) with CodeFamily::HighRateQldpcLike sizing (architecture_model.md §10.3), but was reachable only via cargo test fixtures — never from quonc. A reviewer could run surface/repetition artifacts end-to-end but not produce a high_rate_qldpc_like report themselves. This surfaces it as a standalone CLI path that skips the compile pipeline entirely (no source file or backend target required). Two modes, both emitting JSON or Markdown (path-extension-selected) with the analytic evidence labels (ADR-0020): - Graph mode: --qldpc-graph <json> loads a parity-check graph, validates it, and runs QldpcResourceEstimate::estimate — emitting n_data, n_checks, distance, max/avg check weight, edge count, movement pressure, peak atoms, estimated cycles/round. - Net-rate sizing mode: --qldpc-net-rate n/d computes atoms_per_logical = ceil(d/n) via the existing family formula, mirroring the [[144,12,12]] architecture-model example (rate 1/24, 12 logical -> 24 atoms/logical, 288 physical). Adds: - 6 CLI args (--qldpc-graph, --qldpc-net-rate, --emit-qldpc-report, --qldpc-rounds, --qldpc-grid-width, --qldpc-logical-qubits) under a new help heading. - examples/na_qec/qldpc_5qubit.json: checked-in toy [[5,1,3]] parity-check graph (the toy_5qubit_graph() constructor serialized). - quonc/tests/qldpc_resource_model.rs: 8 CLI tests (graph estimate, rounds scaling, net-rate sizing, markdown output, mutual-exclusivity, missing emit flag, bad format, missing file). - Runnable-command notes in architecture_model.md §10.3, qldpc_workload_ir.md, website architecture/na-model.md, and the README CLI usage section. Verified: all 8 qldpc tests pass; na_stats_emit (7) pass; clippy clean; cargo fmt clean; assert-validation-docs + assert-docs-corpus pass.
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
This was referenced Aug 5, 2026
Owner
Author
|
Warning This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
This stack of pull requests is managed by Graphite. Learn more about stacking. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The qLDPC workload IR + resource model landed in #285 (quon_qec/src/qldpc.rs)
with CodeFamily::HighRateQldpcLike sizing (architecture_model.md §10.3), but
was reachable only via cargo test fixtures — never from quonc. A reviewer
could run surface/repetition artifacts end-to-end but not produce a
high_rate_qldpc_like report themselves. This surfaces it as a standalone CLI
path that skips the compile pipeline entirely (no source file or backend
target required).
Two modes, both emitting JSON or Markdown (path-extension-selected) with the
analytic evidence labels (ADR-0020):
and runs QldpcResourceEstimate::estimate — emitting n_data, n_checks,
distance, max/avg check weight, edge count, movement pressure, peak atoms,
estimated cycles/round.
ceil(d/n) via the existing family formula, mirroring the [[144,12,12]]
architecture-model example (rate 1/24, 12 logical -> 24 atoms/logical, 288
physical).
Adds:
--qldpc-rounds, --qldpc-grid-width, --qldpc-logical-qubits) under a new
help heading.
graph (the toy_5qubit_graph() constructor serialized).
scaling, net-rate sizing, markdown output, mutual-exclusivity, missing
emit flag, bad format, missing file).
qldpc_workload_ir.md, website architecture/na-model.md, and the README CLI
usage section.
Verified: all 8 qldpc tests pass; na_stats_emit (7) pass; clippy clean;
cargo fmt clean; assert-validation-docs + assert-docs-corpus pass.