Files

T

dela e6918ffa35 feat: add superderive child and open phase-2 routing

Attach the stepwise derivation toolkit as a submodule and default
SUPERPAPER_PHASE to 2 so rewrite-figure can use superderive. Notes
still keep align for short expansions without cancel or subst.

2026-08-17 10:06:39 +08:00

843 B

Raw Permalink Blame History

Figure request

Sibling figure agents see only notes/figures/F*/F*.request.md plus that sibling SKILL.md. They do not read ledger.yaml.

superfig: \sfnode keys role, level, gap, bracket, at=. \sfconn has no endpoints. at must be TikZ calc with ($…$).
supertensor: every ststack / stface / stglyph has coord: "".
superderive: \sdstep / \sdreason / \sdcancel / \sdsubst; one \sdcol max.
allow-raw-tikz must also appear as % superfig-lint: allow-raw-tikz in the .tex.
Build: superfig/scripts/build.sh F1.tex F1/build (second arg is the outdir).
Screenshots: scripts/screenshot.sh --work <work> --id F2 (pdftoppm -r 200, then optional crop_bbox).

Worked files: examples/pipeline-delegate/notes/figures/F1/F1.request.md, examples/tensor-delegate/notes/figures/F2/F2.request.md.

843 B Raw Permalink Blame History

Figure request

843 B

Raw Permalink Blame History