dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
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)
dcharlot pushed to wai/w3-3-http-receipts at Transaction-Science/open-standards 2026-10-09 11:24:46 -04:00
0ef0063a07 Merge main (at 17b7559a) into wai/w3-3-http-receipts
dcharlot created branch wai/w3-3-http-receipts in Transaction-Science/open-standards 2026-10-09 11:24:46 -04:00
dcharlot created pull request Transaction-Science/open-standards#199 2026-10-09 11:18:53 -04:00
wai-pack: staged packages — refinement layers, stills, a piece's ladder, live windows and simulated delivery (W4-4)
dcharlot pushed to wai/w4-4-staged-packages at Transaction-Science/open-standards 2026-10-09 11:18:51 -04:00
1aa1b191a1 Merge remote-tracking branch 'origin/main' into wai/w4-4-staged-packages
dcharlot created branch wai/w4-4-staged-packages in Transaction-Science/open-standards 2026-10-09 11:18:51 -04:00