Skip to content

QEC v172.5 — Strowger/Panel/Crossbar Equivalence Battery

Choose a tag to compare

View all tags
@EmergentMonk EmergentMonk released this 23 Sep 21:41
v172.5
d80fbb1

This release completes the planned v172.x implementation with a deterministic comparison battery spanning Strowger, Panel and Crossbar routing.

A shared corpus checks requested destination, reached destination, selected lane and routing outcome while retaining each architecture’s complete native evidence.

What’s included

  • Fixed, hash-bound adapters mapping four destinations and two lanes into the existing switching models.
  • 36 shared-availability cases covering every destination under every pair of idle, busy and quarantined lane states.
  • Five negative controls covering Strowger selector faults and tone mismatches, Panel motor stalls and sender disagreement, and Crossbar search-budget exhaustion.
  • An independent admission oracle checking lane selection and expected native outcomes.
  • Complete native receipts, Crossbar continuity evidence, canonical SHA-256 identities and replay validation.
  • Trusted corpus and adapter hash bindings, plus explicit identification of the complete frozen default corpus.
  • Rejection of altered mappings, omitted results, substituted receipts and rehashed evidence mutations.

The default battery passes when all 36 availability cases agree and all five fault controls remain correctly distinguishable. Passing does not mean every case is equivalent.

New commands

  • qec-crossbar equivalence-demo
  • qec-crossbar equivalence
  • qec-crossbar equivalence-validate

Primary identity: switch_equivalence_matrix_hash.

Validation

  • Full repository suite: 19,549 passed, 4 skipped.
  • Focused switching and release-metadata suite: 415 passed.
  • All existing and new CLI round-trips passed.
  • Added frozen fixtures, deterministic replay tests and contract documentation.

Published Strowger, Panel and v172.0–v172.4 contracts remain unchanged. Decoder code is untouched.

Equivalence is limited to declared route decisions within this bounded corpus. Native commit semantics, event traces and reservation lifecycles remain distinct. Strowger has no native payload field; native payload preservation is checked for Panel and Crossbar only.

These results do not establish universal equivalence, physical switching fidelity, authenticated provenance, decoder correctness or quantum advantage.

Next milestone: v173.0 — Stored-Program Switch Skeleton.

Implementation commit · Equivalence contract

Assets 2
Loading