Commit 8670906
trop: CI codex R9 P2 fix — visible v2-pinning note in METHODOLOGY_REVIEW + REGISTRY
Address single P2 from CI codex R9 on PR #491 (verdict was ✅ Looks
good; no P0/P1).
P2 - Version-pinning visibility: the v2→v3 paper-version gap surfaced
as a P3 in R5 (general acknowledgement) and R6 (specific Section 5.1.1
delta noted in paper review file). R9 escalates because the paper
review honestly admits the gap but the TROP entry in METHODOLOGY_REVIEW
and REGISTRY still says "Complete" without a visible caveat, making
the methodology sign-off version-ambiguous at the exact sections
newly promoted (Eqs. 2-3, Algorithms 1-3, Section 2.2, Section 5.2-5.3,
Section 6.1-6.2, Theorem 5.1, Corollary 1, Appendix Theorem 8.1).
Added a visible "**Version Pinning**" subsection to METHODOLOGY_REVIEW
TROP entry immediately below the Status row, and a "**Note (version
pinning):**" annotation to REGISTRY ## TROP section immediately below
the Primary source line. Both:
- Anchor the promotion on arXiv:2508.21536v2 explicitly
- List the current version (v3, submitted 2026-02-09)
- Enumerate the sections covered by the promotion that have NOT
been v2→v3 delta-checked
- Cite the known v3 structural change (Section 5.1.1 added)
- Action-item to refresh when paper-author reference implementation
lands
Status row also updated to "**Complete** (paper `method="local"`,
version-pinned to arXiv v2 — see Version Pinning below)" so the
caveat is visible even from a quick scan of the status table.
No source-code changes to diff_diff/trop*.py.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent 32efd04 commit 8670906
2 files changed
Lines changed: 5 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
826 | 826 | | |
827 | 827 | | |
828 | 828 | | |
829 | | - | |
| 829 | + | |
830 | 830 | | |
831 | 831 | | |
| 832 | + | |
| 833 | + | |
832 | 834 | | |
833 | 835 | | |
834 | 836 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2244 | 2244 | | |
2245 | 2245 | | |
2246 | 2246 | | |
| 2247 | + | |
| 2248 | + | |
2247 | 2249 | | |
2248 | 2250 | | |
2249 | 2251 | | |
| |||
0 commit comments