Research instrument · source-driven · no inferred links
Evidence Atlas
See how the catalogue fits together—and inspect the exact record behind every connection.
428 recorded relationships: 36 direct · 15 lineage · 61 cluster · 316 method
Interactive research relationship instrument
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.
| Source | Relationship | Target | Recorded basis | Status | Provenance |
|---|---|---|---|---|---|
| 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.
| Proposal | Kind | State | Atlas anchors | Cheapest falsifier | Novelty |
|---|---|---|---|---|---|
| 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
assertedfor 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.