Behavioral Self-Test

Kind: algorithm

Record: algorithms:behavioral-self-test

Canonical: Algorithms

Closure: Dependencies in load order

Execute the system’s claimed behaviors against simple positive and negative cases, compare actual output to expected output, and treat mismatch as implementation evidence failure.

Listed in Algorithm contracts, after Tool Calibration and before Adversarial Input Testing.

Domain

• Context verification

Stage

• verify

Axis

• verification

Tier

• process

Composed by

• Contract-Based Verification Kernel

Math type

• Logic

Force

• Contract compatibility

Linked from

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