sagadeck 1.9.0 → 1.11.0

package/src/code-highlight.js

@@ -6,6 +6,9 @@ const KEYWORDS = {
   JavaScript: new Set("async await break case catch class const continue debugger default delete do else export extends finally for from function if import in instanceof let new of return static super switch this throw try typeof var void while with yield".split(" ")),
   TypeScript: new Set("abstract any as asserts async await bigint boolean break case catch class const constructor continue declare default delete do else enum export extends finally for from function get if implements import in infer instanceof interface is keyof let namespace never new number object of package private protected public readonly return set static string super switch symbol this throw try type typeof undefined unique unknown var void while with yield".split(" ")),
   "C#": new Set("abstract as async await base bool break byte case catch char checked class const continue decimal default delegate do double else enum event explicit extern false finally fixed float for foreach goto if implicit in int interface internal is lock long namespace new null object operator out override params private protected public readonly ref return sbyte sealed short sizeof stackalloc static string struct switch this throw try typeof uint ulong unchecked unsafe ushort using virtual void volatile while".split(" ")),
+  Bash: new Set("if then else elif fi for in do done while until case esac function select time export local readonly return exit source".split(" ")),
+  JSON: new Set(),
+  SQL: new Set("SELECT FROM WHERE JOIN INNER LEFT RIGHT FULL OUTER CROSS ON AS AND OR NOT IN IS NULL DISTINCT GROUP BY ORDER HAVING LIMIT OFFSET ASC DESC INSERT INTO VALUES UPDATE SET DELETE CREATE TABLE INDEX VIEW DROP ALTER WITH UNION ALL EXISTS CASE WHEN THEN ELSE END BETWEEN LIKE RETURNING BEGIN COMMIT ROLLBACK PRIMARY KEY REFERENCES DEFAULT".split(" ")),
 };
 
 const TYPES = {
@@ -14,11 +17,19 @@ const TYPES = {
   JavaScript: new Set("Array Boolean Date Map Number Object Promise Set String".split(" ")),
   TypeScript: new Set("Array any bigint boolean never number object string symbol unknown void".split(" ")),
   "C#": new Set("bool byte char DateTime decimal double float int List long object short string Task uint ulong var void".split(" ")),
+  Bash: new Set(),
+  JSON: new Set(),
+  SQL: new Set("INT INTEGER BIGINT TEXT VARCHAR BOOLEAN FLOAT DOUBLE DECIMAL NUMERIC DATE TIMESTAMP JSON JSONB".split(" ")),
 };
 
+const SHELL_COMMANDS = new Set("curl echo printf git npm node python python3 pip pytest jq cat grep sed awk ls cd pwd mkdir rm cp mv sleep read test find sort head tail".split(" "));
+
 const CONSTANTS = new Set(["False", "None", "True", "false", "null", "true", "undefined", "NaN", "Infinity"]);
 
 function tokenPattern(language) {
+  if (language === "Bash") return /(?<comment>(?<!\S)#[^\n]*)|(?<string>'[^']*'|"(?:\\[\s\S]|[^"\\])*")|(?<variable>\$(?:\{[^}\n]+\}|[A-Za-z_][\w]*|[\d?@#*!$-]))|(?<flag>(?<!\S)--?[A-Za-z][\w-]*(?:=[^\s]+)?)|(?<number>\b\d+(?:\.\d+)?\b)|(?<identifier>[A-Za-z_][\w]*)|(?<operator>[|&;<>]+)|(?<punctuation>[{}()\[\]])/g;
+  if (language === "JSON") return /(?<comment>\/\/[^\n]*|\/\*[\s\S]*?\*\/)|(?<string>"(?:\\.|[^"\\])*")|(?<number>\b\d+(?:\.\d+)?(?:[eE][+-]?\d+)?\b)|(?<identifier>true|false|null)|(?<punctuation>[{}\[\],:])/g;
+  if (language === "SQL") return /(?<comment>--[^\n]*|\/\*[\s\S]*?\*\/)|(?<string>'(?:''|[^'])*'|"(?:""|[^"])*"|`[^`]*`)|(?<number>\b\d+(?:\.\d+)?(?:[eE][+-]?\d+)?\b)|(?<identifier>[A-Za-z_][\w$]*)|(?<operator>[-+*/%=&|^!<>~]+)|(?<punctuation>[{}()\[\].,;])/g;
   const comments = language === "Python"
     ? "#[^\\n]*"
     : "\\/\\/[^\\n]*|\\/\\*[\\s\\S]*?\\*\\/";
@@ -32,13 +43,18 @@ function tokenPattern(language) {
 function classify(match, language, source, offset) {
   const groups = match.groups;
   if (groups.comment) return "comment";
+  if (groups.variable) return "constant";
+  if (groups.flag) return "keyword";
+  if (groups.string && language === "JSON" && /^\s*:/.test(source.slice(offset + match[0].length))) return "type";
   if (groups.string) return "string";
   if (groups.number) return "number";
   if (groups.identifier) {
     const word = groups.identifier;
-    if (KEYWORDS[language].has(word)) return "keyword";
+    const normalized = language === "SQL" ? word.toUpperCase() : word;
+    if (KEYWORDS[language].has(normalized)) return "keyword";
     if (CONSTANTS.has(word)) return "constant";
-    if (TYPES[language].has(word)) return "type";
+    if (TYPES[language].has(normalized)) return "type";
+    if (language === "Bash" && SHELL_COMMANDS.has(word)) return "function";
     if (/^\s*\(/.test(source.slice(offset + match[0].length))) return "function";
   }
   if (groups.operator) return "operator";
@@ -47,6 +63,7 @@ function classify(match, language, source, offset) {
 }
 
 export function highlightCode(source, language) {
+  if (!KEYWORDS[language]) return source.split("\n").map(esc);
   const pattern = tokenPattern(language);
   const lines = [""];
   const append = (value, kind = "") => {

package/src/code-language.js

@@ -11,6 +11,11 @@ const EXTENSIONS = new Map([
   [".mts", "TypeScript"],
   [".cts", "TypeScript"],
   [".cs", "C#"],
+  [".sh", "Bash"],
+  [".bash", "Bash"],
+  [".json", "JSON"],
+  [".jsonc", "JSON"],
+  [".sql", "SQL"],
 ]);
 
 const ALIASES = new Map([
@@ -26,6 +31,13 @@ const ALIASES = new Map([
   ["c#", "C#"],
   ["csharp", "C#"],
   ["cs", "C#"],
+  ["bash", "Bash"],
+  ["shell", "Bash"],
+  ["sh", "Bash"],
+  ["curl", "Bash"],
+  ["json", "JSON"],
+  ["jsonc", "JSON"],
+  ["sql", "SQL"],
 ]);
 
 export function inferCodeLanguage(filename) {
@@ -48,5 +60,6 @@ export function resolveCodeLanguage(language, filename) {
 
 export function displayCodeLanguage(language, filename) {
   const requested = String(language || "").trim();
+  if (requested.toLowerCase() === "curl") return "cURL";
   return normalizeCodeLanguage(requested) || requested || inferCodeLanguage(filename);
 }

package/src/fs-retry.js

@@ -1,7 +1,7 @@
 // Renomear tolerante a arquivo travado. A biblioteca mora em Documentos, que no Windows costuma estar no OneDrive:
 // enquanto sincroniza (e também o antivírus ou o indexador), o arquivo fica preso por um instante e o rename falha
 // com EPERM/EBUSY/EACCES. Em vez de perder o salvamento da pessoa, tenta de novo com espera curta e crescente
-// (~1 s no total). Qualquer outro erro (destino inexistente, disco cheio…) sobe na hora.
+// (~4 s no total: a CI do Windows já segurou o arquivo por mais de 1 s). Qualquer outro erro (destino inexistente, disco cheio…) sobe na hora.
 //
 // Copiar e remover pasta NÃO usam fs.cpSync/fs.rmSync recursivos: o código nativo deles (std::filesystem) no
 // Windows quebra o processo inteiro (0xC0000409, sem exceção para pegar) ou "faz nada" quando o caminho tem
@@ -12,7 +12,7 @@ import fs from "node:fs";
 import path from "node:path";
 
 const LOCKED = new Set(["EPERM", "EBUSY", "EACCES"]);
-export const RENAME_DELAYS = [20, 40, 80, 150, 250, 450];
+export const RENAME_DELAYS = [20, 40, 80, 150, 250, 450, 700, 1000, 1300];
 
 const pause = (ms) => Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, ms);
 

package/src/lessons.js

@@ -8,6 +8,7 @@ import katex from "katex";
 import { md, esc } from "./markup.js";
 import "./runtime/formula.js";
 import "./runtime/calc.js";
+import "./runtime/solution.js";
 
 const F = globalThis.SagaFormula;
 const tex = (s, display = true) => katex.renderToString(String(s ?? ""), { displayMode: display, throwOnError: false, strict: "ignore", trust: false, maxExpand: 1000, maxSize: 20 });
@@ -29,32 +30,92 @@ const panel = (i, inner, cls = "") => `<section class="lesson-panel dyn-frame ${
 const PROSE = /\p{L}{3,}/u;
 const isProse = (s) => !/\\[a-zA-Z]|[\^_{}]/.test(s) && PROSE.test(String(s).replace(/\b(sen|cos|tan|tg|log|ln|exp|max|min|lim|mod)\b/g, ""));
 const mathOrText = (s) => (isProse(String(s ?? "")) ? `<span class="sol-txt t f-body">${md(String(s))}</span>` : tex(s, false));
-function givenTex(g) {
+// % (e # & _ $) são comandos no LaTeX: "60 %" saía como erro vermelho na conta da criança
+const unitTex = (u) => String(u).replace(/(?<!\\)[%#&_$]/g, (c) => `\\${c}`).replace(/°/g, "^{\\circ}").replace(/ /g, "\\,");
+const unitSuffix = (u) => (u ? `\\ \\mathrm{${unitTex(u)}}` : "");
+function givenTex(g, value = null) {
   if (typeof g === "string") return g;
   if (g.latex) return g.latex;
-  const value = typeof g.value === "string" && isProse(g.value) ? `\\text{${g.value.replace(/[{}\\$]/g, "")}}` : commaTex(g.value);
-  // % (e # & _ $) são comandos no LaTeX: "60 %" saía como erro vermelho na conta da criança
-  const unit = g.unit ? String(g.unit).replace(/(?<!\\)[%#&_$]/g, (c) => `\\${c}`).replace(/°/g, "^{\\circ}").replace(/ /g, "\\,") : "";
-  return `${g.symbol ?? ""} = ${value}${unit ? `\\ \\mathrm{${unit}}` : ""}`;
+  value ??= typeof g.value === "string" && isProse(g.value) ? `\\text{${g.value.replace(/[{}\\$]/g, "")}}` : commaTex(g.value);
+  return `${symbolTex(g.symbol)} = ${value}${unitSuffix(g.unit)}`;
 }
+// "p_atm" é p com índice "atm": sem chaves o LaTeX subscrevia só o "a" (aparecia "pₐtm" num exercício de aula)
+const symbolTex = (s) => String(s ?? "").replace(/_([A-Za-z0-9]{2,})/g, "_{$1}");
+// nome da conta em LaTeX, quando o passo não traz nem latex nem symbol: D2 → D_{2}, rho → \rho, fator → \mathrm{fator}
+const GREEK = /^(alpha|beta|gamma|delta|epsilon|theta|lambda|mu|nu|xi|pi|rho|sigma|tau|phi|chi|psi|omega|Delta|Omega|Phi|Sigma)(\d*)$/;
+const nameTex = (n) => (n.startsWith("_") ? "" : GREEK.test(n) ? n.replace(GREEK, (_, g, d) => `\\${g}${d ? `_{${d}}` : ""}`) : /^[A-Za-z]\d*$/.test(n) ? n.replace(/^(.)(\d+)$/, "$1_{$2}") : `\\mathrm{${n}}`);
+// {{nome}} ou {{expressão:casas}}: o valor calculado no lugar
+const PH = /\{\{\s*([^{}:]+?)\s*(?::\s*(\d+)\s*)?\}\}/g;
+const S = globalThis.SagaSolution;
+// \htmlData só para a marca do número que a apresentação troca ao vivo
+const texLive = (s, display = true) => katex.renderToString(String(s ?? ""), { displayMode: display, throwOnError: false, strict: "ignore", trust: (c) => c.command === "\\htmlData" && Object.keys(c.attributes || {}).every((k) => k === "data-solv"), maxExpand: 1000, maxSize: 20 });
 export function solutionHTML(s, ctx, head) {
   const steps = (s.steps || []).map((x) => (typeof x === "string" ? { latex: x } : x || {}));
   const givens = [].concat(s.givens || s.data || []);
   const hasAnswer = !!s.answer;
+  const answer = hasAnswer ? (typeof s.answer === "string" ? { latex: s.answer } : s.answer) : null;
+  // contas: dados com símbolo e valor viram variáveis; passo (e resposta) com fn é calculado pelo motor
+  const m = S.model({ ...s, steps, answer });
+  const { env, results } = S.evaluate(m);
+  const live = !!s.interactive && m.vars.length > 0;
+  const T = live ? texLive : tex;
+  const marks = [], markAt = new Map();
+  const decOf = (name) => m.vars.find((v) => v.name === name)?.decimals ?? m.calcs.find((c) => c.name === name)?.decimals;
+  const mark = (expr, d) => {
+    const decimals = d != null && d !== "" ? Number(d) : decOf(expr), key = `${expr}|${decimals ?? ""}`;
+    if (!markAt.has(key)) { markAt.set(key, marks.length); marks.push({ expr, ...(decimals != null ? { decimals } : {}) }); }
+    return { k: markAt.get(key), decimals, value: S.evalExpr(expr, env) };
+  };
+  const numTex = (r) => { const t = S.format(r.value, r.decimals, "tex"); return live ? `\\htmlData{solv=${r.k}}{${t}}` : t; };
+  const fillTex = (str) => String(str ?? "").replace(PH, (_, e, d) => numTex(mark(e, d)));
+  const fillText = (str) => {
+    const nums = [];
+    const out = md(String(str ?? "").replace(PH, (_, e, d) => {
+      const r = mark(e, d), t = esc(S.format(r.value, r.decimals, "text"));
+      nums.push(live ? `<span data-solv="${r.k}" data-solv-mode="text">${t}</span>` : t);
+      return `\uE000${nums.length - 1}\uE001`;
+    }));
+    return out.replace(/\uE000(\d+)\uE001/g, (_, i) => nums[i]);
+  };
+  const errors = m.calcs.filter((c) => results[c.key].error).map((c) => `${c.label}: ${results[c.key].error}`);
+  if (errors.length) ctx?.warnings?.push(...errors.map((e) => `exercício resolvido: ${e}`));
+  // LaTeX do passo calculado: o valor onde a pessoa pôs {{nome}} (o nome do próprio passo), ou "≈ valor unidade" no fim
+  const calcTex = (o, key) => {
+    const c = m.calcs.find((x) => x.key === key);
+    if (!c) return o.latex ? fillTex(o.latex) : "";
+    if ([...String(o.latex ?? "").matchAll(PH)].some((x) => x[1] === c.name)) return fillTex(o.latex);
+    const r = mark(c.name, c.decimals);
+    const exact = r.value != null && S.parseNum(S.format(r.value, c.decimals, "text")) === r.value;
+    const lhs = o.latex ? fillTex(o.latex) : o.symbol ? String(o.symbol) : nameTex(c.name);
+    const rel = !lhs || /(=|\\approx|≈)\s*$/.test(lhs) ? "" : exact ? "= " : "\\approx ";
+    return `${lhs}${lhs ? " " : ""}${rel}${numTex(r)}${unitSuffix(o.unit)}`;
+  };
+  const calcError = (key) => { const c = m.calcs.find((x) => x.key === key); return c && results[key].error ? `<div class="sol-error dyn-error f-body">${esc(`${c.label[0].toUpperCase()}${c.label.slice(1)}: ${results[key].error}`)}</div>` : ""; };
+  const varOf = (g) => (g && typeof g === "object" ? m.vars.find((v) => v.name === (g.name ? String(g.name) : S.varName(g.symbol))) : null);
+  const givenHTML = (g) => {
+    if (typeof g === "string") return `<div class="sol-given"><div class="sol-tex">${mathOrText(g)}</div></div>`;
+    const v = live && !g.latex ? varOf(g) : null;
+    const t = v ? givenTex(g, numTex(mark(v.name, v.decimals))) : g.latex ? fillTex(g.latex) : givenTex(g);
+    const slider = v ? `<input type="range" class="sol-slider" data-solv-in="${esc(v.name)}" min="${v.min}" max="${v.max}" step="${v.step}" value="${v.value}" aria-label="${esc(v.label)}">` : "";
+    return `<div class="sol-given${slider ? " live" : ""}"><div class="sol-tex">${T(t, false)}</div>${g.label ? `<span class="t f-body">${md(g.label)}</span>` : ""}${slider}</div>`;
+  };
   const n = 1 + steps.length + (hasAnswer ? 1 : 0); // enunciado · cada passo · resposta
-  const left = `<div class="sol-problem">${s.problem ? `<div class="sol-text t f-body">${md(s.problem)}</div>` : ""}
-    ${givens.length ? `<div class="sol-givens"><div class="sol-label t f-label">Dados</div>${givens.map((g) => `<div class="sol-given"><div class="sol-tex">${typeof g === "string" ? mathOrText(g) : tex(givenTex(g), false)}</div>${g.label ? `<span class="t f-body">${md(g.label)}</span>` : ""}</div>`).join("")}</div>` : ""}
+  const reset = live ? `<button type="button" class="sol-reset" data-solv-reset>Restaurar</button>` : "";
+  const left = `<div class="sol-problem">${s.problem ? `<div class="sol-text t f-body">${fillText(s.problem)}</div>` : ""}
+    ${givens.length ? `<div class="sol-givens"><div class="sol-label t f-label">Dados${reset}</div>${givens.map(givenHTML).join("")}</div>` : ""}
     ${s.find ? `<div class="sol-find"><span class="sol-label t f-label">Pede-se</span><div class="sol-tex">${mathOrText(s.find)}</div></div>` : ""}</div>`;
-  const stepHTML = (st, i, k) => `<article class="sol-step${i === k - 1 ? " now" : ""}"><span class="sol-n t f-label">${String(i + 1).padStart(2, "0")}</span><div class="sol-body">${st.text ? `<div class="sol-why t f-body">${md(st.text)}</div>` : ""}${st.latex ? `<div class="sol-math">${tex(st.latex)}</div>` : ""}${st.note ? `<div class="sol-note t f-body">${md(st.note)}</div>` : ""}</div></article>`;
-  const answer = hasAnswer ? (typeof s.answer === "string" ? { latex: s.answer } : s.answer) : null;
+  const stepTex = steps.map((st, i) => calcTex(st, `p${i}`));
+  const stepHTML = (st, i, k) => `<article class="sol-step${i === k - 1 ? " now" : ""}"><span class="sol-n t f-label">${String(i + 1).padStart(2, "0")}</span><div class="sol-body">${st.text ? `<div class="sol-why t f-body">${fillText(st.text)}</div>` : ""}${stepTex[i] ? `<div class="sol-math">${T(stepTex[i])}</div>` : ""}${calcError(`p${i}`)}${st.note ? `<div class="sol-note t f-body">${fillText(st.note)}</div>` : ""}</div></article>`;
+  const answerTex = answer ? calcTex(answer, "resp") : "";
   const frames = Array.from({ length: n }, (_, k) => {
     const done = Math.min(k, steps.length);
     const list = steps.slice(0, done).map((st, i) => stepHTML(st, i, done)).join("");
-    const final = hasAnswer && k === n - 1 ? `<div class="sol-answer"><span class="sol-label t f-label">${esc(answer.label || "Resposta")}</span>${answer.latex ? `<div class="sol-math">${tex(answer.latex)}</div>` : ""}${answer.text ? `<div class="t f-body">${md(answer.text)}</div>` : ""}</div>` : "";
+    const final = hasAnswer && k === n - 1 ? `<div class="sol-answer"><span class="sol-label t f-label">${esc(answer.label || "Resposta")}</span>${answerTex ? `<div class="sol-math">${T(answerTex)}</div>` : ""}${calcError("resp")}${answer.text ? `<div class="t f-body">${fillText(answer.text)}</div>` : ""}</div>` : "";
     const empty = k === 0 ? `<div class="sol-think t f-display">${md(s.prompt || "Por onde você começaria?")}</div>` : "";
     return panel(k, `<div class="sol-steps">${empty}${list}${final}</div>`);
   }).join("");
-  return `<div class="L-solution dyn" data-lesson="solution" data-lesson-count="${n}">${head(s)}<div class="sol-row">${left}<div class="dyn-frames">${frames}</div></div></div>`;
+  const payload = live ? `<script type="application/json" class="sol-model">${JSON.stringify({ ...m, marks }).replace(/</g, "\\u003c")}</script>` : "";
+  return `<div class="L-solution dyn" data-lesson="solution" data-lesson-count="${n}"${live ? " data-solution" : ""}>${head(s)}<div class="sol-row">${left}<div class="dyn-frames">${frames}</div></div>${payload}</div>`;
 }
 
 // ------------------------------------------------------------------------------------------------ calc

package/src/mcp/server.js

@@ -135,7 +135,7 @@ const TOOLS = [
     inputSchema: {
       type: "object",
       properties: {
-        so: { type: "array", items: { type: "string", enum: ["texto", "visao", "imagem", "pesquisa", "video"] }, description: "Só estes recursos (padrão: todos)" },
+        so: { type: "array", items: { type: "string", enum: ["texto", "visao", "imagem", "pesquisa", "video", "conferencia"] }, description: "Só estes recursos (padrão: todos)" },
         rapido: { type: "boolean", description: "Pula geração de imagem e vídeo (os lentos e cobrados)" },
         video_real: { type: "boolean", description: "Gera um clipe curto de verdade e confere o MP4 (cobrado; leva minutos)" },
       },

package/src/package.js

@@ -5,6 +5,7 @@
 //   <nome>.yaml          a apresentação (sem campos internos da máquina de quem salvou)
 //   imagens/, widgets/…  os arquivos, nos mesmos caminhos relativos do YAML
 //   assets/              arquivos que estavam FORA da pasta do deck (o YAML do pacote aponta para cá)
+//   .sagadeck/geracao.json  o pedido que originou a apresentação com IA, quando existe
 //   FALTANDO.txt         o que o deck usa mas não existia ao salvar
 //
 // Também abre um .zip comum com um .yaml dentro (versão sem manifesto).
@@ -93,6 +94,9 @@ export async function packDeck(spec, { baseDir, name = "apresentacao", generator
     if (size <= budget) { root.file(q.rel, fs.readFileSync(q.abs)); files.push(q.rel); budget -= size; }
     else skipped.push(q.rel);
   }
+  // o pedido que originou a apresentação (src/studio/generation-request.js) viaja junto, para auditar depois
+  const request = path.join(dir, ".sagadeck", "geracao.json");
+  if (fs.existsSync(request)) { root.file(".sagadeck/geracao.json", fs.readFileSync(request)); files.push(".sagadeck/geracao.json"); }
   for (const a of assets) {
     if (a.exists) { root.file(a.rel, fs.readFileSync(a.abs)); files.push(a.rel); }
     else missing.push(a.ref);

package/src/runtime/api-core.js

@@ -35,11 +35,45 @@
 
   // {{nome}} em qualquer texto do pedido (URL, cabeçalhos, corpo). Sem valor: fica como está.
   const VAR = /\{\{\s*([\w.-]+)\s*\}\}/g;
+  function renderBody(body, vars, encoding) {
+    if (typeof body !== "string" || !["json", "urlencoded"].includes(encoding)) return render(body, vars);
+    if (encoding === "urlencoded") return body.replace(VAR, (all, key) => vars && vars[key] != null ? encodeURIComponent(String(vars[key])) : all);
+    // Interpola no texto original, sem converter números ou reformatar o JSON. Dentro de uma
+    // string escapa só o valor; fora dela, insere um literal JSON. Marcador sem valor continua.
+    let result = "", quoted = false;
+    for (let at = 0; at < body.length; at++) {
+      if (body.startsWith("{{", at)) {
+        const marker = body.slice(at).match(/^\{\{\s*([\w.-]+)\s*\}\}/);
+        if (marker && vars && vars[marker[1]] != null) {
+          const value = vars[marker[1]];
+          result += quoted ? JSON.stringify(String(value)).slice(1, -1) : JSON.stringify(value);
+          at += marker[0].length - 1; continue;
+        }
+      }
+      const char = body[at]; result += char;
+      if (quoted && char === "\\" && at + 1 < body.length) { result += body[++at]; continue; }
+      if (char === '"') quoted = !quoted;
+    }
+    return result;
+  }
+  function renderURL(url, vars, encoding) {
+    if (encoding !== "query") return render(url, vars);
+    const text = String(url), query = text.indexOf("?"), fragment = text.indexOf("#");
+    return text.replace(VAR, (all, key, at) => {
+      if (!vars || vars[key] == null) return all;
+      const value = String(vars[key]);
+      return query >= 0 && at > query && (fragment < 0 || at < fragment) ? encodeURIComponent(value) : value;
+    });
+  }
   function render(value, vars) {
     if (typeof value === "string") return value.replace(VAR, (all, k) => (vars && vars[k] != null ? String(vars[k]) : all));
     if (Array.isArray(value)) return value.map((x) => render(x, vars));
     if (value && typeof value === "object" && value.__py) return value;
-    if (value && typeof value === "object") { const o = {}; for (const [k, v] of Object.entries(value)) o[render(k, vars)] = render(v, vars); return o; }
+    if (value && typeof value === "object") {
+      const o = {};
+      for (const [k, v] of Object.entries(value)) o[render(k, vars)] = k === "body" && value.bodyEncoding ? renderBody(v, vars, value.bodyEncoding) : k === "url" && value.urlEncoding ? renderURL(v, vars, value.urlEncoding) : render(v, vars);
+      return o;
+    }
     return value;
   }
   function missing(value, vars) {
@@ -82,6 +116,8 @@
         url: String(req.url || ""),
         headers: req.headers && typeof req.headers === "object" ? req.headers : {},
         body: req.body,
+        ...(["json", "urlencoded"].includes(req.bodyEncoding) ? { bodyEncoding: req.bodyEncoding } : {}),
+        ...(req.urlEncoding === "query" ? { urlEncoding: "query" } : {}),
         form: req.form && typeof req.form === "object" ? req.form : null, // multipart: { campo: "@file" | texto }
         auth: req.auth !== false,
       },
@@ -202,12 +238,12 @@
   }
 
   function curlCmd(r, tokenVar, extra, fileName) {
-    const parts = [`curl -s${extra || ""}${r.method !== "GET" || r.body != null || r.form ? ` -X ${r.method}` : ""} ${dq(r.url)}`];
+    const parts = [`curl -s${extra || ""}${r.method !== "GET" || r.body != null || r.form ? ` -X ${r.method}` : ""} ${r._urlShell || dq(r.url)}`];
     if (r.auth) parts.push(`-H "Authorization: Bearer $${tokenVar}"`);
-    for (const [k, v] of Object.entries(r.headers || {})) parts.push(`-H ${dq(k + ": " + v)}`);
+    for (const [k, v] of Object.entries(r.headers || {})) parts.push(`-H ${r._headerShell?.[k] || dq(k + ": " + v)}`);
     if (r.form) for (const [k, v] of Object.entries(r.form)) parts.push(`-F ${dq(k + "=" + (v === "@file" ? "@" + (fileName || "arquivo") : v))}`);
     else if (isJsonBody(r.body)) { parts.push(`-H "Content-Type: application/json"`); parts.push(`-d ${shq(JSON.stringify(r.body, null, 2))}`); }
-    else if (r.body != null) parts.push(`-d ${shq(r.body)}`);
+    else if (r.body != null) parts.push(r._stdinBody ? "--data-binary @-" : `-d ${r._bodyShell || shq(r.body)}`);
     return parts.join(" \\\n  ");
   }
 
@@ -217,7 +253,70 @@
   const secretsIn = (v) => { const out = new Set(); JSON.stringify(v || "").replace(/\{\{\s*secret\.([\w-]+)\s*\}\}/g, (_, k) => out.add(k)); return [...out]; };
   const fileName = (a, vars) => (vars && vars["file.name"]) || (a.file ? String(a.file).split(/[\\/]/).pop() : "arquivo");
   const usesB64 = (a) => JSON.stringify(a.request.body || "").includes("{{file.base64}}");
+  // Para cURL importado, expressões são montadas por contexto. As partes literais continuam
+  // literais no shell, e JSON/form/query escapam o segredo só na hora de rodar o exemplo.
+  function secretParts(text, encoding) {
+    text = String(text); const parts = []; let last = 0, scan = 0, quoted = false;
+    const query = text.indexOf("?"), fragment = text.indexOf("#");
+    const pattern = /\{\{\s*secret\.([\w-]+)\s*\}\}/g; let match;
+    while ((match = pattern.exec(text))) {
+      if (encoding === "json") for (; scan < match.index; scan++) { if (quoted && text[scan] === "\\") scan++; else if (text[scan] === '"') quoted = !quoted; }
+      if (match.index > last) parts.push(text.slice(last, match.index));
+      const context = encoding === "json" ? (quoted ? "json-string" : "json-literal") : encoding === "urlencoded" || (encoding === "query" && query >= 0 && match.index > query && (fragment < 0 || match.index < fragment)) ? "urlencoded" : "raw";
+      parts.push({ name: secretEnv(match[1]), context }); last = pattern.lastIndex; scan = last;
+    }
+    if (last < text.length || !parts.length) parts.push(text.slice(last));
+    return parts;
+  }
+  function secretExpression(text, encoding, language) {
+    return secretParts(text, encoding).map(part => {
+      if (typeof part === "string") return JSON.stringify(part);
+      const value = language === "python" ? `os.environ[${JSON.stringify(part.name)}]` : `segredo(${JSON.stringify(part.name)})`;
+      if (part.context === "json-string") return language === "python" ? `json.dumps(${value}, ensure_ascii=False)[1:-1]` : `JSON.stringify(${value}).slice(1, -1)`;
+      if (part.context === "json-literal") return language === "python" ? `json.dumps(${value}, ensure_ascii=False)` : `JSON.stringify(${value})`;
+      if (part.context === "urlencoded") return language === "python" ? `quote(${value}, safe="-_.!~*'()")` : `encodeURIComponent(${value})`;
+      return value;
+    }).join(" + ");
+  }
+  function curlImported(a, vars) {
+    const L = Lines(false), name = fileName(a, vars), helpers = [], helperNames = new Map();
+    const cleanVars = Object.fromEntries(Object.entries(vars || {}).filter(([key]) => !key.startsWith("secret.")));
+    const shell = (text, encoding) => secretParts(text, encoding).map(part => {
+      if (typeof part === "string") return shq(part);
+      if (part.context === "raw") return `"$${part.name}"`;
+      const key = `${part.name}:${part.context}`;
+      let helper = helperNames.get(key);
+      if (!helper) {
+        helper = `SAGA_SECRET_${helpers.length + 1}`; helperNames.set(key, helper);
+        const expression = part.context === "urlencoded" ? "encodeURIComponent(valor)" : part.context === "json-string" ? "JSON.stringify(valor).slice(1,-1)" : "JSON.stringify(valor)";
+        const script = `const valor=process.env[${JSON.stringify(part.name)}];if(valor==null)throw new Error(${JSON.stringify("Defina " + part.name)});process.stdout.write(${expression});`;
+        helpers.push(`${helper}=$(node -e ${shq(script)})`);
+      }
+      return `"$${helper}"`;
+    }).join("");
+    const prepare = original => {
+      const r = render(original, { ...cleanVars, "file.name": name });
+      r._urlShell = shell(r.url, r.urlEncoding);
+      r._headerShell = Object.fromEntries(Object.entries(r.headers || {}).map(([key, value]) => [key, shell(`${key}: ${value}`, "raw")]));
+      if (r.body != null) {
+        if (typeof r.body === "object") r.body = JSON.stringify(r.body, null, 2);
+        r._bodyShell = shell(r.body, r.bodyEncoding);
+        r._stdinBody = true; // stdin preserva UTF-8 também com curl.exe no Windows
+      }
+      return r;
+    };
+    const req = prepare(a.request), check = a.polling ? prepare(render(a.polling.check, { ...cleanVars, id: "$ID" })) : null;
+    if (helpers.length) { L.add("# Bash + Node.js: segredos são escapados sem alterar o JSON ou a query."); helpers.forEach(line => L.add(line)); L.blank(); }
+    const command = (r, extra = "") => (r._stdinBody ? `printf '%s' ${r._bodyShell} | \\\n` : "") + curlCmd(r, a.tokenVar, extra, name);
+    if (a.mode === "polling") {
+      L.add("# 1. inicia", "start").add(command(req), "start");
+      L.add(`# guarde ${a.polling.id} da resposta em ID`).blank();
+      L.add("# 2. consulta o andamento", "poll").add(command(check), "poll");
+    } else L.add(command(req, a.mode === "stream" ? "N" : "") + (a.audio ? ` \\\n  --output ${shq(a.audio)}` : ""), "start");
+    return L.out();
+  }
   function curl(a, vars) {
+    if (a.request.bodyEncoding || a.request.urlEncoding) return curlImported(a, vars);
     const L = Lines(false);
     const name = fileName(a, vars);
     const sec = Object.fromEntries(secretsIn(a.request).map((k) => ["secret." + k, MARK(k)]));
@@ -242,14 +341,14 @@
 
   function pyCall(name, r, extra, ind) {
     ind = ind || "";
-    const args = [`${dq(r.url)}`];
+    const args = [r._urlExpr || dq(r.url)];
     if (r.auth || Object.keys(r.headers || {}).length) args.push("headers=HEADERS");
     if (r.form) {
       const files = Object.entries(r.form).filter(([, v]) => v === "@file"), data = Object.entries(r.form).filter(([, v]) => v !== "@file");
       if (files.length) args.push(`files={${files.map(([k]) => `${JSON.stringify(k)}: open(${dq(r._fileName || "arquivo")}, "rb")`).join(", ")}}`);
       if (data.length) args.push(`data={${data.map(([k, v]) => `${JSON.stringify(k)}: ${JSON.stringify(String(v))}`).join(", ")}}`);
     } else if (isJsonBody(r.body)) args.push(`json=${pyLiteral(r.body, ind + "    ")}`);
-    else if (r.body != null) args.push(`data=${JSON.stringify(String(r.body))}`);
+    else if (r.body != null) args.push(`data=${r.bodyEncoding ? `(${r._bodyExpr || JSON.stringify(String(r.body))}).encode("utf-8")` : r._bodyExpr || JSON.stringify(String(r.body))}`);
     args.push(...(extra || []));
     return `${name} = requests.${r.method.toLowerCase()}(\n` + args.map((x) => `${ind}    ${x},`).join("\n") + `\n${ind})`;
   }
@@ -260,7 +359,7 @@
     Object.assign(h, r.headers || {});
     if (!Object.keys(h).length) return;
     const val = (v) => { const m = String(v).match(/^\{\{\s*secret\.([\w-]+)\s*\}\}$/); return m ? `os.environ[${JSON.stringify(String(m[1]).toUpperCase().replace(/[^A-Z0-9_]/g, "_"))}]` : JSON.stringify(String(v)); };
-    const body = Object.entries(h).map(([k, v]) => `    ${JSON.stringify(k)}: ${v === "__TOKEN__" ? 'f"Bearer {TOKEN}"' : val(v)},`).join("\n");
+    const body = Object.entries(h).map(([k, v]) => `    ${JSON.stringify(k)}: ${v === "__TOKEN__" ? 'f"Bearer {TOKEN}"' : r.urlEncoding || r.bodyEncoding ? secretExpression(v, "raw", "python") : val(v)},`).join("\n");
     L.add(`HEADERS = {\n${body}\n}`, null, "cabeçalhos enviados em toda chamada");
   }
 
@@ -271,6 +370,12 @@
     const toPy = (v) => (v === "{{file.base64}}" ? { __py: "CONTEUDO" } : typeof v === "string" && /^\{\{\s*secret\.([\w-]+)\s*\}\}$/.test(v) ? { __py: `os.environ[${JSON.stringify(secretEnv(v.match(/secret\.([\w-]+)/)[1]))}]` } : Array.isArray(v) ? v.map(toPy) : v && typeof v === "object" ? Object.fromEntries(Object.entries(v).map(([k, x]) => [k, toPy(x)])) : v);
     const req = { ...render({ ...a.request, body: toPy(a.request.body) }, { ...vars, "file.name": name }), _fileName: name };
     const imports = ["import os"];
+    if (req.urlEncoding || req.bodyEncoding) {
+      req._urlExpr = secretExpression(req.url, req.urlEncoding, "python");
+      if (typeof req.body === "string") req._bodyExpr = secretExpression(req.body, req.bodyEncoding, "python");
+      if (req.bodyEncoding === "json") imports.push("import json");
+      if (req.urlEncoding || req.bodyEncoding === "urlencoded") imports.push("from urllib.parse import quote");
+    }
     if (b64) imports.push("import base64");
     if (a.mode === "polling") imports.push("import time");
     if (a.mode === "stream") imports.push("import json");
@@ -368,9 +473,9 @@
       opts.push(`body: JSON.stringify(${jsLiteral(r.body, "  ")})`);
     } else {
       if (hasHeaders) opts.push("headers: HEADERS");
-      if (r.body != null) opts.push(`body: ${JSON.stringify(String(r.body))}`);
+      if (r.body != null) opts.push(`body: ${r._bodyExpr || JSON.stringify(String(r.body))}`);
     }
-    const target = url || dq(r.url);
+    const target = url || r._urlExpr || dq(r.url);
     L.add(opts.length ? `const ${name} = await fetch(${target}, {\n${opts.map((o) => "  " + o + ",").join("\n")}\n});` : `const ${name} = await fetch(${target});`, tag, why);
     L.add(`if (!${name}.ok) throw new Error(\`HTTP \${${name}.status}: \${await ${name}.text()}\`);`, tag, "para aqui se deu erro (4xx/5xx)");
   }
@@ -380,15 +485,21 @@
     const b64 = usesB64(a);
     const toJs = (v) => (v === "{{file.base64}}" ? { __js: "CONTEUDO" } : jsSecret(v) || (Array.isArray(v) ? v.map(toJs) : v && typeof v === "object" ? Object.fromEntries(Object.entries(v).map(([k, x]) => [k, toJs(x)])) : v));
     const req = { ...render({ ...a.request, body: toJs(a.request.body) }, { ...vars, "file.name": name }), _fileName: name };
+    const imported = !!(req.urlEncoding || req.bodyEncoding);
+    if (imported) {
+      req._urlExpr = secretExpression(req.url, req.urlEncoding, "javascript");
+      if (typeof req.body === "string") req._bodyExpr = secretExpression(req.body, req.bodyEncoding, "javascript");
+    }
     const fsUse = [b64 || req.form ? "readFile" : "", a.audio ? "writeFile" : ""].filter(Boolean);
     L.add("// Node.js 18+ · salve como exemplo.mjs e rode: node exemplo.mjs");
     if (fsUse.length) L.add(`import { ${fsUse.join(", ")} } from "node:fs/promises";`);
     L.blank();
+    if (imported && secretsIn(a.request).length) L.add('const segredo = (nome) => { const valor = process.env[nome]; if (valor == null) throw new Error(`Defina ${nome}`); return valor; };').blank();
     const auth = req.auth || !!(a.polling && a.polling.check.auth);
     if (auth) L.add(`const TOKEN = process.env.${a.tokenVar};`, null, "o token de acesso vem de uma variável de ambiente, nunca escrito no código").blank();
     const h = [];
     if (auth) h.push("  Authorization: `Bearer ${TOKEN}`,");
-    for (const [k, v] of Object.entries(req.headers || {})) h.push(`  ${JSON.stringify(k)}: ${jsSecret(v) ? jsSecret(v).__js : JSON.stringify(String(v))},`);
+    for (const [k, v] of Object.entries(req.headers || {})) h.push(`  ${JSON.stringify(k)}: ${imported ? secretExpression(v, "raw", "javascript") : jsSecret(v) ? jsSecret(v).__js : JSON.stringify(String(v))},`);
     if (h.length) L.add(`const HEADERS = {\n${h.join("\n")}\n};`, null, "cabeçalhos enviados em toda chamada").blank();
     if (b64) L.add(`const CONTEUDO = (await readFile(${dq(name)})).toString("base64");`, "start", "o arquivo, em base64, vai dentro do JSON").blank();
     const out = (expr, why) => {
@@ -525,6 +636,6 @@
 
   // o slide mexe com arquivo? (upload @file ou {{file.…}})
   const usesFile = (s) => { const a = s && s._normalized ? s : normalize(s); return !!a.file || a.mic || !!(a.request.form && Object.values(a.request.form).includes("@file")) || /\{\{\s*file\./.test(JSON.stringify(a.request)); };
-  const api = { isType, cosine, usesFile, parsePath, get, set, render, missing, envKind, mask, normalize, key, code, pyLiteral, pyPath, LANGS };
+  const api = { isType, cosine, usesFile, parsePath, get, set, render, renderBody, renderURL, missing, envKind, mask, normalize, key, code, pyLiteral, pyPath, LANGS };
   g.SagadeckApiCore = api;
 })(typeof window !== "undefined" ? window : globalThis);

package/src/runtime/api-ui.js

@@ -61,7 +61,8 @@
     const bodyTxt = bodyEl ? bodyEl.value : "";
     let body;
     if (bodyTxt.trim() !== "" && !cfg.request.form) { // upload: a aba Corpo só mostra os campos do formulário
-      try { body = JSON.parse(bodyTxt); }
+      if (cfg.request.bodyEncoding && typeof cfg.request.body === "string") body = bodyTxt;
+      else try { body = JSON.parse(bodyTxt); }
       catch (e) {
         if (typeof cfg.request.body === "string") body = bodyTxt;
         else throw new Error("O corpo não é um JSON válido: " + e.message);

package/src/runtime/base.css

@@ -1303,6 +1303,9 @@ html[data-motion="subtle"] .lesson-panel.active{animation:lesson-soft .6s cubic-
 .sol-label{font-size:20px;color:var(--em);letter-spacing:.08em;white-space:nowrap}
 .sol-givens{display:flex;flex-direction:column;gap:10px}
 .sol-given{display:flex;align-items:baseline;gap:16px;font-size:28px}.sol-given .sol-tex{min-width:7em}.sol-given>span{font-size:22px;color:var(--muted)}
+.sol-given.live{flex-wrap:wrap;row-gap:4px}.sol-slider{flex:1 0 100%;height:30px;accent-color:var(--hi);cursor:pointer}
+.sol-reset{font:inherit;font-size:16px;letter-spacing:normal;color:var(--fg);background:transparent;border:1px solid var(--line);border-radius:8px;padding:4px 12px;margin-left:16px;cursor:pointer}.sol-reset:hover{border-color:var(--fg)}
+.sol-error{font-size:20px;margin-top:4px;padding:8px 14px;border-radius:12px}
 .sol-find{display:flex;align-items:baseline;gap:16px;font-size:30px;padding-top:14px;border-top:1px dashed var(--line)}
 .sol-steps{flex:1;display:flex;flex-direction:column;justify-content:flex-end;gap:10px;min-height:0;overflow:hidden;-webkit-mask:linear-gradient(to bottom,transparent 0,#000 60px);mask:linear-gradient(to bottom,transparent 0,#000 60px)}.sol-steps.sol-fit{-webkit-mask:none;mask:none}
 /* passos anteriores em tamanho menor só quando não cabem todos no normal (com 3 passos curtos, ficavam miúdos à toa) */

package/src/runtime/skins/aurora-dev.css

@@ -0,0 +1,39 @@
+/* Aurora Dev: luzes nos cantos, linha orbital e painéis de leitura opacos. A rede ambiente do runtime respeita
+   movimento reduzido, motion: none, troca de slide e exportação sem depender de animação CSS contínua. */
+.th-aurora-dev .orn i:nth-child(1){display:block;right:-220px;top:-300px;width:920px;height:820px;border-radius:50%;background:radial-gradient(ellipse,color-mix(in srgb,var(--hi) 18%,transparent),transparent 66%)}
+.th-aurora-dev .orn i:nth-child(2){display:block;left:-240px;bottom:-340px;width:860px;height:740px;border-radius:50%;background:radial-gradient(ellipse,color-mix(in srgb,var(--em) 12%,transparent),transparent 66%)}
+.th-aurora-dev .ambient{opacity:.4!important;mask-image:linear-gradient(90deg,transparent 15%,#000)}
+.th-aurora-dev .kicker{align-self:flex-start;color:var(--em);border-top:3px double var(--em);padding:14px 0 0;font-size:20px;letter-spacing:.16em}
+.th-aurora-dev .L-cover:not(:has(.cv-fig)) .cv-main,.th-aurora-dev .L-end:not(:has(.en-fig)) .en-main{max-width:1390px;margin:0 auto;width:100%;gap:34px}
+.th-aurora-dev :is(.L-cover,.L-end) .ttl{padding-bottom:32px;background:linear-gradient(90deg,var(--hi),var(--em),transparent) no-repeat left bottom/460px 3px}
+.th-aurora-dev .L-cover .sub{max-width:1200px}
+.th-aurora-dev .L-section{flex-direction:column;justify-content:center;align-items:flex-start;gap:28px}
+.th-aurora-dev .L-section .sc-num{font-family:'IBM Plex Mono',monospace;font-size:72px;line-height:1.2;padding:12px 30px;background:var(--surface);border:1px solid var(--hi);border-radius:100px;color:var(--hi)}
+.th-aurora-dev .L-section .sc-text{flex:none;width:100%;gap:24px}
+.th-aurora-dev .L-section:has(.sc-fig){display:grid;grid-template-columns:1fr 500px;align-content:center;column-gap:50px}
+.th-aurora-dev .L-section .sc-fig{grid-column:2;grid-row:1/span 2;width:500px;height:580px}
+.th-aurora-dev .L-section .sc-num{justify-self:start}
+.th-aurora-dev .hd{padding-bottom:22px;border-bottom:2px solid color-mix(in srgb,var(--hi) 40%,var(--line));gap:18px}
+.th-aurora-dev :is(.card:not(.card-hi),.stat-card,.step-card){background:var(--surface);border:1px solid var(--line);border-radius:24px;box-shadow:inset 0 2px 0 color-mix(in srgb,var(--hi) 22%,transparent),0 16px 45px #0002}
+.th-aurora-dev .cd-ico{border-radius:16px;background:color-mix(in srgb,var(--hi) 13%,var(--surface));color:var(--em)}
+.th-aurora-dev .li-n{color:var(--em);border-bottom:2px solid var(--hi);padding-bottom:8px;font-family:'IBM Plex Mono',monospace}
+.th-aurora-dev .li-b{width:14px;height:14px;background:var(--hi);border:0;border-radius:50%;box-shadow:0 0 0 6px color-mix(in srgb,var(--hi) 15%,transparent)}
+.th-aurora-dev .L-quote{padding:36px 50px;border:1px solid var(--line);background:var(--surface);border-radius:24px}
+.th-aurora-dev .q-mark{color:var(--em)}
+.th-aurora-dev .st-body{padding-left:32px;border-left:3px solid var(--em)}
+.th-aurora-dev .nb-val,.th-aurora-dev .st-val{color:var(--hi);font-family:'Space Grotesk',sans-serif}
+/* É a superfície que separa a sintaxe das luzes; não use transparência no código. */
+.th-aurora-dev :is(.code,.codewalk-editor,.api-req,.api-res){background:#131A30;color:#F1F2FF;border:1px solid #475071;border-radius:20px;box-shadow:0 24px 70px #080B2080}
+.th-aurora-dev .codewalk-bar{background:#202A47;color:#F1F2FF;border-bottom-color:#475071}
+.th-aurora-dev .codewalk-editor .code{color:#F1F2FF;border:0;box-shadow:none}
+.th-aurora-dev :is(.codewalk-language,.codewalk-footer,.cn,.tok-comment,.api-code .cl.cm .cc){color:#B5BBD9}
+.th-aurora-dev .codewalk-footer{border-top-color:#475071}
+.th-aurora-dev .code .cl.hl,.th-aurora-dev .api-code .cl.run{background:#C4ADFF1A;box-shadow:inset 4px 0 #C4ADFF;color:#FFF}
+.th-aurora-dev .tok-keyword,.th-aurora-dev .tok-type{color:#C4ADFF}.th-aurora-dev .tok-string,.th-aurora-dev .tok-operator{color:#83E7EF}.th-aurora-dev .tok-number{color:#FFDCA2}.th-aurora-dev .tok-function{color:#A9C8FF}.th-aurora-dev .tok-constant{color:#FFADCA}.th-aurora-dev .tok-punctuation{color:#D9DCF0}
+.th-aurora-dev :is(.api-run,.lesson-controls button,.nav-back){border-radius:14px;font-family:'Space Grotesk',sans-serif}
+.th-aurora-dev :is(.api-run,.lesson-controls button,.api-tabs button,.nav-back):focus-visible{outline:4px solid var(--em);outline-offset:5px}
+.th-aurora-dev .api-tabs button{color:#B5BBD9}.th-aurora-dev .api-tabs button[aria-selected=true]{color:#F1F2FF}
+.th-aurora-dev :is(.api-hint,.api-meta,.api-auth span,.api-tl-i){color:#B5BBD9}
+.th-aurora-dev .lesson-output{border-top:3px solid var(--hi);border-radius:16px}
+html[data-motion="none"] .th-aurora-dev .ambient,.export .th-aurora-dev .ambient{animation:none}
+@media(prefers-reduced-motion:reduce){.th-aurora-dev .ambient{animation:none}}

package/src/runtime/skins/terminal-pro.css

@@ -0,0 +1,33 @@
+/* Terminal Pro: cabeçalho compacto, moldura de IDE, menta e azul nas partes do código; animação ambiente
+   pela rede do runtime, que só anda no slide atual e fica parada na exportação e com movimento reduzido. */
+.th-terminal-pro .orn i:nth-child(1){display:block;inset:0;background:linear-gradient(90deg,color-mix(in srgb,var(--hi) 6%,transparent) 1px,transparent 1px),linear-gradient(color-mix(in srgb,var(--hi) 6%,transparent) 1px,transparent 1px);background-size:64px 64px;mask-image:linear-gradient(90deg,transparent 38%,#000)}
+.th-terminal-pro .orn i:nth-child(2){display:block;right:48px;top:48px;bottom:48px;width:2px;background:linear-gradient(transparent,var(--hi) 35%,var(--em) 65%,transparent);opacity:.35}
+.th-terminal-pro .orn i:nth-child(3){display:block;right:44px;top:52px;width:10px;height:10px;border:2px solid var(--hi);background:var(--bg)}
+.th-terminal-pro .ambient{opacity:.35!important}
+.th-terminal-pro .kicker{align-self:flex-start;padding:12px 18px;background:var(--surface);color:var(--hi);border:1px solid var(--line);border-radius:7px;font-size:20px;letter-spacing:.1em}
+.th-terminal-pro .L-cover .cv-main,.th-terminal-pro .L-end .en-main{border-left:5px solid var(--hi);padding-left:42px;gap:32px}
+.th-terminal-pro .L-cover .ttl{max-width:1330px}
+.th-terminal-pro .L-cover .sub{max-width:1220px}
+.th-terminal-pro .L-section{gap:48px}
+.th-terminal-pro .sc-num{font-family:'IBM Plex Mono',monospace;font-size:156px;line-height:1.2;padding:20px 26px;border:1px solid var(--hi);border-radius:12px;color:var(--hi);background:var(--surface)}
+.th-terminal-pro .hd{padding:0 0 22px 22px;border-left:4px solid var(--hi);border-bottom:1px solid var(--line);gap:16px}
+.th-terminal-pro :is(.card:not(.card-hi),.stat-card,.step-card){border:1px solid var(--line);border-top:4px solid var(--hi);background:var(--surface);border-radius:12px;box-shadow:0 12px 36px #0002}
+.th-terminal-pro .li-n{font-family:'IBM Plex Mono',monospace;background:var(--surface);padding:8px 12px;border:1px solid var(--line);border-radius:8px;color:var(--hi)}
+.th-terminal-pro .li-b{border:0;border-radius:3px;background:var(--hi);width:14px;height:14px}
+.th-terminal-pro .q-text,.th-terminal-pro .st-body{border-left:4px solid var(--hi);padding-left:32px}
+.th-terminal-pro .nb-val,.th-terminal-pro .st-val{font-family:'IBM Plex Mono',monospace;color:var(--hi)}
+/* Código sempre numa superfície escura estável, inclusive com uma paleta clara aplicada por cima. */
+.th-terminal-pro :is(.code,.codewalk-editor,.api-req,.api-res){background:#0D1720;color:#EAF5F1;border:1px solid #344B58;border-radius:12px;box-shadow:0 22px 60px #0003}
+.th-terminal-pro .codewalk-bar{background:#172530;border-bottom-color:#344B58;color:#EAF5F1}
+.th-terminal-pro .codewalk-editor .code{color:#EAF5F1;border:0;box-shadow:none}
+.th-terminal-pro :is(.codewalk-language,.codewalk-footer,.cn,.tok-comment,.api-code .cl.cm .cc){color:#A4B8B4}
+.th-terminal-pro .codewalk-footer{border-top-color:#344B58}
+.th-terminal-pro .code .cl.hl,.th-terminal-pro .api-code .cl.run{background:#74E8B41A;box-shadow:inset 4px 0 #74E8B4;color:#F4FFF9}
+.th-terminal-pro .tok-keyword,.th-terminal-pro .tok-constant{color:#CEB4FF}.th-terminal-pro .tok-string{color:#74E8B4}.th-terminal-pro .tok-number,.th-terminal-pro .tok-type{color:#FFCB8A}.th-terminal-pro .tok-function{color:#83CCF8}.th-terminal-pro .tok-operator,.th-terminal-pro .tok-punctuation{color:#C1D6E2}
+.th-terminal-pro :is(.api-run,.lesson-controls button,.nav-back){border-radius:8px;font-family:'Space Grotesk',sans-serif}
+.th-terminal-pro :is(.api-run,.lesson-controls button,.api-tabs button,.nav-back):focus-visible{outline:4px solid var(--em);outline-offset:5px}
+.th-terminal-pro .api-tabs button{color:#A4B8B4}.th-terminal-pro .api-tabs button[aria-selected=true]{color:#EAF5F1}
+.th-terminal-pro :is(.api-hint,.api-meta,.api-auth span,.api-tl-i){color:#A4B8B4}
+.th-terminal-pro .lesson-output{border-left:4px solid var(--hi);border-radius:8px}
+html[data-motion="none"] .th-terminal-pro .ambient,.export .th-terminal-pro .ambient{animation:none}
+@media(prefers-reduced-motion:reduce){.th-terminal-pro .ambient{animation:none}}