dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot created pull request Transaction-Science/open-standards#111 2026-09-30 01:50:06 -04:00
wai: add wai.neural.int_mlicpp, the MLIC++ entropy topology integer end to end
5ee4c7e28b wai: typed receipt classes and the soft binding class, reading OER through the OER module
dcharlot created branch wai/land-10-receipt-classes in Transaction-Science/open-standards 2026-09-30 01:49:59 -04:00
dcharlot pushed to wai/land-09-int-mlicpp at Transaction-Science/open-standards 2026-09-30 01:49:59 -04:00
dcharlot created branch wai/land-09-int-mlicpp in Transaction-Science/open-standards 2026-09-30 01:49:59 -04:00
226a70cb64 jouledesk-github: an estimate is sealed and posted as an estimate, and no zero is
67f821e6a5 sandbox-meter: a CPU rail is live only when it keeps advancing, never on one step
2518f0d70a jcp-energy: IOReport is live only when one CPU rail keeps advancing
5d01888f20 proof-cascade: IOReport is live only when one CPU rail advances twice
1a477bc8d3 jouleclaw-energy: the liveness probe samples the Energy Model group alone
63e5b4e875 Merge wai/land-06-ci-headline-tests into wai/land-07-int-decode-kernels
bfb89415b1 Merge wai/land-05-prior-nnc into wai/land-06-ci-headline-tests
69e75214c4 Merge wai/land-04-codec-registry into wai/land-05-prior-nnc
b72d0926f9 Merge wai/land-03-jpegai-no-libm into wai/land-04-codec-registry
ef50d5ffdb Merge wai/land-02-determinism-tiers into wai/land-03-jpegai-no-libm
Compare 10 commits »
16e6bde20c Merge wai/land-07-int-decode-kernels into wai/land-08-energy-classes
63e5b4e875 Merge wai/land-06-ci-headline-tests into wai/land-07-int-decode-kernels
bfb89415b1 Merge wai/land-05-prior-nnc into wai/land-06-ci-headline-tests
69e75214c4 Merge wai/land-04-codec-registry into wai/land-05-prior-nnc
b72d0926f9 Merge wai/land-03-jpegai-no-libm into wai/land-04-codec-registry
Compare 11 commits »
bfb89415b1 Merge wai/land-05-prior-nnc into wai/land-06-ci-headline-tests
69e75214c4 Merge wai/land-04-codec-registry into wai/land-05-prior-nnc
b72d0926f9 Merge wai/land-03-jpegai-no-libm into wai/land-04-codec-registry
ef50d5ffdb Merge wai/land-02-determinism-tiers into wai/land-03-jpegai-no-libm
7f9b06ded3 Merge feat/wai-video-workflow into wai/land-02-determinism-tiers
Compare 9 commits »
dcharlot pushed to wai/land-05-prior-nnc at Transaction-Science/open-standards 2026-09-30 01:16:19 -04:00
69e75214c4 Merge wai/land-04-codec-registry into wai/land-05-prior-nnc
b72d0926f9 Merge wai/land-03-jpegai-no-libm into wai/land-04-codec-registry
ef50d5ffdb Merge wai/land-02-determinism-tiers into wai/land-03-jpegai-no-libm
7f9b06ded3 Merge feat/wai-video-workflow into wai/land-02-determinism-tiers
d7aa08259a Merge origin/main into feat/wai-video-workflow
Compare 8 commits »
b72d0926f9 Merge wai/land-03-jpegai-no-libm into wai/land-04-codec-registry
ef50d5ffdb Merge wai/land-02-determinism-tiers into wai/land-03-jpegai-no-libm
7f9b06ded3 Merge feat/wai-video-workflow into wai/land-02-determinism-tiers
d7aa08259a Merge origin/main into feat/wai-video-workflow
860ead8c37 wai/oer: make the extension say exactly what both verifiers do
Compare 7 commits »
ef50d5ffdb Merge wai/land-02-determinism-tiers into wai/land-03-jpegai-no-libm
7f9b06ded3 Merge feat/wai-video-workflow into wai/land-02-determinism-tiers
d7aa08259a Merge origin/main into feat/wai-video-workflow
860ead8c37 wai/oer: make the extension say exactly what both verifiers do
dbd8684f8e Merge origin/main into feat/wai-video-workflow
Compare 6 commits »
7f9b06ded3 Merge feat/wai-video-workflow into wai/land-02-determinism-tiers
d7aa08259a Merge origin/main into feat/wai-video-workflow
860ead8c37 wai/oer: make the extension say exactly what both verifiers do
dbd8684f8e Merge origin/main into feat/wai-video-workflow
54e89b5638 wai/oer: differential fuzzing of the reference verifier against wai-rs
Compare 5 commits »
dcharlot pushed to feat/wai-video-workflow at Transaction-Science/open-standards 2026-09-30 01:16:01 -04:00
d7aa08259a Merge origin/main into feat/wai-video-workflow
860ead8c37 wai/oer: make the extension say exactly what both verifiers do
dbd8684f8e Merge origin/main into feat/wai-video-workflow
54e89b5638 wai/oer: differential fuzzing of the reference verifier against wai-rs
Compare 4 commits »
3d9eb150be sandbox-meter consumers: a figure keeps its span's provenance, and work that ran is never 0 J
b9d7e9450f jouleclaw-energy: never use IOReport unless its CPU rail keeps moving