C.11:4.2.5 - Minimal decision-record form
A minimal C.11 decision record has the shape below. Include ProbeDecisionValue only for a live inquiry alternative or an inquiry judgement whose content the decision or recipient needs. Include only the relevant information or computation value. A retained prose reason or limitation alone does not activate that block: put only the needed statement in ChoiceResult.
DecisionSubject(...)
DecisionSubjectGranularity(...)
OptionSet(...)
ComparisonBasis(
preferenceOrder or evaluativeMeasure,
beliefState,
outcomeModel,
optional intervention/counterfactual/subjunctive layer
)
ChoiceRule(
closure rule over the current basis and any applicable probe decision value
)
ProbeDecisionValue( # conditional as described above
probeActionSet,
probeBudget,
costToProbe,
relevant valueOfInformation or valueOfComputation or both
)
ChoiceResult(
choiceDisposition = choose_now | reject_current_set | probe_again | reroute,
selectedOption or retainedTieSet or rejectedCurrentSet or nextProbe or rerouteOwner,
reason this result is lawful now
)
Exact syntax is unnecessary. The chooser, options, shared comparison basis, ChoiceRule and ChoiceResult are required. Inquiry content is required only under the stated condition; an absent block requires no placeholder or omission explanation.
Use branch language only when it changes the actual comparison being performed.