circuits-diagrams

User-facing grammars built on circuits: string diagrams, spans, the Int construction, and differential polynomials as syntactic surfaces over the semantic machinery in circuits, plus dark house-palette SVG rendering of the compact-closed string-diagram DSL via chart-svg.