datalog-theme 0.6.1 → 0.7.0

data/assets/js/dist/meta.json

@@ -0,0 +1,371 @@
+{
+  "inputs": {
+    "assets/js/core/dark-mode.js": {
+      "bytes": 2409,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/core/github-cards.js": {
+      "bytes": 3406,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/core/language-filter.js": {
+      "bytes": 2032,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/core/navigation.js": {
+      "bytes": 4747,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/core/scroll-progress.js": {
+      "bytes": 1511,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/core/search-hotkeys.js": {
+      "bytes": 1635,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/core/skip-links.js": {
+      "bytes": 1479,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/main.js": {
+      "bytes": 746,
+      "imports": [
+        {
+          "path": "assets/js/core/dark-mode.js",
+          "kind": "import-statement",
+          "original": "./core/dark-mode.js"
+        },
+        {
+          "path": "assets/js/core/github-cards.js",
+          "kind": "import-statement",
+          "original": "./core/github-cards.js"
+        },
+        {
+          "path": "assets/js/core/language-filter.js",
+          "kind": "import-statement",
+          "original": "./core/language-filter.js"
+        },
+        {
+          "path": "assets/js/core/navigation.js",
+          "kind": "import-statement",
+          "original": "./core/navigation.js"
+        },
+        {
+          "path": "assets/js/core/scroll-progress.js",
+          "kind": "import-statement",
+          "original": "./core/scroll-progress.js"
+        },
+        {
+          "path": "assets/js/core/search-hotkeys.js",
+          "kind": "import-statement",
+          "original": "./core/search-hotkeys.js"
+        },
+        {
+          "path": "assets/js/core/skip-links.js",
+          "kind": "import-statement",
+          "original": "./core/skip-links.js"
+        }
+      ],
+      "format": "esm"
+    },
+    "assets/js/loader.js": {
+      "bytes": 4692,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/search/analytics.js": {
+      "bytes": 2547,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/search/utils.js": {
+      "bytes": 2472,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/search/autocomplete.js": {
+      "bytes": 3165,
+      "imports": [
+        {
+          "path": "assets/js/search/utils.js",
+          "kind": "import-statement",
+          "original": "./utils.js"
+        }
+      ],
+      "format": "esm"
+    },
+    "assets/js/search/engine.js": {
+      "bytes": 7122,
+      "imports": [
+        {
+          "path": "assets/js/search/utils.js",
+          "kind": "import-statement",
+          "original": "./utils.js"
+        }
+      ],
+      "format": "esm"
+    },
+    "assets/js/search/filters.js": {
+      "bytes": 1269,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/search/render.js": {
+      "bytes": 7012,
+      "imports": [
+        {
+          "path": "assets/js/search/utils.js",
+          "kind": "import-statement",
+          "original": "./utils.js"
+        }
+      ],
+      "format": "esm"
+    },
+    "assets/js/search/app.js": {
+      "bytes": 7902,
+      "imports": [
+        {
+          "path": "assets/js/search/analytics.js",
+          "kind": "import-statement",
+          "original": "./analytics.js"
+        },
+        {
+          "path": "assets/js/search/autocomplete.js",
+          "kind": "import-statement",
+          "original": "./autocomplete.js"
+        },
+        {
+          "path": "assets/js/search/engine.js",
+          "kind": "import-statement",
+          "original": "./engine.js"
+        },
+        {
+          "path": "assets/js/search/filters.js",
+          "kind": "import-statement",
+          "original": "./filters.js"
+        },
+        {
+          "path": "assets/js/search/render.js",
+          "kind": "import-statement",
+          "original": "./render.js"
+        }
+      ],
+      "format": "esm"
+    },
+    "assets/js/search.js": {
+      "bytes": 10020,
+      "imports": [
+        {
+          "path": "assets/js/search/app.js",
+          "kind": "import-statement",
+          "original": "./search/app.js"
+        }
+      ],
+      "format": "esm"
+    },
+    "assets/js/math.js": {
+      "bytes": 26480,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/visualizations.js": {
+      "bytes": 26322,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/notebook.js": {
+      "bytes": 5227,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/academic.js": {
+      "bytes": 8556,
+      "imports": [],
+      "format": "esm"
+    },
+    "assets/js/analytics-dashboard.js": {
+      "bytes": 12160,
+      "imports": [],
+      "format": "esm"
+    }
+  },
+  "outputs": {
+    "assets/js/dist/core.js": {
+      "imports": [],
+      "exports": [
+        "initializeCore"
+      ],
+      "entryPoint": "assets/js/main.js",
+      "inputs": {
+        "assets/js/core/dark-mode.js": {
+          "bytesInOutput": 750
+        },
+        "assets/js/core/github-cards.js": {
+          "bytesInOutput": 1333
+        },
+        "assets/js/core/language-filter.js": {
+          "bytesInOutput": 470
+        },
+        "assets/js/core/navigation.js": {
+          "bytesInOutput": 1851
+        },
+        "assets/js/core/scroll-progress.js": {
+          "bytesInOutput": 542
+        },
+        "assets/js/core/search-hotkeys.js": {
+          "bytesInOutput": 563
+        },
+        "assets/js/core/skip-links.js": {
+          "bytesInOutput": 537
+        },
+        "assets/js/main.js": {
+          "bytesInOutput": 125
+        }
+      },
+      "bytes": 6200
+    },
+    "assets/js/dist/loader.js": {
+      "imports": [],
+      "exports": [
+        "bootstrapFeatures"
+      ],
+      "entryPoint": "assets/js/loader.js",
+      "inputs": {
+        "assets/js/loader.js": {
+          "bytesInOutput": 1534
+        }
+      },
+      "bytes": 1566
+    },
+    "assets/js/dist/search.js": {
+      "imports": [],
+      "exports": [
+        "debounce",
+        "setupSearchEnhancements",
+        "updateLiveRegion"
+      ],
+      "entryPoint": "assets/js/search.js",
+      "inputs": {
+        "assets/js/search/analytics.js": {
+          "bytesInOutput": 1057
+        },
+        "assets/js/search/utils.js": {
+          "bytesInOutput": 1374
+        },
+        "assets/js/search/autocomplete.js": {
+          "bytesInOutput": 1566
+        },
+        "assets/js/search/engine.js": {
+          "bytesInOutput": 2886
+        },
+        "assets/js/search/filters.js": {
+          "bytesInOutput": 631
+        },
+        "assets/js/search/render.js": {
+          "bytesInOutput": 3641
+        },
+        "assets/js/search/app.js": {
+          "bytesInOutput": 3441
+        },
+        "assets/js/search.js": {
+          "bytesInOutput": 4357
+        }
+      },
+      "bytes": 19029
+    },
+    "assets/js/dist/math.js": {
+      "imports": [],
+      "exports": [],
+      "entryPoint": "assets/js/math.js",
+      "inputs": {
+        "assets/js/math.js": {
+          "bytesInOutput": 14151
+        }
+      },
+      "bytes": 14152
+    },
+    "assets/js/dist/visualizations.js": {
+      "imports": [],
+      "exports": [],
+      "entryPoint": "assets/js/visualizations.js",
+      "inputs": {
+        "assets/js/visualizations.js": {
+          "bytesInOutput": 12621
+        }
+      },
+      "bytes": 12622
+    },
+    "assets/js/dist/notebook.js": {
+      "imports": [],
+      "exports": [
+        "annotateCells",
+        "handleScrollSpy",
+        "initNotebookFeatures",
+        "initPlotly",
+        "initVega",
+        "loadScript"
+      ],
+      "entryPoint": "assets/js/notebook.js",
+      "inputs": {
+        "assets/js/notebook.js": {
+          "bytesInOutput": 2548
+        }
+      },
+      "bytes": 2669
+    },
+    "assets/js/dist/academic.js": {
+      "imports": [],
+      "exports": [
+        "attachCopyHandler",
+        "initAcademicFeatures",
+        "initCalendarFilter",
+        "initCopyHandlers",
+        "initOpenScienceBadges",
+        "initSubmissionFilter",
+        "populateCitationMetrics",
+        "populateCitationTimeline",
+        "populatePublicationCitations"
+      ],
+      "entryPoint": "assets/js/academic.js",
+      "inputs": {
+        "assets/js/academic.js": {
+          "bytesInOutput": 3573
+        }
+      },
+      "bytes": 3823
+    },
+    "assets/js/dist/analytics-dashboard.js": {
+      "imports": [],
+      "exports": [
+        "ensurePlaceholder",
+        "formatDateLabel",
+        "formatNumber",
+        "onReady",
+        "parseRows",
+        "render",
+        "renderEngagementChart",
+        "renderKeyEvents",
+        "renderMonthlyReports",
+        "renderScholar",
+        "renderSearchTerms",
+        "renderTopPosts",
+        "renderVisitorChart"
+      ],
+      "entryPoint": "assets/js/analytics-dashboard.js",
+      "inputs": {
+        "assets/js/analytics-dashboard.js": {
+          "bytesInOutput": 6918
+        }
+      },
+      "bytes": 7189
+    }
+  }
+}

