Evidence rule
A negative result is source-backed evidence
It records that a specific route, primitive, source tuple, or construction attempt did not meet its burden.
Physics deep dive / PG-012
Negative Results And Frozen Routes
Negative results are not failure theater. They are useful when they preserve exact scope: what failed, under which assumptions, what route follows, and which overreads remain forbidden.
Reading rule
A frozen route is useful only when its scope remains visible.
Negative evidence earns trust by being specific. The page therefore names the useful part and the forbidden overread together.
Scope rule
scoped obstruction is not global theory rejection
A scoped obstruction is local to stated assumptions unless a separate authorized no-go theorem proves a stronger claim.
Freeze rule
locally_frozen means route control
A local freeze tells future work not to repeat the same route casually. It does not prove future source-extension impossibility.
Promotion rule
Negative evidence does not promote downstream GR
A failed route, stress survival, audit pass, selector choice, or freeze label cannot become benchmark promotion or completed derivation.
Snapshot metadata
What source state this route reflects.
This page uses checked-in website snapshots generated from upstream source at commit c7369577a7e5f96c3f4c4c6c6982e723cd3cc751. It does not read the source repository during normal Astro builds.
Obstruction anatomy
A useful negative record has five visible parts.
If any part is missing, the public summary becomes easier to inflate into global rejection or hide inside positive framing.
01
Failed object
Name the exact route, primitive, construction, selector, witness, or proof step that failed.
02
Scope
State whether the result is local finite example, current ontology only, source-extension candidate, downstream metric, matter coupling, equations, or benchmark promotion.
03
Consequence
Record whether repair is allowed, a selector is required, the route is frozen, a human gate is required, or downstream blocks are preserved.
04
forbidden_overread
State the tempting claim that the record does not authorize, such as global rejection or future source-extension impossibility.
05
Next route
Name the next bounded role, freeze review, repair target, or stop condition so the record changes future behavior.
Public comprehension diagram
The diagram shows preservation, not promotion.
The static diagram is a reader aid. It does not issue a freeze, establish a global no-go theorem, or promote downstream GR claims.
Ledger examples
Concrete rows show why scope matters.
The cards below use checked-in Distance-to-GR snapshot rows as examples of frozen, blocked, and not-started status without turning any row into a global verdict.
frozen negative
finite_toy_metric_response
explicit-tag-only finite toy route failed tag-removal stress and is frozen locally
- Status: frozen negative
- Evidence: research_control/tasks/RT-20260614-055/artifacts/96_RESP_LC_FINITE_TOY_METRIC_RESPONSE_MODEL_REFUTER_STRESS_TEST.tex
- Boundary: local route freeze, not global rejection.
old obstruction
Resp_lc selector underdetermination
Xi_X^R adopted only as admissible source-extension data for Resp_lc continuation through S_X^+; old S_X selector obstruction remains valid and downstream M_src g_eff matter coupling Einstein equations benchmark and completed-derivation claims remain blocked
- Failure label: NDCL-RESP-LC-SELECTOR-UNDERDETERMINATION
- Boundary: later source-extension status does not erase the historical obstruction.
missing primitive
RetainH and GenH
The checked-in snapshot records retention and generator burdens as blocked by missing primitive.
- RetainH: blocked by missing primitive
- GenH: blocked by missing primitive
- Boundary: missing primitive does not adopt the primitive.
downstream
Equations and benchmark
Downstream obligations stay separate from obstruction records and source-side route status.
- Einstein equations: not started
- Benchmark promotion: blocked by missing primitive
- Boundary: no downstream GR promotion.
Lifecycle
The path from proposal to freeze is not a progress ladder.
A route can move through proposal, audit, stress, and freeze while remaining narrower than adoption or proof.
Proposal
A possible path is named
A proposal can be worth testing while remaining below adoption.
Audit
Hidden imports are screened
An audit pass or failure is evidence about the checked text, not adoption.
Stress
The candidate is pressured
A Refuter can expose fragility, nonuniqueness, target import, or underdetermination.
Freeze
The route may stop locally
A repeated failure can become `route_frozen` or `locally_frozen` without rejecting the whole theory.
Hard boundaries
What negative evidence does not authorize.
Negative results preserve no g_eff construction, no matter-coupling derivation, no Einstein equations, no benchmark promotion, no downstream GR promotion, and no completed derivation.
Scope
not global theory rejection
A scoped obstruction or frozen route does not reject the whole ontology.
Future work
not future source-extension impossibility
A local freeze leaves future routes open when new payload, redesign, freeze review, or human gate is available.
Gate
not a Gate Chair verdict
A freeze label, validator pass, or website page cannot issue protected human-gated decisions.
Metric
no g_eff
Negative evidence does not construct, adopt, or expand g_eff.
Matter
no matter coupling
Negative evidence does not derive matter coupling or adopt a coupling law.
Promotion
no downstream GR promotion
Frozen routes do not promote benchmark status, Einstein equations, or completed derivation.
Safe and unsafe readings
Preserved evidence is rigorous because it is bounded.
The safe summary names the limit. The unsafe summary turns the limit into either theatrical failure or hidden proof.
Safe summary
A precise negative result improves the map.
Negative results and frozen routes preserve rigorous evidence when they name the failed object, scope, consequence, forbidden_overread, and next route.
Unsafe summary
A frozen route proves the whole theory false.
It would be unsafe to infer global theory rejection, future source-extension impossibility, benchmark promotion, or hidden success from a scoped obstruction.
Reader path
Read the example, then inspect the claim boundaries.
Primary reading stays inside the website. Provenance links remain available in the source notice for direct source inspection.
Finite toy models
Read the explicit-tag-only frozen negative route in detail.
Open routeDistance-to-GR dashboard
Inspect ledger-backed burden status without treating it as a progress bar.
Open routeClaim Boundary Explorer
Review allowed, forbidden, and gate-required wording from source-pinned rows.
Open routeNo-target-import discipline
Understand target-import and process-authority failure labels.
Open routeClaim gates and obstructions
Read the broader lifecycle for proposals, audits, stress, freeze labels, and gates.
Open route