Status:
masterkeeps the validated 2D U(1) baseline and now carries the active 4D SU(3) pure-gauge kernel under validation. Branches:master(stable baseline + active SU(3) kernel),su2-3d(research reference),transition-legacy-3d(archived transition).
HK-Core is an autonomous “instrument” that runs a lattice toy model (MILL) and produces auditable JSON telemetry plus an explicit decision report.
In master, the validated regression baseline is 2D U(1) and the current advanced research kernel is 4D SU(3) pure gauge. Historical or branch-specific references for 3D U(1) and 3D SU(2) are kept under results/ for audit, but they are not the current production claim.
| Block | Canonical entrypoint | Inputs | Outputs | Notes |
|---|---|---|---|---|
| HTTP server | cargo run --release |
AUTH_TOKEN, optional RUST_LOG |
Listens on :8080 |
Source of truth for /mill/refine. |
| Single refine run | POST /mill/refine |
JSON payload (see README.md) |
JSON response | Do not “massage” results; store the full JSON. |
| Oracle loop | python3 mill_oracle.py --output out/<file>.json |
URL + token + base params | out/*.json |
Repeats /mill/refine, doubling n_sweeps until decisive or max rounds. |
| Canonical artifacts | GitHub Releases | Selected JSON outputs + checksums | Release assets | out/ is intentionally not committed. |
These should remain stable on master:
- Endpoint:
POST /mill/refine - Auth:
Authorization: Bearer <token> - JSON schema of the response (especially
result.final_verdict.*) - Default behavior when optional knobs are omitted
src/api/— Axum HTTP layer (/mill/refine, auth, types)src/engine/mill.rs— MILL kernel + measurement + analysis + verdict synthesismill_oracle.py— external orchestration loop (calls/mill/refine).github/workflows/rust.yml— CI build + testout/— local experiment outputs (gitignored)target/— Cargo build artifacts (gitignored)
target/is never committed.out/is never committed; treat it as scratch space.- Publish “canonical” outputs as Release assets (plus hashes) when needed for audit.
- IR-Lmax stat threshold check validated at
Lmax=64form0=0.1(see:results/2d_u1/beta2_seed777_s60000_stat_ir_lmax.json).
- Cabibbo-Marinari SU(2)-subgroup heatbath plus overrelaxation is the default SU(3) update path (
MILL_UPDATE=hb_or). - Positive-mass plateau gating rejects negative effective-mass windows.
- Current tracked regression is
results/4d_su3/beta5p5_seed944_heatbath_positive_plateau_regression.json; it is a kernel validation artifact, not a final Yang-Mills mass-gap claim.
- 3D U(1) dim check sample (see:
results/3d_u1/demo_3d_u1_run_L16.json). - 3D SU(2) current max IR reached in saved runs:
Lmax=32, best observedir_lmax.plateau_width=5(see:results/3d_su2/ic_test_A_hot_seed777_ls16-32_b1p6_s0p06_th2000_sw8000_me10_stat_ir_lmax.json). - IC coupling instrumentation belongs to the
su2-3dresearch line and is documented underresults/README.md.
flowchart TD
Client[Client / curl / mill_oracle.py] -->|POST /mill/refine| API[Axum API: src/api/*]
API --> Engine[MILL engine: src/engine/mill.rs]
Engine --> Sim[Monte Carlo sweeps + measurements]
Sim --> Stats[Blocking/Jackknife + plateau analysis]
Stats --> Verdict[Final verdict synthesis]
Verdict -->|JSON result| Client
| Branch | Status | Purpose |
|---|---|---|
master |
stable + active validation | Canonical 2D U(1) baseline plus active 4D SU(3) pure-gauge kernel; SU(3) results are not final mass-gap claims. |
su2-3d |
research reference | Research line for SU(2) 3D; must be treated as experimental. |
transition-legacy-3d |
legacy | Historical U(1) 3D transition branch (archived). |