Fix Braun--Jal Theorem 4.1 source matrix - #330

Open

PerAlexandersson wants to merge 9 commits into

mainfrom

codex/braunjal-model320

Commits on Aug 3, 2026

fix Braun-Jal source step matrix
PerAlexandersson
committed
3139630
remove obsolete Braun-Jal matrix wrappers
PerAlexandersson
committed
8ffb627
prove Braun-Jal source matrix step
PerAlexandersson
committed
b1e6d3a
route Braun-Jal induction through source matrix
PerAlexandersson
committed
972c4a2
deduplicate Braun-Jal source hypotheses
PerAlexandersson
committed
ffdc34a
fix Braun-Jal recurrence rewrite order
PerAlexandersson
committed
a0a317d

Commits on Aug 4, 2026

specialize Braun-Jal theorem to rook model
PerAlexandersson
committed
382c7ed
clarify Braun-Jal endpoint application
PerAlexandersson
committed
ca79f49
clean up Braun-Jal final rewrite
PerAlexandersson
committed
168f0a9