Claude/add academic proofs g3z zu (#7)

Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com>
Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

Cargo.lock

@@ -8,6 +8,8 @@ members = [
     "crates/anv-syntax",
     "crates/anv-types",
     "crates/anv-semantics",
+    "crates/anv-ir",
+    "crates/anv-viz",
     "crates/anv-cli",
 ]
 
@@ -27,6 +29,8 @@ anv-core = { path = "crates/anv-core" }
 anv-syntax = { path = "crates/anv-syntax" }
 anv-types = { path = "crates/anv-types" }
 anv-semantics = { path = "crates/anv-semantics" }
+anv-ir = { path = "crates/anv-ir" }
+anv-viz = { path = "crates/anv-viz" }
 
 # Parsing
 logos = "0.14"

Cargo.toml

@@ -0,0 +1,23 @@
+# SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
+# SPDX-FileCopyrightText: 2025 hyperpolymath
+
+[package]
+name = "anv-ir"
+version = "0.1.0"
+edition = "2021"
+description = "Intermediate representation for the Anvomidav figure skating DSL"
+license = "MIT OR AGPL-3.0-or-later"
+repository = "https://github.com/hyperpolymath/anvomidav"
+keywords = ["figure-skating", "dsl", "compiler", "ir"]
+categories = ["compilers"]
+
+[dependencies]
+anv-core = { workspace = true }
+anv-syntax = { workspace = true }
+thiserror = { workspace = true }
+ordered-float = { workspace = true }
+serde = { workspace = true }
+serde_json = { workspace = true }
+
+[dev-dependencies]
+pretty_assertions = "1.4"

crates/anv-ir/Cargo.toml

@@ -0,0 +1,41 @@
+// SPDX-FileCopyrightText: 2025 hyperpolymath
+// SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
+
+//! Intermediate Representation for Anvomidav.
+//!
+//! The IR provides a flat, timeline-based representation of a skating program
+//! suitable for visualization and code generation. It transforms the hierarchical
+//! AST into a linear sequence of positioned, timed events.
+//!
+//! # Architecture
+//!
+//! ```text
+//! AST (hierarchical)     →     IR (flat timeline)     →     Output (SVG, etc.)
+//!   Program                      Timeline
+//!     Segment                      Event[]
+//!       Sequence                     - position (x, y)
+//!         Element                    - time (start, end)
+//!                                    - element data
+//! ```
+//!
+//! # Example
+//!
+//! ```ignore
+//! use anv_ir::{lower, Timeline};
+//! use anv_syntax::parse;
+//! use anv_core::source::FileId;
+//!
+//! let source = r#"program test { segment sp: short { sequence s { jump triple axel } } }"#;
+//! let ast = parse(source, FileId(0)).unwrap();
+//! let timeline = lower(&ast);
+//! ```
+
+pub mod lower;
+pub mod rink;
+pub mod timeline;
+pub mod types;
+
+pub use lower::lower;
+pub use rink::{Position, RinkDimensions};
+pub use timeline::{Event, EventKind, Timeline};
+pub use types::{Duration, TimeCode};