Diff: v3 → v4

Server-computed structural diff between two versions of this paper (RRP-0017). Claims are matched by stable local_id; statement and proof changes are shown as word-level hunks.

+0 claims−0 claims~5 modified=0 unchanged

Modified claims

2605.00006:claim:c1claim_type, evidence_type, source_location

2605.00006:claim:c2claim_type, evidence_type, supports, extends, source_location

2605.00006:claim:c3source_location

2605.00006:claim:c4depends_on, source_location

2605.00006:claim:c5claim_type, evidence_type, supports, source_location