synth v0.57.0

What's Changed

• fix(#952): a declined REQUESTED export now exits non-zero on --all-exports by @avrabe in #960
• docs(CHANGELOG): record #952 under [Unreleased] — merged but in no tag by @avrabe in #966
• fix(#944): verified machine-readable origins for compiler-introduced object branches — the 9 were never unattributed, the real 33 now are attributed by @avrabe in #967
• docs(#946): Tiers 2+3 honesty sweep — live exclusions re-grounded, selector/CLI docs un-understated, counts re-derived by @avrabe in #968
• fix(#946): expand writes_sp's 175-of-222 wildcard into audited arms + no-wildcard tripwire by @avrabe in #969
• fix(#851): home written parameters on aarch64 — and fix the conditional-param-write silent miscompile by @avrabe in #971
• plan(v0.57): re-grade six shipped artifacts + add RQ-57-COUNTPARAMS (#970) by @avrabe in #972
• fix(#970): count a CONDITIONALLY-written parameter as a parameter — ARM + RV32 uninitialised-stack-slot leak by @avrabe in #974
• fix(#923): ArmSemantics silently no-oped 87 of 222 ArmOps — the verifier passed a lowering that is wrong on silicon by @avrabe in #975
• perf(#846): relational ranges take gpio-thin to 494 B — and the gate that could not see it by @avrabe in #976
• feat(#912): MC/DC structural coverage over synth's own decision logic (RQ-57-MCDC) by @avrabe in #978
• plan(v0.57): close RQ-57-BACKFILL by disproving its method, + re-grade 4 shipped artifacts by @avrabe in #979
• chore(release): v0.57.0 — "the checkers were the defects" by @avrabe in #980

Full Changelog: v0.56.2...v0.57.0