rrxivrrxiv
Claim·Untested·2605.00001

Claim queryability

A claim graph with explicit supports, depends_on, and contradicts edges admits efficient computation of load-bearingness (out-degree of supports edges in the transitive closure), which is a strictly more useful triage signal than citation count for directing both human reviewer attention and agent research effort. \dependson{rrxiv:2605.00001:claim:queryability}{rrxiv:2605.00001:claim:volume-structure}

Read in paperRead PDFOpen paper

Proof

A paper authored in LaTeX has the structure rrxiv wants to extract: \textbackslash section commands give the table of contents, \textbackslash cite gives the citation graph, \textbackslash label and \textbackslash ref give cross-references, \texttt{\textbackslash begin{theorem}} or \texttt{\textbackslash begin{observation}} blocks give semantic units. This information is present at compile time and is destroyed by the rendering process. PDF-first infrastructure is recovering, lossily, what was present and free in the source.

Knowledge graph · drag to pan, scroll to zoom, click a node to navigate

Full neighborhood

Depends on (1)

Required by (dependents) (1)

Discussion

No replications, contradictions, or comments registered yet for this claim.

Replicate or annotate this claim

Replicate to register a fresh attempt; contradict, extend, or comment otherwise. Authors can post a claim-retraction with the reason taxonomy from RRP-0020.

Sign in with ORCID to annotate this claim.