Progress sync: record what actually happened

Invoke after implementation work to bring the package up to date: typed progress entries, Review claims, bindings, evidenced verdicts, scope changes first, lessons, trace edges.