v0.22.0

What's Changed

• docs: close the flowproof config / README-adopting.md alignment gap by @HappyDevs1 in #547
• chore(python): classify the package as alpha, not pre-alpha by @AminChirazi in #548
• feat(trace): first-class side_effect record and lane (#465 Phase A, 1/5) by @AminChirazi in #468
• feat(agent): record observed fs writes into the side-effect lane (#465 Phase A, 2/5) by @AminChirazi in #469
• docs: plan 007, autonomous flow repair loop by @HappyDevs1 in #549
• feat(agent,cli): implement plan 007's autonomous flow repair loop by @HappyDevs1 in #550
• feat(agent,cli): recognize load-timing races as a distinct repair category by @HappyDevs1 in #551
• feat(cli): give an engine-gap verdict one fresh retry before it's final by @HappyDevs1 in #552
• feat(cli): notify on every command when a newer flowproof is available by @HappyDevs1 in #554
• chore(release): bump version to 0.22.0 by @HappyDevs1 in #555

Full Changelog: v0.21.0...v0.22.0