quon-typst-graphs

name	quon-typst-graphs
description	Use when plotting general Quon-language diagrams in Typst/CeTZ, including charged strings, quon bases, CNOT, teleportation, resource states, Frobenius/Hopf relations, surface tangles, or reusable Quon graph demo reports.

Quon Typst Graphs

Overview

Use this skill to draw general Quon-language diagrams in Typst. It provides lib.typ as the public plotting library, backed by compact CeTZ assets, plus a taxonomy that maps paper examples to broader diagram families.

Quick Start

1. Consult references/quon-language-taxonomy.md when choosing which diagram family applies. When matching the original TikZ/LaTeX visual style, use the companion quon-latex-graphs skill and read ../quon-latex-graphs/references/latex-plotting-patterns.md.
2. Import lib.typ from a Typst file. Treat assets/quon.typ as the internal implementation module:

#import "skills/quon-typst-graphs/lib.typ": *

#quon-basis(kind: "Z", charge: $k$)
#cnot-quon()
#latex-quon-state(n: 3, labels: ($v_1$, $v_2$, $v_3$))

3. For a general reusable example, follow reports/quon-typst-general-demo.typ. For paper-family coverage, follow reports/quon-typst-demo.typ. For a minimal library smoke test, compile scripts/harness.typ through scripts/build-harness.py.

The module uses CeTZ @preview/cetz:0.5.2, a Typst drawing package with a TikZ-like coordinate API.

Prefer the latex-* macros when the output should visually track the Quons paper. They encode the source idioms learned by quon-latex-graphs: thick world-lines, compressed shells, dashed back arcs, four endpoint ticks, and white under-strokes at crossings.

Do not use this skill to install TeX packages or build paper PDFs. Use quon-latex-graphs for pdflatex, tlmgr, arXiv source builds, and LaTeX reference extraction.

Diagram Families

Use these families as general plotting building blocks:

• charged string grammar: charges, neutral pairs, crossings, cups, caps
• one-quon bases: X/Y/Z pairings and reflected measurements
• multi-quon states and n-quon transformations
• joint relation and transformation-basis decompositions
• Pauli lines and 1-quon Clifford generators F and G
• 2D/3D CNOT views
• Bell, GHZ, and Max resource states
• teleportation sketch
• black/white Frobenius spiders, COPY, SUM, Fourier duality, and antipode
• string-genus joint relation and Hopf relations
• surface tangles from the surface-algebra sequel

Workflow

1. Pick the smallest macro that matches the intended mathematics. Prefer a semantic macro such as #quon-basis(kind: "Y") over redrawing wires by hand.
2. Keep labels mathematical, not decorative. Charges should be content such as $k$, $-k$, or $ell$.
3. Reserve label zones before placing wires: labels must not touch strands, dots, table borders, or other labels. If a label competes with a diagram, move it outside the crossing/cap/cup or widen the grid/table cell.
4. Keep Typst output vector-first. Compile to PDF for delivery, and render PNG previews at 300 DPI or higher when checking screenshots or sharing raster previews.
5. Use dashed strokes for hidden/back arcs and white under-strokes for over-crossings.
6. Add a short caption explaining the interpretation, especially when a 2D projection stands in for a 3D isotopy.
7. Validate coverage with:

python3 skills/quon-typst-graphs/scripts/check-demo-coverage.py
python3 skills/quon-typst-graphs/scripts/check-latex-fidelity.py
python3 skills/quon-typst-graphs/scripts/build-harness.py
ion validate skills/quon-typst-graphs
/private/tmp/typst-0.14.2/typst-aarch64-apple-darwin/typst compile --root . reports/quon-typst-general-demo.typ reports/quon-typst-general-demo.pdf
gs -dSAFER -dBATCH -dNOPAUSE -sDEVICE=png16m -r300 -sOutputFile=/private/tmp/quon-typst-general-demo-page-%d.png reports/quon-typst-general-demo.pdf

Inspect the rendered PNGs after compiling. If any label overlaps a strand, dot, table line, or neighboring label, revise coordinates or layout and re-render before reporting completion.

Boundaries

The diagrams are faithful schematic reproductions of the paper's diagram families, not a symbolic proof engine. For algebraic identities, cite the paper equation or section alongside the generated picture.