ai_workflow

AI-native workflow contracts and guardrails for M44.

Types

Artifact

Generated artifact emitted by workflow execution.

pub type Artifact {
  Artifact(path: String, content: String)
}

Constructors

```
Artifact(path: String, content: String)
```

Evaluation

Evaluation result.

pub type Evaluation {
  Evaluation(
    plan: Plan,
    passed: Bool,
    quality_score: Int,
    policy_score: Int,
    violations: List(String),
    evidence: List(Evidence),
    signature: String,
  )
}

Constructors

Evaluation(
  plan: Plan,
  passed: Bool,
  quality_score: Int,
  policy_score: Int,
  violations: List(String),
  evidence: List(Evidence),
  signature: String,
)

Evidence

Stable workflow evidence entry.

pub type Evidence {
  Evidence(label: String, value: String)
}

Constructors

```
Evidence(label: String, value: String)
```

Guardrail

Guardrail controls applied to generated output.

pub type Guardrail {
  TestsRequired
  RfcAdrRequired
  DeterministicEvidenceRequired
  HumanReviewRequiredForRefactor
  ForbiddenTokenBan
}

Constructors

```
TestsRequired
```
```
RfcAdrRequired
```
```
DeterministicEvidenceRequired
```
```
HumanReviewRequiredForRefactor
```
```
ForbiddenTokenBan
```

Plan

AI workflow request plan.

pub type Plan {
  Plan(
    id: String,
    kind: WorkflowKind,
    prompt: String,
    command_args: List(String),
    review_boundaries: List(ReviewBoundary),
  )
}

Constructors

Plan(
  id: String,
  kind: WorkflowKind,
  prompt: String,
  command_args: List(String),
  review_boundaries: List(ReviewBoundary),
)

ReviewBoundary

Human-in-the-loop review boundary.

pub type ReviewBoundary {
  ReviewBoundary(
    stage: String,
    approval_required: Bool,
    owner_role: String,
    rationale: String,
  )
}

Constructors

ReviewBoundary(
  stage: String,
  approval_required: Bool,
  owner_role: String,
  rationale: String,
)

VerificationTrack

Verification track for M44 integration checks.

pub type VerificationTrack {
  GeneratorTrack
  TemplateTrack
}

Constructors

```
GeneratorTrack
```
```
TemplateTrack
```

WorkflowKind

AI workflow category.

pub type WorkflowKind {
  ScaffoldGeneration
  RefactorGeneration
  TemplateRefinement
}

Constructors

```
ScaffoldGeneration
```
```
RefactorGeneration
```
```
TemplateRefinement
```

Values

boundary_label

pub fn boundary_label(boundary: ReviewBoundary) -> String

Review boundary label.

evaluate

pub fn evaluate(plan: Plan) -> Evaluation

Evaluate one AI workflow plan against deterministic guardrails.

evidence

pub fn evidence(evaluation: Evaluation) -> List(Evidence)

Evaluation evidence accessor.

evidence_label

pub fn evidence_label(entry: Evidence) -> String

Stable evidence entry label.

guardrail_label

pub fn guardrail_label(guardrail: Guardrail) -> String

Guardrail label.

kind_label

pub fn kind_label(kind: WorkflowKind) -> String

Workflow kind label.

passed

pub fn passed(evaluation: Evaluation) -> Bool

Evaluation pass/fail accessor.

plan_signature

pub fn plan_signature(plan: Plan) -> String

Stable plan signature.

policy_score

pub fn policy_score(evaluation: Evaluation) -> Int

Evaluation policy score accessor.

quality_score

pub fn quality_score(evaluation: Evaluation) -> Int

Evaluation quality score accessor.

refactor_plan

pub fn refactor_plan(
  module_path: String,
  change_summary: String,
) -> Plan

Build one refactor-focused AI plan.

required_evidence

pub fn required_evidence(
  track: VerificationTrack,
) -> List(String)

Required evidence labels for one verification track.

satisfies_track_requirements

pub fn satisfies_track_requirements(
  evaluation: Evaluation,
  track: VerificationTrack,
  external_signature: String,
) -> Bool

True when one evaluation satisfies required evidence and external signature.

scaffold_plan

pub fn scaffold_plan(app_name: String, resource: String) -> Plan

Build one scaffolding-focused AI plan.

signature

pub fn signature(evaluation: Evaluation) -> String

Evaluation signature accessor.

template_plan

pub fn template_plan(
  component_name: String,
  change_summary: String,
) -> Plan

Build one template-refinement AI plan.

track_label

pub fn track_label(track: VerificationTrack) -> String

Verification track label.

violations

pub fn violations(evaluation: Evaluation) -> List(String)

Evaluation violations accessor.