dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot merged pull request Transaction-Science/open-standards#126 2026-10-01 06:02:37 -04:00
op-vault: test that a token is independent of the PAN, not free of "4242"
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 06:02:27 -04:00
819e9759de Merge pull request 'jcp-energy: meter a closure's CPU work with the per-process energy counter, which macOS 27 keeps live' (#122) from jcp-energy/process-energy into main
22e5a6ad9f jcp-energy: the one-thread burn's floor fits the energy its cores can take
830fc085f2 jcp-energy: a per-process span a child process worked in is partial
bcd00518a7 jcp-energy: meter this process's own CPU energy, live where IOReport is not
Compare 4 commits »
dcharlot merged pull request Transaction-Science/open-standards#122 2026-10-01 06:02:25 -04:00
jcp-energy: meter a closure's CPU work with the per-process energy counter, which macOS 27 keeps live
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 06:02:16 -04:00
173341d28d Merge pull request 'sandbox-meter: a live per-process CPU energy probe for in-process work, and a real reading for a direct child' (#121) from sandbox-meter/process-energy into main
8aa25541b8 joule-ui: served and example interactions are metered by this process's own CPU energy
ad8fbf48ca sandbox-meter: this process's own CPU energy, read only for in-process work and only while it keeps advancing
Compare 3 commits »
dcharlot merged pull request Transaction-Science/open-standards#121 2026-10-01 06:02:14 -04:00
sandbox-meter: a live per-process CPU energy probe for in-process work, and a real reading for a direct child
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 05:51:30 -04:00
7598ec9180 Merge pull request 'specs: a vendor counter is a hardware reading only while it is demonstrably live' (#119) from energy/liveness-must-specs into main
053a94bbc7 l3-jouleclaw README: leave the example's energy text to #117
2ed679bb6e smart-byte: record the §8.6 liveness change as editorial
edcf2aa8f2 mesh: §3 grades a vendor counter HwShunt only while it is live
3861cd99fb map-receipt: HwShunt's doc says a vendor counter counts only while live
Compare 6 commits »
dcharlot merged pull request Transaction-Science/open-standards#119 2026-10-01 05:51:29 -04:00
specs: a vendor counter is a hardware reading only while it is demonstrably live
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 05:51:09 -04:00
cb8fe9cd17 Merge pull request 'jouleclaw-energy: IOReport only when its CPU rail keeps moving; consumers never zero-fill or relabel' (#117) from jouleclaw-energy/cpu-rail-liveness into main
c07d4c5b47 jouleclaw-energy: RAPL is the sum of every package zone, each of which must be live and each wrapped at its own range
c7a4d7102a jouleclaw-energy: IOReport is live only when every CPU rail it sums is live
f521fb17be l3-jouleclaw: a fabric-priced projection is graded by its weakest input
55c82effd3 mesh-meter: a GPU-only reading is an estimate of the request, never HwShunt
Compare 24 commits »
dcharlot merged pull request Transaction-Science/open-standards#117 2026-10-01 05:51:08 -04:00
jouleclaw-energy: IOReport only when its CPU rail keeps moving; consumers never zero-fill or relabel
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 05:51:00 -04:00
997471e045 Merge pull request 'eoc-meter: never build the IOReport counter on a CPU rail that does not keep moving' (#116) from eoc-meter/cpu-rail-liveness into main
1352aeea07 eoc-agent: every span says whether its joule figure was measured or estimated
6cf8b60e4b eoc-agent: a Plan-and-Execute step is metered like a tool step, never charged 0 µJ
371fbe5eaa eoc-agent: a tool step the meter did not measure is charged its duration at a stated power, never 0 µJ
26165a77ec eoc-meter: RAPL is the sum of every package zone, each of which must be live and each wrapped at its own range
Compare 23 commits »
dcharlot merged pull request Transaction-Science/open-standards#116 2026-10-01 05:50:59 -04:00
eoc-meter: never build the IOReport counter on a CPU rail that does not keep moving
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 05:50:53 -04:00
c8efc70c48 Merge pull request 'proof-cascade: never meter CPU work through an IOReport CPU rail that does not keep moving' (#115) from proof-cascade/cpu-rail-liveness into main
0503e69b32 proof-cascade: IOReport is a hardware reading only while every CPU rail it sums keeps advancing
4551c5f9a4 proof-cli: "the same verified output" charges the baseline only for the goals proved
9334ec0c21 proof-cascade: RAPL is a hardware reading only while every package counter keeps advancing
a96c6154c4 proof: a live vendor counter's reading is HwShunt, and the docs say so
Compare 11 commits »
dcharlot merged pull request Transaction-Science/open-standards#115 2026-10-01 05:50:51 -04:00
proof-cascade: never meter CPU work through an IOReport CPU rail that does not keep moving
219a779085 energy meters: document the hardware tests' helper functions
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 05:45:14 -04:00
c8c174609d Merge pull request 'sandbox-meter: a CPU counter that does not keep moving is never a measurement, and no consumer relabels an estimate' (#114) from sandbox-meter/cpu-rail-liveness into main
3d70348a0d sandbox-exec-microvm: a CPU counter that held across a run is not a measured zero
a16e36cf81 joule-code-remediate: a test's scratch crate builds in its own target directory, whatever CARGO_TARGET_DIR says
8a3465e18d sandbox-exec-microvm: the CPU figure is every package's, read only while every package counter is live
7cf1f0366c sandbox-meter: the RAPL figure sums the package zones by name, never psys or dram
Compare 21 commits »
dcharlot merged pull request Transaction-Science/open-standards#114 2026-10-01 05:45:12 -04:00
sandbox-meter: a CPU counter that does not keep moving is never a measurement, and no consumer relabels an estimate
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 05:45:03 -04:00
b24bc89438 Merge pull request 'jcp-energy: IOReport only when its CPU rail keeps advancing, never on a batch refresh' (#110) from jcp-energy/cpu-rail-liveness into main
25bfdcd98d jcp-energy: the RAPL figure sums the package zones by name, never psys or dram
4f9d90ca94 jcp-energy: a counter is live only if every rail it sums keeps advancing
475680abcd jcp-energy: RAPL and NVML count only while live, and an NVML figure is partial
340313d6b3 jcp: a live vendor counter is a reading; intercept/1 keeps a partial figure partial
Compare 11 commits »
dcharlot merged pull request Transaction-Science/open-standards#110 2026-10-01 05:45:02 -04:00
jcp-energy: IOReport only when its CPU rail keeps advancing, never on a batch refresh
dcharlot pushed to ci/macos-energy-widen at Transaction-Science/open-standards 2026-10-01 02:13:18 -04:00
c694a4c380 ci: build and run the energy meters' NVML-gated tests
dcharlot created pull request Transaction-Science/open-standards#129 2026-10-01 02:12:30 -04:00
energy meters: Linux RAPL and NVML on real hardware; an NVML counter past its board is Implausible