RFC 8785 integer domain fix and unsafe-integer write policy - #6

Merged

aeoess merged 7 commits into

mainfrom

feat/unsafe-integer-write-guard

Aug 19, 2026

Commits on Aug 19, 2026

fix(canonical): serialize int through the RFC 8785 binary64 number domain
aeoess
committed
1b87966
refactor(write-policy): split shared canonicalization helpers into read and write twins

aeoess
and
claude
committed
1244ece
feat(write-policy): guard the remaining Python write boundaries

aeoess
and
claude
committed
f1f4a91
test(write-policy): permanent admissibility corpus and verification regression

aeoess
and
claude
committed
81ef99f
fix(write-policy): close the tuple bypass and wire the attestation write twin

aeoess
and
claude
committed
1e772f4
feat(write-policy): guard the pooled-contributors commitment

aeoess
and
claude
committed
fa6fc6c
fix(write-policy): close the Python action-details commitment boundary

aeoess
and
claude
committed
8429d28