Expand description
SRD-13d §3.1 — declarative GK-content classification for
every node in the workload AST. The scope-tree pre-walker
uses HasPolydatMatter::polydat_matter as the first question at
every scope decision: most workloads short-circuit here
and never reach the program-hash-equivalence refinement
(§3.2).
Implementations cover the AST types — runtime objects
(the Component tree, fibers, dispensers) consume the
marks the trait produced; they don’t implement the trait
themselves. Polydat content lives on the AST, not on runtime
state.
Enums§
- Polydat
Matter - SRD-13d §3.1 classification of how much Polydat content a scope-tree node carries.
Traits§
- HasPolydat
Matter - Implemented by every workload-AST type that can sit in the construction tree. Pure function of the parsed AST; no runtime state, no compilation.