Session 01 - Orientation and GF(2)

Status: covered from Heptabase lesson 3a3ada78-da42-4bc0-806c-1ba01e7cd5b5.

Covered Material

• Conjecture 3 as a guest-versus-host routing barrier.
• GF(2) arithmetic and vector spaces.
• The [7,4,3] Hamming code as the first complete worked example.

Source Anchors

• conjectures.md
• ../../../../index.md
• 2d-grid-bisection-width.md
• expansion-cut-to-syndrome-depth.md

Retention Check

Before relying on this session, ask the learner to explain why 1+1=0 over GF(2) makes parity checks linear.