dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 06:38:20 -04:00
bd3983c6e3 Merge pull request 'wai-quantum-serve 0.5.1: limits a request cannot pass, and a body is read whole or refused' (#235) from wai/quantum-serve-limits into main
3d3ff815c9 wai-quantum-serve 0.5.1: limits a request cannot pass, and a body is read whole or refused
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#235 2026-10-13 06:38:19 -04:00
wai-quantum-serve 0.5.1: limits a request cannot pass, and a body is read whole or refused
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 06:38:01 -04:00
8510ae7a4a Merge pull request 'quantum-meter: wai-quantum's RunMeter over this process's CPU and GPU counters' (#232) from wai/quantum-run-meter into main
8606de265c quantum-meter: the GPU probe's load runs for 50 ms each call, not one run
644b5edb9f quantum-meter: wai-quantum's RunMeter over this process's CPU and GPU counters
Compare 3 commits »
dcharlot merged pull request Transaction-Science/open-standards#232 2026-10-13 06:37:59 -04:00
quantum-meter: wai-quantum's RunMeter over this process's CPU and GPU counters
dcharlot merged pull request Transaction-Science/open-standards#142 2026-10-13 06:37:24 -04:00
check: no library source file is unreachable from its crate root
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 06:37:24 -04:00
2d73ce553c check: no library source file is unreachable from its crate root (#142)
0c0b66f001 jouleclaw-jcp: wire in two orphaned modules, and six tests that never ran
104a8b444c check: no library source file is unreachable from its crate root
Compare 3 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 06:36:51 -04:00
6f4641c9a8 Merge pull request 'wai: reader limits that bound memory (manifest values, text decode), and the codec wrappers in CI' (#231) from wai/security-gaps into main
a8d2ba297e wai changelog: record the integer-operator crate, the bounds pass and its certificates
dbe084adda wai-conformance: run the manifest memory and reader-equivalence tests
cec0ab291e Merge main into wai/security-gaps
6961c04a0b Merge main into wai/security-gaps
Compare 14 commits »
dcharlot merged pull request Transaction-Science/open-standards#231 2026-10-13 06:36:49 -04:00
wai: reader limits that bound memory (manifest values, text decode), and the codec wrappers in CI
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 03:13:55 -04:00
f244bd33a3 Merge pull request 'sandbox-meter: a member waiting on the kernel in the middle of its work is not settled' (#230) from fix/tree-energy-reap-under-load into main
c15615c785 jcp-gateway, proof-solvers: the tree tests' oracles ask each thread's wait state too
80e254933c sandbox-meter: a member waiting on the kernel in the middle of its work is not settled
Compare 3 commits »
dcharlot merged pull request Transaction-Science/open-standards#230 2026-10-13 03:13:54 -04:00
sandbox-meter: a member waiting on the kernel in the middle of its work is not settled
dcharlot created pull request Transaction-Science/open-standards#239 2026-10-13 03:11:16 -04:00
proof-solvers: a time limit on every z3 goal, and a deadline on its I/O
dcharlot pushed to fix/z3-goal-deadline at Transaction-Science/open-standards 2026-10-13 03:11:12 -04:00
4a137b3cdd proof-solvers: a time limit on every z3 goal, and a deadline on its I/O
dcharlot created branch fix/z3-goal-deadline in Transaction-Science/open-standards 2026-10-13 03:11:12 -04:00
4b05fd80e1 ci: a citation to a section that does not exist is now a failure
560c3e58fa aac, sandbox: five citations named sections their SPECs do not have
Compare 2 commits »
dcharlot created branch fix/spec-citations-resolve in Transaction-Science/open-standards 2026-10-13 03:07:26 -04:00
dcharlot created pull request Transaction-Science/open-standards#238 2026-10-13 03:07:26 -04:00
spec citations: five named sections their SPECs do not have, and a check so they cannot return
dcharlot created pull request Transaction-Science/open-standards#237 2026-10-13 02:59:27 -04:00
wai-vector: section 5 and the text layer, its checker, and the three-engine browser leg (D7-7, D7-8)
dcharlot pushed to wai/d7-text-and-browser at Transaction-Science/open-standards 2026-10-13 02:59:23 -04:00
4084a31bc6 graphics-vector 5.4: the worked example states each block's string and writing mode
5189e5f50b wai-vector: the wasm exports and the three-engine browser leg (D7-8)
2ed3aff4eb wai_vector_check.py: section 5, from the extension text alone
10ba6e9bcc wai-vector: the text layer and section 5, text and accessibility (D7-7)
Compare 4 commits »
dcharlot created branch wai/d7-text-and-browser in Transaction-Science/open-standards 2026-10-13 02:59:23 -04:00
dcharlot pushed to wai/quantum-run-meter at Transaction-Science/open-standards 2026-10-13 02:48:55 -04:00
8606de265c quantum-meter: the GPU probe's load runs for 50 ms each call, not one run