dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot pushed to feat/wai-video-workflow at Transaction-Science/open-standards 2026-09-04 07:00:59 -04:00
b020eb5d8f verify(wai): prove softmax normalisation; record a latent inconsistency it exposed
dcharlot pushed to main at Transaction-Science/open-standards 2026-09-04 06:43:50 -04:00
3ac28aa07f wai-quantum 0.3.5: a union-find decoder — distance counts again
dcharlot pushed to wai/c2pa-emitter at Transaction-Science/open-standards 2026-09-04 06:38:03 -04:00
8348a6e5b3 wai: run the C2PA emitter in CI, and drop its system-crypto dependency
dcharlot pushed to wai/c2pa-emitter at Transaction-Science/open-standards 2026-09-04 06:37:32 -04:00
3e9b129728 wai: run the C2PA emitter in CI, and drop its system-crypto dependency
7afef98def wai: actually write the C2PA manifest the energy binding describes
e4ddbf8ff8 wai-quantum-serve: a pure wasi:http/proxy build — no host flags
0a28dcff75 wai-quantum 0.3.3: QIR ingest — interop runs both ways
7cb865ed23 wai-quantum 0.3.2: QIR export (LLVM IR), validated with llvm-as
Compare 6 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-09-04 06:36:35 -04:00
044fcaa8bf wai-quantum 0.3.4: the rotated surface code, and an honest decoder scope
dcharlot pushed to main at Transaction-Science/agent-joule 2026-09-04 06:35:55 -04:00
dad19e7898 joule_coded: Fail at startup when the control socket cannot be bound
dcharlot pushed to compliance/eu-scale-pack at Transaction-Science/open-standards 2026-09-04 06:35:28 -04:00
fdc528e90c compliance: publish the EU draft PUE bands as a sourced data pack, not as code
dcharlot pushed to wai/c2pa-emitter at Transaction-Science/open-standards 2026-09-04 06:34:39 -04:00
008b8a0620 wai: run the C2PA emitter in CI, and drop its system-crypto dependency
dcharlot pushed to main at Transaction-Science/open-standards 2026-09-04 06:28:11 -04:00
e4ddbf8ff8 wai-quantum-serve: a pure wasi:http/proxy build — no host flags
dcharlot pushed to feat/wai-video-workflow at Transaction-Science/open-standards 2026-09-04 06:27:18 -04:00
55404828f7 verify(wai): prove the scale→bucket primitive total and monotone (int_entropy)
dcharlot created pull request Transaction-Science/open-standards#79 2026-09-04 06:14:41 -04:00
wai: actually write the C2PA manifest the energy binding describes
dcharlot pushed to wai/c2pa-emitter at Transaction-Science/open-standards 2026-09-04 06:14:23 -04:00
b894903916 wai: actually write the C2PA manifest the energy binding describes
dcharlot pushed to wai/c2pa-emitter at Transaction-Science/open-standards 2026-09-04 06:14:00 -04:00
1b2aac9b1e wai: actually write the C2PA manifest the energy binding describes
dcharlot created branch wai/c2pa-emitter in Transaction-Science/open-standards 2026-09-04 06:14:00 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-09-04 06:10:18 -04:00
0a28dcff75 wai-quantum 0.3.3: QIR ingest — interop runs both ways
dcharlot pushed to main at Transaction-Science/agent-joule 2026-09-04 06:07:18 -04:00
5f0009d7ed joule_coded: Gate the headless worker's tool calls, and add --restricted
dcharlot pushed to feat/wai-video-workflow at Transaction-Science/open-standards 2026-09-04 06:07:07 -04:00
ef23ea89ea verify(wai): CI job + SPEC §7 for the machine-checked totality half
dcharlot pushed to feat/wai-video-workflow at Transaction-Science/open-standards 2026-09-04 06:05:36 -04:00
3c5cd3e796 fix(wai): make the rANS bypass escape total — the four defects the proofs found
dcharlot pushed to feat/wai-video-workflow at Transaction-Science/open-standards 2026-09-04 06:01:29 -04:00
b3056eb4c6 verify(wai): formal proofs over the integer rANS core — and four defects they found
dcharlot pushed to main at Transaction-Science/open-standards 2026-09-04 05:59:44 -04:00
7cb865ed23 wai-quantum 0.3.2: QIR export (LLVM IR), validated with llvm-as