Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science fedcc09763 wai-quantum: the published-architecture check, as its review asked ... Every fix with a test that fails on the code before it. Figures and rules - The published figures move out of the code into tests/data/published_figures.tsv: each with where it is printed, as printed, its value and its rule, so regenerating the page cannot move them. A row that agrees is held to the digits its source prints: exact, the nearest printed unit, rounded up or down where the source rounds so, or, for a figure ours takes from the source's fits, the range its fits' printed parameters (ln f0 and gamma, two decimals) allow. It was 6% for every row: 8.72M re-pinned as 9.00M passed. Every other numeric row carries a guard, ours to four digits. (every_row_holds_to_its_published_figure, a_rule_holds_to_the_printed_digits_and_no_further) - Fig. 10(a)'s surface-code timesteps are its printed 381, 2,269, 115, 115, 509 and 509, not the formula compared with itself. - Figures carry no more digits than the PDF prints (7.32e-4, 2.09e-5, 8.2e-21, Table 10 to its printed two and three digits) unless the row says "source files". The Toffoli count of arXiv:1905.09749 is its Table 1's, not Table 3's. Reasons and classes - The authors' compiler is released (bicycle_compiler, bicycle_cliffords and bicycle_common 0.1.0 on crates.io, 2025-07-31). The compile-mean rows now cite bicycle_cliffords 0.1.0 src/measurement.rs, which takes a shift as A on X and A^-1 on Z (version 0.2.1: A^-1 on X, A^T on Z), for what was an inference. The two gross rows at p = 1e-4 stay open, with that compiler named as what would settle them; this check runs no third-party code. - The capability rows said the rates and the sum were the same. Ours divides P_I and P_U by C (Section A.7's text): a third of a point of the gross 5k p = 1e-3 gap is that choice. That row is now an assumption, with a row beside each capability at the undivided rates. (the_division_by_c_is_a_third_of_a_point_of_the_gross_capability) - The random-circuit fit is Fig. 17, not Fig. 16. - The "Ours" column holds only ours: the Ising T-count-as-stated row shows our 14,665,600; the FeMoCo Table III against layout rows are the paper's own two figures, ours empty, their numbers. - The Ising inter-module count depends on the factory's end of the line (946,800 after the last module, 781,200 before the first), which the paper does not print. Machine::links states the rule, a test computes both, and the row is an assumption that says it was chosen to match. - The 510: over all native measurements there are 510 distinct R != I, 284 with Q = I, 19 of those also with Q != I. That the paper counted these is our inference from the matching count, and the text says so (native_rotation_census). - The arXiv:2308.07915 rows (about 1,250 times the later fit) are open. - The expected hours of arXiv:1905.09749's title are one computation, WindowedEstimate::expected_hours: 7.31 in the row and the module. Facts - The 2021 addition's piece is 1,024 + 38 = 1,062 qubits (the cost script's padding; its text's 3 lg n + 10 is 43), not 1,052: WindowedFactoringParams::padding and piece_qubits, and the test. Public text - The section on the machine announced for 2029, its sources and its allow-name are gone, with every verdict on that announcement. The rows that check arXiv:2506.03094 itself stay. - The synthesiser row says what the counts are, without the shortfall line; its fix follows separately. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-06 08:00:15 -05:00
..
wai-conformance	Merge pull request 'wai: a ladder of timeliness fallbacks, and the reference sink scheduler' (#655) from wai/timeliness-ladder-scheduler into main	2026-11-05 18:13:49 -05:00
workflows	wai-quantum: the published-architecture check, as its review asked	2026-11-06 08:00:15 -05:00