<Context Verification Concern>

Kind: algorithm

Record: algorithms:context-verification-concern

Canonical: Algorithms

Closure: Dependencies in load order

<Detect required contract> → <Bind allowed capability> → <Execute bounded operation> → <Validate evidence> → <Emit typed result>

Listed in Algorithm contracts, after Contract-Based Verification Kernel and before Convergence Walk.

Domain

• Context verification

Tier

• process

Composes

• Validation Gate

Force

• Contract compatibility
• Correctness verification

Linked from

• Context verification
• Domain tiers
• The forces