Skip to content

v0.2.0 research preview

Pre-release
Pre-release

Choose a tag to compare

View all tags
@hgfjh hgfjh released this 02 Jul 23:05
· 3 commits to main since this release
v0.2.0
18fcedb

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.
Assets 11
Loading