Skip to content
Nelsius Mathematics
The work of Nelson Ryan Knill

Nelsius
Mathematics.

A framework for what comes next.

Connecting mathematical models, evidence, and decisions. A developing approach to big questions, from unseen matter to the limits of proof.

NelsonYour host, as depicted in the
Dark Matters Universe
IMAGINATION OPENS THE QUESTION
01 / THE METHOD

Define

Make the question, the terms, and the assumptions clear.

02 / THE METHOD

Observe

Separate what we measure from what we infer.

03 / THE METHOD

Test

Ask what evidence could change the conclusion.

04 / THE METHOD

Continue

Keep what holds up. Learn from what does not.

One framework. Different questions.

Choose your starting point.

Plain language first. The mathematics, sources, and open questions are there when you want to go deeper.

A little comic relief
The Olive Tree / Moon garden

The Tree's Peer Review.

Beneath the Moon garden's blue lamp, a scooter remains just beyond the Olive Tree's longest branch.

The Olive Tree
I asked for a research grant. They gave me a watering schedule.
King Moon
You asked for wheels.
The Olive Tree
Mobility funding. Keep up.
Continue the conversation
Mbiu
Meanwhile, this conclusion still needs evidence.
The Olive Tree
Good. Bold type is not a peer-review process.
King Moon
What would satisfy you?
The Olive Tree
A repeatable result, clear assumptions, and my scooter within branch reach.
Mbiu
Two research requirements and a parking dispute. Finally, a manageable agenda.
A word from the reviewer

Promising. Now tell me what result would prove it wrong. I can wait. Rooted, remember?

Original comic dialogue featuring Dark Matters Universe characters. A fictional intermission, not an actual scientific review.

A note on the collection

A promising idea deserves a clear explanation.
And a difficult question deserves an honest answer.

These pages distinguish established background, proposed models, and results within stated limits. Characters from the Dark Matters Universe guide the journey. The research stands on its sources, arguments, and tests.

Meet the method
From the Dark Matters Universe

Familiar faces. Unfamiliar questions.

Nelson and the cast bring the collection to life, with an occasional interruption from the Olive Tree.

Meet the cast
Nelson
mYdiss
Blue Sapphire
Aquarian Queen
Queen Moon
King Moon
Big G
Mbiu
Jafar
Anima
Wavoka
Chapter 01 / Research collection

Nelsius Mathematics Explained

What can we honestly conclude from what we can see?

Developing research framework

NelsonYour host, as depicted in the
Dark Matters Universe

A connected way to investigate.

Nelsius Mathematics is Nelson Ryan Knill’s developing framework for connecting mathematical models, evidence, and decisions. It brings a shared set of questions to different fields: What can we observe? What remains uncertain? Which next steps are possible? What would show that an idea is wrong?

Its distinctive aim is to keep the whole research argument connected. A model travels with its assumptions, sources, tests, failures, and limits. The framework asks whether each step is justified before a conclusion becomes a claim.

Six recurring questions.

01

Define the system

Name what is being studied. Define its variables, units, boundaries, and assumptions. A useful formula needs a clear meaning for every part. A definition tells us how a model is constructed; evidence tells us whether it describes the world.

02

Separate observation from interpretation

Keep the underlying state, the recorded signal, and the model’s reconstruction separate. A detector may reveal only part of a system. Several hidden explanations can produce the same visible result.

03

Explore possible continuations

Ask which next steps or future states meet the model’s stated conditions. These may include physical limits, mathematical consistency, or available information. A possibility depends on those conditions; it is not automatically a prediction.

04

Account for history

Earlier events can affect the present. State what history the model keeps, what it forgets, and how much error an approximation may introduce. A small working model is useful when its limits are understood.

05

Check transfers between fields

Before moving an equation into a new subject, define its meaning there. Check units, assumptions, allowed states, and failure conditions. Similar symbols alone do not establish that two systems follow the same law.

06

Keep evidence and failures visible

Distinguish a definition, a proof, a simulation, a measurement, and a proposal. Preserve counterexamples and abandoned routes. When the available information cannot support a conclusion, record what is missing and choose a better next test.

See the idea in action.

A sensor tells you the total is 10. It does not tell you how much came from each of two hidden sources. Move the slider to try different explanations.

Try the idea

One observation. Many explanations.

10
The measured total stays the same
Proposed A: 4Proposed B: 6

