A keyed record whose every value narrows through ONE member codec — source → policy, a
name-keyed table of enum members. The keys are non-empty printable text (text's rule); a
value the member refuses refuses the whole record, naming the key, so a client learns which
entry was wrong rather than receiving a silently thinned table.
Distinct from scalarRecord: that one admits ANY scalar for an operator-editable
settings blob; this one carries a closed vocabulary per value, which is what a policy table
needs and what scalarRecord cannot promise.
A keyed record whose every value narrows through ONE member codec —
source → policy, a name-keyed table of enum members. The keys are non-empty printable text (text's rule); a value the member refuses refuses the whole record, naming the key, so a client learns which entry was wrong rather than receiving a silently thinned table.Distinct from scalarRecord: that one admits ANY scalar for an operator-editable settings blob; this one carries a closed vocabulary per value, which is what a policy table needs and what
scalarRecordcannot promise.