Verification

Kind: activity

Layer: Computation Core

Record: architecture:verification

Severity: mandatory

Scope: implementation, system

Canonical: Ontology

The activity of checking that an implementation conforms to its specification.

Listed in Architecture principles, after Validation and before Portability.

Requires

• Specification

Reinforces

• Correctness

Enables

• Specification Compliance

Conflicts with

• Untested Implementation

In tension with

• Cost

Tensions

• Verification / Cost

Contracts

• Codebase Verification Kernel

Violated by

• Untested Implementation

Refactored by

• Unit Tests
• Static Analysis

Severity

• mandatory

Category

• Correctness / Determinism / Verification

Concept

• Verification

Reinforced by

• Repeatability

Linked from

• PAG and the method
• Document structure
• Phase binding
• Instruction patterns
• From intent to structure
• Genesis stages
• Planning templates
• Agent templates
• The stance
• Adversarial by default
• Resolving a message
• Execute the template
• One home
• It looked right
• Verify the verifier
• A report, not a checkbox
• Moves and renames
• One chain
• Computation and resource
• Correctness / Determinism / Verification
• Core Vocabulary
• Correctness / Determinism / Verification
• Codebase verification
• Severity levels
• The resolutions