Skip to content

EVIDENCE-GAP PLANNER / V139

Plan the next test without hiding the gap.

From unresolved evidence to a bounded, inspectable plan.

Start with an exact public project, retain every disconnected edge and missing prerequisite, then lock question, comparison, grain, metric, method, uncertainty, output, and stop rule.

Starting templates
3
Required sections
10
Visible missing items
28
Automatic conclusions
0
01Expose

Keep gaps and prerequisites visible.

02Frame

Write the bounded hypothesis and comparison.

03Lock

Declare grain, metric, method, uncertainty, and stop.

04Export

Preserve structure and NOT_RUN state byte-for-byte.

LOCAL PLAN WORKSPACE / V139

Make the next test inspectable before anyone runs it.

Edit the plan structure. Inherited gaps stay fixed, actions remain user-selected, and no result is inferred.

Structure
READY
Sections
10/10
Missing
9
Remote writes
0
Starting projectExact V130 templates with V134 and V135 links
Structure onlyNo upload, remote save, live solver, automatic conclusion, proof score, or autonomous action.

01 + 03 / FRAME

Turn the unresolved gap into a testable frame.

The hypothesis stays provisional. The plan never writes the conclusion for you.

PLANNING BOUNDARY

A complete plan is still not completed science.

SemiAgora checks structure and deterministic bytes only. It does not run the method, validate the source body, prove sufficiency, assign confidence, or write the conclusion.

Inspect the public release ledger