Research instrument · source-driven · no inferred links
Evidence Atlas
See how the catalogue fits together—and inspect the exact record behind every connection.
631 recorded relationships: 44 direct · 15 lineage · 95 cluster · 477 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.
- 58
- releases with no direct link
- 0
- methods represented by one release
- 75
- singleton cluster seeds
- 0
- lineage roots with no successor
- 1
- research proposals awaiting review
Accepted relationship register (631)
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 |
| A shuffle profile fails the subset test | cites related release | Biased shuffles still cut off | Evidence Press (2026), Biased shuffles still cut off: related bounded-product cutoff candidate. | 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 |
| Matrix invariants: nine new Hilbert series | cites related release | Invariants of plane curves of degree 7, 8 and 9 | Subsequent unrefereed candidate (26 September 2026): unconditional septic identity, octic and nonic series, and attribution corrections. This does not independently validate the original archive. | source-declared | source record |
| Invariants of plane curves of degree 7, 8 and 9 | cites related release | Matrix invariants: nine new Hilbert series | Evidence Press (2026), earlier release: matrix-invariant Hilbert series and a candidate septic series (version 0.1.0-candidate). | 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 |
| How sharply does a metric leave equality? | cites related release | Ptolemaic metrics: the sharp exponent | Anonymous, Sharp negative type of finite Ptolemaic metrics: companion global threshold candidate. The present direct local calculation does not depend on its universal proof; global completeness/collision interpretations retain its premises. | source-declared | source record |
| Roots that never meet | cites related release | LPS structural reductions | Anonymous (2026), Complementary-minor duality and fixed-width reductions for the Polydegree Ideal Conjecture. Credited differential identities. | source-declared | source record |
| Roots that never meet | cites related release | Smooth-point certificates for Polydegree containments | Anonymous (2026), Smooth-point certificates for Polydegree containments. Motivating affine conjecture. | 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 |
| Two counts describe the remaining shuffle | cites related release | A shuffle profile fails the subset test | Anonymous, Untouched subsets and a counterexample to the biased-transposition limit-profile conjecture, Evidence Press (2026): antecedent lower-bound obstruction. | 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 |
| Roots that never meet | extends result | Smooth-point certificates for Polydegree containments | Boundary family and motivating affine conjecture; earlier structural interpretation. | 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 |
| One affine factor, every minor | shares broad cluster | Affine Toeplitz and graded Gram coefficient positivity | The method registry lists affine-elementary-symmetric-total-nonnegativity as a member of Affine Toeplitz and graded Gram coefficient positivity. | 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 |
| When drift speeds up a small world | shares broad cluster | Small-world random spacing, physical clocks and parity | The method registry lists biased-small-world-mixing as a member of Small-world random spacing, physical clocks and parity. | source-declared | source record |
| A shuffle profile fails the subset test | shares broad cluster | Observable subset events and profile obstructions | The method registry lists biased-transposition-profile-counterexample as a member of Observable subset events and profile obstructions. | 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 |
| Biased shuffles still cut off | shares broad cluster | All-time reference-gradient comparison for product-weight transpositions | The method registry lists bounded-product-transposition-cutoff as a member of All-time reference-gradient comparison for product-weight transpositions. | source-declared | source record |
| Seven terms are not enough | shares broad cluster | Degree-twenty sparsity and ramified root-cluster obstructions | The method registry lists casas-alvero-eight-term as a member of Degree-twenty sparsity and ramified root-cluster obstructions. | source-declared | source record |
| Where to put the sensors | shares broad cluster | Placement classification in physical compartment chains | The method registry lists catenary-placement-classification as a member of Placement classification in physical compartment chains. | 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 |
| A random-walk probability falls, then rises | shares broad cluster | Parity-sensitive temporal-unimodality counterexample certificates | The method registry lists cooper-spencer-temporal-unimodality as a member of Parity-sensitive temporal-unimodality counterexample certificates. | 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 |
| The Davies–Levitin lens, for every n | shares broad cluster | The Davies–Levitin lens, for every n | The method registry lists davies-levitin-lens-conjecture as a member of The Davies–Levitin lens, for every n. | source-declared | source record |
| Which histories can the data certify? | shares broad cluster | Triangle-network information geometry and boundary certification | The method registry lists decision-geometry as a member of Triangle-network information geometry and boundary certification. | 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 |
| A small trace matrix for the Hurwitz form | shares broad cluster | Essential Hurwitz trace formula and global cancellation | The method registry lists essential-hurwitz-trace-formula as a member of Essential Hurwitz trace formula and global cancellation. | 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 |
| Seven points. Nineteen roots. | shares broad cluster | Fano tensor resultant and eigenscheme certificates | The method registry lists fano-plane-spectrum as a member of Fano tensor resultant and eigenscheme certificates. | 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 |
| When interacting spins have a free spectrum | shares broad cluster | Frustration graphs, free spectra and occupation certificates | The method registry lists free-fermion-frustration-graphs as a member of Frustration graphs, free spectra and occupation certificates. | 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 |
| One connected region for biochemical multistationarity | shares broad cluster | Overlapping incidence images and degenerate attachment | The method registry lists gk-shared-phosphatase-connectedness as a member of Overlapping incidence images and degenerate attachment. | 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 |
| Matrix invariants: nine new Hilbert series | shares broad cluster | Matrix invariants: nine new Hilbert series | The method registry lists hilbert-series-matrix-septic-invariants as a member of Matrix invariants: nine new Hilbert series. | source-declared | source record |
| Invariants of plane curves of degree 7, 8 and 9 | shares broad cluster | Invariants of plane curves of degree 7, 8 and 9 | The method registry lists hilbert-series-ternary-septic-octic-nonic as a member of Invariants of plane curves of degree 7, 8 and 9. | 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 |
| When a better graph center is far away | shares broad cluster | Integer separation and strict graph improvement | The method registry lists median-radius-obstructions as a member of Integer separation and strict graph improvement. | source-declared | source record |
| Moment equations have no uniform degree bound | shares broad cluster | Full-moment graph faces and persistent algebraic obstructions | The method registry lists moment-ideals-unbounded-generator-degrees as a member of Full-moment graph faces and persistent algebraic obstructions. | 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 |
| Ptolemaic metrics: the sharp exponent | shares broad cluster | Sharp negative type of finite Ptolemaic metrics | The method registry lists ptolemaic-negative-type as a member of Sharp negative type of finite Ptolemaic metrics. | source-declared | source record |
| How sharply does a metric leave equality? | shares broad cluster | Ptolemaic tangent-cone stability | The method registry lists ptolemaic-split-stability as a member of Ptolemaic tangent-cone stability. | 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 |
| Roots that never meet | shares broad cluster | Quartic inverse-coefficient boundary interlacing | The method registry lists quartic-inverse-coefficients as a member of Quartic inverse-coefficient boundary interlacing. | 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 |
| Eighteen vertices, and a DeVos counterexample | shares broad cluster | Dense-case structure and certified order bounds for the second neighbourhood conjecture | The method registry lists seymour-second-neighbourhood-2delta3 as a member of Dense-case structure and certified order bounds for the second neighbourhood conjecture. | 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 |
| When two forms give a smooth space | shares broad cluster | Bi-Lagrangian smoothness through a reduced chart and fixed locus | The method registry lists sharp-bilagrangian-smoothness as a member of Bi-Lagrangian smoothness through a reduced chart and fixed locus. | 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 |
| A sharp threshold for positive minors | shares broad cluster | Local minor-ratio sharpness through simultaneous transfer | The method registry lists sharp-local-minor-ratios as a member of Local minor-ratio sharpness through simultaneous transfer. | 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 |
| Beyond the cross-polytope | shares broad cluster | Universal zonoid bounds from rational signed-sum certificates | The method registry lists six-dimensional-zonoid-counterexample as a member of Universal zonoid bounds from rational signed-sum certificates. | 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 |
| A shape constraint breaks near the Gaussian | shares broad cluster | Stable density curvature and uniform Gaussian-tail matching | The method registry lists stable-power-concavity-gaussian-boundary as a member of Stable density curvature and uniform Gaussian-tail matching. | 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 |
| Orthogonal algebraicity stops at three | shares broad cluster | Orthogonal character asymptotics and algebraicity | The method registry lists symmetric-determinantal-hilbert-threshold as a member of Orthogonal character asymptotics and algebraicity. | source-declared | source record |
| One peak under free addition | shares broad cluster | Symmetric free-additive unimodality through moment endpoints | The method registry lists symmetric-unimodality-free-convolution as a member of Symmetric free-additive unimodality through moment endpoints. | source-declared | source record |
| When tree symmetry admits a torsor | shares broad cluster | Equivariant torsors through restriction kernels and graph symmetries | The method registry lists symmetry-respecting-tree-torsors as a member of Equivariant torsors through restriction kernels and graph symmetries. | source-declared | source record |
| One model, five steady states | shares broad cluster | Scalar equilibrium reduction and exact sign counts | The method registry lists tcell-exactly-five as a member of Scalar equilibrium reduction and exact sign counts. | source-declared | source record |
| Partial progress on three-coloured paths | shares broad cluster | Three-coloured path partial theorems and repair obstructions | The method registry lists three-coloured-paths-partial-results as a member of Three-coloured path partial theorems and repair obstructions. | source-declared | source record |
| The Picard group of a graph product | shares broad cluster | Graph-product Picard integral compatibility | The method registry lists triangulated-graph-product-picard as a member of Graph-product Picard integral compatibility. | source-declared | source record |
| Two counts describe the remaining shuffle | shares broad cluster | Two-class moment and full-norm saturation | The method registry lists two-class-transposition-profiles as a member of Two-class moment and full-norm saturation. | 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 |
| Lost links, finite choices | shares broad cluster | Gamma shape allocation and finite-cumulant identification | The method registry lists unlinked-gamma-regression as a member of Gamma shape allocation and finite-cumulant identification. | 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 |
| Where noise can reach | shares broad cluster | Reachable-noise and singular-scale Wishart classification | The method registry lists wishart-reachable-noise as a member of Reachable-noise and singular-scale Wishart classification. | 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 |
| One affine factor, every minor | uses method | Adversarial scientific controls | The method registry assigns affine-elementary-symmetric-total-nonnegativity to adversarial-controls. | source-declared | source record |
| One affine factor, every minor | uses method | Agent-readable research objects | The method registry assigns affine-elementary-symmetric-total-nonnegativity to agent-readable-research-object. | source-declared | source record |
| One affine factor, every minor | uses method | Assurance as a vector | The method registry assigns affine-elementary-symmetric-total-nonnegativity to assurance-vector. | source-declared | source record |
| One affine factor, every minor | uses method | Structural compression | The method registry assigns affine-elementary-symmetric-total-nonnegativity 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 |
| When drift speeds up a small world | uses method | Adversarial scientific controls | The method registry assigns biased-small-world-mixing to adversarial-controls. | source-declared | source record |
| When drift speeds up a small world | uses method | Agent-readable research objects | The method registry assigns biased-small-world-mixing to agent-readable-research-object. | source-declared | source record |
| When drift speeds up a small world | uses method | Assurance as a vector | The method registry assigns biased-small-world-mixing to assurance-vector. | source-declared | source record |
| When drift speeds up a small world | uses method | Exact regime stitching | The method registry assigns biased-small-world-mixing to regime-stitching. | source-declared | source record |
| When drift speeds up a small world | uses method | Structural compression | The method registry assigns biased-small-world-mixing to structural-compression. | source-declared | source record |
| A shuffle profile fails the subset test | uses method | Adversarial scientific controls | The method registry assigns biased-transposition-profile-counterexample to adversarial-controls. | source-declared | source record |
| A shuffle profile fails the subset test | uses method | Agent-readable research objects | The method registry assigns biased-transposition-profile-counterexample to agent-readable-research-object. | source-declared | source record |
| A shuffle profile fails the subset test | uses method | Assurance as a vector | The method registry assigns biased-transposition-profile-counterexample to assurance-vector. | source-declared | source record |
| A shuffle profile fails the subset test | uses method | Lineage-aware reuse practice | The method registry assigns biased-transposition-profile-counterexample to research-lineage-reuse. | source-declared | source record |
| A shuffle profile fails the subset test | uses method | Structural compression | The method registry assigns biased-transposition-profile-counterexample 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 |
| Biased shuffles still cut off | uses method | Adversarial scientific controls | The method registry assigns bounded-product-transposition-cutoff to adversarial-controls. | source-declared | source record |
| Biased shuffles still cut off | uses method | Agent-readable research objects | The method registry assigns bounded-product-transposition-cutoff to agent-readable-research-object. | source-declared | source record |
| Biased shuffles still cut off | uses method | Assurance as a vector | The method registry assigns bounded-product-transposition-cutoff to assurance-vector. | source-declared | source record |
| Biased shuffles still cut off | uses method | Lineage-aware reuse practice | The method registry assigns bounded-product-transposition-cutoff to research-lineage-reuse. | source-declared | source record |
| Biased shuffles still cut off | uses method | Structural compression | The method registry assigns bounded-product-transposition-cutoff to structural-compression. | source-declared | source record |
| Seven terms are not enough | uses method | Adversarial scientific controls | The method registry assigns casas-alvero-eight-term to adversarial-controls. | source-declared | source record |
| Seven terms are not enough | uses method | Agent-readable research objects | The method registry assigns casas-alvero-eight-term to agent-readable-research-object. | source-declared | source record |
| Seven terms are not enough | uses method | Assurance as a vector | The method registry assigns casas-alvero-eight-term to assurance-vector. | source-declared | source record |
| Seven terms are not enough | uses method | Structural compression | The method registry assigns casas-alvero-eight-term to structural-compression. | source-declared | source record |
| Where to put the sensors | uses method | Adversarial scientific controls | The method registry assigns catenary-placement-classification to adversarial-controls. | source-declared | source record |
| Where to put the sensors | uses method | Agent-readable research objects | The method registry assigns catenary-placement-classification to agent-readable-research-object. | source-declared | source record |
| Where to put the sensors | uses method | Assurance as a vector | The method registry assigns catenary-placement-classification to assurance-vector. | source-declared | source record |
| Where to put the sensors | uses method | Structural compression | The method registry assigns catenary-placement-classification 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 |
| A random-walk probability falls, then rises | uses method | Adversarial scientific controls | The method registry assigns cooper-spencer-temporal-unimodality to adversarial-controls. | source-declared | source record |
| A random-walk probability falls, then rises | uses method | Agent-readable research objects | The method registry assigns cooper-spencer-temporal-unimodality to agent-readable-research-object. | source-declared | source record |
| A random-walk probability falls, then rises | uses method | Assurance as a vector | The method registry assigns cooper-spencer-temporal-unimodality to assurance-vector. | source-declared | source record |
| A random-walk probability falls, then rises | uses method | Certificate-first, proof-carrying research | The method registry assigns cooper-spencer-temporal-unimodality to certificate-first. | source-declared | source record |
| A random-walk probability falls, then rises | uses method | Counterexample- and proxy-first analysis | The method registry assigns cooper-spencer-temporal-unimodality to counterexample-proxy-first. | 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 |
| The Davies–Levitin lens, for every n | uses method | Adversarial scientific controls | The method registry assigns davies-levitin-lens-conjecture to adversarial-controls. | source-declared | source record |
| The Davies–Levitin lens, for every n | uses method | Agent-readable research objects | The method registry assigns davies-levitin-lens-conjecture to agent-readable-research-object. | source-declared | source record |
| The Davies–Levitin lens, for every n | uses method | Assurance as a vector | The method registry assigns davies-levitin-lens-conjecture to assurance-vector. | source-declared | source record |
| The Davies–Levitin lens, for every n | uses method | Structural compression | The method registry assigns davies-levitin-lens-conjecture to structural-compression. | source-declared | source record |
| Which histories can the data certify? | uses method | Adversarial scientific controls | The method registry assigns decision-geometry to adversarial-controls. | source-declared | source record |
| Which histories can the data certify? | uses method | Agent-readable research objects | The method registry assigns decision-geometry to agent-readable-research-object. | source-declared | source record |
| Which histories can the data certify? | uses method | Assurance as a vector | The method registry assigns decision-geometry to assurance-vector. | source-declared | source record |
| Which histories can the data certify? | uses method | Certificate-first, proof-carrying research | The method registry assigns decision-geometry to certificate-first. | source-declared | source record |
| Which histories can the data certify? | uses method | Partial identification and robust decisions | The method registry assigns decision-geometry to partial-identification. | source-declared | source record |
| Which histories can the data certify? | uses method | Structural compression | The method registry assigns decision-geometry 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 |
| A small trace matrix for the Hurwitz form | uses method | Adversarial scientific controls | The method registry assigns essential-hurwitz-trace-formula to adversarial-controls. | source-declared | source record |
| A small trace matrix for the Hurwitz form | uses method | Agent-readable research objects | The method registry assigns essential-hurwitz-trace-formula to agent-readable-research-object. | source-declared | source record |
| A small trace matrix for the Hurwitz form | uses method | Assurance as a vector | The method registry assigns essential-hurwitz-trace-formula to assurance-vector. | source-declared | source record |
| A small trace matrix for the Hurwitz form | uses method | Certificate-first, proof-carrying research | The method registry assigns essential-hurwitz-trace-formula to certificate-first. | source-declared | source record |
| A small trace matrix for the Hurwitz form | uses method | Structural compression | The method registry assigns essential-hurwitz-trace-formula to structural-compression. | 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 |
| Seven points. Nineteen roots. | uses method | Adversarial scientific controls | The method registry assigns fano-plane-spectrum to adversarial-controls. | source-declared | source record |
| Seven points. Nineteen roots. | uses method | Agent-readable research objects | The method registry assigns fano-plane-spectrum to agent-readable-research-object. | source-declared | source record |
| Seven points. Nineteen roots. | uses method | Assurance as a vector | The method registry assigns fano-plane-spectrum to assurance-vector. | source-declared | source record |
| Seven points. Nineteen roots. | uses method | Certificate-first, proof-carrying research | The method registry assigns fano-plane-spectrum to certificate-first. | source-declared | source record |
| Seven points. Nineteen roots. | uses method | Structural compression | The method registry assigns fano-plane-spectrum 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 |
| When interacting spins have a free spectrum | uses method | Adversarial scientific controls | The method registry assigns free-fermion-frustration-graphs to adversarial-controls. | source-declared | source record |
| When interacting spins have a free spectrum | uses method | Agent-readable research objects | The method registry assigns free-fermion-frustration-graphs to agent-readable-research-object. | source-declared | source record |
| When interacting spins have a free spectrum | uses method | Assurance as a vector | The method registry assigns free-fermion-frustration-graphs to assurance-vector. | source-declared | source record |
| When interacting spins have a free spectrum | uses method | Certificate-first, proof-carrying research | The method registry assigns free-fermion-frustration-graphs to certificate-first. | source-declared | source record |
| When interacting spins have a free spectrum | uses method | Structural compression | The method registry assigns free-fermion-frustration-graphs 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 |
| One connected region for biochemical multistationarity | uses method | Adversarial scientific controls | The method registry assigns gk-shared-phosphatase-connectedness to adversarial-controls. | source-declared | source record |
| One connected region for biochemical multistationarity | uses method | Agent-readable research objects | The method registry assigns gk-shared-phosphatase-connectedness to agent-readable-research-object. | source-declared | source record |
| One connected region for biochemical multistationarity | uses method | Assurance as a vector | The method registry assigns gk-shared-phosphatase-connectedness to assurance-vector. | source-declared | source record |
| One connected region for biochemical multistationarity | uses method | Certificate-first, proof-carrying research | The method registry assigns gk-shared-phosphatase-connectedness to certificate-first. | 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 |
| Matrix invariants: nine new Hilbert series | uses method | Adversarial scientific controls | The method registry assigns hilbert-series-matrix-septic-invariants to adversarial-controls. | source-declared | source record |
| Matrix invariants: nine new Hilbert series | uses method | Agent-readable research objects | The method registry assigns hilbert-series-matrix-septic-invariants to agent-readable-research-object. | source-declared | source record |
| Matrix invariants: nine new Hilbert series | uses method | Assurance as a vector | The method registry assigns hilbert-series-matrix-septic-invariants to assurance-vector. | source-declared | source record |
| Matrix invariants: nine new Hilbert series | uses method | Structural compression | The method registry assigns hilbert-series-matrix-septic-invariants to structural-compression. | source-declared | source record |
| Invariants of plane curves of degree 7, 8 and 9 | uses method | Adversarial scientific controls | The method registry assigns hilbert-series-ternary-septic-octic-nonic to adversarial-controls. | source-declared | source record |
| Invariants of plane curves of degree 7, 8 and 9 | uses method | Agent-readable research objects | The method registry assigns hilbert-series-ternary-septic-octic-nonic to agent-readable-research-object. | source-declared | source record |
| Invariants of plane curves of degree 7, 8 and 9 | uses method | Assurance as a vector | The method registry assigns hilbert-series-ternary-septic-octic-nonic to assurance-vector. | source-declared | source record |
| Invariants of plane curves of degree 7, 8 and 9 | uses method | Structural compression | The method registry assigns hilbert-series-ternary-septic-octic-nonic 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 |
| When a better graph center is far away | uses method | Adversarial scientific controls | The method registry assigns median-radius-obstructions to adversarial-controls. | source-declared | source record |
| When a better graph center is far away | uses method | Agent-readable research objects | The method registry assigns median-radius-obstructions to agent-readable-research-object. | source-declared | source record |
| When a better graph center is far away | uses method | Assurance as a vector | The method registry assigns median-radius-obstructions to assurance-vector. | source-declared | source record |
| When a better graph center is far away | uses method | Certificate-first, proof-carrying research | The method registry assigns median-radius-obstructions to certificate-first. | source-declared | source record |
| Moment equations have no uniform degree bound | uses method | Adversarial scientific controls | The method registry assigns moment-ideals-unbounded-generator-degrees to adversarial-controls. | source-declared | source record |
| Moment equations have no uniform degree bound | uses method | Agent-readable research objects | The method registry assigns moment-ideals-unbounded-generator-degrees to agent-readable-research-object. | source-declared | source record |
| Moment equations have no uniform degree bound | uses method | Assurance as a vector | The method registry assigns moment-ideals-unbounded-generator-degrees to assurance-vector. | source-declared | source record |
| Moment equations have no uniform degree bound | uses method | Structural compression | The method registry assigns moment-ideals-unbounded-generator-degrees 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 |
| Ptolemaic metrics: the sharp exponent | uses method | Adversarial scientific controls | The method registry assigns ptolemaic-negative-type to adversarial-controls. | source-declared | source record |
| Ptolemaic metrics: the sharp exponent | uses method | Agent-readable research objects | The method registry assigns ptolemaic-negative-type to agent-readable-research-object. | source-declared | source record |
| Ptolemaic metrics: the sharp exponent | uses method | Assurance as a vector | The method registry assigns ptolemaic-negative-type to assurance-vector. | source-declared | source record |
| Ptolemaic metrics: the sharp exponent | uses method | Exact regime stitching | The method registry assigns ptolemaic-negative-type to regime-stitching. | source-declared | source record |
| Ptolemaic metrics: the sharp exponent | uses method | Structural compression | The method registry assigns ptolemaic-negative-type to structural-compression. | source-declared | source record |
| How sharply does a metric leave equality? | uses method | Adversarial scientific controls | The method registry assigns ptolemaic-split-stability to adversarial-controls. | source-declared | source record |
| How sharply does a metric leave equality? | uses method | Agent-readable research objects | The method registry assigns ptolemaic-split-stability to agent-readable-research-object. | source-declared | source record |
| How sharply does a metric leave equality? | uses method | Assurance as a vector | The method registry assigns ptolemaic-split-stability to assurance-vector. | source-declared | source record |
| How sharply does a metric leave equality? | uses method | Certificate-first, proof-carrying research | The method registry assigns ptolemaic-split-stability to certificate-first. | source-declared | source record |
| How sharply does a metric leave equality? | uses method | Exact regime stitching | The method registry assigns ptolemaic-split-stability to regime-stitching. | source-declared | source record |
| How sharply does a metric leave equality? | uses method | Structural compression | The method registry assigns ptolemaic-split-stability 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 |
| Roots that never meet | uses method | Adversarial scientific controls | The method registry assigns quartic-inverse-coefficients to adversarial-controls. | source-declared | source record |
| Roots that never meet | uses method | Agent-readable research objects | The method registry assigns quartic-inverse-coefficients to agent-readable-research-object. | source-declared | source record |
| Roots that never meet | uses method | Assurance as a vector | The method registry assigns quartic-inverse-coefficients to assurance-vector. | source-declared | source record |
| Roots that never meet | uses method | Exact regime stitching | The method registry assigns quartic-inverse-coefficients to regime-stitching. | source-declared | source record |
| Roots that never meet | uses method | Lineage-aware reuse practice | The method registry assigns quartic-inverse-coefficients to research-lineage-reuse. | source-declared | source record |
| Roots that never meet | uses method | Structural compression | The method registry assigns quartic-inverse-coefficients 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 |
| Eighteen vertices, and a DeVos counterexample | uses method | Adversarial scientific controls | The method registry assigns seymour-second-neighbourhood-2delta3 to adversarial-controls. | source-declared | source record |
| Eighteen vertices, and a DeVos counterexample | uses method | Agent-readable research objects | The method registry assigns seymour-second-neighbourhood-2delta3 to agent-readable-research-object. | source-declared | source record |
| Eighteen vertices, and a DeVos counterexample | uses method | Assurance as a vector | The method registry assigns seymour-second-neighbourhood-2delta3 to assurance-vector. | source-declared | source record |
| Eighteen vertices, and a DeVos counterexample | uses method | Structural compression | The method registry assigns seymour-second-neighbourhood-2delta3 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 |
| When two forms give a smooth space | uses method | Adversarial scientific controls | The method registry assigns sharp-bilagrangian-smoothness to adversarial-controls. | source-declared | source record |
| When two forms give a smooth space | uses method | Agent-readable research objects | The method registry assigns sharp-bilagrangian-smoothness to agent-readable-research-object. | source-declared | source record |
| When two forms give a smooth space | uses method | Assurance as a vector | The method registry assigns sharp-bilagrangian-smoothness to assurance-vector. | source-declared | source record |
| When two forms give a smooth space | uses method | Structural compression | The method registry assigns sharp-bilagrangian-smoothness to structural-compression. | 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 |
| A sharp threshold for positive minors | uses method | Adversarial scientific controls | The method registry assigns sharp-local-minor-ratios to adversarial-controls. | source-declared | source record |
| A sharp threshold for positive minors | uses method | Agent-readable research objects | The method registry assigns sharp-local-minor-ratios to agent-readable-research-object. | source-declared | source record |
| A sharp threshold for positive minors | uses method | Assurance as a vector | The method registry assigns sharp-local-minor-ratios to assurance-vector. | source-declared | source record |
| A sharp threshold for positive minors | uses method | Structural compression | The method registry assigns sharp-local-minor-ratios 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 |
| Beyond the cross-polytope | uses method | Adversarial scientific controls | The method registry assigns six-dimensional-zonoid-counterexample to adversarial-controls. | source-declared | source record |
| Beyond the cross-polytope | uses method | Agent-readable research objects | The method registry assigns six-dimensional-zonoid-counterexample to agent-readable-research-object. | source-declared | source record |
| Beyond the cross-polytope | uses method | Assurance as a vector | The method registry assigns six-dimensional-zonoid-counterexample to assurance-vector. | source-declared | source record |
| Beyond the cross-polytope | uses method | Certificate-first, proof-carrying research | The method registry assigns six-dimensional-zonoid-counterexample to certificate-first. | source-declared | source record |
| Beyond the cross-polytope | uses method | Structural compression | The method registry assigns six-dimensional-zonoid-counterexample 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 |
| A shape constraint breaks near the Gaussian | uses method | Adversarial scientific controls | The method registry assigns stable-power-concavity-gaussian-boundary to adversarial-controls. | source-declared | source record |
| A shape constraint breaks near the Gaussian | uses method | Agent-readable research objects | The method registry assigns stable-power-concavity-gaussian-boundary to agent-readable-research-object. | source-declared | source record |
| A shape constraint breaks near the Gaussian | uses method | Assurance as a vector | The method registry assigns stable-power-concavity-gaussian-boundary to assurance-vector. | source-declared | source record |
| A shape constraint breaks near the Gaussian | uses method | Certificate-first, proof-carrying research | The method registry assigns stable-power-concavity-gaussian-boundary to certificate-first. | source-declared | source record |
| A shape constraint breaks near the Gaussian | uses method | Exact regime stitching | The method registry assigns stable-power-concavity-gaussian-boundary to regime-stitching. | 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 |
| Orthogonal algebraicity stops at three | uses method | Adversarial scientific controls | The method registry assigns symmetric-determinantal-hilbert-threshold to adversarial-controls. | source-declared | source record |
| Orthogonal algebraicity stops at three | uses method | Agent-readable research objects | The method registry assigns symmetric-determinantal-hilbert-threshold to agent-readable-research-object. | source-declared | source record |
| Orthogonal algebraicity stops at three | uses method | Assurance as a vector | The method registry assigns symmetric-determinantal-hilbert-threshold to assurance-vector. | source-declared | source record |
| Orthogonal algebraicity stops at three | uses method | Exact regime stitching | The method registry assigns symmetric-determinantal-hilbert-threshold to regime-stitching. | source-declared | source record |
| Orthogonal algebraicity stops at three | uses method | Structural compression | The method registry assigns symmetric-determinantal-hilbert-threshold to structural-compression. | source-declared | source record |
| One peak under free addition | uses method | Adversarial scientific controls | The method registry assigns symmetric-unimodality-free-convolution to adversarial-controls. | source-declared | source record |
| One peak under free addition | uses method | Agent-readable research objects | The method registry assigns symmetric-unimodality-free-convolution to agent-readable-research-object. | source-declared | source record |
| One peak under free addition | uses method | Assurance as a vector | The method registry assigns symmetric-unimodality-free-convolution to assurance-vector. | source-declared | source record |
| One peak under free addition | uses method | Exact regime stitching | The method registry assigns symmetric-unimodality-free-convolution to regime-stitching. | source-declared | source record |
| One peak under free addition | uses method | Structural compression | The method registry assigns symmetric-unimodality-free-convolution to structural-compression. | source-declared | source record |
| When tree symmetry admits a torsor | uses method | Adversarial scientific controls | The method registry assigns symmetry-respecting-tree-torsors to adversarial-controls. | source-declared | source record |
| When tree symmetry admits a torsor | uses method | Agent-readable research objects | The method registry assigns symmetry-respecting-tree-torsors to agent-readable-research-object. | source-declared | source record |
| When tree symmetry admits a torsor | uses method | Assurance as a vector | The method registry assigns symmetry-respecting-tree-torsors to assurance-vector. | source-declared | source record |
| When tree symmetry admits a torsor | uses method | Structural compression | The method registry assigns symmetry-respecting-tree-torsors to structural-compression. | source-declared | source record |
| One model, five steady states | uses method | Adversarial scientific controls | The method registry assigns tcell-exactly-five to adversarial-controls. | source-declared | source record |
| One model, five steady states | uses method | Agent-readable research objects | The method registry assigns tcell-exactly-five to agent-readable-research-object. | source-declared | source record |
| One model, five steady states | uses method | Assurance as a vector | The method registry assigns tcell-exactly-five to assurance-vector. | source-declared | source record |
| One model, five steady states | uses method | Certificate-first, proof-carrying research | The method registry assigns tcell-exactly-five to certificate-first. | source-declared | source record |
| One model, five steady states | uses method | Structural compression | The method registry assigns tcell-exactly-five to structural-compression. | source-declared | source record |
| Partial progress on three-coloured paths | uses method | Adversarial scientific controls | The method registry assigns three-coloured-paths-partial-results to adversarial-controls. | source-declared | source record |
| Partial progress on three-coloured paths | uses method | Agent-readable research objects | The method registry assigns three-coloured-paths-partial-results to agent-readable-research-object. | source-declared | source record |
| Partial progress on three-coloured paths | uses method | Assurance as a vector | The method registry assigns three-coloured-paths-partial-results to assurance-vector. | source-declared | source record |
| Partial progress on three-coloured paths | uses method | Certificate-first, proof-carrying research | The method registry assigns three-coloured-paths-partial-results to certificate-first. | source-declared | source record |
| Partial progress on three-coloured paths | uses method | Productive failure and stop receipts | The method registry assigns three-coloured-paths-partial-results to productive-failure. | source-declared | source record |
| Partial progress on three-coloured paths | uses method | Structural compression | The method registry assigns three-coloured-paths-partial-results to structural-compression. | source-declared | source record |
| The Picard group of a graph product | uses method | Adversarial scientific controls | The method registry assigns triangulated-graph-product-picard to adversarial-controls. | source-declared | source record |
| The Picard group of a graph product | uses method | Agent-readable research objects | The method registry assigns triangulated-graph-product-picard to agent-readable-research-object. | source-declared | source record |
| The Picard group of a graph product | uses method | Assurance as a vector | The method registry assigns triangulated-graph-product-picard to assurance-vector. | source-declared | source record |
| The Picard group of a graph product | uses method | Structural compression | The method registry assigns triangulated-graph-product-picard to structural-compression. | source-declared | source record |
| Two counts describe the remaining shuffle | uses method | Adversarial scientific controls | The method registry assigns two-class-transposition-profiles to adversarial-controls. | source-declared | source record |
| Two counts describe the remaining shuffle | uses method | Agent-readable research objects | The method registry assigns two-class-transposition-profiles to agent-readable-research-object. | source-declared | source record |
| Two counts describe the remaining shuffle | uses method | Assurance as a vector | The method registry assigns two-class-transposition-profiles to assurance-vector. | source-declared | source record |
| Two counts describe the remaining shuffle | uses method | Exact regime stitching | The method registry assigns two-class-transposition-profiles to regime-stitching. | source-declared | source record |
| Two counts describe the remaining shuffle | uses method | Lineage-aware reuse practice | The method registry assigns two-class-transposition-profiles to research-lineage-reuse. | source-declared | source record |
| Two counts describe the remaining shuffle | uses method | Structural compression | The method registry assigns two-class-transposition-profiles to structural-compression. | 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 |
| Lost links, finite choices | uses method | Adversarial scientific controls | The method registry assigns unlinked-gamma-regression to adversarial-controls. | source-declared | source record |
| Lost links, finite choices | uses method | Agent-readable research objects | The method registry assigns unlinked-gamma-regression to agent-readable-research-object. | source-declared | source record |
| Lost links, finite choices | uses method | Assurance as a vector | The method registry assigns unlinked-gamma-regression to assurance-vector. | source-declared | source record |
| Lost links, finite choices | uses method | Counterexample- and proxy-first analysis | The method registry assigns unlinked-gamma-regression to counterexample-proxy-first. | source-declared | source record |
| Lost links, finite choices | uses method | Identification before estimation | The method registry assigns unlinked-gamma-regression to identification-gate. | source-declared | source record |
| Lost links, finite choices | uses method | Structural compression | The method registry assigns unlinked-gamma-regression to structural-compression. | 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 |
| Where noise can reach | uses method | Adversarial scientific controls | The method registry assigns wishart-reachable-noise to adversarial-controls. | source-declared | source record |
| Where noise can reach | uses method | Agent-readable research objects | The method registry assigns wishart-reachable-noise to agent-readable-research-object. | source-declared | source record |
| Where noise can reach | uses method | Assurance as a vector | The method registry assigns wishart-reachable-noise to assurance-vector. | source-declared | source record |
| Where noise can reach | uses method | Structural compression | The method registry assigns wishart-reachable-noise to structural-compression. | 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.