dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
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 »
dcharlot created pull request Transaction-Science/open-standards#204 2026-10-09 17:22:38 -04:00
licences: ship the Apache-2.0 text the code already declares
9f7566927c licences: ship the Apache-2.0 text the code already declares
dcharlot created branch chore/licence-files-match in Transaction-Science/open-standards 2026-10-09 17:22:33 -04:00
dcharlot pushed to wai/d1-record-true at Transaction-Science/open-standards 2026-10-09 17:19:48 -04:00
59ab0d9489 wai: SECURITY.md, SPEC §2 and §6.5 say what holds
ddd49ee03d check-wai-section-refs: read wai/SECURITY.md too
2e398cde86 wai-web: pack and packMulti refuse a payload past its u32 field
55df2cdc2c wai: the Python verifiers check their manifest reader limit in memory
010ee79b28 wai: the HTTP corpus holds the manifest reader limit at its edge
Compare 6 commits »
dcharlot created pull request Transaction-Science/open-standards#203 2026-10-09 16:30:19 -04:00
ci: workflow hygiene — restore the header's comment marker
dcharlot pushed to ci/hygiene-comment at Transaction-Science/open-standards 2026-10-09 16:29:25 -04:00
8257233ced ci: workflow hygiene — restore the comment marker on the header's first prose line
dcharlot created branch ci/hygiene-comment in Transaction-Science/open-standards 2026-10-09 16:29:25 -04:00
dcharlot created pull request Transaction-Science/open-standards#202 2026-10-09 16:25:56 -04:00
wai: integer-operators (Draft), the operator set wai-ops/1, with its payload text in integer-payloads
dcharlot pushed to wai/d2a-operators-text at Transaction-Science/open-standards 2026-10-09 16:25:33 -04:00
116fcb520f wai: integer-operators lands beside its payload text
1f6834e98d wai: integer-operators, the integer operator set wai-ops/1 (Draft text)
Compare 2 commits »
dcharlot created branch wai/d2a-operators-text in Transaction-Science/open-standards 2026-10-09 16:25:33 -04:00
dcharlot pushed to wai/w4-4-staged-packages at Transaction-Science/open-standards 2026-10-09 16:20:44 -04:00
9ab59f2c96 wai-pack: the inflater's bit reader aligns, by name (clippy's conversion rule)
5072ce77af Merge origin/main into wai/w4-4-staged-packages
af0572a73b changelog: W4-4 round 3 — zlib's code-set rules, the longest piece, manifests in both verifiers, live bookkeeping
42bfce677f ci: wai-pack's test-count floors at its counts (lib 34, staged 10)
e6a16c0408 wai-pack live keeps no record per file: listing lines on disk, open objects only
Compare 28 commits »
dcharlot pushed to wai/w3-3-http-receipts at Transaction-Science/open-standards 2026-10-09 15:54:46 -04:00
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
0f4b5d9e33 http receipts round 4: a deadline TLS cannot stretch, a capped key log, a labelled test anchor, a byte budget never passed
03ca161a91 Merge pull request 'jcp-gateway: meter each call on the upstream server's own process tree' (#198) from feat/gateway-upstream-energy into main
08be85834d jcp-gateway: refuse a gated call sent as a notification, unsent and sealed
Compare 23 commits »
dcharlot created pull request Transaction-Science/open-standards#201 2026-10-09 14:31:42 -04:00
wai: the record made true
dcharlot pushed to wai/d1-record-true at Transaction-Science/open-standards 2026-10-09 14:29:59 -04:00
07e923c724 wai: the manifest reader limit is 2^27, the largest manifest a staged layer has
b0bdea2949 wai: CHANGELOG for the record made true
6c3abb1530 wai: SECURITY.md, and SPEC §2's reader limits stated as rules
027dca6dc5 wai: the Python verifiers apply the same manifest reader limit as wai-rs
30a15bad94 wai: a reader need hold no manifest past 1 MiB, and the writers never write one
Compare 7 commits »
dcharlot created branch wai/d1-record-true in Transaction-Science/open-standards 2026-10-09 14:29:59 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-09 13:59:31 -04:00
03ca161a91 Merge pull request 'jcp-gateway: meter each call on the upstream server's own process tree' (#198) from feat/gateway-upstream-energy into main
08be85834d jcp-gateway: refuse a gated call sent as a notification, unsent and sealed
451987e1cb sandbox: say the tree meter confirms each end with a second walk
b78c6299a4 sandbox-meter: compare a walk's shape piece by piece
746a6b606a sandbox-meter, jcp-gateway: say what an exited member's record lacks, and what a delegating client reads
Compare 20 commits »
dcharlot merged pull request Transaction-Science/open-standards#198 2026-10-09 13:59:30 -04:00
jcp-gateway: meter each call on the upstream server's own process tree
dcharlot created pull request Transaction-Science/open-standards#200 2026-10-09 11:24:50 -04:00
wai: receipts, keys, grants and parameter sets over HTTP; key logs anchored over TLS (W3-3)