Surface Grid Walk

Kind: algorithm

Record: algorithms:surface-grid-walk

Canonical: Algorithms

Closure: Dependencies in load order

Walk the dimension-by-lens grid across the catalog, mark every cell that carries a surface, and surface the empty cells as candidate gaps using the anomaly lens, so a missing aspect is detected structurally rather than by recollection.

Listed in Algorithm contracts, after Coverage Workspace and before Uncovered Gap Derivation.

Domain

• Test coverage

Stage

• see

Axis

• analysis

Tier

• process

Composed by

• Test Coverage Kernel

Grounds

• anomaly
• semantic-correctness

Named in the derivation of

• Test Coverage Kernel

Math type

• Set Theory

Force

• Correctness verification
• Semantic consistency

Linked from

• A cell that resists an invariant
• Test coverage
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces