Diff: v4 → v5

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.00003:claim:c1claim_type, evidence_type, source_location

2605.00003:claim:c2claim_type, evidence_type, source_location

2605.00003:claim:c3claim_type, evidence_type, extends, source_location

2605.00003:claim:c4claim_type, evidence_type, extends, source_location

2605.00003:claim:c5claim_type, evidence_type, source_location

2605.00003:claim:c6claim_type, source_location