E Evidence Press

Research instrument · source-driven · no inferred links

Evidence Atlas

See how the catalogue fits together—and inspect the exact record behind every connection.

59 releases 13 reusable methods 46 broad clusters 5 evidence-backed lineages 428 accepted relationships 4 quarantined research proposals

428 recorded relationships: 36 direct · 15 lineage · 61 cluster · 316 method

Interactive research relationship instrument

View

Loading the source graph…

Accepted relationship projectionEqual-sized release nodes · stable layout · select to inspect
Evidence Atlas relationship map The interactive map is loading. The complete relationship register follows this instrument.
R · release M · method C · broad cluster or cluster seed L · evidence-backed lineage P · quarantined proposal

Registry missingness

What is not yet connected

No edge means that no relationship is currently accepted in the registry; it does not establish that no relationship exists. Areas never searched are not yet enumerated, because no hidden-relationship discovery run has been conducted.

32
releases with no direct link
0
methods represented by one release
41
singleton cluster seeds
0
lineage roots with no successor
1
research proposals awaiting review
Accepted relationship register (428)

This complete nonvisual representation is generated from the same source graph as the map. Expand it to browse every accepted edge; interactive filters may hide rows, while the unfiltered HTML retains them all.

SourceRelationshipTargetRecorded basisStatusProvenance
Amplitude modules and a Bautin cutoff cites related release The combined support and moment atlas Anonymous. (2026). Inverse-Root Support, Polynomial Amplitudes, and Laurent Moment Channels (Version 0.7.0-candidate). Evidence Press / Zenodo. source-declared source record
Bilateral deficiency in regular-DIM graphs cites related release TxGraffiti Conjecture 15/3 resolution Release contributors. (2026). TxGraffiti Conjecture 15/3 resolution: a certificate-backed candidate counterexample (Version 4.0.0-rc1). Zenodo. doi:10.5281/zenodo.21852504. source-declared source record
The bordered Jacobian of binary-form multiplication cites related release Degree-difference principle and affine slices Anonymous. (2026). The degree-difference principle and affine slices of binary-form factorisation spaces, 0.1-candidate. source-declared source record
The bordered Jacobian of binary-form multiplication cites related release Exact Smith invariants of binary-form factorisation Subsequent unrefereed work: Anonymous. (2026). Exact Smith Invariants and Affine Determinant Lines of Binary-Form Factorisation (Version 0.1.0-candidate). This is a separate child extension, not a correction to or strengthening of the present release. source-declared source record
The bordered Jacobian of binary-form multiplication cites related release Exact Smith invariants of binary-form factorisation Immutable archive of the subsequent unrefereed child candidate: doi:10.5281/zenodo.21861347. source-declared source record
Certified three-item JRP gap cites related release The exact two-item cap gap in joint replenishment Agent collective and I. Pitchford (2026). Exact two-item resource-constrained joint replenishment and its independent-cap relaxation gap. Evidence Press / Zenodo, v1.2.0-candidate. source-declared source record
Fixed-seed cyclicity loci for polynomial exponential periods cites related release Irreducible pushforwards and quartic transitions Evidence Press. (2026). Irreducible Pushforwards and Constrained Quartic Transitions, version 1.0.0-preprint, Theorem 6.2 and Proposition 6.3. source-declared source record
Fixed-seed cyclic rank from inverse roots cites related release Fixed-seed cyclicity loci for polynomial exponential periods Anonymous. (2026). Fixed-Seed Cyclicity Loci for Polynomial Exponential Periods (Version 0.2.1-candidate). Zenodo. source-declared source record
The combined support and moment atlas cites related release Fixed-seed cyclicity loci for polynomial exponential periods Anonymous. (2026). Fixed-Seed Cyclicity Loci for Polynomial Exponential Periods (Version 0.2.1-candidate). Zenodo. source-declared source record
The combined support and moment atlas cites related release Fixed-seed cyclic rank from inverse roots Anonymous. (2026). Fixed-seed cyclic rank as reduced inverse-root span (Version 0.1.0-candidate). Zenodo. source-declared source record
Degree-difference principle and affine slices cites related release Exotic affine three-spheres Companion release: Exotic affine three-spheres and the quadratic–cubic obstruction. source-declared source record
Degree-difference principle and affine slices cites related release Reducible incidence divisors Companion release: Reducible incidence divisors and the isolation of affine slices. source-declared source record
Exact Smith invariants of binary-form factorisation cites related release The bordered Jacobian of binary-form multiplication Anonymous. (2026). The Bordered Jacobian of Binary-Form Multiplication (Version 0.3-candidate). Parent candidate release. source-declared source record
Exotic affine three-spheres cites related release Degree-difference principle and affine slices Foundational companion release: The degree-difference principle and affine slices of binary-form factorisation spaces. source-declared source record
Exotic affine three-spheres cites related release Reducible incidence divisors Continuation: Reducible incidence divisors and the isolation of affine slices. source-declared source record
Finite-sample affine diversification cites related release Conditional sharp partial identification of diversification histories Anonymous. (2026). Conditional Sharp Partial Identification of Diversification Histories: Affine Measure Geometry, Event Congruence and Certified Extremes (Version 0.2.1-candidate). Zenodo. source-declared source record
The full e=3 Polydegree column cites related release Smooth-point certificates for Polydegree containments Anonymous (2026). Smooth-Point Certificates for Polydegree Containments: A Jacobian Interpretation of the Lewis--Perry--Straub Determinant. Version 0.4.1-candidate. source-declared source record
The full e=4 Polydegree column cites related release The full e=3 Polydegree column Anonymous. (2026). A Jacobian smooth-point criterion and the full e=3 column of the Polydegree Conjecture (Version 0.1.0-candidate). source-declared source record
Furter's R(3) through n=299 cites related release The full e=3 Polydegree column Anonymous (2026). A Jacobian smooth-point criterion and the full e=3 column of the Polydegree Conjecture. Unrefereed candidate, Evidence Press. source-declared source record
O-01d0 polar-fibre reductions cites related release LPS structural reductions Anonymous. (2026). LPS structural reductions: duality, quartic obstruction, and p-adic certificates (Version 0.2.0-candidate). Evidence Press. source-declared source record
Reducible incidence divisors cites related release Degree-difference principle and affine slices Foundational companion release: The degree-difference principle and affine slices of binary-form factorisation spaces. source-declared source record
Reducible incidence divisors cites related release Exotic affine three-spheres Continues: Exotic affine three-spheres and the quadratic–cubic obstruction (upstream cubic classification). source-declared source record
Smooth-point certificates for Polydegree containments cites related release The full e=3 Polydegree column Anonymous (2026). A Jacobian smooth-point criterion and the full e=3 column of the Polydegree Conjecture. Version 0.1.0-candidate. Direct successor. source-declared source record
TxGraffiti Conjecture 15/3 resolution cites related release Bilateral deficiency in regular-DIM graphs Subsequent unrefereed work: Anonymous. (2026). Bilateral Deficiency: Residual SAT Optimisation and Independent Domination in Regular-DIM Graphs (Version 1.0.1-candidate). This is a separate child extension, not a correction to or strengthening of the present release. source-declared source record
TxGraffiti Conjecture 15/3 resolution cites related release Bilateral deficiency in regular-DIM graphs Immutable archive of the subsequent unrefereed child candidate: doi:10.5281/zenodo.21857209. source-declared source record
A 48-vertex cubic counterexample cites related release TxGraffiti Conjecture 15/3 resolution Release contributors. (2026). TxGraffiti Conjecture 15/3 resolution: a certificate-backed candidate counterexample (Version 4.0.0-rc1). source-declared source record
VR2(K4) = 20 cites related release z(20) = 6 (Erdős problem 758) Companion release: z(20) = 6 (Erdős problem 758), whose upper-bound proof objects this result reuses. source-declared source record
Wales 20 mph casualty attribution cites related release Stocks are not flows Anonymous (2026). Stocks Are Not Flows: An Identification Audit of Investor Pressure and Tenure Change in England. Evidence Press. source-declared source record
z(20) = 6 (Erdős problem 758) cites related release VR2(K4) = 20 Companion release: VR2(K4) = 20, which reuses this paper's upper-bound proof objects. source-declared source record
Certified three-item JRP gap extends result The exact two-item cap gap in joint replenishment The parent supplies the exact two-item interval, resource-to-cap reduction, and certificate-first model boundary. source-declared source record
The combined support and moment atlas extends result Fixed-seed cyclicity loci for polynomial exponential periods The predecessor introduced exact fixed-seed cyclicity loci and the stationary-phase bridge that originally connected algebraic rank to periods. source-declared source record
The combined support and moment atlas extends result Fixed-seed cyclic rank from inverse roots The predecessor identified reduced inverse-root span and block fusion as the route to a decomposable low-rank classification. source-declared source record
Finite-sample affine diversification extends result Conditional sharp partial identification of diversification histories The predecessor established the conditional affine cumulative-loss coordinate, sharp fixed-signal bounds, finite infeasibility certificates and an exact endpoint-sampling diagnostic. source-declared source record
The full e=3 Polydegree column extends result Smooth-point certificates for Polydegree containments The derivative--Jacobian identity, integral weighted-Euler factorisation, smooth-point reformulation and smaller Hensel certificate form the structural layer used by this all-degree successor. source-declared source record
A 48-vertex cubic counterexample extends result TxGraffiti Conjecture 15/3 resolution The parent supplies a public 50-vertex candidate counterexample and explicitly leaves the unrestricted below-50 search open. The child supplies a different 48-vertex graph and lowers that upper bound by construction. source-declared source record
Conditional sharp partial identification of diversification histories shares broad cluster Identification and robust operations The method registry lists affine-diversification-fibres as a member of Identification and robust operations. source-declared source record
Aggregation without sufficiency shares broad cluster Aggregation licences and target sufficiency The method registry lists aggregation-without-sufficiency as a member of Aggregation licences and target sufficiency. source-declared source record
Amplitude modules and a Bautin cutoff shares broad cluster Amplitude modules, fused inverse support and an ordinary coefficient-Bautin cutoff The method registry lists amplitude-modules-fused-support-bautin-bound as a member of Amplitude modules, fused inverse support and an ordinary coefficient-Bautin cutoff. source-declared source record
Four-term-AP Ramsey diameter 36 shares broad cluster Finite four-term-AP Ramsey diameter certificate The method registry lists ap4-ramsey-diameter-36 as a member of Finite four-term-AP Ramsey diameter certificate. source-declared source record
Bilateral deficiency in regular-DIM graphs shares broad cluster Exact combinatorial certificate architecture The method registry lists bilateral-deficiency-regular-dim as a member of Exact combinatorial certificate architecture. source-declared source record
The bordered Jacobian of binary-form multiplication shares broad cluster Binary-form Jacobian, determinant and obstruction toolkit The method registry lists bordered-jacobian-foundations as a member of Binary-form Jacobian, determinant and obstruction toolkit. source-declared source record
Certified commitment horizons in dynamic lot sizing shares broad cluster Identification and robust operations The method registry lists certified-commitment-horizons as a member of Identification and robust operations. source-declared source record
Certified three-item JRP gap shares broad cluster Exact three-item replenishment certification and logistics handoff The method registry lists certified-three-item-jrp-gap as a member of Exact three-item replenishment certification and logistics handoff. source-declared source record
The exact two-item cap gap in joint replenishment shares broad cluster Identification and robust operations The method registry lists certified-two-item-jrp as a member of Identification and robust operations. source-declared source record
Fixed-seed cyclicity loci for polynomial exponential periods shares broad cluster Cyclicity and spectral compression The method registry lists cyclicity-loci-exponential-periods as a member of Cyclicity and spectral compression. source-declared source record
Fixed-seed cyclic rank from inverse roots shares broad cluster Cyclicity and spectral compression The method registry lists cyclicity-root-span-low-rank as a member of Cyclicity and spectral compression. source-declared source record
The combined support and moment atlas shares broad cluster Inverse-root amplitude, endpoint-moment and Laurent-channel calculus The method registry lists cyclicity-support-fusion-atlas in the dated successor cluster Inverse-root amplitude, endpoint-moment and Laurent-channel calculus, which supersedes inverse-root-support-fusion-all-degree-2026-08-21. source-declared source record
The combined support and moment atlas shares broad cluster All-degree inverse-root classification and rank-preserving extension oracles The method registry lists cyclicity-support-fusion-atlas in the dated successor cluster All-degree inverse-root classification and rank-preserving extension oracles, which supersedes inverse-root-support-fusion-atlas. source-declared source record
The combined support and moment atlas shares broad cluster Inverse-root support, Fourier fusion and bounded coefficient atlases The method registry retains cyclicity-support-fusion-atlas in the historical cluster Inverse-root support, Fourier fusion and bounded coefficient atlases, superseded by inverse-root-support-fusion-all-degree-2026-08-21. source-declared source record
Degree-difference principle and affine slices shares broad cluster Binary-form Jacobian, determinant and obstruction toolkit The method registry lists degree-difference-affine-slices as a member of Binary-form Jacobian, determinant and obstruction toolkit. source-declared source record
Degree-independent ternary rhombus criterion shares broad cluster Ternary rhombus stability and higher-dimensional boundary separation The method registry lists degree-independent-rhombus-criterion as a member of Ternary rhombus stability and higher-dimensional boundary separation. source-declared source record
Shuffling a constrained path shares broad cluster Two-cut entropy for the original Dyck rejection walk The method registry lists dyck-transpositions-n-log-n as a member of Two-cut entropy for the original Dyck rejection walk. source-declared source record
Erdős 848: exact answer for all N shares broad cluster Exact combinatorial certificate architecture The method registry lists erdos-848-all-n as a member of Exact combinatorial certificate architecture. source-declared source record
Exact Recht–Ré inequalities and sampling dynamics shares broad cluster Sampling and optimisation diagnostics The method registry lists exact-low-length-recht-re-inequalities as a member of Sampling and optimisation diagnostics. source-declared source record
Exact Smith invariants of binary-form factorisation shares broad cluster Binary-form Jacobian, determinant and obstruction toolkit The method registry lists exact-smith-invariants-affine-determinant-lines as a member of Binary-form Jacobian, determinant and obstruction toolkit. source-declared source record
Exotic affine three-spheres shares broad cluster Binary-form Jacobian, determinant and obstruction toolkit The method registry lists exotic-affine-three-spheres as a member of Binary-form Jacobian, determinant and obstruction toolkit. source-declared source record
Extremes do not always maximise shares broad cluster Four-state monotone row-diameter counterexample and two-spin classification The method registry lists extremes-do-not-always-maximise as a member of Four-state monotone row-diameter counterexample and two-spin classification. source-declared source record
Factorial spikes and FI-Noetherianity shares broad cluster Factorial-spike componentwise versus FI-Noetherianity separation The method registry lists factorial-spikes-fi-noetherianity as a member of Factorial-spike componentwise versus FI-Noetherianity separation. source-declared source record
Finite-sample affine diversification shares broad cluster Finite-sample affine signal-to-decision workflows The method registry lists finite-sample-affine-diversification as a member of Finite-sample affine signal-to-decision workflows. source-declared source record
Fisk deletion interlacing through five shares broad cluster Finite Fisk Toeplitz-minor deletion-interlacing certificate The method registry lists fisk-toeplitz-deletion-interlacing-through-five as a member of Finite Fisk Toeplitz-minor deletion-interlacing certificate. source-declared source record
Fixed-d Toeplitz coherence obstruction shares broad cluster Fixed-d FI_d Toeplitz kernel obstruction The method registry lists fixed-d-toeplitz-obstruction as a member of Fixed-d FI_d Toeplitz kernel obstruction. source-declared source record
Four-element rowmotion obstruction shares broad cluster Four-element birational and piecewise-linear rowmotion obstruction The method registry lists four-element-rowmotion-periodicity as a member of Four-element birational and piecewise-linear rowmotion obstruction. source-declared source record
Four-point cubical-excision failure shares broad cluster Four-point directed inductive-cubical excision counterexample The method registry lists four-point-inductive-cubical-excision as a member of Four-point directed inductive-cubical excision counterexample. source-declared source record
Frankl entropy concavity obstruction shares broad cluster Frankl entropy obstruction and repaired reductions The method registry lists frankl-concavity-obstruction as a member of Frankl entropy obstruction and repaired reductions. source-declared source record
The full e=3 Polydegree column shares broad cluster Polydegree smooth-point and Fourier-persistence certificates The method registry lists full-e3-column-polydegree-conjecture as a member of Polydegree smooth-point and Fourier-persistence certificates. source-declared source record
The full e=4 Polydegree column shares broad cluster Effective e=4 Polydegree persistence and scoped companion assurance The method registry lists full-e4-polydegree-column as a member of Effective e=4 Polydegree persistence and scoped companion assurance. source-declared source record
Furter's R(3) through n=299 shares broad cluster Finite polynomial-rigidity certificates and executable frontier The method registry lists furter-r3-through-299 as a member of Finite polynomial-rigidity certificates and executable frontier. source-declared source record
Hahn--Ewens spectrum and mixing transition shares broad cluster Cyclicity and spectral compression The method registry lists hahn-ewens-mixing-theorem as a member of Cyclicity and spectral compression. source-declared source record
Full-HC4 degree-five structural reductions shares broad cluster HC4 binary-decimic normal-layer structural reductions The method registry lists hc4-five-support-structural-reductions as a member of HC4 binary-decimic normal-layer structural reductions. source-declared source record
Eight points without hidden nilpotents shares broad cluster Hilbert-scheme local reducedness and mixed-prime finite-module comparison The method registry lists hilbert-eight-points-reducedness as a member of Hilbert-scheme local reducedness and mixed-prime finite-module comparison. source-declared source record
Irreducible pushforwards and quartic transitions shares broad cluster Grand-problem salvage The method registry lists irreducible-pushforwards-quartic-transitions as a member of Grand-problem salvage. source-declared source record
Jordan blocks grow linearly shares broad cluster Non-backtracking Jordan valuation and graph realization The method registry lists linear-nonbacktracking-jordan-growth as a member of Non-backtracking Jordan valuation and graph realization. source-declared source record
LPS structural reductions shares broad cluster Fixed-width LPS reductions, quartic gauge repair and p-adic signals The method registry lists lps-structural-reductions as a member of Fixed-width LPS reductions, quartic gauge repair and p-adic signals. source-declared source record
Minimal negative-square-energy valley shares broad cluster Negative square-energy ordered valley and five-vertex classification The method registry lists negative-square-energy-five-vertex-valley as a member of Negative square-energy ordered valley and five-vertex classification. source-declared source record
O-01d0 polar-fibre reductions shares broad cluster O-01d0 polar-fibre, Hermite-boundary, and falsification reductions The method registry lists o01d0-polar-fibre-structural-reductions as a member of O-01d0 polar-fibre, Hermite-boundary, and falsification reductions. source-declared source record
Three-layer popular-difference obstruction shares broad cluster Three-layer popular-difference counterexample and endpoint obstruction The method registry lists odd-order-one-third-popular-differences as a member of Three-layer popular-difference counterexample and endpoint obstruction. source-declared source record
Pinching a free normal cover shares broad cluster Free normal cover and all-Fuchsian pinching construction The method registry lists pinching-free-normal-cover as a member of Free normal cover and all-Fuchsian pinching construction. source-declared source record
Skipping one Potts update shares broad cluster Exact finite-word ferromagnetic Potts censoring obstruction The method registry lists potts-censoring-counterexample as a member of Exact finite-word ferromagnetic Potts censoring obstruction. source-declared source record
Pure-tensor analytic-rank obstruction shares broad cluster Pure-tensor analytic-rank normalization obstruction The method registry lists pure-tensor-analytic-rank-counterexample as a member of Pure-tensor analytic-rank normalization obstruction. source-declared source record
Random reshuffling as a baseline policy shares broad cluster Sampling and optimisation diagnostics The method registry lists random-reshuffling-baseline-policy as a member of Sampling and optimisation diagnostics. source-declared source record
An exact three-bit KL radius shares broad cluster Reverse-channel and exact convex-cover KL radius certificate The method registry lists rbm31-exact-kl-radius as a member of Reverse-channel and exact convex-cover KL radius certificate. source-declared source record
Eight states an RBM cannot fit shares broad cluster RBM(4,3) finite-selector leakage obstruction The method registry lists rbm43-eight-point-obstruction as a member of RBM(4,3) finite-selector leakage obstruction. source-declared source record
Reducible incidence divisors shares broad cluster Binary-form Jacobian, determinant and obstruction toolkit The method registry lists reducible-incidence-divisors as a member of Binary-form Jacobian, determinant and obstruction toolkit. source-declared source record
Extensions around a claimed complex S6 shares broad cluster Conditional geometry and executable adjudication around a claimed complex S6 The method registry lists s6-extension-results-candidate as a member of Conditional geometry and executable adjudication around a claimed complex S6. source-declared source record
What a finite expected spectrum can identify shares broad cluster Certified demographic identifiability auditing The method registry lists sfs-identifiability-audit as a member of Certified demographic identifiability auditing. source-declared source record
Four-factor Schubert deformation obstruction shares broad cluster Sharp coordinate Schubert surface deformation obstruction The method registry lists sharp-four-factor-cohen-macaulay-obstruction as a member of Sharp coordinate Schubert surface deformation obstruction. source-declared source record
Sharp Hadamard powers of quartics shares broad cluster Quartic coefficient-power boundary classification The method registry lists sharp-quartic-hadamard-powers as a member of Quartic coefficient-power boundary classification. source-declared source record
Smooth-point certificates for Polydegree containments shares broad cluster Binary-form Jacobian, determinant and obstruction toolkit The method registry lists smooth-point-certificates-polydegree-containments as a member of Binary-form Jacobian, determinant and obstruction toolkit. source-declared source record
Stocks are not flows shares broad cluster Identification and robust operations The method registry lists stocks-are-not-flows as a member of Identification and robust operations. source-declared source record
TxGraffiti Conjecture 15/3 resolution shares broad cluster Exact combinatorial certificate architecture The method registry lists txgraffiti-c3-resolution as a member of Exact combinatorial certificate architecture. source-declared source record
A 48-vertex cubic counterexample shares broad cluster Order-48 cubic counterexample and exhaustive independent-domination certificate The method registry lists txgraffiti-order48-successor as a member of Order-48 cubic counterexample and exhaustive independent-domination certificate. source-declared source record
Unbounded BNS component orbits shares broad cluster Free-by-cyclic BNS component-orbit obstruction The method registry lists unbounded-bns-component-orbits as a member of Free-by-cyclic BNS component-orbit obstruction. source-declared source record
When a unique answer is not an identified answer shares broad cluster Cross-field identification and selector provenance The method registry lists unique-answer-not-identified as a member of Cross-field identification and selector provenance. source-declared source record
VR2(K4) = 20 shares broad cluster Exact combinatorial certificate architecture The method registry lists vr2-k4-equals-20 as a member of Exact combinatorial certificate architecture. source-declared source record
Wales 20 mph casualty attribution shares broad cluster Wales policy-attribution identification audit The method registry lists wales-20mph-casualty-attribution as a member of Wales policy-attribution identification audit. source-declared source record
z(20) = 6 (Erdős problem 758) shares broad cluster Exact combinatorial certificate architecture The method registry lists z20-equals-6 as a member of Exact combinatorial certificate architecture. source-declared source record
Conditional sharp partial identification of diversification histories belongs to lineage Affine diversification partial-identification programme The finite-sample successor explicitly extends the predecessor's affine cumulative-loss fibre, fixed-signal sharp bounds and endpoint-sampling diagnostic by adding signal uncertainty, three-valued decisions and a frozen CRABS comparison. source-declared source record
Amplitude modules and a Bautin cutoff belongs to lineage Fixed-seed cyclicity programme The root-span release explicitly cites the cyclicity-loci release as its predecessor and extends the same fixed-seed cyclicity programme. source-declared source record
The bordered Jacobian of binary-form multiplication belongs to lineage Binary-form factorisation programme Each member explicitly identifies another member as foundational, parent, child, companion or continuation work in the published release metadata. source-declared source record
Certified three-item JRP gap belongs to lineage Exact joint-replenishment certification programme The three-item successor explicitly extends the parent's common-origin model, independent-cap reduction boundary, exact two-item interval and certificate-first conventions with a distinct primitive-triple tail architecture and logistics evaluation handoff. source-declared source record
The exact two-item cap gap in joint replenishment belongs to lineage Exact joint-replenishment certification programme The three-item successor explicitly extends the parent's common-origin model, independent-cap reduction boundary, exact two-item interval and certificate-first conventions with a distinct primitive-triple tail architecture and logistics evaluation handoff. source-declared source record
Fixed-seed cyclicity loci for polynomial exponential periods belongs to lineage Fixed-seed cyclicity programme The root-span release explicitly cites the cyclicity-loci release as its predecessor and extends the same fixed-seed cyclicity programme. source-declared source record
Fixed-seed cyclic rank from inverse roots belongs to lineage Fixed-seed cyclicity programme The root-span release explicitly cites the cyclicity-loci release as its predecessor and extends the same fixed-seed cyclicity programme. source-declared source record
The combined support and moment atlas belongs to lineage Fixed-seed cyclicity programme The root-span release explicitly cites the cyclicity-loci release as its predecessor and extends the same fixed-seed cyclicity programme. source-declared source record
Degree-difference principle and affine slices belongs to lineage Binary-form factorisation programme Each member explicitly identifies another member as foundational, parent, child, companion or continuation work in the published release metadata. source-declared source record
Exact Smith invariants of binary-form factorisation belongs to lineage Binary-form factorisation programme Each member explicitly identifies another member as foundational, parent, child, companion or continuation work in the published release metadata. source-declared source record
Exotic affine three-spheres belongs to lineage Binary-form factorisation programme Each member explicitly identifies another member as foundational, parent, child, companion or continuation work in the published release metadata. source-declared source record
Finite-sample affine diversification belongs to lineage Affine diversification partial-identification programme The finite-sample successor explicitly extends the predecessor's affine cumulative-loss fibre, fixed-signal sharp bounds and endpoint-sampling diagnostic by adding signal uncertainty, three-valued decisions and a frozen CRABS comparison. source-declared source record
Reducible incidence divisors belongs to lineage Binary-form factorisation programme Each member explicitly identifies another member as foundational, parent, child, companion or continuation work in the published release metadata. source-declared source record
TxGraffiti Conjecture 15/3 resolution belongs to lineage TxGraffiti cubic-counterexample order programme The order-48 successor explicitly identifies the public 50-vertex release as its parent, supplies a different smaller graph and resolves the parent's open below-50 search direction by construction without retracting the parent or inheriting its separate restricted-class theorems. source-declared source record
A 48-vertex cubic counterexample belongs to lineage TxGraffiti cubic-counterexample order programme The order-48 successor explicitly identifies the public 50-vertex release as its parent, supplies a different smaller graph and resolves the parent's open below-50 search direction by construction without retracting the parent or inheriting its separate restricted-class theorems. source-declared source record
Wales 20 mph casualty attribution reuses method Stocks are not flows The project reuses the identification-before-estimation workflow: distinguish the estimand from available proxies, register admitted rivals, test the observation map and publish a justified stopping boundary when point attribution fails. source-declared source record
Conditional sharp partial identification of diversification histories uses method Adversarial scientific controls The method registry assigns affine-diversification-fibres to adversarial-controls. source-declared source record
Conditional sharp partial identification of diversification histories uses method Agent-readable research objects The method registry assigns affine-diversification-fibres to agent-readable-research-object. source-declared source record
Conditional sharp partial identification of diversification histories uses method Certified decision margins The method registry assigns affine-diversification-fibres to certified-decision-margin. source-declared source record
Conditional sharp partial identification of diversification histories uses method Identification before estimation The method registry assigns affine-diversification-fibres to identification-gate. source-declared source record
Conditional sharp partial identification of diversification histories uses method Partial identification and robust decisions The method registry assigns affine-diversification-fibres to partial-identification. source-declared source record
Conditional sharp partial identification of diversification histories uses method Structural compression The method registry assigns affine-diversification-fibres to structural-compression. source-declared source record
Aggregation without sufficiency uses method Adversarial scientific controls The method registry assigns aggregation-without-sufficiency to adversarial-controls. source-declared source record
Aggregation without sufficiency uses method Agent-readable research objects The method registry assigns aggregation-without-sufficiency to agent-readable-research-object. source-declared source record
Aggregation without sufficiency uses method Assurance as a vector The method registry assigns aggregation-without-sufficiency to assurance-vector. source-declared source record
Aggregation without sufficiency uses method Counterexample- and proxy-first analysis The method registry assigns aggregation-without-sufficiency to counterexample-proxy-first. source-declared source record
Aggregation without sufficiency uses method Identification before estimation The method registry assigns aggregation-without-sufficiency to identification-gate. source-declared source record
Aggregation without sufficiency uses method Partial identification and robust decisions The method registry assigns aggregation-without-sufficiency to partial-identification. source-declared source record
Aggregation without sufficiency uses method Structural compression The method registry assigns aggregation-without-sufficiency to structural-compression. source-declared source record
Amplitude modules and a Bautin cutoff uses method Adversarial scientific controls The method registry assigns amplitude-modules-fused-support-bautin-bound to adversarial-controls. source-declared source record
Amplitude modules and a Bautin cutoff uses method Agent-readable research objects The method registry assigns amplitude-modules-fused-support-bautin-bound to agent-readable-research-object. source-declared source record
Amplitude modules and a Bautin cutoff uses method Assurance as a vector The method registry assigns amplitude-modules-fused-support-bautin-bound to assurance-vector. source-declared source record
Amplitude modules and a Bautin cutoff uses method Productive failure and stop receipts The method registry assigns amplitude-modules-fused-support-bautin-bound to productive-failure. source-declared source record
Amplitude modules and a Bautin cutoff uses method Lineage-aware reuse practice The method registry assigns amplitude-modules-fused-support-bautin-bound to research-lineage-reuse. source-declared source record
Amplitude modules and a Bautin cutoff uses method Structural compression The method registry assigns amplitude-modules-fused-support-bautin-bound to structural-compression. source-declared source record
Four-term-AP Ramsey diameter 36 uses method Adversarial scientific controls The method registry assigns ap4-ramsey-diameter-36 to adversarial-controls. source-declared source record
Four-term-AP Ramsey diameter 36 uses method Agent-readable research objects The method registry assigns ap4-ramsey-diameter-36 to agent-readable-research-object. source-declared source record
Four-term-AP Ramsey diameter 36 uses method Assurance as a vector The method registry assigns ap4-ramsey-diameter-36 to assurance-vector. source-declared source record
Four-term-AP Ramsey diameter 36 uses method Certificate-first, proof-carrying research The method registry assigns ap4-ramsey-diameter-36 to certificate-first. source-declared source record
Four-term-AP Ramsey diameter 36 uses method Structural compression The method registry assigns ap4-ramsey-diameter-36 to structural-compression. source-declared source record
Bilateral deficiency in regular-DIM graphs uses method Adversarial scientific controls The method registry assigns bilateral-deficiency-regular-dim to adversarial-controls. source-declared source record
Bilateral deficiency in regular-DIM graphs uses method Certificate-first, proof-carrying research The method registry assigns bilateral-deficiency-regular-dim to certificate-first. source-declared source record
Bilateral deficiency in regular-DIM graphs uses method Lineage-aware reuse practice The method registry assigns bilateral-deficiency-regular-dim to research-lineage-reuse. source-declared source record
Bilateral deficiency in regular-DIM graphs uses method Structural compression The method registry assigns bilateral-deficiency-regular-dim to structural-compression. source-declared source record
The bordered Jacobian of binary-form multiplication uses method Adversarial scientific controls The method registry assigns bordered-jacobian-foundations to adversarial-controls. source-declared source record
The bordered Jacobian of binary-form multiplication uses method Assurance as a vector The method registry assigns bordered-jacobian-foundations to assurance-vector. source-declared source record
The bordered Jacobian of binary-form multiplication uses method Lineage-aware reuse practice The method registry assigns bordered-jacobian-foundations to research-lineage-reuse. source-declared source record
The bordered Jacobian of binary-form multiplication uses method Structural compression The method registry assigns bordered-jacobian-foundations to structural-compression. source-declared source record
Certified commitment horizons in dynamic lot sizing uses method Certificate-first, proof-carrying research The method registry assigns certified-commitment-horizons to certificate-first. source-declared source record
Certified commitment horizons in dynamic lot sizing uses method Certified decision margins The method registry assigns certified-commitment-horizons to certified-decision-margin. source-declared source record
Certified commitment horizons in dynamic lot sizing uses method Partial identification and robust decisions The method registry assigns certified-commitment-horizons to partial-identification. source-declared source record
Certified commitment horizons in dynamic lot sizing uses method Staged adoption and impact evaluation The method registry assigns certified-commitment-horizons to staged-adoption-evaluation. source-declared source record
Certified commitment horizons in dynamic lot sizing uses method Structural compression The method registry assigns certified-commitment-horizons to structural-compression. source-declared source record
Certified three-item JRP gap uses method Adversarial scientific controls The method registry assigns certified-three-item-jrp-gap to adversarial-controls. source-declared source record
Certified three-item JRP gap uses method Agent-readable research objects The method registry assigns certified-three-item-jrp-gap to agent-readable-research-object. source-declared source record
Certified three-item JRP gap uses method Assurance as a vector The method registry assigns certified-three-item-jrp-gap to assurance-vector. source-declared source record
Certified three-item JRP gap uses method Certificate-first, proof-carrying research The method registry assigns certified-three-item-jrp-gap to certificate-first. source-declared source record
Certified three-item JRP gap uses method Certified decision margins The method registry assigns certified-three-item-jrp-gap to certified-decision-margin. source-declared source record
Certified three-item JRP gap uses method Exact regime stitching The method registry assigns certified-three-item-jrp-gap to regime-stitching. source-declared source record
Certified three-item JRP gap uses method Lineage-aware reuse practice The method registry assigns certified-three-item-jrp-gap to research-lineage-reuse. source-declared source record
Certified three-item JRP gap uses method Staged adoption and impact evaluation The method registry assigns certified-three-item-jrp-gap to staged-adoption-evaluation. source-declared source record
Certified three-item JRP gap uses method Structural compression The method registry assigns certified-three-item-jrp-gap to structural-compression. source-declared source record
The exact two-item cap gap in joint replenishment uses method Certificate-first, proof-carrying research The method registry assigns certified-two-item-jrp to certificate-first. source-declared source record
The exact two-item cap gap in joint replenishment uses method Certified decision margins The method registry assigns certified-two-item-jrp to certified-decision-margin. source-declared source record
The exact two-item cap gap in joint replenishment uses method Exact regime stitching The method registry assigns certified-two-item-jrp to regime-stitching. source-declared source record
The exact two-item cap gap in joint replenishment uses method Staged adoption and impact evaluation The method registry assigns certified-two-item-jrp to staged-adoption-evaluation. source-declared source record
The exact two-item cap gap in joint replenishment uses method Structural compression The method registry assigns certified-two-item-jrp to structural-compression. source-declared source record
Fixed-seed cyclicity loci for polynomial exponential periods uses method Adversarial scientific controls The method registry assigns cyclicity-loci-exponential-periods to adversarial-controls. source-declared source record
Fixed-seed cyclicity loci for polynomial exponential periods uses method Certificate-first, proof-carrying research The method registry assigns cyclicity-loci-exponential-periods to certificate-first. source-declared source record
Fixed-seed cyclicity loci for polynomial exponential periods uses method Counterexample- and proxy-first analysis The method registry assigns cyclicity-loci-exponential-periods to counterexample-proxy-first. source-declared source record
Fixed-seed cyclicity loci for polynomial exponential periods uses method Structural compression The method registry assigns cyclicity-loci-exponential-periods to structural-compression. source-declared source record
Fixed-seed cyclic rank from inverse roots uses method Adversarial scientific controls The method registry assigns cyclicity-root-span-low-rank to adversarial-controls. source-declared source record
Fixed-seed cyclic rank from inverse roots uses method Productive failure and stop receipts The method registry assigns cyclicity-root-span-low-rank to productive-failure. source-declared source record
Fixed-seed cyclic rank from inverse roots uses method Lineage-aware reuse practice The method registry assigns cyclicity-root-span-low-rank to research-lineage-reuse. source-declared source record
Fixed-seed cyclic rank from inverse roots uses method Structural compression The method registry assigns cyclicity-root-span-low-rank to structural-compression. source-declared source record
The combined support and moment atlas uses method Adversarial scientific controls The method registry assigns cyclicity-support-fusion-atlas to adversarial-controls. source-declared source record
The combined support and moment atlas uses method Agent-readable research objects The method registry assigns cyclicity-support-fusion-atlas to agent-readable-research-object. source-declared source record
The combined support and moment atlas uses method Assurance as a vector The method registry assigns cyclicity-support-fusion-atlas to assurance-vector. source-declared source record
The combined support and moment atlas uses method Certificate-first, proof-carrying research The method registry assigns cyclicity-support-fusion-atlas to certificate-first. source-declared source record
The combined support and moment atlas uses method Productive failure and stop receipts The method registry assigns cyclicity-support-fusion-atlas to productive-failure. source-declared source record
The combined support and moment atlas uses method Lineage-aware reuse practice The method registry assigns cyclicity-support-fusion-atlas to research-lineage-reuse. source-declared source record
The combined support and moment atlas uses method Structural compression The method registry assigns cyclicity-support-fusion-atlas to structural-compression. source-declared source record
Degree-difference principle and affine slices uses method Adversarial scientific controls The method registry assigns degree-difference-affine-slices to adversarial-controls. source-declared source record
Degree-difference principle and affine slices uses method Lineage-aware reuse practice The method registry assigns degree-difference-affine-slices to research-lineage-reuse. source-declared source record
Degree-difference principle and affine slices uses method Structural compression The method registry assigns degree-difference-affine-slices to structural-compression. source-declared source record
Degree-independent ternary rhombus criterion uses method Adversarial scientific controls The method registry assigns degree-independent-rhombus-criterion to adversarial-controls. source-declared source record
Degree-independent ternary rhombus criterion uses method Agent-readable research objects The method registry assigns degree-independent-rhombus-criterion to agent-readable-research-object. source-declared source record
Degree-independent ternary rhombus criterion uses method Assurance as a vector The method registry assigns degree-independent-rhombus-criterion to assurance-vector. source-declared source record
Degree-independent ternary rhombus criterion uses method Certificate-first, proof-carrying research The method registry assigns degree-independent-rhombus-criterion to certificate-first. source-declared source record
Degree-independent ternary rhombus criterion uses method Counterexample- and proxy-first analysis The method registry assigns degree-independent-rhombus-criterion to counterexample-proxy-first. source-declared source record
Degree-independent ternary rhombus criterion uses method Structural compression The method registry assigns degree-independent-rhombus-criterion to structural-compression. source-declared source record
Shuffling a constrained path uses method Adversarial scientific controls The method registry assigns dyck-transpositions-n-log-n to adversarial-controls. source-declared source record
Shuffling a constrained path uses method Agent-readable research objects The method registry assigns dyck-transpositions-n-log-n to agent-readable-research-object. source-declared source record
Shuffling a constrained path uses method Assurance as a vector The method registry assigns dyck-transpositions-n-log-n to assurance-vector. source-declared source record
Shuffling a constrained path uses method Productive failure and stop receipts The method registry assigns dyck-transpositions-n-log-n to productive-failure. source-declared source record
Shuffling a constrained path uses method Exact regime stitching The method registry assigns dyck-transpositions-n-log-n to regime-stitching. source-declared source record
Shuffling a constrained path uses method Structural compression The method registry assigns dyck-transpositions-n-log-n to structural-compression. source-declared source record
Erdős 848: exact answer for all N uses method Adversarial scientific controls The method registry assigns erdos-848-all-n to adversarial-controls. source-declared source record
Erdős 848: exact answer for all N uses method Agent-readable research objects The method registry assigns erdos-848-all-n to agent-readable-research-object. source-declared source record
Erdős 848: exact answer for all N uses method Certificate-first, proof-carrying research The method registry assigns erdos-848-all-n to certificate-first. source-declared source record
Erdős 848: exact answer for all N uses method Exact regime stitching The method registry assigns erdos-848-all-n to regime-stitching. source-declared source record
Exact Recht–Ré inequalities and sampling dynamics uses method Adversarial scientific controls The method registry assigns exact-low-length-recht-re-inequalities to adversarial-controls. source-declared source record
Exact Recht–Ré inequalities and sampling dynamics uses method Certificate-first, proof-carrying research The method registry assigns exact-low-length-recht-re-inequalities to certificate-first. source-declared source record
Exact Recht–Ré inequalities and sampling dynamics uses method Counterexample- and proxy-first analysis The method registry assigns exact-low-length-recht-re-inequalities to counterexample-proxy-first. source-declared source record
Exact Recht–Ré inequalities and sampling dynamics uses method Exact regime stitching The method registry assigns exact-low-length-recht-re-inequalities to regime-stitching. source-declared source record
Exact Smith invariants of binary-form factorisation uses method Adversarial scientific controls The method registry assigns exact-smith-invariants-affine-determinant-lines to adversarial-controls. source-declared source record
Exact Smith invariants of binary-form factorisation uses method Agent-readable research objects The method registry assigns exact-smith-invariants-affine-determinant-lines to agent-readable-research-object. source-declared source record
Exact Smith invariants of binary-form factorisation uses method Assurance as a vector The method registry assigns exact-smith-invariants-affine-determinant-lines to assurance-vector. source-declared source record
Exact Smith invariants of binary-form factorisation uses method Certificate-first, proof-carrying research The method registry assigns exact-smith-invariants-affine-determinant-lines to certificate-first. source-declared source record
Exact Smith invariants of binary-form factorisation uses method Lineage-aware reuse practice The method registry assigns exact-smith-invariants-affine-determinant-lines to research-lineage-reuse. source-declared source record
Exact Smith invariants of binary-form factorisation uses method Structural compression The method registry assigns exact-smith-invariants-affine-determinant-lines to structural-compression. source-declared source record
Exotic affine three-spheres uses method Adversarial scientific controls The method registry assigns exotic-affine-three-spheres to adversarial-controls. source-declared source record
Exotic affine three-spheres uses method Counterexample- and proxy-first analysis The method registry assigns exotic-affine-three-spheres to counterexample-proxy-first. source-declared source record
Exotic affine three-spheres uses method Lineage-aware reuse practice The method registry assigns exotic-affine-three-spheres to research-lineage-reuse. source-declared source record
Exotic affine three-spheres uses method Structural compression The method registry assigns exotic-affine-three-spheres to structural-compression. source-declared source record
Extremes do not always maximise uses method Adversarial scientific controls The method registry assigns extremes-do-not-always-maximise to adversarial-controls. source-declared source record
Extremes do not always maximise uses method Agent-readable research objects The method registry assigns extremes-do-not-always-maximise to agent-readable-research-object. source-declared source record
Extremes do not always maximise uses method Assurance as a vector The method registry assigns extremes-do-not-always-maximise to assurance-vector. source-declared source record
Extremes do not always maximise uses method Certificate-first, proof-carrying research The method registry assigns extremes-do-not-always-maximise to certificate-first. source-declared source record
Extremes do not always maximise uses method Structural compression The method registry assigns extremes-do-not-always-maximise to structural-compression. source-declared source record
Factorial spikes and FI-Noetherianity uses method Adversarial scientific controls The method registry assigns factorial-spikes-fi-noetherianity to adversarial-controls. source-declared source record
Factorial spikes and FI-Noetherianity uses method Agent-readable research objects The method registry assigns factorial-spikes-fi-noetherianity to agent-readable-research-object. source-declared source record
Factorial spikes and FI-Noetherianity uses method Assurance as a vector The method registry assigns factorial-spikes-fi-noetherianity to assurance-vector. source-declared source record
Factorial spikes and FI-Noetherianity uses method Certificate-first, proof-carrying research The method registry assigns factorial-spikes-fi-noetherianity to certificate-first. source-declared source record
Factorial spikes and FI-Noetherianity uses method Structural compression The method registry assigns factorial-spikes-fi-noetherianity to structural-compression. source-declared source record
Finite-sample affine diversification uses method Adversarial scientific controls The method registry assigns finite-sample-affine-diversification to adversarial-controls. source-declared source record
Finite-sample affine diversification uses method Agent-readable research objects The method registry assigns finite-sample-affine-diversification to agent-readable-research-object. source-declared source record
Finite-sample affine diversification uses method Assurance as a vector The method registry assigns finite-sample-affine-diversification to assurance-vector. source-declared source record
Finite-sample affine diversification uses method Certified decision margins The method registry assigns finite-sample-affine-diversification to certified-decision-margin. source-declared source record
Finite-sample affine diversification uses method Identification before estimation The method registry assigns finite-sample-affine-diversification to identification-gate. source-declared source record
Finite-sample affine diversification uses method Partial identification and robust decisions The method registry assigns finite-sample-affine-diversification to partial-identification. source-declared source record
Finite-sample affine diversification uses method Productive failure and stop receipts The method registry assigns finite-sample-affine-diversification to productive-failure. source-declared source record
Finite-sample affine diversification uses method Lineage-aware reuse practice The method registry assigns finite-sample-affine-diversification to research-lineage-reuse. source-declared source record
Finite-sample affine diversification uses method Structural compression The method registry assigns finite-sample-affine-diversification to structural-compression. source-declared source record
Fisk deletion interlacing through five uses method Adversarial scientific controls The method registry assigns fisk-toeplitz-deletion-interlacing-through-five to adversarial-controls. source-declared source record
Fisk deletion interlacing through five uses method Agent-readable research objects The method registry assigns fisk-toeplitz-deletion-interlacing-through-five to agent-readable-research-object. source-declared source record
Fisk deletion interlacing through five uses method Assurance as a vector The method registry assigns fisk-toeplitz-deletion-interlacing-through-five to assurance-vector. source-declared source record
Fisk deletion interlacing through five uses method Certificate-first, proof-carrying research The method registry assigns fisk-toeplitz-deletion-interlacing-through-five to certificate-first. source-declared source record
Fisk deletion interlacing through five uses method Counterexample- and proxy-first analysis The method registry assigns fisk-toeplitz-deletion-interlacing-through-five to counterexample-proxy-first. source-declared source record
Fisk deletion interlacing through five uses method Productive failure and stop receipts The method registry assigns fisk-toeplitz-deletion-interlacing-through-five to productive-failure. source-declared source record
Fisk deletion interlacing through five uses method Structural compression The method registry assigns fisk-toeplitz-deletion-interlacing-through-five to structural-compression. source-declared source record
Fixed-d Toeplitz coherence obstruction uses method Adversarial scientific controls The method registry assigns fixed-d-toeplitz-obstruction to adversarial-controls. source-declared source record
Fixed-d Toeplitz coherence obstruction uses method Agent-readable research objects The method registry assigns fixed-d-toeplitz-obstruction to agent-readable-research-object. source-declared source record
Fixed-d Toeplitz coherence obstruction uses method Assurance as a vector The method registry assigns fixed-d-toeplitz-obstruction to assurance-vector. source-declared source record
Fixed-d Toeplitz coherence obstruction uses method Structural compression The method registry assigns fixed-d-toeplitz-obstruction to structural-compression. source-declared source record
Four-element rowmotion obstruction uses method Adversarial scientific controls The method registry assigns four-element-rowmotion-periodicity to adversarial-controls. source-declared source record
Four-element rowmotion obstruction uses method Agent-readable research objects The method registry assigns four-element-rowmotion-periodicity to agent-readable-research-object. source-declared source record
Four-element rowmotion obstruction uses method Assurance as a vector The method registry assigns four-element-rowmotion-periodicity to assurance-vector. source-declared source record
Four-element rowmotion obstruction uses method Certificate-first, proof-carrying research The method registry assigns four-element-rowmotion-periodicity to certificate-first. source-declared source record
Four-element rowmotion obstruction uses method Structural compression The method registry assigns four-element-rowmotion-periodicity to structural-compression. source-declared source record
Four-point cubical-excision failure uses method Adversarial scientific controls The method registry assigns four-point-inductive-cubical-excision to adversarial-controls. source-declared source record
Four-point cubical-excision failure uses method Agent-readable research objects The method registry assigns four-point-inductive-cubical-excision to agent-readable-research-object. source-declared source record
Four-point cubical-excision failure uses method Assurance as a vector The method registry assigns four-point-inductive-cubical-excision to assurance-vector. source-declared source record
Four-point cubical-excision failure uses method Certificate-first, proof-carrying research The method registry assigns four-point-inductive-cubical-excision to certificate-first. source-declared source record
Four-point cubical-excision failure uses method Counterexample- and proxy-first analysis The method registry assigns four-point-inductive-cubical-excision to counterexample-proxy-first. source-declared source record
Four-point cubical-excision failure uses method Structural compression The method registry assigns four-point-inductive-cubical-excision to structural-compression. source-declared source record
Frankl entropy concavity obstruction uses method Adversarial scientific controls The method registry assigns frankl-concavity-obstruction to adversarial-controls. source-declared source record
Frankl entropy concavity obstruction uses method Agent-readable research objects The method registry assigns frankl-concavity-obstruction to agent-readable-research-object. source-declared source record
Frankl entropy concavity obstruction uses method Assurance as a vector The method registry assigns frankl-concavity-obstruction to assurance-vector. source-declared source record
Frankl entropy concavity obstruction uses method Certificate-first, proof-carrying research The method registry assigns frankl-concavity-obstruction to certificate-first. source-declared source record
Frankl entropy concavity obstruction uses method Productive failure and stop receipts The method registry assigns frankl-concavity-obstruction to productive-failure. source-declared source record
Frankl entropy concavity obstruction uses method Structural compression The method registry assigns frankl-concavity-obstruction to structural-compression. source-declared source record
The full e=3 Polydegree column uses method Adversarial scientific controls The method registry assigns full-e3-column-polydegree-conjecture to adversarial-controls. source-declared source record
The full e=3 Polydegree column uses method Agent-readable research objects The method registry assigns full-e3-column-polydegree-conjecture to agent-readable-research-object. source-declared source record
The full e=3 Polydegree column uses method Assurance as a vector The method registry assigns full-e3-column-polydegree-conjecture to assurance-vector. source-declared source record
The full e=3 Polydegree column uses method Certificate-first, proof-carrying research The method registry assigns full-e3-column-polydegree-conjecture to certificate-first. source-declared source record
The full e=3 Polydegree column uses method Exact regime stitching The method registry assigns full-e3-column-polydegree-conjecture to regime-stitching. source-declared source record
The full e=3 Polydegree column uses method Lineage-aware reuse practice The method registry assigns full-e3-column-polydegree-conjecture to research-lineage-reuse. source-declared source record
The full e=3 Polydegree column uses method Structural compression The method registry assigns full-e3-column-polydegree-conjecture to structural-compression. source-declared source record
The full e=4 Polydegree column uses method Adversarial scientific controls The method registry assigns full-e4-polydegree-column to adversarial-controls. source-declared source record
The full e=4 Polydegree column uses method Agent-readable research objects The method registry assigns full-e4-polydegree-column to agent-readable-research-object. source-declared source record
The full e=4 Polydegree column uses method Assurance as a vector The method registry assigns full-e4-polydegree-column to assurance-vector. source-declared source record
The full e=4 Polydegree column uses method Certificate-first, proof-carrying research The method registry assigns full-e4-polydegree-column to certificate-first. source-declared source record
The full e=4 Polydegree column uses method Exact regime stitching The method registry assigns full-e4-polydegree-column to regime-stitching. source-declared source record
The full e=4 Polydegree column uses method Structural compression The method registry assigns full-e4-polydegree-column to structural-compression. source-declared source record
Furter's R(3) through n=299 uses method Adversarial scientific controls The method registry assigns furter-r3-through-299 to adversarial-controls. source-declared source record
Furter's R(3) through n=299 uses method Agent-readable research objects The method registry assigns furter-r3-through-299 to agent-readable-research-object. source-declared source record
Furter's R(3) through n=299 uses method Assurance as a vector The method registry assigns furter-r3-through-299 to assurance-vector. source-declared source record
Furter's R(3) through n=299 uses method Certificate-first, proof-carrying research The method registry assigns furter-r3-through-299 to certificate-first. source-declared source record
Furter's R(3) through n=299 uses method Counterexample- and proxy-first analysis The method registry assigns furter-r3-through-299 to counterexample-proxy-first. source-declared source record
Furter's R(3) through n=299 uses method Exact regime stitching The method registry assigns furter-r3-through-299 to regime-stitching. source-declared source record
Furter's R(3) through n=299 uses method Structural compression The method registry assigns furter-r3-through-299 to structural-compression. source-declared source record
Hahn--Ewens spectrum and mixing transition uses method Adversarial scientific controls The method registry assigns hahn-ewens-mixing-theorem to adversarial-controls. source-declared source record
Hahn--Ewens spectrum and mixing transition uses method Exact regime stitching The method registry assigns hahn-ewens-mixing-theorem to regime-stitching. source-declared source record
Hahn--Ewens spectrum and mixing transition uses method Structural compression The method registry assigns hahn-ewens-mixing-theorem to structural-compression. source-declared source record
Full-HC4 degree-five structural reductions uses method Adversarial scientific controls The method registry assigns hc4-five-support-structural-reductions to adversarial-controls. source-declared source record
Full-HC4 degree-five structural reductions uses method Agent-readable research objects The method registry assigns hc4-five-support-structural-reductions to agent-readable-research-object. source-declared source record
Full-HC4 degree-five structural reductions uses method Assurance as a vector The method registry assigns hc4-five-support-structural-reductions to assurance-vector. source-declared source record
Full-HC4 degree-five structural reductions uses method Certificate-first, proof-carrying research The method registry assigns hc4-five-support-structural-reductions to certificate-first. source-declared source record
Full-HC4 degree-five structural reductions uses method Productive failure and stop receipts The method registry assigns hc4-five-support-structural-reductions to productive-failure. source-declared source record
Full-HC4 degree-five structural reductions uses method Structural compression The method registry assigns hc4-five-support-structural-reductions to structural-compression. source-declared source record
Eight points without hidden nilpotents uses method Adversarial scientific controls The method registry assigns hilbert-eight-points-reducedness to adversarial-controls. source-declared source record
Eight points without hidden nilpotents uses method Agent-readable research objects The method registry assigns hilbert-eight-points-reducedness to agent-readable-research-object. source-declared source record
Eight points without hidden nilpotents uses method Assurance as a vector The method registry assigns hilbert-eight-points-reducedness to assurance-vector. source-declared source record
Eight points without hidden nilpotents uses method Certificate-first, proof-carrying research The method registry assigns hilbert-eight-points-reducedness to certificate-first. source-declared source record
Eight points without hidden nilpotents uses method Productive failure and stop receipts The method registry assigns hilbert-eight-points-reducedness to productive-failure. source-declared source record
Eight points without hidden nilpotents uses method Structural compression The method registry assigns hilbert-eight-points-reducedness to structural-compression. source-declared source record
Irreducible pushforwards and quartic transitions uses method Agent-readable research objects The method registry assigns irreducible-pushforwards-quartic-transitions to agent-readable-research-object. source-declared source record
Irreducible pushforwards and quartic transitions uses method Productive failure and stop receipts The method registry assigns irreducible-pushforwards-quartic-transitions to productive-failure. source-declared source record
Irreducible pushforwards and quartic transitions uses method Structural compression The method registry assigns irreducible-pushforwards-quartic-transitions to structural-compression. source-declared source record
Jordan blocks grow linearly uses method Adversarial scientific controls The method registry assigns linear-nonbacktracking-jordan-growth to adversarial-controls. source-declared source record
Jordan blocks grow linearly uses method Agent-readable research objects The method registry assigns linear-nonbacktracking-jordan-growth to agent-readable-research-object. source-declared source record
Jordan blocks grow linearly uses method Assurance as a vector The method registry assigns linear-nonbacktracking-jordan-growth to assurance-vector. source-declared source record
Jordan blocks grow linearly uses method Structural compression The method registry assigns linear-nonbacktracking-jordan-growth to structural-compression. source-declared source record
LPS structural reductions uses method Adversarial scientific controls The method registry assigns lps-structural-reductions to adversarial-controls. source-declared source record
LPS structural reductions uses method Agent-readable research objects The method registry assigns lps-structural-reductions to agent-readable-research-object. source-declared source record
LPS structural reductions uses method Assurance as a vector The method registry assigns lps-structural-reductions to assurance-vector. source-declared source record
LPS structural reductions uses method Certificate-first, proof-carrying research The method registry assigns lps-structural-reductions to certificate-first. source-declared source record
LPS structural reductions uses method Productive failure and stop receipts The method registry assigns lps-structural-reductions to productive-failure. source-declared source record
LPS structural reductions uses method Structural compression The method registry assigns lps-structural-reductions to structural-compression. source-declared source record
Minimal negative-square-energy valley uses method Adversarial scientific controls The method registry assigns negative-square-energy-five-vertex-valley to adversarial-controls. source-declared source record
Minimal negative-square-energy valley uses method Agent-readable research objects The method registry assigns negative-square-energy-five-vertex-valley to agent-readable-research-object. source-declared source record
Minimal negative-square-energy valley uses method Assurance as a vector The method registry assigns negative-square-energy-five-vertex-valley to assurance-vector. source-declared source record
Minimal negative-square-energy valley uses method Certificate-first, proof-carrying research The method registry assigns negative-square-energy-five-vertex-valley to certificate-first. source-declared source record
Minimal negative-square-energy valley uses method Counterexample- and proxy-first analysis The method registry assigns negative-square-energy-five-vertex-valley to counterexample-proxy-first. source-declared source record
Minimal negative-square-energy valley uses method Structural compression The method registry assigns negative-square-energy-five-vertex-valley to structural-compression. source-declared source record
O-01d0 polar-fibre reductions uses method Adversarial scientific controls The method registry assigns o01d0-polar-fibre-structural-reductions to adversarial-controls. source-declared source record
O-01d0 polar-fibre reductions uses method Agent-readable research objects The method registry assigns o01d0-polar-fibre-structural-reductions to agent-readable-research-object. source-declared source record
O-01d0 polar-fibre reductions uses method Assurance as a vector The method registry assigns o01d0-polar-fibre-structural-reductions to assurance-vector. source-declared source record
O-01d0 polar-fibre reductions uses method Certificate-first, proof-carrying research The method registry assigns o01d0-polar-fibre-structural-reductions to certificate-first. source-declared source record
O-01d0 polar-fibre reductions uses method Productive failure and stop receipts The method registry assigns o01d0-polar-fibre-structural-reductions to productive-failure. source-declared source record
O-01d0 polar-fibre reductions uses method Exact regime stitching The method registry assigns o01d0-polar-fibre-structural-reductions to regime-stitching. source-declared source record
O-01d0 polar-fibre reductions uses method Lineage-aware reuse practice The method registry assigns o01d0-polar-fibre-structural-reductions to research-lineage-reuse. source-declared source record
O-01d0 polar-fibre reductions uses method Structural compression The method registry assigns o01d0-polar-fibre-structural-reductions to structural-compression. source-declared source record
Three-layer popular-difference obstruction uses method Adversarial scientific controls The method registry assigns odd-order-one-third-popular-differences to adversarial-controls. source-declared source record
Three-layer popular-difference obstruction uses method Agent-readable research objects The method registry assigns odd-order-one-third-popular-differences to agent-readable-research-object. source-declared source record
Three-layer popular-difference obstruction uses method Assurance as a vector The method registry assigns odd-order-one-third-popular-differences to assurance-vector. source-declared source record
Three-layer popular-difference obstruction uses method Certificate-first, proof-carrying research The method registry assigns odd-order-one-third-popular-differences to certificate-first. source-declared source record
Three-layer popular-difference obstruction uses method Counterexample- and proxy-first analysis The method registry assigns odd-order-one-third-popular-differences to counterexample-proxy-first. source-declared source record
Three-layer popular-difference obstruction uses method Structural compression The method registry assigns odd-order-one-third-popular-differences to structural-compression. source-declared source record
Pinching a free normal cover uses method Adversarial scientific controls The method registry assigns pinching-free-normal-cover to adversarial-controls. source-declared source record
Pinching a free normal cover uses method Agent-readable research objects The method registry assigns pinching-free-normal-cover to agent-readable-research-object. source-declared source record
Pinching a free normal cover uses method Assurance as a vector The method registry assigns pinching-free-normal-cover to assurance-vector. source-declared source record
Pinching a free normal cover uses method Structural compression The method registry assigns pinching-free-normal-cover to structural-compression. source-declared source record
Skipping one Potts update uses method Adversarial scientific controls The method registry assigns potts-censoring-counterexample to adversarial-controls. source-declared source record
Skipping one Potts update uses method Agent-readable research objects The method registry assigns potts-censoring-counterexample to agent-readable-research-object. source-declared source record
Skipping one Potts update uses method Assurance as a vector The method registry assigns potts-censoring-counterexample to assurance-vector. source-declared source record
Skipping one Potts update uses method Certificate-first, proof-carrying research The method registry assigns potts-censoring-counterexample to certificate-first. source-declared source record
Skipping one Potts update uses method Counterexample- and proxy-first analysis The method registry assigns potts-censoring-counterexample to counterexample-proxy-first. source-declared source record
Skipping one Potts update uses method Structural compression The method registry assigns potts-censoring-counterexample to structural-compression. source-declared source record
Pure-tensor analytic-rank obstruction uses method Adversarial scientific controls The method registry assigns pure-tensor-analytic-rank-counterexample to adversarial-controls. source-declared source record
Pure-tensor analytic-rank obstruction uses method Agent-readable research objects The method registry assigns pure-tensor-analytic-rank-counterexample to agent-readable-research-object. source-declared source record
Pure-tensor analytic-rank obstruction uses method Assurance as a vector The method registry assigns pure-tensor-analytic-rank-counterexample to assurance-vector. source-declared source record
Pure-tensor analytic-rank obstruction uses method Certificate-first, proof-carrying research The method registry assigns pure-tensor-analytic-rank-counterexample to certificate-first. source-declared source record
Pure-tensor analytic-rank obstruction uses method Counterexample- and proxy-first analysis The method registry assigns pure-tensor-analytic-rank-counterexample to counterexample-proxy-first. source-declared source record
Pure-tensor analytic-rank obstruction uses method Structural compression The method registry assigns pure-tensor-analytic-rank-counterexample to structural-compression. source-declared source record
Random reshuffling as a baseline policy uses method Agent-readable research objects The method registry assigns random-reshuffling-baseline-policy to agent-readable-research-object. source-declared source record
Random reshuffling as a baseline policy uses method Assurance as a vector The method registry assigns random-reshuffling-baseline-policy to assurance-vector. source-declared source record
Random reshuffling as a baseline policy uses method Certificate-first, proof-carrying research The method registry assigns random-reshuffling-baseline-policy to certificate-first. source-declared source record
Random reshuffling as a baseline policy uses method Certified decision margins The method registry assigns random-reshuffling-baseline-policy to certified-decision-margin. source-declared source record
Random reshuffling as a baseline policy uses method Counterexample- and proxy-first analysis The method registry assigns random-reshuffling-baseline-policy to counterexample-proxy-first. source-declared source record
Random reshuffling as a baseline policy uses method Productive failure and stop receipts The method registry assigns random-reshuffling-baseline-policy to productive-failure. source-declared source record
Random reshuffling as a baseline policy uses method Staged adoption and impact evaluation The method registry assigns random-reshuffling-baseline-policy to staged-adoption-evaluation. source-declared source record
An exact three-bit KL radius uses method Adversarial scientific controls The method registry assigns rbm31-exact-kl-radius to adversarial-controls. source-declared source record
An exact three-bit KL radius uses method Agent-readable research objects The method registry assigns rbm31-exact-kl-radius to agent-readable-research-object. source-declared source record
An exact three-bit KL radius uses method Assurance as a vector The method registry assigns rbm31-exact-kl-radius to assurance-vector. source-declared source record
An exact three-bit KL radius uses method Certificate-first, proof-carrying research The method registry assigns rbm31-exact-kl-radius to certificate-first. source-declared source record
An exact three-bit KL radius uses method Structural compression The method registry assigns rbm31-exact-kl-radius to structural-compression. source-declared source record
Eight states an RBM cannot fit uses method Adversarial scientific controls The method registry assigns rbm43-eight-point-obstruction to adversarial-controls. source-declared source record
Eight states an RBM cannot fit uses method Agent-readable research objects The method registry assigns rbm43-eight-point-obstruction to agent-readable-research-object. source-declared source record
Eight states an RBM cannot fit uses method Assurance as a vector The method registry assigns rbm43-eight-point-obstruction to assurance-vector. source-declared source record
Eight states an RBM cannot fit uses method Certificate-first, proof-carrying research The method registry assigns rbm43-eight-point-obstruction to certificate-first. source-declared source record
Eight states an RBM cannot fit uses method Counterexample- and proxy-first analysis The method registry assigns rbm43-eight-point-obstruction to counterexample-proxy-first. source-declared source record
Eight states an RBM cannot fit uses method Structural compression The method registry assigns rbm43-eight-point-obstruction to structural-compression. source-declared source record
Reducible incidence divisors uses method Counterexample- and proxy-first analysis The method registry assigns reducible-incidence-divisors to counterexample-proxy-first. source-declared source record
Reducible incidence divisors uses method Lineage-aware reuse practice The method registry assigns reducible-incidence-divisors to research-lineage-reuse. source-declared source record
Reducible incidence divisors uses method Structural compression The method registry assigns reducible-incidence-divisors to structural-compression. source-declared source record
Extensions around a claimed complex S6 uses method Adversarial scientific controls The method registry assigns s6-extension-results-candidate to adversarial-controls. source-declared source record
Extensions around a claimed complex S6 uses method Agent-readable research objects The method registry assigns s6-extension-results-candidate to agent-readable-research-object. source-declared source record
Extensions around a claimed complex S6 uses method Assurance as a vector The method registry assigns s6-extension-results-candidate to assurance-vector. source-declared source record
Extensions around a claimed complex S6 uses method Certificate-first, proof-carrying research The method registry assigns s6-extension-results-candidate to certificate-first. source-declared source record
Extensions around a claimed complex S6 uses method Structural compression The method registry assigns s6-extension-results-candidate to structural-compression. source-declared source record
What a finite expected spectrum can identify uses method Adversarial scientific controls The method registry assigns sfs-identifiability-audit to adversarial-controls. source-declared source record
What a finite expected spectrum can identify uses method Agent-readable research objects The method registry assigns sfs-identifiability-audit to agent-readable-research-object. source-declared source record
What a finite expected spectrum can identify uses method Assurance as a vector The method registry assigns sfs-identifiability-audit to assurance-vector. source-declared source record
What a finite expected spectrum can identify uses method Certificate-first, proof-carrying research The method registry assigns sfs-identifiability-audit to certificate-first. source-declared source record
What a finite expected spectrum can identify uses method Identification before estimation The method registry assigns sfs-identifiability-audit to identification-gate. source-declared source record
What a finite expected spectrum can identify uses method Partial identification and robust decisions The method registry assigns sfs-identifiability-audit to partial-identification. source-declared source record
Four-factor Schubert deformation obstruction uses method Adversarial scientific controls The method registry assigns sharp-four-factor-cohen-macaulay-obstruction to adversarial-controls. source-declared source record
Four-factor Schubert deformation obstruction uses method Agent-readable research objects The method registry assigns sharp-four-factor-cohen-macaulay-obstruction to agent-readable-research-object. source-declared source record
Four-factor Schubert deformation obstruction uses method Assurance as a vector The method registry assigns sharp-four-factor-cohen-macaulay-obstruction to assurance-vector. source-declared source record
Four-factor Schubert deformation obstruction uses method Certificate-first, proof-carrying research The method registry assigns sharp-four-factor-cohen-macaulay-obstruction to certificate-first. source-declared source record
Four-factor Schubert deformation obstruction uses method Structural compression The method registry assigns sharp-four-factor-cohen-macaulay-obstruction to structural-compression. source-declared source record
Sharp Hadamard powers of quartics uses method Adversarial scientific controls The method registry assigns sharp-quartic-hadamard-powers to adversarial-controls. source-declared source record
Sharp Hadamard powers of quartics uses method Agent-readable research objects The method registry assigns sharp-quartic-hadamard-powers to agent-readable-research-object. source-declared source record
Sharp Hadamard powers of quartics uses method Assurance as a vector The method registry assigns sharp-quartic-hadamard-powers to assurance-vector. source-declared source record
Sharp Hadamard powers of quartics uses method Exact regime stitching The method registry assigns sharp-quartic-hadamard-powers to regime-stitching. source-declared source record
Sharp Hadamard powers of quartics uses method Structural compression The method registry assigns sharp-quartic-hadamard-powers to structural-compression. source-declared source record
Smooth-point certificates for Polydegree containments uses method Adversarial scientific controls The method registry assigns smooth-point-certificates-polydegree-containments to adversarial-controls. source-declared source record
Smooth-point certificates for Polydegree containments uses method Certificate-first, proof-carrying research The method registry assigns smooth-point-certificates-polydegree-containments to certificate-first. source-declared source record
Smooth-point certificates for Polydegree containments uses method Productive failure and stop receipts The method registry assigns smooth-point-certificates-polydegree-containments to productive-failure. source-declared source record
Smooth-point certificates for Polydegree containments uses method Exact regime stitching The method registry assigns smooth-point-certificates-polydegree-containments to regime-stitching. source-declared source record
Smooth-point certificates for Polydegree containments uses method Lineage-aware reuse practice The method registry assigns smooth-point-certificates-polydegree-containments to research-lineage-reuse. source-declared source record
Smooth-point certificates for Polydegree containments uses method Structural compression The method registry assigns smooth-point-certificates-polydegree-containments to structural-compression. source-declared source record
Stocks are not flows uses method Agent-readable research objects The method registry assigns stocks-are-not-flows to agent-readable-research-object. source-declared source record
Stocks are not flows uses method Assurance as a vector The method registry assigns stocks-are-not-flows to assurance-vector. source-declared source record
Stocks are not flows uses method Identification before estimation The method registry assigns stocks-are-not-flows to identification-gate. source-declared source record
Stocks are not flows uses method Partial identification and robust decisions The method registry assigns stocks-are-not-flows to partial-identification. source-declared source record
Stocks are not flows uses method Productive failure and stop receipts The method registry assigns stocks-are-not-flows to productive-failure. source-declared source record
TxGraffiti Conjecture 15/3 resolution uses method Adversarial scientific controls The method registry assigns txgraffiti-c3-resolution to adversarial-controls. source-declared source record
TxGraffiti Conjecture 15/3 resolution uses method Certificate-first, proof-carrying research The method registry assigns txgraffiti-c3-resolution to certificate-first. source-declared source record
TxGraffiti Conjecture 15/3 resolution uses method Counterexample- and proxy-first analysis The method registry assigns txgraffiti-c3-resolution to counterexample-proxy-first. source-declared source record
TxGraffiti Conjecture 15/3 resolution uses method Lineage-aware reuse practice The method registry assigns txgraffiti-c3-resolution to research-lineage-reuse. source-declared source record
A 48-vertex cubic counterexample uses method Adversarial scientific controls The method registry assigns txgraffiti-order48-successor to adversarial-controls. source-declared source record
A 48-vertex cubic counterexample uses method Agent-readable research objects The method registry assigns txgraffiti-order48-successor to agent-readable-research-object. source-declared source record
A 48-vertex cubic counterexample uses method Assurance as a vector The method registry assigns txgraffiti-order48-successor to assurance-vector. source-declared source record
A 48-vertex cubic counterexample uses method Certificate-first, proof-carrying research The method registry assigns txgraffiti-order48-successor to certificate-first. source-declared source record
A 48-vertex cubic counterexample uses method Counterexample- and proxy-first analysis The method registry assigns txgraffiti-order48-successor to counterexample-proxy-first. source-declared source record
A 48-vertex cubic counterexample uses method Lineage-aware reuse practice The method registry assigns txgraffiti-order48-successor to research-lineage-reuse. source-declared source record
Unbounded BNS component orbits uses method Adversarial scientific controls The method registry assigns unbounded-bns-component-orbits to adversarial-controls. source-declared source record
Unbounded BNS component orbits uses method Agent-readable research objects The method registry assigns unbounded-bns-component-orbits to agent-readable-research-object. source-declared source record
Unbounded BNS component orbits uses method Assurance as a vector The method registry assigns unbounded-bns-component-orbits to assurance-vector. source-declared source record
Unbounded BNS component orbits uses method Certificate-first, proof-carrying research The method registry assigns unbounded-bns-component-orbits to certificate-first. source-declared source record
Unbounded BNS component orbits uses method Structural compression The method registry assigns unbounded-bns-component-orbits to structural-compression. source-declared source record
When a unique answer is not an identified answer uses method Agent-readable research objects The method registry assigns unique-answer-not-identified to agent-readable-research-object. source-declared source record
When a unique answer is not an identified answer uses method Assurance as a vector The method registry assigns unique-answer-not-identified to assurance-vector. source-declared source record
When a unique answer is not an identified answer uses method Identification before estimation The method registry assigns unique-answer-not-identified to identification-gate. source-declared source record
When a unique answer is not an identified answer uses method Partial identification and robust decisions The method registry assigns unique-answer-not-identified to partial-identification. source-declared source record
VR2(K4) = 20 uses method Assurance as a vector The method registry assigns vr2-k4-equals-20 to assurance-vector. source-declared source record
VR2(K4) = 20 uses method Certificate-first, proof-carrying research The method registry assigns vr2-k4-equals-20 to certificate-first. source-declared source record
VR2(K4) = 20 uses method Lineage-aware reuse practice The method registry assigns vr2-k4-equals-20 to research-lineage-reuse. source-declared source record
Wales 20 mph casualty attribution uses method Adversarial scientific controls The method registry assigns wales-20mph-casualty-attribution to adversarial-controls. source-declared source record
Wales 20 mph casualty attribution uses method Agent-readable research objects The method registry assigns wales-20mph-casualty-attribution to agent-readable-research-object. source-declared source record
Wales 20 mph casualty attribution uses method Assurance as a vector The method registry assigns wales-20mph-casualty-attribution to assurance-vector. source-declared source record
Wales 20 mph casualty attribution uses method Counterexample- and proxy-first analysis The method registry assigns wales-20mph-casualty-attribution to counterexample-proxy-first. source-declared source record
Wales 20 mph casualty attribution uses method Identification before estimation The method registry assigns wales-20mph-casualty-attribution to identification-gate. source-declared source record
Wales 20 mph casualty attribution uses method Productive failure and stop receipts The method registry assigns wales-20mph-casualty-attribution to productive-failure. source-declared source record
z(20) = 6 (Erdős problem 758) uses method Adversarial scientific controls The method registry assigns z20-equals-6 to adversarial-controls. source-declared source record
z(20) = 6 (Erdős problem 758) uses method Agent-readable research objects The method registry assigns z20-equals-6 to agent-readable-research-object. source-declared source record
z(20) = 6 (Erdős problem 758) uses method Assurance as a vector The method registry assigns z20-equals-6 to assurance-vector. source-declared source record
z(20) = 6 (Erdős problem 758) uses method Certificate-first, proof-carrying research The method registry assigns z20-equals-6 to certificate-first. source-declared source record
z(20) = 6 (Erdős problem 758) uses method Lineage-aware reuse practice The method registry assigns z20-equals-6 to research-lineage-reuse. source-declared source record
Quarantined research proposal register (4)

