Skip to content

VGSE-MECHANICAL-SEMANTICS-001 — TE3-Native Design to Mechanical Semantics

Campaign: VGSE-001
Phase: VGSE-MECHANICAL-SEMANTICS-001
Programme tracker: grandchallenge/MATH-PROGRAMME#1084
M0 tracker: grandchallenge/MATH-PROGRAMME#1085
Preparation base: f32a1e0cf2b90cb0fda8552effe8de4e713712d2
Protected campaign admission: PR #1086, merge/readback fee2dfed5876ea91543ceae1400b5e355a6583e5
Protected continuity rebind: PR #1087, merge/readback 8c8acbe71c649b75bff05d7c835db235cf326003
Status: PROTECTED_ACTIVE; M0 is AUTHORIZED_READY; M1 and M2 remain blocked pending separately governed successor activations

1. Core clarity

VGSE has crossed a phase boundary.

The reconstruction-first programme established a protected mathematical control space and then identified the exact boundary of what the retained geometry does and does not determine. The next programme is not another attempt to infer more from the same five retained C05 branches.

The new object is a GCL-designed family:

mathematical quotient coordinates x
  -> TE3-consistent geometric realization g
  -> explicitly modeled mechanical behaviour m

The campaign question is:

Which parts of the protected VGSE mathematical control space admit constructive TE3-native realizations, and which of those coordinates acquire stable, identifiable mechanical meaning under an explicit kinematic or physical model?

The short rule is:

Stop reconstructing the historical specimen. Start engineering the admissible family. Then determine which mathematical coordinates actually mean mechanics.

2. Protected predecessor state

This phase inherits the predecessor results. It does not reopen them.

WP01-WP03: mathematical control space

The fixed graph has an eight-dimensional positive quotient. WP02 gives the protected exact global inverse between the selected mathematical response coordinates and the eight quotient variables. WP03 gives ten exact consistency relations describing the feasible eight-dimensional response image inside the eighteen-dimensional response chart.

These are mathematical graph-response facts. They are not yet mechanical semantics.

WP04: empirical geometry coupling failed

The five retained C05 geometries do not provide five independent geometry/quotient observations. They were generated from one quotient fixture. Existing evidence therefore does not identify a general empirical geometry-to-quotient map.

WP05: exact invariant split

The eight quotient directions split as

8 = 3 closed-cycle directions + 5 boundary-path directions.

Geometry alone exposes the three closed-cycle directions. The remaining five path directions require boundary calibration in the broader algebraic primitive.

WP06: model-contract resolution

For a genuine source-defined TE3 t-embedding, Euclidean dual-edge geometry determines the graph-weight gauge class and therefore all eight quotient directions.

The retained five C05 branches fail TE3 relative to the protected C04 weight class. In the broader algebraic-realization class, an exact positive boundary-rescaling action produces a five-dimensional observation-preserving ambiguity.

WP06 is terminal. Do not reopen it absent a separately governed new question.

Source-correspondence boundary

VGSE-C06 remains fail-closed. The historical Figure-16-to-pinned-C correspondence is not established.

C06 is not on the critical path of this phase. A GCL-designed TE3 realization is a new design object, not recovered source geometry.

3. Campaign architecture

The phase is organized as three gated work packages.

M0  TE3 realization atlas
      |
      | protected terminal + separate successor activation
      v
M1  kinematic semantics
      |
      | protected terminal + separate successor activation
      v
M2  identifiability-aware inverse design

Only M0 is authorized by this admission.

M1 and M2 are programme structure, not current substantive authority.

4. M0 — TE3 realization atlas

Governed work: VGSE-TE3-REALIZATION-ATLAS-001
Tracker: grandchallenge/MATH-PROGRAMME#1085

Question

Let Q = (R_{>0})^8 denote the protected positive quotient chart.

For which tested quotient points does there exist a declared admissible source-definition-conformant TE3 realization?

Define the tested realizability set

A = { x in Q : an admissible TE3-consistent realization g exists
                 under the declared graph, boundary, and convention contract }.

M0 must study the forward construction x -> g. It must not infer a geometry from the old five-branch catalogue and call that quotient-space coverage.

Required obligations

  1. Pin the exact graph, quotient chart, orientation/Kasteleyn conventions, boundary conventions, and source TE3 definition.
  2. Implement a forward realization procedure from independently selected quotient points to TE3-conformant geometry or an explicit failure/branch disposition.
  3. Produce multiple genuinely independent quotient/geometry pairs.
  4. Verify TE3 independently on every retained successful realization.
  5. Track convexity, noncrossing, orientation, and other declared admissibility conditions separately from TE3.
  6. Detect branch multiplicity and avoid silently canonicalizing multiple realizations.
  7. Compute local rank and conditioning information where a differentiable realization map is meaningful.
  8. Retain singular, degenerate, branch-changing, and solver-failure cases.
  9. Deliberately test and attempt to falsify at least one overbroad realization hypothesis.
  10. Produce deterministic replay, machine-readable atlas records, and a claim ledger.

