v0.2.0 research preview

v0.2.0 Research Preview

Date: 2026-08-01

Summary

CoxeterViewer5D v0.2.0 is a research-preview release focused on clarity and
workflow maturity. It keeps the viewer offline-capable while making the main
models explicit: Davis complex neighborhoods, Y_Gamma, the defining graph
Gamma, geometric projections, quotient-style complexes, generator-uniform
cochains, and JNW legal-system diagnostics.

This release is still not a theorem prover. Certified examples and backend
artifacts support data-level claims; rendered 3D scenes remain drawing or
projection conventions unless the UI explicitly says otherwise.

Viewer UX

• Clear top-level model switch: Davis complex, Y_Gamma,
  Defining graph Gamma, Projection drawing, and Quotient + Games.
• Compact Current model badge with exact/proxy/projection/experimental status.
• Teaching mode keeps the visible controls to Choose Example, View, Start Here,
  Focus, Labels, compact Caveats, and the Focus Inspector.
• Research mode keeps imports, exports, backend jobs, certificates, notebook
  runs, and raw diagnostics available in Workflow, Data/files,
  Notebook/export, and Status/tools lanes.
• The right inspector is organized around three questions: what is selected,
  why it is here, and whether it is exact data or a drawing convention.
• Warnings are grouped as Caveats so approximation and omitted-view notes remain
  visible without becoming a wall of text.
• Documentation now includes a plain-language controls map and refreshed
  walkthroughs for the current UI labels.

Performance And Scale

• Renderer invalidation, spatial picking, dense-label batching, worker caches,
  and progressive quotient validation keep interaction work off the main path.
• Timed benchmarks now cover cold and warm startup, dense Y_Gamma reading,
  quotient/JNW interactions, labels, screenshots, and feature-preservation
  counts.
• Dense scenes retain the same mathematical ids, incidence records, labels,
  relation surfaces, and export semantics as their unoptimized counterparts.

Mathematical Data And Diagnostics

• Certified compact 5-cube and compact 5D prism/family examples remain bundled
  with source/certificate metadata.
• The complete Tumarkin compact 5D eight-facet catalogue is bundled and
  certified: 15 G11411 cases and the unique G12221 case. Each entry carries
  exact Gram diagnostics and a stored independent CoxIter checker artifact.
• Y_Gamma and Gamma are separate views: Y_Gamma is the one-vertex
  fundamental-domain cell complex, while Gamma is the defining Coxeter graph.
• Geometric projection remains a visualization/readability layer unless backed
  by an interval geometry certificate.

Quotient + Games

• The former game/quotient surface is now labeled Quotient + Games.
• The generator-level editor is explicitly named Generator-Uniform Cochain.
• The JNW state/move workflow is explicitly named JNW Legal-System Game.
• The bundled 3-cube RACG example preloads the JNW21 state/move workflow and
  shows the derived four-state move-kernel cover with state-centered flag-link
  diagnostics. This is explicitly distinguished from the 256-vertex
  commutator cover used in the paper.
• The rail-first JNW reader separates the exact state-transition skeleton from
  drawing-only chart handles and glass relation sheets, with state, glue,
  relation, and ascending/descending link lenses.
• Non-right-angled examples are labeled as experimental generalizations; the JNW
  theorem is not claimed outside the faithful RACG checks.

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
• Cross-platform desktop artifacts are expected from the GitHub Actions release
  matrix when the tag is pushed.
• Code signing and macOS notarization are not included unless release
  credentials are supplied.
• Updater signing remains scaffolded only; no update feed is enabled.

Validation

Release validation for this tag:

corepack pnpm format
corepack pnpm lint
corepack pnpm test
corepack pnpm build
corepack pnpm exec playwright test
corepack pnpm bench:timed:check
corepack pnpm workflow:validate
corepack pnpm validate:research-grade
corepack pnpm release:web
corepack pnpm release:desktop

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.

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.