These are suggestions, not accepted relationships or endorsed research priorities. Each record keeps novelty, importance and tractability separate; an accepted investigation still requires a review receipt and does not enter the accepted graph.

ProposalKindStateAtlas anchorsCheapest falsifierNovelty
Architecture-relative uniqueness in the binary-form programme after the July 2026 counterexample families evidence gap merged Reducible incidence divisors · Exotic affine three-spheres · Degree-difference principle and affine slices · Binary-form factorisation programme · Binary-form Jacobian, determinant and obstruction toolkit Express Gao's explicit three-dimensional degree-four map and one Gallagher seed-family instance in the published degree-difference affine-slice coordinates. If neither lies in the classified positive-bidegree slice architecture, close the tension and consider only a scope-and-citation clarification. unassessed
Bounded antecedent audit partially discharging the decision-sufficiency proposal's stop test negative tip merged Identification before estimation · Partial identification and robust decisions · Certified decision margins · Aggregation without sufficiency Read Li, Walsh and Littman (2006), Ruggeri and Sivaganesan (2000), and Sotskov, Tanaev and Werner (1998) at the cited definitions and sections. If the four licence questions map to the state-abstraction hierarchy and the proposed margin maps to the established stability radius, close the general-framework route and retain only any independently supported junction claim. unassessed
Decision sufficiency on observation fibres research programme deferred Identification before estimation · Partial identification and robust decisions · Certified decision margins Run a primary-source antecedent and vocabulary audit. Stop or sharply narrow the programme if an existing framework already supplies equivalent definitions, decision criteria and margin certificates. unassessed
Is the Recht-Re metric reversal a target-sufficiency failure? research question awaiting review Exact Recht–Ré inequalities and sampling dynamics · Aggregation without sufficiency · Random reshuffling as a baseline policy · Sampling and optimisation diagnostics · Aggregation licences and target sufficiency · Counterexample- and proxy-first analysis Instantiate the licence on the release's published five-factor exact counterexample for each of the three target metrics. Close the line if the admissible fibres are singletons or the criterion returns the same failure verdict for every target and instance, because it would then have no discriminating content here. unassessed

