dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot pushed to ci/macos-energy-widen at Transaction-Science/open-standards 2026-10-01 18:40:41 -04:00
4e23637dba ci: build and run the energy meters' NVML-gated tests
3354465adf ci: run joule-code-remediate's formal gate against a real z3
06ef387c00 ci(standards-build): describe the liveness rule the meters now use
6690eafb3d ci(standards-build): run each IOReport meter's integration tests on macOS too
a303d999e3 ci(standards-build): run all five IOReport meters on macOS, and fail a step whose test never ran
Compare 280 commits »
dcharlot pushed to energy/burn-floor-0-1-j at Transaction-Science/open-standards 2026-10-01 18:39:57 -04:00
515545abcc energy tests: drive the fake RAPL trees from the probe's tick, and clear stale ones
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 18:33:50 -04:00
ce833dd6be Merge pull request 'energy meters: Linux RAPL and NVML on real hardware; an NVML counter past its board is Implausible' (#129) from energy/meters-on-real-linux-hardware into main
1d85821aa8 energy meters: document the hardware tests' helper functions
c570536584 jouleclaw-energy: the GPU plausibility rule is dead code without nvml, and says so
ef4aa3cd3a proof-cascade: the RAPL hardware test takes 0 as the crate's 'inside the idle noise'
76ce401fe9 eoc-meter: the GPU counter is never the cascade's counter, and one past its board is Implausible
Compare 11 commits »
dcharlot merged pull request Transaction-Science/open-standards#129 2026-10-01 18:33:48 -04:00
energy meters: Linux RAPL and NVML on real hardware; an NVML counter past its board is Implausible
dcharlot pushed to wai-quantum-sota at Transaction-Science/open-standards 2026-10-01 15:15:28 -04:00
ba653dac59 ci: run wai-quantum's integration tests on every architecture in the matrix
dcharlot created pull request Transaction-Science/open-standards#137 2026-10-01 15:14:06 -04:00
wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform
dcharlot pushed to wai-quantum-sota at Transaction-Science/open-standards 2026-10-01 15:13:55 -04:00
617075d387 wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform
dcharlot created branch wai-quantum-sota in Transaction-Science/open-standards 2026-10-01 15:13:54 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 14:54:58 -04:00
a7e96c92d9 Merge pull request 'wai: key discovery, signing authority and module revocation' (#134) from wai/land-15-key-discovery into main
8eba9008f6 Merge wai/land-14-energy-reporting into wai/land-15-key-discovery
7e402d8de9 wai/CHANGELOG: the registry note states the rule for later changes
18ee58f670 Merge wai/land-14-energy-reporting into wai/land-15-key-discovery
29877f83ff ci: the neural key-log gate follows the code it runs; the wasm32 step says what it checks
Compare 16 commits »
dcharlot merged pull request Transaction-Science/open-standards#134 2026-10-01 14:54:56 -04:00
wai: key discovery, signing authority and module revocation
dcharlot merged pull request Transaction-Science/open-standards#133 2026-10-01 14:54:28 -04:00
wai: energy reports, labelled JWP leaves and what signatures cover
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 14:54:28 -04:00
61b24a3e32 Merge pull request 'wai: energy reports, labelled JWP leaves and what signatures cover' (#133) from wai/land-14-energy-reporting into main
2934038be9 Merge main into wai/land-14-energy-reporting
93d5ce5845 Merge main into wai/land-14-energy-reporting
bc0dffa965 wai: state what CI builds, the meters' new feature, and the /verify change
17cca049df Merge wai/land-13-parameter-set-identity into wai/land-14-energy-reporting
Compare 7 commits »
8eba9008f6 Merge wai/land-14-energy-reporting into wai/land-15-key-discovery
2934038be9 Merge main into wai/land-14-energy-reporting
46db5f722f Merge pull request 'wai: the parameter-set pin, component identity, pin-aware selection' (#132) from wai/land-13-parameter-set-identity into main
7fe16b14d1 Merge pull request 'wai: one registry table, candidate capabilities, public-text checks' (#131) from wai/land-12-registry-and-text into main
3377b81d05 Merge pull request 'smart-byte: governance, burns, and transfers between clusters' (#135) from smart-byte-lifecycle into main
Compare 7 commits »
2934038be9 Merge main into wai/land-14-energy-reporting
46db5f722f Merge pull request 'wai: the parameter-set pin, component identity, pin-aware selection' (#132) from wai/land-13-parameter-set-identity into main
7fe16b14d1 Merge pull request 'wai: one registry table, candidate capabilities, public-text checks' (#131) from wai/land-12-registry-and-text into main
3377b81d05 Merge pull request 'smart-byte: governance, burns, and transfers between clusters' (#135) from smart-byte-lifecycle into main
f9fbd5a3af smart-byte: governance, burns and transfers between clusters, with vectors
Compare 6 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 14:50:20 -04:00
46db5f722f Merge pull request 'wai: the parameter-set pin, component identity, pin-aware selection' (#132) from wai/land-13-parameter-set-identity into main
7d01de3dcc wai/neural: the strict-gate test holds a record, which the old gate refused
bc06242f9f wai/tests: serialize sha256.json sidecar writes and document their regeneration
9dee86559c wai: correct public text the parameter-set link left stale or overstated
e0d16bc14c wai/neural: the strict gate reads only dispatchable capabilities; a pinned model keeps no tensor outside the verified bytes
Compare 14 commits »
dcharlot merged pull request Transaction-Science/open-standards#132 2026-10-01 14:50:19 -04:00
wai: the parameter-set pin, component identity, pin-aware selection
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-01 14:50:02 -04:00
7fe16b14d1 Merge pull request 'wai: one registry table, candidate capabilities, public-text checks' (#131) from wai/land-12-registry-and-text into main
d96739e436 wai/glossary: the codec glossary declares its schema version
913c994b18 ci: give the WAI name list only to the push-to-main run
348a2d9259 wai: restate the ranking phrases the retrofit left in research and extensions
f62e7d8557 wai: hold research/content-taxonomy.md to both public-text checks
Compare 6 commits »
dcharlot merged pull request Transaction-Science/open-standards#131 2026-10-01 14:50:02 -04:00
wai: one registry table, candidate capabilities, public-text checks
dcharlot created pull request Transaction-Science/open-standards#136 2026-10-01 12:35:10 -04:00
energy tests: a 200 ms burn's floor is 0.1 J in sandbox and jouleclaw
1d85821aa8 energy meters: document the hardware tests' helper functions
c570536584 jouleclaw-energy: the GPU plausibility rule is dead code without nvml, and says so
ef4aa3cd3a proof-cascade: the RAPL hardware test takes 0 as the crate's 'inside the idle noise'
76ce401fe9 eoc-meter: the GPU counter is never the cascade's counter, and one past its board is Implausible
7739d5c113 jouleclaw-energy: an NVML counter that runs past its board is Implausible, not HwShunt
Compare 141 commits »