Skip to content

dancinlab/hexa-rtsc

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

66 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

hexa-rtsc

🧊 hexa-rtsc

HEXA-RT-SC Family β€” room-temperature superconductor Β· 48T SC coil Β· substrate-of-substrates Β· n=6 closed form

License CI Version Closure Lint Falsifier Firmware DOI Downstream

Room-temperature superconductor Β· Meissner Β· 48T coil Β· BCS Β· Abrikosov Β· LK-99 Β· n=6 lattice Β· falsifier-preregister


Room-Temp Superconductor β€” Meissner + 48T SC coil. Substrate-of-substrates for fusion Β· UFO Β· accelerator.

2-verb energy substrate organized around the n=6 invariant lattice: RTSC (Tc=300K, Hc2=σ·τ=48T, Cooper Ο†=2) / SC (BCS, Abrikosov CN=6). v1.0.0 ships spec + falsifier preregister only β€” no working empirical sandbox. RT-SC is academically unproven (LK-99 et al. unsettled).


Why

hexa-rtsc is the substrate-of-substrates: the n=6 base substrate that three sister substrates depend on:

  • dancinlab/hexa-fusion β€” needs 48T SC coil (σ·τ=48 satisfies confinement gate)
  • dancinlab/hexa-ufo β€” needs Stage-1 Meissner levitation (B-field expulsion)
  • dancinlab/hexa-cern β€” needs SC magnet (accelerator beamline bending)

If RT-SC is empirically realised, all three downstream substrates unlock at once: tabletop fusion, room-temp magnetic levitation, and benchtop accelerator beamlines. If it is not, all three remain upper-bounded by current liquid-helium-cooled cuprate / Nb-Ti / Nb₃Sn limits.

This repo extracts the n=6 closed-form candidate spec + falsifier preregister from canon/domains/energy/{room-temp-sc,superconductor}/ (SHA c0f1f570, 2026-05-06).


Status

RT-SC is academically UNPROVEN. LK-99 (2023) and subsequent room-temp candidates have not been independently replicated. v1.1.0 ships RSC code-layer FINAL (book-keeping closure) per .roadmap Β§A.6:

  • n=6 closed-form candidate spec (Tc=300K, Hc2=σ·τ=48T, Cooper Ο†=2 boson, Abrikosov CN=6)
  • falsifier preregister tables (F-RTSC-{1,2,3} + F-SC-{1,2,3})
  • 35 verify scripts (T1 Γ—6 + T2 Γ—17 + T3 Γ—6 + meta Γ—3 + run_all + cross-cutters; meta = falsifier_check + lint_numerics + saturation_check; T2 includes numerics_cross_pillar 4-pillar consistency)
  • 100% bookkeeping closure for all 6 falsifiers (T1 + T2 Γ—3 + T3-archival Γ—1)
  • Β§A.6.1 Phase A β†’ D+ COMPLETE β€” 3 hardware design docs, 3 sim-parity scripts, 4 sim-firmware, HDL+MCU verified-build (70/70 PASS)
  • CHIP DESIGN + SCHEMATICS + PINOUT β€” firmware/doc/ documents STM32F407VGT6 + Artix-7 XC7A35T pin assignments, 11-IC silicon BOM, ASCII signal-path schematics, 7.6 W power budget, 4-layer FR-4 PCB

🎯 100% closure β‰  RT-SC physics settled. Strict raw-data T3 (Stage-1+ hardware: synthesis bench + 48 T coil + calorimetry rig) β†’ Β§A.6 Step 4 (~$225k + 14-20 mo from funding release).

No empirical claim of working RT-SC is made or implied. Synthesis-side validation is out-of-repo (would require a materials lab).