4 + 6, 3 + 7, and 2 + 8 all produce 10. Another measurement is needed to tell them apart.

An invented example of known mathematics. These toy sensors are exact; real measurements also carry uncertainty.

Why this matters

A model can match an observation while leaving the hidden explanation uncertain. The next useful test is one that separates the alternatives.

What makes Nelsius different?

Nelsius draws on established mathematics. The supplied work does not establish superiority over all existing mathematics. Its strongest supported distinction is how it organizes and connects mathematical tools within this research program. Broader claims would require precisely stated new results or fair comparisons that others can reproduce.

FOCUSESTABLISHED MATHEMATICSNELSIUS EMPHASIS
Observation
Inverse problems and state estimation study how observations relate to hidden states.
Keeps hidden state, recorded signal, and reconstruction explicitly separate throughout the research record.
Possible futures
Dynamical systems, control, and reachability study how systems evolve and which states can be reached.
Uses admissible continuations to organize the next states or actions allowed by a declared model.
Memory
Integral equations, stochastic processes, and realization theory describe history dependence and its representations.
Tracks what memory a model retains and when a finite approximation requires an error bound.
Transfer
Dimensional analysis, formal modeling, and validation help preserve meaning when models change.
Requires explicit source and target assumptions before reusing a mathematical structure across applications.
Research record
Proof checking and reproducible research preserve arguments, methods, data, and limitations.
Connects claim status, sources, failed routes, open questions, and decisions in one project architecture.

How the method enters the research.

Dark Matter

Separate measured gravitational effects from proposed hidden explanations. Record the model’s assumptions, compare alternatives, and retain unfavorable results. The framework organizes the inquiry; it does not identify dark matter by itself.

Quantum Gravity

Distinguish the mathematical state, proposed dynamics, observer access, and the evidence needed for a physical claim. This supplies a structure for research obligations, with stronger theories still requiring their own construction and tests.

Clay Institute Problems

Organize a proposed proof into definitions, dependencies, and possible counterexamples. Find the earliest unsupported step and ask what would repair it. This connection describes a method for examining the routes, not a validated solution.

Missing Scientist

The codex explicitly uses a Nelsius continuation rule to frame the next justifiable research step. Each program asks what to measure, which uncertainty to reduce, and what test could distinguish progress from a misleading result.

Status and technical notes.

Developing research framework. The reviewed archive contains definitions, scoped derivations, proposed models, implementation records, and open questions. Internal project labels and passing software tests do not establish independent mathematical review or physical confirmation.

The source and version behind this explanation

The core explanation follows the canonical v1.1.0 research-state package, including its definitions, minimal kernel, final verdict, and prior-art comparison.

Version names describe the project’s research record. They are not ratings of scientific truth or measures of how much mathematics has been completed.

The August 2026 canonical release reports no independently replicated project-specific empirical results. Later internal certificate reports require their own dated source documents; internal certification is not external peer review.

Application summaries preserve each document’s own scope. The earlier physics source family, the later Nelsius organization, and each proposed proof or test retain their separate provenance.

Exact memory and useful approximations

A finite sum of exponential memory terms can be represented with a finite collection of auxiliary differential equations. An exact noninteger power-law transfer has a different mathematical structure and cannot be represented exactly by a finite-dimensional linear time-invariant system. Finite exponential approximations can still be useful on specified intervals. The archive discusses this established distinction; the limitation applies to that stated class of systems, not every possible model.

Continue exploring

Dark Matter

Chapter 02 / Research collection

Dark Matter

What is producing the gravitational effects we cannot explain with visible matter alone?

Conditional models and an exploratory galaxy comparison

mYdissFictional guide from the
Dark Matters Universe

From gravity to identity.

This work developed from a framework for separating hidden structure from observable effects into specific thermodynamic and fluid candidates. The September 2026 report presents conditional repairs, finite-sphere constructions and a galaxy benchmark. The assumptions of these different models cannot simply be combined into a discovery.

We can measure how stars move and how gravity bends light. My work asks which proposed hidden explanation can survive the mathematics and the data.

The Nelsius connection

The report is explicitly part of the Nelsius research collection. It separates a proposed physical state, a measured signal and an inferred explanation, preserves failed tests, and asks what additional measurement could distinguish otherwise identical explanations. Earlier physics drafts use related names including Omega-plus-U and Big_G.

What happened in the test?

The September 2026 report tested a shared-radius C1 approximation against a more flexible local halo model. The tested approximation usually did worse.

