@ferax564/noma-cli 0.11.0

package/src/verify.ts

@@ -0,0 +1,157 @@
+import { readFileSync, readdirSync, statSync, existsSync } from "node:fs";
+import { join, relative } from "node:path";
+import { parse } from "./parser.js";
+import { renderNoma } from "./renderer-noma.js";
+import { validate } from "./validator.js";
+import { walk } from "./ast.js";
+import { patchSource, type PatchOp } from "./patch.js";
+
+export interface FixtureReport {
+  name: string;
+  status: "pass" | "fail" | "skip";
+  error?: string;
+}
+
+export interface VerifyReport {
+  ok: boolean;
+  fixtures: FixtureReport[];
+}
+
+function listFixtures(root: string): string[] {
+  const out: string[] = [];
+  const walkDir = (dir: string) => {
+    for (const entry of readdirSync(dir)) {
+      const p = join(dir, entry);
+      const s = statSync(p);
+      if (s.isDirectory()) {
+        if (existsSync(join(p, "input.noma"))) {
+          out.push(p);
+        } else {
+          walkDir(p);
+        }
+      }
+    }
+  };
+  walkDir(root);
+  return out.sort();
+}
+
+function checkIds(doc: ReturnType<typeof parse>, expectedPath: string): string | null {
+  const expected = JSON.parse(readFileSync(expectedPath, "utf8")) as {
+    canonical: string[];
+    aliases: Record<string, string[]>;
+  };
+  const canonical: string[] = [];
+  const aliases: Record<string, string[]> = {};
+  for (const node of walk(doc)) {
+    if ("id" in node && node.id) {
+      canonical.push(node.id);
+      if (node.aliases?.length) aliases[node.id] = [...node.aliases];
+    }
+  }
+  if (JSON.stringify(canonical.sort()) !== JSON.stringify([...expected.canonical].sort())) {
+    return `ids mismatch: got ${JSON.stringify(canonical)}, expected ${JSON.stringify(expected.canonical)}`;
+  }
+  for (const k of Object.keys(expected.aliases)) {
+    if (JSON.stringify((aliases[k] ?? []).sort()) !== JSON.stringify([...expected.aliases[k]!].sort())) {
+      return `aliases mismatch for ${k}`;
+    }
+  }
+  return null;
+}
+
+function checkDiagnostics(doc: ReturnType<typeof parse>, expectedPath: string): string | null {
+  const expected = JSON.parse(readFileSync(expectedPath, "utf8")) as { code: string; severity: string }[];
+  const got = validate(doc).map((d) => ({ code: d.code, severity: d.severity }));
+  const norm = (xs: { code: string; severity: string }[]) =>
+    xs.map((x) => `${x.severity}:${x.code}`).sort();
+  if (JSON.stringify(norm(got)) !== JSON.stringify(norm(expected))) {
+    return `diagnostics mismatch: got ${JSON.stringify(got)}, expected ${JSON.stringify(expected)}`;
+  }
+  return null;
+}
+
+function checkRoundtrip(source: string, expectedPath: string): string | null {
+  const doc = parse(source);
+  const rendered = renderNoma(doc);
+  const expected = readFileSync(expectedPath, "utf8");
+  if (rendered !== expected) {
+    return `roundtrip mismatch: render-noma output differs from expected.roundtrip.noma`;
+  }
+  const reparsed = parse(rendered);
+  if (JSON.stringify(reparsed) !== JSON.stringify(doc)) {
+    return `roundtrip property failed: parse(render-noma(parse(x))) !== parse(x)`;
+  }
+  return null;
+}
+
+function checkSpans(doc: ReturnType<typeof parse>, expectedPath: string): string | null {
+  const expected = JSON.parse(readFileSync(expectedPath, "utf8")) as Record<
+    string,
+    { startLine: number; endLine: number }
+  >;
+  for (const node of walk(doc)) {
+    if (!("id" in node) || !node.id) continue;
+    const want = expected[node.id];
+    if (!want) continue;
+    const gotStart = node.pos?.line;
+    const gotEnd = node.endLine;
+    if (gotStart !== want.startLine || gotEnd !== want.endLine) {
+      return `span mismatch for "${node.id}": got [${gotStart}, ${gotEnd}], expected [${want.startLine}, ${want.endLine}]`;
+    }
+  }
+  return null;
+}
+
+function checkPatch(source: string, fixturePath: string): string | null {
+  const patchPath = join(fixturePath, "patch.json");
+  const postPath = join(fixturePath, "expected.post.noma");
+  if (!existsSync(patchPath) || !existsSync(postPath)) return null;
+  const raw = JSON.parse(readFileSync(patchPath, "utf8")) as PatchOp | PatchOp[];
+  const ops = Array.isArray(raw) ? raw : [raw];
+  let cur = source;
+  for (const op of ops) {
+    cur = patchSource(cur, op);
+  }
+  const expected = readFileSync(postPath, "utf8");
+  if (cur !== expected) {
+    return `patch output mismatch: got\n${cur}\n--- expected ---\n${expected}`;
+  }
+  return null;
+}
+
+function checkOne(fixturePath: string): FixtureReport {
+  const name = relative(process.cwd(), fixturePath);
+  const inputPath = join(fixturePath, "input.noma");
+  const source = readFileSync(inputPath, "utf8");
+  const doc = parse(source);
+
+  const idsPath = join(fixturePath, "expected.ids.json");
+  if (existsSync(idsPath)) {
+    const err = checkIds(doc, idsPath);
+    if (err) return { name, status: "fail", error: err };
+  }
+  const diagsPath = join(fixturePath, "expected.diagnostics.json");
+  if (existsSync(diagsPath)) {
+    const err = checkDiagnostics(doc, diagsPath);
+    if (err) return { name, status: "fail", error: err };
+  }
+  const rtPath = join(fixturePath, "expected.roundtrip.noma");
+  if (existsSync(rtPath)) {
+    const err = checkRoundtrip(source, rtPath);
+    if (err) return { name, status: "fail", error: err };
+  }
+  const spansPath = join(fixturePath, "expected.spans.json");
+  if (existsSync(spansPath)) {
+    const err = checkSpans(doc, spansPath);
+    if (err) return { name, status: "fail", error: err };
+  }
+  const err = checkPatch(source, fixturePath);
+  if (err) return { name, status: "fail", error: err };
+  return { name, status: "pass" };
+}
+
+export function verifyFixtureDir(root: string): VerifyReport {
+  const fixtures = listFixtures(root).map(checkOne);
+  return { ok: fixtures.every((f) => f.status === "pass"), fixtures };
+}

