Module judgment 

Judgments, rustev.judgment/1, and rustev.judgment/2 for plans with actionability (spec 033, 3.1.3): the typed result of a plan. A judgment is a proposal, an escalation, an unresolved outcome, or (version 2) a refusal or a request for input; it is never a grant and never an effect (spec 001, 3.2). Version 2 carries an action on every unresolved outcome, refusal, request for input and notice (spec 033, 3.5).

Structs

Excluded

Filtered

The result of filter_with_reasons@1.

Judgment

Lineage

What a value was computed from: input fields and steps, sorted.

Notice

RankEntry

Ranking

A RankPosition in wire form: an order, not a probability of being best.

Shortlist

The result of top_k@1.

Enums

Derivation

Derivation classes (spec 001, 3.3; spec 002, 3.12).

NoticeKind

OutValue

A value placed in a proposal’s parameters.

Outcome

A judgment’s outcome. Version 1 uses Propose, Escalate and Unresolved; version 2 (spec 033, 3.5.1) replaces Unresolved with UnresolvedAction and adds Refused and NeedsInput. Both unresolved forms share the wire key unresolved: {"unresolved": <reason>} in version 1, {"unresolved": {"reason": <reason>, "action": <action>}} in version 2.

Unresolved

The closed set of unresolved reasons (spec 002, 3.5.6). Field and fact lists are sorted and deduplicated.