dev: record the v0.25.0 release and shadow-gate validation

[mmcky]

Records-only PR (no code): brings .dev/STATE.md in line with reality after the v0.25.0 release and adds the session log.

What it records: v0.25.0 is released and deployed — #242 merged (c74e3aa), three tags cut, @v0 peels to the release commit; §4a gate at the tag (scoped, scenario 01 × 3 lanes) and the post-tag-move @v0 smoke both green with engineVersion: 0.25.0 in every verdict block; the Stage 4 shadow gate field-validated on the zh-cn harness lane (wouldAutoMerge: true recorded, PR left open, nothing acted). Also logs two operational findings: pull_request runs resolve the workflow from the frozen merge ref (label-cycling misses workflow edits; update-branch is the reliable re-fire), and review mode updates its comment in place.

Full narrative: .dev/log/2026-08-04-v0250-release.md. Program-side record: QuantEcon/project-translation#15.

🤖 Generated with Claude Code

[Copilot]

Pull request overview

Records the v0.25.0 release/deployment status and validation outcomes in the maintainer-facing .dev/ notes, aligning the repo’s operational state tracking with what actually happened post-merge.

Changes:

• Update .dev/STATE.md to mark v0.25.0 as released/deployed and summarize gating + shadow-gate field validation outcomes.
• Add a new session log entry documenting the v0.25.0 release flow and two operational findings.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
.dev/STATE.md	Updates “In flight” / “Recently landed” notes to reflect v0.25.0 released/deployed and records gating + shadow-gate validation observations.
.dev/log/2026-08-04-v0250-release.md	Adds a detailed session log for the v0.25.0 release, gating evidence, and operational findings.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.