Research instrument · source-driven · no inferred links
Evidence Atlas
Develop a checkable research route, then explore the evidence behind it.
182 releases
13 reusable methods
169 broad clusters
5 evidence-backed lineages
1130 accepted relationships
4 quarantined research proposals
1130 recorded relationships: 52 direct · 15 lineage · 184 cluster · 879 method
Interactive research relationship instrument
Accepted relationship projectionEqual-sized release nodes · stable layout · select to inspect
R · release
M · method
C · broad cluster or cluster seed
L · evidence-backed lineage
P · quarantined proposal
For research agents · local computation · static downloads
Ask the archive what to try next
Retrieve source-linked research moves, necessary hypotheses, counterexamples and decisive next tests. A packet is a starting point for investigation, not a proof or a novelty verdict. Unknown conditions stay unknown.
Agent quickstart and commands · Download the source-bound index · Record and compare research attempts
- Find the exact assumptions that make a transfer possible—or invalidate it.
- Compare two index versions to revisit only changed sources and affected cards.
- Retain unsuccessful and budget-limited attempts alongside successful ones, without inventing missing measurements.
The catalogue is indexed automatically; detailed research cards cover selected cases only. No match does not mean no prior art. These tools run on your machine, do not send your question to a server, and make no automatic model calls.
From a question to a checked object
Research route workbench
Find applicable lemmas, expose missing hypotheses, and execute a bounded route. The first operator translates a graph-matching problem into SAT and checks its answer directly against the graph. This is a working pilot, not a general theorem prover.
1. Set the target
Can one endpoint from each supplied matching edge form a dominating set? A successful answer gives an ordinary-domination upper bound. Failure does not rule out other dominating sets.
Use your own graph (local JSON)
Finite simple undirected graphs, 1–256 vertices, 1–20 matching edges. Stored claims such as degree or optimum are ignored: properties are recomputed. Nothing is uploaded or saved automatically.
2. Run the cheapest decisive test
Loading the bounded route library…
Keep the input-bound record to continue elsewhere. Cancelled, budget-limited and negative runs are not proofs of the full target’s impossibility.
3. Inspect the route and its limits
Why this is a research test, and what it does not establish
The pilot asks whether the published independent-domination counterexample also violates the ordinary-domination inequality. Prior-art checking found an existing general theorem; the useful residual task is to construct a concrete witness and avoid an invalid transfer. The operator performs real computation, not similarity scoring.
A source-backed route may still have unverified external premises. Matched hypotheses do not promote a theorem or a relationship into the accepted Atlas graph. The curated library is not an exhaustive literature search. Only one operator is implemented: scale recursion, arbitrary-paper lemma extraction and autonomous cross-field research are not claimed.
Prospective pilot and success criteria · Actual pilot result and witness · Lemma library and capability limits · Reproduce and extend the tool
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. A bounded discovery pilot ran on 14 October 2026. Its retrieval candidates remain separate from accepted relationships; it does not exhaustively identify unsearched areas. See the pilot scope and limitations.
- 134
- releases with no direct link
- 0
- methods represented by one release
- 164
- singleton cluster seeds
- 0
- lineage roots with no successor
- 1
- research proposals awaiting review
Accepted relationship register (1130)
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 |
|---|---|---|---|---|---|
| When an outbreak ends on the tipping point | cites related release | Dying out need not mean exponential decay | Anonymous (2026), Algebraic extinction in acyclic compartment models. Evidence Press, version 1.0.0-candidate (parent release; first refutation of the conjecture). | source-declared | source record |
| 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 |
| Same average, different exposure | cites related release | Stocks are not flows | Evidence Press, Stocks Are Not Flows. A thematic antecedent on accounting and identification, not independent confirmation. | 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 |
| Finite tests for information substitutes | cites related release | Four tests for information substitutes | Anonymous, Four tests for binary informational substitutes: binary-source predecessor, including sparse support and vector targets. | 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 |
| K2P tree–network coincidence | cites related release | When a network cannot look like a tree | Evidence Press: When a network cannot look like a tree. Different single-cycle and shared-generator hypotheses; not contradicted by this two-reticulation example. | 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 |
| Five reactions, four equilibria | cites related release | One connected region for biochemical multistationarity | Evidence Press (2026). Path connectedness of multistationarity in a two-layer phosphorylation cascade with a shared phosphatase. Related parameter-region geometry under different model assumptions. | source-declared | source record |
| Five reactions, four equilibria | cites related release | One model, five steady states | Evidence Press (2026). Exactly five positive steady states in a two-ligand T-cell activation model. A related candidate using scalar reduction and exact root counting in a different model; not confirmation of this result. | 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 (upstream cubic classification). | source-declared | source record |
| Reducible incidence divisors | cites related release | Exotic affine three-spheres | Continues: Exotic affine three-spheres and the quadratic–cubic obstruction. | 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 |
| A primitive circle, except once | cites related release | A circle of primitive sums | Evidence Press: the distinct Sun–Hou adjacent-sum graph on all field elements. | 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 audit: the manuscript | cites related release | Wales 20 mph casualty attribution | Wales 20 mph Casualty Attribution Audit: A Constructive Non-Identification Result — the evidence package this manuscript accompanies (Evidence Press, 11 August 2026; DOI 10.5281/zenodo.21894035). | 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 |
| When an outbreak ends on the tipping point | shares broad cluster | Explicit acyclic algebraic-extinction counterexamples, slowest four-compartment tail and checkable repairs | The method registry lists acyclic-spreading-algebraic-extinction as a member of Explicit acyclic algebraic-extinction counterexamples, slowest four-compartment tail and checkable repairs. | 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 |
| Dying out need not mean exponential decay | shares broad cluster | Minimal algebraic-extinction mechanism and limiting spectral criterion | The method registry lists algebraic-extinction-compartments as a member of Minimal algebraic-extinction mechanism and limiting spectral criterion. | 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 a neuron label is not enough | shares broad cluster | Semantic ranking, threshold and action-sufficiency audit | The method registry lists assignment-aligned-effective-states as a member of Semantic ranking, threshold and action-sufficiency audit. | 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 |
| Four tests for information substitutes | shares broad cluster | Exact binary information classification | The method registry lists binary-quadratic-informational-substitutes as a member of Exact binary information classification. | source-declared | source record |
| Bol loops at every prime cube | shares broad cluster | Prime-cube Bol normal forms and orbits | The method registry lists bol-prime-cube-classification as a member of Prime-cube Bol normal forms and orbits. | 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 |
| Flow-polynomial bunkbed obstructions | shares broad cluster | Flow-polynomial graph transfer and exact regime stitching | The method registry lists bunkbed-flow-obstructions as a member of Flow-polynomial graph transfer and exact regime stitching. | 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 |
| When position meets value | shares broad cluster | Exchangeability and weighted fixed points | The method registry lists cayley-weighted-fixed-points as a member of Exchangeability and weighted fixed points. | source-declared | source record |
| Reconstructing gravitational configurations | shares broad cluster | Certified convex metric reconstruction and kernel exclusion | The method registry lists central-configuration-kernel-rigidity as a member of Certified convex metric reconstruction and kernel exclusion. | source-declared | source record |
| Centroidal equilibrium creation | shares broad cluster | Centroidal equilibrium creation | The method registry lists centroidal-equilibrium-creation as a member of Centroidal equilibrium creation. | 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 |
| Positive coefficients, failed majorisation | shares broad cluster | Cyclotomic positivity and parameter-tail separation | The method registry lists cgf-majorisation-counterexample as a member of Cyclotomic positivity and parameter-tail separation. | source-declared | source record |
| Compact cross-compliance contact | shares broad cluster | Compact cross-compliance contact | The method registry lists compact-cross-compliance-contact as a member of Compact cross-compliance contact. | source-declared | source record |
| The exact boundary between fragmentation and explosion | shares broad cluster | Finite-catalyst population reduction and critical fragmentation classification | The method registry lists compartment-fragmentation-phase-classification as a member of Finite-catalyst population reduction and critical fragmentation classification. | source-declared | source record |
| Useful together. Not alone. | shares broad cluster | Accounting-fibre identification and affine width certificates | The method registry lists complementary-disclosures as a member of Accounting-fibre identification and affine width certificates. | source-declared | source record |
| When an entanglement bound undercounts | shares broad cluster | Mixed-state CE counterexamples and variance repairs | The method registry lists concentratable-entanglement-spectator-counterexample as a member of Mixed-state CE counterexamples and variance repairs. | 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 |
| Six dimensions, three classical symbols | shares broad cluster | Exact cross-polytope classical simulation | The method registry lists cross-polytope-signaling-dimension-six as a member of Exact cross-polytope classical simulation. | source-declared | source record |
| Six is minimal | shares broad cluster | Exact stable-support minimality in CTLNs | The method registry lists ctln-six-is-minimal as a member of Exact stable-support minimality in CTLNs. | 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 |
| The exact Davis–Yin gap constant | shares broad cluster | Exact slack decomposition and limiting sharpness family for Davis-Yin splitting | The method registry lists davis-yin-gap-sharpness as a member of Exact slack decomposition and limiting sharpness family for Davis-Yin splitting. | source-declared | source record |
| Same average, different exposure | shares broad cluster | Exact debt-disclosure bounds and accounting boundaries | The method registry lists debt-disclosure-bounds as a member of Exact debt-disclosure bounds and accounting boundaries. | 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 |
| A hidden cluster in one cascade | shares broad cluster | Selection-safe single-cascade recovery | The method registry lists delayed-cascade-recovery as a member of Selection-safe single-cascade recovery. | 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 |
| Nine chores for three agents | shares broad cluster | Exact nine-chore EFX refutation | The method registry lists efx-nine-chores as a member of Exact nine-chore EFX refutation. | 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 |
| A controlled core, a faster mixing bound | shares broad cluster | Deterministic pinning and scalar-field entropy | The method registry lists ferromagnetic-full-threshold-glauber as a member of Deterministic pinning and scalar-field entropy. | source-declared | source record |
| Field-uniform spin-chain obstruction | shares broad cluster | Field-uniform local conservation and exact obstructions | The method registry lists field-uniform-spin-chains as a member of Field-uniform local conservation and exact obstructions. | 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 |
| Finite tests for information substitutes | shares broad cluster | Scalar-knot convex completion certificates | The method registry lists finite-signal-quadratic-substitutes as a member of Scalar-knot convex completion certificates. | 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 |
| Beyond majority counting | shares broad cluster | Normalized-Laplacian partition certificates | The method registry lists fkk-majority-partitions as a member of Normalized-Laplacian partition certificates. | source-declared | source record |
| Flat Schmidt-rank-two chains | shares broad cluster | Flat Schmidt support geometry and spectral-gap saturation | The method registry lists flat-schmidt-chains as a member of Flat Schmidt support geometry and spectral-gap saturation. | 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 |
| When the whole spectrum fits one pattern | shares broad cluster | Canonical parafermion spectra and graph obstructions | The method registry lists free-parafermion-converse as a member of Canonical parafermion spectra and graph obstructions. | 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 |
| Cosine configurations resist every small tilt | shares broad cluster | Moving-interface second variation and signed-cycle compression | The method registry lists gaussian-cosine-local-stability as a member of Moving-interface second variation and signed-cycle compression. | 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 |
| Weak repulsion, exact roundness | shares broad cluster | Global-to-local Hartree shape rigidity | The method registry lists hartree-small-charge-rigidity as a member of Global-to-local Hartree shape rigidity. | 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 |
| Hidden dissipation | shares broad cluster | Architecture-independent observable dissipation certificates | The method registry lists hidden-dissipation-floor as a member of Architecture-independent observable dissipation certificates. | 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 |
| Tokunaga and Kingman asymptotics | shares broad cluster | Exact conditioning and positive asymptotic normalization | The method registry lists horton-tokunaga-kingman-asymptotics as a member of Exact conditioning and positive asymptotic normalization. | source-declared | source record |
| How close can online choices get to hindsight? | shares broad cluster | Quantile coverage limits and certified selection bounds | The method registry lists iid-multiunit-prophet-limits as a member of Quantile coverage limits and certified selection bounds. | source-declared | source record |
| Concentration without independent choices | shares broad cluster | Retained-face covariance transfer | The method registry lists inclusion-link-chernoff-concentration as a member of Retained-face covariance transfer. | source-declared | source record |
| When event counts have a Brownian limit | shares broad cluster | Sharp cumulative-energy variance criterion and scalar and joint functional limits for thinned crossing counts. | The method registry lists infinite-birth-death-thinned-counts as a member of Sharp cumulative-energy variance criterion and scalar and joint functional limits for thinned crossing counts.. | source-declared | source record |
| Internally heated convection flux bounds | shares broad cluster | Internally heated convection flux bounds | The method registry lists internally-heated-convection-flux-bounds as a member of Internally heated convection flux bounds. | 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 |
| K2P tree–network coincidence | shares broad cluster | Exact K2P non-identification and anchored classification | The method registry lists k2p-tree-network-counterexample as a member of Exact K2P non-identification and anchored classification. | source-declared | source record |
| The spin-2 kagome AKLT gap | shares broad cluster | Grouped local quantum-gap certificates | The method registry lists kagome-aklt-spectral-gap as a member of Grouped local quantum-gap certificates. | source-declared | source record |
| Same Betti poset. Different Stanley dimension. | shares broad cluster | Betti-poset information loss and exact partition obstruction | The method registry lists katthan-betti-poset-counterexample as a member of Betti-poset information loss and exact partition obstruction. | source-declared | source record |
| Global swaps, fast mixing | shares broad cluster | Finite-window canonical entropy transfer | The method registry lists kawasaki-analytic-fast-regimes as a member of Finite-window canonical entropy transfer. | source-declared | source record |
| Stable symmetric polynomials are Agler denominators | shares broad cluster | Positive permutation weights and Agler coefficient lift | The method registry lists knese-symmetric-multiaffine-agler as a member of Positive permutation weights and Agler coefficient lift. | source-declared | source record |
| Restart from a quasi-stationary law: the exact constant and the real budget scale | shares broad cluster | Two-ended boundary-layer asymptotics for interval quasi-stationary laws of Lévy processes and QSD restart | The method registry lists levy-qsd-exponential-moments-restart as a member of Two-ended boundary-layer asymptotics for interval quasi-stationary laws of Lévy processes and QSD restart. | 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 |
| Two trees, never the same equation | shares broad cluster | Linear coordinate presentations of Lotka–Volterra tree systems: complete Darboux list, one-sided tree rigidity and presentation counts | The method registry lists lotka-volterra-tree-presentations as a member of Linear coordinate presentations of Lotka–Volterra tree systems: complete Darboux list, one-sided tree rigidity and presentation counts. | 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 |
| Modular-code distance obstructions | shares broad cluster | Coefficient-span subcodes and quotient concentration | The method registry lists modular-code-obstructions as a member of Coefficient-span subcodes and quotient concentration. | 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 |
| Positive coefficients, wrong destination | shares broad cluster | Certified attracting cycle as counterexample to a global-stability conjecture | The method registry lists mprk-nonnegative-two-cycles as a member of Certified attracting cycle as counterexample to a global-stability conjecture. | source-declared | source record |
| The multiplane lensing bound | shares broad cluster | Path-sparse algebraic image bounds | The method registry lists multiplane-lensing-sparse-bound as a member of Path-sparse algebraic image bounds. | 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 |
| When slices control the whole | shares broad cluster | Critical-moment sliced-transport inversion | The method registry lists noninteger-sliced-wasserstein as a member of Critical-moment sliced-transport inversion. | 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 |
| When the remainders vanish | shares broad cluster | Overpartition modular certificates | The method registry lists overpartition-congruences-and-towers as a member of Overpartition modular certificates. | source-declared | source record |
| When capped swaps lock in | shares broad cluster | Exact orientation-digraph census and written proofs refuting and delimiting a product-form conjecture | The method registry lists pass-and-swap-bounded-swaps as a member of Exact orientation-digraph census and written proofs refuting and delimiting a product-form conjecture. | source-declared | source record |
| More budget never removes effort | shares broad cluster | Elasticity-sign comparative statics for budget-monotone periodic impulsive control | The method registry lists periodic-regulation-budget-monotonicity as a member of Elasticity-sign comparative statics for budget-monotone periodic impulsive control. | source-declared | source record |
| When every local minimum is global | shares broad cluster | Factorised Perron optimisation | The method registry lists perron-minima as a member of Factorised Perron optimisation. | 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 |
| Exact sensitivity certificates for planar transport maps | shares broad cluster | Exact sensitivity certificates for planar transport maps | The method registry lists planar-transport-map-sensitivity-certificates as a member of Exact sensitivity certificates for planar transport maps. | source-declared | source record |
| PMMS for three agents up to eight goods | shares broad cluster | Three-agent PMMS existence up to eight goods | The method registry lists pmms-three-agents-eight-goods as a member of Three-agent PMMS existence up to eight goods. | 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 |
| Two obstructions to splitting a superconductor | shares broad cluster | Rank and electron-action obstructions | The method registry lists primitive-su-primitivity as a member of Rank and electron-action obstructions. | source-declared | source record |
| The shortest jobs set the freshness scale | shares broad cluster | First-completion reduction and regularly varying freshness scales | The method registry lists processor-sharing-freshness as a member of First-completion reduction and regularly varying freshness scales. | source-declared | source record |
| Rent today, or commit for the season? | shares broad cluster | Quantile commitment coverage and certified over-time limits | The method registry lists prophet-over-time-limit as a member of Quantile commitment coverage and certified over-time limits. | 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 |
| Five reactions, four equilibria | shares broad cluster | Chemical realization of extremal positive-equilibrium chains | The method registry lists quadratic-equilibrium-sharpness as a member of Chemical realization of extremal positive-equilibrium chains. | 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 |
| Rational Laguerre mosaics | shares broad cluster | Rational Laguerre mosaics | The method registry lists rational-laguerre-mosaics as a member of Rational Laguerre mosaics. | source-declared | source record |
| Two layers, logarithmic mixing | shares broad cluster | Fresh-layer averaged logistic contraction | The method registry lists rbm-nonnegative-logarithmic-mixing as a member of Fresh-layer averaged logistic contraction. | 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 |
| Certified local minima for two regular polygons | shares broad cluster | Residual certificates for polygonal eigenvalue Hessians | The method registry lists regular-heptagon-octagon-local-minimality as a member of Residual certificates for polygonal eigenvalue Hessians. | source-declared | source record |
| One reverse arrow changes the dynamics | shares broad cluster | Reaction-deletion counterexamples with exact Hopf and global certificates | The method registry lists reverse-reaction-attracting-oscillations as a member of Reaction-deletion counterexamples with exact Hopf and global certificates. | source-declared | source record |
| Entropy decay without a field ceiling | shares broad cluster | Sign-adapted localisation with interacting terminal pieces | The method registry lists rfim-unbounded-fields-entropy as a member of Sign-adapted localisation with interacting terminal pieces. | source-declared | source record |
| Spectrum-matched robustness | shares broad cluster | Spectral robust-estimator certificates and jitter boundaries | The method registry lists robust-gaussian-inverse-estimation as a member of Spectral robust-estimator certificates and jitter boundaries. | 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 |
| Four seven-cycles: at most 112 | shares broad cluster | Complete band-allocation and integer completion certificates | The method registry lists seven-cycle-fourth-power-upper112 as a member of Complete band-allocation and integer completion certificates. | 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 |
| When the extremal distribution changes | shares broad cluster | Sharp moment comparison by regional interval certificates | The method registry lists sharp-logconcave-moment-comparison as a member of Sharp moment comparison by regional interval certificates. | 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 |
| The sharp rank-three constant | shares broad cluster | Symmetry-reduced rational permanent certificate and equality extraction | The method registry lists sharp-rank-three-chollet-order-five as a member of Symmetry-reduced rational permanent certificate and equality extraction. | source-declared | source record |
| Tuning the window: the sharp law | shares broad cluster | Two-sided alias analysis and certified ball-arithmetic tables for windowed Shannon sampling | The method registry lists sharp-shannon-window-law as a member of Two-sided alias analysis and certified ball-arithmetic tables for windowed Shannon sampling. | source-declared | source record |
| What the past can—and cannot—predict | shares broad cluster | Fixed-dimensional continuation, growing-dimensional obstruction and Hölder replacement for network SIS models | The method registry lists sis-reconstruction-continuation as a member of Fixed-dimensional continuation, growing-dimensional obstruction and Hölder replacement for network SIS models. | 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 |
| The cost of stepping straight back | shares broad cluster | Two-scale percolation diagram bounds | The method registry lists small-exponent-percolation as a member of Two-scale percolation diagram bounds. | 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 |
| The square maximises λ₂/λ₁ among quadrilaterals | shares broad cluster | The square maximises λ₂/λ₁ among quadrilaterals | The method registry lists square-maximises-dirichlet-ratio-quadrilaterals as a member of The square maximises λ₂/λ₁ among quadrilaterals. | 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 |
| Smooth profiles that remain random | shares broad cluster | Conditional phase potentials and random radial profiles | The method registry lists stable-random-radial-profile as a member of Conditional phase potentials and random radial profiles. | source-declared | source record |
| Less paid. Still rejected. | shares broad cluster | Input-bound trigger-region comparability certificates | The method registry lists state-contingent-comparability as a member of Input-bound trigger-region comparability certificates. | source-declared | source record |
| Steady landscapes, coupled drainage | shares broad cluster | Coupled landscape reconstruction and radial limits | The method registry lists steady-stream-power-landscapes as a member of Coupled landscape reconstruction and radial limits. | 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 |
| A primitive circle, except once | shares broad cluster | Finite-field shifted-product Hamiltonian certificates | The method registry lists sun-circular-primitive-permutation as a member of Finite-field shifted-product Hamiltonian certificates. | source-declared | source record |
| A circle of primitive sums | shares broad cluster | Finite-field primitive-sum Hamiltonian certificates | The method registry lists sun-hou-primitive-sum-circle as a member of Finite-field primitive-sum Hamiltonian certificates. | 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 |
| Szöllősi-family MUB exclusion | shares broad cluster | Closed-parameter interval and graph exclusion | The method registry lists szollosi-mub-exclusion as a member of Closed-parameter interval and graph exclusion. | 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 |
| Why fourth-order tetrahedral Stokes elements need a sextic | shares broad cluster | Moment kernels and minimal polynomial degree for nonconforming Stokes elements on tetrahedra | The method registry lists tetrahedral-moment-stokes-elements as a member of Moment kernels and minimal polynomial degree for nonconforming Stokes elements on tetrahedra. | source-declared | source record |
| Three paths, positive coefficients | shares broad cluster | Weighted composition regrouping for theta graphs | The method registry lists theta-graphs-c3-e-positive as a member of Weighted composition regrouping for theta graphs. | 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 |
| Three-copy qutrit Werner undistillability | shares broad cluster | Exact PSD certificates for finite-copy distillability | The method registry lists three-copy-werner-undistillability as a member of Exact PSD certificates for finite-copy distillability. | source-declared | source record |
| Three Gaussian components break projection tests | shares broad cluster | Projection proxy and joint convex witness | The method registry lists three-gaussian-projection-counterexample as a member of Projection proxy and joint convex witness. | source-declared | source record |
| When a network cannot look like a tree | shares broad cluster | Sharp rank obstructions to phylogenetic tree-mixture mimicry | The method registry lists tree-network-separation as a member of Sharp rank obstructions to phylogenetic tree-mixture mimicry. | 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 |
| Two colours, exact remainders | shares broad cluster | Overpartition modular certificates | The method registry lists two-colour-overpartition-congruences as a member of Overpartition modular certificates. | source-declared | source record |
| Dormancy can sustain oscillations | shares broad cluster | Exact coexistence-instability counterexamples and a certified local supercritical Hopf branch. | The method registry lists two-host-dormancy-oscillations as a member of Exact coexistence-instability counterexamples and a certified local supercritical Hopf branch.. | 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 one split-network design wins | shares broad cluster | Terminal-identification reliability comparison and exact boundary certificates | The method registry lists uniform-split-reliability as a member of Terminal-identification reliability comparison and exact boundary certificates. | 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 |
| One equilibrium. Different sharp constants. | shares broad cluster | Microscopic marginal obstruction and global nonlinear gap | The method registry lists unique-equilibrium-lsi-separation as a member of Microscopic marginal obstruction and global nonlinear gap. | 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 |
| Waiting times can fake dissipation | shares broad cluster | Killed-propagator commutator counterexamples for forward-only waiting-time entropy estimators | The method registry lists waiting-time-entropy-bound-counterexamples as a member of Killed-propagator commutator counterexamples for forward-only waiting-time entropy estimators. | source-declared | source record |
| Wales 20 mph audit: the manuscript | shares broad cluster | Wales policy-attribution companion manuscript | The method registry lists wales-20mph-attribution-manuscript as a member of Wales policy-attribution companion manuscript. | 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 |
| When a new route opens without a kink | shares broad cluster | Smoothness within and across Wardrop route regimes: interior fixed-regime regularity, smooth BPR route expansions and five-link minimality | The method registry lists wardrop-smooth-route-regimes as a member of Smoothness within and across Wardrop route regimes: interior fixed-regime regularity, smooth BPR route expansions and five-link minimality. | source-declared | source record |
| Wilhelm–Heinrich large-gain uniqueness | shares broad cluster | Convex attractor geometry and all-cycle stability | The method registry lists wilhelm-heinrich-large-gain as a member of Convex attractor geometry and all-cycle stability. | source-declared | source record |
| Classical accuracy survives the exponential lift | shares broad cluster | Universal tensor reduction for low-storage order transfer | The method registry lists williamson-order-transfer as a member of Universal tensor reduction for low-storage order transfer. | 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 |
| What two natural five-variable routes cannot do | shares broad cluster | Graded compression exclusion and affine-Hessian span obstruction | The method registry lists wmy5-graded-obstructions as a member of Graded compression exclusion and affine-Hessian span obstruction. | 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 |
| When an outbreak ends on the tipping point | uses method | Adversarial scientific controls | The method registry assigns acyclic-spreading-algebraic-extinction to adversarial-controls. | source-declared | source record |
| When an outbreak ends on the tipping point | uses method | Agent-readable research objects | The method registry assigns acyclic-spreading-algebraic-extinction to agent-readable-research-object. | source-declared | source record |
| When an outbreak ends on the tipping point | uses method | Assurance as a vector | The method registry assigns acyclic-spreading-algebraic-extinction to assurance-vector. | source-declared | source record |
| When an outbreak ends on the tipping point | uses method | Counterexample- and proxy-first analysis | The method registry assigns acyclic-spreading-algebraic-extinction to counterexample-proxy-first. | 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 |
| Dying out need not mean exponential decay | uses method | Adversarial scientific controls | The method registry assigns algebraic-extinction-compartments to adversarial-controls. | source-declared | source record |
| Dying out need not mean exponential decay | uses method | Agent-readable research objects | The method registry assigns algebraic-extinction-compartments to agent-readable-research-object. | source-declared | source record |
| Dying out need not mean exponential decay | uses method | Assurance as a vector | The method registry assigns algebraic-extinction-compartments to assurance-vector. | source-declared | source record |
| Dying out need not mean exponential decay | uses method | Counterexample- and proxy-first analysis | The method registry assigns algebraic-extinction-compartments to counterexample-proxy-first. | source-declared | source record |
| Dying out need not mean exponential decay | uses method | Structural compression | The method registry assigns algebraic-extinction-compartments 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 a neuron label is not enough | uses method | Agent-readable research objects | The method registry assigns assignment-aligned-effective-states to agent-readable-research-object. | source-declared | source record |
| When a neuron label is not enough | uses method | Assurance as a vector | The method registry assigns assignment-aligned-effective-states to assurance-vector. | source-declared | source record |
| When a neuron label is not enough | uses method | Counterexample- and proxy-first analysis | The method registry assigns assignment-aligned-effective-states to counterexample-proxy-first. | source-declared | source record |
| When a neuron label is not enough | uses method | Identification before estimation | The method registry assigns assignment-aligned-effective-states to identification-gate. | 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 |
| Four tests for information substitutes | uses method | Adversarial scientific controls | The method registry assigns binary-quadratic-informational-substitutes to adversarial-controls. | source-declared | source record |
| Four tests for information substitutes | uses method | Agent-readable research objects | The method registry assigns binary-quadratic-informational-substitutes to agent-readable-research-object. | source-declared | source record |
| Four tests for information substitutes | uses method | Assurance as a vector | The method registry assigns binary-quadratic-informational-substitutes to assurance-vector. | source-declared | source record |
| Four tests for information substitutes | uses method | Certificate-first, proof-carrying research | The method registry assigns binary-quadratic-informational-substitutes to certificate-first. | source-declared | source record |
| Four tests for information substitutes | uses method | Structural compression | The method registry assigns binary-quadratic-informational-substitutes to structural-compression. | source-declared | source record |
| Bol loops at every prime cube | uses method | Adversarial scientific controls | The method registry assigns bol-prime-cube-classification to adversarial-controls. | source-declared | source record |
| Bol loops at every prime cube | uses method | Agent-readable research objects | The method registry assigns bol-prime-cube-classification to agent-readable-research-object. | source-declared | source record |
| Bol loops at every prime cube | uses method | Exact regime stitching | The method registry assigns bol-prime-cube-classification to regime-stitching. | source-declared | source record |
| Bol loops at every prime cube | uses method | Structural compression | The method registry assigns bol-prime-cube-classification 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 |
| Flow-polynomial bunkbed obstructions | uses method | Adversarial scientific controls | The method registry assigns bunkbed-flow-obstructions to adversarial-controls. | source-declared | source record |
| Flow-polynomial bunkbed obstructions | uses method | Agent-readable research objects | The method registry assigns bunkbed-flow-obstructions to agent-readable-research-object. | source-declared | source record |
| Flow-polynomial bunkbed obstructions | uses method | Assurance as a vector | The method registry assigns bunkbed-flow-obstructions to assurance-vector. | source-declared | source record |
| Flow-polynomial bunkbed obstructions | uses method | Certificate-first, proof-carrying research | The method registry assigns bunkbed-flow-obstructions to certificate-first. | source-declared | source record |
| Flow-polynomial bunkbed obstructions | uses method | Exact regime stitching | The method registry assigns bunkbed-flow-obstructions to regime-stitching. | source-declared | source record |
| Flow-polynomial bunkbed obstructions | uses method | Structural compression | The method registry assigns bunkbed-flow-obstructions 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 |
| When position meets value | uses method | Agent-readable research objects | The method registry assigns cayley-weighted-fixed-points to agent-readable-research-object. | source-declared | source record |
| When position meets value | uses method | Assurance as a vector | The method registry assigns cayley-weighted-fixed-points to assurance-vector. | source-declared | source record |
| When position meets value | uses method | Structural compression | The method registry assigns cayley-weighted-fixed-points to structural-compression. | source-declared | source record |
| Reconstructing gravitational configurations | uses method | Adversarial scientific controls | The method registry assigns central-configuration-kernel-rigidity to adversarial-controls. | source-declared | source record |
| Reconstructing gravitational configurations | uses method | Agent-readable research objects | The method registry assigns central-configuration-kernel-rigidity to agent-readable-research-object. | source-declared | source record |
| Reconstructing gravitational configurations | uses method | Assurance as a vector | The method registry assigns central-configuration-kernel-rigidity to assurance-vector. | source-declared | source record |
| Reconstructing gravitational configurations | uses method | Certificate-first, proof-carrying research | The method registry assigns central-configuration-kernel-rigidity to certificate-first. | source-declared | source record |
| Reconstructing gravitational configurations | uses method | Productive failure and stop receipts | The method registry assigns central-configuration-kernel-rigidity to productive-failure. | source-declared | source record |
| Reconstructing gravitational configurations | uses method | Structural compression | The method registry assigns central-configuration-kernel-rigidity to structural-compression. | source-declared | source record |
| Centroidal equilibrium creation | uses method | Adversarial scientific controls | The method registry assigns centroidal-equilibrium-creation to adversarial-controls. | source-declared | source record |
| Centroidal equilibrium creation | uses method | Agent-readable research objects | The method registry assigns centroidal-equilibrium-creation to agent-readable-research-object. | source-declared | source record |
| Centroidal equilibrium creation | uses method | Assurance as a vector | The method registry assigns centroidal-equilibrium-creation to assurance-vector. | source-declared | source record |
| Centroidal equilibrium creation | uses method | Certificate-first, proof-carrying research | The method registry assigns centroidal-equilibrium-creation to certificate-first. | source-declared | source record |
| Centroidal equilibrium creation | uses method | Structural compression | The method registry assigns centroidal-equilibrium-creation 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 |
| Positive coefficients, failed majorisation | uses method | Agent-readable research objects | The method registry assigns cgf-majorisation-counterexample to agent-readable-research-object. | source-declared | source record |
| Positive coefficients, failed majorisation | uses method | Assurance as a vector | The method registry assigns cgf-majorisation-counterexample to assurance-vector. | source-declared | source record |
| Positive coefficients, failed majorisation | uses method | Certificate-first, proof-carrying research | The method registry assigns cgf-majorisation-counterexample to certificate-first. | source-declared | source record |
| Positive coefficients, failed majorisation | uses method | Counterexample- and proxy-first analysis | The method registry assigns cgf-majorisation-counterexample to counterexample-proxy-first. | source-declared | source record |
| Compact cross-compliance contact | uses method | Adversarial scientific controls | The method registry assigns compact-cross-compliance-contact to adversarial-controls. | source-declared | source record |
| Compact cross-compliance contact | uses method | Agent-readable research objects | The method registry assigns compact-cross-compliance-contact to agent-readable-research-object. | source-declared | source record |
| Compact cross-compliance contact | uses method | Assurance as a vector | The method registry assigns compact-cross-compliance-contact to assurance-vector. | source-declared | source record |
| Compact cross-compliance contact | uses method | Structural compression | The method registry assigns compact-cross-compliance-contact to structural-compression. | source-declared | source record |
| The exact boundary between fragmentation and explosion | uses method | Adversarial scientific controls | The method registry assigns compartment-fragmentation-phase-classification to adversarial-controls. | source-declared | source record |
| The exact boundary between fragmentation and explosion | uses method | Agent-readable research objects | The method registry assigns compartment-fragmentation-phase-classification to agent-readable-research-object. | source-declared | source record |
| The exact boundary between fragmentation and explosion | uses method | Assurance as a vector | The method registry assigns compartment-fragmentation-phase-classification to assurance-vector. | source-declared | source record |
| The exact boundary between fragmentation and explosion | uses method | Certificate-first, proof-carrying research | The method registry assigns compartment-fragmentation-phase-classification to certificate-first. | source-declared | source record |
| The exact boundary between fragmentation and explosion | uses method | Structural compression | The method registry assigns compartment-fragmentation-phase-classification to structural-compression. | source-declared | source record |
| Useful together. Not alone. | uses method | Adversarial scientific controls | The method registry assigns complementary-disclosures to adversarial-controls. | source-declared | source record |
| Useful together. Not alone. | uses method | Agent-readable research objects | The method registry assigns complementary-disclosures to agent-readable-research-object. | source-declared | source record |
| Useful together. Not alone. | uses method | Assurance as a vector | The method registry assigns complementary-disclosures to assurance-vector. | source-declared | source record |
| Useful together. Not alone. | uses method | Certificate-first, proof-carrying research | The method registry assigns complementary-disclosures to certificate-first. | source-declared | source record |
| Useful together. Not alone. | uses method | Identification before estimation | The method registry assigns complementary-disclosures to identification-gate. | source-declared | source record |
| Useful together. Not alone. | uses method | Partial identification and robust decisions | The method registry assigns complementary-disclosures to partial-identification. | source-declared | source record |
| When an entanglement bound undercounts | uses method | Agent-readable research objects | The method registry assigns concentratable-entanglement-spectator-counterexample to agent-readable-research-object. | source-declared | source record |
| When an entanglement bound undercounts | uses method | Assurance as a vector | The method registry assigns concentratable-entanglement-spectator-counterexample to assurance-vector. | source-declared | source record |
| When an entanglement bound undercounts | uses method | Certificate-first, proof-carrying research | The method registry assigns concentratable-entanglement-spectator-counterexample to certificate-first. | source-declared | source record |
| When an entanglement bound undercounts | uses method | Certified decision margins | The method registry assigns concentratable-entanglement-spectator-counterexample to certified-decision-margin. | source-declared | source record |
| When an entanglement bound undercounts | uses method | Counterexample- and proxy-first analysis | The method registry assigns concentratable-entanglement-spectator-counterexample to counterexample-proxy-first. | 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 |
| Six dimensions, three classical symbols | uses method | Agent-readable research objects | The method registry assigns cross-polytope-signaling-dimension-six to agent-readable-research-object. | source-declared | source record |
| Six dimensions, three classical symbols | uses method | Assurance as a vector | The method registry assigns cross-polytope-signaling-dimension-six to assurance-vector. | source-declared | source record |
| Six dimensions, three classical symbols | uses method | Certificate-first, proof-carrying research | The method registry assigns cross-polytope-signaling-dimension-six to certificate-first. | source-declared | source record |
| Six dimensions, three classical symbols | uses method | Structural compression | The method registry assigns cross-polytope-signaling-dimension-six to structural-compression. | source-declared | source record |
| Six is minimal | uses method | Adversarial scientific controls | The method registry assigns ctln-six-is-minimal to adversarial-controls. | source-declared | source record |
| Six is minimal | uses method | Agent-readable research objects | The method registry assigns ctln-six-is-minimal to agent-readable-research-object. | source-declared | source record |
| Six is minimal | uses method | Assurance as a vector | The method registry assigns ctln-six-is-minimal to assurance-vector. | source-declared | source record |
| Six is minimal | uses method | Certificate-first, proof-carrying research | The method registry assigns ctln-six-is-minimal to certificate-first. | source-declared | source record |
| Six is minimal | uses method | Structural compression | The method registry assigns ctln-six-is-minimal to structural-compression. | source-declared | source record |
| Fixed-seed cyclicity loci for polynomial exponential periods | uses method | Adversarial scientific controls | The method registry assigns cyclicity-loci-exponential-periods to adversarial-controls. | source-declared | source record |
| Fixed-seed cyclicity loci for polynomial exponential periods | uses method | Certificate-first, proof-carrying research | The method registry assigns cyclicity-loci-exponential-periods to certificate-first. | source-declared | source record |
| Fixed-seed cyclicity loci for polynomial exponential periods | uses method | Counterexample- and proxy-first analysis | The method registry assigns cyclicity-loci-exponential-periods to counterexample-proxy-first. | source-declared | source record |
| Fixed-seed cyclicity loci for polynomial exponential periods | uses method | Structural compression | The method registry assigns cyclicity-loci-exponential-periods to structural-compression. | source-declared | source record |
| Fixed-seed cyclic rank from inverse roots | uses method | Adversarial scientific controls | The method registry assigns cyclicity-root-span-low-rank to adversarial-controls. | source-declared | source record |
| Fixed-seed cyclic rank from inverse roots | uses method | Productive failure and stop receipts | The method registry assigns cyclicity-root-span-low-rank to productive-failure. | source-declared | source record |
| Fixed-seed cyclic rank from inverse roots | uses method | Lineage-aware reuse practice | The method registry assigns cyclicity-root-span-low-rank to research-lineage-reuse. | source-declared | source record |
| Fixed-seed cyclic rank from inverse roots | uses method | Structural compression | The method registry assigns cyclicity-root-span-low-rank to structural-compression. | source-declared | source record |
| The combined support and moment atlas | uses method | Adversarial scientific controls | The method registry assigns cyclicity-support-fusion-atlas to adversarial-controls. | source-declared | source record |
| The combined support and moment atlas | uses method | Agent-readable research objects | The method registry assigns cyclicity-support-fusion-atlas to agent-readable-research-object. | source-declared | source record |
| The combined support and moment atlas | uses method | Assurance as a vector | The method registry assigns cyclicity-support-fusion-atlas to assurance-vector. | source-declared | source record |
| The combined support and moment atlas | uses method | Certificate-first, proof-carrying research | The method registry assigns cyclicity-support-fusion-atlas to certificate-first. | source-declared | source record |
| The combined support and moment atlas | uses method | Productive failure and stop receipts | The method registry assigns cyclicity-support-fusion-atlas to productive-failure. | source-declared | source record |
| The combined support and moment atlas | uses method | Lineage-aware reuse practice | The method registry assigns cyclicity-support-fusion-atlas to research-lineage-reuse. | source-declared | source record |
| The combined support and moment atlas | uses method | Structural compression | The method registry assigns cyclicity-support-fusion-atlas to structural-compression. | source-declared | source record |
| 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 |
| The exact Davis–Yin gap constant | uses method | Adversarial scientific controls | The method registry assigns davis-yin-gap-sharpness to adversarial-controls. | source-declared | source record |
| The exact Davis–Yin gap constant | uses method | Agent-readable research objects | The method registry assigns davis-yin-gap-sharpness to agent-readable-research-object. | source-declared | source record |
| The exact Davis–Yin gap constant | uses method | Assurance as a vector | The method registry assigns davis-yin-gap-sharpness to assurance-vector. | source-declared | source record |
| The exact Davis–Yin gap constant | uses method | Certificate-first, proof-carrying research | The method registry assigns davis-yin-gap-sharpness to certificate-first. | source-declared | source record |
| The exact Davis–Yin gap constant | uses method | Structural compression | The method registry assigns davis-yin-gap-sharpness to structural-compression. | source-declared | source record |
| Same average, different exposure | uses method | Adversarial scientific controls | The method registry assigns debt-disclosure-bounds to adversarial-controls. | source-declared | source record |
| Same average, different exposure | uses method | Agent-readable research objects | The method registry assigns debt-disclosure-bounds to agent-readable-research-object. | source-declared | source record |
| Same average, different exposure | uses method | Assurance as a vector | The method registry assigns debt-disclosure-bounds to assurance-vector. | source-declared | source record |
| Same average, different exposure | uses method | Certificate-first, proof-carrying research | The method registry assigns debt-disclosure-bounds to certificate-first. | source-declared | source record |
| Same average, different exposure | uses method | Identification before estimation | The method registry assigns debt-disclosure-bounds to identification-gate. | source-declared | source record |
| Same average, different exposure | uses method | Partial identification and robust decisions | The method registry assigns debt-disclosure-bounds to partial-identification. | 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 |
| A hidden cluster in one cascade | uses method | Adversarial scientific controls | The method registry assigns delayed-cascade-recovery to adversarial-controls. | source-declared | source record |
| A hidden cluster in one cascade | uses method | Agent-readable research objects | The method registry assigns delayed-cascade-recovery to agent-readable-research-object. | source-declared | source record |
| A hidden cluster in one cascade | uses method | Assurance as a vector | The method registry assigns delayed-cascade-recovery to assurance-vector. | source-declared | source record |
| A hidden cluster in one cascade | uses method | Productive failure and stop receipts | The method registry assigns delayed-cascade-recovery to productive-failure. | 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 |
| Nine chores for three agents | uses method | Adversarial scientific controls | The method registry assigns efx-nine-chores to adversarial-controls. | source-declared | source record |
| Nine chores for three agents | uses method | Agent-readable research objects | The method registry assigns efx-nine-chores to agent-readable-research-object. | source-declared | source record |
| Nine chores for three agents | uses method | Assurance as a vector | The method registry assigns efx-nine-chores to assurance-vector. | source-declared | source record |
| Nine chores for three agents | uses method | Certificate-first, proof-carrying research | The method registry assigns efx-nine-chores to certificate-first. | source-declared | source record |
| Nine chores for three agents | uses method | Structural compression | The method registry assigns efx-nine-chores 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 |
| A controlled core, a faster mixing bound | uses method | Adversarial scientific controls | The method registry assigns ferromagnetic-full-threshold-glauber to adversarial-controls. | source-declared | source record |
| A controlled core, a faster mixing bound | uses method | Agent-readable research objects | The method registry assigns ferromagnetic-full-threshold-glauber to agent-readable-research-object. | source-declared | source record |
| A controlled core, a faster mixing bound | uses method | Assurance as a vector | The method registry assigns ferromagnetic-full-threshold-glauber to assurance-vector. | source-declared | source record |
| A controlled core, a faster mixing bound | uses method | Structural compression | The method registry assigns ferromagnetic-full-threshold-glauber to structural-compression. | source-declared | source record |
| Field-uniform spin-chain obstruction | uses method | Adversarial scientific controls | The method registry assigns field-uniform-spin-chains to adversarial-controls. | source-declared | source record |
| Field-uniform spin-chain obstruction | uses method | Agent-readable research objects | The method registry assigns field-uniform-spin-chains to agent-readable-research-object. | source-declared | source record |
| Field-uniform spin-chain obstruction | uses method | Assurance as a vector | The method registry assigns field-uniform-spin-chains to assurance-vector. | source-declared | source record |
| Field-uniform spin-chain obstruction | uses method | Certificate-first, proof-carrying research | The method registry assigns field-uniform-spin-chains to certificate-first. | source-declared | source record |
| Field-uniform spin-chain obstruction | uses method | Structural compression | The method registry assigns field-uniform-spin-chains 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 |
| Finite tests for information substitutes | uses method | Assurance as a vector | The method registry assigns finite-signal-quadratic-substitutes to assurance-vector. | source-declared | source record |
| Finite tests for information substitutes | uses method | Certificate-first, proof-carrying research | The method registry assigns finite-signal-quadratic-substitutes to certificate-first. | source-declared | source record |
| Finite tests for information substitutes | uses method | Counterexample- and proxy-first analysis | The method registry assigns finite-signal-quadratic-substitutes to counterexample-proxy-first. | source-declared | source record |
| Finite tests for information substitutes | uses method | Structural compression | The method registry assigns finite-signal-quadratic-substitutes 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 |
| Beyond majority counting | uses method | Agent-readable research objects | The method registry assigns fkk-majority-partitions to agent-readable-research-object. | source-declared | source record |
| Beyond majority counting | uses method | Assurance as a vector | The method registry assigns fkk-majority-partitions to assurance-vector. | source-declared | source record |
| Beyond majority counting | uses method | Certificate-first, proof-carrying research | The method registry assigns fkk-majority-partitions to certificate-first. | source-declared | source record |
| Beyond majority counting | uses method | Structural compression | The method registry assigns fkk-majority-partitions to structural-compression. | source-declared | source record |
| Flat Schmidt-rank-two chains | uses method | Adversarial scientific controls | The method registry assigns flat-schmidt-chains to adversarial-controls. | source-declared | source record |
| Flat Schmidt-rank-two chains | uses method | Agent-readable research objects | The method registry assigns flat-schmidt-chains to agent-readable-research-object. | source-declared | source record |
| Flat Schmidt-rank-two chains | uses method | Assurance as a vector | The method registry assigns flat-schmidt-chains to assurance-vector. | source-declared | source record |
| Flat Schmidt-rank-two chains | uses method | Certificate-first, proof-carrying research | The method registry assigns flat-schmidt-chains to certificate-first. | source-declared | source record |
| Flat Schmidt-rank-two chains | uses method | Exact regime stitching | The method registry assigns flat-schmidt-chains to regime-stitching. | source-declared | source record |
| Flat Schmidt-rank-two chains | uses method | Structural compression | The method registry assigns flat-schmidt-chains 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 |
| When the whole spectrum fits one pattern | uses method | Adversarial scientific controls | The method registry assigns free-parafermion-converse to adversarial-controls. | source-declared | source record |
| When the whole spectrum fits one pattern | uses method | Agent-readable research objects | The method registry assigns free-parafermion-converse to agent-readable-research-object. | source-declared | source record |
| When the whole spectrum fits one pattern | uses method | Assurance as a vector | The method registry assigns free-parafermion-converse to assurance-vector. | source-declared | source record |
| When the whole spectrum fits one pattern | uses method | Certificate-first, proof-carrying research | The method registry assigns free-parafermion-converse to certificate-first. | source-declared | source record |
| When the whole spectrum fits one pattern | uses method | Structural compression | The method registry assigns free-parafermion-converse 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 |
| Cosine configurations resist every small tilt | uses method | Adversarial scientific controls | The method registry assigns gaussian-cosine-local-stability to adversarial-controls. | source-declared | source record |
| Cosine configurations resist every small tilt | uses method | Agent-readable research objects | The method registry assigns gaussian-cosine-local-stability to agent-readable-research-object. | source-declared | source record |
| Cosine configurations resist every small tilt | uses method | Assurance as a vector | The method registry assigns gaussian-cosine-local-stability to assurance-vector. | source-declared | source record |
| Cosine configurations resist every small tilt | uses method | Productive failure and stop receipts | The method registry assigns gaussian-cosine-local-stability to productive-failure. | source-declared | source record |
| Cosine configurations resist every small tilt | uses method | Structural compression | The method registry assigns gaussian-cosine-local-stability 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 |
| Weak repulsion, exact roundness | uses method | Agent-readable research objects | The method registry assigns hartree-small-charge-rigidity to agent-readable-research-object. | source-declared | source record |
| Weak repulsion, exact roundness | uses method | Assurance as a vector | The method registry assigns hartree-small-charge-rigidity to assurance-vector. | source-declared | source record |
| Weak repulsion, exact roundness | uses method | Structural compression | The method registry assigns hartree-small-charge-rigidity 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 |
| Hidden dissipation | uses method | Adversarial scientific controls | The method registry assigns hidden-dissipation-floor to adversarial-controls. | source-declared | source record |
| Hidden dissipation | uses method | Agent-readable research objects | The method registry assigns hidden-dissipation-floor to agent-readable-research-object. | source-declared | source record |
| Hidden dissipation | uses method | Assurance as a vector | The method registry assigns hidden-dissipation-floor to assurance-vector. | source-declared | source record |
| Hidden dissipation | uses method | Certificate-first, proof-carrying research | The method registry assigns hidden-dissipation-floor to certificate-first. | source-declared | source record |
| Hidden dissipation | uses method | Structural compression | The method registry assigns hidden-dissipation-floor 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 |
| Tokunaga and Kingman asymptotics | uses method | Adversarial scientific controls | The method registry assigns horton-tokunaga-kingman-asymptotics to adversarial-controls. | source-declared | source record |
| Tokunaga and Kingman asymptotics | uses method | Agent-readable research objects | The method registry assigns horton-tokunaga-kingman-asymptotics to agent-readable-research-object. | source-declared | source record |
| Tokunaga and Kingman asymptotics | uses method | Assurance as a vector | The method registry assigns horton-tokunaga-kingman-asymptotics to assurance-vector. | source-declared | source record |
| Tokunaga and Kingman asymptotics | uses method | Structural compression | The method registry assigns horton-tokunaga-kingman-asymptotics to structural-compression. | source-declared | source record |
| How close can online choices get to hindsight? | uses method | Adversarial scientific controls | The method registry assigns iid-multiunit-prophet-limits to adversarial-controls. | source-declared | source record |
| How close can online choices get to hindsight? | uses method | Assurance as a vector | The method registry assigns iid-multiunit-prophet-limits to assurance-vector. | source-declared | source record |
| How close can online choices get to hindsight? | uses method | Certificate-first, proof-carrying research | The method registry assigns iid-multiunit-prophet-limits to certificate-first. | source-declared | source record |
| How close can online choices get to hindsight? | uses method | Structural compression | The method registry assigns iid-multiunit-prophet-limits to structural-compression. | source-declared | source record |
| Concentration without independent choices | uses method | Adversarial scientific controls | The method registry assigns inclusion-link-chernoff-concentration to adversarial-controls. | source-declared | source record |
| Concentration without independent choices | uses method | Agent-readable research objects | The method registry assigns inclusion-link-chernoff-concentration to agent-readable-research-object. | source-declared | source record |
| Concentration without independent choices | uses method | Assurance as a vector | The method registry assigns inclusion-link-chernoff-concentration to assurance-vector. | source-declared | source record |
| Concentration without independent choices | uses method | Structural compression | The method registry assigns inclusion-link-chernoff-concentration to structural-compression. | source-declared | source record |
| When event counts have a Brownian limit | uses method | Adversarial scientific controls | The method registry assigns infinite-birth-death-thinned-counts to adversarial-controls. | source-declared | source record |
| When event counts have a Brownian limit | uses method | Agent-readable research objects | The method registry assigns infinite-birth-death-thinned-counts to agent-readable-research-object. | source-declared | source record |
| When event counts have a Brownian limit | uses method | Assurance as a vector | The method registry assigns infinite-birth-death-thinned-counts to assurance-vector. | source-declared | source record |
| When event counts have a Brownian limit | uses method | Certificate-first, proof-carrying research | The method registry assigns infinite-birth-death-thinned-counts to certificate-first. | source-declared | source record |
| Internally heated convection flux bounds | uses method | Adversarial scientific controls | The method registry assigns internally-heated-convection-flux-bounds to adversarial-controls. | source-declared | source record |
| Internally heated convection flux bounds | uses method | Agent-readable research objects | The method registry assigns internally-heated-convection-flux-bounds to agent-readable-research-object. | source-declared | source record |
| Internally heated convection flux bounds | uses method | Assurance as a vector | The method registry assigns internally-heated-convection-flux-bounds to assurance-vector. | source-declared | source record |
| Internally heated convection flux bounds | uses method | Structural compression | The method registry assigns internally-heated-convection-flux-bounds 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 |
| K2P tree–network coincidence | uses method | Adversarial scientific controls | The method registry assigns k2p-tree-network-counterexample to adversarial-controls. | source-declared | source record |
| K2P tree–network coincidence | uses method | Agent-readable research objects | The method registry assigns k2p-tree-network-counterexample to agent-readable-research-object. | source-declared | source record |
| K2P tree–network coincidence | uses method | Assurance as a vector | The method registry assigns k2p-tree-network-counterexample to assurance-vector. | source-declared | source record |
| K2P tree–network coincidence | uses method | Certificate-first, proof-carrying research | The method registry assigns k2p-tree-network-counterexample to certificate-first. | source-declared | source record |
| K2P tree–network coincidence | uses method | Identification before estimation | The method registry assigns k2p-tree-network-counterexample to identification-gate. | source-declared | source record |
| K2P tree–network coincidence | uses method | Structural compression | The method registry assigns k2p-tree-network-counterexample to structural-compression. | source-declared | source record |
| The spin-2 kagome AKLT gap | uses method | Adversarial scientific controls | The method registry assigns kagome-aklt-spectral-gap to adversarial-controls. | source-declared | source record |
| The spin-2 kagome AKLT gap | uses method | Agent-readable research objects | The method registry assigns kagome-aklt-spectral-gap to agent-readable-research-object. | source-declared | source record |
| The spin-2 kagome AKLT gap | uses method | Assurance as a vector | The method registry assigns kagome-aklt-spectral-gap to assurance-vector. | source-declared | source record |
| The spin-2 kagome AKLT gap | uses method | Certificate-first, proof-carrying research | The method registry assigns kagome-aklt-spectral-gap to certificate-first. | source-declared | source record |
| The spin-2 kagome AKLT gap | uses method | Structural compression | The method registry assigns kagome-aklt-spectral-gap to structural-compression. | source-declared | source record |
| Same Betti poset. Different Stanley dimension. | uses method | Adversarial scientific controls | The method registry assigns katthan-betti-poset-counterexample to adversarial-controls. | source-declared | source record |
| Same Betti poset. Different Stanley dimension. | uses method | Agent-readable research objects | The method registry assigns katthan-betti-poset-counterexample to agent-readable-research-object. | source-declared | source record |
| Same Betti poset. Different Stanley dimension. | uses method | Assurance as a vector | The method registry assigns katthan-betti-poset-counterexample to assurance-vector. | source-declared | source record |
| Same Betti poset. Different Stanley dimension. | uses method | Certificate-first, proof-carrying research | The method registry assigns katthan-betti-poset-counterexample to certificate-first. | source-declared | source record |
| Same Betti poset. Different Stanley dimension. | uses method | Counterexample- and proxy-first analysis | The method registry assigns katthan-betti-poset-counterexample to counterexample-proxy-first. | source-declared | source record |
| Global swaps, fast mixing | uses method | Adversarial scientific controls | The method registry assigns kawasaki-analytic-fast-regimes to adversarial-controls. | source-declared | source record |
| Global swaps, fast mixing | uses method | Agent-readable research objects | The method registry assigns kawasaki-analytic-fast-regimes to agent-readable-research-object. | source-declared | source record |
| Global swaps, fast mixing | uses method | Assurance as a vector | The method registry assigns kawasaki-analytic-fast-regimes to assurance-vector. | source-declared | source record |
| Global swaps, fast mixing | uses method | Structural compression | The method registry assigns kawasaki-analytic-fast-regimes to structural-compression. | source-declared | source record |
| Stable symmetric polynomials are Agler denominators | uses method | Adversarial scientific controls | The method registry assigns knese-symmetric-multiaffine-agler to adversarial-controls. | source-declared | source record |
| Stable symmetric polynomials are Agler denominators | uses method | Agent-readable research objects | The method registry assigns knese-symmetric-multiaffine-agler to agent-readable-research-object. | source-declared | source record |
| Stable symmetric polynomials are Agler denominators | uses method | Structural compression | The method registry assigns knese-symmetric-multiaffine-agler to structural-compression. | source-declared | source record |
| Restart from a quasi-stationary law: the exact constant and the real budget scale | uses method | Adversarial scientific controls | The method registry assigns levy-qsd-exponential-moments-restart to adversarial-controls. | source-declared | source record |
| Restart from a quasi-stationary law: the exact constant and the real budget scale | uses method | Agent-readable research objects | The method registry assigns levy-qsd-exponential-moments-restart to agent-readable-research-object. | source-declared | source record |
| Restart from a quasi-stationary law: the exact constant and the real budget scale | uses method | Assurance as a vector | The method registry assigns levy-qsd-exponential-moments-restart to assurance-vector. | source-declared | source record |
| Restart from a quasi-stationary law: the exact constant and the real budget scale | uses method | Counterexample- and proxy-first analysis | The method registry assigns levy-qsd-exponential-moments-restart to counterexample-proxy-first. | 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 |
| Two trees, never the same equation | uses method | Adversarial scientific controls | The method registry assigns lotka-volterra-tree-presentations to adversarial-controls. | source-declared | source record |
| Two trees, never the same equation | uses method | Agent-readable research objects | The method registry assigns lotka-volterra-tree-presentations to agent-readable-research-object. | source-declared | source record |
| Two trees, never the same equation | uses method | Assurance as a vector | The method registry assigns lotka-volterra-tree-presentations to assurance-vector. | source-declared | source record |
| Two trees, never the same equation | uses method | Counterexample- and proxy-first analysis | The method registry assigns lotka-volterra-tree-presentations to counterexample-proxy-first. | 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 |
| Modular-code distance obstructions | uses method | Adversarial scientific controls | The method registry assigns modular-code-obstructions to adversarial-controls. | source-declared | source record |
| Modular-code distance obstructions | uses method | Agent-readable research objects | The method registry assigns modular-code-obstructions to agent-readable-research-object. | source-declared | source record |
| Modular-code distance obstructions | uses method | Assurance as a vector | The method registry assigns modular-code-obstructions to assurance-vector. | source-declared | source record |
| Modular-code distance obstructions | uses method | Certificate-first, proof-carrying research | The method registry assigns modular-code-obstructions to certificate-first. | source-declared | source record |
| Modular-code distance obstructions | uses method | Structural compression | The method registry assigns modular-code-obstructions to structural-compression. | 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 |
| Positive coefficients, wrong destination | uses method | Adversarial scientific controls | The method registry assigns mprk-nonnegative-two-cycles to adversarial-controls. | source-declared | source record |
| Positive coefficients, wrong destination | uses method | Agent-readable research objects | The method registry assigns mprk-nonnegative-two-cycles to agent-readable-research-object. | source-declared | source record |
| Positive coefficients, wrong destination | uses method | Assurance as a vector | The method registry assigns mprk-nonnegative-two-cycles to assurance-vector. | source-declared | source record |
| Positive coefficients, wrong destination | uses method | Certificate-first, proof-carrying research | The method registry assigns mprk-nonnegative-two-cycles to certificate-first. | source-declared | source record |
| Positive coefficients, wrong destination | uses method | Counterexample- and proxy-first analysis | The method registry assigns mprk-nonnegative-two-cycles to counterexample-proxy-first. | source-declared | source record |
| The multiplane lensing bound | uses method | Adversarial scientific controls | The method registry assigns multiplane-lensing-sparse-bound to adversarial-controls. | source-declared | source record |
| The multiplane lensing bound | uses method | Agent-readable research objects | The method registry assigns multiplane-lensing-sparse-bound to agent-readable-research-object. | source-declared | source record |
| The multiplane lensing bound | uses method | Assurance as a vector | The method registry assigns multiplane-lensing-sparse-bound to assurance-vector. | source-declared | source record |
| The multiplane lensing bound | uses method | Certificate-first, proof-carrying research | The method registry assigns multiplane-lensing-sparse-bound to certificate-first. | source-declared | source record |
| The multiplane lensing bound | uses method | Structural compression | The method registry assigns multiplane-lensing-sparse-bound 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 |
| When slices control the whole | uses method | Agent-readable research objects | The method registry assigns noninteger-sliced-wasserstein to agent-readable-research-object. | source-declared | source record |
| When slices control the whole | uses method | Assurance as a vector | The method registry assigns noninteger-sliced-wasserstein to assurance-vector. | source-declared | source record |
| When slices control the whole | uses method | Structural compression | The method registry assigns noninteger-sliced-wasserstein 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 |
| When the remainders vanish | uses method | Adversarial scientific controls | The method registry assigns overpartition-congruences-and-towers to adversarial-controls. | source-declared | source record |
| When the remainders vanish | uses method | Agent-readable research objects | The method registry assigns overpartition-congruences-and-towers to agent-readable-research-object. | source-declared | source record |
| When the remainders vanish | uses method | Assurance as a vector | The method registry assigns overpartition-congruences-and-towers to assurance-vector. | source-declared | source record |
| When the remainders vanish | uses method | Certificate-first, proof-carrying research | The method registry assigns overpartition-congruences-and-towers to certificate-first. | source-declared | source record |
| When the remainders vanish | uses method | Structural compression | The method registry assigns overpartition-congruences-and-towers to structural-compression. | source-declared | source record |
| When capped swaps lock in | uses method | Adversarial scientific controls | The method registry assigns pass-and-swap-bounded-swaps to adversarial-controls. | source-declared | source record |
| When capped swaps lock in | uses method | Agent-readable research objects | The method registry assigns pass-and-swap-bounded-swaps to agent-readable-research-object. | source-declared | source record |
| When capped swaps lock in | uses method | Assurance as a vector | The method registry assigns pass-and-swap-bounded-swaps to assurance-vector. | source-declared | source record |
| When capped swaps lock in | uses method | Certificate-first, proof-carrying research | The method registry assigns pass-and-swap-bounded-swaps to certificate-first. | source-declared | source record |
| When capped swaps lock in | uses method | Counterexample- and proxy-first analysis | The method registry assigns pass-and-swap-bounded-swaps to counterexample-proxy-first. | source-declared | source record |
| More budget never removes effort | uses method | Adversarial scientific controls | The method registry assigns periodic-regulation-budget-monotonicity to adversarial-controls. | source-declared | source record |
| More budget never removes effort | uses method | Agent-readable research objects | The method registry assigns periodic-regulation-budget-monotonicity to agent-readable-research-object. | source-declared | source record |
| More budget never removes effort | uses method | Assurance as a vector | The method registry assigns periodic-regulation-budget-monotonicity to assurance-vector. | source-declared | source record |
| More budget never removes effort | uses method | Counterexample- and proxy-first analysis | The method registry assigns periodic-regulation-budget-monotonicity to counterexample-proxy-first. | source-declared | source record |
| When every local minimum is global | uses method | Adversarial scientific controls | The method registry assigns perron-minima to adversarial-controls. | source-declared | source record |
| When every local minimum is global | uses method | Agent-readable research objects | The method registry assigns perron-minima to agent-readable-research-object. | source-declared | source record |
| When every local minimum is global | uses method | Assurance as a vector | The method registry assigns perron-minima to assurance-vector. | source-declared | source record |
| When every local minimum is global | uses method | Certificate-first, proof-carrying research | The method registry assigns perron-minima to certificate-first. | source-declared | source record |
| When every local minimum is global | uses method | Structural compression | The method registry assigns perron-minima 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 |
| Exact sensitivity certificates for planar transport maps | uses method | Adversarial scientific controls | The method registry assigns planar-transport-map-sensitivity-certificates to adversarial-controls. | source-declared | source record |
| Exact sensitivity certificates for planar transport maps | uses method | Agent-readable research objects | The method registry assigns planar-transport-map-sensitivity-certificates to agent-readable-research-object. | source-declared | source record |
| Exact sensitivity certificates for planar transport maps | uses method | Assurance as a vector | The method registry assigns planar-transport-map-sensitivity-certificates to assurance-vector. | source-declared | source record |
| Exact sensitivity certificates for planar transport maps | uses method | Certificate-first, proof-carrying research | The method registry assigns planar-transport-map-sensitivity-certificates to certificate-first. | source-declared | source record |
| Exact sensitivity certificates for planar transport maps | uses method | Certified decision margins | The method registry assigns planar-transport-map-sensitivity-certificates to certified-decision-margin. | source-declared | source record |
| PMMS for three agents up to eight goods | uses method | Adversarial scientific controls | The method registry assigns pmms-three-agents-eight-goods to adversarial-controls. | source-declared | source record |
| PMMS for three agents up to eight goods | uses method | Agent-readable research objects | The method registry assigns pmms-three-agents-eight-goods to agent-readable-research-object. | source-declared | source record |
| PMMS for three agents up to eight goods | uses method | Assurance as a vector | The method registry assigns pmms-three-agents-eight-goods to assurance-vector. | source-declared | source record |
| PMMS for three agents up to eight goods | uses method | Certificate-first, proof-carrying research | The method registry assigns pmms-three-agents-eight-goods to certificate-first. | source-declared | source record |
| PMMS for three agents up to eight goods | uses method | Structural compression | The method registry assigns pmms-three-agents-eight-goods 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 |
| Two obstructions to splitting a superconductor | uses method | Adversarial scientific controls | The method registry assigns primitive-su-primitivity to adversarial-controls. | source-declared | source record |
| Two obstructions to splitting a superconductor | uses method | Agent-readable research objects | The method registry assigns primitive-su-primitivity to agent-readable-research-object. | source-declared | source record |
| Two obstructions to splitting a superconductor | uses method | Assurance as a vector | The method registry assigns primitive-su-primitivity to assurance-vector. | source-declared | source record |
| Two obstructions to splitting a superconductor | uses method | Structural compression | The method registry assigns primitive-su-primitivity to structural-compression. | source-declared | source record |
| The shortest jobs set the freshness scale | uses method | Adversarial scientific controls | The method registry assigns processor-sharing-freshness to adversarial-controls. | source-declared | source record |
| The shortest jobs set the freshness scale | uses method | Agent-readable research objects | The method registry assigns processor-sharing-freshness to agent-readable-research-object. | source-declared | source record |
| The shortest jobs set the freshness scale | uses method | Assurance as a vector | The method registry assigns processor-sharing-freshness to assurance-vector. | source-declared | source record |
| The shortest jobs set the freshness scale | uses method | Structural compression | The method registry assigns processor-sharing-freshness to structural-compression. | source-declared | source record |
| Rent today, or commit for the season? | uses method | Adversarial scientific controls | The method registry assigns prophet-over-time-limit to adversarial-controls. | source-declared | source record |
| Rent today, or commit for the season? | uses method | Assurance as a vector | The method registry assigns prophet-over-time-limit to assurance-vector. | source-declared | source record |
| Rent today, or commit for the season? | uses method | Certificate-first, proof-carrying research | The method registry assigns prophet-over-time-limit to certificate-first. | source-declared | source record |
| Rent today, or commit for the season? | uses method | Structural compression | The method registry assigns prophet-over-time-limit 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 |
| Five reactions, four equilibria | uses method | Adversarial scientific controls | The method registry assigns quadratic-equilibrium-sharpness to adversarial-controls. | source-declared | source record |
| Five reactions, four equilibria | uses method | Agent-readable research objects | The method registry assigns quadratic-equilibrium-sharpness to agent-readable-research-object. | source-declared | source record |
| Five reactions, four equilibria | uses method | Assurance as a vector | The method registry assigns quadratic-equilibrium-sharpness to assurance-vector. | source-declared | source record |
| Five reactions, four equilibria | uses method | Structural compression | The method registry assigns quadratic-equilibrium-sharpness 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 |
| Rational Laguerre mosaics | uses method | Adversarial scientific controls | The method registry assigns rational-laguerre-mosaics to adversarial-controls. | source-declared | source record |
| Rational Laguerre mosaics | uses method | Agent-readable research objects | The method registry assigns rational-laguerre-mosaics to agent-readable-research-object. | source-declared | source record |
| Rational Laguerre mosaics | uses method | Assurance as a vector | The method registry assigns rational-laguerre-mosaics to assurance-vector. | source-declared | source record |
| Rational Laguerre mosaics | uses method | Certificate-first, proof-carrying research | The method registry assigns rational-laguerre-mosaics to certificate-first. | source-declared | source record |
| Rational Laguerre mosaics | uses method | Structural compression | The method registry assigns rational-laguerre-mosaics to structural-compression. | source-declared | source record |
| Two layers, logarithmic mixing | uses method | Adversarial scientific controls | The method registry assigns rbm-nonnegative-logarithmic-mixing to adversarial-controls. | source-declared | source record |
| Two layers, logarithmic mixing | uses method | Agent-readable research objects | The method registry assigns rbm-nonnegative-logarithmic-mixing to agent-readable-research-object. | source-declared | source record |
| Two layers, logarithmic mixing | uses method | Assurance as a vector | The method registry assigns rbm-nonnegative-logarithmic-mixing to assurance-vector. | source-declared | source record |
| Two layers, logarithmic mixing | uses method | Structural compression | The method registry assigns rbm-nonnegative-logarithmic-mixing to structural-compression. | 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 |
| Certified local minima for two regular polygons | uses method | Adversarial scientific controls | The method registry assigns regular-heptagon-octagon-local-minimality to adversarial-controls. | source-declared | source record |
| Certified local minima for two regular polygons | uses method | Agent-readable research objects | The method registry assigns regular-heptagon-octagon-local-minimality to agent-readable-research-object. | source-declared | source record |
| Certified local minima for two regular polygons | uses method | Assurance as a vector | The method registry assigns regular-heptagon-octagon-local-minimality to assurance-vector. | source-declared | source record |
| Certified local minima for two regular polygons | uses method | Certificate-first, proof-carrying research | The method registry assigns regular-heptagon-octagon-local-minimality to certificate-first. | source-declared | source record |
| Certified local minima for two regular polygons | uses method | Structural compression | The method registry assigns regular-heptagon-octagon-local-minimality to structural-compression. | source-declared | source record |
| One reverse arrow changes the dynamics | uses method | Adversarial scientific controls | The method registry assigns reverse-reaction-attracting-oscillations to adversarial-controls. | source-declared | source record |
| One reverse arrow changes the dynamics | uses method | Agent-readable research objects | The method registry assigns reverse-reaction-attracting-oscillations to agent-readable-research-object. | source-declared | source record |
| One reverse arrow changes the dynamics | uses method | Assurance as a vector | The method registry assigns reverse-reaction-attracting-oscillations to assurance-vector. | source-declared | source record |
| One reverse arrow changes the dynamics | uses method | Certificate-first, proof-carrying research | The method registry assigns reverse-reaction-attracting-oscillations to certificate-first. | source-declared | source record |
| One reverse arrow changes the dynamics | uses method | Counterexample- and proxy-first analysis | The method registry assigns reverse-reaction-attracting-oscillations to counterexample-proxy-first. | source-declared | source record |
| Entropy decay without a field ceiling | uses method | Agent-readable research objects | The method registry assigns rfim-unbounded-fields-entropy to agent-readable-research-object. | source-declared | source record |
| Entropy decay without a field ceiling | uses method | Assurance as a vector | The method registry assigns rfim-unbounded-fields-entropy to assurance-vector. | source-declared | source record |
| Entropy decay without a field ceiling | uses method | Lineage-aware reuse practice | The method registry assigns rfim-unbounded-fields-entropy to research-lineage-reuse. | source-declared | source record |
| Entropy decay without a field ceiling | uses method | Structural compression | The method registry assigns rfim-unbounded-fields-entropy to structural-compression. | source-declared | source record |
| Spectrum-matched robustness | uses method | Adversarial scientific controls | The method registry assigns robust-gaussian-inverse-estimation to adversarial-controls. | source-declared | source record |
| Spectrum-matched robustness | uses method | Agent-readable research objects | The method registry assigns robust-gaussian-inverse-estimation to agent-readable-research-object. | source-declared | source record |
| Spectrum-matched robustness | uses method | Assurance as a vector | The method registry assigns robust-gaussian-inverse-estimation to assurance-vector. | source-declared | source record |
| Spectrum-matched robustness | uses method | Certificate-first, proof-carrying research | The method registry assigns robust-gaussian-inverse-estimation to certificate-first. | source-declared | source record |
| Spectrum-matched robustness | uses method | Structural compression | The method registry assigns robust-gaussian-inverse-estimation 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 |
| Four seven-cycles: at most 112 | uses method | Adversarial scientific controls | The method registry assigns seven-cycle-fourth-power-upper112 to adversarial-controls. | source-declared | source record |
| Four seven-cycles: at most 112 | uses method | Agent-readable research objects | The method registry assigns seven-cycle-fourth-power-upper112 to agent-readable-research-object. | source-declared | source record |
| Four seven-cycles: at most 112 | uses method | Assurance as a vector | The method registry assigns seven-cycle-fourth-power-upper112 to assurance-vector. | source-declared | source record |
| Four seven-cycles: at most 112 | uses method | Certificate-first, proof-carrying research | The method registry assigns seven-cycle-fourth-power-upper112 to certificate-first. | source-declared | source record |
| Four seven-cycles: at most 112 | uses method | Structural compression | The method registry assigns seven-cycle-fourth-power-upper112 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 |
| When the extremal distribution changes | uses method | Assurance as a vector | The method registry assigns sharp-logconcave-moment-comparison to assurance-vector. | source-declared | source record |
| When the extremal distribution changes | uses method | Certificate-first, proof-carrying research | The method registry assigns sharp-logconcave-moment-comparison to certificate-first. | source-declared | source record |
| When the extremal distribution changes | uses method | Exact regime stitching | The method registry assigns sharp-logconcave-moment-comparison to regime-stitching. | source-declared | source record |
| When the extremal distribution changes | uses method | Structural compression | The method registry assigns sharp-logconcave-moment-comparison 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 |
| The sharp rank-three constant | uses method | Adversarial scientific controls | The method registry assigns sharp-rank-three-chollet-order-five to adversarial-controls. | source-declared | source record |
| The sharp rank-three constant | uses method | Agent-readable research objects | The method registry assigns sharp-rank-three-chollet-order-five to agent-readable-research-object. | source-declared | source record |
| The sharp rank-three constant | uses method | Assurance as a vector | The method registry assigns sharp-rank-three-chollet-order-five to assurance-vector. | source-declared | source record |
| The sharp rank-three constant | uses method | Certificate-first, proof-carrying research | The method registry assigns sharp-rank-three-chollet-order-five to certificate-first. | source-declared | source record |
| The sharp rank-three constant | uses method | Structural compression | The method registry assigns sharp-rank-three-chollet-order-five to structural-compression. | source-declared | source record |
| Tuning the window: the sharp law | uses method | Adversarial scientific controls | The method registry assigns sharp-shannon-window-law to adversarial-controls. | source-declared | source record |
| Tuning the window: the sharp law | uses method | Agent-readable research objects | The method registry assigns sharp-shannon-window-law to agent-readable-research-object. | source-declared | source record |
| Tuning the window: the sharp law | uses method | Assurance as a vector | The method registry assigns sharp-shannon-window-law to assurance-vector. | source-declared | source record |
| Tuning the window: the sharp law | uses method | Certificate-first, proof-carrying research | The method registry assigns sharp-shannon-window-law to certificate-first. | source-declared | source record |
| Tuning the window: the sharp law | uses method | Counterexample- and proxy-first analysis | The method registry assigns sharp-shannon-window-law to counterexample-proxy-first. | source-declared | source record |
| What the past can—and cannot—predict | uses method | Adversarial scientific controls | The method registry assigns sis-reconstruction-continuation to adversarial-controls. | source-declared | source record |
| What the past can—and cannot—predict | uses method | Agent-readable research objects | The method registry assigns sis-reconstruction-continuation to agent-readable-research-object. | source-declared | source record |
| What the past can—and cannot—predict | uses method | Assurance as a vector | The method registry assigns sis-reconstruction-continuation to assurance-vector. | source-declared | source record |
| What the past can—and cannot—predict | uses method | Counterexample- and proxy-first analysis | The method registry assigns sis-reconstruction-continuation to counterexample-proxy-first. | source-declared | source record |
| What the past can—and cannot—predict | uses method | Structural compression | The method registry assigns sis-reconstruction-continuation 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 |
| The cost of stepping straight back | uses method | Agent-readable research objects | The method registry assigns small-exponent-percolation to agent-readable-research-object. | source-declared | source record |
| The cost of stepping straight back | uses method | Assurance as a vector | The method registry assigns small-exponent-percolation to assurance-vector. | source-declared | source record |
| The cost of stepping straight back | uses method | Structural compression | The method registry assigns small-exponent-percolation 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 |
| The square maximises λ₂/λ₁ among quadrilaterals | uses method | Adversarial scientific controls | The method registry assigns square-maximises-dirichlet-ratio-quadrilaterals to adversarial-controls. | source-declared | source record |
| The square maximises λ₂/λ₁ among quadrilaterals | uses method | Agent-readable research objects | The method registry assigns square-maximises-dirichlet-ratio-quadrilaterals to agent-readable-research-object. | source-declared | source record |
| The square maximises λ₂/λ₁ among quadrilaterals | uses method | Assurance as a vector | The method registry assigns square-maximises-dirichlet-ratio-quadrilaterals to assurance-vector. | source-declared | source record |
| The square maximises λ₂/λ₁ among quadrilaterals | uses method | Certificate-first, proof-carrying research | The method registry assigns square-maximises-dirichlet-ratio-quadrilaterals to certificate-first. | source-declared | source record |
| The square maximises λ₂/λ₁ among quadrilaterals | uses method | Structural compression | The method registry assigns square-maximises-dirichlet-ratio-quadrilaterals 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 |
| Smooth profiles that remain random | uses method | Agent-readable research objects | The method registry assigns stable-random-radial-profile to agent-readable-research-object. | source-declared | source record |
| Smooth profiles that remain random | uses method | Assurance as a vector | The method registry assigns stable-random-radial-profile to assurance-vector. | source-declared | source record |
| Smooth profiles that remain random | uses method | Structural compression | The method registry assigns stable-random-radial-profile to structural-compression. | source-declared | source record |
| Less paid. Still rejected. | uses method | Adversarial scientific controls | The method registry assigns state-contingent-comparability to adversarial-controls. | source-declared | source record |
| Less paid. Still rejected. | uses method | Agent-readable research objects | The method registry assigns state-contingent-comparability to agent-readable-research-object. | source-declared | source record |
| Less paid. Still rejected. | uses method | Assurance as a vector | The method registry assigns state-contingent-comparability to assurance-vector. | source-declared | source record |
| Less paid. Still rejected. | uses method | Certificate-first, proof-carrying research | The method registry assigns state-contingent-comparability to certificate-first. | source-declared | source record |
| Less paid. Still rejected. | uses method | Certified decision margins | The method registry assigns state-contingent-comparability to certified-decision-margin. | source-declared | source record |
| Less paid. Still rejected. | uses method | Identification before estimation | The method registry assigns state-contingent-comparability to identification-gate. | source-declared | source record |
| Less paid. Still rejected. | uses method | Partial identification and robust decisions | The method registry assigns state-contingent-comparability to partial-identification. | source-declared | source record |
| Steady landscapes, coupled drainage | uses method | Adversarial scientific controls | The method registry assigns steady-stream-power-landscapes to adversarial-controls. | source-declared | source record |
| Steady landscapes, coupled drainage | uses method | Agent-readable research objects | The method registry assigns steady-stream-power-landscapes to agent-readable-research-object. | source-declared | source record |
| Steady landscapes, coupled drainage | uses method | Assurance as a vector | The method registry assigns steady-stream-power-landscapes to assurance-vector. | source-declared | source record |
| Steady landscapes, coupled drainage | uses method | Exact regime stitching | The method registry assigns steady-stream-power-landscapes to regime-stitching. | source-declared | source record |
| Steady landscapes, coupled drainage | uses method | Structural compression | The method registry assigns steady-stream-power-landscapes to structural-compression. | source-declared | source record |
| Stocks are not flows | uses method | Agent-readable research objects | The method registry assigns stocks-are-not-flows to agent-readable-research-object. | source-declared | source record |
| Stocks are not flows | uses method | Assurance as a vector | The method registry assigns stocks-are-not-flows to assurance-vector. | source-declared | source record |
| Stocks are not flows | uses method | Identification before estimation | The method registry assigns stocks-are-not-flows to identification-gate. | source-declared | source record |
| Stocks are not flows | uses method | Partial identification and robust decisions | The method registry assigns stocks-are-not-flows to partial-identification. | source-declared | source record |
| Stocks are not flows | uses method | Productive failure and stop receipts | The method registry assigns stocks-are-not-flows to productive-failure. | source-declared | source record |
| A primitive circle, except once | uses method | Agent-readable research objects | The method registry assigns sun-circular-primitive-permutation to agent-readable-research-object. | source-declared | source record |
| A primitive circle, except once | uses method | Assurance as a vector | The method registry assigns sun-circular-primitive-permutation to assurance-vector. | source-declared | source record |
| A primitive circle, except once | uses method | Certificate-first, proof-carrying research | The method registry assigns sun-circular-primitive-permutation to certificate-first. | source-declared | source record |
| A circle of primitive sums | uses method | Agent-readable research objects | The method registry assigns sun-hou-primitive-sum-circle to agent-readable-research-object. | source-declared | source record |
| A circle of primitive sums | uses method | Assurance as a vector | The method registry assigns sun-hou-primitive-sum-circle to assurance-vector. | source-declared | source record |
| A circle of primitive sums | uses method | Certificate-first, proof-carrying research | The method registry assigns sun-hou-primitive-sum-circle to certificate-first. | 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 |
| Szöllősi-family MUB exclusion | uses method | Adversarial scientific controls | The method registry assigns szollosi-mub-exclusion to adversarial-controls. | source-declared | source record |
| Szöllősi-family MUB exclusion | uses method | Agent-readable research objects | The method registry assigns szollosi-mub-exclusion to agent-readable-research-object. | source-declared | source record |
| Szöllősi-family MUB exclusion | uses method | Assurance as a vector | The method registry assigns szollosi-mub-exclusion to assurance-vector. | source-declared | source record |
| Szöllősi-family MUB exclusion | uses method | Certificate-first, proof-carrying research | The method registry assigns szollosi-mub-exclusion to certificate-first. | 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 |
| Why fourth-order tetrahedral Stokes elements need a sextic | uses method | Adversarial scientific controls | The method registry assigns tetrahedral-moment-stokes-elements to adversarial-controls. | source-declared | source record |
| Why fourth-order tetrahedral Stokes elements need a sextic | uses method | Agent-readable research objects | The method registry assigns tetrahedral-moment-stokes-elements to agent-readable-research-object. | source-declared | source record |
| Why fourth-order tetrahedral Stokes elements need a sextic | uses method | Assurance as a vector | The method registry assigns tetrahedral-moment-stokes-elements to assurance-vector. | source-declared | source record |
| Why fourth-order tetrahedral Stokes elements need a sextic | uses method | Counterexample- and proxy-first analysis | The method registry assigns tetrahedral-moment-stokes-elements to counterexample-proxy-first. | source-declared | source record |
| Three paths, positive coefficients | uses method | Agent-readable research objects | The method registry assigns theta-graphs-c3-e-positive to agent-readable-research-object. | source-declared | source record |
| Three paths, positive coefficients | uses method | Assurance as a vector | The method registry assigns theta-graphs-c3-e-positive to assurance-vector. | source-declared | source record |
| Three paths, positive coefficients | uses method | Structural compression | The method registry assigns theta-graphs-c3-e-positive 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 |
| Three-copy qutrit Werner undistillability | uses method | Adversarial scientific controls | The method registry assigns three-copy-werner-undistillability to adversarial-controls. | source-declared | source record |
| Three-copy qutrit Werner undistillability | uses method | Agent-readable research objects | The method registry assigns three-copy-werner-undistillability to agent-readable-research-object. | source-declared | source record |
| Three-copy qutrit Werner undistillability | uses method | Assurance as a vector | The method registry assigns three-copy-werner-undistillability to assurance-vector. | source-declared | source record |
| Three-copy qutrit Werner undistillability | uses method | Certificate-first, proof-carrying research | The method registry assigns three-copy-werner-undistillability to certificate-first. | source-declared | source record |
| Three-copy qutrit Werner undistillability | uses method | Structural compression | The method registry assigns three-copy-werner-undistillability to structural-compression. | source-declared | source record |
| Three Gaussian components break projection tests | uses method | Adversarial scientific controls | The method registry assigns three-gaussian-projection-counterexample to adversarial-controls. | source-declared | source record |
| Three Gaussian components break projection tests | uses method | Agent-readable research objects | The method registry assigns three-gaussian-projection-counterexample to agent-readable-research-object. | source-declared | source record |
| Three Gaussian components break projection tests | uses method | Counterexample- and proxy-first analysis | The method registry assigns three-gaussian-projection-counterexample to counterexample-proxy-first. | source-declared | source record |
| When a network cannot look like a tree | uses method | Adversarial scientific controls | The method registry assigns tree-network-separation to adversarial-controls. | source-declared | source record |
| When a network cannot look like a tree | uses method | Agent-readable research objects | The method registry assigns tree-network-separation to agent-readable-research-object. | source-declared | source record |
| When a network cannot look like a tree | uses method | Assurance as a vector | The method registry assigns tree-network-separation to assurance-vector. | source-declared | source record |
| When a network cannot look like a tree | uses method | Exact regime stitching | The method registry assigns tree-network-separation to regime-stitching. | source-declared | source record |
| When a network cannot look like a tree | uses method | Structural compression | The method registry assigns tree-network-separation 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 |
| Two colours, exact remainders | uses method | Adversarial scientific controls | The method registry assigns two-colour-overpartition-congruences to adversarial-controls. | source-declared | source record |
| Two colours, exact remainders | uses method | Agent-readable research objects | The method registry assigns two-colour-overpartition-congruences to agent-readable-research-object. | source-declared | source record |
| Two colours, exact remainders | uses method | Assurance as a vector | The method registry assigns two-colour-overpartition-congruences to assurance-vector. | source-declared | source record |
| Two colours, exact remainders | uses method | Certificate-first, proof-carrying research | The method registry assigns two-colour-overpartition-congruences to certificate-first. | source-declared | source record |
| Two colours, exact remainders | uses method | Structural compression | The method registry assigns two-colour-overpartition-congruences to structural-compression. | source-declared | source record |
| Dormancy can sustain oscillations | uses method | Adversarial scientific controls | The method registry assigns two-host-dormancy-oscillations to adversarial-controls. | source-declared | source record |
| Dormancy can sustain oscillations | uses method | Agent-readable research objects | The method registry assigns two-host-dormancy-oscillations to agent-readable-research-object. | source-declared | source record |
| Dormancy can sustain oscillations | uses method | Assurance as a vector | The method registry assigns two-host-dormancy-oscillations to assurance-vector. | source-declared | source record |
| Dormancy can sustain oscillations | uses method | Certificate-first, proof-carrying research | The method registry assigns two-host-dormancy-oscillations to certificate-first. | 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 one split-network design wins | uses method | Agent-readable research objects | The method registry assigns uniform-split-reliability to agent-readable-research-object. | source-declared | source record |
| When one split-network design wins | uses method | Assurance as a vector | The method registry assigns uniform-split-reliability to assurance-vector. | source-declared | source record |
| When one split-network design wins | uses method | Certificate-first, proof-carrying research | The method registry assigns uniform-split-reliability to certificate-first. | source-declared | source record |
| When one split-network design wins | uses method | Structural compression | The method registry assigns uniform-split-reliability 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 |
| One equilibrium. Different sharp constants. | uses method | Adversarial scientific controls | The method registry assigns unique-equilibrium-lsi-separation to adversarial-controls. | source-declared | source record |
| One equilibrium. Different sharp constants. | uses method | Agent-readable research objects | The method registry assigns unique-equilibrium-lsi-separation to agent-readable-research-object. | source-declared | source record |
| One equilibrium. Different sharp constants. | uses method | Assurance as a vector | The method registry assigns unique-equilibrium-lsi-separation to assurance-vector. | source-declared | source record |
| One equilibrium. Different sharp constants. | uses method | Counterexample- and proxy-first analysis | The method registry assigns unique-equilibrium-lsi-separation to counterexample-proxy-first. | source-declared | source record |
| One equilibrium. Different sharp constants. | uses method | Structural compression | The method registry assigns unique-equilibrium-lsi-separation to structural-compression. | 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 |
| Waiting times can fake dissipation | uses method | Adversarial scientific controls | The method registry assigns waiting-time-entropy-bound-counterexamples to adversarial-controls. | source-declared | source record |
| Waiting times can fake dissipation | uses method | Agent-readable research objects | The method registry assigns waiting-time-entropy-bound-counterexamples to agent-readable-research-object. | source-declared | source record |
| Waiting times can fake dissipation | uses method | Assurance as a vector | The method registry assigns waiting-time-entropy-bound-counterexamples to assurance-vector. | source-declared | source record |
| Waiting times can fake dissipation | uses method | Counterexample- and proxy-first analysis | The method registry assigns waiting-time-entropy-bound-counterexamples to counterexample-proxy-first. | source-declared | source record |
| Wales 20 mph audit: the manuscript | uses method | Adversarial scientific controls | The method registry assigns wales-20mph-attribution-manuscript to adversarial-controls. | source-declared | source record |
| Wales 20 mph audit: the manuscript | uses method | Agent-readable research objects | The method registry assigns wales-20mph-attribution-manuscript to agent-readable-research-object. | source-declared | source record |
| Wales 20 mph audit: the manuscript | uses method | Assurance as a vector | The method registry assigns wales-20mph-attribution-manuscript to assurance-vector. | source-declared | source record |
| Wales 20 mph audit: the manuscript | uses method | Counterexample- and proxy-first analysis | The method registry assigns wales-20mph-attribution-manuscript to counterexample-proxy-first. | source-declared | source record |
| Wales 20 mph audit: the manuscript | uses method | Identification before estimation | The method registry assigns wales-20mph-attribution-manuscript to identification-gate. | 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 |
| When a new route opens without a kink | uses method | Adversarial scientific controls | The method registry assigns wardrop-smooth-route-regimes to adversarial-controls. | source-declared | source record |
| When a new route opens without a kink | uses method | Agent-readable research objects | The method registry assigns wardrop-smooth-route-regimes to agent-readable-research-object. | source-declared | source record |
| When a new route opens without a kink | uses method | Assurance as a vector | The method registry assigns wardrop-smooth-route-regimes to assurance-vector. | source-declared | source record |
| When a new route opens without a kink | uses method | Counterexample- and proxy-first analysis | The method registry assigns wardrop-smooth-route-regimes to counterexample-proxy-first. | source-declared | source record |
| Wilhelm–Heinrich large-gain uniqueness | uses method | Adversarial scientific controls | The method registry assigns wilhelm-heinrich-large-gain to adversarial-controls. | source-declared | source record |
| Wilhelm–Heinrich large-gain uniqueness | uses method | Agent-readable research objects | The method registry assigns wilhelm-heinrich-large-gain to agent-readable-research-object. | source-declared | source record |
| Wilhelm–Heinrich large-gain uniqueness | uses method | Assurance as a vector | The method registry assigns wilhelm-heinrich-large-gain to assurance-vector. | source-declared | source record |
| Wilhelm–Heinrich large-gain uniqueness | uses method | Certificate-first, proof-carrying research | The method registry assigns wilhelm-heinrich-large-gain to certificate-first. | source-declared | source record |
| Wilhelm–Heinrich large-gain uniqueness | uses method | Structural compression | The method registry assigns wilhelm-heinrich-large-gain to structural-compression. | source-declared | source record |
| Classical accuracy survives the exponential lift | uses method | Adversarial scientific controls | The method registry assigns williamson-order-transfer to adversarial-controls. | source-declared | source record |
| Classical accuracy survives the exponential lift | uses method | Agent-readable research objects | The method registry assigns williamson-order-transfer to agent-readable-research-object. | source-declared | source record |
| Classical accuracy survives the exponential lift | uses method | Assurance as a vector | The method registry assigns williamson-order-transfer to assurance-vector. | source-declared | source record |
| Classical accuracy survives the exponential lift | uses method | Certificate-first, proof-carrying research | The method registry assigns williamson-order-transfer to certificate-first. | source-declared | source record |
| Classical accuracy survives the exponential lift | uses method | Structural compression | The method registry assigns williamson-order-transfer to structural-compression. | 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 |
| What two natural five-variable routes cannot do | uses method | Adversarial scientific controls | The method registry assigns wmy5-graded-obstructions to adversarial-controls. | source-declared | source record |
| What two natural five-variable routes cannot do | uses method | Agent-readable research objects | The method registry assigns wmy5-graded-obstructions to agent-readable-research-object. | source-declared | source record |
| What two natural five-variable routes cannot do | uses method | Assurance as a vector | The method registry assigns wmy5-graded-obstructions to assurance-vector. | source-declared | source record |
| What two natural five-variable routes cannot do | uses method | Certificate-first, proof-carrying research | The method registry assigns wmy5-graded-obstructions to certificate-first. | source-declared | source record |
| What two natural five-variable routes cannot do | uses method | Productive failure and stop receipts | The method registry assigns wmy5-graded-obstructions to productive-failure. | source-declared | source record |
| What two natural five-variable routes cannot do | uses method | Structural compression | The method registry assigns wmy5-graded-obstructions 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 |
Research memory for agents
Start with the agent quickstart and source-bound index. The local packet tool retrieves specific research moves, obstructions, source passages and next tests, showing matched, conflicting and unknown conditions separately. It searches all release summaries while keeping the smaller curated card library visibly distinct. A match is a reading priority, not a theorem-applicability certificate.
The index is regenerated from local source files during the ordinary site build. Per-release and per-card fingerprints let agents compare versions without treating an unchanged source as new evidence. Selected case notes are retrospective extractions, not reconstructed experimental histories. The evaluation recorder can register future comparisons and retain every attempt, including failures and missing outcomes. Its existence is not evidence of a research benefit.
All of this runs locally from static downloads. No hosted model, server-side search, automatic campaign or paid Cloudflare service is required. Queries and private campaign records are not uploaded.
Develop a checkable research route
The research route workbench goes beyond navigating papers: it checks hypotheses, composes source-linked lemma cards and runs a bounded graph-to-SAT search. A returned vertex witness is checked directly against the original graph. You can supply your own graph and download the input-bound attempts.
The recorded pilot constructs a 15-vertex ordinary dominating set for the published 48-vertex graph, ruling out a proposed strengthening from independent to ordinary domination. Prior art already covers the general inequality; this is a constructive method-transfer test, not a new theorem. A failed restricted search does not rule out other dominating sets. Only this first operator is executable; the tool does not yet generate arbitrary research projects or demonstrate general acceleration.
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 generated from the source records and displayed above the map. 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.
Direct links initially shows connected releases rather than crowding the map with unlinked nodes. Search still finds unlinked releases by title or identifier; the missingness panel preserves their count. Search results are selectable by name, and the proposal view can be filtered by review state. Search and filter choices can be shared through the page URL.
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 bounded discovery pilot of 14 October 2026 compared citations, declared keywords, extracted object names and release text to nominate previously unrecorded connections. Its repository-only candidates are retrieval results, not discoveries or accepted relationships. Review against the connected claims must precede any proposal or registry change.
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 operational. The discovery pilot is implemented, with a frozen evaluation and explicit limitations. Its model-labelled sample is not independent scientific review or evidence of research acceleration.
Safe reuse
The 15 October completion review records dispositions for all seven pilot drafts, including rejected transfers and deferred comparisons. None has been promoted to an accepted edge by similarity alone.
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.