Recursive Self-Verification

Kind: algorithm

Record: algorithms:recursive-self-verification

Canonical: Algorithms

Closure: Dependencies in load order

Load the system’s own definition, extract self-claims, search for implementation evidence of each claim, classify discrepancies, and downgrade confidence when self-description exceeds implemented behavior.

Listed in Algorithm contracts, after Recursion Control and before Advanced Tool Escalation.

Domain

• Context verification

Stage

• verify

Axis

• verification

Tier

• process

Grounds

• ver-evidence

Math type

• Probability

Force

• Correctness verification

Linked from

• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces