Codebase verification

Kind: domain

Record: algorithms-domain:codebase-verification

Canonical: Algorithms

The Codebase verification domain holds 22 algorithm contracts.

Listed in Algorithm domains, after Checklist creation and before Context verification.

Contracts

Linked from

Codebase 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_verification_loop["Verification Loop"]
    n_context_initialization["Context Initialization"]
    n_verification_execution["Verification Execution"]
    n_early_success_exit["Early Success Exit"]
    n_violation_classification["Violation Classification"]
    n_severity_ordered_remediation["Severity-Ordered Remediation"]
    n_iteration_bound["Iteration Bound"]
    n_file_scoped_fix["File-Scoped Fix"]
    n_file_limit_remediation["File Limit Remediation"]
    n_import_boundary_remediation["Import Boundary Remediation"]
    n_naming_convention_remediation["Naming Convention Remediation"]
    n_base_class_compliance_remediation["Base-Class Compliance Remediation"]
    n_css_token_remediation["CSS Token Remediation"]
    n_dom_factory_remediation["DOM Factory Remediation"]
    n_console_usage_remediation["Console Usage Remediation"]
    n_lifecycle_symmetry_remediation["Lifecycle Symmetry Remediation"]
    n_stylelint_post_fix["Stylelint Post-Fix"]
    n_reverification_gate["Reverification Gate"]
    n_partial_success_reporting["Partial Success Reporting"]
    n_completion_report["Completion Report"]
    n_codebase_verification_kernel["Codebase Verification Kernel"]
    n_compliance_verification_concern["<Compliance Verification Concern>"]
    n_verification_loop --> n_violation_classification
    n_context_initialization --> n_iteration_bound
    n_reverification_gate --> n_verification_execution
    n_codebase_verification_kernel --> n_context_initialization
    n_codebase_verification_kernel --> n_verification_execution
    n_codebase_verification_kernel --> n_violation_classification
    n_codebase_verification_kernel --> n_iteration_bound
    n_codebase_verification_kernel --> n_file_scoped_fix
    n_codebase_verification_kernel --> n_reverification_gate
    n_codebase_verification_kernel --> n_completion_report
    n_codebase_verification_kernel --> n_severity_ordered_remediation