INFRASTRUCTURE_LABELS

Node labels written by infrastructure libraries that Dice runs on top of, excluding them from whole-graph drift observation.

Infrastructure libraries own these labels and write them as part of their own bookkeeping. DICE's schema definitions cannot declare them — the library owns them entirely — so every whole-graph observation would report them as undeclared drift on every run if left unexcluded. This one stays a hand-kept list for exactly that reason: everything else dice excludes is derived from a schema dice compiled, and a library's own bookkeeping has no such schema to derive from.

Dice's own bookkeeping edges are decided by shape (a sourcePropositions marker on edges), while these are decided by name. An infrastructure library's bookkeeping is declared nowhere in DICE's schema, so there is no shape to recognize it by.

Currently includes _DrivineSchema, written by the Drivine library itself.