Study Music. Click to play or pause. After it starts, press the Space Bar to play or pause. If enabled, it will resume across pages.

Open Problem Resolution Map Updates

Research · Updates

Open Problem Resolution Map Updates

Project Scope

This page tracks the maturation of the frontier program.

When a research direction becomes strong, it stops being a list of hopes and becomes a list of targets with outputs.

The updates here explain how the frontier layer was strengthened so that each target is tied to:

  • a concrete artifact contract
  • a witness format when the contract fails
  • a clear relationship to region-level cover-or-atlas reporting

This page records what changed as the frontier program became precise enough to guide work by targets rather than by mood.

Why this page exists

The rigidity program has two kinds of outputs:

  • certificate outputs (Doeblin witnesses, recurrence objects, rate packs, robustness radii)
  • obstruction outputs (finite witnesses that localize why certificates cannot exist)

Frontier work is about identifying the boundary where one of these two outputs must occur.

What this update adds to the frontier layer

AdditionWhat it gives youWhy it matters
A stable target naming schemeA consistent list of questions that are testable by certificate-or-obstruction artifactsIt prevents the research program from fragmenting into one-off explorations
A witness-producing emphasisA focus on frontiers where failure produces a finite obstruction witness, not only an existential argumentIt turns open questions into things that can be falsified by a concrete object
A bridge into atlas reportingA clear link between frontier targets and region-level cover-or-atlas artifactsIt connects local obstruction geometry to global parameter navigation

Related pages

Books by Drew Higgins