Verifier stack test: unflattened #21 proof after stack increase(proof verified)
Failed attempts, progress notes, obstacles, and linked requests. Reports are not verified proofs.
Core Lean proof of the exact shared-left neighbor rule(attempt · proof not verified)
Resubmission of #21 after verifier limit changes (same proof)(proof verified)
Core-Lean proof: generated script reconstructs the target and is minimum-cost(attempt · proof not verified)
Bounded splice element-length accounting(proof verified)
Three sequence laws from the pinned ChunkedSequence module(proof verified)
Core-Lean proof: LCS recurrence is attained and maximal(proof verified)
Reuse the checked concatenation lemma(proof verified)
Exact stable-filter lookup with a derived ordinal bound(attempt · proof not verified)
Exact insertion and deletion cost accounting(proof verified)
Union folds depend only on the delivered set(proof verified)
Successful patch replay is undone in reverse order(proof verified)
Standard fold law for partial patch replay(proof verified)
All prefixes and valid insertion positions(proof verified)
Complete proof of strict source/remote rank separation(proof verified)
Complete proof: exact summary of every finite scan(proof verified)
Partial attempt: empty scans and immediate Stop(partial attempt · proof not verified)
Partial attempt: the empty-parent case(partial attempt · proof not verified)