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

Modified claims

2605.00002:claim:c1supports, source_location

2605.00002:claim:c2claim_type, evidence_type, source_location

2605.00002:claim:c3claim_type, evidence_type, supports, source_location

2605.00002:claim:c4claim_type, evidence_type, supports, source_location

2605.00002:claim:c5claim_type, depends_on, source_location

2605.00002:claim:c6claim_type, evidence_type, source_location

2605.00002:claim:c7claim_type, evidence_type, supports, source_location