Skip to content
VB-OSVB-OSVB-OS Docs

VB-OS Financial Verification Templates

Wire Transfer Authorization

Section titled “Wire Transfer Authorization”

Slug: finance-wire-transfer-auth

Governs wire transfer authorization by requiring dual approval, sanctions screening, and amount threshold verification.

Boundary

Section titled “Boundary”
boundary_id: B_FIN_WIRE
version: 1
scope: wire_transfer


define_set blocked_jurisdictions: ("NK", "IR", "SY", "CU")


require_type: sanctions_cleared: boolean
require_type: approver_count: integer
require_type: destination_country: string


require_evidence: sanctions_screening
require_evidence: dual_approval
require_evidence: amount_threshold


prohibit_evidence: manual_override_flag


predicate: sanctions_ok: sanctions_cleared == true | "Sanctions screening must clear"
predicate: dual_approved: approver_count >= 2
predicate: within_daily_limit: within_daily_limit == 1
predicate: not_blocked: destination_country NOT IN @blocked_jurisdictions | "Transfers to sanctioned jurisdictions are prohibited"
predicate: has_required_approver: approver_list CONTAINS "compliance_officer"

Features Demonstrated

Section titled “Features Demonstrated”
  • Boolean comparison (sanctions_cleared == true)
  • Named set (@blocked_jurisdictions) with NOT IN
  • List containment (CONTAINS "compliance_officer")
  • Evidence prohibition

Adjustment Completeness

Section titled “Adjustment Completeness”

Slug: finance-adjustment-completeness

Verifies that financial adjustments are complete, balanced, and traceable to source transactions.

Boundary

Section titled “Boundary”
boundary_id: B_FIN_ADJUSTMENT
version: 1
scope: settlement


define_set restricted_reasons: ("WRITE_OFF", "REGULATORY", "FRAUD")


require_type: balanced: integer
require_type: traceable: integer
require_type: adjustment_amount: integer
require_type: reason_code: string


require_evidence: adjustment_record
require_evidence: balance_verification
require_evidence: source_traceability
require_evidence: adjustment_amount
require_evidence IF adjustment_amount >= 100000: manager_sign_off


predicate: balanced: balanced == 1
predicate: traceable: traceable == 1 | "Adjustment must be traceable to source transaction"
predicate: amount_nonzero: adjustment_amount != 0
predicate: reason_allowed: reason_code NOT IN @restricted_reasons | "Restricted reason codes require separate approval flow"

Payment Routing Authorization

Section titled “Payment Routing Authorization”

Slug: finance-payment-routing

Authorizes payment routing decisions with a BOUNDARY block for complex conditional logic.

Boundary

Section titled “Boundary”
boundary_id: B_FIN_ROUTING
version: 1
scope: payment_routing


require_type: beneficiary_verified: integer
require_type: routing_valid: integer
require_type: compliance_passed: integer
require_type: amount_cents: integer
require_type: routing_type: string


define_set domestic_networks: ("ACH", "FEDWIRE", "RTP")


require_evidence: beneficiary_verification
require_evidence: routing_code_validation
require_evidence: compliance_screening


prohibit_evidence: manual_routing_override WHERE manual_routing_override >= 1


predicate: beneficiary_ok: beneficiary_verified == 1 | "Beneficiary identity must be verified"
predicate: routing_valid_check: routing_valid == 1
predicate: compliance_passed_check: compliance_passed == 1
predicate: amount_under_reporting: amount_cents < 1000000
predicate: is_domestic: routing_type IN @domestic_networks


// All three must pass; amounts over threshold get additional scrutiny
BOUNDARY {
  beneficiary_verified == 1 AND routing_valid == 1 AND
  (compliance_passed == 1 OR (amount_cents < 1000000 AND routing_type IN @domestic_networks))
}

Features Demonstrated

Section titled “Features Demonstrated”
  • Conditional prohibition (WHERE clause)
  • BOUNDARY block for non-conjunctive logic (OR grouping)
  • Named set reference in BOUNDARY expression
  • Inline field comparisons (not predicate names) in BOUNDARY block

Next Steps

Section titled “Next Steps”