Dem polish#314

Merged

ciaranra merged 38 commits into

devfrom

May 21, 2026

Commits on May 19, 2026

Add sound HUGR-based result()-tag to measurement extraction in pecos-hugr-qis
ciaranra
committed
Excise proven-unsound runtime result()-tag linkage; keep sound HUGR extractor and positional from_guppy
ciaranra
committed
Remove diagnostic dump scaffolding from result_tags tests
ciaranra
committed
Make result_tags clippy-clean (doc backticks, elide lifetime)
ciaranra
committed
Wire sound HUGR-backed result_tags into from_guppy (Rust-centric, loop-guarded fail-loud)
ciaranra
committed
Merge remote-tracking branch 'origin/dev' into dem-polish
ciaranra
committed
Address external review: harden HUGR extractor, fix replay (#5/#6), revert gap-4 wiring, fail-loud schema, correct docs
ciaranra
committed
Revert broken dynamic-control guard, fail-loud on out-of-range metadata refs, add regression tests
ciaranra
committed
Route all circuit-ingest and public DEM paths through fallible try_build, reject inconsistent num_measurements
ciaranra
committed
Enforce num_measurements/influence-map consistency in try_build, closing the public-builder bypass
ciaranra
committed
Replace TRY004 noqas with a private _MetadataError type; drop stray ccengine blank line
ciaranra
committed
Consolidate detector/observable schema validation into the Rust DEM builder; thin from_guppy wrapper
ciaranra
committed
Tolerate redundant records+meas_ids co-presence, fail loud on non-redundant; fix logical_circuit regression
ciaranra
committed
Correct stale proposal 001 and try_build rustdoc to match redundancy-tolerant meas_ids semantics
ciaranra
committed

Commits on May 20, 2026