pandorga 1.7.6 → 1.8.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b5073aa0e7217490eff99e42008ea7eb10fdd6d5f7218d924d7ede563a77c2f4
-  data.tar.gz: 38b8947ef41f97e1e1c6c6c2d2048fd5a16ebd1a441d4dc6ae62a9b5237582c1
+  metadata.gz: 03c8db4a237e9092a2f0d9256c118a162476cb1d056fc88518cfeccd60379bed
+  data.tar.gz: e8a2725fbc96d9c02ad55e39dce2c8e98d1eec14f20996ae5636d60f2d54181e
 SHA512:
-  metadata.gz: 73d9948f8662e076b4f652697969ed7da53c108b336efea4b91c497310c7332f3c82f3d4ee854f6630a248c27356d219b6d50ffec70e437b098340a1153b1ee0
-  data.tar.gz: b2dde560408d681b3cfcf3a4f5bc377542d1179b28279a19bbd065b8f7f9d04a994ebe7800a20645a18eb6562c9335d6e785f22f952d6c4b605c4f61f1ad912e
+  metadata.gz: a4e9108eac5982492245285b4954dc1e43a0ca10534411a8a221af35c5520a5a65c3a0fc9e8700bfc9c27588e41ee332a0204ebb697b9339514128e70b5237d1
+  data.tar.gz: 8ae715831b65d21cf206f071841f6c444f0b99598d93a2917ccaa09f4eecce658e2e93c0b61a75e375afa9b9a9baf0a6f17a47c70584f4ac6c5f656f8a728e75

data/CHANGELOG.md

@@ -1,5 +1,34 @@
 # Changelog
 
+## [1.8.1] — 2026-10-12
+
+### Fixed
+
+- Theorems are bare (no gray plate); only proofs carry the surface band
+- Proof gray bleeds to the edges of `.text-page-main` while body text stays
+  on the reading measure
+- Proofs prefix **Proof.** from the runtime, like theorem heads — authors
+  no longer write `*Proof.*` in the body
+
+No `pandorga:` config keys were added or renamed. Font roles and the
+ledger fallbacks are unchanged.
+
+## [1.8.0] — 2026-10-12
+
+### Added
+
+- Theorem and proof Markdown wrappers in the content runtime, same
+  `markdown="1"` contract as `article-note` and `poem`:
+  - `<div class="theorem" name="Corollary 1" description="nadir camera" markdown="1">…</div>`
+    builds the head from `name` / `description` and italicizes the body
+  - `<div class="proof" markdown="1">…</div>` wraps a proof and places a
+    QED square on the last line
+- Full-column styles for `.theorem` and `.proof` in `article.css`
+- Render-parity fixtures `theorem.json` and `proof.json`
+
+No `pandorga:` config keys were added or renamed. Font roles and the
+ledger fallbacks are unchanged.
+
 ## [1.7.6] — 2026-10-12
 
 ### Fixed

data/_includes/content-runtime/20-markdown.html

@@ -109,6 +109,31 @@
       return parts.join('');
     }
 
+    function attrValue(openTag, name) {
+      var re = new RegExp('\\b' + name + '\\s*=\\s*(?:"([^"]*)"|\'([^\']*)\')', 'i');
+      var m = String(openTag || '').match(re);
+      return m ? String(m[1] != null ? m[1] : m[2] || '') : '';
+    }
+
+    function renderTheoremHtml(openTag, inner) {
+      var name = attrValue(openTag, 'name').trim();
+      var description = attrValue(openTag, 'description').trim();
+      var head = '';
+      if (name) {
+        head = '<p class="theorem-head"><span class="theorem-name">' + escapeHtml(name) + '</span>';
+        if (description) {
+          head += ' <span class="theorem-description">(' + escapeHtml(description) + ')</span>';
+        }
+        head += '.</p>';
+      }
+      return '<div class="theorem">' + head + '<div class="theorem-body">' + parseInlineMarkdown(inner) + '</div></div>';
+    }
+
+    function renderProofHtml(inner) {
+      var head = '<p class="proof-head"><span class="proof-name">Proof</span>.</p>';
+      return '<div class="proof">' + head + '<div class="proof-body">' + parseInlineMarkdown(inner) + '</div></div>';
+    }
+
     function preprocessMarkdownDivs(markdown) {
       var text = String(markdown || '');
       text = text.replace(/<div\s+([^>]*class="[^"]*\barticle-note\b[^"]*"[^>]*)>([\s\S]*?)<\/div>/gi, function (match, openTag, inner) {
@@ -119,6 +144,16 @@
         if (!hasMarkdownAttr(openTag)) return match;
         return renderPoemHtml(inner);
       });
+      // Theorem / proof: same markdown="1" contract as article-note. Without
+      // this pass, CommonMark ends the HTML block at the first blank line.
+      text = text.replace(/<div\s+([^>]*class="[^"]*\btheorem\b[^"]*"[^>]*)>([\s\S]*?)<\/div>/gi, function (match, openTag, inner) {
+        if (!hasMarkdownAttr(openTag)) return match;
+        return renderTheoremHtml(openTag, inner);
+      });
+      text = text.replace(/<div\s+([^>]*class="[^"]*\bproof\b[^"]*"[^>]*)>([\s\S]*?)<\/div>/gi, function (match, openTag, inner) {
+        if (!hasMarkdownAttr(openTag)) return match;
+        return renderProofHtml(inner);
+      });
       return text;
     }
 

