Skip to content

Csf Harness

Component id: csf

Source contract: BlockContract for csf.

Overview

CrossLinkedSafetyFramework AIBlock that verifies a BoundedAgent against a safety epsilon bound and returns a SafetyDecisionReport. The SafetyVerifier inside supports two verification methods: union_bound (sum of per-hazard failure probabilities) and worst_case (maximum single-hazard probability). The block is used by Phase B+ components to gate LLM calls, file writes, and code execution with a formal safety verdict before proceeding.

When to use:

  • Gating any high-risk operation with a formal safety check before execution
  • Enforcing system-wide epsilon risk bounds on agents with known hazard profiles
  • Integrating a lightweight safety layer into a pipeline without external SMT solvers

Good at

  • gating a high-risk operation with a formal safety check before execution
  • enforcing system-wide epsilon risk bounds on agents with known hazard profiles
  • adding a lightweight safety layer without external SMT solvers

Not suited for

  • returning a guaranteed proof when an optional formal backend (Z3 / NuSMV / Lean) is missing or times out — it returns verified=None instead
  • reasoning about hazards not enumerated in the agent's hazard profile

Mitigates

Known Failure Modes

  • review_pending: operator_review

State Surface

  • Persistence: run
  • Queryable via: ledger
  • Retention: 90d

Extension Points

  • training_signal_inputs: ('safety_decisions',)
  • validation_gate: human_approval
  • allowed_mutation_surfaces: ('policy_thresholds',)

Verification

  • Method: tier1_review_pending
  • Human review gate: False
  • Fallback block: none