Exploratory benchmark / September 2026
55 / 57

Galaxies where the comparison model scored better than the tested C1 approximation.

Reserved points came from the same galaxies used for fitting. This was not a prediction test on entirely new galaxies. The comparison model also had more fitted parameters.

In the report’s exploratory C1 benchmark, one isolated halo radius was shared across 57 galaxies. A more flexible local pseudo-isothermal model scored better on reserved data points in 55 of them. Median per-galaxy velocity error was 14.06 km/s for C1 and 4.15 km/s for the comparator. These were points within known galaxies, not predictions for entirely new galaxies.

The C1 test was added after the original comparison of ordinary-matter-only and halo models. Its own fitting rules were fixed before its results. Adding the ordinary matter’s gravity without recalculating the dark fluid’s equilibrium makes this a limited approximation. The result challenges that approximation, not every possible coupled C1 model.

Read the test design and its limits

Dark Matter: From Gravity to Identity, Research Attempt 01, 11 September 2026. The public 110-page report was directly inspected. Physical PDF pages 48–49 describe the split and comparator; pages 54–59 describe the C1 test and limits; page 56 records the 55-of-57 result. This review checked the report, not an independent rerun of its calculations.

The C1 comparison used 115 fitted parameters across the sample; the local halo comparator used 171. Its primary score was mean standardized squared residual on reserved points. The report does not treat the comparison as a calibrated discovery probability or formal likelihood-ratio test.

The C1 approximation added ordinary matter’s gravity without solving the dark fluid’s coupled equilibrium in that potential. This result challenges the tested approximation. It does not reject every possible coupled C1 model.

What remains to be tested?

The report presents conditional mathematical results and an exploratory galaxy benchmark. It does not establish dark matter’s physical identity or independent empirical validation of the overall framework.

  • Choose one physical realization and carry its assumptions and parameters through every calculation.
  • For a stronger C1 test, solve the dark-fluid equilibrium in each galaxy’s ordinary-matter potential before comparing predictions.
  • Calculate abundance, formation history and predictions across several kinds of observations, with uncertainty and fair model comparisons.
  • Derive a measurement that distinguishes the proposed internal mechanism from alternatives, then test it on independent data.

Watch the visual companion.

A visual companion to the research, set in the Dark Matters Universe.

Dark Matter: visual companion
Watch on Vimeo ↗

This video repeats when it finishes. Use Pause to stop playback.

The imagery helps tell the story. It is not a picture of a discovered particle or scientific evidence.

Seven questions worth asking.

What is dark matter?

Stars move and light bends in ways that visible matter alone does not explain under our usual gravity models. Dark matter is the name for the unseen matter proposed to account for those effects. Its physical identity remains a research question.

Why is it hard to detect?

A candidate may interact very weakly with ordinary matter, lie outside a detector's sensitive range, or produce signals buried in background noise. A search that finds nothing can limit a particular model without ruling out every dark-matter explanation.

Why study small galaxies?

The detailed motion of stars and gas can help distinguish competing models. But ordinary gas, star formation, measurement uncertainty and a model's flexibility also affect the result. A close fit alone does not identify the hidden cause.

Could gravity itself need changing?

That is another scientific route. A useful comparison must look beyond one galaxy's rotation curve. It must also address gravitational lensing, galaxy clusters, the early universe and the growth of structure, with its assumptions clearly stated.

How could dark matter have formed?

Different candidates have different histories. Some could arise from particle interactions in the early universe; others from fields or gravitational collapse. Each proposed history must produce an amount and behavior consistent with observations.

Could dark matter interact with itself?

Some models allow that. Such interactions could change the way dark matter spreads through a galaxy. The strength of the interaction must also remain consistent with evidence from other galaxies and clusters.

What would count as real progress?

A clearly defined model should make predictions that survive new tests and fair comparisons. Identifying a particle would require more than a good galaxy fit. Independent measurements and checks would need to support the same physical explanation.

Sources and research status.

Dark Matter: From Gravity to Identity, Research Attempt 01, 11 September 2026. The public 110-page report was directly inspected. Physical PDF pages 48–49 describe the split and comparator; pages 54–59 describe the C1 test and limits; page 56 records the 55-of-57 result. This review checked the report, not an independent rerun of its calculations.

