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#219 2026-10-11 16:59:32 -04:00
wai-vector: the independent checker, written from the extension text alone, and a text fix (D7-4)
dcharlot pushed to wai-quantum-webgpu at Transaction-Science/open-standards 2026-10-11 16:59:18 -04:00
d602453977 Merge remote-tracking branch 'origin/main' into wai-quantum-webgpu
3af821182d Merge pull request 'wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3; stacked on #216)' (#217) from wai/d7-3-vector-raster into main
a549497972 Merge pull request 'wai-vector: WOS1 and WVG1 with the refusal order, the interval check and the cost (D7-2; stacked on #215)' (#216) from wai/d7-2-vector-formats into main
16dae7245f Merge pull request 'wai: graphics-vector, the extension text of wai.graphics.vector, §1–§3 (Draft, D7-1)' (#215) from wai/d7-1-graphics-text into main
5f5812eb92 Merge pull request 'sandbox-meter + jcp-gateway: count, and flag, work services did on the tree's behalf' (#214) from feat/tree-delegated-energy into main
Compare 29 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-11 16:58:56 -04:00
1c44a2a163 Merge pull request 'wai-pack: staged packages — refinement layers, stills, a piece's ladder, live windows and simulated delivery (W4-4)' (#199) from wai/w4-4-staged-packages into main
02cb302e33 Merge wai/d1-record-true (the wasip2 link fix, with #215, #216, #217 and main) into wai/w4-4-staged-packages
d4eb15e7ce Merge wai/d1-record-true (the record leg runs the record's own demo scripts) into wai/w4-4-staged-packages
e1acae7881 Merge wai/d1-record-true (with #205, #197 and main) into wai/w4-4-staged-packages
409b1c1fb2 http falsification: union-no-layer against this branch's described()
Compare 28 commits »
dcharlot merged pull request Transaction-Science/open-standards#199 2026-10-11 16:58:55 -04:00
wai-pack: staged packages — refinement layers, stills, a piece's ladder, live windows and simulated delivery (W4-4)
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-11 16:58:43 -04:00
adc866cee2 Merge pull request 'wai: the record made true' (#201) from wai/d1-record-true into main
8885e66688 Merge origin/main (#215, #216, #217) into wai/d1-record-true
1f48766531 wai-conformance: build wai as one codegen unit for the wasip2 quantum leg
603c6bbb8c wai-web reach: the record leg runs the record's own demo scripts
4e7155b955 Merge wai/reach-builds (with #197 and main) into wai/d1-record-true
Compare 18 commits »
dcharlot merged pull request Transaction-Science/open-standards#201 2026-10-11 16:58:42 -04:00
wai: the record made true
dcharlot created pull request Transaction-Science/open-standards#220 2026-10-11 10:52:37 -04:00
an uncalibrated power model is an estimate, not ModelBased
93c6b2917c sandbox-exec-microvm: the liveness tick advances the fake counters itself
b22d3cd496 jouleclaw-fabric: seed the CPU and AMX matmul figures Estimated, not Benchmarked
66ed977282 wai-web: seal the OTT demo's page-supplied joules as Estimator, not ModelBased
490a592223 sandbox-exec-microvm, sandbox-exec-wasm, sandbox-meter: grade nominal-cost figures Estimator
66137550bc aac-core: grade the store's elapsed-time receipts Estimator, not ModelBased
Compare 7 commits »
dcharlot created pull request Transaction-Science/open-standards#219 2026-10-11 09:07:30 -04:00
wai-vector: the independent checker, written from the extension text alone, and a text fix (D7-4)
dcharlot pushed to wai/d7-4-vector-checker at Transaction-Science/open-standards 2026-10-11 09:02:11 -04:00
ca88e15bc6 ci(wai-vector): the independent checker as its own job (D7-4)
9b6a4c580f wai: graphics-vector text fix: five places the checker had to infer
fd3de87f4e wai-vector checker: two fixes from the first comparison; the per-fill density bound; the sidecar exercise
dfa4d5d425 wai-vector checker: the corpus driver (D7-4)
99c12e84f5 wai-vector: the independent checker, written from graphics-vector.md alone (D7-4)
Compare 5 commits »
dcharlot created branch wai/d7-4-vector-checker in Transaction-Science/open-standards 2026-10-11 09:02:11 -04:00
dcharlot pushed to wai/w4-4-staged-packages at Transaction-Science/open-standards 2026-10-11 08:46:51 -04:00
02cb302e33 Merge wai/d1-record-true (the wasip2 link fix, with #215, #216, #217 and main) into wai/w4-4-staged-packages
8885e66688 Merge origin/main (#215, #216, #217) into wai/d1-record-true
1f48766531 wai-conformance: build wai as one codegen unit for the wasip2 quantum leg
3af821182d Merge pull request 'wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3; stacked on #216)' (#217) from wai/d7-3-vector-raster into main
a549497972 Merge pull request 'wai-vector: WOS1 and WVG1 with the refusal order, the interval check and the cost (D7-2; stacked on #215)' (#216) from wai/d7-2-vector-formats into main
Compare 87 commits »
dcharlot pushed to wai/d1-record-true at Transaction-Science/open-standards 2026-10-11 08:44:06 -04:00
8885e66688 Merge origin/main (#215, #216, #217) into wai/d1-record-true
1f48766531 wai-conformance: build wai as one codegen unit for the wasip2 quantum leg
3af821182d Merge pull request 'wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3; stacked on #216)' (#217) from wai/d7-3-vector-raster into main
a549497972 Merge pull request 'wai-vector: WOS1 and WVG1 with the refusal order, the interval check and the cost (D7-2; stacked on #215)' (#216) from wai/d7-2-vector-formats into main
16dae7245f Merge pull request 'wai: graphics-vector, the extension text of wai.graphics.vector, §1–§3 (Draft, D7-1)' (#215) from wai/d7-1-graphics-text into main
Compare 86 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-11 08:34:30 -04:00
3af821182d Merge pull request 'wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3; stacked on #216)' (#217) from wai/d7-3-vector-raster into main
913dc11992 wai-vector: the vectors module's doc names flatten's inputs and the frame digests
82aee67cde Merge wai/d7-2-vector-formats into wai/d7-3-vector-raster; clippy-clean raster
cab9ce295a wai-vector: render and hash in the CLI
fc00d2855b wai-vector: the corpus README names the raster groups; the fuzz renders each accepted payload of small cost
Compare 6 commits »
dcharlot merged pull request Transaction-Science/open-standards#217 2026-10-11 08:34:30 -04:00
wai-vector: the raster RS1-RS9 and the frame procedure, with per-frame SHA-256 vectors (D7-3; stacked on #216)
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-11 06:09:26 -04:00
a549497972 Merge pull request 'wai-vector: WOS1 and WVG1 with the refusal order, the interval check and the cost (D7-2; stacked on #215)' (#216) from wai/d7-2-vector-formats into main
5b0f2abde0 wai-vector: clippy-clean, the empty frame range built without a reversed literal; no generated byte changes
2f147d2a30 wai-vector: WOS1 and WVG1 with the refusal order of §2.7, the clock, tracks, the interval check and the cost (D7-2)
Compare 3 commits »
dcharlot merged pull request Transaction-Science/open-standards#216 2026-10-11 06:09:26 -04:00
wai-vector: WOS1 and WVG1 with the refusal order, the interval check and the cost (D7-2; stacked on #215)
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-11 06:09:15 -04:00
16dae7245f Merge pull request 'wai: graphics-vector, the extension text of wai.graphics.vector, §1–§3 (Draft, D7-1)' (#215) from wai/d7-1-graphics-text into main
f66c09ede1 wai: README and CHANGELOG name the graphics-vector Draft
0dde3467ae wai: graphics-vector §1–§3, the implementer's read: no rule left to guess
5dc6efaf33 wai: graphics-vector, the extension text of wai.graphics.vector, §1–§3 (Draft)
Compare 4 commits »
dcharlot merged pull request Transaction-Science/open-standards#215 2026-10-11 06:09:14 -04:00
wai: graphics-vector, the extension text of wai.graphics.vector, §1–§3 (Draft, D7-1)