Fork card: decider_count, answerer_count, nullable answerer (reader views) #117

Merged
libby merged 5 commits from libby/fork-card-reader-counts into main 2026-11-11 18:12:01 +00:00 AGit
Member

Implements cultlib-gaps:cut_spec:cut-cultlib-fork-card-reader-counts.r1. Card DE0011->DE0012, record 85->86; options_hash and bodyDigests byte-identical. Soul verdict cut-cultlib-fork-card-reader-counts.s1 (one Low, fixed in the last commit).

Implements cultlib-gaps:cut_spec:cut-cultlib-fork-card-reader-counts.r1. Card DE0011->DE0012, record 85->86; options_hash and bodyDigests byte-identical. Soul verdict cut-cultlib-fork-card-reader-counts.s1 (one Low, fixed in the last commit).
card gains decider_count (1..64) beside deciders, which may now be empty (ids withheld).
record gains answerer_count beside answers; answerer is nullable for the non-decider view.
Generator derives both counts, adds withheld(entry), the non_decider_page scenario and the
R-card/R-record/R-entry/R-list/R-answer-result negatives. optionsHash and bodyDigests
digests are unchanged: neither count nor deciders emptiness enters the hash.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Fork card: drop the redundant R-record mixed clause; its vector is an R-entry negative (Soul s1)
Some checks failed
CultMesh portability and performance / ubuntu-latest reactive semantics and leases (pull_request) Has been cancelled
448a202162
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
libby merged commit 3a51bbabad into main 2026-11-11 18:12:01 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
GameCult/CultLib!117
No description provided.