The C1 comparison used 115 fitted parameters across the sample; the local halo comparator used 171. Its primary score was mean standardized squared residual on reserved points. The report does not treat the comparison as a calibrated discovery probability or formal likelihood-ratio test.

The April structural-formalism draft fits no new dataset. Other archive summaries describe thermodynamic, kinetic-conversion and Higgs-portal candidate tracks. Keep those records distinct from the specific September C1 benchmark and its conclusions.

Research Attempt 01 was prepared for Nelson Knill with ChatGPT. The April formalism and later candidate branches have different assumptions and evidence scopes.

NASA: dark matter background

Continue exploring

Quantum Gravity

Chapter 03 / Research collection

Quantum Gravity

How do quantum physics and gravity fit into one consistent description?

Formal framework and proposed tests

JafarFictional guide from the
Dark Matters Universe

Geometry. State. Observation.

This project organizes geometry, quantum states, observer access and consistency checks in a proposed structural framework. It makes a distinction between what follows from its definitions and what still needs a proof or physical test.

The draft contains four simple internal checks. Its stronger spectral and stability claims remain theorem-targets because the operator domains, perturbations and full state dynamics have not been specified sufficiently.

The Nelsius connection

Here Nelsius helps organize four questions: What is the state? What changes are allowed? What can an observer access? What proof or measurement supports the claim? That structure guides inquiry; it does not supply the missing physical dynamics by itself.

What the internal math shows.

The formalism contains four elementary checks of its chosen definitions. They show internal consistency in those limited respects. They do not demonstrate a complete physical theory.

  • The two logistic weights add to one, so their weighted parts preserve the model's total.
  • Applying the same access weight to both parts preserves the corresponding weighted-total identity.
  • A logistic gate is generally not a strict projector: applying its weight twice is different from applying it once.
  • With normalized scalar weights and the stated norm assumptions, the weighted parts cannot exceed the original quantity's norm.
A small identity, and what it does not prove

Define σ(F) = 1 / (1 + exp(−F)). Then σ(F) + σ(−F) = 1. Splitting a model quantity with these two weights preserves its total.

That identity follows from the chosen formula. Whether the two parts represent anything in nature needs a separate physical model and evidence. These weights are generally not strict projectors because a weight squared is not generally the original weight.

The next physical and mathematical tests.

A formal research program and testing plan. The reviewed material does not demonstrate a complete theory of quantum gravity.

  • Define the state space, physical units, operators and evolution equations.
  • Prove any claimed spectral separation and stability under explicit assumptions.
  • Show how the proposal recovers applicable results from gravity and quantum theory.
  • Derive distinct measurable predictions and test them independently.

Seven questions about quantum gravity.

Why try to join gravity and quantum physics?

General relativity describes gravity through the geometry of space and time. Quantum physics describes matter and fields. Where both matter at once, such as the early universe or black holes, we need a consistent account of how they fit together.

What might space and time be like at tiny scales?

They might have quantum properties, emerge from deeper structures, or require a description we have not yet found. The research asks which mathematical descriptions are consistent and what observations could tell them apart.

Does the Planck length mean space has pixels?

No. The Planck scale combines constants from gravity, quantum physics and relativity. It points to a regime where our current descriptions may need deeper treatment. That calculation alone does not prove that space is made of discrete pieces.

What happens inside a black hole?

Classical gravity can lead to singularities, where its description stops being sufficient. Quantum-gravity research seeks a consistent account of that regime. Black-hole entropy and quantum-field calculations offer clues, but a clue is not a complete interior model.

Can gravity already be studied with quantum methods?

Yes. Effective field theory gives a controlled way to organize low-energy quantum corrections to gravity. That is an established theoretical tool. It does not by itself supply a complete theory valid at arbitrarily high energies.

How could we test these ideas?

Researchers investigate controlled masses, possible gravity-mediated entanglement, black-hole signals and early-universe observations. A proposal needs a specific prediction for a specific test. Listing an experiment does not mean this framework has already passed it.

What would make a candidate convincing?

It must be mathematically consistent, recover successful existing descriptions where they apply, and make useful predictions. Evidence that distinguishes it from alternatives matters more than a powerful name or an impressive-looking equation.

Sources and scope.

Clean structural-formalism draft, 19 April 2026, sections 4–5, 8 and 9.4. The four propositions concern internal algebra, not experimental confirmation of gravity.

Six-Source Synthesis, 18 April 2026, abstract and provenance table. It connects the proposal to Omega-plus-U, Big_G and Omnirealmtiverse sources while labeling it a formal hypothesis.

