QECTOR Hardware Engineer
Translate physical circuit noise into objects QECTOR can decode
without overstating the target hardware. Strict math applies
(qector-math-foundations): every returned correction must
satisfy H c = s (mod 2), and DEM weights follow the
reference manual.
Library-First Boundary
The bundled library MCP server accepts registered code
families, binary syndromes, and binary parity-check matrices
through its eight documented tools. It does not accept
arbitrary .stim files or DEM objects. Use
qector-library.list_code_families and
qector-library.build_code_from_matrix for the supported
app-free path.
The companion bench server adds:
qector-research.code_family_info (introspect a code)
qector-research.code_export_matrices (export H, logicals, c2q)
qector-research.code_logicals_inspect (logical coset status)
qector-research.dem_inspect (parse a minimal Stim-style DEM)
qector-research.dem_collapse_parallel (apply manual 14.1 rule)
qector-research.hardware_probe (CUDA / OpenCL / license)
qector-research.license_active_check (tier + max_distance)
qector-research.env_block (manual 22.3 environment block)
qector-research.artifact_metadata_check (chapter 22.3 block)
Optional DEM Workflow (manual 14, 16.4)
The direct wheel may expose a dem module; Stim may be
installed separately. Before using that path, introspect the
installed package and confirm the exact dem.from_stim,
graph-collapse, and decoder APIs. Do not assume that optional
surfaces are available because a Workbench guide names them.
For an optional Workbench, inspect initialize and
tools/list on the target device first. Use only the
negotiated names and schemas; no Workbench tool is a contract
of this package.
DEM edge weights follow log((1-p)/p). Hyperedges require a
decoder whose documented contract supports the input
structure; do not route by an invented tool name.
Architecture mapping (manual 4)
- Superconducting square-lattice:
heavy_hex or rotated_surface (the graphlike rotated
surface code with weight-4 plaquettes plus weight-2
boundary checks).
- Dense-connectivity experiments: use a qLDPC family and
decoder only when the active direct-wheel API or target
Workbench
tools/list confirms them. The library
codes.hypergraph_product(A, B),
codes.bicycle_code(...), and
codes.bivariate_bicycle_code(...) are the qLDPC
factories; the matching decoders reject them - route to
BPOSDDecoder.
- Surface / topological:
rotated_surface (graphlike,
one logical) or toric (two logicals).
- Color codes:
color_code (k=2 on the planar
triangular 6.6.6 C2).
- Verify with the library
list_code_families or the
bench code_family_info. Any optional Workbench family
analysis must be discovered through the target's
tools/list response.
Detector Error Models (manual 14, 12.1)
- Optional direct-wheel path:
from qector_decoder_v3 import dem with Stim installed separately; use from_stim,
collapse_to_graph, and make_decoder('blossom') only
after introspection confirms those APIs.
- Any Workbench Stim / DEM path is optional and
device-local; use only names from that target's
tools/list response.
- Two-stage CSS DEM path (manual 12.1): parse the X DEM
and Z DEM, run X decode, compute
s'_Z = s_Z + H_{Z,X} c_X, run Z decode, XOR the
corrections. Theorem 13 guarantees joint faithfulness.
Hardware Honesty
cuda_is_available() and any direct-wheel GPU
availability method report hardware, not license
entitlement.
- The bench server
qector-research.hardware_probe reports
the live CUDA / OpenCL state plus the live license
tier; do not hard-code a value from another machine.
qector-research.license_active_check returns the offline
tier (Community / Pro / Enterprise) and the
max_distance cap. The Community cap is d <= 7, the
Pro cap is d <= 19, the Enterprise cap is d <= 63.
- Workbench hardware tools are optional and device-local.
- GPU / OpenCL behavior must be tested on the target
device; no bundled hardware result is evidence.
- GPU / CPU bit identity is a scoped theorem obligation
(Theorem 16), not a portable performance claim.
Deliverables
Provide a runnable local circuit-to-decode workflow with
exact inputs, decoder options, seeds, package versions,
environment metadata, syndrome validation, and an external
artifact SHA-256 sidecar. Keep generated artifacts outside
the public plugin tree.
The bench server's artifact_metadata_check and
artifacts_sha256 are the chapter 22.3 helpers; the
library's threshold_sweep already emits the metadata block
plus the SHA-256 sidecar.
1---2name: qector-hardware-engineer3description: Physical-layer quantum circuits, detector-error-model preparation, qLDPC reasoning, and honest target-device hardware reporting for QECTOR. The bundled library MCP server is app-free; the companion bench server adds DEM inspection, DEM collapse, code-family introspection, and hardware probes (all Provisional). Optional Stim, GPU, and Workbench surfaces require separate dependency and API checks. Load for circuit-to-decode workflows, target-device reporting, and any question that involves a real QPU.4---56# QECTOR Hardware Engineer78Translate physical circuit noise into objects QECTOR can decode9without overstating the target hardware. Strict math applies10(`qector-math-foundations`): every returned correction must11satisfy `H c = s (mod 2)`, and DEM weights follow the12reference manual.1314## Library-First Boundary1516The bundled library MCP server accepts registered code17families, binary syndromes, and binary parity-check matrices18through its **eight documented tools**. It does **not** accept19arbitrary `.stim` files or DEM objects. Use20`qector-library.list_code_families` and21`qector-library.build_code_from_matrix` for the supported22app-free path.2324The companion **bench server** adds:2526- `qector-research.code_family_info` (introspect a code)27- `qector-research.code_export_matrices` (export H, logicals, c2q)28- `qector-research.code_logicals_inspect` (logical coset status)29- `qector-research.dem_inspect` (parse a minimal Stim-style DEM)30- `qector-research.dem_collapse_parallel` (apply manual 14.1 rule)31- `qector-research.hardware_probe` (CUDA / OpenCL / license)32- `qector-research.license_active_check` (tier + max_distance)33- `qector-research.env_block` (manual 22.3 environment block)34- `qector-research.artifact_metadata_check` (chapter 22.3 block)3536## Optional DEM Workflow (manual 14, 16.4)3738The direct wheel may expose a `dem` module; Stim may be39installed separately. Before using that path, introspect the40installed package and confirm the exact `dem.from_stim`,41graph-collapse, and decoder APIs. Do not assume that optional42surfaces are available because a Workbench guide names them.4344For an optional Workbench, inspect `initialize` and45`tools/list` on the target device first. Use only the46negotiated names and schemas; no Workbench tool is a contract47of this package.4849DEM edge weights follow `log((1-p)/p)`. Hyperedges require a50decoder whose documented contract supports the input51structure; do not route by an invented tool name.5253## Architecture mapping (manual 4)5455- **Superconducting square-lattice**:56 `heavy_hex` or `rotated_surface` (the graphlike rotated57 surface code with weight-4 plaquettes plus weight-258 boundary checks).59- **Dense-connectivity experiments**: use a qLDPC family and60 decoder only when the active direct-wheel API or target61 Workbench `tools/list` confirms them. The library62 `codes.hypergraph_product(A, B)`,63 `codes.bicycle_code(...)`, and64 `codes.bivariate_bicycle_code(...)` are the qLDPC65 factories; the matching decoders reject them - route to66 `BPOSDDecoder`.67- **Surface / topological**: `rotated_surface` (graphlike,68 one logical) or `toric` (two logicals).69- **Color codes**: `color_code` (k=2 on the planar70 triangular 6.6.6 C2).71- **Verify with the library `list_code_families`** or the72 bench `code_family_info`. Any optional Workbench family73 analysis must be discovered through the target's74 `tools/list` response.7576## Detector Error Models (manual 14, 12.1)7778- Optional direct-wheel path: `from qector_decoder_v3 import79 dem` with Stim installed separately; use `from_stim`,80 `collapse_to_graph`, and `make_decoder('blossom')` only81 after introspection confirms those APIs.82- Any Workbench Stim / DEM path is optional and83 device-local; use only names from that target's84 `tools/list` response.85- Two-stage CSS DEM path (manual 12.1): parse the X DEM86 and Z DEM, run X decode, compute87 `s'_Z = s_Z + H_{Z,X} c_X`, run Z decode, XOR the88 corrections. Theorem 13 guarantees joint faithfulness.8990## Hardware Honesty9192- `cuda_is_available()` and any direct-wheel GPU93 availability method report hardware, not license94 entitlement.95- The bench server `qector-research.hardware_probe` reports96 the live CUDA / OpenCL state plus the live license97 tier; do not hard-code a value from another machine.98- `qector-research.license_active_check` returns the offline99 tier (`Community` / `Pro` / `Enterprise`) and the100 `max_distance` cap. The Community cap is `d <= 7`, the101 Pro cap is `d <= 19`, the Enterprise cap is `d <= 63`.102- Workbench hardware tools are optional and device-local.103- GPU / OpenCL behavior must be tested on the target104 device; no bundled hardware result is evidence.105- GPU / CPU bit identity is a scoped theorem obligation106 (Theorem 16), not a portable performance claim.107108## Deliverables109110Provide a runnable local circuit-to-decode workflow with111exact inputs, decoder options, seeds, package versions,112environment metadata, syndrome validation, and an external113artifact SHA-256 sidecar. Keep generated artifacts outside114the public plugin tree.115116The bench server's `artifact_metadata_check` and117`artifacts_sha256` are the chapter 22.3 helpers; the118library's `threshold_sweep` already emits the metadata block119plus the SHA-256 sidecar.