First third-party run finding (mutate mode against a local tranquil-pds 0.6.6 stack): the #commit event CAR slice is missing MST leaf blocks the strict verifier expects—the rev-vs-commit cross-check fails with "missing leaf blocks".
tranquil-pds uses its own tranquil-store eventlog, which may emit a leaner commit proof. Two possibilities: a leaner-but-valid proof (checker too strict) or a real gap (target bug). Needs investigation with the tranquil-pds maintainers; currently acknowledged in src/profiles/tranquil-pds.ts and documented in docs/target-notes.md.
Done when: the root cause is known and either the check is corrected (with the spec/interop citation for why) or an upstream issue exists and the profile entry links to it.