The Metrology Frontier β what the discipline does NOT claim¶
A field that maps its frontier precisely is alive. A field that claims no frontier is marketing.
This page is the alive/dead test the discipline applies to itself. Every named summit below is a terminal state, not a gap. Each carries the licensing certificate verbatim β the artifact that would close it. The discipline knows where it ends; it states it; it refuses to claim past the boundary.
β Read this page alongside Metrology-Of-Meaning (what the discipline IS) and LVC-Close-Conditions (the strict pass/fail thresholds).
The two refusals β boundaries that NEVER close in code¶
Some boundaries cannot close in the cell. Stating them keeps the doctrine honest. These are not open summits. They are refusals. The cell does not pretend to do them.
| Refusal | What the cell does | What it does NOT do |
|---|---|---|
| Patient understanding really happened in a consent dialog | Witness GTWED drift below Ξ΅ against a propositional baseline | Witness understanding itself. Only the patient can. |
| A legal interpretation is correct | Witness drift between interpretations against a fixed baseline | Declare which interpretation is right. That is a court's role, not the cell's. |
| A student really learned | Witness propositional-structure drift below Ξ΅ between concept-as-taught and concept-as-restated | Witness learning itself. Only the student can. |
These three refusals are constitutional. They are NOT failures of the instrument β they mark where the instrument's domain of authority ends.
The nine named-open summits¶
Each summit has: (a) the strict pass/fail threshold, (b) whether it closes in code or requires external witness, (c) the artifact that closes it.
1. summit.lvc.collapse_gate_general_n¶
What stays open: the collapse-gate axioms are proven by decide on length-3 worked instances; arbitrary-N requires structural induction.
Closes when: a Lean proof over List Int ships in LionPrelude.Trajectory covering the four metric axioms for any equal-length trajectory pair.
Path: code-closable. Internal frontier.
2. summit.lvc.meaning_quantity¶
What stays open: the gate decides whether meaning survived. How much information transferred is Transfer Entropy β a separate quantity. Closes when: TE(operativeβenacted | enacted's past) compared against GΓH(M), with validated causal-direction witnesses on real dialog data. Path: code + data. The estimator can be built; closure requires real ground-truth pairs.
3. summit.lvc.sovereignty_recomputation¶
What stays open: receipts are recomputable on bytes alone (foreign-utility verify proven), but no peer cell has independently re-run a wire-shipped receipt.
Closes when: a peer cell (or hostile verifier) re-runs gaiaftcl-lvc verify on a wire-shipped receipt and the hash matches bit-for-bit.
Path: external. Requires a second cell.
4. summit.lvc.base_quantizer¶
What stays open: the on-device quantizer is currently DeterministicStubQuantizer (deterministic byte-projection, not real semantic analysis).
Closes when: sliding word windows + Savitzky-Golay smoothing + SVD/SOM into the six-arc basis emits a real (non-stub) trajectory from real text via Speech + NaturalLanguage frameworks.
Path: code-closable. Internal frontier.
5. summit.lvc.medical_quantizer¶
What stays open: the gate is wired against a propositional baseline, but consent-failure prediction has not been validated against real patient comprehension outcomes. Closes when: ROC-AUC β₯ 0.80 against real patient consent-failure outcomes, n β₯ 100, IRB-approved. Path: external. Requires patients + IRB. The cell cannot fabricate this.
6. summit.lvc.legal_quantizer¶
What stays open: propositional drift detection works structurally, but real-world legal-interpretation drift has not been field-validated. Closes when: Spearman r β₯ 0.50 against attorney-judged interpretation drift on n β₯ 200 contract pairs. Path: external. Requires bar-licensed raters.
7. summit.lvc.education_quantizer¶
What stays open: double-criterion validation has not been run. Comprehension-G must CORRELATE with judged understanding AND ANTI-CORRELATE with mere recall. Closes when: both criteria hold simultaneously on n β₯ 300 student concept-restate pairs with independent raters. Path: external. Requires students + independent raters.
8. summit.lvc.embodied_quantizer (named in GFTCL-LION-LVC-007 Fix 4)¶
What stays open: the embodied-action quantizer projection is built (EmbodiedActionQuantizer β MeaningTrajectory over distance/force/proxemic/path-deviation channels), but the projection has NOT been validated as a meaning measure.
Closes when: BOTH (a) Spearman r β₯ 0.50 vs. human-judged "robot did what I meant" on n β₯ 200 actions rated by β₯ 20 raters, AND (b) Spearman r β€ β0.40 vs. mechanically-successful-but-meaning-wrong adversarial cases on n β₯ 100.
Path: external. Requires real robot + real human raters. The Swift code path NEVER emits closedConfirmed.
9. Continuous Klein-bottle witness topology¶
What stays open: FirstRoars/WitnessTopology.lean proves the Klein bottle's non-orientability, boundary-lessness, and metric preservation on the discrete 8Γ6 lattice. The continuous limit has not been formalised.
Closes when: continuous-topology proof in LionPrelude (no Mathlib), with limit-preservation of the discrete-lattice properties.
Path: code-closable. Long-horizon Lean work.
Quick-read frontier table¶
| # | Summit | Closes by | Status |
|---|---|---|---|
| 1 | collapse_gate_general_n |
Lean structural induction | code-closable |
| 2 | meaning_quantity |
TE estimator + validated pairs | code + data |
| 3 | sovereignty_recomputation |
peer cell wire-replay | external |
| 4 | base_quantizer |
real on-device NL pipeline | code-closable |
| 5 | medical_quantizer |
ROC-AUC β₯ 0.80 IRB study | external |
| 6 | legal_quantizer |
Spearman r β₯ 0.50 vs. bar raters | external |
| 7 | education_quantizer |
double-criterion student study | external |
| 8 | embodied_quantizer |
double-criterion robot+human study | external |
| 9 | continuous Klein topology | Lean continuous-limit proof | code-closable |
Five external, four code-closable, three refusals. That is the frontier as of this commit.
What the frontier proves about the discipline¶
A discipline that names its boundary precisely is alive in the sense the cell already uses for itself: every gate has a fail-closed direction, every summit has its falsifier, every receipt is recomputable on bytes alone. The same property applied to the discipline itself is what makes it engineering rather than marketing.
The cell measures meaning-survival under transformation. The cell does NOT pretend to measure understanding-itself, learning-itself, or interpretation-correctness. The cell witnesses fidelity to a structural floor; the sovereign public, holding the receipt, decides what to do.
The discipline is alive when, asked what it cannot do, it answers without flinching. This page is that answer.
Federation-cosigned
This page's source is sealed in the GaiaFTCL federation manifest β page SHA-256 78a294b941ef4a1bβ¦, manifest witness a090592e0609adc8β¦, signed 2026-06-02T18:58:22Z by cell gaiaftcl-mac-cell. Verify with gaiaftcl wiki sign --all and compare wiki-all-signatures.json.