How to read the atlas

The atlas is a map of recorded relationships, not a ranking of papers and not a verdict on their claims. Release nodes have equal visual weight. The position of a node is a stable layout choice, not evidence of importance, influence, correctness or priority.

Three relationship states remain separate:

  • Source-declared — an Evidence Press source record explicitly declares the classification, citation or dependency. The canonical machine value remains asserted for compatibility and provenance.
  • Computed — a deterministic rule has detected a structural pattern from declared inputs. Computed links are not scholarly assertions.
  • Proposed — a person or agent has nominated a relationship for review. Proposed links are excluded from the accepted graph.

The accepted graph contains source-declared relationships only. A separate quarantined proposal layer can now display human or agent research suggestions and their navigation anchors without adding them to the accepted graph. It does not generate similarity links or hidden-dependency claims.

What the map distinguishes

A shared method, a broad cluster and a research lineage are different objects:

  • A method edge says that a release illustrates a registered reusable method.
  • A cluster edge records broad operational or thematic adjacency. It does not establish dependency or common provenance.
  • A lineage edge records an evidence-backed research programme. Reuse within a lineage is correlated evidence, not independent confirmation.
  • A parent edge records an inherited result or method and carries the parent's stated assurance ceiling.
  • An internal citation edge records that one release names another as related work; it does not by itself establish agreement, priority or dependence.