Prepared for peer review describes the draft's purpose. It does not establish external peer review or publication.

Donoghue: General Relativity as an Effective Field Theory

The effective-field-theory paper provides established background. It does not validate this proposed framework.

Continue exploring

Clay Institute Problems

Chapter 04 / Research collection

Clay Institute Problems

What would turn a promising idea into a complete proof?

Independent research on the Millennium Prize Problems

MbiuFictional guide from the
Dark Matters Universe

Follow the argument.

Some mathematical questions are easy to state and extraordinarily hard to prove. These research attempts break large claims into definitions, dependencies and tests. Each record shows the proposed route, its present limits and the next useful challenge. There is no meaningful percentage-solved score here: one missing theorem can contain the central difficulty.

The Nelsius connection

The Nelsius connection is a way to organize proof search: define the claim, list its dependencies, seek a counterexample and locate the earliest unsupported step. The earlier Clay materials use related continuation and admissibility ideas. This does not prove that all the problems are equivalent or that one shared method solves them.

Where the work stands.

No complete solution from this collection was validated in the targeted review. Each card identifies a proposed route, a specific obstacle, and a next mathematical test.

External status checked 8 October 2026

Clay’s index lists five unsolved problems, places Navier-Stokes in an active category, and lists Poincaré as solved. OpenAI’s September announcement concerns a smooth-forced singularity construction. Clay’s announcement describes its evaluation process, without a final prize determination on the checked pages.

Five open problems. Specific obstacles.

Counterexample foundP versus NPIf a computer can check an answer quickly, can it always find one quickly?

The proposed route

Represent valid partial answers compactly, then turn a fast verifier into a fast answer-finding algorithm.

What is supported

The conditional route explains what would follow if an efficient representation and its updates existed.

The gap

The proposed universal bound on distinct continuation classes fails a simple counterexample.

The next useful test

Replace that bound with a concrete algorithm and prove its correctness and running time.

Technical detail

For input 1^n, accept a 2n-bit witness uz exactly when u=z. Verification is linear time, but at the halfway point the 2^n prefixes have different accepting suffixes. This refutes the stated universal quotient-size bound, not P=NP itself.

Source: Six Remaining Clay Problems, peer-review manuscript draft, sections 1.2–1.6.

Positivity proof neededRiemann HypothesisDo all the nontrivial zeros of the zeta function lie on its critical line?

The proposed route

Use an explicit formula linking primes and zeros, then seek a positivity argument.

What is supported

The manuscript identifies a possible proof route and the positivity it needs.

The gap

The precise kernel, weights, test space and decisive positivity proof are not supplied.

The next useful test

Write one complete proposition with exact definitions, convergence rules and an unconditional proof.

Technical detail

A squared-modulus expression does not automatically exclude off-line zeros. The proposed expression must be linked rigorously to a criterion that retains the information needed to establish Re(rho)=1/2.

Source: Six Remaining Clay Problems, peer-review manuscript draft, chapter 2.

Continuum construction neededYang-Mills Existence and Mass GapCan this quantum field theory be built rigorously with a positive energy gap above its vacuum?

The proposed route

Start with a lattice model and seek a continuum theory that keeps the required physical properties.

What is supported

A conditional construction program identifies the limit and spectral gap as central tasks.

The gap

Writing the limit does not establish its existence, nontriviality or surviving mass gap.

The next useful test

Prove concrete estimates that remain valid as the lattice spacing shrinks.

Technical detail

The construction must retain the required axioms in the continuum. The move from an area law to exponential clustering also needs a precise theorem with verified hypotheses.

Source: Six Remaining Clay Problems, peer-review manuscript draft, chapter 3.

Two major gaps remainHodge ConjectureCan the rational Hodge classes of a smooth projective complex variety be represented by algebraic cycles?

The proposed route

Study algebraization through families, and a separate route using generators, reachable spans and primitive classes.

What is supported

The source audit makes two important remaining obligations explicit.

The gap

An algebraic primitive projector does not automatically give coverage of every primitive Hodge class.

The next useful test

Choose a concrete class of varieties and a generator family, then prove its exact coverage.

Technical detail

Keep exact algebraicity of the primitive projector or inverse-Lefschetz operator separate from generator coverage. Approximation is not an exact algebraic correspondence. The short manuscript's specialization-tower route has its own existence and specialization obligations.

