heimdall-consent: typed records for the answer collector #12

Merged

libby merged 8 commits from libby/consent-records into main 2026-11-07 08:28:31 +00:00

Conversation 3 Commits 8 Files changed 6 +1543

2026-11-07

Libby

heimdall-consent: re-pin docs to Heimdall PR #6 aaeb175, fix doc line numbers, mark notice state event and registration-checkbox gap as not modelled ...

No behaviour or vector rows changed.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

638e71f427

• View at this point in history

2026-11-07 04:10:44 +00:00

Libby

heimdall-consent: pin the one version rule in the golden vectors (4294967295 ok; 4294967296 and 01 refused) ...

Case one-version-rule runs version_ok/version_refused for notice_version, the sample id @N and terms_version; the Rust vector test handles both ops. README cites Heimdall PR #6 d6a8d42 for the rule.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

420eb9e840

• View at this point in history

2026-11-07 02:40:57 +00:00

Libby

heimdall-consent: one version rule for every version field (positive, no leading zeros, <= 4294967295) ...

check_version is the single rule; the sample id's @N and MemberTerms.terms_version both call it, so
terms_version "2026-11" is now refused and the golden vector carries 4294967295 (the harness now
validates the terms record). notice_version stays u32 and validate() refuses 0.

Tests: boundary table (1, 4294967295 accepted; 0, 4294967296, 4294967297, 01, +1, -1, empty, 2026-11
refused) across all three; each rule checked by mutation (u64 wrap, leading-zero, sign, terms unchecked,
returned value, empty sample, zero in both records) and killed.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

af0b1b6817

• View at this point in history

2026-11-07 00:32:09 +00:00

2026-11-06

Libby

heimdall-consent: pin key(), MemberTerms read-back, acceptance member/experiment, scope rule; refuse leading-zero versions ...

Answers Heimdall's review of PR #12 (review 4): tests for the exact U+001F joined key and the empty and
separator refusals; an expect_terms vector op (newcomer case defends the MemberTerms pair) and
expect_no_terms; a mismatched member or experiment acceptance is never training data; the three scope
conditions kept, with a test of the rule over every scope pair; sample versions with a leading zero
are refused (README notes Heimdall may rule normalise instead).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

27d7e48cd6

• View at this point in history

2026-11-06 20:53:13 +00:00

Libby

heimdall-consent: README maps doc lines at Heimdall commit 4e99bfa ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

19f77ae3c2

• View at this point in history

2026-11-06 19:42:44 +00:00

Libby

heimdall-consent: live answers need text; ties on received_at break by bytewise event_id ...

Rulings: Heimdall PR #6 comment 759. Golden vectors for empty live text, empty revoked,
and received_at ties in both input orders.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

5ab6a6181f

• View at this point in history

2026-11-06 19:42:24 +00:00

Libby

heimdall-consent: match Heimdall's rulings at doc commit 2364979 ...

Typed records, validate(), redacted([u8;32]) and the golden vectors follow
the nine rulings on Heimdall PR #6: u32 versions, 32-byte tombstone hash on
the exited Answer, scopeless replies stored with both fields absent, strict
training rule, fresh first reply per notice version. README cites doc lines.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

a9a2d51c6a

• View at this point in history

2026-11-06 18:27:06 +00:00

Libby

heimdall-consent: typed records for the answer collector ...

NoticeAcceptance, Answer and MemberTerms cut from Heimdall PR #6
(docs/answer-collector-consent.md, head d836f29), with a golden vector
for versioned sample keys, scope-less exclusion from training, redaction
as hash-only tombstone and newcomer notice acceptance. Ambiguities are
listed in the README as questions for Heimdall.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

309c8c1ba3

• View at this point in history

2026-11-06 15:35:25 +00:00