How Verdic Works

Contract enforcement layer for LLM systems. Define constraints, execute under contract, enforce decisions deterministically.

Define Execution Contract

Declare constraints upfront: intended task, output modality, safety requirements, and permitted failure modes

Execute LLM Under Contract

Your application sends the prompt to the LLM. The output will be evaluated against the predefined contract

Verdic Enforces Contract

Verdic deterministically validates the output against contract specifications—not as a post-hoc judgment, but as contract enforcement

Decision Enforced

Policy Enforcement Engine returns policy violation levels (ALLOW, WARN, SOFT_BLOCK, HARD_BLOCK) based on contract compliance. Your system executes the decision

Guard Decision Types

ALLOW

Output satisfies the execution contract. All constraints met.

WARN

Minor policy violation detected. Content sanitized but allowed.

SOFT_BLOCK

Moderate policy violation. Content replaced with safe fallback.

HARD_BLOCK

Critical policy violation. Output completely blocked.

Contract Enforcement Dimensions

Task Alignment

Enforces that output strictly adheres to the declared intended task. Prevents drift from contract specifications.

Modality Enforcement

Guarantees output conforms to the specified format (JSON, text, structured data). Contract-level constraint enforcement.

Drift Detection

Monitors for deviations from expected behavior over time. Ensures continuous contract compliance across executions.

Safety Constraints

Enforces custom safety rules and compliance requirements defined in the contract. Deterministic policy adherence.