Trust Anchor Declaration

Kind: algorithm

Record: algorithms:trust-anchor-declaration

Canonical: Algorithms

Closure: Dependencies in load order

Declare the minimum assumptions required for the system to verify anything, bind all verification logic to those assumptions, and disclose the verification boundary.

Listed in Algorithm contracts, after File Modification Recovery and before Environment Capability Verification.

Domain

• Context verification

Stage

• orient

Axis

• ontology

Tier

• process

Named in the derivation of

• Contract-Based Verification Kernel

Math type

• Set Theory

Force

• Correctness verification
• Modularity

Linked from

• Context verification
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces