dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot pushed to wai/d2a-operators-crate at Transaction-Science/open-standards 2026-10-10 02:11:49 -04:00
f81f28d43c int_kernels_vectors: ops-conformance states no digest of decoded output
dcharlot pushed to wai/w3-3-http-receipts at Transaction-Science/open-standards 2026-10-10 01:56:26 -04:00
379425e555 falsify: every mutation names the cases it must fail; receipt-surrogates reaches one
dcharlot pushed to wai/w4-4-staged-packages at Transaction-Science/open-standards 2026-10-10 01:22:01 -04:00
409b1c1fb2 http falsification: union-no-layer against this branch's described()
dcharlot pushed to wai/w3-3-http-receipts at Transaction-Science/open-standards 2026-10-09 23:48:40 -04:00
01516a3e1a CI: falsify the HTTP corpus in shards, each patch rebuilt incrementally
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-09 22:24:13 -04:00
3a8a2161d5 wai-web reach: J's wasm2js from binaryen's WebAssembly build, so every host gives the recorded bytes
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-09 21:46:30 -04:00
df9d349d92 wai-web reach: CI holds the served bytes to the manifest; the package of record kept in-tree
dcharlot created pull request Transaction-Science/open-standards#206 2026-10-09 19:35:02 -04:00
wai-ops: the reference crate and conformance vectors for wai-ops/1 (D2a)
dcharlot pushed to wai/d2a-operators-crate at Transaction-Science/open-standards 2026-10-09 19:34:52 -04:00
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
bef055304b wai-ops: a vector for each run and load rule the text now states
8aff0cb5d6 wai_ops_check.py: load step 8, profiles recomputed, lowering vectors tied to their roles
603a0b803d wai-ops: a tensor a ReLU reads inside a WHM1 network is derived, as §13.2 says
Compare 10 commits »
dcharlot created branch wai/d2a-operators-crate in Transaction-Science/open-standards 2026-10-09 19:34:52 -04:00
dcharlot pushed to wai/d2a-operators-text at Transaction-Science/open-standards 2026-10-09 19:32:50 -04:00
fee4516886 wai: integer-operators §14.1, the checker recomputes profiles too
7600816a40 wai: integer-operators §8.3, the interval of subpos_merge and crop_to
64e37d8ebf wai: integer-operators, the rules the corpus relied on, written into the text
Compare 3 commits »
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-09 19:26:23 -04:00
b77b332d3d ci(wai-web-reach): gate the build on the pull request's own diff
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-09 19:24:54 -04:00
07ee78d414 ci(wai-web-reach): build the package outside the tree
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-09 19:23:52 -04:00
3f26fab1f4 wai-web reach: direct i64 results with a high low half; the shipped wasm streams in browsers
dcharlot pushed to wai-quantum-circuit2 at Transaction-Science/open-standards 2026-10-09 18:51:24 -04:00
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
a661860934 wai-quantum 0.4.0, wai-quantum-serve 0.5.0
95849040e3 wai-quantum circuit2: the specification, registry and documentation for both capabilities
Compare 10 commits »
dcharlot created branch wai-quantum-circuit2 in Transaction-Science/open-standards 2026-10-09 18:51:24 -04:00
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-09 18:50:35 -04:00
2c5f382492 wai-web reach: the i64 workload crosses a low half with its top bit set
dcharlot created pull request Transaction-Science/open-standards#205 2026-10-09 18:47:14 -04:00
wai-web: reach builds — L1, L2, J and an ES5 loader, byte-identical to the shipped build
dcharlot pushed to wai/reach-builds at Transaction-Science/open-standards 2026-10-09 18:46:54 -04:00
bf7c61ff0b wai-web reach: the recorded manifest, the README, the CHANGELOG, and CI on the engine lines
c4e592cfa4 wai-web: reach builds — L1 legalised, L2 MVP-lowered, J wasm2js, and an ES5 loader
Compare 2 commits »
dcharlot created branch wai/reach-builds in Transaction-Science/open-standards 2026-10-09 18:46:53 -04:00
dcharlot pushed to wai/generate-score-cli at Transaction-Science/open-standards 2026-10-09 17:24:05 -04:00
4c09bea76a wai-web wasm32 CI: the browser generator and score synth make every native pin
cdc351b33c wai REGISTRY: the status note names wai.generate.spectral among the registrations v0.4.0 completes
7e3b883074 wai generate.spectral: the model is the parameter set, so the envelope carries no pin; inspect and unwrap report the payload
da03ef1524 wai generate.spectral: the generator's envelope carries intent create, and wrap writes no other
f0107b07b8 wai generate.spectral form v0: accepted objects at every bound, and each refusal's reason
Compare 9 commits »