package/themes/dark.css

@@ -0,0 +1,382 @@
+:root {
+  --noma-bg: #14151a;
+  --noma-fg: #e8e6e1;
+  --noma-muted: #8b8a85;
+  --noma-rule: #2b2d33;
+  --noma-accent: #ffa874;
+  --noma-accent-soft: #3a261c;
+  --noma-claim: #7eb8e8;
+  --noma-claim-soft: #1c2a3a;
+  --noma-evidence: #82d39c;
+  --noma-evidence-soft: #1c2e22;
+  --noma-risk: #f0857c;
+  --noma-risk-soft: #341d1c;
+  --noma-code-bg: #1c1d22;
+  --noma-card-bg: #1a1b20;
+  --noma-shadow: 0 1px 0 rgba(0, 0, 0, 0.3), 0 8px 24px -16px rgba(0, 0, 0, 0.6);
+  --noma-radius: 10px;
+  --noma-cols: 2;
+  --noma-font-serif: "Iowan Old Style", "Charter", Georgia, serif;
+  --noma-font-sans: -apple-system, BlinkMacSystemFont, "Inter", "Segoe UI", system-ui, sans-serif;
+  --noma-font-mono: "JetBrains Mono", "SF Mono", Menlo, Consolas, monospace;
+}
+
+* { box-sizing: border-box; }
+
+html, body {
+  margin: 0;
+  padding: 0;
+  background: var(--noma-bg);
+  color: var(--noma-fg);
+  font-family: var(--noma-font-serif);
+  font-size: 17px;
+  line-height: 1.65;
+  -webkit-font-smoothing: antialiased;
+  text-rendering: optimizeLegibility;
+}
+
+main.noma-doc {
+  max-width: 760px;
+  margin: 4rem auto;
+  padding: 0 1.5rem 6rem;
+}
+
+main.noma-doc > section.noma-hero ~ section,
+main.noma-doc > .noma-grid {
+  max-width: 100%;
+}
+
+h1, h2, h3, h4, h5, h6 {
+  font-family: var(--noma-font-sans);
+  font-weight: 700;
+  line-height: 1.2;
+  letter-spacing: -0.01em;
+  margin: 2.5em 0 0.6em;
+  color: var(--noma-fg);
+}
+h1 { font-size: 2.4rem; margin-top: 0; letter-spacing: -0.02em; }
+h2 { font-size: 1.7rem; border-bottom: 1px solid var(--noma-rule); padding-bottom: 0.3em; }
+h3 { font-size: 1.25rem; }
+h4 { font-size: 1.05rem; color: var(--noma-muted); text-transform: uppercase; letter-spacing: 0.06em; }
+
+p { margin: 0 0 1.05em; }
+a { color: var(--noma-accent); text-decoration: underline; text-underline-offset: 2px; text-decoration-thickness: 1px; }
+a:hover { text-decoration-thickness: 2px; }
+
+code {
+  font-family: var(--noma-font-mono);
+  font-size: 0.9em;
+  background: var(--noma-code-bg);
+  padding: 0.1em 0.35em;
+  border-radius: 4px;
+  color: var(--noma-fg);
+}
+pre {
+  background: var(--noma-code-bg);
+  padding: 1em 1.2em;
+  border-radius: var(--noma-radius);
+  overflow-x: auto;
+  font-size: 0.9rem;
+  line-height: 1.5;
+  color: var(--noma-fg);
+  border: 1px solid var(--noma-rule);
+}
+pre code { background: none; padding: 0; }
+
+blockquote {
+  border-left: 3px solid var(--noma-accent);
+  margin: 1.5em 0;
+  padding: 0.2em 1.2em;
+  color: var(--noma-muted);
+  font-style: italic;
+}
+
+hr { border: 0; border-top: 1px solid var(--noma-rule); margin: 3em 0; }
+
+ul, ol { padding-left: 1.4em; }
+li { margin: 0.25em 0; }
+
+aside.noma-callout {
+  margin: 1.6em 0;
+  padding: 1em 1.2em;
+  border-radius: var(--noma-radius);
+  background: var(--noma-accent-soft);
+  border-left: 3px solid var(--noma-accent);
+}
+aside.noma-callout-warning { background: var(--noma-risk-soft); border-color: var(--noma-risk); }
+aside.noma-callout-tip     { background: var(--noma-evidence-soft); border-color: var(--noma-evidence); }
+aside.noma-callout-note    { background: #232530; border-color: #5a6071; }
+
+aside.noma-research {
+  margin: 1.6em 0;
+  padding: 1em 1.2em;
+  border-radius: var(--noma-radius);
+  background: var(--noma-card-bg);
+  border: 1px solid var(--noma-rule);
+  box-shadow: var(--noma-shadow);
+}
+aside.noma-research .noma-research-head {
+  display: flex;
+  align-items: center;
+  gap: 0.8em;
+  margin-bottom: 0.5em;
+}
+aside.noma-research .noma-tag {
+  display: inline-block;
+  font-family: var(--noma-font-sans);
+  font-size: 0.7rem;
+  font-weight: 700;
+  letter-spacing: 0.08em;
+  text-transform: uppercase;
+  color: var(--noma-muted);
+  padding: 0.2em 0.6em;
+  border-radius: 999px;
+  background: var(--noma-code-bg);
+}
+aside.noma-claim          { border-left: 3px solid var(--noma-claim); }
+aside.noma-claim .noma-tag { color: var(--noma-claim); background: var(--noma-claim-soft); }
+aside.noma-evidence       { border-left: 3px solid var(--noma-evidence); }
+aside.noma-evidence .noma-tag { color: var(--noma-evidence); background: var(--noma-evidence-soft); }
+aside.noma-counterevidence { border-left: 3px solid var(--noma-risk); }
+aside.noma-counterevidence .noma-tag { color: var(--noma-risk); background: var(--noma-risk-soft); }
+aside.noma-risk           { border-left: 3px solid var(--noma-risk); }
+aside.noma-risk .noma-tag  { color: var(--noma-risk); background: var(--noma-risk-soft); }
+aside.noma-decision, aside.noma-adr { border-left: 3px solid var(--noma-accent); }
+aside.noma-decision .noma-tag, aside.noma-adr .noma-tag { color: var(--noma-accent); background: var(--noma-accent-soft); }
+aside.noma-open_question { border-left: 3px solid #d4b066; }
+aside.noma-open_question .noma-tag { color: #d4b066; background: #2e2616; }
+aside.noma-assumption { border-left: 3px solid #8a93ad; }
+aside.noma-assumption .noma-tag { color: #8a93ad; background: #232530; }
+
+.noma-export-button {
+  display: inline-block;
+  background: var(--noma-fg);
+  color: var(--noma-bg);
+  border: 0;
+  padding: 0.55em 1.1em;
+  margin: 0.3em 0.4em 0.3em 0;
+  border-radius: 999px;
+  font-family: var(--noma-font-sans);
+  font-weight: 600;
+  font-size: 0.85rem;
+  cursor: pointer;
+  transition: background 120ms ease;
+}
+.noma-export-button:hover { background: var(--noma-accent); color: var(--noma-bg); }
+.noma-export-button[data-format="prompt"] { background: var(--noma-claim); color: var(--noma-bg); }
+.noma-export-button[data-format="markdown"] { background: var(--noma-evidence); color: var(--noma-bg); }
+.noma-export-button[data-format="json"] { background: var(--noma-muted); color: var(--noma-bg); }
+
+.noma-control {
+  margin: 1em 0;
+  padding: 0.8em 1em;
+  background: var(--noma-card-bg);
+  border: 1px solid var(--noma-rule);
+  border-radius: var(--noma-radius);
+  font-family: var(--noma-font-sans);
+  font-size: 0.9rem;
+  color: var(--noma-fg);
+}
+.noma-control input { margin-left: 0.6em; background: var(--noma-bg); color: var(--noma-fg); border: 1px solid var(--noma-rule); border-radius: 4px; padding: 0.2em 0.4em; }
+
+.noma-confidence {
+  flex: 1;
+  height: 6px;
+  border-radius: 999px;
+  background: var(--noma-rule);
+  overflow: hidden;
+  max-width: 140px;
+}
+.noma-confidence-bar {
+  height: 100%;
+  background: linear-gradient(90deg, var(--noma-accent), var(--noma-claim));
+}
+
+.noma-meta {
+  margin-top: 0.6em;
+  font-size: 0.85rem;
+  color: var(--noma-muted);
+  font-family: var(--noma-font-sans);
+}
+.noma-meta-key {
+  font-weight: 600;
+  color: var(--noma-fg);
+}
+
+.noma-grid {
+  display: grid;
+  grid-template-columns: repeat(var(--noma-cols), minmax(0, 1fr));
+  gap: 1.2rem;
+  margin: 2em 0;
+}
+@media (max-width: 720px) {
+  .noma-grid { grid-template-columns: 1fr; }
+}
+
+article.noma-card {
+  background: var(--noma-card-bg);
+  border: 1px solid var(--noma-rule);
+  border-radius: var(--noma-radius);
+  padding: 1.2em 1.4em;
+  box-shadow: var(--noma-shadow);
+}
+article.noma-card .noma-card-head {
+  display: flex;
+  align-items: center;
+  gap: 0.6em;
+  margin-bottom: 0.4em;
+}
+article.noma-card h3 {
+  margin: 0;
+  font-size: 1.05rem;
+  font-family: var(--noma-font-sans);
+}
+article.noma-card .noma-icon {
+  color: var(--noma-accent);
+  font-size: 0.9em;
+}
+article.noma-card p:last-child { margin-bottom: 0; }
+
+section.noma-hero {
+  background: linear-gradient(180deg, var(--noma-accent-soft), transparent);
+  padding: 4rem 2.5rem 3rem;
+  border-radius: var(--noma-radius);
+  margin: 0 0 3rem;
+  text-align: center;
+}
+section.noma-hero h1 { font-size: 2.8rem; margin-top: 0; }
+
+a.noma-button {
+  display: inline-block;
+  background: var(--noma-fg);
+  color: var(--noma-bg);
+  padding: 0.7em 1.4em;
+  border-radius: 999px;
+  text-decoration: none;
+  font-family: var(--noma-font-sans);
+  font-weight: 600;
+  font-size: 0.95rem;
+  margin-top: 0.5em;
+}
+a.noma-button:hover { background: var(--noma-accent); color: var(--noma-bg); }
+
+figure.noma-plot {
+  margin: 1.8em 0;
+  padding: 1em 1.2em;
+  background: var(--noma-card-bg);
+  border: 1px solid var(--noma-rule);
+  border-radius: var(--noma-radius);
+}
+figure.noma-plot .noma-plot-canvas {
+  color: var(--noma-claim);
+  background: linear-gradient(180deg, transparent, var(--noma-claim-soft));
+  border-radius: 6px;
+  padding: 0.6em;
+}
+figure.noma-plot svg { width: 100%; height: auto; display: block; }
+figure.noma-plot figcaption {
+  margin-top: 0.6em;
+  font-size: 0.85rem;
+  color: var(--noma-muted);
+  font-family: var(--noma-font-sans);
+}
+
+details.noma-dataset {
+  margin: 1.4em 0;
+  padding: 0.6em 1em;
+  background: var(--noma-code-bg);
+  border-radius: var(--noma-radius);
+  font-family: var(--noma-font-sans);
+  font-size: 0.9rem;
+  color: var(--noma-fg);
+}
+details.noma-dataset pre {
+  background: transparent;
+  padding: 0.6em 0 0;
+  border: 0;
+}
+
+.noma-agent-task {
+  margin: 1.4em 0;
+  padding: 1em 1.2em;
+  background: var(--noma-claim-soft);
+  border-left: 3px solid var(--noma-claim);
+  border-radius: var(--noma-radius);
+}
+.noma-agent-task label {
+  display: flex;
+  align-items: center;
+  gap: 0.6em;
+  font-family: var(--noma-font-sans);
+  font-weight: 600;
+  font-size: 0.9rem;
+  margin-bottom: 0.4em;
+}
+
+table.noma-table {
+  width: 100%;
+  border-collapse: collapse;
+  margin: 1.6em 0;
+  font-family: var(--noma-font-sans);
+  font-size: 0.92rem;
+  background: var(--noma-card-bg);
+  border: 1px solid var(--noma-rule);
+  border-radius: var(--noma-radius);
+  overflow: hidden;
+  box-shadow: var(--noma-shadow);
+}
+table.noma-table thead {
+  background: var(--noma-code-bg);
+}
+table.noma-table th {
+  text-align: left;
+  font-weight: 700;
+  letter-spacing: 0.02em;
+  padding: 0.7em 1em;
+  border-bottom: 1px solid var(--noma-rule);
+  color: var(--noma-fg);
+}
+table.noma-table td {
+  padding: 0.6em 1em;
+  border-bottom: 1px solid var(--noma-rule);
+  vertical-align: top;
+  color: var(--noma-fg);
+}
+table.noma-table tbody tr:last-child td { border-bottom: 0; }
+table.noma-table tbody tr:hover { background: rgba(255, 168, 116, 0.06); }
+
+[data-variant="important"] { border-width: 5px !important; box-shadow: 0 0 0 1px var(--noma-accent) inset, var(--noma-shadow); }
+[data-variant="subtle"] { opacity: 0.7; box-shadow: none; }
+[data-variant="success"] { border-left: 3px solid var(--noma-evidence); background: var(--noma-evidence-soft); }
+[data-variant="danger"]  { border-left: 3px solid var(--noma-risk); background: var(--noma-risk-soft); }
+[data-variant="info"]    { border-left: 3px solid var(--noma-claim); background: var(--noma-claim-soft); }
+
+@media print {
+  html, body { background: white; color: black; font-size: 11pt; }
+  main.noma-doc { margin: 0 auto; padding: 0; max-width: 100%; }
+  section.noma-hero { background: none; border: 1px solid #ddd; }
+  a { color: black; }
+  pre, article.noma-card, figure.noma-plot, aside.noma-research, details.noma-dataset {
+    box-shadow: none;
+    page-break-inside: avoid;
+  }
+  h1, h2, h3 { page-break-after: avoid; }
+}
+
+/* v0.4 — site nav + math (mirrors default.css; vars from :root cascade) */
+a.noma-alias { display: block; position: relative; top: -1.2em; visibility: hidden; height: 0; }
+nav.noma-site-nav { max-width: 880px; margin: 1.5rem auto 0; padding: 0 2rem; display: flex; align-items: baseline; gap: 1.5rem; flex-wrap: wrap; font-size: 0.85rem; color: var(--noma-muted); }
+nav.noma-site-nav a.noma-site-home { font-weight: 600; color: var(--noma-fg); text-decoration: none; border-right: 1px solid var(--noma-rule); padding-right: 1.25rem; }
+nav.noma-site-nav ol { list-style: none; padding: 0; margin: 0; display: flex; gap: 1.25rem; flex-wrap: wrap; }
+nav.noma-site-nav a { color: var(--noma-muted); text-decoration: none; }
+nav.noma-site-nav a:hover { color: var(--noma-accent); }
+nav.noma-site-nav .noma-nav-current span { color: var(--noma-fg); font-weight: 500; }
+a.noma-ref.noma-xchapter::after { content: " ↗"; font-size: 0.85em; color: var(--noma-muted); }
+ol.noma-site-toc { list-style: none; padding: 0; margin: 2rem 0; display: grid; gap: 0.6rem; }
+a.noma-site-chapter { display: block; padding: 1.1rem 1.4rem; background: var(--noma-card-bg); border: 1px solid var(--noma-rule); border-radius: var(--noma-radius); text-decoration: none; color: inherit; }
+a.noma-site-chapter:hover { border-color: var(--noma-accent); }
+.noma-site-chapter-title { display: block; font-weight: 600; font-size: 1.1rem; }
+.noma-site-chapter-summary { display: block; color: var(--noma-muted); margin-top: 0.4rem; font-size: 0.93rem; }
+.noma-math-display { margin: 1.4em auto; text-align: center; overflow-x: auto; }
+.noma-math-inline { display: inline; }
+