v0.7.1 — bounded reconstruction ledger

The established-facts ledger is now capped (max_facts, default 40) so a long reconstruction run doesn't turn its own accumulated context into a fresh source of drift — long-session hygiene for the loop. Dropped facts were verified true and can be re-observed. 177 tests. pip install -U reverify