data/assets/js/dist/notebook.js

@@ -0,0 +1 @@
+var c=t=>new Promise((r,o)=>{if(document.querySelector(`script[src="${t}"]`)){r();return}let e=document.createElement("script");e.src=t,e.async=!0,e.onload=()=>r(),e.onerror=n=>o(n),document.head.appendChild(e)}),i=()=>{let t=document.querySelectorAll(".notebook-output-plotly");return t.length?(typeof window.Plotly!="undefined"?Promise.resolve(window.Plotly):c("https://cdn.plot.ly/plotly-2.27.0.min.js").then(()=>window.Plotly)).then(o=>{t.forEach(e=>{try{let n=JSON.parse(e.dataset.plotly||"{}"),l=n.layout||{},a=Array.isArray(n.data)?n.data:Array.isArray(n)?n:[];o.newPlot(e,a,l,{responsive:!0})}catch(n){e.replaceChildren(),e.insertAdjacentHTML("afterbegin",'<p class="notebook-output__warning">Plotly figure could not be rendered. Open in Binder or Colab to interact.</p>')}})}):Promise.resolve()},d=()=>{let t=document.querySelectorAll(".notebook-output-vega");return t.length?c("https://cdn.jsdelivr.net/npm/vega@5").then(()=>c("https://cdn.jsdelivr.net/npm/vega-lite@5")).then(()=>c("https://cdn.jsdelivr.net/npm/vega-embed@6")).then(()=>{t.forEach(o=>{try{let e=JSON.parse(o.dataset.vega||"{}");window.vegaEmbed(o,e,{actions:!1})}catch(e){o.replaceChildren(),o.insertAdjacentHTML("afterbegin",'<p class="notebook-output__warning">Vega specification could not be parsed. Open in Binder for the interactive version.</p>')}})}):Promise.resolve()},p=()=>{document.querySelectorAll(".notebook-segment").forEach((r,o)=>{let e=r.id||`cell-${o+1}`;r.id=e,r.setAttribute("data-cell-anchor",e)})},u=()=>{let t={root:null,rootMargin:"0px 0px -65%",threshold:0},r=document.querySelectorAll(".notebook-segment"),o=document.querySelectorAll("[data-cell-anchor-link]");if(!r.length||!o.length)return;let e=new IntersectionObserver(n=>{n.forEach(l=>{l.isIntersecting&&o.forEach(a=>{a.classList.toggle("is-active",a.hash===`#${l.target.id}`)})})},t);r.forEach(n=>e.observe(n))},s=()=>{p(),i().catch(()=>{document.querySelectorAll(".notebook-output-plotly").forEach(t=>{t.replaceChildren(),t.insertAdjacentHTML("afterbegin",'<p class="notebook-output__warning">Plotly assets failed to load. Launch Binder/Colab to view the interactive chart.</p>')})}),d().catch(()=>{document.querySelectorAll(".notebook-output-vega").forEach(t=>{t.replaceChildren(),t.insertAdjacentHTML("afterbegin",'<p class="notebook-output__warning">Vega assets failed to load. Launch Binder/Colab to view the interactive chart.</p>')})}),u()};typeof window!="undefined"&&document.readyState==="loading"?document.addEventListener("DOMContentLoaded",s):typeof window!="undefined"&&s();export{p as annotateCells,u as handleScrollSpy,s as initNotebookFeatures,i as initPlotly,d as initVega,c as loadScript};

data/assets/js/dist/search.js

