@matheos/cli 0.0.0-stage → 0.2.0

package/README.md

@@ -1,3 +1,21 @@
-# Temporary Holding Version
+# @matheos/cli
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Command line for [Matheos](https://matheos.fly.dev) `.mth` calculation documents: check them,
+render them to HTML or PDF, print the authoring guide for an agent.
+
+```sh
+npm install -g @matheos/cli
+
+matheos check beam.mth            # errors, failed checks, exit code 0/1/2/3
+matheos check --json beam.mth     # the same as JSON, for agents
+matheos render beam.mth           # beam.pdf next to it (needs a Chrome; see below)
+matheos render beam.mth -o out/   # HTML or PDF by the -o extension, a folder for many files
+matheos guide                     # SKILL.md: the grammar, units, checks, the mistakes to avoid
+```
+
+Rendering uses an installed Chrome or Edge, the `MATHEOS_CHROME` path, or a Chromium that
+`matheos install-chrome` downloads once into the puppeteer cache.
+
+How to work on `.mth` files with Claude or another agent:
+[Working on .mth calculations with Claude](https://github.com/Suharevillya/matheos-issues/blob/main/USING-CLAUDE.md).
+Bugs and feature requests: <https://github.com/Suharevillya/matheos-issues/issues>.

package/SKILL.md

@@ -0,0 +1,165 @@
+---
+name: matheos-authoring
+description: Write and verify Matheos `.mth` calculation documents (Markdown prose + unit-aware math blocks for structural engineering checks). Use when asked to produce a calculation, a Eurocode check, or a report in Matheos format, or to fix a `.mth` file that `matheos check` rejects.
+---
+
+# Writing Matheos documents
+
+A `.mth` file is CommonMark with YAML front matter and fenced `math` blocks. CommonMark is the
+standard flavour of Markdown: `#` headings, paragraphs, lists, GFM tables, and fenced code
+blocks between lines of three backticks; a fence tagged `math` is a calculation block. YAML front
+matter is the block between two `---` lines at the top, one `key: value` per line, holding the
+title, author and other metadata of the report. Statements run top to bottom; every derived statement prints formula, substituted values and result; every `check`
+prints a verdict and the utilization η. Start from the closest file in
+`examples/` (https://github.com/Suharevillya/matheos/tree/main/examples); `steel-beam.mth` is
+the canonical template.
+
+## 1. Front matter
+
+```yaml
+---
+title: Simply supported floor beam
+project: Example building, axis B
+author: Name
+date: 2026-10-15
+revision: A
+code: EN 1993-1-1 + Finnish NA
+---
+```
+
+Optional: `logo: file.png`, `logo_width: 40` (mm), `digits: 4`.
+
+## 2. Statements, one per line inside ```` ```math ```` fences
+
+| Form | Example | Prints |
+|---|---|---|
+| input | `L = 6.0 m        # span` | `L = 6.0 m` + caption |
+| derived | `M_Ed = q_Ed * L^2 / 8` | formula = substituted = result |
+| bare expression | `c_f / t_f` | the three stages, no name |
+| check | `check M_Ed <= M_c_Rd` | both sides with values, ✓/✗, η |
+| conditional | `if c_f / t_f <= 9 eps` … `else if` … `else` … `end` | taken branch only, after its condition |
+| comment | `# own line` or trailing `# caption` | nothing / right-aligned caption |
+| parameter | `L = 6.0 m ?`, `curve = "b" ? ["a", "b", "c"]` | as an input; a form field (text, or radio buttons for the choices) in the editor |
+
+An input is a literal number with an optional unit. Anything else is derived. `check` needs the
+keyword; a bare comparison is just a boolean. Rebinding a name is allowed; last wins.
+
+## 3. Identifiers
+
+`[A-Za-z_][A-Za-z0-9_]*`. First `_` opens a subscript, later `_` become commas:
+`W_pl_y` → W_{pl,y}, `M_c_Rd` → M_{c,Rd}. Spelled Greek renders as the letter:
+`gamma_M0`, `alpha_cc`, `eps`, `lambda`, `eta`, `phi`, `delta`, `sigma`. Trailing `'` is a prime.
+An accent right after a Greek base decorates it: `lambda_bar_y` → λ̄_y (`_bar`, `_hat`,
+`_tilde`); a Latin `d_bar` keeps "bar" as its subscript.
+
+## 4. Units
+
+Write the unit after the number: `25 kN/m`, `355 MPa`, `8356e4 mm^4`, `60 kNm/m`. Available:
+`mm cm m km`, `g kg t`, `s`, `N kN MN`, `Nm kNm MNm`, `Pa kPa MPa GPa`, `rad deg`, `K`,
+`J kJ W kW`, and compounds with `^`, `*`, `/` (`kN/m^2`, `N/mm^2`). Units combine through
+arithmetic; a result prints in a sensible default (mm, kN, kN·m, kN/m, MPa) unless you end the
+statement with `to <unit>`: `M_c_Rd = W_pl_y * f_y / gamma_M0 to kNm`. `to` never changes the
+stored value. A bound name wins over a unit of the same spelling (`t = 10 mm` makes `t` a
+variable from then on). Adding a number to a quantity, or comparing them, is an error.
+
+Engineering guidance: SI inputs with a unit on every literal. `to` on every resistance so the
+report reads in kN and kN·m. A `check` for every demand/capacity pair. Captions carry clause
+numbers (`# (6.13)`). Prose explains; math computes.
+
+Multiplication style: implicit is the norm (`q L^2 / 8`, `W_pl_y f_y`). Write `*` when the next
+factor is a bracket or a call after `/`: `a / b * (c + d)`, `M / W * f(x)`, because `a / b (c + d)`
+is a/(b·(c + d)) (implicit multiplication binds tighter than `/`; the checker warns). A bound
+name before a bracket multiplies (`a (b + c)`); inside `simplify`, `derivative`, `integrate`
+and `solve` the free variable does too (`x (L - x)`).
+
+## 5. Checks and η
+
+`check <expr> <op> <expr>` with `<=`, `>=`, `<`, `>`, `==`, `!=`. η = left / right (right / left for
+`>=` and `>`). Text values compare as text: `curve = "b"`, `alpha = curve == "b" ? 0.34 : 0.49`,
+`check curve == "b"` (verdict, no η). `not a` negates a boolean. Write one check per demand/capacity pair. `check a <= b warn 80%` keeps the
+fail line at 100 % but flags a pass above 80 % with a yellow badge. A range is one line:
+`check 0.25 <= beta <= 1`. A ternary may sit inside a check when bracketed. In prose,
+`{U to %}` shows a value in a display unit. `check a <= b if cond` applies only when `cond`
+holds (n/a badge otherwise). A failure mode that does not apply is `na`: `N_ps = beta <= 0.85
+? … : na`; `min(…)` skips it and a check against it reads n/a. `solve(expr, x, lo, hi)` finds
+the root of `expr = 0` by bisection (units carried) where a spreadsheet would goal-seek. A
+moment per length shows with `to kNm/m`.
+
+## 6. Conditionals
+
+```
+if c_f / t_f <= 9 eps
+  cls = 1
+else if c_f / t_f <= 10 eps
+  cls = 2
+else
+  cls = 3
+end
+```
+
+Conditions are comparisons, optionally joined with `and`, `or`, `not`. Only inside math blocks.
+
+## 7. Inline values in prose
+
+`{cls}` prints the value, `{M_Ed / M_c_Rd}` a computed ratio, `{F_v_Ed =}` prints `F_v,Ed = 50 kN`.
+
+## 8. Modifiers and block options
+
+Trailing `;` evaluates silently, trailing `:` prints the result line only. Fence options:
+```` ```math hide ```` (evaluate, print nothing), ```` ```math results ```` (result lines only).
+
+## 9. Vectors, tables, drawings, plots
+
+- Vectors: `lx = [5400, 5400, 200] mm`, element-wise `.*` `./` `.^`, `lx[2]`, slices
+  `x[2:5]`, `sum`, `max`, `mean`, `median`, `std`, `dot`, `lusolve(K, F)` (returns a column: `z[3, 1]`). Keep a matrix
+  homogeneous: `[0 kN, 0 kN, P]`. `sqrt`, `abs`, `exp`, `log`, `sin`/`cos`/`tan`/`sinh`/`cosh`/`tanh` (of `deg` quantities too), `min`, `max`, `pi` exist; the one-argument ones map over vectors. `pi (d - t)` is a product.
+- `a (b + c)` multiplies when `a` is a variable; `f(x)` calls a function.
+- `cond ? a : b` prints as cases; `U = N_Ed / N_Rd to %` shows a percentage.
+- Tables: GFM Markdown tables with `{expr}` in cells. Images: `![alt](file.svg)` next to the
+  document. Raw `<svg>` in prose passes through, with `{(x[1] - lx[1]/2) / s}` substituted as a
+  plain number (divide by `1 mm` for a bare number).
+- Plots: a ```` ```plot ```` fence with `title:`, `x = 0 .. 2` (or `0 m .. 6 m`), `xlabel:`,
+  `ylabel:`, one expression in `x` per line (`M(x)`, `2 - 2 x`), `(1, 0.5)` points; the
+  trailing `#` comment is the legend entry.
+- Includes: front matter `include: helpers.mth` (or a list) binds another document's variables
+  and functions before the first block, printing nothing. Resolved next to the document (CLI),
+  by document name in the web library, or through `resolve` when embedded.
+- Catalogues: front matter `catalogs: { IPE: { file: IPE-props_EC3UK.json, units: { H: mm,
+  Wply: cm^3 } } }`, then `sec = IPE["IPE 300"]` and `W_pl_y = sec.Wply`. Do not name the row
+  variable `s`, `m` or another unit. The file sits next to the document (CLI); the web app
+  bundles the IPE and HE tables.
+- `integrate(q x, x, 0 m, L)` (numeric, units carried), `derivative(q x L/2 - q x^2/2, x)` and
+  `simplify(expr)` (symbolic, print only).
+
+  ![integrate with units, derivative and simplify printed symbolically](img/calculus.png)
+
+- Conditional prose: ```` ```if U > 0.8 ```` … ```` ``` ```` shows the Markdown inside only
+  when true; write a second fence for the other case.
+- A parameter is an input ending in `?`: `L = 6.0 m ?`; a catalogue pick may carry it too
+  (`sec = SHS["180X180X6"] ?`). The editor lists these as a form. A list after the `?` gives
+  the choices, shown as radio buttons; the value before the `?` is the current one, and the
+  document reads it like any other value:
+
+  ```
+  reinf = "none" ? ["multiple", "single", "none"]   # shear reinforcement
+  n_b = 2 ? [1, 2, 3]                               # bars per layer
+  k_reinf = reinf == "none" ? 1.0 : 1.5
+  ```
+
+  Choices are literals: quoted text, numbers, or quantities (`t = 6 mm ? [5 mm, 6 mm, 8 mm]`).
+  Use a choice wherever a spreadsheet would have a drop-down: buckling curve, exposure class,
+  bolt grade, "yes"/"no" switches that an `if` or a ternary then reads.
+- Loops in math: `for e = 1 : n_E` … `end`, nestable, `K[i, j] = K[i, j] + k` updates one
+  element; end body lines with `;` to print only what matters. Loops in prose: a
+  ```````for i = 1 : n```` fence right after a table header line gives one row per `i`
+  (`| {i} | {F[i]} |`); inside `<svg>` it gives one element per `i`. The variable is
+  substituted only inside `{…}`.
+
+  ![A table with one row per wall from a for fence](img/table.png)
+
+  ![An SVG plan drawn from the vectors, one element per wall](img/drawing.png)
+
+  ![A plot fence: the bending moment of a beam](img/plot.png)
+- A long matrix may continue on the next lines while a bracket is open; the result prints
+  after the last line. A vector with one unit prints it once: `[5.6  0.0066] kN/mm`. Lines wider than the page
+  shrink to fit; keep huge matrices silent (`K = zeros(15, 15);`) and show them as tables.

package/dist/assets.d.ts

@@ -0,0 +1,2 @@
+/** `<style>` markup with KaTeX, Figtree 400/600/700 and JetBrains Mono 400/600 embedded. */
+export declare function inlineHead(): string;

package/dist/assets.js

@@ -0,0 +1,34 @@
+// Inlined KaTeX CSS and fonts for a self-contained report, docs/spec/cli.md (HTML).
+import { readFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { createRequire } from 'node:module';
+const require = createRequire(import.meta.url);
+const pkgDir = (name) => dirname(require.resolve(`${name}/package.json`));
+/** Rewrite `url(...)` references in a CSS file to data URIs; keep woff2 only. */
+function inlineCss(cssPath) {
+    const base = dirname(cssPath);
+    const css = readFileSync(cssPath, 'utf8');
+    return css
+        .replace(/src:\s*([^;]+);/g, (_, srcs) => {
+        const woff2 = srcs.split(',').map((s) => s.trim()).find((s) => s.includes('.woff2'));
+        return `src: ${woff2 ?? srcs};`;
+    })
+        .replace(/url\((['"]?)([^'")]+\.woff2)\1\)/g, (_, _q, rel) => {
+        const data = readFileSync(join(base, rel)).toString('base64');
+        return `url(data:font/woff2;base64,${data})`;
+    });
+}
+let cached;
+/** `<style>` markup with KaTeX, Figtree 400/600/700 and JetBrains Mono 400/600 embedded. */
+export function inlineHead() {
+    if (cached)
+        return cached;
+    const parts = [
+        inlineCss(join(pkgDir('katex'), 'dist', 'katex.min.css')),
+        ...['400', '600', '700'].map((w) => inlineCss(join(pkgDir('@fontsource/figtree'), `${w}.css`))),
+        ...['400', '600'].map((w) => inlineCss(join(pkgDir('@fontsource/jetbrains-mono'), `${w}.css`))),
+    ];
+    cached = `<style>${parts.join('\n')}</style>`;
+    return cached;
+}
+//# sourceMappingURL=assets.js.map

package/dist/assets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assets.js","sourceRoot":"","sources":["../src/assets.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC,CAAC;AAElF,iFAAiF;AACjF,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,OAAO,GAAG;SACP,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrF,OAAO,QAAQ,KAAK,IAAI,IAAI,GAAG,CAAC;IAClC,CAAC,CAAC;SACD,OAAO,CAAC,mCAAmC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAW,EAAE,EAAE;QACnE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC9D,OAAO,8BAA8B,IAAI,GAAG,CAAC;IAC/C,CAAC,CAAC,CAAC;AACP,CAAC;AAED,IAAI,MAA0B,CAAC;AAE/B,4FAA4F;AAC5F,MAAM,UAAU,UAAU;IACxB,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG;QACZ,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;QACzD,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/F,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,4BAA4B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;KAChG,CAAC;IACF,MAAM,GAAG,UAAU,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;IAC9C,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/chrome.d.ts

@@ -0,0 +1,10 @@
+export declare const CACHE_DIR: string;
+export interface Chrome {
+    path: string;
+    shell: boolean;
+    source: 'flag' | 'env' | 'cache' | 'system';
+}
+/** Order: --chrome flag, MATHEOS_CHROME, the matheos cache, a system Chrome or Edge. */
+export declare function findChrome(flag?: string): Chrome | undefined;
+/** Download chrome-headless-shell (stable) into the cache; returns its path. */
+export declare function installChrome(log?: (s: string) => void): Promise<Chrome>;

package/dist/chrome.js

@@ -0,0 +1,47 @@
+// Chromium lookup and download, docs/spec/cli.md (Chromium).
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
+import { homedir } from 'node:os';
+import { join } from 'node:path';
+import { Browser, computeExecutablePath, detectBrowserPlatform, install, resolveBuildId } from '@puppeteer/browsers';
+export const CACHE_DIR = join(homedir(), '.cache', 'matheos');
+const STAMP = join(CACHE_DIR, 'chrome-headless-shell.json');
+const SYSTEM = process.platform === 'win32'
+    ? [
+        'C:\\Program Files\\Google\\Chrome\\Application\\chrome.exe',
+        'C:\\Program Files (x86)\\Google\\Chrome\\Application\\chrome.exe',
+        join(process.env.LOCALAPPDATA ?? '', 'Google\\Chrome\\Application\\chrome.exe'),
+        'C:\\Program Files\\Microsoft\\Edge\\Application\\msedge.exe',
+        'C:\\Program Files (x86)\\Microsoft\\Edge\\Application\\msedge.exe',
+    ]
+    : process.platform === 'darwin'
+        ? ['/Applications/Google Chrome.app/Contents/MacOS/Google Chrome', '/Applications/Microsoft Edge.app/Contents/MacOS/Microsoft Edge']
+        : ['/usr/bin/google-chrome', '/usr/bin/google-chrome-stable', '/usr/bin/chromium', '/usr/bin/chromium-browser', '/usr/bin/microsoft-edge'];
+/** Order: --chrome flag, MATHEOS_CHROME, the matheos cache, a system Chrome or Edge. */
+export function findChrome(flag) {
+    if (flag)
+        return { path: flag, shell: /headless-shell/i.test(flag), source: 'flag' };
+    const env = process.env.MATHEOS_CHROME;
+    if (env)
+        return { path: env, shell: /headless-shell/i.test(env), source: 'env' };
+    if (existsSync(STAMP)) {
+        const { buildId } = JSON.parse(readFileSync(STAMP, 'utf8'));
+        const path = computeExecutablePath({ browser: Browser.CHROMEHEADLESSSHELL, buildId, cacheDir: CACHE_DIR });
+        if (existsSync(path))
+            return { path, shell: true, source: 'cache' };
+    }
+    const sys = SYSTEM.find((p) => p && existsSync(p));
+    return sys ? { path: sys, shell: false, source: 'system' } : undefined;
+}
+/** Download chrome-headless-shell (stable) into the cache; returns its path. */
+export async function installChrome(log = () => { }) {
+    const platform = detectBrowserPlatform();
+    if (!platform)
+        throw new Error('unsupported platform for chrome-headless-shell');
+    const buildId = await resolveBuildId(Browser.CHROMEHEADLESSSHELL, platform, 'stable');
+    log(`downloading chrome-headless-shell ${buildId} to ${CACHE_DIR} (about 100 MB, once)`);
+    mkdirSync(CACHE_DIR, { recursive: true });
+    const installed = await install({ browser: Browser.CHROMEHEADLESSSHELL, buildId, cacheDir: CACHE_DIR });
+    writeFileSync(STAMP, JSON.stringify({ buildId }));
+    return { path: installed.executablePath, shell: true, source: 'cache' };
+}
+//# sourceMappingURL=chrome.js.map

package/dist/chrome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chrome.js","sourceRoot":"","sources":["../src/chrome.ts"],"names":[],"mappings":"AAAA,6DAA6D;AAC7D,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErH,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,4BAA4B,CAAC,CAAC;AAE5D,MAAM,MAAM,GAAa,OAAO,CAAC,QAAQ,KAAK,OAAO;IACnD,CAAC,CAAC;QACA,4DAA4D;QAC5D,kEAAkE;QAClE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,EAAE,yCAAyC,CAAC;QAC/E,6DAA6D;QAC7D,mEAAmE;KACpE;IACD,CAAC,CAAC,OAAO,CAAC,QAAQ,KAAK,QAAQ;QAC7B,CAAC,CAAC,CAAC,8DAA8D,EAAE,gEAAgE,CAAC;QACpI,CAAC,CAAC,CAAC,wBAAwB,EAAE,+BAA+B,EAAE,mBAAmB,EAAE,2BAA2B,EAAE,yBAAyB,CAAC,CAAC;AAI/I,wFAAwF;AACxF,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,IAAI,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrF,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IACvC,IAAI,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACjF,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAwB,CAAC;QACnF,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3G,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACtE,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACzE,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAA2B,GAAG,EAAE,GAAE,CAAC;IACrE,MAAM,QAAQ,GAAG,qBAAqB,EAAE,CAAC;IACzC,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACtF,GAAG,CAAC,qCAAqC,OAAO,OAAO,SAAS,uBAAuB,CAAC,CAAC;IACzF,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;IACxG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC1E,CAAC"}

package/dist/main.d.ts

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+export declare const EXIT: {
+    readonly ok: 0;
+    readonly errors: 1;
+    readonly failed: 2;
+    readonly usage: 3;
+};

package/dist/main.js

@@ -0,0 +1,159 @@
+#!/usr/bin/env node
+// matheos CLI, docs/spec/cli.md. Commands: check, render, install-chrome, guide.
+import { readFileSync, writeFileSync, existsSync, statSync } from 'node:fs';
+import { basename, dirname, extname, join, resolve } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { parse, evaluate, toHtml, plainText, statements } from '@matheos/core';
+import { inlineHead } from './assets.js';
+import { findChrome, installChrome } from './chrome.js';
+import { renderPdf } from './pdf.js';
+const USAGE = `usage:
+  matheos check  <file.mth>... [--json]
+  matheos render <file.mth>... [-o <out.pdf|out.html|dir>] [--chrome <path>]
+  matheos install-chrome
+  matheos guide`;
+export const EXIT = { ok: 0, errors: 1, failed: 2, usage: 3 };
+function load(file) {
+    // catalogue tables and included documents resolve next to the document, then in a `catalogs/` folder beside it or
+    // one level up (the template library's layout); `.mth` comes back as text, anything else parsed as JSON
+    const resolveFile = (p) => {
+        for (const dir of ['.', 'catalogs', join('..', 'catalogs')]) {
+            try {
+                const t = readFileSync(resolve(dirname(file), dir, p), 'utf8');
+                return p.endsWith('.mth') ? t : JSON.parse(t);
+            }
+            catch { /* next */ }
+        }
+        return undefined;
+    };
+    return evaluate(parse(readFileSync(file, 'utf8')), { resolve: resolveFile });
+}
+function findings(file, r) {
+    const checks = statements(r).filter((i) => i.kind === 'check');
+    const values = {};
+    for (const [k, v] of r.scope)
+        values[k] = typeof v === 'object' && v !== null && 'toString' in v ? String(v) : v;
+    return {
+        file,
+        errors: r.errors.map((e) => ({ message: e.message, line: e.pos.start.line, column: e.pos.start.column })),
+        checks: checks.map((c) => ({ line: c.pos.start.line, latex: c.latex, verdict: c.verdict ?? false, eta: Number(c.eta), ...(c.na && { na: true }) })),
+        warnings: statements(r).filter((i) => i.warning).map((i) => ({ line: i.pos.start.line, message: i.warning })),
+        values,
+    };
+}
+const codeOf = (r) => {
+    if (r.errors.length)
+        return EXIT.errors;
+    const failed = statements(r).some((i) => i.kind === 'check' && !i.verdict);
+    return failed ? EXIT.failed : EXIT.ok;
+};
+function check(files, json) {
+    let code = EXIT.ok;
+    const out = [];
+    for (const file of files) {
+        if (!existsSync(file)) {
+            console.error(`${file}: not found`);
+            return EXIT.usage;
+        }
+        const r = load(file);
+        const f = findings(file, r);
+        out.push(f);
+        code = Math.max(code, codeOf(r));
+        if (json)
+            continue;
+        const failed = f.checks.filter((c) => !c.verdict);
+        for (const e of f.errors)
+            console.log(`${file}:${e.line}:${e.column} error: ${e.message}`);
+        for (const w of statements(r).filter((i) => i.warning))
+            console.log(`${file}:${w.pos.start.line} warning: ${w.warning}`);
+        for (const c of failed)
+            console.log(`${file}:${c.line} check failed: ${plain(c.latex)}${Number.isFinite(c.eta) ? `  η = ${c.eta.toFixed(2)}` : ""}`);
+        console.log(`${file}: ${f.checks.length} checks, ${failed.length} failed, ${f.errors.length} error${f.errors.length === 1 ? '' : 's'}`);
+    }
+    if (json)
+        console.log(JSON.stringify(out.length === 1 ? out[0] : out, null, 2));
+    return code;
+}
+const plain = plainText;
+async function render(files, out, chromeFlag) {
+    let code = EXIT.ok;
+    const outIsDir = out !== undefined && existsSync(out) && statSync(out).isDirectory();
+    if (out && files.length > 1 && !outIsDir) {
+        console.error('-o must be a directory when rendering several files');
+        return EXIT.usage;
+    }
+    for (const file of files) {
+        if (!existsSync(file)) {
+            console.error(`${file}: not found`);
+            return EXIT.usage;
+        }
+        const target = out && !outIsDir ? out : join(out ?? dirname(file), basename(file, extname(file)) + '.pdf');
+        const r = load(file);
+        const assets = (p) => {
+            const f = resolve(dirname(file), p);
+            if (!existsSync(f))
+                return undefined;
+            const ext = extname(f).slice(1).toLowerCase();
+            const mime = ext === 'svg' ? 'image/svg+xml' : ext === 'jpg' ? 'image/jpeg' : `image/${ext}`;
+            return `data:${mime};base64,${readFileSync(f).toString('base64')}`;
+        };
+        const html = toHtml(r, { head: inlineHead(), assets });
+        if (extname(target).toLowerCase() === '.html') {
+            writeFileSync(target, html);
+        }
+        else {
+            let chrome = findChrome(chromeFlag);
+            if (!chrome) {
+                if (process.env.MATHEOS_OFFLINE) {
+                    console.error('no Chromium found; run `matheos install-chrome` or set MATHEOS_CHROME');
+                    return EXIT.usage;
+                }
+                try {
+                    chrome = await installChrome((s) => console.error(s));
+                }
+                catch (e) {
+                    console.error(`no Chromium found and the download failed (${e.message}); set MATHEOS_CHROME or --chrome`);
+                    return EXIT.usage;
+                }
+            }
+            await renderPdf(html, target, chrome);
+        }
+        code = Math.max(code, codeOf(r));
+        const failed = statements(r).filter((i) => i.kind === 'check' && !i.verdict).length;
+        console.log(`${file} -> ${target}${r.errors.length ? ` (${r.errors.length} errors)` : ''}${failed ? ` (${failed} checks failed)` : ''}`);
+    }
+    return code;
+}
+function guide() {
+    const here = dirname(fileURLToPath(import.meta.url));
+    for (const p of [join(here, '..', 'SKILL.md'), join(here, '..', '..', 'skills', 'matheos-authoring', 'SKILL.md')]) {
+        if (existsSync(p)) {
+            process.stdout.write(readFileSync(p, 'utf8'));
+            return EXIT.ok;
+        }
+    }
+    console.error('SKILL.md not packaged yet; see docs/spec/agent-guide.md in the repository.');
+    return EXIT.usage;
+}
+async function main(argv) {
+    const [cmd, ...rest] = argv;
+    const flags = new Set(rest.filter((a) => a.startsWith('--') && !a.startsWith('--chrome')));
+    const valueOf = (name) => { const i = rest.indexOf(name); return i >= 0 ? rest[i + 1] : undefined; };
+    const skip = new Set(['-o', '--chrome'].flatMap((n) => { const i = rest.indexOf(n); return i >= 0 ? [i, i + 1] : []; }));
+    const files = rest.filter((a, i) => !a.startsWith('-') && !skip.has(i)).map((f) => resolve(f));
+    switch (cmd) {
+        case 'check': return files.length ? check(files, flags.has('--json')) : (console.error(USAGE), EXIT.usage);
+        case 'render': return files.length ? render(files, valueOf('-o'), valueOf('--chrome')) : (console.error(USAGE), EXIT.usage);
+        case 'install-chrome': {
+            const c = await installChrome((s) => console.error(s));
+            console.log(c.path);
+            return EXIT.ok;
+        }
+        case 'guide': return guide();
+        default:
+            console.error(USAGE);
+            return EXIT.usage;
+    }
+}
+main(process.argv.slice(2)).then((code) => process.exit(code), (e) => { console.error(String(e instanceof Error ? e.message : e)); process.exit(EXIT.usage); });
+//# sourceMappingURL=main.js.map

package/dist/main.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"main.js","sourceRoot":"","sources":["../src/main.ts"],"names":[],"mappings":";AACA,iFAAiF;AACjF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC5E,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACtE,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAiB,MAAM,eAAe,CAAC;AAC9F,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAErC,MAAM,KAAK,GAAG;;;;gBAIE,CAAC;AAEjB,MAAM,CAAC,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AAEvE,SAAS,IAAI,CAAC,IAAY;IACxB,kHAAkH;IAClH,wGAAwG;IACxG,MAAM,WAAW,GAAG,CAAC,CAAS,EAAW,EAAE;QACzC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC;gBAAC,MAAM,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;QAAC,CAAC;QAC5M,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,OAAO,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,CAAW;IACzC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC/D,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK;QAAE,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACzG,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QACnJ,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7G,MAAM;KACP,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,CAAW,EAAU,EAAE;IACrC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IACxC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF,SAAS,KAAK,CAAC,KAAe,EAAE,IAAa;IAC3C,IAAI,IAAI,GAAW,IAAI,CAAC,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAkC,EAAE,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,aAAa,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC,KAAK,CAAC;QAAC,CAAC;QAClF,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI;YAAE,SAAS;QACnB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3F,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACzH,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,kBAAkB,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrJ,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,YAAY,MAAM,CAAC,MAAM,YAAY,CAAC,CAAC,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC1I,CAAC;IACD,IAAI,IAAI;QAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,KAAK,GAAG,SAAS,CAAC;AAExB,KAAK,UAAU,MAAM,CAAC,KAAe,EAAE,GAAuB,EAAE,UAA8B;IAC5F,IAAI,IAAI,GAAW,IAAI,CAAC,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IACrF,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAAC,OAAO,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC,KAAK,CAAC;IAAC,CAAC;IACtI,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,OAAO,CAAC,KAAK,CAAC,GAAG,IAAI,aAAa,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC,KAAK,CAAC;QAAC,CAAC;QAClF,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;QAC3G,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE;YAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACpC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;gBAAE,OAAO,SAAS,CAAC;YACrC,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC9C,MAAM,IAAI,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC;YAC7F,OAAO,QAAQ,IAAI,WAAW,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,KAAK,OAAO,EAAE,CAAC;YAC9C,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;aAAM,CAAC;YACN,IAAI,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;YACpC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC;oBAAC,OAAO,CAAC,KAAK,CAAC,uEAAuE,CAAC,CAAC;oBAAC,OAAO,IAAI,CAAC,KAAK,CAAC;gBAAC,CAAC;gBAC/I,IAAI,CAAC;oBAAC,MAAM,GAAG,MAAM,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAC,CAAC;gBAC9D,OAAO,CAAC,EAAE,CAAC;oBAAC,OAAO,CAAC,KAAK,CAAC,8CAA+C,CAAW,CAAC,OAAO,mCAAmC,CAAC,CAAC;oBAAC,OAAO,IAAI,CAAC,KAAK,CAAC;gBAAC,CAAC;YACxJ,CAAC;YACD,MAAM,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACxC,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;QACpF,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,OAAO,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,iBAAiB,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3I,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,KAAK;IACZ,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,mBAAmB,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;QAClH,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC,EAAE,CAAC;QAAC,CAAC;IACvF,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAC5F,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC;AAED,KAAK,UAAU,IAAI,CAAC,IAAc;IAChC,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzH,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3G,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5H,KAAK,gBAAgB,CAAC,CAAC,CAAC;YAAC,MAAM,CAAC,GAAG,MAAM,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC,EAAE,CAAC;QAAC,CAAC;QACvH,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC;QAC7B;YAAS,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC,KAAK,CAAC;IACnD,CAAC;AACH,CAAC;AAED,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/pdf.d.ts

@@ -0,0 +1,2 @@
+import type { Chrome } from './chrome.js';
+export declare function renderPdf(html: string, out: string, chrome: Chrome): Promise<void>;

package/dist/pdf.js

@@ -0,0 +1,24 @@
+// HTML -> PDF through headless Chromium, docs/spec/cli.md and docs/adr/0002.
+import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { pathToFileURL } from 'node:url';
+import puppeteer from 'puppeteer-core';
+export async function renderPdf(html, out, chrome) {
+    const dir = mkdtempSync(join(tmpdir(), 'matheos-'));
+    const page = join(dir, 'report.html');
+    writeFileSync(page, html);
+    const browser = await puppeteer.launch({ executablePath: chrome.path, headless: chrome.shell ? 'shell' : true, args: ['--no-sandbox'] });
+    try {
+        const tab = await browser.newPage();
+        await tab.goto(pathToFileURL(page).href, { waitUntil: 'load' });
+        await tab.evaluate('document.fonts.ready.then(() => window.fitWidth && window.fitWidth())'); // wide lines shrink after the fonts settle
+        await tab.evaluate('document.fonts.ready');
+        await tab.pdf({ path: out, preferCSSPageSize: true, printBackground: true });
+    }
+    finally {
+        await browser.close();
+        rmSync(dir, { recursive: true, force: true });
+    }
+}
+//# sourceMappingURL=pdf.js.map

package/dist/pdf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pdf.js","sourceRoot":"","sources":["../src/pdf.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,SAAS,MAAM,gBAAgB,CAAC;AAGvC,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY,EAAE,GAAW,EAAE,MAAc;IACvE,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;IACtC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IACzI,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAChE,MAAM,GAAG,CAAC,QAAQ,CAAC,uEAAuE,CAAC,CAAC,CAAG,2CAA2C;QAC1I,MAAM,GAAG,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC;QAC3C,MAAM,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/E,CAAC;YAAS,CAAC;QACT,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC"}

package/package.json

@@ -1,6 +1,52 @@
 {
   "name": "@matheos/cli",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.2.0",
+  "description": "Matheos command line: check and render .mth documents.",
+  "license": "MIT",
+  "homepage": "https://matheos.fly.dev",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Suharevillya/matheos.git",
+    "directory": "cli"
+  },
+  "bugs": {
+    "url": "https://github.com/Suharevillya/matheos-issues/issues"
+  },
+  "keywords": [
+    "structural-engineering",
+    "calculation",
+    "units",
+    "markdown",
+    "eurocode",
+    "cli"
+  ],
+  "type": "module",
+  "bin": {
+    "matheos": "./dist/main.js"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc && node -e \"require('fs').copyFileSync('../skills/matheos-authoring/SKILL.md','SKILL.md')\"",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run",
+    "prepack": "npm run build"
+  },
+  "dependencies": {
+    "@fontsource/figtree": "^5.3.0",
+    "@fontsource/jetbrains-mono": "^5.3.0",
+    "@matheos/core": "^0.2.0",
+    "@puppeteer/browsers": "^3.2.5",
+    "katex": "^0.16.47",
+    "puppeteer-core": "^25.14.0"
+  },
+  "devDependencies": {
+    "pdf-parse": "^1.1.1"
+  },
+  "files": [
+    "dist",
+    "SKILL.md",
+    "README.md"
+  ]
+}