Discovery Verification

Kind: algorithm

Record: algorithms:discovery-verification

Canonical: Algorithms

Closure: Dependencies in load order

For every shape-discovered surface touched by the reshape, compare the member set it collects against what it collected before, and issue the verdict from that comparison, so a collection that silently emptied is caught rather than read as a clean pass.

Listed in Algorithm contracts, after Vocabulary Admission Gate and before Taxonomy Ledger.

Domain

• Taxonomy

Stage

• verify

Axis

• verification

Tier

• process

Principle

• Glob-Resolvable Tree

Composed by

• Taxonomy Kernel

Grounds

• ver-evidence

Named in the derivation of

• Taxonomy Kernel

Math type

• Logic

Force

• Correctness verification
• Observability traceability

Linked from

• Taxonomy / Classification / Naming
• Taxonomy
• The derivation loop
• The axes
• The nodes
• The mathematics
• Domain tiers
• The forces