Research document · scoped results

Multilevel Toeplitz lower bound

The dedicated finite lower-bound analysis.

For source records, original identifiers and replay instructions, visit verification. The research diary preserves the programme's narrative and later corrections.