Minimum falsification target

M0 must explicitly test a claim at least as strong as:

Every positive quotient point in the tested neighbourhood has one unique admissible TE3 realization under the declared boundary contract.

A counterexample, branch multiplicity, singularity, or component restriction is a substantive result.

Terminal dispositions

M0 terminates at exactly one of:

  • TE3_REALIZATION_ATLAS_ESTABLISHED;
  • TE3_REALIZATION_ATLAS_PARTIAL;
  • TE3_REALIZATION_COMPONENT_RESTRICTED;
  • TE3_REALIZATION_CONSTRUCTION_OBSTRUCTED;
  • TE3_REALIZATION_UNRESOLVED.

A negative or component-restricted result is successful when it is exact enough to change the design space.

M0 non-goals

M0 does not claim kinematic mobility, rigid foldability, collision freedom, stiffness, force transmission, finite thickness, constitutive behaviour, material performance, or manufacturability.

A successful TE3 realization is geometry satisfying the declared mathematical compatibility contract. It is not yet a mechanical mechanism.

5. M1 — kinematic semantics

M0 reached protected terminal disposition TE3_REALIZATION_ATLAS_PARTIAL. M1 K0/K1 is activated by the separately governed M1 admission tracked at grandchallenge/MATH-PROGRAMME#1163; no K2 or M2 authority follows.

Its object will be an explicit constraint/crease kinematics model attached to the admitted TE3 realization family.

Candidate observables include:

  • configuration-space dimension;
  • infinitesimal mobility;
  • compatible fold modes;
  • singular configurations;
  • locking;
  • deployment ratios;
  • motion conversion;
  • purely kinematic mechanical advantage where the definition is justified;
  • sensitivity of those quantities to geometric perturbation.

M1 should begin with kinematics because it introduces fewer unverified material assumptions than stiffness/compliance modeling.

M1 must not interpret mathematical graph weights as hinge stiffnesses or constitutive parameters without a separately justified physical bridge.

6. M2 — identifiability-aware inverse design

M2 is blocked until M1 reaches a protected terminal state and a separate activation is admitted.

M2 must choose one bounded mechanical target, for example one deployment ratio, motion-conversion ratio, amplification measure, or locking transition.

Before substantial inverse-design optimization, M2 must apply the adopted GCL-ID-00 profile.

At minimum, ID-PREFLIGHT-LITE must state:

  1. the exact design object to be recovered;
  2. the mechanical observations/target available to the inverse procedure;
  3. known observation-preserving equivalences;
  4. the strongest justified recoverable object;
  5. extra information or normalization required for a stronger representative-level design claim.

The inverse target may be an equivalence class rather than a unique geometry.

If the identifiability or obstruction statement itself becomes certified mathematics, route it through MATHCERT.

7. Why the arrows are separate

The campaign must preserve the distinction

x -> g -> m

where:

  • x is a mathematical design coordinate in the protected quotient;
  • g is a TE3-consistent geometry;
  • m is an explicitly defined mechanical observable.

A theorem about x -> g does not establish a theorem about g -> m.

A numerical correlation between x and m does not establish which intermediate geometry or physical assumptions are responsible.

This separation is the central claim discipline of the new phase.

8. Required M0 artifacts

The M0 substantive work surface should retain at least:

  • research/vgse-ms-m0/README.md;
  • MODEL_CONTRACT.json;
  • QUOTIENT_SAMPLE.json;
  • REALIZATION_ATLAS.json;
  • TE3_REPLAY.json;
  • BRANCH_LEDGER.json;
  • SENSITIVITY.json;
  • FALSIFICATION_LEDGER.json;
  • RESULTS.json;
  • CLAIM_LEDGER.json;
  • deterministic analysis/replay code;
  • regression tests;
  • environment lock where required.

These names define the intended evidence surface. They are not claims of results at campaign admission time.

9. Review and progression

M0 substantive completion requires the normal protected sequence: deterministic exact-head replay where applicable, distinct Adversary and Referee review, continuity rebind if protected state moved, required checks, native merge queue, protected-main readback, terminal checkpoint update, and tracker closure.

M0 completion does not automatically authorize M1.

M1 completion does not automatically authorize M2.

Each successor requires a fresh governed admission against then-current protected state.

10. Claim boundary

This phase does not establish:

  • VGSE-C06 or historical source correspondence;
  • rigid foldability;
  • collision freedom;
  • finite-thickness feasibility;
  • stiffness or constitutive behaviour;
  • material, hinge, friction, fatigue, or tolerance performance;
  • manufacturability;
  • product performance;
  • novelty or priority;
  • patentability;
  • commercial value.

The campaign is a path from mathematical control coordinates toward explicit engineering semantics. Every bridge must be established separately.