Struct SemanticTaskEvaluationSpec 

pub struct SemanticTaskEvaluationSpec {
    pub statement_records: [u32; 3],
    pub allowed_support_records: Vec<u32>,
    pub program: Arc<dyn SemanticTaskProgram>,
    pub scoring: SemanticTaskScoring,
    pub priority_levels: Vec<SemanticTaskPriorityLevel>,
    pub admissible_truth_masks: [u8; 3],
    pub actor_eligible: bool,
    pub training_domain: Option<SemanticTrainingDomain>,
}

Three ordered query selections for the bounded transition ABI. Predicate, arguments, observer program, eligibility, and scoring are application inputs. This specification carries no authority; only the application controller may attach an authorized task to its retained semantic session.

Fields

statement_records: [u32; 3]

Original statement records in the retained admission, in observer order.

allowed_support_records: Vec<u32>

Admitted support records, each retaining its original statement association.

program: Arc<dyn SemanticTaskProgram>

scoring: SemanticTaskScoring

priority_levels: Vec<SemanticTaskPriorityLevel>

Ordered, task-local lexicographic levels; an explicit empty list leaves predictive agreement and measured cost as the selection cascade.

admissible_truth_masks: [u8; 3]

Bit n permits Truth4 value n for the corresponding candidate query.

actor_eligible: bool

Application-owned ex-ante decision that this episode may contribute an actor term. It is frozen with the task before any action draw.

training_domain: Option<SemanticTrainingDomain>

Original sealed inputs and complete loader geometry, fixed before draw. None denotes a task with no prospective training arena, not a fallback domain: subsequent training admission requires an original Some binding.

Trait Implementations

impl Clone for SemanticTaskEvaluationSpec

fn clone(&self) -> SemanticTaskEvaluationSpec

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SemanticTaskEvaluationSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.