Struct SemanticTaskFacts 

#[repr(C)]
pub struct SemanticTaskFacts {
    pub truth: [u64; 3],
    pub correct: [u64; 3],
    pub g: u64,
    pub p: u64,
    pub c: u64,
    pub v: i64,
    pub eligible: u64,
}

Device-computed facts, using the three actual canonical truth-query results.

Fields

truth: [u64; 3]

Ordered actual Truth4 codes for the three task queries. A task-refused lane has no executed truth outcome; its terminal refusal is authoritative.

correct: [u64; 3]

Equality of each actual Truth4 answer to the protected observer result.

g: u64

Number of correct subgoals, in the inclusive range zero to three.

p: u64

Parent completion: all three subgoals are correct (zero or one).

c: u64

Actual edit commands plus added supports plus defined truth changes.

v: i64

Query agreement minus measured work, using the bound task coefficients.

eligible: u64

Whether the candidate satisfies the task scope and hard constraints.

Trait Implementations

impl Clone for SemanticTaskFacts

fn clone(&self) -> SemanticTaskFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SemanticTaskFacts

impl Debug for SemanticTaskFacts

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

Formats the value using the given formatter.

impl Default for SemanticTaskFacts

fn default() -> SemanticTaskFacts

Returns the “default value” for a type.

impl Eq for SemanticTaskFacts

impl PartialEq for SemanticTaskFacts

fn eq(&self, other: &SemanticTaskFacts) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SemanticTaskFacts