@@ -0,0 +1 @@
+var j="datalog-search-analytics";function K({panel:e,list:n,empty:t,onSelect:o}){if(!e||!n||!t)return{record(){},render(){}};let r=g(),f="";function g(){let v=Object.create(null);try{let s=window.localStorage.getItem(j);if(s){let i=JSON.parse(s);i&&typeof i=="object"&&Object.entries(i).forEach(([d,u])=>{typeof u=="number"&&Number.isFinite(u)&&(v[d]=u)})}}catch(s){}return v}function w(){try{window.localStorage.setItem(j,JSON.stringify(r))}catch(v){}}function c(v){let s=(v||"").trim();!s||s===f||(f=s,r[s]=(r[s]||0)+1,w(),h())}function h(){let v=Object.entries(r).filter(([i])=>i&&i.trim().length>1).sort((i,d)=>d[1]-i[1]).slice(0,5);if(n.replaceChildren(),v.length===0){t.hidden=!1;return}t.hidden=!0;let s=document.createDocumentFragment();v.forEach(([i,d])=>{let u=document.createElement("li"),p=document.createElement("button");p.type="button",p.className="search-analytics__query",p.textContent=`${i} (${d})`,p.addEventListener("click",()=>{typeof o=="function"&&o(i)}),u.appendChild(p),s.appendChild(u)}),n.appendChild(s)}return{record:c,render:h}}function z(e=""){let n=e==null?"":String(e);try{return n.toLowerCase().normalize("NFKD").replace(new RegExp("\\p{Diacritic}","gu"),"")}catch(t){return n.toLowerCase()}}function F(e=""){return z(e).replace(/\s+/g,"")}function P(e=""){return z(e).split(/[^a-z0-9\\._]+/).filter(Boolean)}function H(e=""){return/\\|\^|_|\{|\}|\$/.test(e)}function B(e=""){return/`|::|->|=>|\(|\)|\{|\}|\[|\]|=|\bdef\b|\bfunction\b|\bclass\b/.test(e)}function X(e,n){if(!e||!n)return!1;let t=0;for(let o=0;o<e.length&&t<n.length;o+=1)e[o]===n[t]&&(t+=1);return t===n.length}function oe(e){if(!e)return"";let n=document.createElement("div");return n.innerHTML=e,n.textContent||n.innerText||""}function O(e,n,t){if(!e)return"";let o=oe(e),r=Math.max(0,n-80),f=Math.min(o.length,n+t+80);return`${o.slice(r,f)}${f<o.length?"\u2026":""}`}function se(e){return e.replace(/[.*+?^${}()|[\]\\]/g,"\\$&")}function _(e,n){if(!e||!n)return e;let t=Array.from(new Set(P(n))).sort((r,f)=>f.length-r.length),o=e;return t.forEach(r=>{if(!r)return;let f=new RegExp(`(${se(r)})`,"gi");o=o.replace(f,"<mark>$1</mark>")}),o}function M(e){return(e||"").toString().split(/[-_\s]+/).map(n=>n.charAt(0).toUpperCase()+n.slice(1)).join(" ")}function J(e){switch(e){case"post":return"Tutorial & Blog";case"project":return"Project";case"research":return"Research";case"dataset":return"Dataset";default:return M(e||"Page")}}function Y({panel:e,limit:n=8,onSelect:t}){if(!e)return{setSuggestions(){},update(){},close(){},handleNavigation(){}};let o=[],r=-1;function f(s){o=Array.isArray(s)?[...s]:[]}function g(s){r=-1;let i=(s||"").trim().toLowerCase();if(!i){h();return}let d=o.filter(p=>p&&p.toLowerCase().includes(i)).slice(0,n);if(d.length===0){h();return}let u=document.createDocumentFragment();d.forEach((p,E)=>{let y=document.createElement("button");y.type="button",y.className="search-autocomplete__option",y.setAttribute("role","option"),y.dataset.autocompleteOption="",y.dataset.value=p,y.setAttribute("aria-selected",E===r?"true":"false"),y.replaceChildren(),y.insertAdjacentHTML("beforeend",_(p,i)),u.appendChild(y)}),e.replaceChildren(),e.appendChild(u),e.hidden=!1}function w(s,i){if(e.hidden)return;let d=Array.from(e.querySelectorAll("[data-autocomplete-option]"));if(d.length!==0){if(s.key==="ArrowDown")s.preventDefault(),r=(r+1)%d.length,c(d);else if(s.key==="ArrowUp")s.preventDefault(),r=(r-1+d.length)%d.length,c(d);else if(s.key==="Enter"&&r>=0){s.preventDefault();let u=d[r],p=u?u.dataset.value:"";p&&i&&(i.value=p),typeof t=="function"&&t(p),v()}}}function c(s){s.forEach((i,d)=>{let u=d===r;i.setAttribute("aria-selected",u?"true":"false"),i.classList.toggle("is-active",u)})}function h(){e.replaceChildren(),e.hidden=!0,r=-1}function v(){h()}return e.addEventListener("click",s=>{let i=s.target.closest("[data-autocomplete-option]");if(!i)return;let d=i.dataset.value||"";d&&typeof t=="function"&&t(d),v()}),{setSuggestions:f,update:g,close:v,handleNavigation:w}}function V(e=[]){let n=Array.isArray(e)?[...e]:[];function t(g){n=Array.isArray(g)?[...g]:[]}function o(g,w={}){let c=(g||"").trim();if(!c)return[];let h=z(c),v=P(c),s=H(c),i=B(c),{type:d="",language:u="",difficulty:p="",tags:E=new Set}=w;return n.map(y=>le(y,{rawQuery:c,normalizedQuery:h,queryTokens:v,mathQuery:s,codeQuery:i,typeFilter:d,languageFilter:u,difficultyFilter:p,selectedTags:E})).filter(y=>y&&y.score>0).sort((y,C)=>C.score-y.score||y.title.localeCompare(C.title))}function r(g=150){return ce(n,g)}function f(){return[...n]}return{setDocuments:t,search:o,suggestions:r,getDocuments:f}}function ce(e=[],n=150){let t=new Set;return e.forEach(o=>{o.title&&t.add(o.title),Array.isArray(o.languages)&&o.languages.forEach(r=>t.add(r)),Array.isArray(o.tags)&&o.tags.forEach(r=>t.add(`#${r}`)),Array.isArray(o.math)&&o.math.slice(0,3).forEach(r=>t.add(r))}),Array.from(t).slice(0,n)}function le(e,n){let{rawQuery:t,normalizedQuery:o,queryTokens:r,mathQuery:f,codeQuery:g,typeFilter:w,languageFilter:c,difficultyFilter:h,selectedTags:v}=n;if(w&&e.type!==w)return null;let s=Array.isArray(e.languages)?e.languages:[];if(c&&!s.includes(c))return null;if(h){let a=String(e.difficulty||"").toLowerCase();if(!a||a!==h)return null}if(v&&v.size>0){let a=ue(e,"tags");for(let S of v)if(!a.has(S))return null}if(!t)return null;let i=e.normalized||{},d=i.content||z(e.content||""),u=i.summary||z(e.summary||""),p=i.title||z(e.title||""),E=G(i.tags,e.tags),y=G(i.languages,e.languages),C=i.difficulty||z(e.difficulty||""),T=Array.isArray(e.code)?e.code:[],k=Array.isArray(e.math)?e.math:[],m=0,q="",x=null,L=null;if(p.includes(o)&&(m+=40),r.forEach(a=>{a&&(p.includes(a)&&(m+=12),u.includes(a)&&(m+=8),d.includes(a)&&(m+=6),E.forEach(S=>{S.includes(a)&&(m+=4)}),y.forEach(S=>{S.includes(a)&&(m+=4)}),C.includes(a)&&(m+=2))}),T.length>0){let a=F(t);for(let S of T){let b=String(S.language||"").toLowerCase(),I=S.code||"",N=F(I);if(N.includes(a)){m+=30,x={language:b,code:I};break}if(g&&X(N,a)){m+=18,x={language:b,code:I};break}}!x&&T[0]&&(x={language:String(T[0].language||"").toLowerCase(),code:T[0].code||""})}if(k.length>0){let a=o.replace(/\\/g,"");for(let S of k)if(z(String(S)).includes(a)){m+=26,L=S;break}f&&!L&&k[0]&&(L=k[0],m+=10)}if(d.includes(o)){let a=d.indexOf(o);q=O(e.content||"",a,t.length),m+=10}else if(u.includes(o)){let a=u.indexOf(o);q=O(e.summary||"",a,t.length),m+=6}return m===0?null:{id:`${e.url}`,title:e.title,url:e.url,summary:e.summary,snippet:q,codeSnippet:x,mathSnippet:L,tags:e.tags||[],languages:e.languages||[],difficulty:e.difficulty||"",type:e.type||"page",date:e.date,readingTime:e.reading_time,score:m}}function G(e,n){return Array.isArray(e)&&e.length>0?e:Array.isArray(n)?n.map(t=>z(t)):[]}function ue(e,n){let o=(e.normalized||{})[n];if(Array.isArray(o)&&o.length>0)return new Set(o);let r=Array.isArray(e[n])?e[n]:[];return new Set(r.map(f=>z(f)))}function W(e,n,t){if(!e)return;let o=new Set;n.forEach(g=>{(g.tags||g.topics||[]).forEach(c=>{if(!c)return;let h=String(c).trim().toLowerCase();h&&o.add(h)})});let r=Array.from(o).sort();if(r.length===0){let g=document.createElement("p");g.className="search-filter__empty",g.textContent="No tags available yet.",e.replaceChildren(g);return}let f=document.createDocumentFragment();r.forEach(g=>{let w=document.createElement("button");w.type="button",w.className="search-filter__tag",w.textContent=g,w.dataset.filterTag=g,w.setAttribute("aria-pressed",t.has(g)?"true":"false"),f.appendChild(w)}),e.replaceChildren(),e.appendChild(f)}function Z(e,n,t){let{resultsList:o,resultsMeta:r,emptyState:f,template:g}=t;if(!o||!r||!f||!g)return;if(o.replaceChildren(),!n){r.textContent="Enter a query to begin.",f.hidden=!0;return}if(e.length===0){r.textContent=`No matches for \u201C${n}\u201D.`,f.hidden=!1;return}f.hidden=!0,r.textContent=`${e.length} result${e.length===1?"":"s"} for \u201C${n}\u201D.`;let w=document.createDocumentFragment();e.forEach(c=>{let h=g.content.cloneNode(!0),v=h.querySelector("[data-result-type]"),s=h.querySelector("[data-result-difficulty]"),i=h.querySelector("[data-result-languages]"),d=h.querySelector("[data-result-link]"),u=h.querySelector("[data-result-summary]"),p=h.querySelector("[data-result-code]"),E=p?p.querySelector("code"):null,y=h.querySelector("[data-result-math]"),C=h.querySelector("[data-result-math-preview]"),T=h.querySelector("[data-result-math-code]"),k=h.querySelector("[data-result-math-copy]"),m=h.querySelector("[data-result-excerpt]"),q=h.querySelector("[data-result-tags]"),x=h.querySelector("[data-result-date]");if(v&&(v.textContent=J(c.type)),s&&(c.difficulty?(s.textContent=`Difficulty: ${M(c.difficulty)}`,s.hidden=!1):s.hidden=!0),i&&(c.languages&&c.languages.length>0?(i.textContent=`Languages: ${c.languages.map(L=>M(L)).join(", ")}`,i.hidden=!1):i.hidden=!0),d&&(d.textContent=c.title||c.url,d.setAttribute("href",c.url)),u&&(u.replaceChildren(),u.insertAdjacentHTML("beforeend",_(c.summary||"",n))),y&&T&&(c.mathSnippet?(y.hidden=!1,T.textContent=c.mathSnippet,C&&(window.DatalogMath&&typeof window.DatalogMath.renderLatex=="function"?window.DatalogMath.renderLatex(C,c.mathSnippet,{display:!1,enhance:!1}):window.MathJax&&typeof window.MathJax.typesetPromise=="function"?(C.innerHTML=`\\(${c.mathSnippet}\\)`,window.MathJax.typesetPromise([C]).catch(()=>{C.textContent=c.mathSnippet})):C.textContent=c.mathSnippet),k&&k.addEventListener("click",()=>de(c.mathSnippet,y))):y.hidden=!0),m&&(c.snippet?(m.replaceChildren(),m.insertAdjacentHTML("beforeend",_(c.snippet,n)),m.hidden=!1):m.hidden=!0),p&&E)if(c.codeSnippet&&c.codeSnippet.code){let L=c.codeSnippet.language||"text";p.classList.remove("language-none"),p.classList.add(`language-${L}`),E.className=`language-${L}`;let a=c.codeSnippet.code;if(window.Prism&&window.Prism.languages){let S=window.Prism.languages[L]||window.Prism.languages.markup;E.innerHTML=window.Prism.highlight(a,S,L)}else E.textContent=a;p.hidden=!1}else p.hidden=!0;if(q&&(q.replaceChildren(),(c.tags||[]).forEach(L=>{let a=document.createElement("li");a.textContent=`#${L}`,q.appendChild(a)})),x)if(c.date){let L=new Date(c.date);Number.isNaN(L.getTime())?x.hidden=!0:(x.textContent=L.toLocaleDateString(void 0,{year:"numeric",month:"short",day:"numeric"}),x.hidden=!1)}else x.hidden=!0;w.appendChild(h)}),o.appendChild(w)}function de(e,n){if(!e)return;let t=()=>{if(!n)return;let r=n.querySelector("[data-result-math-copy]"),f=r?r.querySelector(".visually-hidden"):null;if(r&&f){let g=r.getAttribute("data-sr-original")||f.textContent;r.getAttribute("data-sr-original")||r.setAttribute("data-sr-original",g||"Copy LaTeX"),f.textContent="Copied LaTeX",r.classList.add("is-copied"),window.setTimeout(()=>{f.textContent=r.getAttribute("data-sr-original")||"Copy LaTeX",r.classList.remove("is-copied")},2e3)}},o=()=>{let r=document.createElement("textarea");r.value=e,r.setAttribute("aria-hidden","true"),r.style.position="fixed",r.style.opacity="0",document.body.appendChild(r),r.select();try{document.execCommand("copy"),t()}catch(f){}document.body.removeChild(r)};navigator.clipboard&&navigator.clipboard.writeText?navigator.clipboard.writeText(e).then(()=>t()).catch(()=>o()):o()}var fe=8;function ee(){let e=document.querySelector("[data-search-app]");if(!e)return;let n=e.querySelector("[data-search-form]"),t=e.querySelector("[data-search-input]"),o=e.querySelector("[data-search-results]"),r=e.querySelector("[data-search-meta]"),f=e.querySelector("[data-search-empty]"),g=e.querySelector("[data-search-autocomplete]"),w=e.querySelector("[data-search-analytics]"),c=w?w.querySelector(".search-app__analytics-list"):null,h=w?w.querySelector(".search-app__analytics-empty"):null,v=document.getElementById("search-result-template"),s=e.querySelector("[data-filter-type]"),i=e.querySelector("[data-filter-language]"),d=e.querySelector("[data-filter-difficulty]"),u=e.querySelector("[data-filter-tags]"),p=e.getAttribute("data-search-index")||"/search.json",E=new Set,y=V(),C=K({panel:w,list:c,empty:h,onSelect:a=>{t&&(t.value=a,x())}}),T=Y({panel:g,limit:fe,onSelect:a=>{a&&t&&(t.value=a,t.focus(),x())}}),k=!1,m=new URLSearchParams(window.location.search);t&&m.has("q")&&(t.value=m.get("q")||""),s&&m.has("type")&&(s.value=m.get("type")),i&&m.has("language")&&(i.value=m.get("language")),d&&m.has("difficulty")&&(d.value=m.get("difficulty")),m.has("tags")&&m.get("tags").split(",").map(a=>a.trim().toLowerCase()).filter(Boolean).forEach(a=>E.add(a)),he(t,()=>{T.close(),x()}),ge(p).then(a=>{let S=a.documents||[];y.setDocuments(S),T.setSuggestions(y.suggestions()),W(u,S,E),k=!0,q()}).catch(a=>{r&&(r.textContent="Unable to load the search index. Please try again later.")}),n&&n.addEventListener("submit",a=>{a.preventDefault(),x()}),t&&(t.addEventListener("input",()=>{T.update(t.value)}),t.addEventListener("keydown",a=>{T.handleNavigation(a,t)}),t.addEventListener("focus",()=>{T.update(t.value)})),s&&s.addEventListener("change",x),i&&i.addEventListener("change",x),d&&d.addEventListener("change",x),e.addEventListener("click",a=>{let S=a.target;if(S.matches("[data-filter-tag]")){let b=S.getAttribute("data-filter-tag");b&&(E.has(b)?(E.delete(b),S.setAttribute("aria-pressed","false")):(E.add(b),S.setAttribute("aria-pressed","true")),x())}}),document.addEventListener("click",a=>{!g||g.hidden||e.contains(a.target)||T.close()}),document.addEventListener("keydown",a=>{let S=document.activeElement?document.activeElement.tagName:"";["INPUT","TEXTAREA"].includes(S)||(a.key==="/"&&!a.ctrlKey&&!a.metaKey&&!a.altKey||(a.key==="k"||a.key==="K")&&(a.ctrlKey||a.metaKey))&&(a.preventDefault(),t&&(t.focus(),t.select()))}),C.render();function q(){t&&t.value.trim()?x():L()}function x(){if(!t)return;if(!k){r&&(r.textContent="Loading technical index\u2026");return}let a=t.value.trim(),S={type:s?s.value:"",language:i?i.value:"",difficulty:d?d.value:"",tags:E},b=y.search(a,S);Z(b,a,{resultsList:o,resultsMeta:r,emptyState:f,template:v}),L(a),C.record(a)}function L(a){let S=new URL(window.location.href),b=S.searchParams;a?b.set("q",a):b.delete("q"),s&&s.value?b.set("type",s.value):b.delete("type"),i&&i.value?b.set("language",i.value):b.delete("language"),d&&d.value?b.set("difficulty",d.value):b.delete("difficulty"),E.size>0?b.set("tags",Array.from(E).join(",")):b.delete("tags");let I=b.toString(),N=I?`${S.pathname}?${I}`:S.pathname;window.history.replaceState({},"",N)}}function ge(e){return fetch(e,{credentials:"same-origin"}).then(n=>{if(!n.ok)throw new Error(`HTTP ${n.status}`);return n.json()})}function he(e,n){e&&e.addEventListener("keydown",t=>{t.key==="Escape"&&(e.value="",typeof n=="function"&&n())})}var pe=300,me="search-result-",U=500;function ye(e,n=pe){let t,o=(...r)=>{t&&window.clearTimeout(t),t=window.setTimeout(()=>{t=void 0,e.apply(null,r)},n)};return o.cancel=()=>{t&&(window.clearTimeout(t),t=void 0)},o}function $(e,n){if(!e)return;let t=String(n||"");e.textContent===t?e.textContent=`${t}\xA0`:e.textContent=t,t.trim()?e.removeAttribute("hidden"):e.setAttribute("hidden","")}function Se(){let e=document.querySelector("[data-search-app]");if(!e)return;let n=e.querySelector("[data-search-form]"),t=e.querySelector("[data-search-input]"),o=e.querySelector("[data-search-results]"),r=e.querySelector("[data-search-empty]"),f=e.querySelector("[data-search-loading]"),g=e.querySelector("[data-search-region]"),w=e.querySelector('[data-search-live="count"]'),c=e.querySelector('[data-search-live="selection"]'),h=e.querySelector('[data-search-live="status"]'),v=e.querySelector("[data-search-filters]"),s=e.querySelector("[data-filter-tags]");if(!t||!o)return;let i=-1,d=0,u=[],p=!1,E=[],y=0,C=null,T=ye(()=>{n&&(p=!0,Q(),$(h,"Loading results\u2026"),n.dispatchEvent(new Event("submit",{cancelable:!0})))});new MutationObserver(()=>{I()}).observe(o,{childList:!0}),I(),q(),s&&new MutationObserver(()=>{q()}).observe(s,{childList:!0}),t.addEventListener("input",()=>{S(!1),T()}),t.addEventListener("keydown",l=>{if(!x(l)&&l.key==="Tab"&&E.length>0){l.preventDefault();let A=l.shiftKey?E.length-1:0;E[A].focus()}});function m(l){if(l.key!=="Tab"||E.length===0)return;l.preventDefault();let A=E.indexOf(l.currentTarget);if(A===-1)return;let D=l.shiftKey?-1:1,R=(A+D+E.length)%E.length;E[R].focus()}function q(){if(!v)return;let l=Array.from(v.querySelectorAll("select")),A=s?Array.from(s.querySelectorAll("[data-filter-tag]")):[];E=[...l,...A],E.forEach(D=>{D.removeEventListener("keydown",m),D.addEventListener("keydown",m)})}function x(l){if(!u.length&&["ArrowDown","ArrowUp","Enter"].includes(l.key))return!1;switch(l.key){case"ArrowDown":return l.preventDefault(),L(1),!0;case"ArrowUp":return l.preventDefault(),L(-1),!0;case"Enter":return i>=0?(l.preventDefault(),re(),!0):!1;case"Escape":return l.preventDefault(),ae(),!0;default:return!1}}function L(l){if(!u.length)return;let A=i===-1?l>0?0:u.length-1:(i+l+u.length)%u.length;a(A)}function a(l){if(!(l<-1||l>=u.length)&&i!==l)if(i>=0&&u[i]&&u[i].classList.remove("is-active"),i=l,i>=0){let A=u[i];if(!A)return;A.classList.add("is-active");let D=b(A);t.setAttribute("aria-activedescendant",D);let R=ie(A);$(c,`Result ${i+1} of ${u.length}: ${R}`),A.scrollIntoView({block:"nearest"})}else t.removeAttribute("aria-activedescendant"),$(c,"Search results selection cleared.")}function S(l=!0){i>=0&&u[i]&&u[i].classList.remove("is-active"),i=-1,t.removeAttribute("aria-activedescendant"),l&&$(c,"Search results selection cleared.")}function b(l){if(l.id)return l.id;d+=1;let A=`${me}${d}`;return l.id=A,A}function I(){u=Array.from(o.querySelectorAll(".search-result")),u.forEach(l=>{b(l),l.setAttribute("role","option"),l.setAttribute("tabindex","-1")}),i>=u.length&&S(!1),p&&(p=!1,$(h,"Results updated.")),ne(),N()}function N(){if(!w)return;let l=t.value.trim();if(!l){$(w,"Enter a query to begin.");return}if(r&&!r.hidden&&u.length===0){$(w,`No results found for \u201C${l}\u201D.`);return}$(w,`${u.length} result${u.length===1?"":"s"} found for \u201C${l}\u201D.`)}function Q(){g&&g.setAttribute("aria-busy","true"),f&&(C&&(window.clearTimeout(C),C=null),y=Date.now(),f.hidden=!1,f.removeAttribute("hidden"))}function ne(){if(g&&g.setAttribute("aria-busy","false"),f){let l=()=>{f.hidden=!0,f.setAttribute("hidden",""),C=null,y=0},A=y?Date.now()-y:U;if(A<U){let D=U-A;C&&window.clearTimeout(C),C=window.setTimeout(l,D)}else l()}}function re(){let l=i>=0?u[i]:null;if(!l)return;let A=l.querySelector("[data-result-link]");A&&A.href&&window.location.assign(A.href)}function ae(){T.cancel(),t.value="",S(),$(h,"Search cleared."),n&&(p=!0,Q(),n.dispatchEvent(new Event("submit",{cancelable:!0})))}function ie(l){let A=l.querySelector("[data-result-link]");if(A&&A.textContent)return A.textContent.trim();let D=l.querySelector(".search-result__title");return D&&D.textContent?D.textContent.trim():"Result"}}var we=typeof process!="undefined"&&process.env&&process.env.VITEST==="true";function te(){ee(),Se()}we||(document.readyState==="loading"?document.addEventListener("DOMContentLoaded",te):te());export{ye as debounce,Se as setupSearchEnhancements,$ as updateLiveRegion};

data/assets/js/dist/visualizations.js

@@ -0,0 +1,2 @@
+(function(){let Y=typeof process!="undefined"&&process.env&&process.env.VITEST==="true",T="[data-viz-type]",O='script[type="application/json"]',F='script[type="application/vnd.jupyter.widget-state+json"]',H='script[type="application/vnd.jupyter.widget-view+json"]',C=new Map,_=new Set,k="viz-table-fallback-template",v=(t,r={})=>{if(!t)return Promise.reject(new Error("Missing script source"));if(C.has(t))return C.get(t);let e=new Promise((n,s)=>{let o=document.createElement("script");o.src=t,o.async=r.async!==!1,r.integrity&&(o.integrity=r.integrity,o.crossOrigin=r.crossOrigin||"anonymous"),o.onload=()=>n(o),o.onerror=a=>s(a),document.head.appendChild(o)});return C.set(t,e),e},I=t=>!t||_.has(t)?Promise.resolve():new Promise((r,e)=>{let n=document.createElement("link");n.rel="stylesheet",n.href=t,n.onload=()=>{_.add(t),r(n)},n.onerror=s=>e(s),document.head.appendChild(n)}),g=t=>Object.prototype.toString.call(t)==="[object Object]",f=t=>t===null||typeof t=="undefined"?"":t instanceof Date?t.toISOString():Array.isArray(t)?t.map(r=>f(r)).join(", "):g(t)?Object.entries(t).map(([r,e])=>`${r}: ${f(e)}`).join("; "):typeof t=="boolean"?t?"Yes":"No":typeof t=="number"?Number.isFinite(t)?`${t}`:"":String(t),j=(t,r=[])=>g(t)?Object.entries(t).reduce((e,[n,s])=>{let o=r.concat([n]);return g(s)?Object.assign(e,j(s,o)):Array.isArray(s)?e[o.join(" \u203A ")]=s.map(a=>f(a)).join(", "):e[o.join(" \u203A ")]=s,e},{}):{[r.join(" \u203A ")||"Value"]:t},m=t=>{if(!t)return[];if(Array.isArray(t)){if(!t.length)return[];if(t.every(r=>g(r)))return t.map(r=>j(r));if(Array.isArray(t[0])){let r=t[0],e=r.every(o=>typeof o=="string"||typeof o=="number"),n=r.map((o,a)=>e?f(o):`Column ${a+1}`),s=e?1:0;return t.slice(s).map((o,a)=>{let i={};return Array.isArray(o)?(n.forEach((c,l)=>{i[c]=o[l]}),n.length||o.forEach((c,l)=>{i[`Column ${l+1}`]=c})):i[`Row ${a+1}`]=o,i})}return t.map((r,e)=>({Index:e+1,Value:r}))}return g(t)?Array.isArray(t.data)?m(t.data):Array.isArray(t.values)?m(t.values):Array.isArray(t.rows)?m(t.rows):[j(t)]:[{Value:t}]},X=t=>{let r=["Series","Trace","Group","Category","Index","X","Y","Z","Value","Text"],e=[];return r.forEach(n=>{t.includes(n)&&e.push(n)}),t.filter(n=>!r.includes(n)).sort().forEach(n=>e.push(n)),e},Z=t=>{let r=t.getAttribute("data-viz-title");if(r)return r;let e=t.querySelector(".viz-title");return e&&e.textContent?e.textContent.trim():t.getAttribute("data-viz-slug")||"Visualization data"},U=()=>{let t=document.getElementById(k);if(t)return t;t=document.createElement("template"),t.id=k;let r=document.createElement("div");return r.insertAdjacentHTML("afterbegin",'<div class="viz-table-container" data-viz-table-container><button type="button" class="viz-table-toggle" data-viz-table-toggle aria-expanded="false">Show data table</button><div class="viz-table-wrapper" data-viz-table-wrapper hidden><table class="viz-table" data-viz-table><caption data-viz-table-caption></caption><thead data-viz-table-head></thead><tbody data-viz-table-body></tbody></table></div></div>'),t.content.appendChild(r.firstElementChild),document.body.appendChild(t),t},E=(t,r={})=>{let{caption:e,rows:n}=r,s=m(n);if(!s.length)return;let o=Array.from(s.reduce((p,y)=>(Object.keys(y).forEach(P=>p.add(P)),p),new Set));if(!o.length)return;let a=X(o),c=U().content.firstElementChild.cloneNode(!0),l=c.querySelector("[data-viz-table-toggle]"),u=c.querySelector("[data-viz-table-wrapper]"),w=c.querySelector("[data-viz-table]"),S=c.querySelector("[data-viz-table-caption]"),h=c.querySelector("[data-viz-table-head]"),A=c.querySelector("[data-viz-table-body]"),z=`${t.getAttribute("data-viz-slug")||t.id||"viz"}-table`;w.id=z,l.setAttribute("aria-controls",z),S.textContent=e||Z(t);let x=document.createElement("tr");a.forEach(p=>{let y=document.createElement("th");y.scope="col",y.textContent=p,x.appendChild(y)}),h.appendChild(x),s.forEach(p=>{let y=document.createElement("tr");a.forEach((P,lt)=>{let J=f(p[P]);if(lt===0){let b=document.createElement("th");b.scope="row",b.textContent=J,y.appendChild(b)}else{let b=document.createElement("td");b.textContent=J,y.appendChild(b)}}),A.appendChild(y)}),l.addEventListener("click",()=>{let p=l.getAttribute("aria-expanded")==="true";l.setAttribute("aria-expanded",String(!p)),l.textContent=p?"Show data table":"Hide data table",p?u.setAttribute("hidden",""):u.removeAttribute("hidden")});let G=t.querySelector("[data-viz-table-container]");G&&G.remove(),t.appendChild(c),(t.querySelector("[data-viz-canvas]")||t).setAttribute("aria-describedby",z)},N=(t=[])=>{let r=[];return t.forEach((e,n)=>{let s=e.name||`Series ${n+1}`,o=Array.isArray(e.x)?e.x:[],a=Array.isArray(e.y)?e.y:[],i=Array.isArray(e.text)?e.text:[],c=e.z;if(Array.isArray(c)&&c.length&&Array.isArray(c[0])){let u=o.length?o:c[0].map((S,h)=>h+1);(a.length?a:c.map((S,h)=>h+1)).forEach((S,h)=>{let A=c[h]||[];u.forEach((z,x)=>{r.push({Series:s,Y:S,X:z,Value:Array.isArray(A)?A[x]:A,Text:i[h]?f(i[h]):""})})});return}let l=Math.max(o.length,a.length,i.length);for(let u=0;u<l;u+=1)r.push({Series:s,X:o[u],Y:a[u],Text:i[u]})}),r.length?r:null},L=t=>t?Array.isArray(t)?t:g(t)&&Array.isArray(t.data)?t.data:t:null,V=t=>{let r=t.querySelector("script[data-observable-data]");if(!r)return null;try{return JSON.parse(r.textContent||"null")}catch(e){return null}},D=()=>(typeof window.Plotly!="undefined"?Promise.resolve():v("https://cdn.plot.ly/plotly-2.27.0.min.js")).then(()=>window.Plotly),K=()=>typeof window.d3!="undefined"?Promise.resolve(window.d3):v("https://cdn.jsdelivr.net/npm/d3@7/dist/d3.min.js").then(()=>window.d3),Q=()=>Promise.all([v("https://cdn.bokeh.org/bokeh/release/bokeh-3.3.3.min.js"),I("https://cdn.bokeh.org/bokeh/release/bokeh-3.3.3.min.css")]).then(()=>window.Bokeh),tt=()=>typeof window.requirejs!="undefined"?Promise.resolve(window.requirejs):v("https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js",{async:!1}).then(()=>window.requirejs),et=()=>tt().then(t=>{let r=window.__datalogWidgetManagerPromise;if(r)return r;let e=new Promise((n,s)=>{t.config({paths:{"@jupyter-widgets/html-manager":"https://cdn.jsdelivr.net/npm/@jupyter-widgets/html-manager@1.0.8/dist/embed-amd","@jupyter-widgets/base":"https://cdn.jsdelivr.net/npm/@jupyter-widgets/base@6.0.7/dist/index","@jupyter-widgets/controls":"https://cdn.jsdelivr.net/npm/@jupyter-widgets/controls@5.0.7/dist/index","@lumino/coreutils":"https://cdn.jsdelivr.net/npm/@lumino/coreutils@2.1.1/dist/index","@lumino/widgets":"https://cdn.jsdelivr.net/npm/@lumino/widgets@2.3.1/dist/index"}}),t(["@jupyter-widgets/html-manager"],o=>n(o),o=>s(o))});return window.__datalogWidgetManagerPromise=e,e}),rt=(t,r)=>{let e=document.createElement("button");return e.type="button",e.className="viz-toolbar__button",e.textContent=t,e.addEventListener("click",n=>{n.preventDefault(),r(n)}),e},d=(t,r,e="info")=>{let n=t.querySelector("[data-viz-status]");n&&(n.textContent=r,n.dataset.tone=e)},M=t=>{let r=t.getAttribute("data-viz-version"),e=t.getAttribute("data-viz-updated"),n=t.querySelector("[data-viz-meta]");if(!n)return;let s=[];r&&s.push(`v${r}`),e&&s.push(`Updated ${e}`),n.textContent=s.join(" \xB7 ")},nt=t=>{let r=t.querySelector("[data-viz-canvas]")||t,e=t.querySelector(O);if(!e)return d(t,"Missing Plotly specification","error"),Promise.resolve();let n={};try{n=JSON.parse(e.textContent||"{}")}catch(a){return d(t,"Invalid Plotly specification","error"),Promise.resolve()}let s=Array.isArray(n.data)?n.data:[],o=Object.assign({autosize:!0},n.layout||{});return D().then(a=>a.newPlot(r,s,o,{responsive:!0,displaylogo:!1})).then(()=>{d(t,"Interactive");let a=t.querySelector("[data-viz-export]");a&&(a.replaceChildren(),a.appendChild(rt("Download PNG",()=>{D().then(c=>{c.downloadImage(r,{format:"png",filename:t.getAttribute("data-viz-slug")||"visualization"})})})));let i=N(s);i&&E(t,{caption:o&&o.title?f(o.title.text||o.title):void 0,rows:i})}).catch(()=>{d(t,"Plotly failed to load","error")})},ot=t=>{let r=t.querySelector("[data-d3-script]");return r?K().then(e=>{let n=r.textContent||"",s=t.querySelector("[data-viz-canvas]")||t;s.replaceChildren();let o=[],a=i=>{typeof i!="undefined"&&o.push(i)};try{let i=`${n}
+;try { if (typeof data !== 'undefined') captureData(data); } catch (instrumentationError) {}`,l=new Function("d3","element","captureData",i)(e,s,a);typeof l!="undefined"&&a(l);let u=o.length?o[o.length-1]:null,w=L(u);w&&E(t,{rows:w}),d(t,"Interactive")}catch(i){s.replaceChildren(),d(t,"D3 rendering error","error")}}).catch(()=>d(t,"D3 assets failed to load","error")):(d(t,"Missing D3 rendering instructions","error"),Promise.resolve())},st=t=>{let r=t.getAttribute("data-observable-src");if(!r)return d(t,"Missing Observable notebook source","error"),Promise.resolve();let e=document.createElement("iframe");e.src=r,e.loading="lazy",e.title=t.getAttribute("data-viz-title")||"Observable visualization",e.setAttribute("allowfullscreen",""),e.setAttribute("sandbox","allow-scripts allow-same-origin allow-popups allow-forms"),e.className="viz-embed",(t.querySelector("[data-viz-canvas]")||t).replaceChildren(e),d(t,"Embedded");let s=V(t);return s&&E(t,{rows:s}),Promise.resolve()},at=t=>{let r=t.querySelector(O),e=t.querySelector("[data-bokeh-script]"),n=t.querySelector("[data-viz-canvas]")||t;return!r&&!e?(d(t,"Missing Bokeh specification","error"),Promise.resolve()):Q().then(s=>{if(r){let o={};try{o=JSON.parse(r.textContent||"{}")}catch(i){d(t,"Invalid Bokeh specification","error");return}let a=n.id||`bokeh-${Math.random().toString(36).slice(2)}`;n.id=a;try{s.embed.embed_item(o,a),d(t,"Interactive")}catch(i){d(t,"Bokeh rendering error","error")}return}if(e){let o=e.textContent||"";n.replaceChildren();try{new Function("Bokeh","element",o)(s,n),d(t,"Interactive")}catch(a){d(t,"Bokeh rendering error","error")}}}).catch(()=>{d(t,"Bokeh assets failed to load","error")})},it=t=>{let r=t.getAttribute("data-shiny-src");if(!r)return d(t,"Missing Shiny application source","error"),Promise.resolve();let e=document.createElement("iframe");e.src=r,e.loading="lazy",e.title=t.getAttribute("data-viz-title")||"R Shiny application",e.className="viz-embed",e.setAttribute("allow","fullscreen"),e.setAttribute("sandbox","allow-scripts allow-forms allow-same-origin");let n=t.getAttribute("data-shiny-height");return e.style.height=n||"640px",(t.querySelector("[data-viz-canvas]")||t).replaceChildren(e),d(t,"Embedded"),Promise.resolve()},ct=t=>{let r=t.querySelector(F),e=t.querySelector(H);if(!r||!e)return d(t,"Missing widget state payload","error"),Promise.resolve();let n,s;try{n=JSON.parse(r.textContent||"{}"),s=JSON.parse(e.textContent||"{}")}catch(a){return d(t,"Invalid widget payload","error"),Promise.resolve()}let o=t.querySelector("[data-viz-canvas]")||t;return o.replaceChildren(),et().then(a=>{let i=new a.WidgetManager;return i.set_state(n).then(()=>i.get_model(s.model_id)).then(c=>i.create_view(c)).then(c=>i.display_view(void 0,c,{el:o})).then(()=>d(t,"Interactive")).catch(c=>{d(t,"Widget rendering error","error")})}).catch(()=>d(t,"Widget assets failed to load","error"))},q=t=>{let r=t.getAttribute("data-viz-type");switch(M(t),r){case"plotly":return nt(t);case"observable":return st(t);case"d3":return ot(t);case"bokeh":return at(t);case"shiny":return it(t);case"ipywidgets":return ct(t);default:return d(t,"Unsupported visualization type","error"),Promise.resolve()}},B=()=>{if(!("IntersectionObserver"in window)){document.querySelectorAll(T).forEach(r=>{q(r)});return}let t=new IntersectionObserver((r,e)=>{r.filter(n=>n.isIntersecting).forEach(n=>{let s=n.target;e.unobserve(s),q(s)})},{rootMargin:"200px 0px"});document.querySelectorAll(T).forEach(r=>{t.observe(r)})},R=t=>{document.querySelectorAll("[data-viz-card]").forEach(e=>{let n=!t.tech||e.dataset.vizTech===t.tech,s=(e.dataset.vizTags||"").split(",").map(a=>a.trim()).filter(Boolean),o=!t.tag||s.includes(t.tag);e.hidden=!(n&&o)})},$=()=>{let t=document.querySelector("[data-viz-gallery]");if(!t)return;let r=t.querySelector('[data-viz-filter="tech"]'),e=t.querySelector('[data-viz-filter="tag"]'),n=()=>{R({tech:r&&r.value!=="all"?r.value:"",tag:e&&e.value!=="all"?e.value:""})};r&&r.addEventListener("change",n),e&&e.addEventListener("change",n),n()},W=()=>{B(),$()},dt={loadScript:v,loadStyle:I,normalizeRecords:m,stringifyValue:f,buildDataTable:E,annotateVersionMetadata:M,buildPlotlyRecords:N,buildD3Records:L,buildObservableRecords:V,filterGallery:R,renderVisualization:q,initializeVisualizations:B,initializeGallery:$};typeof globalThis!="undefined"&&(globalThis.__DATALOG_VIZ_INTERNALS__=dt),Y||(document.readyState==="loading"?document.addEventListener("DOMContentLoaded",W):W())})();

data/assets/js/search/filters.js

@@ -7,8 +7,15 @@ export function renderTagFilters(container, documents, selectedTags) {
   documents.forEach((item) => {
     const source = item.tags || item.topics || [];
     source.forEach((tag) => {
-      if (tag) {
-        tagSet.add(String(tag).toLowerCase());
+      if (!tag) {
+        return;
+      }
+
+      // Trim as well: a whitespace-only tag is truthy and used to render a
+      // button with no accessible name at all.
+      const normalized = String(tag).trim().toLowerCase();
+      if (normalized) {
+        tagSet.add(normalized);
       }
     });
   });

data/datalog-theme.gemspec

@@ -33,7 +33,7 @@ Gem::Specification.new do |spec|
   # tooling, Dockerfiles, etc.). Theme consumers get layouts/includes/sass/assets/
   # plugins/data/lib/bin and the licensing/changelog metadata.
   spec.files = Dir.chdir(__dir__) do
-    `git ls-files -z`.split("\x0").select do |f|
+    tracked = `git ls-files -z`.split("\x0").select do |f|
       f.match?(%r{\A(?:_layouts|_includes|_sass|_plugins|_data|assets|lib|bin)/}) ||
         %w[
           LICENSE
@@ -43,6 +43,14 @@ Gem::Specification.new do |spec|
           datalog-theme.gemspec
         ].include?(f)
     end
+
+    # The browser bundles are build output, so git does not track them, but
+    # _data/js_manifest.json points every page at them: a gem without them
+    # gives consumers a site whose scripts all 404. Run `npm run build:js`
+    # before packaging; scripts/verify_gem_package.rb checks the result.
+    built = Dir.glob("assets/js/dist/**/*").select { |f| File.file?(f) }
+
+    (tracked + built).uniq.sort
   end
 
   spec.add_runtime_dependency "jekyll", "~> 4.3"
@@ -53,13 +61,13 @@ Gem::Specification.new do |spec|
   spec.add_runtime_dependency "sass-embedded", ">= 1.71"
   spec.add_runtime_dependency "jekyll-paginate", ">= 1.1"
   spec.add_runtime_dependency "jekyll-include-cache", ">= 0.2"
-  spec.add_runtime_dependency "jekyll-jupyter-notebook", "~> 0.0.6"
   spec.add_runtime_dependency "jekyll-archives", ">= 2.2"
   spec.add_runtime_dependency "jekyll-remote-theme", ">= 0.4"
   spec.add_runtime_dependency "jekyll-redirect-from", ">= 0.16"
   spec.add_runtime_dependency "kramdown-parser-gfm", ">= 1.1"
   spec.add_runtime_dependency "webrick", ">= 1.8"
   spec.add_runtime_dependency "fastimage", ">= 2.2"
+  spec.add_runtime_dependency "loofah", ">= 2.19"
   spec.add_runtime_dependency "nokogiri", ">= 1.15"
   spec.add_runtime_dependency "mini_magick", ">= 4.12"
   spec.add_runtime_dependency "logger", ">= 1.6"

data/lib/datalog/cli.rb

@@ -448,8 +448,26 @@ module Datalog
       false
     end
 
+    # Searches PATH directly instead of shelling out: `command -v` is a POSIX
+    # shell builtin with no executable behind it, so on Windows every lookup
+    # failed and `datalog check` reported all dependencies as missing.
     def command_available?(command)
-      system("command", "-v", command, out: File::NULL, err: File::NULL)
+      return true if File.file?(command) && File.executable?(command)
+
+      extensions = if Gem.win_platform?
+                     (ENV["PATHEXT"] || ".COM;.EXE;.BAT;.CMD").split(";")
+                   else
+                     [""]
+                   end
+
+      ENV.fetch("PATH", "").split(File::PATH_SEPARATOR).any? do |directory|
+        next false if directory.empty?
+
+        extensions.any? do |extension|
+          candidate = File.join(directory, "#{command}#{extension}")
+          File.file?(candidate) && File.executable?(candidate)
+        end
+      end
     end
 
     def config_valid?(root)

data/lib/datalog/theme/version.rb

@@ -2,6 +2,6 @@
 
 module Datalog
   module Theme
-    VERSION = "0.6.1" unless const_defined?(:VERSION)
+    VERSION = "0.7.0" unless const_defined?(:VERSION)
   end
 end

data/lib/datalog-theme.rb

@@ -12,6 +12,22 @@ module Datalog
       def assets_path
         File.join(root, "assets")
       end
+
+      def plugins_path
+        File.join(root, "_plugins")
+      end
+
+      # Jekyll loads `_plugins/` for a site but not for a theme gem, so the
+      # tags and filters the layouts rely on ({% t %}, add_sri, tocify and the
+      # rest) have to be required here. Sites opt in by naming the theme in
+      # their `plugins:` list, which is what makes Jekyll require this file.
+      def load_plugins
+        Dir.glob(File.join(plugins_path, "*.rb")).sort.each do |plugin|
+          require plugin
+        end
+      end
     end
   end
 end
+
+Datalog::Theme.load_plugins