zenith-core 0.0.2

Zenith core: KDL parser adapter, semantic AST, canonical formatter, tokens, validation, and diagnostics.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

//! Document-level semantic validation checks.
//!
//! This module is split into cohesive submodules; `validate/mod.rs` re-exports
//! only the public surface (`validate`, `ValidationReport`).
//!
//! Checks performed (in one document walk):
//!
//! 1. **Global ID uniqueness** — every id across tokens, styles, body, pages,
//!    and nodes must be unique. Duplicates → `id.duplicate` (Error).
//! 2. **Required geometry** — `page` requires non-`Unit::Unknown` `width`/
//!    `height`; `rect`/`text` require all four of `x`, `y`, `w`, `h` present
//!    and with known units. Missing → `node.missing_geometry` (Error);
//!    unknown unit → `node.invalid_geometry` (Error).
//! 3. **Token-reference integrity + type compatibility** — visual `TokenRef`
//!    properties that point at an unknown or wrong-type token →
//!    `token.unknown_reference` / `token.incompatible_property` (Error).
//! 4. **Raw visual literal** — a recognized visual property (fill, stroke,
//!    stroke-width, font-family, font-size, radius) whose value is a
//!    `Literal(...)` → `token.raw_visual_literal` (Error).
//! 5. **Unknown node kind** → `node.unknown_kind` (Warning).
//!    **Unknown property** → `node.unknown_property` (Warning).
//! 6. **Unused token** — a token defined but never referenced by any node
//!    visual property or style → `token.unused` (Advisory).
//!
//! Submodules:
//! - [`visual`] — visual-property token type/existence/raw-literal checks.
//! - [`nodes`] — the recursive node walk and geometry helpers.
//! - [`contrast`] — the WCAG 2.2 contrast advisory.
//! - [`safezone`] — safe-zone exclusion/required overlap advisories.
//! - [`fold`] — fold-line content-crossing advisories.
//! - [`margin`] — book live-area (mirrored-margin) violation advisories.
//! - [`variants`] — `variants` block checks (unknown source pages, invalid
//!   dimensions, override-node resolution).
//! - [`recipes`] — `recipes` block checks (duplicate ids, unknown/non-color
//!   palette tokens, unknown expanded-node ids, unknown bounds ids).
//! - [`driver`] — the `validate` entry point and its document walk.
//! - [`passes`] — the orchestration helpers the driver calls (id collection,
//!   footnote-ref resolution, per-declaration and styles-block checks).
//! - [`report`] — the [`ValidationReport`] outcome type.

mod brand;
mod contrast;
mod driver;
mod fold;
mod margin;
mod nodes;
mod passes;
mod policy;
mod recipes;
mod report;
mod safezone;
mod variants;
mod visual;

// ── Public surface ────────────────────────────────────────────────────────────
// `validate` and `ValidationReport` are the crate's public validate API,
// re-exported up through `validate/mod.rs` → `lib.rs`. `register_id` lives in
// `passes` but is called by the node submodules via
// `crate::validate::check::register_id`, so it is re-exported here to keep that
// path resolving.
pub use driver::{validate, validate_with_policy};
pub(in crate::validate::check) use passes::register_id;
// `apply_policy` is re-exported up to the crate root so the CLI render path can
// govern compile-stage diagnostics (emitted by `zenith-scene`) with the same
// merged policy that validation uses. Self-validation stays internal.
pub use policy::apply_policy;
pub use report::ValidationReport;