Expand description
The class registry: every fused symbol, primitive, edge layout and schedule property the book names, registered before its rule exists, so a fusion mined from another stack has a place to land.
A class’s id is its ledger id where benchmarks/fusion_parity.json tracks it, and an “ours” id where no other stack
has it. Its kind says what it is:
• fused — built by a rule; its parts are its definition; • primitive — an op the front end lifts whole, which a chip links whole or runs as its parts; • placement — a layout on an edge: a part read in place, a result written into rows or units of another tensor; • numerics — a value’s representation: a quantized or rotated form, a compensated sum; • schedule — how a chip runs something, never a fusion of meaning.
Each class with a sugar today carries an exemplar, a minimal LOGOS program holding its pattern — the op kinds of its definition, in program order. A class nothing in the language writes yet carries the reason instead.
Structs§
- Class
- One registered class.
Enums§
- ClassId
- A registered class, by name: a fused op’s class, a rule’s product, a shim’s answer. A class added to the registry is a variant every exhaustive match over it must answer.
- Exemplar
- A class’s exemplar: a minimal program holding its pattern, or why there is none.
- Kind
- What a class is.
- Origin
- Where a class’s id comes from.
Constants§
- CLASSES
- Every class’s row.
Functions§
- class_
of - The class registered as
id.