alice_lol/

lib.rs

//! # ALICE-LOL: Law-Oriented Language
//!
//! A text language for signed distance fields: the `lol!` macro (compile time)
//! and [`runtime_parser`] (run time) turn the same text into an
//! [`SdfNode`] tree, which can be evaluated on the CPU, transpiled to
//! GLSL / WGSL / HLSL, exported for 3D printing, and checked against
//! geometric constraints ([`law`]). [`research_law`] holds unit-checked
//! formulas with valid ranges, residuals and provenance.
//!
//! ```rust
//! use alice_lol::lol;
//! use alice_lol::runtime_parser::parse_lol;
//! use alice_lol::Vec3;
//!
//! // Compile time: the macro builds the tree
//! let scene = lol! {
//!     smooth_union(0.2,
//!         sphere(1.0),
//!         translate(2.0, 0.0, 0.0, box3d(0.5, 0.5, 0.5))
//!     )
//! };
//!
//! // Run time: the same text through the parser (from a file or a language model)
//! let parsed = parse_lol(
//!     "smooth_union(0.2, sphere(1.0), translate(2.0, 0.0, 0.0, box3d(0.5, 0.5, 0.5)))",
//! )
//! .unwrap();
//!
//! // Both are the same field; the origin is inside the sphere
//! let p = Vec3::new(0.3, 0.1, 0.0);
//! assert_eq!(alice_lol::eval(&scene, p), alice_lol::eval(&parsed, p));
//! assert!(alice_lol::eval(&scene, Vec3::ZERO) < 0.0);
//!
//! // GLSL source for a shader (default feature `glsl`)
//! let glsl = alice_lol::to_glsl(&scene);
//! assert!(!glsl.is_empty());
//! ```

// ── ランタイム LOL パーサー（LLM Text-to-3D 用） ──
// `parse_lol("sphere(1.0)")` → `SdfNode` に変換
/// The LOL DSL grammar (`lol.gbnf`, GBNF) as shipped with this crate version.
///
/// Feature-free on purpose: downstream crates (the pipeline crate → text-to-print,
/// or any llama.cpp-compatible runtime) embed the *same* bytes instead of
/// keeping a copy that drifts. With `llm-bridge` enabled,
/// [`bridge::lol_grammar`] parses exactly this text.
///
/// The grammar is deliberately stricter than [`runtime_parser`] (no `//`
/// comments, at most one whitespace char between tokens); see the file
/// header for why.
pub const LOL_GBNF: &str = include_str!("../lol.gbnf");

pub mod runtime_parser;

pub mod limits;

/// Canonicalizing a user-supplied angle before it is converted to radians
pub mod angle;

/// `SdfNode` → LOL text (runtime parser の逆変換、Track C0)
pub mod emit;

/// When two evaluations of a field agree (IEEE-total: ±∞ and NaN are results)
pub mod parity;

// ── 3Dプリント向けエクスポート ──
// LOL → SdfNode → Mesh → STL/3MF のワンストップパイプライン
pub mod print_export;

// ── Roblox 向けエクスポート ──
// LOL → SdfNode → Mesh → OBJ/FBX (MeshPart / アクセサリー用)
#[cfg(feature = "roblox")]
pub mod roblox_export;

// ── LLM Guided Generation ブリッジ (Phase X.8 B-6) ──
// alice-llm の GBNF parser + FSM + logits mask を薄く再輸出し、
// `lol.gbnf` の LazyLock cached parse を提供する
#[cfg(feature = "llm-bridge")]
pub mod bridge;

// ── レーザー彫刻向け2Dパターン生成 ──
// hatch, crosshatch, halftone, dither, guilloche, lissajous, rose, phyllotaxis, turing
pub mod laser_pattern;

// ── 空間枝刈りコンパイラ ──
pub mod pruned_compile;

// ── 法則（Law）制約チェッカー ──
// LawSet ビルダー、静的矛盾検出、残差フィルタリング
pub mod law;
pub mod law_id;

// ── 幾何評価 (text→`SdfNode`→評価結果) の意味論の識別子 ──
// `law_id` (監査 / 研究 Law 専用) とは別軸: rotate/rotate_q の算術世代・TPMS の
// 受理境界・emit の canonical form 等、`SdfNode` の数値評価そのものを pin する
pub mod geometry_id;

// ── 研究 Law (単位付きの多変数の式 + 成立範囲 + 残差 + 出典 + oracle) ──
// 上の `law` (SDF の幾何制約チェッカー) とは別物: データに対する主張としての式を扱う
pub mod research_law;

// ── 監査 Law (検査器が何件比べたか / 既知の違反がどこまでか を主張する) ──
// 上の 2 つとも別物: 一致を検査する対象が測定そのもので、判定は 6 値
pub mod audit_law;

// ── 入力の読み方 (型を持つ x-input と request の JSON) ──
// 型に合わない値は入力全体が合わない: 監査は測られていない、量の法則は拒否
pub mod law_input;

// ── 構文名の一覧 (parser の dispatch と README の構文表を突き合わせる test 専用) ──
#[cfg(test)]
mod syntax_table;

// ── Intent Layer (Milestone B.1、Phase 3 Intent 相 IR skeleton) ──
// IntentNode + Program 独立型、GPU backend との型分離、L1 Physical Intent 14 verb + Sequence/Parallel
pub mod intent;

