Crate verification_control

Expand description

Verification control-plane artifact types and scheduling logic.

This crate defines the canonical schema types for verification cases, check plans, attempts, control receipts, ledger entries, and governance review artifacts (effect, delegation, release-gate, continuity). It also provides scheduling, promotion-eligibility, and ledger-replay functions consumed by forge-pilot and the verification pipeline crates.

Re-exports§

pub use v14::ComparabilityMatrixV1;
pub use v14::DecisionTraceV1;
pub use v14::DisputeBundleV1;
pub use v14::ExperimentCaseV1;
pub use v14::RefuterResultV1;
pub use v14::COMPARABILITY_MATRIX_V1_SCHEMA;
pub use v14::DECISION_TRACE_V1_SCHEMA;
pub use v14::DISPUTE_BUNDLE_V1_SCHEMA;
pub use v14::EXPERIMENT_CASE_V1_SCHEMA;
pub use v14::REFUTER_RESULT_V1_SCHEMA;
pub use BoundaryRepairRecord as RepairRecord;
pub use CheckPlan as ExecutionPlan;
pub use VerificationCase as ControlCase;

Modules§

v14: V14 experimental verification artifact types.

Structs§

BoundaryRepairRecord: Record of a single field-level repair applied to a boundary artifact.
BudgetDebit: Budget lineage for one debit against a turn’s execution envelope.
BudgetLineage: Budget and retry lineage for a scheduled verification plan.
CaseRegion: Scope and location metadata for a verification case target.
CheapCheckStatusV1: Status of a single cheap-check preflight evaluation.
CheckPlan: A check plan specifying the verification method, promotion class, and proof profile for a case.
ContinuityReviewCaseV1: A review case for continuity incidents (outage, recovery, exception handling).
ControlReceipt: An immutable receipt recording a control-plane action with full provenance.
DegradationMarker: A marker indicating degraded verification quality and whether it blocks promotion.
DelegationReviewCaseV1: A review case for authority delegation decisions.
DispatchDecision: Per-turn dispatch truth: which backend ran and why.
EffectBlockReceiptV1: Receipt emitted when an effect action is blocked by policy or budget constraints.
EffectReviewCaseV1: A review case for an effect-system action (intent, preflight, commit decision).
LedgerEntry: A sequenced, timestamped entry in the verification case ledger.
ProofProfileV1: Proof profile describing evidence admissibility, cheap-check status, and remaining obligations.
QueueHop: A single queue-to-queue hop in the scheduler routing chain.
ReceiptBudgetContext: Budget context attached to a control receipt for cost and time tracking.
RegionArtifactTransport: Transport record for an artifact crossing between compiled verification regions.
ReleaseGateCaseV1: A review case for release-gate decisions.
ReplayedCaseState: Aggregate state reconstructed by replaying a verification case ledger.
RetryDecision: Queryable retry lineage for a turn or tool family.
RollbackDecision: Canonical rollback/compensation requirement for a turn.
SchedulerDecision: Scheduler decision record preserving budget, degradation, and routing lineage for a plan.
SyndromeRouteRecord: Routing record linking a syndrome to a repair candidate and its blast radius.
ToolExposure
ToolExposureDecisionV1: Explicit per-turn tool exposure, including the empty set.
V25CitationContext: Constitutional citation context attached to governance review artifacts.
V25ControlObligationRefs: Obligation references attached to a governance review artifact.
VerificationAttempt: A single execution attempt within a verification case and plan.
VerificationCase: A single verification case tracking a governance issue from open to closed.

Enums§

BoundaryArtifactKind: Kind of artifact subject to boundary repair.
CheapCheckKindV1: Kind of lightweight preflight check in the cheap-check ladder.
CheckMethod: Verification method used by a check plan to evaluate a case.
ConstitutionalContextStatus: Completeness status of the constitutional context payload on a review artifact.
ContinuityReviewFinalStateV1: Terminal state of a continuity review case.
ControlActionKind: Kind of action recorded in a control receipt.
ControlRetryOwnerV1: Which subsystem owns retry responsibility for a control action.
DelegationReviewDecisionStateV1: Terminal decision state of a delegation review case.
DispatchPathKind: How a turn ultimately dispatched after planning completed.
EffectBlockReasonV1: Reason an effect action was blocked.
EffectReviewFinalStateV1: Terminal state of an effect review case.
ExecutionStopReason: Terminal reason why a turn stopped.
LedgerEvent: An event in the verification case ledger.
PromotionClass: Priority tier for promotion eligibility (P0 = highest).
RegionArtifactKind: Kind of artifact transported between compiled regions.
ReleaseGateFinalStateV1: Terminal state of a release-gate review case.
ReversibilityClass: How difficult it is to reverse a promoted verification result.
TerminalDisposition: Terminal outcome of a closed verification case.
VerificationAttemptState: Execution state of a verification attempt.
VerificationCaseClass: Classification of the issue that opened a verification case.
VerificationCaseLifecycleState: Lifecycle state of a verification case from open to closed.
VerificationWorkloadClass: Scheduler workload class used for budgeting and queue routing.

Constants§

Functions§

infer_workload_class: Maps a check method onto the scheduler workload class used for budgeting and routing.
interpret_promotion_eligibility: Combines policy, calibration, degradation, budget, and method outcome into promotion eligibility.
interpret_rollback_requirement: Returns true when a refuted artifact must be rolled back from an already promoted state.
replay_case: Replays a case ledger in sequence order and reconstructs the terminal aggregate state.
retry_owner_label: Converts retry ownership into the stable label used on control-plane artifacts.
schedule_check_plan: Builds the scheduler decision record that preserves budget and degradation lineage.

Crate verification_control

Crate verification_control Copy item path

Re-exports§

Modules§

Structs§

Enums§

Constants§

Functions§

Crate verification_control