The registry is explicitly a working taxonomy. The initial Direct links view contains only release-to-release citations, extensions and reuse. The Research structure view adds registry-derived cluster and lineage membership, while the Methods view shows method assignments. Method inspectors report their release prevalence, and singleton clusters are labelled cluster seeds so an empty neighbourhood is not mistaken for evidence of isolation. A non-root release enters an evidence-backed lineage only when its metadata declares both the reciprocal lineage identifier and an evidential parent link. A parent link alone is not lineage membership.

The current composition is 10 direct inter-release links, 14 lineage memberships, 35 cluster memberships and 172 method assignments. These counts explain the graph's density; they do not measure importance or scientific support.

Select any node or connection in the interactive map to inspect its basis, inference limit and exact source record.

An accessible and agent-readable instrument

The synchronized relationship register below the map contains the same accepted edges in a conventional table. It remains usable without JavaScript and is the nonvisual alternative to the SVG map.

Agents should retrieve research-graph.json and validate it against research-graph.schema.json. Research tips are separately available as atlas-proposals.json and validate against the proposal-register schema. The accepted graph API publishes stable node identifiers, content-derived edge identifiers, statement fingerprints, relationship status, source pointers and inference limits.

The missingness panel is also source-derived. No edge means that no relationship is currently accepted in the registry; it does not establish that no relationship exists. Areas never searched are not enumerated until a documented discovery run supplies a defensible search boundary.

