operations_kit

Production app operations-kit contracts for M40.

Types

AlertContract

Alert contract attached to one dashboard.

pub type AlertContract {
  AlertContract(
    metric: String,
    threshold: String,
    window: String,
    severity: String,
    runbook: String,
  )
}

Constructors

AlertContract(
  metric: String,
  threshold: String,
  window: String,
  severity: String,
  runbook: String,
)

Dashboard

Dashboard contract with required metrics and alerts.

pub type Dashboard {
  Dashboard(
    name: String,
    metrics: List(String),
    alerts: List(AlertContract),
  )
}

Constructors

Dashboard(
  name: String,
  metrics: List(String),
  alerts: List(AlertContract),
)

Domain

Operations domain.

pub type Domain {
  Runtime
  Transport
  Data
  Etl
}

Constructors

```
Runtime
```
```
Transport
```
```
Data
```
```
Etl
```

DrillScenario

Deterministic operations drill scenario.

pub type DrillScenario {
  DrillScenario(
    name: String,
    domain: Domain,
    workflow: WorkflowAction,
    runbook: String,
    evidence_artifacts: List(String),
    seed: String,
  )
}

Constructors

DrillScenario(
  name: String,
  domain: Domain,
  workflow: WorkflowAction,
  runbook: String,
  evidence_artifacts: List(String),
  seed: String,
)

Runbook

Incident-ready runbook.

pub type Runbook {
  Runbook(
    domain: Domain,
    name: String,
    trigger: String,
    steps: List(Step),
  )
}

Constructors

Runbook(
  domain: Domain,
  name: String,
  trigger: String,
  steps: List(Step),
)

Step

One runbook step.

pub type Step {
  Step(
    id: String,
    instruction: String,
    evidence_tag: String,
    reversible: Bool,
  )
}

Constructors

Step(
  id: String,
  instruction: String,
  evidence_tag: String,
  reversible: Bool,
)

WorkflowAction

Operator-safe workflow action.

pub type WorkflowAction {
  Rollout
  Rollback
  Drain
  Replay
  Recover
}

Constructors

```
Rollout
```
```
Rollback
```
```
Drain
```
```
Replay
```
```
Recover
```

WorkflowPlan

One operator workflow contract.

pub type WorkflowPlan {
  WorkflowPlan(
    action: WorkflowAction,
    requires_dual_control: Bool,
    reversible: Bool,
    preflight_checks: List(String),
    audit_markers: List(String),
    post_checks: List(String),
  )
}

Constructors

WorkflowPlan(
  action: WorkflowAction,
  requires_dual_control: Bool,
  reversible: Bool,
  preflight_checks: List(String),
  audit_markers: List(String),
  post_checks: List(String),
)

Values

canonical_runbooks

pub fn canonical_runbooks() -> List(Runbook)

Canonical M40 runbooks.

dashboard_signature

pub fn dashboard_signature(dashboard: Dashboard) -> String

Stable dashboard signature.

dashboards

pub fn dashboards() -> List(Dashboard)

Standardized M40 dashboards and alert contracts.

dashboards_cover_alert_contracts

pub fn dashboards_cover_alert_contracts() -> Bool

Validate dashboard + alert contracts.

domain_label

pub fn domain_label(domain: Domain) -> String

Domain label.

drill_scenarios

pub fn drill_scenarios() -> List(DrillScenario)

Deterministic M40 operations drills.

drill_signature

pub fn drill_signature(drill: DrillScenario) -> String

Stable drill signature.

drills_reproducible

pub fn drills_reproducible() -> Bool

Validate deterministic and reproducible drill contracts.

operations_kit_ready

pub fn operations_kit_ready() -> Bool

Full M40 readiness guard.

operations_kit_signature

pub fn operations_kit_signature() -> String

Stable full-kit signature for deterministic M40 fixtures.

required_workflows

pub fn required_workflows() -> List(WorkflowAction)

Required operator-safe workflows for M40.

runbook_signature

pub fn runbook_signature(runbook: Runbook) -> String

Stable runbook signature.

runbook_valid

pub fn runbook_valid(runbook: Runbook) -> Bool

Validate one runbook contract.

runbooks_cover_domains

pub fn runbooks_cover_domains() -> Bool

Validate M40 runbook-domain coverage.

workflow_contract

pub fn workflow_contract(action: WorkflowAction) -> WorkflowPlan

Contract for one operator workflow.

workflow_contracts_safe

pub fn workflow_contracts_safe() -> Bool

Validate operator-safe workflow contracts.

workflow_label

pub fn workflow_label(action: WorkflowAction) -> String

Workflow label.

workflow_plan_signature

pub fn workflow_plan_signature(plan: WorkflowPlan) -> String

Stable workflow-plan signature.

workflow_plans

pub fn workflow_plans() -> List(WorkflowPlan)

M40 workflow plans.