Struct RootIntent 

pub struct RootIntent {
    pub id: IntentId,
    pub kind: IntentKind,
    pub objective: Option<Objective>,
    pub scope: Scope,
    pub constraints: Vec<IntentConstraint>,
    pub success_criteria: SuccessCriteria,
    pub budgets: Budgets,
}

The Root Intent — constitution of a Converge job.

This is the only entry point into a Converge runtime. It defines the universe of discourse, what is allowed, and what success means.

Fields

id: IntentId

Unique identifier.

kind: IntentKind

The class of problem.

objective: Option<Objective>

What the system should optimize.

scope: Scope

What is in-bounds.

constraints: Vec<IntentConstraint>

Hard and soft constraints.

success_criteria: SuccessCriteria

Success criteria.

budgets: Budgets

Execution budgets.

Implementations

impl RootIntent

pub fn new(kind: IntentKind) -> Self

Creates a new Root Intent with the given kind.

pub fn with_id(self, id: IntentId) -> Self

Sets the intent ID.

pub fn with_objective(self, objective: Objective) -> Self

Sets the objective.

pub fn with_scope(self, scope: Scope) -> Self

Sets the scope.

pub fn with_constraint(self, constraint: IntentConstraint) -> Self

Adds a constraint.

pub fn with_success_criterion(self, criterion: SuccessCriterion) -> Self

Adds a success criterion (required).

pub fn with_success_criteria(self, criteria: SuccessCriteria) -> Self

Sets the success criteria.

pub fn with_budgets(self, budgets: Budgets) -> Self

Sets the budgets.

pub fn validate(&self) -> Result<(), IntentValidationError>

Validates the Root Intent.

Errors

Returns error if:

• Scope is not defined
• Success criteria are not explicit

pub fn to_seed_facts(&self) -> Vec<Fact>

Creates initial seed facts from this intent.

These facts are added to the context at the start of execution.

pub fn hard_constraints(&self) -> Vec<&IntentConstraint>

Returns hard constraints.

pub fn soft_constraints(&self) -> Vec<&IntentConstraint>

Returns soft constraints.

pub fn is_successful(&self, ctx: &Context) -> bool

Checks if success criteria are satisfied by the context.

Trait Implementations

impl Clone for RootIntent

fn clone(&self) -> RootIntent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RootIntent

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

Formats the value using the given formatter.