🛸 hexa-ufo

HEXA-Disc — UFO substrate atlas · RT-SC VTOL · alien-index 🛸6 → 🛸ABSOLUTE · 7-stage propulsion ladder

UFO · VTOL · RT-SC · Meissner · fusion · antimatter · warp · wormhole · dim-jump · dim-use · falsifiable · MIT

---

10-verb UFO substrate atlas organized around a 7-stage propulsion stack: Stage-1 Meissner / Stage-2 fusion / Stage-3 antimatter (cross-link to sister repos) + Stage-4 Alcubierre warp / Stage-5 Morris-Thorne wormhole / Stage-6 KK ladder dim-jump / Stage-7 (σ−φ)²=100c composite dim-use (in-tree spec + 13-falsifier preregister, all OPEN, all UNPROVEN). alien_index chain: 🛸6 → 🛸16 meta² → 🛸∞⁴ → 🛸ULTRA → 🛸CARD → 🛸BEYOND → 🛸ABSOLUTE = 𝔚 — n=6 substrate (🛸6~🛸15) → meta² self-closure fixed point (🛸16) → Knuth-arrow tetration (🛸∞⁴ = 24↑↑↑↑) → uncomputable (🛸ULTRA: TREE/BB/Rayo) → large cardinals (🛸CARD: inaccessible/Mahlo/Woodin/I0) → Kunen-violating (🛸BEYOND: Reinhardt/Berkeley) → terminus 🛸ABSOLUTE = 𝔚 (Cantor Absolute Infinity, "신 그 자체"). n=6 uniqueness σ·φ=n·τ=24 is Π₀¹-arithmetical → Δ₀-absolute across every layer including 𝔚. See docs/meta-closure-nav/ for the canonical reference + SF-소설 입문서.

Provenance: extracted from canon/domains/sf-ufo/ at SHA c0f1f570 on 2026-05-06. Sister to dancinlab/hexa-bio (molecular toolkit) standalone pattern.

Why

The flying saucer is the icon of speculative engineering. hexa-ufo collects the design-draft atlas (1890-LOC main document) plus 5 propulsion sub-axis docs (grav / hover / cloak / teleport / sim) plus 4 in-tree Stage-4~7 substrate spec docs (warp / wormhole / dimjump / dimuse) into a single browsable substrate registry, organized around a 7-stage propulsion ladder:

  Stage-1 hover     Meissner diamagnetism (RT-SC 48T)        0~20 km altitude    [hexa-rtsc]
  Stage-2 cruise    MHD + tabletop fusion (D-T / p-11B)      20~200 km           [hexa-fusion]
  Stage-3 orbital   antimatter gamma-rocket (anti-H + H)     200 km~1 AU         [hexa-antimatter]
  Stage-4 warp      Alcubierre bubble δ=1/σ R=n=6            1 AU~galactic       [in-tree warp/]
  Stage-5 wormhole  Morris-Thorne b₀=ℓ_Pl·σ throat           intergalactic       [in-tree wormhole/]
  Stage-6 dim-jump  KK ladder 4D→6D→10D→11D→24D→26D          bulk wide           [in-tree dimjump/]
  Stage-7 dim-use   τ=4 cycle (σ−φ)²=100c composite          observer-invisible  [in-tree dimuse/]