Source: Six Remaining Clay Problems, chapter 5; Pass09 Three-Pass Analysis of the Seven Doors and Hodge program.

Comparison proof neededBirch and Swinnerton-DyerHow does an elliptic curve's L-function encode the structure of its rational solutions?

The proposed route

Connect arithmetic information with the leading L-function term through a control complex and determinant comparison.

What is supported

The proposed comparison describes what would follow if its required objects and identifications existed.

The gap

A central desired identification is included in the definition rather than constructed in full generality.

The next useful test

Build the objects and comparison maps for a precise scope, then prove every required identity.

Technical detail

The obligations include rank equality, finiteness of Sha, the regulator and exact local/global factors. Defining a complex whose determinant matches the leading L-value does not prove that such a complex and identification exist.

Source: Six Remaining Clay Problems, peer-review manuscript draft, chapter 6, especially Definition 6.2.

Navier-Stokes and historical context.

The announced external result uses smooth forcing. The manuscript here pursues unforced smoothness, so its claim and its defects need their own assessment.

Scaling repair requiredNavier-StokesCan a smooth three-dimensional fluid flow develop a singularity?

The proposed route

Seek a depletion inequality that prevents concentration on smaller and smaller scales.

What is supported

The manuscript states an unforced smoothness program and the estimate it would need.

The gap

Its local quantity has the wrong scale normalization, and the central depletion estimate remains unproved.

The next useful test

Correct the scaling, prove the estimate uniformly and cover every relevant concentration route.

Technical detail

For the stated integral of |u|^3+|p|^(3/2) over a three-dimensional parabolic cylinder, the critical normalization is r^-2, not r^-1. Decay of the stated quantity therefore does not justify the claimed regularity step. OpenAI's smooth-forced construction does not by itself settle this manuscript's unforced assertion.

Source: Six Remaining Clay Problems, chapter 4, Definition 4.3 and Lemma 4.4. External status: OpenAI, 8 September 2026; Clay announcement, 11 September 2026; checked 8 October 2026.

Poincaré: the solved historical problem

Perelman’s proof resolved the Poincaré Conjecture. It appears here as historical context, not as an unresolved target or a claimed result of this research collection.

Read the official Clay overview

Sources and review limits.

Six Remaining Clay Problems, short manuscript, chapters 1–6; Pass09 Three-Pass Analysis of the Hodge and Seven Doors program. These are research drafts. Filenames such as “peer review” describe the intended use and do not establish independent validation.

The Nelsius connection organizes the search and its dependencies. It does not turn a conditional route into a proof. The longer source edition was not exhaustively verified in this review.

Continue exploring

Missing Scientist

Chapter 05 / Research collection

Missing Scientist

A research codex across eleven scientific frontiers

Eleven proposed research programs

Queen MoonFictional guide from the
Dark Matters Universe

A question becomes a research plan.

How do we turn a big scientific question into something we can test? This codex organizes eleven proposed research programs around a shared process: observe, model, test, check, and improve. Each program names what needs to be measured, what might go wrong, and what evidence would justify a stronger claim.

The Nelsius connection

Nelsius asks: What is the best next step we can justify? Section 2.2 of the codex uses a Nelsius continuation rule to weigh expected research progress against risk within a defined set of possible actions. Across these programs, that means choosing useful measurements, recording uncertainty, testing alternatives, and preserving lessons from failed approaches. This is a proposed planning rule; its use does not establish that a program has succeeded.

Proposed research programs and mathematical models. The reviewed material describes plans and verification requirements, rather than completed experiments, confirmed breakthroughs, or medical treatments.

Explore the eleven programs.

11 of 11 programs
01 / Earth and ProcessWetlands and EcosystemsCan we spot wetland damage early enough to act?

Proposed approach

Combine maps, water measurements, and plant data to track wetland stress. Model water levels, salinity, elevation, and vegetation together. Explore whether updated estimates could help choose the timing and location of restoration while keeping uncertainty visible.

What would test it

  • Test forecasts against historical periods of disturbance.
  • Check performance in regions outside model development.
  • Compare stated uncertainty with observed outcomes.
  • Evaluate predictions against completed restoration projects.

Source: Missing Scientist Codex, Chapter 14, printed pages 37-39; PDF pages 51-53.

02 / Earth and ProcessChemical Process ResilienceCan a plant detect trouble before it becomes a failure?

