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~6 modified=0 unchanged

Modified claims

2605.00005:claim:c1source_location

2605.00005:claim:c2claim_type, evidence_type, source_location

2605.00005:claim:c3claim_type, evidence_type, source_location

2605.00005:claim:c4source_location

2605.00005:claim:c5depends_on, source_location

2605.00005:claim:c6claim_type, depends_on, source_location