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 02:22:48 -04:00
a4dc260c5d Merge pull request 'a process reads its own energy only once the reading thread has left its core' (#229) from fix/in-process-self-read-fold into main
ac93d9e56e eoc annex: the per-process counter's lumps are the kernel's fold, and a checked read is exact
60bcca7594 proof-cascade: the meter reads its own process only once the measuring thread has left its core
0f6a9a3bb3 eoc-meter: the process counter reads its own count only once the reading thread has left its core
1108d507f9 jcp-energy: the per-process rung reads its own count only once the metering thread has left its core
Compare 6 commits »
dcharlot merged pull request Transaction-Science/open-standards#229 2026-10-13 02:22:47 -04:00
a process reads its own energy only once the reading thread has left its core
dcharlot pushed to ci/tests-are-run at Transaction-Science/open-standards 2026-10-13 01:27:08 -04:00
cdbe206cc7 ci: every wai-rs test file is run by a job or listed, and none can run empty
dcharlot created branch ci/tests-are-run in Transaction-Science/open-standards 2026-10-13 01:27:08 -04:00
dcharlot created pull request Transaction-Science/open-standards#231 2026-10-13 01:12:00 -04:00
wai: reader limits that bound memory (manifest values, text decode), and the codec wrappers in CI
dcharlot pushed to wai/security-gaps at Transaction-Science/open-standards 2026-10-13 01:11:58 -04:00
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 4 commits »
dcharlot created branch wai/security-gaps in Transaction-Science/open-standards 2026-10-13 01:11:58 -04:00
dcharlot created pull request Transaction-Science/open-standards#230 2026-10-13 01:03:53 -04:00
sandbox-meter: a member waiting on the kernel in the middle of its work is not settled
80e254933c sandbox-meter: a member waiting on the kernel in the middle of its work is not settled
dcharlot created branch fix/tree-energy-reap-under-load in Transaction-Science/open-standards 2026-10-13 01:03:52 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 01:02:53 -04:00
1fa133965a Merge pull request 'jouleclaw-energy: advance the scripted RAPL tree in step with the probe' (#228) from fix/rapl-probe-test-in-step into main
d944ff67b4 jouleclaw-energy: advance the scripted RAPL tree in step with the probe
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#228 2026-10-13 01:02:51 -04:00
jouleclaw-energy: advance the scripted RAPL tree in step with the probe
dcharlot created pull request Transaction-Science/open-standards#229 2026-10-13 00:57:05 -04:00
a process reads its own energy only once the reading thread has left its core
ac93d9e56e eoc annex: the per-process counter's lumps are the kernel's fold, and a checked read is exact
60bcca7594 proof-cascade: the meter reads its own process only once the measuring thread has left its core
0f6a9a3bb3 eoc-meter: the process counter reads its own count only once the reading thread has left its core
1108d507f9 jcp-energy: the per-process rung reads its own count only once the metering thread has left its core
6fe45b175f jouleclaw-energy: a process reads itself only once the reading thread has left its core
Compare 5 commits »
dcharlot created branch fix/in-process-self-read-fold in Transaction-Science/open-standards 2026-10-13 00:57:04 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 00:55:39 -04:00
f712c3f5c5 Merge pull request 'ci: every committed Cargo.lock is current' (#227) from ci/lockfiles-current into main
e22955434f ci: every committed Cargo.lock is current
Compare 2 commits »
dcharlot merged pull request Transaction-Science/open-standards#227 2026-10-13 00:55:37 -04:00
ci: every committed Cargo.lock is current
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-13 00:53:47 -04:00
0d82816fbe Merge pull request 'wai-ops: the bounds pass, certificates from two certifiers, and the operator set's Kani harnesses (D2b)' (#221) from wai/d2b-bounds into main
a145f5c29a Merge main into wai/d2b-bounds
829281c745 Merge main into wai/d2b-bounds
5e6792fd3b wai-ops proofs: the rans64 totality proof runs where its memory fits
8f5e70c800 Merge main (at 4ab66d24, with #199, #201 and #219) into wai/d2b-bounds
Compare 49 commits »
dcharlot merged pull request Transaction-Science/open-standards#221 2026-10-13 00:53:47 -04:00
wai-ops: the bounds pass, certificates from two certifiers, and the operator set's Kani harnesses (D2b)
dcharlot created pull request Transaction-Science/open-standards#228 2026-10-12 20:29:39 -04:00
jouleclaw-energy: advance the scripted RAPL tree in step with the probe