Proposed approach

Track chemistry, heat, pressure, equipment wear, and maintenance in one model. The proposed system treats gradual changes as part of the plant's condition, so warnings and control decisions can be tested under imperfect operating conditions.

What would test it

  • Introduce simulated faults into historical process records.
  • Test stability when feed conditions change.
  • Report missed warnings alongside false alarms.
  • Check behavior when some sensors stop working.

Source: Missing Scientist Codex, Chapter 15, printed pages 40-42; PDF pages 54-56.

03 / Energy and MaterialsAerospace MaterialsHow can we predict when a material will wear out?

Proposed approach

Study how heat, stress, oxidation, and manufacturing differences change materials over time. Link material design to inspection and repair, with predictions tied to actual mission conditions instead of relying only on isolated laboratory samples.

What would test it

  • Combine heat, mechanical stress, and oxidation testing.
  • Test components under representative mission conditions.
  • Compare different manufacturing batches and repair histories.
  • Check predictions against inspected and dismantled components.

Source: Missing Scientist Codex, Chapter 16, printed pages 43-45; PDF pages 57-59.

04 / Energy and MaterialsSpace PropulsionHow can engine performance and mission safety be evaluated together?

Proposed approach

Bring nuclear thermal propulsion, heat limits, radiation protection, and fallback plans into one research model. The proposal evaluates useful performance together with the ability to monitor the system and respond when conditions depart from the plan.

What would test it

  • Check thermal predictions with instrumented hardware tests.
  • Independently evaluate radiation and shielding estimates.
  • Test responses to sensor and communication failures.
  • Examine sensitivity to changing mission conditions.

Source: Missing Scientist Codex, Chapter 17, printed pages 46-48; PDF pages 60-62.

05 / BiologyProteins and Drug TargetsWhich protein changes matter enough to test as drug targets?

Proposed approach

Compare several kinds of biological evidence before selecting a target. Connect protein measurements and experimental changes with chemistry, biomarkers, resistance, and toxicity. Plan early tests that can reject weak candidates while preserving what those failures teach.

What would test it

  • Replicate findings in relevant biological models.
  • Test biomarker predictions on newly collected evidence.
  • Examine resistance and alternative biological pathways.
  • Define when an unsuccessful target should be retired.

Source: Missing Scientist Codex, Chapter 18, printed pages 49-51; PDF pages 63-65.

06 / BiologyDisease TransitionsCan a model identify important changes before damage becomes irreversible?

Proposed approach

Explore how cell stress, mitochondrial function, and other signals change over time. The proposed model connects questions about neurodegeneration and metastasis, but that connection remains a research hypothesis. It needs comparison with patient data and competing explanations.

What would test it

  • Predict transitions in data collected over time.
  • Compare with simpler models using diagnosis alone.
  • Test responses tied to a specified mechanism.
  • Challenge the proposed links with alternative causes.

Source: Missing Scientist Codex, Chapter 19, printed pages 52-54; PDF pages 66-68.

07 / Energy and MaterialsFusion StabilityCan useful plasma conditions be kept stable and repeated?

Proposed approach

Study plasma control together with reactor-wall conditions. The proposal measures time spent in a defined stable state, rather than relying on an exceptional result. Energy performance, equipment damage, and repeatability belong in the same evaluation.

What would test it

  • Compare state estimates with independent diagnostic measurements.
  • Test control over sustained operating campaigns.
  • Measure repeatability across comparable plasma runs.
  • Account for energy performance and wall survival together.

Source: Missing Scientist Codex, Chapter 20, printed pages 55-57; PDF pages 69-71.

08 / Space SciencePlanetary DefenseHow can new observations improve a possible impact warning?

Proposed approach

Connect discovery, follow-up observations, orbit estimates, and clear public updates. Choose observations for the uncertainty they can resolve. Better evidence may raise or lower an estimated threat, so each public revision needs a traceable explanation.

What would test it

  • Measure recovery rates for already known objects.
  • Use simulated threats to test warning timelines.
  • Compare independently calculated orbit estimates.
  • Audit how new observations change public updates.

Source: Missing Scientist Codex, Chapter 21, printed pages 58-60; PDF pages 72-74.

09 / Space ScienceBiosignaturesWhat evidence would support a claim of life beyond Earth?

Proposed approach

Compare possible signs of life with contamination, instrument errors, and nonliving chemistry. Combine evidence from different measurements with the sample's physical context. Decide what would justify a stronger claim before interpreting an exciting result.

