Reader rule
No percentage score
The ledger records burden states. It does not compute a scalar distance, proof score, or completion percentage.
Physics deep dive / PG-002
Distance To GR Dashboard
This dashboard maps the current derivation-burden ledger. It shows which rows exist, which are blocked or human-gated, and why no row should be read as a percentage of completed GR derivation.
Dashboard boundary
A burden map is not a proof meter.
The source ledger is useful because it keeps obligations separate. Earlier rows can carry scoped evidence while matter coupling, field equations, benchmark promotion, and Gate Chair status remain protected downstream decisions.
Snapshot rule
Checked-in, not live
The page imports committed JSON generated from clean upstream source. Normal builds do not silently refresh it.
Promotion rule
Rows stay scoped
A scoped source-extension row cannot unlock matter coupling, equations, benchmark promotion, or completed derivation by itself.
Gate rule
Accepted evidence is not adoption
The recovery-bridge candidate is accepted only as scoped source-extension evidence/precondition. That is not coupling-law adoption or matter-coupling derivation.
Snapshot metadata
What source state this dashboard reflects.
The dashboard uses a checked-in snapshot generated from clean upstream source at commit c7369577a7e5f96c3f4c4c6c6982e723cd3cc751. It does not read the source repository during normal Astro builds.
- 4 rows
- acceptedLedger status count in the checked-in dashboard snapshot.
- 3 rows
- blocked by missing primitiveLedger status count in the checked-in dashboard snapshot.
- 1 row
- constructive witness existsLedger status count in the checked-in dashboard snapshot.
- 2 rows
- draft object existsLedger status count in the checked-in dashboard snapshot.
- 1 row
- frozen negativeLedger status count in the checked-in dashboard snapshot.
- 1 row
- human-gatedLedger status count in the checked-in dashboard snapshot.
- 1 row
- not startedLedger status count in the checked-in dashboard snapshot.
- 1 row
- Refuter stress passedLedger status count in the checked-in dashboard snapshot.
Public comprehension diagram
Ledger rows become reader groups, not promotion claims.
The static diagram separates source evidence, checked-in snapshot data, dashboard groups, and forbidden overreads.
Ledger rows
Each burden row stays narrower than the full derivation.
Status labels are copied from the source-pinned snapshot. They should be read as row state, not as proof that later burdens are solved.
6 rows
Source foundation
Ontology, source equivalence, retention, generation, localization, and response rows.
draft object exists
primitive substrate data
research ontology remains open and non-promotional
Burden: source_ontology_primitives
Blocks on: canonical adoption rules
Evidence: AGENTS.mddraft object exists
EqSrc
general EqSrc remains undischarged
Burden: source_equivalence_eqsrc
Blocks on: general equivalence under variations
Evidence: research_control/program_state.yamlblocked by missing primitive
RetainH
no canonical RetainH adoption
Burden: retain_h
Blocks on: canonical retention proof
Evidence: research_control/program_state.yamlblocked by missing primitive
GenH
no canonical GenH adoption
Burden: gen_h
Blocks on: canonical generator proof
Evidence: research_control/program_state.yamlconstructive witness exists
ObsLoc_lc
local exact-branch witness only
Burden: obsloc_lc
Blocks on: robustness and exact-branch limits
Evidence: research_control/tasks/RT-20260614-037/artifacts/58_LOCALIZATION_SOURCE_BASIS_AXIOM_SELECTOR_DOMAIN_EQSRC_ALTERNATIVE_BRANCH_FAMILY_GUARD_STABILITY_SOURCE_PACKET_SMUGGLING_AUDIT.texaccepted
Resp_lc
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
Burden: resp_lc
Blocks on: response selector sign scale and token semantics
Evidence: research_control/tasks/RT-20260614-060/artifacts/101_RESP_LC_SOURCE_EXTENSION_HUMAN_GATE_ADOPTION_DECISION.tex2 rows
Metric and bridge rows
Source manifold and effective metric rows that remain narrower than downstream GR promotion.
accepted
M_src
Updated by RT-20260614-134 Phase 9 Gate Chair review to record scoped M_src adoption while g_eff matter coupling Einstein equations benchmark promotion and completed derivation remain blocked
Burden: m_src
Blocks on: Scoped source-only M_src adoption granted for audited and stressed M_src^{GSC-cand}(E) under H1-H13 and fail-closed no-target-import discipline
Evidence: research_control/tasks/RT-20260614-134/artifacts/165_M_SRC_GSC_INTEGRATED_SOURCE_ONLY_ADOPTION_THEOREM_GATE_CHAIR_REVIEW.texaccepted
g_eff
Gate Chair adopted g_eff^{GSC-cand}(E;G^beta
Burden: g_eff
Blocks on: Scoped source-extension g_eff object adopted under declared source-side scope but downstream matter coupling Einstein equations benchmark promotion and completed derivation remain blocked
Evidence: research_control/tasks/RT-20260614-222/artifacts/251_NONBOTTOM_METRICDATA_WITNESS_SRC_GSC_POST_GATE_GEFF_CANDIDATE_SCOPED_SOURCE_EXTENSION_ADOPTION_GATE_CHAIR_REVIEW.tex4 rows
Downstream GR burdens
Matter coupling, Einstein equations, benchmark promotion, and protected Gate Chair status.
accepted
universal coupling
Gate Chair accepted ParamFiniteLocalWitness_v1(E) BridgeSlot_n(E) and NoTargetImport_n only as scoped source-extension parameterized-witness evidence/precondition while no source-law adoption no coupling-law adoption no matter-coupling derivation no stress-energy semantics no stress-energy tensor no matter action no detector semantics no MetricData(E) adoption no g_eff scope change no Einstein equations no benchmark promotion and no completed derivation occurred.
Burden: matter_coupling
Blocks on: ParamFiniteLocalWitness_v1(E) BridgeSlot_n(E) and NoTargetImport_n accepted only as scoped source-extension parameterized-witness evidence/precondition for Matter-Coupling Bridge Target v1 while no source-law adoption coupling-law adoption matter-coupling derivation stress-energy semantics stress-energy tensor matter action detector semantics MetricData(E) adoption g_eff scope expansion Einstein-equation premise benchmark fit or downstream promotion is imported
Evidence: research_control/tasks/RT-20260614-269/artifacts/298_NONBOTTOM_METRICDATA_WITNESS_SRC_GSC_P4_PARAMETERIZED_FINITE_LOCAL_SOURCE_FAMILY_WITNESS_V1_SOURCE_EXTENSION_EVIDENCE_GATE_CHAIR_REVIEW.texnot started
field equations
no Einstein-equation derivation supplied
Burden: einstein_equations
Blocks on: dynamics action or variation
Evidence: research_control/program_state.yamlblocked by missing primitive
exact-GR benchmark
benchmark promotion remains blocked
Burden: benchmark_promotion
Blocks on: all upstream derivation burdens
Evidence: research_control/program_state.yamlhuman-gated
Gate Chair status
Gate Chair review remains blocked
Burden: gate_chair_status
Blocks on: protected verdict authority
Evidence: research_control/approvals/README.md2 rows
Negative and control rows
Finite robustness and frozen toy-model rows that guide routing without proving global failure.
Refuter stress passed
finite variation robustness
Proposal-only FVR_src^GSC survives named Refuter stress as fail-closed source-extension data while arbitrary robustness adoption M_src and downstream GR claims remain blocked
Burden: finite_variation_robustness
Blocks on: arbitrary finite-variation preservation beyond fail-closed proposal-only FVR_src^GSC interface
Evidence: research_control/tasks/RT-20260614-101/artifacts/142_RESP_LC_M_SRC_GSC_FINITE_VARIATION_ROBUSTNESS_LAW_REFUTER_STRESS_TEST.texfrozen negative
finite source-to-response toy model
explicit-tag-only finite toy route failed tag-removal stress and is frozen locally
Burden: finite_toy_metric_response
Blocks on: minimal finite response analogue
Evidence: research_control/tasks/RT-20260614-055/artifacts/96_RESP_LC_FINITE_TOY_METRIC_RESPONSE_MODEL_REFUTER_STRESS_TEST.texForbidden overreads
What the dashboard does not authorize.
The page does not adopt MetricData(E), change g_eff scope, adopt a coupling law, derive matter coupling, import stress-energy semantics, derive Einstein equations, promote the benchmark, issue a Gate Chair verdict, or complete the derivation.
Reader path
Read adjacent pages before treating any row as decisive.
The dashboard is most useful when read beside current state, roadmap, source-extension, and human-gate pages.
Current physics state
Read the latest checked-in source-state snapshot before interpreting dashboard rows as current status.
Open routeGR derivation roadmap
Read the conceptual burden ladder that this dashboard renders from ledger rows.
Open routeMetric response ladder
Read the glossary-first object ladder for Resp_lc, M_src, MetricData(E), scoped g_eff, and matter-coupling status.
Open routeSource extension pipeline
Understand proposal-only, draft/control, audit, stress, selector, and precondition states.
Open routeGate Chair and human gates
Review why gate readiness cannot be read as a protected verdict.
Open routeSource provenance
Inspect the pinned source records.
Primary reading stays inside the website. These links are provenance for the checked-in dashboard snapshot.
registries/DISTANCE_TO_GR_LEDGER.csv
Pinned upstream source dependency for this dashboard snapshot.
Inspect sourceresearch_control/design/gr_derivation_burden_map.md
Pinned upstream source dependency for this dashboard snapshot.
Inspect sourceresearch_control/design/mathematical_decisiveness_completion_contract.md
Pinned upstream source dependency for this dashboard snapshot.
Inspect sourceresearch_control/design/obstruction_and_freeze_control.md
Pinned upstream source dependency for this dashboard snapshot.
Inspect sourceregistries/CLAIM_BOUNDARY_REGISTRY.csv
Pinned upstream source dependency for this dashboard snapshot.
Inspect sourceresearch_control/program_state.yaml
Pinned upstream source dependency for this dashboard snapshot.
Inspect sourceresearch_control/handoffs/handoff-0321.yaml
Pinned upstream source dependency for this dashboard snapshot.
Inspect sourceresearch_control/handoffs/handoff-0321.md
Pinned upstream source dependency for this dashboard snapshot.
Inspect source