Eml lab

Skill yaniv-golan/eml-skill/.agents/skills/eml-lab

Compile ordinary formulas (exp(x+y), x**y, ln(x*y), sin(x)+cos(x), sqrt(x*y), x/y, asin(x), atan(x), log10(x)) into EML trees, look up calculator-primitive witnesses (exp, ln, add, mult, sub, pow, neg, inv, div, pi, i, sin, cos, tan, sqrt, asin, acos, atan, log10), inspect arbitrary EML trees, or run one-shot compile-render to emit tree + diagram + audit + summary from a sympy expression. Use when a user wants to lower a sympy-parseable expression into the EML IR, ask "how many tokens does the mult witness take?", visualize a tree as Graphviz/Mermaid, convert between nested / RPN / JSON forms, read shape stats (K, depth, leaf histogram), or produce a shareable artifact bundle in one command. Every named elementary primitive has a stored tree; the only `needs_tree` entry is `apex` (the closure proof itself, not a callable primitive).From its SKILL.md

Install

npx -y skills add yaniv-golan/eml-skill --skill eml-lab

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

1 stars1 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

What its file declares

Copied from the file, not written here

The file declares its own license as MIT. That is the author’s claim about this one file, and it is not the same thing as the license GitHub reports for the repository, which is listed with the other numbers below.

SKILL.md

5.9 KB, as published. Nobody here has run it

eml-lab — compile, lookup, and inspect EML trees

Read ../_shared/eml_core/ for the underlying types. This skill is a thin CLI on top of that package. compile-render output-bundle schema, auto-domain rules, and Mermaid fallback thresholds live in references/compile-render.md.

When this skill triggers (and when it doesn't)

Triggers on: "compile sin(x)+cos(x) into EML", "lower this sympy expression", "how many tokens does the mult witness take?", "render this tree as Mermaid", "look up the atan witness", "give me an artifact bundle for exp(x+y)".

Does not trigger on: verifying a tree against a named claim (use /eml-check), searching for a shorter tree (/eml-optimize), fitting a law from data (/eml-fit), or checking arbitrary elementary identities (/math-identity-check).

Modes

Compile (--compile EXPR) — lower a sympy-parseable formula into an EML tree by substituting library witnesses (e, exp, ln, add, mult, sub, pow, neg, inv, div, pi, i, sin, cos, tan, sqrt, asin, acos, atan, log10).
Lookup (--lookup NAME) — fetch a witness; emit metadata (K, depth, minimal flag, proof URL) and tree body if stored.
Inspect (--tree STR) — parse any EML tree (nested, RPN, JSON) and emit stats + alternate representations.
Compile-render (compile-render --expr EXPR --out-dir DIR) — one-shot stitch: compile → render Mermaid/SVG → audit against sympy.lambdify(..., modules='cmath') → emit tree.txt, diagram.md/diagram.svg, audit.json, audit.md, and summary.md. See references/compile-render.md for the bundle schema.

Compile/lookup/inspect share emits: stats, rpn, json, graphviz, mermaid, nested.

How to run

All commands below assume cwd is the repo root. From an installed plugin's root, drop the leading eml-skill/; from this skill's own directory, drop eml-skill/skills/eml-lab/.

# legacy (flag-driven):
python eml-skill/skills/eml-lab/scripts/lab.py \
  ( --compile EXPR | --lookup NAME | --tree "eml(...)" | --list ) \
  [--emit stats,rpn,json,graphviz,mermaid,nested] [--out-dir <path>] [--title "label"]

# one-shot compile-render:
python eml-skill/skills/eml-lab/scripts/lab.py compile-render \
    --expr "sin(sqrt(x) + cos(x))" --out-dir /tmp/demo --domain positive-reals \
    [--render mermaid|svg] [--format md|json|blog] [--samples N] [--seed S] [--tolerance T]

Exit codes: 0 OK, 1 lookup-not-found / compile blocked, 2 parse error, 3 usage error.

Examples

python eml-skill/skills/eml-lab/scripts/lab.py --list
python eml-skill/skills/eml-lab/scripts/lab.py --compile "x*y"                              # mult, K=17
python eml-skill/skills/eml-lab/scripts/lab.py --lookup exp --emit stats,rpn,graphviz
python eml-skill/skills/eml-lab/scripts/lab.py compile-render --expr "exp(x+y)" --out-dir /tmp/demo

Non-goals

Not a minimizer. x*y → K=17 mult every time. For shorter trees use /eml-optimize.
Not a verifier. Branch-cut + equivalence audits live in /eml-check. compile-render's audit is a numerical sanity check, not a proof.
Not a fitter. That's /eml-fit.

Don't reimplement

All logic lives in skills/_shared/eml_core/ — CLI is a thin wrapper: compile.compile_formula, parse, {k_tokens, depth, leaf_counts, to_rpn}, viz.{to_graphviz, to_mermaid, to_mermaid_doc, render_graphviz_svg}, witnesses.{lookup, names, WITNESSES}.

Gotchas

--list marks proven-minimal entries with *. Upper-bound entries show depth=-1 (only K published).
compile inlines library witnesses. x*y returns K=17 every time; use /eml-optimize for shorter trees.
Triple-nesting LN uses principal-branch cmath. /eml-check audits the +iπ branch choice on the negative real axis.
RPN is space-tokenized. The paper's compact form (x1E) is display-only.
compile-render autodetects --domain when omitted — narrowest named domain that all witnesses support. See references/compile-render.md for the full priority rules.
compile-render is K-faithful, not K-minimal. Flagship sin(sqrt(x) + cos(x)) lowers to K=1151; /eml-optimize search can often shorten it.
Graphviz optional. --render svg needs dot; missing binary yields a clean "install graphviz or use --render mermaid" exit, not a crash.
Mermaid auto-falls-back to RPN for K > 500. GitHub grays out large diagrams; see references/compile-render.md for the threshold.

Test scenarios

--compile "x*y" → nested mult witness, K=17 (exit 0).
--lookup atan --emit stats,rpn → K=403, proof URL present (exit 0).
--lookup zzz → lookup-not-found (exit 1).
compile-render --expr "exp(x+y)" --out-dir /tmp/d → 5 files written to /tmp/d (exit 0).
--compile "x + unknown_symbol" → parse error (exit 2).