Final Wall for FO^k Locality

Canonical infrastructure for FO^k locality, normalization walls, and entropy-depth obstructions.

This repository is terminal and frozen. It provides the final structural statements and documentation layer for the FO^k locality wall. No executable Lean code lives here by design.

Scope

• FO^k syntax, semantics, and locality (specification-level)
• Final Wall / terminal rigidity statements
• Machine- and algorithm-independent formulation

Conditional note

• notes/INFUSED_CONDITIONAL_SOLUTION_2026_04.md — weakest conditional infusion of known public ingredients toward Overlap Rigidity.

Status

• Definitions: complete
• Structural lemmas: complete
• Counterexamples: intentionally excluded
• Extensions beyond FO^k: intentionally excluded

Freeze

This repository is certificate-only once frozen. No semantic changes allowed.