Every ticket as the root of its provenance graph — goal, patch, approval, runs and (as the ticket-class build lands) mandate, manifestations, guarantees, journey, artifacts and children. Rendered through the <<<TicketGraphList>>> tag.
goal
The rule EACH generated rewrite ticket enforces. For a given unique source module, the deliverable is ENTIRELY NEW source code (rewritten, not copied) that: (1) reproduces the original BEHAVIOR — verified, not asserted: capture the original's behavior via codebean lower_* (#183) + criteria_miner IO-exemplars, and the rewrite must match on those exemplars (behavioral equivalence, the round-trip critic); (2) is a PYTHON MODULE regardless of the source language; (3) is INSTALLABLE — a proper package (pyproject.toml, pip install -e .), console entry points where applicable; (4) is CONFIGURED VIA A CONTROL-CONFIG OBJECT — no hardcoded paths/params; a JSON/registry config object drives it (the install.json/registry.json idiom), and a tool without its config throws (note-for-claude). Acceptance per rewrite ticket: new source passes the behavioral-equivalence exemplars, installs clean, and runs off a config object with zero hardcoded settings. This spec is referenced by every ticket the factory (#build) emits.