Current frontier: missing source objects and acceptance tests
As of: October 2026 source synthesis at baseline 7afcae687 plus the reviewed website-gap publication updates. Snapshot public-research-frontier-v1.
Selected publication coverage and first unresolved source obligations; not a live workboard, scientific replay, priority allocation or physical acceptance. A listed blocker is not a new task claim or permission to mutate another source. This map does not rerun suppliers, apply graph transitions or convert publication closure into scientific completion.
Source-bound acceptance map
| Research scope | First missing source object or map | Acceptance / reopening condition |
|---|---|---|
| Apply source-relative witness continuation | For a new application: its actual operand derivations, complete reader and target-continuation binding, not another generic higher primitive. | Bind the unchanged native rules to the real interface and test the complete comparison/continuation square. Preserve the exact atomic obstruction and reject endpoint-only or unequal-carrier substitutions. |
| Native SU32 contextual release | A source-admitted contextual release on the complete signed preparation, with outputs, histories, occurrence maps and continuation readers. | Execute both requested orders from the same full context and construct the actual reader/continuation-compatible comparison. A port-path test requires supplied parallel paths; do not install absent charged-cell transfers. |
| Interpret the finite operation span | A map from the formal source-generated envelope to the native boundary-corolla operation fibre, plus a separately justified interpretation of gaps as content. | Preserve generators, internal matching points, contraction and cyclic structure. Keep transported-preparation symmetry distinct from fixed-preparation reconciliation and do not restore the rejected static self-containing payload equation. |
| Ramsey four-facet semantic descent | Complete source-compatible four-facet overlap/reader maps and an independently selected outside/coupling convention. | Check full packets, field readouts and operator bindings on the specified geometric domains. Distinguish the general coefficient theorem from finite live admission; retain the failed fixed-matrix control. |
| Bind a dependent return to a native source | A selected native successor and an inhabited return sector; identification of the chosen fourfold coherence with the earlier explicit return homotopy remains separate. | Construct the actual source/return comparison and preserve its witnesses. A coherent action on a possibly empty fibre does not generate a periodic state or close the operational complex-return objective. |
| Role-compatible shell continuation | A continuation preserving all retained decorated boundary roles and directed witnesses, or an independently sourced role-changing transport with composition laws. | Check source roles before events, retain competing claims and replay the existing counterexamples against the new rules. Report exhaustive local and incomplete global coverage separately; a preferred schedule or recoloring is not a repair. |
| Conditional dual-shadow audit and geometric bridge | The enriched-source real ordered endpoint comparison, including singular/boundary domains. The recorded finite transport audit has supplied targets and does not itself provide this geometric identification. | For the frozen m=3 audit, specify both execution projections and check legal one/two-step, visibility, common-R and based-edit squares with a forgetfulness table. Stop at that scope; do not promote supplied metrics or demand a privileged shadow/unique scale. |
| Analytical/native witness matching | The intended source analytical H and typed boundary map; a correction-space/quotient declaration is additionally needed before asserting an obstruction modulo corrections. | Compare that source-supplied witness with the retained native histories under the stated analytical bounds. Do not fit H to zero decoded discrepancy or the negative chosen residual. |
| Integrate the existing conditional optical/control package | Owner review/application of the existing version-compatible integration delta. Empirical apparatus is a separate deferred gate, not another unfinished conditional confidence-policy construction. | Apply only an authorized reviewed transition with compatible pins and preserved vocabulary/outcomes. Keep statistical tap/count distinct from the exact reader; empirical reopening needs independent apparatus/resource evidence and explicit operator authorization. |
| Select the physical contour/lift | The full source-selected marked integral cycle/lift, external constraint/normal prescription and physical boundary-program attachment. | Review the actual contour/current square on a versioned source while retaining invisible integral directions and unavailable blowdown data. Do not choose windings from desired cancellation or count another local replay as physical selection. |
| Compare the actual atom-route ancestor | Source comparisons deriving the four command equivalences and outside-context retention on the actual fibres/routes; T9 and scattering identifications require additional explicit operation maps. | Preserve chart/origin boundaries, witnesses and later-visible context in the real routes. Reject the fixed-S4 shortcut without promoting unrestricted S5 to a physical gauge group or claiming a new Agda instantiation. |
| Legacy editor repair and reviewed kernel integration | Repairs for identity-delta replay, full metadata roundtrip and unambiguous cell IDs, followed by an explicit adapter binding the independent revision machinery to the hosted editor. | Turn the three unresolved TODO requirements into actual passing regressions, verify full-state and revision-bound replay, and retest persistence/UI behavior. Existing headless construction does not imply editor integration or physical adequacy. |
| Test the stable-only capacity conjecture | A typed window bound, independent binary record source, lossless positional split, fixed-point-free internal duality and independently justified neutron/proton/stability maps. | Retain the ninth-contribution, dependence, reconstruction, duality and Pb-208/Bi-209 discriminators. Do not infer physical time, stability or 82 protons from the arithmetic or change decay thresholds to protect the claim. |
| Earlier operational/physical-readout obligations | The separately scoped operational complex-return certificate and independently justified charge/current, clock/energy and cross-carrier interaction/readout standards. | Preserve the written/kernel distinction and test composite/breakup on identical boundaries/reservoirs. Existing mass/charging exclusions remain exclusions; fitting units or a desired deficit does not close them. |
How to use this map
Read each condition at its linked source/result scope. Stop at the first absent authoritative object rather than inventing a downstream filler or silently substituting a different problem. Reopen a blocked scientific branch only when its named input or a distinct evidence-bearing test exists; this page is not a queue of waiting research leaves.
The publication provenance guide identifies selected historical evidence and its compatibility limits. The results index separates reported positive checks, exclusions and unresolved physical identifications.
Publication consistency, not scientific proof
The coverage checker verifies required result/pages, canonical/generated freshness, actual navigation fragments and advertised curated-net IDs. These are website consistency tests. They do not prove acceptance conditions, certify a source theorem or supply empirical apparatus.