data/assets/css/article.css

@@ -1007,6 +1007,91 @@ a.xcite-ref:hover {
   margin-bottom: 0;
 }
 
+/* ── Theorem and proof blocks ──
+   Authored as `<div class="theorem" name="…" description="…" markdown="1">`
+   and `<div class="proof" markdown="1">`. Theorems are bare (no plate): the
+   runtime builds the head from name / description and italicizes the body.
+   Proofs sit on a gray band that bleeds to the edges of `.text-page-main`
+   while the text keeps the body measure; the runtime prefixes "Proof." and
+   a QED square lands on the last line of the body. */
+.article-content .theorem {
+  display: block;
+  width: 100%;
+  box-sizing: border-box;
+  margin: 1.5em 0;
+  font-size: inherit;
+  line-height: inherit;
+  color: var(--color-on-surface);
+}
+
+.article-content .theorem-head,
+.article-content .proof-head {
+  margin: 0 0 0.5em;
+  font-style: normal;
+  font-weight: var(--weight-body);
+}
+
+.article-content .theorem-name,
+.article-content .proof-name {
+  font-weight: var(--weight-emphasis);
+  font-style: normal;
+}
+
+.article-content .theorem-description {
+  font-weight: var(--weight-body);
+  font-style: normal;
+}
+
+.article-content .theorem-body {
+  font-style: italic;
+}
+
+.article-content .theorem-body > :first-child,
+.article-content .proof-body > :first-child {
+  margin-top: 0;
+}
+
+.article-content .theorem-body > :last-child,
+.article-content .proof-body > :last-child {
+  margin-bottom: 0;
+}
+
+.article-content .proof {
+  display: flow-root;
+  box-sizing: border-box;
+  position: relative;
+  width: auto;
+  max-width: none;
+  margin: 1.5em calc(-1 * var(--space-md));
+  padding: 1rem var(--space-md);
+  background: var(--color-surface-container-low);
+  font-size: inherit;
+  line-height: inherit;
+  color: var(--color-on-surface);
+  -webkit-print-color-adjust: exact;
+  print-color-adjust: exact;
+}
+
+@media (min-width: 768px) {
+  .article-content .proof {
+    margin-left: calc(-1 * var(--space-2xl));
+    margin-right: calc(-1 * var(--space-2xl));
+    padding-left: var(--space-2xl);
+    padding-right: var(--space-2xl);
+  }
+}
+
+.article-content .proof-body > :last-child::after {
+  content: "□";
+  float: right;
+  margin-left: 0.35em;
+  font-size: inherit;
+  line-height: inherit;
+  color: var(--color-on-surface);
+  pointer-events: none;
+  user-select: none;
+}
+
 /* ══ Code blocks ══
    A fence used to render as a bare grey box: no indication of what language
    was in it, and nothing to do with it but select the text by hand. It now

data/assets/css/ledger/detail.css

@@ -818,9 +818,10 @@ aside:has(> .text-detail-sidebar) {
   font-weight: inherit;
 }
 
-/* ── Theorem / proof / key-takeaways callout ──
-   Authored per article as `<div class="article-note" markdown="1">`; styled
-   here, never injected. Ochre wash + tertiary spine = scannable field note. */
+/* ── Field-note callout ──
+   Authored as `<div class="article-note" markdown="1">`; styled here, never
+   injected. Ochre wash + tertiary spine = scannable field note. Formal
+   theorem / proof blocks use `.theorem` / `.proof` in article.css instead. */
 .article-content .article-note {
   position: relative;
   background: color-mix(in srgb, var(--color-tertiary) 10%, var(--color-panel-contrast));

data/lib/pandorga/commands/new.rb

@@ -24,7 +24,7 @@ module Pandorga
 
         gem "pandorga", "~> 1.3"
         # Local checkout: gem "pandorga", path: "../pandorga"
-        # GitHub tag: gem "pandorga", github: "alexandrelheinen/pandorga", tag: "v1.7.6"
+        # GitHub tag: gem "pandorga", github: "alexandrelheinen/pandorga", tag: "v1.8.1"
         gem "csv"
         gem "base64"
       RUBY

data/lib/pandorga/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Pandorga
-  VERSION = "1.7.6"
+  VERSION = "1.8.1"
 end

data/scripts/test/render-parity/proof.json

@@ -0,0 +1,5 @@
+{
+  "name": "proof",
+  "markdown": "<div class=\"proof\" markdown=\"1\">\n\nA short claim with **bold**.\n\n</div>",
+  "selectors": ["proof", "proof-head", "proof-name", "proof-body"]
+}

data/scripts/test/render-parity/run-fixture.mjs

@@ -128,6 +128,25 @@ function preprocessMarkdownDivs(markdown) {
     if (!hasMarkdownAttr(openTag)) return match;
     return `<div class="poem"><p>${inner.trim()}</p></div>`;
   });