// ── Standard Library (Phase A.1、hardsurface primitive collection) ──
// 実プリント検証済みの機械要素 primitive (fastener/joint/reinforcement/mount) を SdfNode helper で提供
pub mod stdlib;

// ── crate 内専用の決定論的 max / min (clippy-lib gate が f32/f64::max/min 直呼びを禁止) ──
mod det_math;

// ── G2: 証明済みに安全な raw max/min 呼び出しの唯一の置き場 (scripts/raw_minmax_manifest.py が数える) ──
mod raw_minmax;

// ── Re-export the proc_macro ──
pub use alice_lol_macro::lol;

// ── Re-exports used by macro-generated code ──
pub use alice_sdf::SdfNode;
pub use glam::{EulerRot, Quat, Vec2, Vec3};

// ── Transpile functions ──

/// Transpile an `SdfNode` tree to GLSL (hardcoded constants).
#[must_use]
#[cfg(feature = "glsl")]
pub fn to_glsl(node: &SdfNode) -> String {
    use alice_sdf::compiled::glsl::{GlslShader, GlslTranspileMode};
    GlslShader::transpile(node, GlslTranspileMode::Hardcoded).source
}

/// Transpile an `SdfNode` tree to GLSL with dynamic parameters (uniform block).
#[must_use]
#[cfg(feature = "glsl")]
pub fn to_glsl_dynamic(node: &SdfNode) -> String {
    use alice_sdf::compiled::glsl::{GlslShader, GlslTranspileMode};
    GlslShader::transpile(node, GlslTranspileMode::Dynamic).source
}

/// Transpile an `SdfNode` tree to WGSL (hardcoded constants).
#[must_use]
#[cfg(feature = "wgsl")]
pub fn to_wgsl(node: &SdfNode) -> String {
    use alice_sdf::compiled::wgsl::{TranspileMode, WgslShader};
    WgslShader::transpile(node, TranspileMode::Hardcoded).source
}

/// Transpile an `SdfNode` tree to WGSL with dynamic parameters.
#[must_use]
#[cfg(feature = "wgsl")]
pub fn to_wgsl_dynamic(node: &SdfNode) -> String {
    use alice_sdf::compiled::wgsl::{TranspileMode, WgslShader};
    WgslShader::transpile(node, TranspileMode::Dynamic).source
}

/// Transpile an `SdfNode` tree to HLSL (hardcoded constants).
#[must_use]
#[cfg(feature = "hlsl")]
pub fn to_hlsl(node: &SdfNode) -> String {
    use alice_sdf::compiled::hlsl::{HlslShader, HlslTranspileMode};
    HlslShader::transpile(node, HlslTranspileMode::Hardcoded).source
}

/// Transpile an `SdfNode` tree to HLSL with dynamic parameters.
#[must_use]
#[cfg(feature = "hlsl")]
pub fn to_hlsl_dynamic(node: &SdfNode) -> String {
    use alice_sdf::compiled::hlsl::{HlslShader, HlslTranspileMode};
    HlslShader::transpile(node, HlslTranspileMode::Dynamic).source
}

/// フルレンダリングパイプライン付きGLSLを生成
///
/// PBR (Cook-Torrance), 大気散乱, 昼夜サイクル, 天候, ポストプロセスを含む
/// 完全なフラグメントシェーダーを出力する。
#[must_use]
#[cfg(feature = "glsl")]
pub fn to_glsl_full(node: &SdfNode, config: &RenderConfig) -> String {
    use alice_sdf::compiled::glsl::{GlslShader, GlslTranspileMode};
    GlslShader::transpile(node, GlslTranspileMode::Hardcoded).to_fragment_shader_full(config)
}

// ── RenderConfig re-export ──
#[cfg(feature = "glsl")]
pub use alice_sdf::compiled::glsl::RenderConfig;

/// Evaluate the SDF distance at a single point (CPU).
#[must_use]
pub fn eval(node: &SdfNode, point: Vec3) -> f32 {
    alice_sdf::eval(node, point)
}

// ── Interval arithmetic re-exports (for spatial pruning) ──
pub use alice_sdf::interval::{eval_interval, Interval, Vec3Interval};

// ── Autodiff re-exports (勾配・曲率解析) ──
pub use alice_sdf::autodiff::{
    eval_hessian, eval_with_gradient, gaussian_curvature, mean_curvature, principal_curvatures,
    Dual, Dual3,
};

// ── CompiledSdf re-exports (高速評価) ──
pub use alice_sdf::compiled::{
    eval_compiled, eval_compiled_batch_simd, eval_compiled_batch_simd_parallel,
    eval_compiled_batch_soa, eval_compiled_batch_soa_parallel, eval_compiled_bvh,
    eval_compiled_distance_and_normal, eval_compiled_normal, eval_compiled_simd, get_scene_aabb,
    AabbPacked, CompileError, CompiledSdf, CompiledSdfBvh, Vec3x8,
};

// ── Physics bridge re-exports (物理連携) ──
// alice-sdf 1.7.7 以降 physics_bridge / sim_bridge module は crates.io publish のため
// alice-sdf 側 physics feature ごと削除済 (source 上は cfg-gate 保持) alice-sdf が
// physics feature を復活させたら以下 pub use を再度有効化する
// #[cfg(feature = "physics")]
// pub use alice_sdf::physics_bridge::{sdf_to_physics_field, CompiledSdfField};
// #[cfg(feature = "physics")]
// pub use alice_sdf::sim_bridge::{attach_physics, simulate_sdf, SimulatedSdf};