Context verification

Kind: domain

Record: algorithms-domain:context-verification

Canonical: Algorithms

The Context verification domain holds 18 algorithm contracts.

Listed in Algorithm domains, after Codebase verification and before Coordination.

Contracts

Linked from

Context verification

Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain.

Relations diagram
What composes what inside this domain.
flowchart LR
    n_phase_separated_execution["Phase-Separated Execution"]
    n_evidence_gated_claim_verification["Evidence-Gated Claim Verification"]
    n_validation_gate["Validation Gate"]
    n_file_modification_recovery["File Modification Recovery"]
    n_trust_anchor_declaration["Trust Anchor Declaration"]
    n_environment_capability_verification["Environment Capability Verification"]
    n_tool_calibration["Tool Calibration"]
    n_behavioral_self_test["Behavioral Self-Test"]
    n_adversarial_input_testing["Adversarial Input Testing"]
    n_defensive_string_normalization["Defensive String Normalization"]
    n_safe_arithmetic_contract["Safe Arithmetic Contract"]
    n_recursion_control["Recursion Control"]
    n_recursive_self_verification["Recursive Self-Verification"]
    n_advanced_tool_escalation["Advanced Tool Escalation"]
    n_investigation_report["Investigation Report"]
    n_action_log["Action Log"]
    n_contract_based_verification_kernel["Contract-Based Verification Kernel"]
    n_context_verification_concern["<Context Verification Concern>"]
    n_contract_based_verification_kernel --> n_tool_calibration
    n_contract_based_verification_kernel --> n_behavioral_self_test
    n_contract_based_verification_kernel --> n_validation_gate
    n_contract_based_verification_kernel --> n_trust_anchor_declaration
    n_contract_based_verification_kernel --> n_advanced_tool_escalation
    n_contract_based_verification_kernel --> n_phase_separated_execution
    n_contract_based_verification_kernel --> n_evidence_gated_claim_verification
    n_contract_based_verification_kernel --> n_investigation_report
    n_context_verification_concern --> n_validation_gate