CoxeterViewer5D v0.1.0 research preview

v0.1.0 Research Preview

Date: 2026-05-30

Summary

CoxeterViewer5D is an offline-capable research/teaching viewer for Coxeter
Cayley balls, Davis cells, Y_Gamma, quotient/game experiments, and certified
compact examples. Some geometry is certified at the data level; rendered 3D
views are drawing or projection conventions unless explicitly labeled
otherwise.

This release is meant as a public alpha: useful for inspection, teaching, and
reproducible local experiments, but not a theorem prover.

Demo Path

• Find a hexagon in A2.
• Inspect the A3 rank-three cell focus.
• Inspect the Y_Gamma 3D model for Makarov P2.
• Run the I2(5) quotient/game workflow and export an experiment bundle.

Screenshots are generated by:

corepack pnpm demo:screenshots

Viewer UX

• Guided inspection modes for rank-two relations, rank-three cells, local links,
  Y_Gamma, and quotient/game experiments.
• A one-object Y_Gamma 3D model with oriented generator arrows and relation
  faces glued to the base spine.
• Teaching/research UI modes, viewer-only mode, dark/light theme, and WASD
  camera movement.
• Topology lenses for generator stars, rank-three cells, edge/cell focus, and
  quotient ascending/descending/level links.

Mathematical Data And Diagnostics

• Certified compact 5-cube, three compact 5D Makarov-family seven-facet
  examples, and Tumarkin's 15 eight-facet G11411 examples.
• Source transcription, exact dotted values, Gram/signature diagnostics, and
  external artifact manifests are separated from visualization claims.
• Generated Sage/GAP fixtures and quotient/game demo artifacts carry
  reproducibility metadata.

External Tool Jobs

• Sage: optional exact generated-ball, quotient export, and geometry certificate
  scripts.
• GAP/KBMAG: optional generated-ball and quotient-export parity scripts.
• CoxIter: optional compact-example cross-check artifacts.
• Missing tools produce explicit skipped-status artifacts where supported; they
  do not block the browser viewer.

Packaging

• Web: corepack pnpm release:web
• Desktop: corepack pnpm release:desktop
• Unsigned Windows artifacts produced locally:
  • src-tauri/target/release/bundle/msi/CoxeterViewer5D_0.1.0_x64_en-US.msi
  • src-tauri/target/release/bundle/nsis/CoxeterViewer5D_0.1.0_x64-setup.exe
• Code signing: not included in this public alpha unless release credentials are
  supplied.
• Updater signing: scaffolded only; no update feed is enabled.

Validation

Local release validation completed for this preview:

corepack pnpm format
corepack pnpm lint
corepack pnpm test
corepack pnpm build
corepack pnpm exec playwright test
corepack pnpm bench:timed:check
corepack pnpm validate:research-grade
corepack pnpm workflow:validate
corepack pnpm registry:validate
corepack pnpm session:validate
corepack pnpm demo:record -- --check docs/demo-media-manifest.json
corepack pnpm demo:screenshots

Desktop release checks:

cargo test --manifest-path src-tauri/Cargo.toml
cargo fmt --manifest-path src-tauri/Cargo.toml --check
corepack pnpm release:desktop

Publication to GitHub still requires a configured remote and valid GitHub
credentials.

Known Limitations

• Rendered 3D scenes are readability models unless the UI explicitly says a
  certificate covers the displayed object.
• Hyperbolic projections do not preserve all distances, angles, or
  intersections in the 3D view.
• Y_Gamma is a fundamental-domain style complex, not a torsion-free quotient
  manifold.
• Quotient/game manifold language remains disabled without a torsion-free
  certificate.
• Desktop builds are unsigned unless the maintainer supplies signing
  credentials.
• Large generated balls and huge quotient graphs still rely on caps, caching,
  and progressive rendering rather than unlimited enumeration.