dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot closed pull request Transaction-Science/open-standards#666 2026-11-06 08:18:32 -05:00
ci: the wai-quantum legs build the commit they test, and fail when they did not
dcharlot created pull request Transaction-Science/open-standards#671 2026-11-06 08:17:26 -05:00
wai-quantum: a rotation's Clifford+T word takes the norm equation's cheapest solution, never more T gates than the reference implementation
f13f6cd9ed wai-quantum: a rotation's word takes the norm equation's cheapest solution
08980925c5 wai-quantum: the reference implementation's T counts, as test data
Compare 2 commits »
dcharlot created branch wai/quantum-synth-rz-reference in Transaction-Science/open-standards 2026-11-06 08:17:25 -05:00
0f1e26eef3 wai-quantum: the command line holds an energy ceiling to the job service's estimate
dcharlot created pull request Transaction-Science/open-standards#670 2026-11-06 08:13:24 -05:00
wai-quantum: the command line holds an energy ceiling to the job service's estimate (stacked on #668)
dcharlot created branch wai/quantum-cli-energy-estimate in Transaction-Science/open-standards 2026-11-06 08:13:24 -05:00
5f60cfcf89 wai-quantum: the corpus page gives the full tier's time on both hosts
fffd228757 wai-quantum: the cross-simulator corpus rerun on both hosts, and its page as data
c5702b44e0 wai-quantum: the held-or-dropped check decides only where an answer can say
3ba49a43ee wai-quantum: the cross-simulator corpus's checks can fail where the review found they could not
Compare 4 commits »
fedcc09763 wai-quantum: the published-architecture check, as its review asked
dcharlot pushed to wai/quantum-wasmq at Transaction-Science/open-standards 2026-11-06 07:59:35 -05:00
c149358858 wasmq: a reader bounds a program as it reads it, verify holds the contract and the seal to their forms, and every fault has a vector
dcharlot reopened pull request Transaction-Science/open-standards#658 2026-11-06 07:30:50 -05:00
wai: a carousel schedule extends, what a receiver needs rides in band, a node schedules its own instance, and Raptor
dcharlot closed pull request Transaction-Science/open-standards#658 2026-11-06 07:30:46 -05:00
wai: a carousel schedule extends, what a receiver needs rides in band, a node schedules its own instance, and Raptor
dcharlot reopened pull request Transaction-Science/open-standards#656 2026-11-06 07:30:36 -05:00
wai key: signing keys in one keystore, and wai --version, docs search and registry show
dcharlot closed pull request Transaction-Science/open-standards#656 2026-11-06 07:30:32 -05:00
wai key: signing keys in one keystore, and wai --version, docs search and registry show
dcharlot reopened pull request Transaction-Science/open-standards#644 2026-11-06 07:30:21 -05:00
wai: every wai.quantum string is registered, listed with what it names, or a schema's name
dcharlot closed pull request Transaction-Science/open-standards#644 2026-11-06 07:30:17 -05:00
wai: every wai.quantum string is registered, listed with what it names, or a schema's name
dcharlot reopened pull request Transaction-Science/open-standards#642 2026-11-06 07:30:07 -05:00
wai conform: JUnit and HTML reports, independent verifiers beside an implementation, the corpus union as one command, and wai doctor
dcharlot closed pull request Transaction-Science/open-standards#642 2026-11-06 07:30:04 -05:00
wai conform: JUnit and HTML reports, independent verifiers beside an implementation, the corpus union as one command, and wai doctor
dcharlot reopened pull request Transaction-Science/open-standards#640 2026-11-06 07:29:54 -05:00
wai: the deterministic module profile, a checked subset of WebAssembly for the decoder modules a sink runs
dcharlot closed pull request Transaction-Science/open-standards#640 2026-11-06 07:29:50 -05:00
wai: the deterministic module profile, a checked subset of WebAssembly for the decoder modules a sink runs