Verdict: bookkeeping closure 100 %, empirical claim NOT verified. The lattice machinery + sim parity + sim-firmware + HDL/MCU build are fully wired: 35 verify/*.hexa scripts + 4 sim-firmware + 12/12 iverilog testbench + 15/15 cargo unit tests pass end-to-end. Per .own own 2: a __HEXA_RTSC_*__ PASS sentinel never validates the empirical RT-SC claim β€” only that the closed form is regression-locked at the code-layer for future bench comparison.

verify/    35 scripts  (T1Γ—6 + T2Γ—17 + T3-archivalΓ—6 + metaΓ—3 + run_all)
           β”œβ”€ T2 Γ—17: 4 closed-form + 4 parity + 4 solver + lk99_dft + tdgl + whh
           β”‚          + lattice_arithmetic + cross_pillar  (recipe Β§1 #7+#13)
           └─ metaΓ—3: falsifier_check + lint_numerics + saturation_check (recipe Β§7.3)
build/     pandoc + xelatex PDF rebuild (Makefile + header.tex; recipe Β§1 #12)
docs/      numerics_methodology.md β€” T1/T2/T3/T4 ladder narrative (recipe Β§1 #13)
firmware/  10 sources  (4 sim + 2 HDL + tb + 3 MCU + lib)
doc/       3 specs     (synthesis_bench / 48t_rebco_coil / calorimetry_rig)
.roadmap   Β§A.6 + Β§A.6.1 Stage-1+ hardware path tracked
─────────────────────────────────────────────────────────────────
70/70 firmware tests  +  113/113 lint  +  43/43 falsifier  =  226/226 PASS

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-rtsc
hx install hexa-rtsc

Run

hexa-rtsc rtsc       # room-temp superconductor (Tc=300K, 48T)    [SPEC]
hexa-rtsc sc         # superconductor (BCS / Abrikosov)            [SPEC]
hexa-rtsc status     # 0/2-wired verb table + verdict + caveats
hexa-rtsc lattice    # live-compute n=6 closed-form (Οƒ Ο„ Ο† Hc2 master)
hexa-rtsc verify     # run all verify/*.hexa invariant audits
hexa-rtsc selftest   # sentinel sweep (specs + own_v1 + verify/ landing)

Repo layout

hexa-rtsc/
β”œβ”€β”€ README.md                     ← this file (public landing)
β”œβ”€β”€ README.ai.md                  ← AI-native handoff (raw 271)
β”œβ”€β”€ LICENSE                       ← MIT
β”œβ”€β”€ CHANGELOG.md
β”œβ”€β”€ RELEASE_NOTES_v1.0.0.md
β”œβ”€β”€ .own                          ← project-local SSOT (mk2 own_v1) β€” n=6 lattice + falsifier + code-scope
β”œβ”€β”€ .roadmap.hexa_rtsc            ← cross-cutting tracker β€” release cadence + falsifier preregister
β”œβ”€β”€ hexa.toml                     ← package manifest (entry/[[bin]] auto-detected by hx)
β”œβ”€β”€ install.hexa                  ← hx pre/post hook
β”œβ”€β”€ cli/
β”‚   └── hexa-rtsc.hexa            ← single-entry router (status / lattice / verify / selftest / rtsc / sc)
β”œβ”€β”€ rtsc/                         ← T1 SPEC β€” extracted from n6-arch domains/energy/room-temp-sc/
β”‚   β”œβ”€β”€ room-temp-sc.md
β”‚   β”œβ”€β”€ *-verify.hexa             ← 10 application shells (move to module/applications/ in v1.1.0)
β”‚   β”œβ”€β”€ arxiv-metadata.json
β”‚   └── osf-metadata.json
β”œβ”€β”€ sc/                           ← T1 SPEC β€” extracted from n6-arch domains/energy/superconductor/
β”‚   └── superconductor.md
β”œβ”€β”€ verify/                       ← runnable invariant audit (.hexa, hexa stdlib only)
β”‚   β”œβ”€β”€ lattice_check.hexa        ← n=6 master identity (10/10 PASS expected)
β”‚   β”œβ”€β”€ cross_doc_audit.hexa      ← cross-document lattice + falsifier presence (8/8)
β”‚   β”œβ”€β”€ falsifier_check.hexa      ← F-RTSC/F-SC monotonicity (19/19)
β”‚   └── run_all.hexa              ← orchestrator
β”œβ”€β”€ tests/                        ← hexa native test runner
β”‚   β”œβ”€β”€ test_selftest.hexa        ← sentinel sweep
β”‚   β”œβ”€β”€ test_lattice.hexa         ← exercises verify/lattice_check
β”‚   β”œβ”€β”€ test_verify.hexa          ← exercises verify/run_all
β”‚   └── test_falsifier.hexa       ← exercises verify/falsifier_check
└── doc/
    └── lineage/
        └── origin.md             ← provenance manifest (n6-arch SHA, file-by-file)

The core/<feature>/ + module/<feature>/ + README.ai.md triplet follows hive raw.mk2 arch.001 β€” the canonical core-hierarchy pattern shared with sister substrates hexa-sscb (compute axis, doc-first) and hexa-bio (molecular toolkit). v1.0.0 keeps rtsc/ + sc/ flat; v1.1.0 will split them into core/rtsc/ + core/sc/ + module/applications/ per .own own 3 + doc/lineage/origin.md migration plan.


Provenance

  • RTSC spec imported from canon/domains/energy/room-temp-sc/ (SHA c0f1f570, 2026-05-06).
  • SC spec imported from canon/domains/energy/superconductor/ (SHA c0f1f570, 2026-05-06).
  • CLI dispatcher created fresh at extraction; lattice + verify subcommands wired 2026-05-07.
  • Structural pattern (.own + README.ai.md + verify/ + doc/lineage/) aligned to hexa-sscb mk2 own_v1 on 2026-05-07.
  • Sister-of-substrates extraction template: hexa-bio v1.0.0 (dancinlab/hexa-bio, 2026-05-04).
  • Full file-by-file provenance: doc/lineage/origin.md.

License

MIT. See LICENSE.


Cross-links

  • Sister standalone: hexa-bio v1.0.0 (Molecular Toolkit substrate)
  • Downstream consumer: hexa-fusion (48T SC coil dep)
  • Downstream consumer: hexa-ufo (Meissner levitation dep)
  • Downstream consumer: hexa-cern (SC magnet dep)
  • Upstream concept SSOT: canon/domains/energy/room-temp-sc/room-temp-sc.md
  • Upstream concept SSOT: canon/domains/energy/superconductor/superconductor.md

About

🧲 Room-Temp Superconductor β€” Meissner + 48T SC coil. Substrate-of-substrates for fusion Β· UFO Β· accelerator.

Topics

Resources

License

Stars

Watchers

Forks

Packages

 
 
 

Contributors