Stages 1-3 cross-link to public sister substrates. Stages 4-7 ship as in-tree spec docs with 13-falsifier preregister (F-WARP-{1..3} + F-WORM-{1..3} + F-DIM-{1..3} + F-USE-{1..4}, all OPEN at v1.0.0). Each Stage-4~7 claim is academically UNPROVEN — verify/* sentinel PASS validates lattice arithmetic + token consistency, NOT empirical apparatus.

Status

• v1.0.0 ships 10 verbs DOC + 20/20 verify PASS + 13 falsifiers OPEN
• alien_index chain anchored: 🛸6 → 🛸16 meta² → 🛸∞⁴ → 🛸ULTRA → 🛸CARD → 🛸BEYOND → 🛸ABSOLUTE = 𝔚
• 7/7 propulsion stages substrate-grounded: Stage-1/2/3 cross-linked to sister repos; Stage-4/5/6/7 ship in-tree with falsifier preregister
• Bookkeeping closure 100% (lattice arithmetic + token consistency); empirical Alcubierre / Morris-Thorne / KK / composite-cycle truth remains UNPROVEN
• Falsifier status set restricted to {OPEN, CONFIRMED, DEMOTED} (monotone — no silent retract)

Falsifier preregister (13 IDs, all OPEN at v1.0.0)

Stage	IDs	Spec doc
Stage-4	F-WARP-1, F-WARP-2, F-WARP-3	warp/hexa-warp.md
Stage-5	F-WORM-1, F-WORM-2, F-WORM-3	wormhole/hexa-wormhole.md
Stage-6	F-DIM-1, F-DIM-2, F-DIM-3	dimjump/hexa-dimjump.md
Stage-7	F-USE-1, F-USE-2, F-USE-3, F-USE-4	dimuse/hexa-dimuse.md

Falsifiers are monotone: status flips OPEN → CONFIRMED or OPEN → DEMOTED. Silent retract is forbidden. See .roadmap.hexa_ufo §B for the canonical table.

Install

# 1. Install hexa-lang (gives you `hexa` + `hx` package manager)
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/dancinlab/hexa-lang/main/install.sh)"

# 2. Install hexa-ufo
hx install hexa-ufo

Run

hexa-ufo ufo             # main atlas (1890-LOC narrative + 484-tier L(k)=24^(k-15))
hexa-ufo grav            # Stage-1 substrate: Meissner gravitomagnetic levitation
hexa-ufo hover           # Stage-1/2 substrate: hover / VTOL primitive
hexa-ufo cloak           # optical / RF / thermal cloaking
hexa-ufo teleport        # Stage-5/6 substrate: wormhole / quantum-teleport
hexa-ufo sim             # airframe / cross-domain simulation
hexa-ufo warp            # Stage-4 substrate: Alcubierre 1994 bubble (in-tree, F-WARP-{1..3})
hexa-ufo wormhole        # Stage-5 substrate: Morris-Thorne 1988 (in-tree, F-WORM-{1..3})
hexa-ufo dimjump         # Stage-6 substrate: Calabi-Yau 4D→26D KK (in-tree, F-DIM-{1..3})
hexa-ufo dimuse          # Stage-7 composite: τ=4 (σ−φ)²=100c (in-tree, F-USE-{1..4})
hexa-ufo status          # propulsion-stage substrate table + caveats
hexa-ufo selftest        # atlas-consistency check (verb count + lattice arithmetic)
hexa-ufo lattice         # live n=6 master identity (σ τ φ Hc2)
hexa-ufo verify          # run verify/*.hexa with aggregate verdict
hexa-ufo version         # print version
hexa-ufo help            # full --help (subcommands + env vars)

Verify

hexa-ufo is an atlas browser + 7-stage substrate registry — verification scope is two-tier:

1. Atlas tier (selftest): 10 verbs present + 484-tier L(k)=24^(k-15) lattice arithmetic sanity (L(15)=1, L(16)=24, L(17)=576).
2. Substrate tier (verify/run_all): 20 invariant audits across verify/, organised as T1 algebraic + T2 numerical + T3 archival-empirical-parity + meta cross-cutters (per docs/numerics_methodology.md):
   • T1 algebraic (7): lattice_check · stages_cross_doc · stages_falsifier · calc_warp · calc_wormhole · calc_dimjump · calc_dimuse
   • T2 numerical (4): numerics_warp · numerics_wormhole · numerics_dimjump · numerics_dimuse
   • T3 archival-parity (4): numerics_*_parity for each pillar (Casimir 1948 / Morris-Thorne 1988 / Kaluza-Klein / Bessel 1838 etc.)
   • Cross-cutters + meta (5): numerics_lattice_arithmetic · numerics_cross_pillar · cross_link_upstream · lint_numerics · saturation_check

hexa run verify/run_all.hexa       # 20/20 scripts PASS (bookkeeping closure)
hexa run cli/hexa-ufo.hexa verify  # equivalent (CLI wrapper)
hexa run tests/test_stages_propulsion.hexa  # roll-up: run_all + selftest + lattice

Bookkeeping closure 100 % — 20/20 verify scripts return PASS via verify/run_all.hexa. All 13 falsifier IDs (F-WARP/F-WORM/F-DIM/F-USE) are preregistered across roadmap + CLI + per-stage spec surfaces, with status set restricted to {OPEN, CONFIRMED, DEMOTED} (monotone — no silent retract). This certifies that the closed-form n=6 lattice machinery + token surfaces are regression-locked at the code-layer. It does not certify empirical Alcubierre / Morris-Thorne / Kaluza-Klein / composite-cycle truth — those remain academically UNPROVEN at v1.0.0.

What is not verified:

• Empirical claims of any propulsion stage. Stages 1-3 defer to sister substrate repos. Stages 4-7 are academically UNPROVEN — Alcubierre / Morris-Thorne / KK extra dimensions / composite τ=4 cycle remain conjectural.
• Flight hardware / aerodynamic feasibility / FAA certification.
• The narrative claims in the 1890-LOC main atlas — these are design-draft / thought-experiment content, not engineering specs.

Repo layout

hexa-ufo/
├── README.md                          ← this file (public landing, 18-block format)
├── LICENSE                            ← MIT
├── AGENTS.tape                        ← governance + identity (.tape v1.2)
├── CLAUDE.md                          ← symlink → AGENTS.tape
├── CHANGELOG.md · RELEASE_NOTES_v1.0.0.md
├── CITATION.cff · hexa.toml · install.hexa
├── LATTICE_POLICY.md                  ← project-local lattice-as-tool standard
├── LIMIT_BREAKTHROUGH.md              ← per-domain HARD/SOFT wall audit
├── IMPORTED_FROM_CANON.md             ← extraction provenance
├── TAPE-AUDIT.md                      ← .tape adoption audit ledger
├── HEXA-UFO.md · HYPOTHESES.md · EXPERIMENTS.md · SF.md
├── CLOAK.md · HOVER.md · CROSS-DOMAIN-MEGA.md · RTSC-12-PRODUCTS-EVOLUTION.md
├── HEXA-CLOAK.md · HEXA-GRAV.md · HEXA-HOVER.md · HEXA-SIM.md · HEXA-TELEPORT.md
├── cli/
│   └── hexa-ufo.hexa                  ← 10-verb router + status + selftest + lattice + verify
├── ufo/
│   ├── doc/
│   │   ├── hexa-ufo.md                ← 1890-LOC main atlas (alien_index 🛸6→🛸16 meta², extensible)
│   │   └── warp-dimension-design.md   ← warp/dimension design spec (BT-347~349)
│   └── module/
│       └── ufo_nexus_scan.hexa        ← NEXUS-6 aerospace scan stub
├── grav/hexa-grav.md                  ← Stage-1 Meissner doc
├── hover/hexa-hover.md                ← Stage-1/2 hover / VTOL
├── cloak/hexa-cloak.md                ← cloaking
├── teleport/hexa-teleport.md          ← Stage-5/6 teleport
├── sim/hexa-sim.md                    ← airframe / cross-domain sim
├── warp/hexa-warp.md                  ← Stage-4 Alcubierre (in-tree, F-WARP-{1..3})
├── wormhole/hexa-wormhole.md          ← Stage-5 Morris-Thorne (in-tree, F-WORM-{1..3})
├── dimjump/hexa-dimjump.md            ← Stage-6 KK ladder 4D→26D (in-tree, F-DIM-{1..3})
├── dimuse/hexa-dimuse.md              ← Stage-7 (σ−φ)²=100c composite (in-tree, F-USE-{1..4})
├── verify/                            ← 20 scripts (T1×7 + T2×4 + T3×4 + cross-cut×5)
│   ├── lattice_check.hexa             ← n=6 master identity (10/10 PASS)
│   ├── stages_cross_doc.hexa          ← Stage-4~7 spec ↔ cli ↔ roadmap (19/19)
│   ├── stages_falsifier.hexa          ← 13 falsifier IDs × 3 surfaces (45/45)
│   ├── calc_{warp,wormhole,dimjump,dimuse}.hexa     ← T1 algebraic per pillar
│   ├── numerics_{warp,wormhole,dimjump,dimuse}.hexa ← T2 SI numerical bridge
│   ├── numerics_*_parity.hexa         ← T3 archival empirical parity (4 pillars)
│   ├── numerics_lattice_arithmetic.hexa  ← sub-1e-9 math_pure precision
│   ├── numerics_cross_pillar.hexa     ← sub-1e-12 cross-pillar anchors
│   ├── cross_link_upstream.hexa       ← Stage-1/2/3 sister CLI cross-link
│   ├── lint_numerics.hexa             ← 41/41 invariant meta-lint
│   ├── saturation_check.hexa          ← RSC saturation signal
│   └── run_all.hexa                   ← orchestrator (20/20 scripts PASS)
├── docs/
│   ├── logo.svg                       ← README header glyph
│   ├── numerics_methodology.md        ← T1/T2/T3 audit methodology
│   ├── t4_hardware_explainer.md       ← Stage-4 hardware explainer
│   ├── hexa_ecosystem_survey.md       ← cross-repo ecosystem survey
│   ├── cross-domain-mega/             ← cross-domain integration notes
│   ├── hypotheses/                    ← hypotheses preregister
│   ├── experiments/                   ← experiment notes
│   ├── rtsc-12-products-evolution/    ← RT-SC product evolution table
│   └── meta-closure-nav/              ← alien_index chain reference + SF-소설 입문서
├── tests/                             ← 6 test wrappers (regression layer)
├── examples/
│   └── propulsion_stack.md            ← 7-stage evolution table
├── papers/                            ← supporting papers
├── build/ · state/                    ← build / runtime artifacts (gitignored)
└── .roadmap.hexa_ufo                  ← §A meta + §B Stage-4~7 13-falsifier preregister

License

MIT — see LICENSE file.