# Trust Anchor Declaration

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

Record: `algo:trust-anchor-declaration`
Kind: context-verification
Canonical: https://banes-lab.com/ontology/algorithms#algo-trust-anchor-declaration
Closure: https://banes-lab.com/json/records/algo/trust-anchor-declaration/closure

## stage

- [orient](https://banes-lab.com/records/stage/orient.md)

## axis

- [ontology](https://banes-lab.com/records/reason/axis-ontology.md)

## derived-by

- [Contract-Based Verification Kernel](https://banes-lab.com/records/algo/contract-based-verification-kernel.md)