# The algo records whose domain is codebase-verification

This index as JSON: https://banes-lab.com/json/api/facets/algo/domain/codebase-verification

## Entries

- [Verification Loop](https://banes-lab.com/records/algo/verification-loop.md): Initialize verification context, execute the verification suite, classify failures, remediate violations, and repeat until pass or iteration limit.
- [Context Initialization](https://banes-lab.com/records/algo/context-initialization.md): Discover architecture documents, load design guidance, initialize result containers, set iteration counters, and define maximum remediation attempts.
- [Verification Execution](https://banes-lab.com/records/algo/verification-execution.md): Run the configured verification procedure, capture raw output, parse errors and warnings, and derive pass status from zero-error condition.
- [Early Success Exit](https://banes-lab.com/records/algo/early-success-exit.md): If verification has no errors, report successful compliance and terminate without remediation.
- [Violation Classification](https://banes-lab.com/records/algo/violation-classification.md): For each verification error, classify the violation into a known remediation category and attach the matching strategy.
- [Severity-Ordered Remediation](https://banes-lab.com/records/algo/severity-ordered-remediation.md): Group classified violations by category, order groups by severity, and apply fixes from highest architectural risk to lowest.
- [Iteration Bound](https://banes-lab.com/records/algo/iteration-bound.md): Increment iteration count before remediation, compare it to the maximum allowed attempts, and stop with partial success when the bound is exceeded.
- [File-Scoped Fix](https://banes-lab.com/records/algo/file-scoped-fix.md): Read the violating file, analyze the violation type, transform content according to design guidance, write the updated content, and preserve compatibility with verification rules.
- [File Limit Remediation](https://banes-lab.com/records/algo/file-limit-remediation.md): When a file exceeds the allowed size, split responsibilities into smaller compliant artifacts, preserve imports and exports, and rewire references.
- [Import Boundary Remediation](https://banes-lab.com/records/algo/import-boundary-remediation.md): Detect invalid cross-boundary imports, locate the approved dependency path or shared abstraction, rewrite imports, and verify dependency direction.
- [Naming Convention Remediation](https://banes-lab.com/records/algo/naming-convention-remediation.md): Compare file, folder, class, or symbol names against naming rules, derive compliant names, rename artifacts, and update all references.
- [Base-Class Compliance Remediation](https://banes-lab.com/records/algo/base-class-compliance-remediation.md): Detect classes missing required base abstraction, refactor inheritance or composition according to role rules, migrate duplicated lifecycle logic into hooks, and verify behavior remains represented.
- [CSS Token Remediation](https://banes-lab.com/records/algo/css-token-remediation.md): Replace hardcoded style values with approved design tokens, verify token availability, and run style validation.
- [DOM Factory Remediation](https://banes-lab.com/records/algo/dom-factory-remediation.md): Replace direct DOM manipulation with the approved DOM factory, component factory, or rendering abstraction.
- [Console Usage Remediation](https://banes-lab.com/records/algo/console-usage-remediation.md): Replace direct console calls with the approved logging abstraction, preserve severity and message context, and verify no direct console usage remains.
- [Lifecycle Symmetry Remediation](https://banes-lab.com/records/algo/lifecycle-symmetry-remediation.md): Detect resources created without corresponding cleanup, add destroy or teardown paths, and verify create/destroy symmetry.
- [Stylelint Post-Fix](https://banes-lab.com/records/algo/stylelint-post-fix.md): After remediation, run style validation, parse style errors, apply style-specific corrections, and block re-verification until style checks pass or are reported.
- [Reverification Gate](https://banes-lab.com/records/algo/reverification-gate.md): After fixes and style validation, rerun the full verification suite rather than trusting local corrections.
- [Partial Success Reporting](https://banes-lab.com/records/algo/partial-success-reporting.md): When iteration bounds are exhausted, report remaining violations, categorize unresolved issues, and mark the result as requiring manual review.
- [Completion Report](https://banes-lab.com/records/algo/completion-report.md): Report total iterations, fixed error count, remaining warnings, and final verification status.
- [Codebase Verification Kernel](https://banes-lab.com/records/algo/codebase-verification-kernel.md): Load compliance context, run verification, parse results, exit on pass, classify violations on failure, remediate by severity, run post-fix style validation, and repeat until zero errors or iteration limit.
- [<Compliance Verification Concern>](https://banes-lab.com/records/algo/compliance-verification-concern.md): <Load rules> → <Run authoritative verifier> → <Parse failures> → <Classify by violation type> → <Apply bounded fixes> → <Run local post-fix validation> → <Rerun verifier> → <Exit on pass or bound>