dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot created branch feat/meter-model-subprocesses in Transaction-Science/open-standards 2026-10-10 18:09:20 -04:00
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-10 17:26:53 -04:00
4e52e7923a Merge wai/generate-score-cli (with main) into wai/reach-builds
815f3fb8c2 Merge origin/main into wai/generate-score-cli
5be238af32 Merge pull request 'wai-ops: the reference crate and conformance vectors for wai-ops/1 (D2a)' (#206) from wai/d2a-operators-crate into main
3affd4c77b Merge pull request 'sandbox: a setup assertion walked a tree that still held the warm-up worker' (#208) from dcharlot/tree-energy-setup-race into main
9836b616eb Merge pull request 'wai: receipts, keys, grants and parameter sets over HTTP; key logs anchored over TLS (W3-3)' (#200) from wai/w3-3-http-receipts into main
Compare 103 commits »
dcharlot pushed to wai/generate-score-cli at Transaction-Science/open-standards 2026-10-10 17:23:08 -04:00
815f3fb8c2 Merge origin/main into wai/generate-score-cli
5be238af32 Merge pull request 'wai-ops: the reference crate and conformance vectors for wai-ops/1 (D2a)' (#206) from wai/d2a-operators-crate into main
3affd4c77b Merge pull request 'sandbox: a setup assertion walked a tree that still held the warm-up worker' (#208) from dcharlot/tree-energy-setup-race into main
9836b616eb Merge pull request 'wai: receipts, keys, grants and parameter sets over HTTP; key logs anchored over TLS (W3-3)' (#200) from wai/w3-3-http-receipts into main
3afdb3e85f Merge pull request 'wai-quantum 0.4.0: wai.quantum.circuit2 — a correctly rounded phase table, circuit/1 stated exactly, both read by stated rules' (#207) from wai-quantum-circuit2 into main
Compare 111 commits »
dcharlot closed pull request Transaction-Science/open-standards#97 2026-10-10 17:23:00 -04:00
joule-code: close the two gaps its conformance gate cannot see
37f5bda4ba ci: the comment named a mechanism that is a convention, not a rule
692d769f2e joule-code: close the two gaps its conformance gate cannot see
Compare 2 commits »
dcharlot created branch revive/joule-code-pack-test in Transaction-Science/open-standards 2026-10-10 17:22:46 -04:00
dcharlot created pull request Transaction-Science/open-standards#210 2026-10-10 17:22:46 -04:00
joule-code: close the two gaps its conformance gate cannot see
dcharlot closed pull request Transaction-Science/open-standards#98 2026-10-10 17:20:26 -04:00
jcp-receipt: move an orphaned doc comment onto the test it describes
dcharlot created pull request Transaction-Science/open-standards#209 2026-10-10 17:19:43 -04:00
jcp-receipt: move an orphaned doc comment onto the test it describes
b1686e1fc5 jcp-receipt: move an orphaned doc comment onto the test it describes
dcharlot created branch revive/jcp-receipt-orphan-doc in Transaction-Science/open-standards 2026-10-10 17:19:43 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 17:17:04 -04:00
5be238af32 Merge pull request 'wai-ops: the reference crate and conformance vectors for wai-ops/1 (D2a)' (#206) from wai/d2a-operators-crate into main
9b748c97bd ops-conformance: say why the corpus carries no sha256.json
f81f28d43c int_kernels_vectors: ops-conformance states no digest of decoded output
98b5088dfe wai-ops.yml: the goldens' digest file in the filter; every test on the 32-bit leg
5e43805620 wai-ops: the interpreter runs only a loaded graph, so step 8 cannot be bypassed
Compare 16 commits »
dcharlot merged pull request Transaction-Science/open-standards#206 2026-10-10 17:17:02 -04:00
wai-ops: the reference crate and conformance vectors for wai-ops/1 (D2a)
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 17:16:45 -04:00
3affd4c77b Merge pull request 'sandbox: a setup assertion walked a tree that still held the warm-up worker' (#208) from dcharlot/tree-energy-setup-race into main
b1d7e1e2b2 lockfiles: three workspaces' locks did not list a dependency jcp-efficiency grew
52fe6bff6f sandbox: a setup assertion walked a tree that still held the warm-up worker
Compare 3 commits »
dcharlot merged pull request Transaction-Science/open-standards#208 2026-10-10 17:16:43 -04:00
sandbox: a setup assertion walked a tree that still held the warm-up worker
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 17:16:06 -04:00
9836b616eb Merge pull request 'wai: receipts, keys, grants and parameter sets over HTTP; key logs anchored over TLS (W3-3)' (#200) from wai/w3-3-http-receipts into main
379425e555 falsify: every mutation names the cases it must fail; receipt-surrogates reaches one
01516a3e1a CI: falsify the HTTP corpus in shards, each patch rebuilt incrementally
ce8462edfb Merge main (at 03ca161a) into wai/w3-3-http-receipts
8f89b25ed4 http receipts round 4: falsify the bounded reads and the key-log cap
Compare 24 commits »
dcharlot merged pull request Transaction-Science/open-standards#200 2026-10-10 17:16:06 -04:00
wai: receipts, keys, grants and parameter sets over HTTP; key logs anchored over TLS (W3-3)
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 15:52:05 -04:00
3afdb3e85f Merge pull request 'wai-quantum 0.4.0: wai.quantum.circuit2 — a correctly rounded phase table, circuit/1 stated exactly, both read by stated rules' (#207) from wai-quantum-circuit2 into main
0453ba98da Merge remote-tracking branch 'origin/main' into wai-quantum-circuit2
e1f3b6faa0 wai-quantum circuit2: the number range decided on the literal's digits in both readers
d06afe78dd wai-quantum circuit2: a strict I-JSON reader, the rules stated in full, an accept corpus
956003d0c8 wai-quantum circuit2: sections read as I-JSON, a reject payload for every refusal, review fixes
Compare 15 commits »
dcharlot merged pull request Transaction-Science/open-standards#207 2026-10-10 15:52:03 -04:00
wai-quantum 0.4.0: wai.quantum.circuit2 — a correctly rounded phase table, circuit/1 stated exactly, both read by stated rules
b1d7e1e2b2 lockfiles: three workspaces' locks did not list a dependency jcp-efficiency grew
52fe6bff6f sandbox: a setup assertion walked a tree that still held the warm-up worker
Compare 2 commits »