4 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	16984aafc6	Refuse a warrant for an ask with no expiry, and one that says no time (the confirmation review of 2026-10-09) ... For skipped the expiry check when the warrant carried no time, and an ask with a zero expiry was answered at any time. Neither can be shown to be in time, so neither is acted on.	2026-10-09 13:58:50 +02:00
jschoubben	81a8e8a537	Digest an ask and an act over named fields in a canonical encoding, not a language's encoding of a struct ... The review of 2026-10-09: a digest over Go's JSON of a struct changes when a tag is renamed or a field added, and another language cannot reproduce it. An act is now a flat map of named strings, and both digests are over length-prefixed values in a fixed order, versioned; a test fails when a field is added to Ask or Option without being added to the digest.	2026-10-09 13:58:27 +02:00
jschoubben	f7b57fb1ad	Bind a warrant to the exact ask and each option to the act it performs (hq ADR 0259 §6) ... A warrant named the ask by id and the option by id, and the asker acted on whatever its record held for them. Now the ask carries, for every option above acknowledge, the digest of exactly what it performs (Option.Binds, ActDigest), the router puts the digest of the ask it took in the warrant (Warrant.AskDigest), For refuses a warrant whose digest is not that of the ask the asker keeps, and Option.Performs refuses an act the option did not bind. A warrant then authorises one act, as the person was shown it, once.	2026-10-09 13:58:27 +02:00
jochen	3d0c8b02b2	Give modules the seat traffic and the contract to ask a person and answer on a channel (hq ADR 0259)	2026-10-09 13:58:27 +02:00