The current priorities, readiness gates and periodic review checklist are published in the Atlas roadmap, validated against its roadmap schema. The human-readable design record remains in the public repository.

The discovery layer

People and agents can now nominate research questions, candidate connections, replication opportunities, evidence gaps, method improvements, counterexample searches and negative tips. Each canonical proposal records its exact question, provenance, Atlas anchors, source references, cheapest useful falsifier, expected information gain, resource class, risk flags, expiry and separate novelty, importance and tractability assessments.

The proposal register is append-only. A content-derived proposal identity binds its immutable intake; review receipts bind their predecessor and record each state transition. Awaiting, accepted-for-investigation, deferred, rejected, merged, superseded, completed, withdrawn and expired records remain machine-readable. Acceptance for investigation is not acceptance into the research graph.

The structured GitHub research-tip form is an intake route, not a trust boundary. It requires a GitHub account and sign-in, but not the maintainer's account. Agents without GitHub can instead email the Evidence Press Research Agent using the same headings as the form. Neither route can write to the register or accepted graph: issue and email content remain untrusted until manually normalized into the canonical schema and checked against deterministic source, anchor, identity and lifecycle rules.

The next research stage can compare release statements, dependencies, citations and methods to nominate previously unrecorded connections. Those candidates should enter the proposal register, with an explanation and supporting sources, rather than appear as facts.

Useful candidate types may include a shared lemma under different notation, an unacknowledged antecedent, a common unresolved assumption, a reusable verifier, or two negative results that block the same strategy. A candidate becomes asserted only after additive review against resolvable evidence. Rejected and superseded proposals should remain available as negative knowledge.

Fail-closed proposal intake and review receipts are now operational. Relationship-discovery experiments remain separate future work and may emit only quarantined proposals.

Safe reuse

Start from the selected release page and its archived evidence package. Carry the release's status and assurance boundaries into downstream work. A graph edge can lower discovery cost; it cannot substitute for reading the connected claims, checking their semantic bridge or reproducing their evidence.