Skip to content

README.md

Latest commit

 

History

History
119 lines (89 loc) · 3.21 KB

README.md

File metadata and controls

119 lines (89 loc) · 3.21 KB

Sponsor

// SPDX-License-Identifier: MPL-2.0 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) j.d.a.jewell@open.ac.uk = Anvomidaviser Jonathan D.A. Jewell j.d.a.jewell@open.ac.uk :toc: left :icons: font

== What Is This?

Anvomidaviser converts ISU (International Skating Union) notation into formal figure skating programs via Anvomidav — the first programming language for figure skating choreography.

The pipeline: ISU notation -> formal choreography models -> scoring validation -> program component analysis.

Anvomidaviser bridges existing notation systems (ISU element codes, IJS protocols, Code of Points tables) to formally verified Anvomidav programs.

== How It Works

Describe your program in anvomidaviser.toml or import ISU protocols. Anvomidaviser:

  1. Parses ISU element codes — jumps (3Lz, 4T+3T), spins (CCoSp4), steps (StSq3), lifts
  2. Validates against ISU technical rules — Zayak rule, element counts, well-balanced requirements
  3. Scores using the Code of Points — base values, GOE adjustments, PCS, deductions
  4. Generates formal Anvomidav programs with timing, transitions, and rink positions
  5. Outputs score sheets, validation reports, and choreography files

== Use Cases

  • Competition program planning — build programs, check legality, estimate scores before training
  • Judging consistency checks — verify scores against ISU rules programmatically
  • Training feedback — track element difficulty progression across seasons
  • Coaching tools — visualise program layout, timing, and transitions

== Architecture

Follows the hyperpolymath -iser pattern:

anvomidaviser.toml (manifest)
        |
        v
   ISU Parser (Rust CLI)
        |
        v
   Idris2 ABI (proves scoring rule correctness)
        |
        v
   Zig FFI (C-ABI bridge to scoring engine)
        |
        v
   Anvomidav Codegen (formal program descriptions)

Part of the https://github.com/hyperpolymath/iseriser[-iser family].

== CLI Commands

[source,bash]

Create a new manifest

anvomidaviser init

Validate a manifest against ISU rules

anvomidaviser validate -m anvomidaviser.toml

Generate Anvomidav program and score sheets

anvomidaviser generate -m anvomidaviser.toml -o generated/

Build generated artifacts

anvomidaviser build -m anvomidaviser.toml --release

Run the scoring engine

anvomidaviser run -m anvomidaviser.toml

Show manifest information

anvomidaviser info -m anvomidaviser.toml

== Example Manifest

[source,toml]

[workload] name = "ladies-short-2026" discipline = "ladies-single" segment = "short-program"

[elements] jump_1 = "3Lz+3T" spin_1 = "FCSp4" step_seq = "StSq4" jump_2 = "3F" spin_2 = "CCoSp4" jump_3 = "2A" spin_3 = "LSp4"

[program] music = "Clair de Lune" duration_seconds = 160

[output] format = "anvomidav" score_sheet = true validation_report = true

== Status

Pre-alpha / Codebase in progress. Architecture defined, CLI scaffolded, bespoke Idris2 ABI types for ISU scoring, Zig FFI stubs with anvomidaviser symbols. Codegen and scoring engine pending.

== License

SPDX-License-Identifier: MPL-2.0