tokitai-operator 0.1.0

Verified DL kernel compiler: formally-checked GEMM, p-adic, sheaf, contract-carrying ops. Paper-artifact grade.
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

//! Object system: `Tensor`, `ObjectMeta`, `Shape`, `Representation`.
//!
//! The object system is the layer that bridges "what the user
//! thinks about" (named tensors with shapes) and "what the
//! planner thinks about" (typed objects with contracts).
//!
//! - `meta` — `ObjectMeta`, `ObjectKind`.
//! - `shape` — `Shape`, `Dim`, the static/dynamic dimension types.
//! - `representation` — `Representation` (dense CPU, p-adic
//!   scalar, etc.) and `DeviceId`.
//! - `tensor` — the actual `Tensor<T>` data structure.
//! - `sheaf` — `Cover`, `SectionTable`, the sheaf object types.
//!
//! Public types: `Tensor<T>`, `ObjectMeta`, `ObjectKind`, `Shape`,
//! `Dim`, `Representation`, `DeviceId`, `Layout`,
//! `Cover`, `SectionTable<T>`.
//!
pub mod meta;
pub mod representation;
pub mod shape;
pub mod sheaf;
pub mod tensor;

pub use meta::{Invariant, ObjectKind, ObjectMeta};
pub use representation::{DeviceId, Layout, Representation, RepresentationId};
pub use shape::{Dim, Shape};
pub use tensor::Tensor;