+  text = text.replace(/<div\s+([^>]*class="[^"]*\btheorem\b[^"]*"[^>]*)>([\s\S]*?)<\/div>/gi, (match, openTag, inner) => {
+    if (!hasMarkdownAttr(openTag)) return match;
+    const nameMatch = openTag.match(/\bname\s*=\s*(?:"([^"]*)"|'([^']*)')/i);
+    const descMatch = openTag.match(/\bdescription\s*=\s*(?:"([^"]*)"|'([^']*)')/i);
+    const n = nameMatch ? (nameMatch[1] ?? nameMatch[2] ?? '') : '';
+    const d = descMatch ? (descMatch[1] ?? descMatch[2] ?? '') : '';
+    let head = '';
+    if (n) {
+      head = `<p class="theorem-head"><span class="theorem-name">${escapeAttr(n)}</span>`;
+      if (d) head += ` <span class="theorem-description">(${escapeAttr(d)})</span>`;
+      head += '.</p>';
+    }
+    return `<div class="theorem">${head}<div class="theorem-body">${marked.parse(inner.trim())}</div></div>`;
+  });
+  text = text.replace(/<div\s+([^>]*class="[^"]*\bproof\b[^"]*"[^>]*)>([\s\S]*?)<\/div>/gi, (match, openTag, inner) => {
+    if (!hasMarkdownAttr(openTag)) return match;
+    const head = '<p class="proof-head"><span class="proof-name">Proof</span>.</p>';
+    return `<div class="proof">${head}<div class="proof-body">${marked.parse(inner.trim())}</div></div>`;
+  });
   return text;
 }
 

data/scripts/test/render-parity/theorem.json

@@ -0,0 +1,5 @@
+{
+  "name": "theorem",
+  "markdown": "<div class=\"theorem\" name=\"Corollary 1\" description=\"nadir camera\" markdown=\"1\">\n\nLet the camera look straight down.\n\n</div>",
+  "selectors": ["theorem", "theorem-head", "theorem-name", "theorem-description", "theorem-body"]
+}

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: pandorga
 version: !ruby/object:Gem::Version
-  version: 1.7.6
+  version: 1.8.1
 platform: ruby
 authors:
 - The Pandorga contributors
@@ -393,12 +393,14 @@ files:
 - scripts/test/render-parity/ongoing-product.json
 - scripts/test/render-parity/plotly.json
 - scripts/test/render-parity/poem.json
+- scripts/test/render-parity/proof.json
 - scripts/test/render-parity/run-absent-field-checks.mjs
 - scripts/test/render-parity/run-block-fixture.mjs
 - scripts/test/render-parity/run-detail-parity-checks.mjs
 - scripts/test/render-parity/run-field-flow-checks.mjs
 - scripts/test/render-parity/run-fixture.mjs
 - scripts/test/render-parity/selectors.mjs
+- scripts/test/render-parity/theorem.json
 - scripts/test/render-parity/video.json
 - scripts/test/render-parity/youtube-short.json
 - scripts/test/render-parity/youtube.json