What would test it

  • Preserve blank samples and contamination records.
  • Challenge signals with plausible nonliving explanations.
  • Compare instruments measuring the same samples.
  • Set evidence thresholds before classifying the result.

Source: Missing Scientist Codex, Chapter 22, printed pages 61-63; PDF pages 75-77.

10 / Space ScienceAsteroids and CometsWhat can small bodies tell us about solar-system history?

Proposed approach

Connect orbit, composition, temperature, and structure data to possible histories of asteroids and comets. Choose observations and missions for the questions they can resolve, then return the findings to the wider survey record for reuse.

What would test it

  • Check whether new data distinguishes possible origins.
  • Test predictions of heating and rotational behavior.
  • Compare remote surveys with mission measurements.
  • Track how returned evidence improves later research.

Source: Missing Scientist Codex, Chapter 23, printed pages 64-66; PDF pages 78-80.

11 / Measurement and VerificationTesting Unusual Physical ClaimsIs an unusual signal a new effect or an overlooked error?

Proposed approach

Use blind tests, inactive comparison devices, environmental checks, and independent repeats. Keep ordinary explanations under active consideration. Check energy, momentum, and other relevant balances separately before interpreting a surviving signal as evidence of a new effect.

What would test it

  • Use concealed test labels and comparison devices.
  • Vary environmental conditions to expose hidden influences.
  • Repeat independently under a fixed testing protocol.
  • Audit separate energy and momentum records.

Source: Missing Scientist Codex, Chapter 24, printed pages 67-69; PDF pages 81-83. Conservation detail: section 40.4.

One method. Different measurements.

The wetlands plan needs water and land measurements. The fusion plan needs plasma and wall measurements. The biosignature plan needs careful checks for contamination.

Across them, the recurring questions are the same: What can we observe? What remains uncertain? Which test should come next? What result would change our mind?

The continuation rule in the codex

Section 2.2 frames the next move as a choice among admissible actions, balancing expected improvement in a defined solvability score against a weighted risk term. Its quantities and weights need justified definitions and testing for each use.

The codex calls this a continuation operator: a rule for choosing the next inquiry step. It does not establish a successful scientific conclusion. Section 7.3 describes a shared research-program form, rather than a single universal equation of nature.

Source names and context.

The Missing Scientist Codex, Mathematical Systems Edition, dated April 24, 2026, uses people's names as commemorative program labels. The source references preserve those labels without asserting personal circumstances, endorsement, or connections between the people named.

Program labels in the manuscript
  1. The Zamil Limon Wetland Intelligence System
    Chapter 14, printed pages 37-39; PDF pages 51-53.
  2. The Nahida Bristy Chemical Process Field
    Chapter 15, printed pages 40-42; PDF pages 54-56.
  3. The Monica Jacinto Reza Alloy Stack
    Chapter 16, printed pages 43-45; PDF pages 57-59.
  4. The Joshua LeBlanc Nuclear Transit Architecture
    Chapter 17, printed pages 46-48; PDF pages 60-62.
  5. The Jason Thomas Proteome Compass
    Chapter 18, printed pages 49-51; PDF pages 63-65.
  6. The Jane Ying Wu Neuro-Metastatic Repair Framework
    Chapter 19, printed pages 52-54; PDF pages 66-68.
  7. The Nuno Loureiro Fusion Stability Program
    Chapter 20, printed pages 55-57; PDF pages 69-71.
  8. The Carl Grillmair Sentinel Mesh
    Chapter 21, printed pages 58-60; PDF pages 72-74.
  9. The Frank Maiwald Biosignature Ladder
    Chapter 22, printed pages 61-63; PDF pages 75-77.
  10. The Michael David Hicks Small-Body Origin Matrix
    Chapter 23, printed pages 64-66; PDF pages 78-80.
  11. The Amy Eskridge Precision Frontier
    Chapter 24, printed pages 67-69; PDF pages 81-83. Conservation detail: section 40.4.

Missing Scientist Codex, Mathematical Systems Edition, 24 April 2026. The core method appears in chapters 1–7; the eleven program chapters are 14–24. The scientific notice and section 29.4 distinguish research architecture from completed scientific breakthroughs.

The framework’s use of names is preserved as source attribution. This page makes no biographical or personal-circumstance claims about the people named.

Continue exploring

Nelsius Mathematics