From 0ac4ff3e1fefc2a4229585b521022c0451f75bf3 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Thu, 18 Jun 2026 12:43:22 +0000
Subject: [PATCH] docs: de-dup README/CHANGELOG per RSR standard (keep .adoc;
 port sponsor badge)

Brings this repo in line with the family-wide doc de-dup that landed across
the -iser repos during base camp but was missed here (this repo was
squash-merged before the cleanup).

- Remove stale README.md (README.adoc is canonical), porting the GitHub
  sponsor badge into README.adoc.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Mbq6yKF9RhFai6EQ7WqKhQ
---
 README.adoc |   2 +
 README.md   | 119 ----------------------------------------------------
 2 files changed, 2 insertions(+), 119 deletions(-)
 delete mode 100644 README.md

diff --git a/README.adoc b/README.adoc
index 8c4f030..4c70120 100644
--- a/README.adoc
+++ b/README.adoc
@@ -5,6 +5,8 @@ Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 :toc: left
 :icons: font
 
+image:https://img.shields.io/badge/Sponsor-%E2%9D%A4-pink?logo=github[Sponsor,link=https://github.com/sponsors/hyperpolymath]
+
 == What Is This?
 
 Anvomidaviser converts **ISU (International Skating Union) notation** into formal
diff --git a/README.md b/README.md
deleted file mode 100644
index 77601cf..0000000
--- a/README.md
+++ /dev/null
@@ -1,119 +0,0 @@
-[![Sponsor](https://img.shields.io/badge/Sponsor-%E2%9D%A4-pink?logo=github)](https://github.com/sponsors/hyperpolymath)
-
-// 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