Module classify

Module classify 

Source
Expand description

2026-09-29: Classify one target node against the kernel families (see super for the classes): which families can run it, its point in each, the nearest point a compared model runs (or, failing that, the nearest instantiated point), and the evidence at its point.

Owner: metrale-circuit (venn). Invariants:

  • A family is a candidate for a node when one of its op specs matches the node (op, role, weight and input formats, template parameters, consumer) and the row count is inside the rows one launch covers.
  • Only nodes of the same op are compared, so both points carry the same parameters.
  • The primary finding is the best candidate by (class, differing point parameters, compared with a model before a bare point, manifest order); every other candidate whose class is an opportunity is kept as a secondary finding.

Structs§

Usage
2026-09-29: A node a compared model runs, placed in its family.

Functions§

candidates
2026-09-29: The families that can run n at rows rows, in manifest order.
classify_node
2026-09-29: The primary finding of target node idx (None: novel) and the secondary opportunities.
implements
2026-10-01: Family f implements node n of c at some row count.
point_of
2026-09-29: n’s (compile-time and policy, runtime) values in f.
usages
2026-09-29: Every node the compared plans run, placed in the family of its plan group.