refactor: move theorems.lua to a require() module to avoid Lua local variable limit

The import()-based common/theorems.lua added locals to the main chunk
scope, pushing past Lua's 200-variable limit and breaking CI.
Move the logic to modules/theorems.lua loaded via require(), which runs
in its own scope.

Author: mcanouil

src/resources/filters/common/theorems.lua

@@ -1,93 +1,2 @@
 -- theorems.lua
 -- Copyright (C) 2020-2022 Posit Software, PBC
-
-local typst_theorem_appearance_imported = false
-local typst_theorem_like_frames = {}
-local typst_simple_renderers = {}
-
-function theoremTypstAppearance()
-  local appearance = option("theorem-appearance", "simple")
-  if type(appearance) == "table" then
-    appearance = pandoc.utils.stringify(appearance)
-  end
-  return appearance or "simple"
-end
-
-function ensureTheoremTypstAppearanceImports()
-  local appearance = theoremTypstAppearance()
-  if typst_theorem_appearance_imported then
-    return appearance
-  end
-
-  typst_theorem_appearance_imported = true
-  if appearance == "fancy" then
-    quarto.doc.include_text("in-header", [[
-#import "@preview/theorion:0.4.1": make-frame, cosmos
-#import cosmos.fancy: fancy-box, set-primary-border-color, set-primary-body-color, set-secondary-border-color, set-secondary-body-color, set-tertiary-border-color, set-tertiary-body-color, get-primary-border-color, get-primary-body-color, get-secondary-border-color, get-secondary-body-color, get-tertiary-border-color, get-tertiary-body-color
-]])
-    quarto.doc.include_text("before-body", [[
-#set-primary-border-color(brand-color.at("primary", default: green.darken(30%)))
-#set-primary-body-color(brand-color.at("primary", default: green).lighten(90%))
-#set-secondary-border-color(brand-color.at("secondary", default: orange))
-#set-secondary-body-color(brand-color.at("secondary", default: orange).lighten(90%))
-#set-tertiary-border-color(brand-color.at("tertiary", default: blue.darken(30%)))
-#set-tertiary-body-color(brand-color.at("tertiary", default: blue).lighten(90%))
-]])
-  elseif appearance == "clouds" then
-    quarto.doc.include_text("in-header", [[
-#import "@preview/theorion:0.4.1": make-frame, cosmos
-#import cosmos.clouds: render-fn as clouds-render
-]])
-  elseif appearance == "rainbow" then
-    quarto.doc.include_text("in-header", [[
-#import "@preview/theorion:0.4.1": make-frame, cosmos
-#import cosmos.rainbow: render-fn as rainbow-render
-]])
-  else
-    quarto.doc.include_text("in-header", [[
-#import "@preview/theorion:0.4.1": make-frame
-]])
-  end
-
-  return appearance
-end
-
-function ensureTheoremTypstSimpleRender(render_name, italic_body)
-  if typst_simple_renderers[render_name] then
-    return
-  end
-
-  typst_simple_renderers[render_name] = true
-  local body_render = "body"
-  if italic_body then
-    body_render = "emph(body)"
-  end
-
-  quarto.doc.include_text("in-header", "#let " .. render_name .. [[(prefix: none, title: "", full-title: auto, body) = {
-  if full-title != "" and full-title != auto and full-title != none {
-    strong[#full-title.]
-    h(0.5em)
-  }
-  ]] .. body_render .. "\n" .. [[
-  parbreak()
-}
-]])
-end
-
-function ensureTheoremTypstFrame(env_name, title, render_code)
-  if typst_theorem_like_frames[env_name] then
-    return false
-  end
-
-  typst_theorem_like_frames[env_name] = true
-  quarto.doc.include_text("in-header", "#let (" .. env_name .. "-counter, " .. env_name .. "-box, " ..
-    env_name .. ", show-" .. env_name .. ") = make-frame(\n" ..
-    "  \"" .. env_name .. "\",\n" ..
-    "  text(weight: \"bold\")[" .. title .. "],\n" ..
-    "  inherited-levels: theorem-inherited-levels,\n" ..
-    "  numbering: theorem-numbering,\n" ..
-    render_code ..
-    ")")
-  quarto.doc.include_text("in-header", "#show: show-" .. env_name)
-  return true
-end

src/resources/filters/customnodes/proof.lua

@@ -67,7 +67,7 @@ local proof_theme_colors = {
 }
 
 local function ensure_typst_proofs(proof_env)
-  local appearance = ensureTheoremTypstAppearanceImports()
+  local appearance = _quarto.modules.theorems.ensure_appearance_imports()
   local proof_info = proof_types[proof_env]
   local title = envTitle(proof_env, proof_info.title)
   local render_code
@@ -85,11 +85,11 @@ local function ensure_typst_proofs(proof_env)
     local color = proof_theme_colors[proof_env] or "gray"
     render_code = "  render: rainbow-render.with(fill: " .. color .. ".darken(20%)),\n"
   else
-    ensureTheoremTypstSimpleRender("simple-proof-render", false)
+    _quarto.modules.theorems.ensure_simple_render("simple-proof-render", false)
     render_code = "  render: simple-proof-render,\n"
   end
 
-  ensureTheoremTypstFrame(proof_env, title, render_code)
+  _quarto.modules.theorems.ensure_frame(proof_env, title, render_code)
 end
 
 function is_proof_div(div)

src/resources/filters/customnodes/theorem.lua

@@ -100,7 +100,7 @@ local theme_colors = {
 }
 
 local function ensure_typst_theorems(reftype)
-  local appearance = ensureTheoremTypstAppearanceImports()
+  local appearance = _quarto.modules.theorems.ensure_appearance_imports()
   local theorem_type = theorem_types[reftype]
   local title = titleString(reftype, theorem_type.title)
   local render_code
@@ -124,11 +124,11 @@ local function ensure_typst_theorems(reftype)
     local color = theme_colors[reftype] or "gray"
     render_code = "  render: rainbow-render.with(fill: " .. color .. ".darken(20%)),\n"
   else
-    ensureTheoremTypstSimpleRender("simple-theorem-render", true)
+    _quarto.modules.theorems.ensure_simple_render("simple-theorem-render", true)
     render_code = "  render: simple-theorem-render,\n"
   end
 
-  ensureTheoremTypstFrame(theorem_type.env, title, render_code)
+  _quarto.modules.theorems.ensure_frame(theorem_type.env, title, render_code)
 end
 
 

src/resources/filters/modules/import_all.lua

@@ -20,6 +20,7 @@ _quarto.modules = {
   scope = require("modules/scope"),
   string = require("modules/string"),
   tablecolwidths = require("modules/tablecolwidths"),
+  theorems = require("modules/theorems"),
   typst = require("modules/typst"),
   listtable = require("modules/listtable"),
   tableutils = require("modules/tableutils"),

src/resources/filters/modules/theorems.lua

@@ -0,0 +1,101 @@
+-- theorems.lua
+-- Shared Typst theorem/proof setup logic using theorion
+-- Copyright (C) 2020-2022 Posit Software, PBC
+
+local typst_theorem_appearance_imported = false
+local typst_theorem_like_frames = {}
+local typst_simple_renderers = {}
+
+local function appearance()
+  local val = option("theorem-appearance", "simple")
+  if type(val) == "table" then
+    val = pandoc.utils.stringify(val)
+  end
+  return val or "simple"
+end
+
+local function ensure_appearance_imports()
+  local val = appearance()
+  if typst_theorem_appearance_imported then
+    return val
+  end
+
+  typst_theorem_appearance_imported = true
+  if val == "fancy" then
+    quarto.doc.include_text("in-header", [[
+#import "@preview/theorion:0.4.1": make-frame, cosmos
+#import cosmos.fancy: fancy-box, set-primary-border-color, set-primary-body-color, set-secondary-border-color, set-secondary-body-color, set-tertiary-border-color, set-tertiary-body-color, get-primary-border-color, get-primary-body-color, get-secondary-border-color, get-secondary-body-color, get-tertiary-border-color, get-tertiary-body-color
+]])
+    quarto.doc.include_text("before-body", [[
+#set-primary-border-color(brand-color.at("primary", default: green.darken(30%)))
+#set-primary-body-color(brand-color.at("primary", default: green).lighten(90%))
+#set-secondary-border-color(brand-color.at("secondary", default: orange))
+#set-secondary-body-color(brand-color.at("secondary", default: orange).lighten(90%))
+#set-tertiary-border-color(brand-color.at("tertiary", default: blue.darken(30%)))
+#set-tertiary-body-color(brand-color.at("tertiary", default: blue).lighten(90%))
+]])
+  elseif val == "clouds" then
+    quarto.doc.include_text("in-header", [[
+#import "@preview/theorion:0.4.1": make-frame, cosmos
+#import cosmos.clouds: render-fn as clouds-render
+]])
+  elseif val == "rainbow" then
+    quarto.doc.include_text("in-header", [[
+#import "@preview/theorion:0.4.1": make-frame, cosmos
+#import cosmos.rainbow: render-fn as rainbow-render
+]])
+  else
+    quarto.doc.include_text("in-header", [[
+#import "@preview/theorion:0.4.1": make-frame
+]])
+  end
+
+  return val
+end
+
+local function ensure_simple_render(render_name, italic_body)
+  if typst_simple_renderers[render_name] then
+    return
+  end
+
+  typst_simple_renderers[render_name] = true
+  local body_render = "body"
+  if italic_body then
+    body_render = "emph(body)"
+  end
+
+  quarto.doc.include_text("in-header", "#let " .. render_name .. [[(prefix: none, title: "", full-title: auto, body) = {
+  if full-title != "" and full-title != auto and full-title != none {
+    strong[#full-title.]
+    h(0.5em)
+  }
+  ]] .. body_render .. "\n" .. [[
+  parbreak()
+}
+]])
+end
+
+local function ensure_frame(env_name, title, render_code)
+  if typst_theorem_like_frames[env_name] then
+    return false
+  end
+
+  typst_theorem_like_frames[env_name] = true
+  quarto.doc.include_text("in-header", "#let (" .. env_name .. "-counter, " .. env_name .. "-box, " ..
+    env_name .. ", show-" .. env_name .. ") = make-frame(\n" ..
+    "  \"" .. env_name .. "\",\n" ..
+    "  text(weight: \"bold\")[" .. title .. "],\n" ..
+    "  inherited-levels: theorem-inherited-levels,\n" ..
+    "  numbering: theorem-numbering,\n" ..
+    render_code ..
+    ")")
+  quarto.doc.include_text("in-header", "#show: show-" .. env_name)
+  return true
+end
+
+return {
+  appearance = appearance,
+  ensure_appearance_imports = ensure_appearance_imports,
+  ensure_simple_render = ensure_simple_render,
+  ensure_frame = ensure_frame,
+}