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
//! Tokitai operator library: a mathematical operator compiler.
//!
//! Tokitai treats algebraic laws, valuation, locality, and precision as
//! first-class scheduling inputs. The crate is organized as 8 layers:
//!
//! 1. [`facade`] — the public `Tokitai` handle, the only entry point a
//! user needs.
//! 2. [`object`] — `Tensor`, `ObjectMeta`, `Shape`, `Representation`.
//! 3. [`ir`] — `SemanticGraph` and the closure-based DSL.
//! 4. [`planner`] — `HeuristicPlanner`, `LoweringRule`, obligations.
//! 5. [`op`] — `Operator` trait, `OpSignature`, and the per-family op
//! modules (`arithmetic`, `shape`, `nn`, `index`, `reductions`).
//! 6. [`domain`] — `DomainId`, `Contract`, `Claim`, `Evidence`.
//! 7. [`backend`] — `CpuScalarBackend` (default), `GpuScaffoldBackend`,
//! `hip_*` (gated on `rocm-hip`).
//! 8. [`verify`] — `audit_report`, `release_gate`, `claim_status`,
//! `support_matrix`. This is the source-of-truth for the paper
//! claim boundary.
//!
//! The default feature set is CPU-only and includes all op families,
//! all planner policies, and the full verifier surface. The `rocm-hip`
//! feature (opt-in) adds the `hip_*` backends, the 0.7B MoE training
//! project, and the model server.
//!
//! For the architecture overview and the per-claim support matrix, see
//! `ARCHITECTURE.md`. For the claim-boundary code, see
//! `src/verify/mod.rs`. For the public surface index, see
//! `docs/operators.md`.
//!
pub use ;