pandorga 1.7.5 → 1.8.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 50cefbd5818ff3cacd667823f637d8dd3aca3a0dd06fb78a01f44d68954b8a28
-  data.tar.gz: a602af73319ba4acc679ffdc30d75b555663dfb0ce54febf32823ce8e213cc03
+  metadata.gz: 03c8db4a237e9092a2f0d9256c118a162476cb1d056fc88518cfeccd60379bed
+  data.tar.gz: e8a2725fbc96d9c02ad55e39dce2c8e98d1eec14f20996ae5636d60f2d54181e
 SHA512:
-  metadata.gz: 97f05ec16f99648f22c74146bb9f8ce497e3afa759727b8cc5d09f50dcdceee955e3c993e1ada003cd1492a5cd0c9975dbfa9d05bd56668aaf97eec945236425
-  data.tar.gz: a6a9494a944b8807f594e1f3c1dd6bc8337aade5ba8c53a7b29e3a905575d39f6b5fd310ad99ac00d7d017d44b182e1d78db85e52c218057d430848455d0135f
+  metadata.gz: a4e9108eac5982492245285b4954dc1e43a0ca10534411a8a221af35c5520a5a65c3a0fc9e8700bfc9c27588e41ee332a0204ebb697b9339514128e70b5237d1
+  data.tar.gz: 8ae715831b65d21cf206f071841f6c444f0b99598d93a2917ccaa09f4eecce658e2e93c0b61a75e375afa9b9a9baf0a6f17a47c70584f4ac6c5f656f8a728e75

data/CHANGELOG.md

@@ -1,5 +1,49 @@
 # 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
+
+- A long inline formula scrolls inside the article column below 768px.
+  Display math was already contained, and a 390px phone still measured
+  scrollWidth 667 because `mjx-container` without `display="true"` is
+  `display: inline` and cannot scroll. Below 768px that box is
+  `inline-block`, `max-width: 100%`, `overflow-x: auto`, and
+  `overflow-y: hidden`. Wider viewports keep it inline. `html` and
+  `body` do not set overflow.
+
+No `pandorga:` config keys were added or renamed. Font roles and the
+ledger fallbacks are unchanged.
+
 ## [1.7.5] — 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

@@ -99,6 +99,23 @@
   vertical-align: baseline;
 }
 
+/* Below 768px a long inline formula is still `display: inline`, so it has
+   no scrollport and widens the document. Display math was already contained,
+   and a 390px phone still measured scrollWidth 667 from the inline boxes.
+   `inline-block` keeps the formula in the line and lets max-width and
+   overflow apply. `[jax]` stays ahead of MathJax's own container rule.
+   Desktop stays inline. Do not put this overflow on html or body. */
+@media (max-width: 767px) {
+  .article-content mjx-container:not([display="true"]),
+  .article-content mjx-container[jax]:not([display="true"]) {
+    display: inline-block;
+    max-width: 100%;
+    overflow-x: auto;
+    overflow-y: hidden;
+    vertical-align: baseline;
+  }
+}
+
 /* A display equation is a block in the prose flow, so it takes the paragraph
    gap and nothing more. Two things used to inflate it, to a measured 52px
    above the equation and 39px below against a 22px paragraph gap.
@@ -990,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.5"
+        # 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.5"
+  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"]
+}

data/scripts/test/test-css-structure.rb

@@ -160,6 +160,28 @@ if article_sheet.match?(/mjx-container[^{]*\{[^}]*overflow\s*:\s*visible/m)
   errors << "assets/css/article.css: display math sets overflow: visible"
 end
 
+# PLT-AC-38. Inline formulas scroll inside the column below 768px. The
+# unscoped rule stays display:inline so a short formula on a wide column
+# remains in the line.
+inline_selector = '.article-content mjx-container:not([display="true"])'
+inline_jax = '.article-content mjx-container[jax]:not([display="true"])'
+inline_bodies = declaration_bodies(article_sheet, inline_selector)
+inline_base = inline_bodies.find { |body| body.match?(/display:\s*inline\s*;/) && !body.match?(/inline-block/) }
+unless inline_base
+  errors << "assets/css/article.css: #{inline_selector} must stay display:inline outside the phone query"
+end
+
+mobile_inline = nil
+article_sheet.scan(/@media\s*\(\s*max-width:\s*767px\s*\)\s*\{((?:[^{}]|\{[^{}]*\})*)\}/m) do |inner,|
+  mobile_inline = inner if inner.include?(inline_selector)
+end
+if mobile_inline.nil?
+  errors << "assets/css/article.css: inline math scroll is not limited to max-width 767px"
+else
+  require_declarations(errors, "assets/css/article.css", mobile_inline, inline_selector, math_box + ["display: inline-block"])
+  require_declarations(errors, "assets/css/article.css", mobile_inline, inline_jax, math_box + ["display: inline-block"])
+end
+
 require_declarations(
   errors, "assets/css/article.css", article_sheet,
   ".article-content figure", ["max-width: 100%"]

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: pandorga
 version: !ruby/object:Gem::Version
-  version: 1.7.5
+  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