dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot created branch wai/quantum-landscape-fpga in Transaction-Science/open-standards 2026-11-06 14:02:27 -05:00
dcharlot pushed to ci/quantum-archive-mtime at Transaction-Science/open-standards 2026-11-06 13:54:18 -05:00
628e9923bf Merge main into ci/quantum-archive-mtime: the emulated legs bring their own emulator (#674)
778d0e4a17 Merge pull request 'ci: the emulated vector and SME legs bring their own emulator' (#674) from ci/quantum-emulator-in-job into main
7dc5501005 Merge pull request 'wai: bearer-receipts §13, reconciliations and holdings records over a return path of a few bytes' (#637) from wai/compact-return-profile into main
e2774f7f83 Merge pull request 'wai dev's test: the stand-in room service listens without a reverse lookup' (#663) from fix/fake-stack-reverse-lookup into main
bcb8b91fc4 ci: the emulated vector and SME legs bring their own emulator
Compare 11 commits »
4e36e0456c wai-quantum: an energy ceiling is held only to an upper bound, the corpus and the tool lists with it
8175c96c68 Merge wai/quantum-planner-contract (its corpus and proofs) into wai/quantum-cli-energy-estimate
ff6d6d63f7 Merge wai/quantum-planner-contract (the review's fixes so far) into wai/quantum-cli-energy-estimate, and hold a ceiling only to an upper bound
c41929230d wai-quantum: the review of the planner's contract fixed, with the corpus that holds it
33c06b5830 wai-quantum: the review's fixes to the planner under a contract (a working commit, before the corpus)
Compare 5 commits »
c41929230d wai-quantum: the review of the planner's contract fixed, with the corpus that holds it
33c06b5830 wai-quantum: the review's fixes to the planner under a contract (a working commit, before the corpus)
Compare 2 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-11-06 13:50:55 -05:00
778d0e4a17 Merge pull request 'ci: the emulated vector and SME legs bring their own emulator' (#674) from ci/quantum-emulator-in-job into main
bcb8b91fc4 ci: the emulated vector and SME legs bring their own emulator
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#674 2026-11-06 13:50:55 -05:00
ci: the emulated vector and SME legs bring their own emulator
dcharlot reopened pull request Transaction-Science/open-standards#642 2026-11-06 13:44:58 -05:00
wai conform: JUnit and HTML reports, independent verifiers beside an implementation, the corpus union as one command, and wai doctor
dcharlot merged pull request Transaction-Science/open-standards#637 2026-11-06 13:44:58 -05:00
wai: bearer-receipts §13, reconciliations and holdings records over a return path of a few bytes
dcharlot pushed to main at Transaction-Science/open-standards 2026-11-06 13:44:58 -05:00
7dc5501005 Merge pull request 'wai: bearer-receipts §13, reconciliations and holdings records over a return path of a few bytes' (#637) from wai/compact-return-profile into main
15698141a8 wai dev's test: the stand-in room service listens without a reverse lookup
f0dc0b8d68 wai/compact-return-profile, converted to the layout of the fix: no shared append point
Compare 3 commits »
dcharlot closed pull request Transaction-Science/open-standards#642 2026-11-06 13:44:49 -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 13:43:53 -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 13:43:42 -05:00
wai: the deterministic module profile, a checked subset of WebAssembly for the decoder modules a sink runs
dcharlot pushed to ci/gate-pool at Transaction-Science/open-standards 2026-11-06 13:43:29 -05:00
2e2ff920cc ci: re-run, after removing the one linux host that could not emulate aarch64
fc44eb3445 wai-quantum: seal_into passes its function, as clippy asks
7e0901bd1f wai-quantum: the views page built again, its verify without the engine's set re-derivation
28927d4862 Merge wai/quantum-cloud-tasks into wai/quantum-receipt-fields
4d4a5ebba9 wai-quantum: the views page built again from its sources
6d6b774472 wai-quantum: a set's item read for what is sealed, keyed to its set, a failed item's numbers by its leaf; tool lists regenerated
Compare 8 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-11-06 13:15:53 -05:00
e2774f7f83 Merge pull request 'wai dev's test: the stand-in room service listens without a reverse lookup' (#663) from fix/fake-stack-reverse-lookup into main
55e17b4f6a wai dev's test fixture: the change has no changelog entry, by its trailer
576511d62b wai dev's test: the stand-in room service listens without a reverse lookup
Compare 3 commits »
dcharlot merged pull request Transaction-Science/open-standards#663 2026-11-06 13:15:51 -05:00
wai dev's test: the stand-in room service listens without a reverse lookup
ff8fe83e84 merge the guard fix from #665
3e78384b5f wai-quantum: the guard on the removed section names no product
Compare 2 commits »
e1ae6e8dea merge the guard fix from #665
3e78384b5f wai-quantum: the guard on the removed section names no product
Compare 2 commits »
3e78384b5f wai-quantum: the guard on the removed section names no product
dcharlot created pull request Transaction-Science/open-standards#676 2026-11-06 09:45:46 -05:00
wai-quantum: the reader holds its nesting (Q006), and the job service reads each request once, within one budget, off its request threads