texlite 0.10.0 → 0.12.0

package/dist/client/assets/{minimize-2-92UqFWI9.js → minimize-2-CmPZ9Iwp.js}

@@ -1 +1 @@
-import{c as e}from"./index-B6rP7QsM.js";const n=e("Minimize2",[["polyline",{points:"4 14 10 14 10 20",key:"11kfnr"}],["polyline",{points:"20 10 14 10 14 4",key:"rlmsce"}],["line",{x1:"14",x2:"21",y1:"10",y2:"3",key:"o5lafz"}],["line",{x1:"3",x2:"10",y1:"21",y2:"14",key:"1atl0r"}]]);export{n as M};
+import{c as e}from"./index-Dik-2GCl.js";const n=e("Minimize2",[["polyline",{points:"4 14 10 14 10 20",key:"11kfnr"}],["polyline",{points:"20 10 14 10 14 4",key:"rlmsce"}],["line",{x1:"14",x2:"21",y1:"10",y2:"3",key:"o5lafz"}],["line",{x1:"3",x2:"10",y1:"21",y2:"14",key:"1atl0r"}]]);export{n as M};

package/dist/client/assets/{minus-bx4ZLZnb.js → minus-Dzy8rgfA.js}

@@ -1 +1 @@
-import{c as e}from"./index-B6rP7QsM.js";const n=e("Maximize2",[["polyline",{points:"15 3 21 3 21 9",key:"mznyad"}],["polyline",{points:"9 21 3 21 3 15",key:"1avn1i"}],["line",{x1:"21",x2:"14",y1:"3",y2:"10",key:"ota7mn"}],["line",{x1:"3",x2:"10",y1:"21",y2:"14",key:"1atl0r"}]]);const a=e("Minus",[["path",{d:"M5 12h14",key:"1ays0h"}]]);export{a as M,n as a};
+import{c as e}from"./index-Dik-2GCl.js";const n=e("Maximize2",[["polyline",{points:"15 3 21 3 21 9",key:"mznyad"}],["polyline",{points:"9 21 3 21 3 15",key:"1avn1i"}],["line",{x1:"21",x2:"14",y1:"3",y2:"10",key:"ota7mn"}],["line",{x1:"3",x2:"10",y1:"21",y2:"14",key:"1atl0r"}]]);const a=e("Minus",[["path",{d:"M5 12h14",key:"1ays0h"}]]);export{a as M,n as a};

package/dist/client/assets/{plus-DQg_bV50.js → plus-DlX82JCl.js}

@@ -1 +1 @@
-import{c as e}from"./index-B6rP7QsM.js";const a=e("Plus",[["path",{d:"M5 12h14",key:"1ays0h"}],["path",{d:"M12 5v14",key:"s699le"}]]);export{a as P};
+import{c as e}from"./index-Dik-2GCl.js";const a=e("Plus",[["path",{d:"M5 12h14",key:"1ays0h"}],["path",{d:"M12 5v14",key:"s699le"}]]);export{a as P};

package/dist/client/assets/{refresh-cw-BoMEkk5J.js → refresh-cw-BWndInnG.js}

@@ -1 +1 @@
-import{c as e}from"./index-B6rP7QsM.js";const t=e("RefreshCw",[["path",{d:"M3 12a9 9 0 0 1 9-9 9.75 9.75 0 0 1 6.74 2.74L21 8",key:"v9h5vc"}],["path",{d:"M21 3v5h-5",key:"1q7to0"}],["path",{d:"M21 12a9 9 0 0 1-9 9 9.75 9.75 0 0 1-6.74-2.74L3 16",key:"3uifl3"}],["path",{d:"M8 16H3v5",key:"1cv678"}]]);export{t as R};
+import{c as e}from"./index-Dik-2GCl.js";const t=e("RefreshCw",[["path",{d:"M3 12a9 9 0 0 1 9-9 9.75 9.75 0 0 1 6.74 2.74L21 8",key:"v9h5vc"}],["path",{d:"M21 3v5h-5",key:"1q7to0"}],["path",{d:"M21 12a9 9 0 0 1-9 9 9.75 9.75 0 0 1-6.74-2.74L3 16",key:"3uifl3"}],["path",{d:"M8 16H3v5",key:"1cv678"}]]);export{t as R};

package/dist/client/assets/{search-UZspmceH.js → search-DMqOy-Ex.js}

@@ -1 +1 @@
-import{c}from"./index-B6rP7QsM.js";const r=c("Search",[["circle",{cx:"11",cy:"11",r:"8",key:"4ej97u"}],["path",{d:"m21 21-4.3-4.3",key:"1qie3q"}]]);export{r as S};
+import{c}from"./index-Dik-2GCl.js";const r=c("Search",[["circle",{cx:"11",cy:"11",r:"8",key:"4ej97u"}],["path",{d:"m21 21-4.3-4.3",key:"1qie3q"}]]);export{r as S};

package/dist/client/assets/{sigma-C0IvFdKV.js → sigma-B0zOJKVj.js}

@@ -1 +1 @@
-import{c as a}from"./index-B6rP7QsM.js";const e=a("Sigma",[["path",{d:"M18 7V5a1 1 0 0 0-1-1H6.5a.5.5 0 0 0-.4.8l4.5 6a2 2 0 0 1 0 2.4l-4.5 6a.5.5 0 0 0 .4.8H17a1 1 0 0 0 1-1v-2",key:"wuwx1p"}]]);export{e as S};
+import{c as a}from"./index-Dik-2GCl.js";const e=a("Sigma",[["path",{d:"M18 7V5a1 1 0 0 0-1-1H6.5a.5.5 0 0 0-.4.8l4.5 6a2 2 0 0 1 0 2.4l-4.5 6a.5.5 0 0 0 .4.8H17a1 1 0 0 0 1-1v-2",key:"wuwx1p"}]]);export{e as S};

package/dist/client/assets/{spellCheck-DyKIHf5C.js → spellCheck-BjkrQxRU.js}

@@ -1 +1 @@
-import{g as w,A as L}from"./index-B6rP7QsM.js";import{s as y,c as S}from"./ProjectWorkspace-mCYjyc6e.js";import"./react-BVUjbTTn.js";import"./check-Jf8WBxDX.js";import"./x-DlFXD9Vl.js";import"./search-UZspmceH.js";import"./user-plus-Chr9T97G.js";import"./refresh-cw-BoMEkk5J.js";const k=5,f=new Map,C=12,x=S();let E=0;class p extends Error{constructor(){super("A newer writing check replaced this request."),this.name="HarperLintSupersededError"}}function I(e){return e instanceof p}function $(e){const t=[0];let r=0;for(const n of e)r+=n.length,t.push(r);return t}function d(e){return[...new Set(e.map(t=>t.trim()).filter(Boolean))].sort((t,r)=>t.localeCompare(r)).join("\0")}async function v(e,t,r,n){try{return(await w(`/api/projects/${e}/spellcheck`,{method:"POST",body:JSON.stringify({path:t,source:r,clientId:x,sequence:n})})).lints}catch(o){throw o instanceof L&&o.code==="SPELLCHECK_SUPERSEDED"?new p:o}}function A(e,t,r){if(!t.problem)return null;const n={from:t.start,to:t.end},o={from:r[t.start]??-1,to:r[t.end]??-1},i=c=>c.from>=0&&c.to>c.from&&c.to<=e.length,a=c=>i(c)&&e.slice(c.from,c.to)===t.problem;return a(o)?o:a(n)?n:null}function H(e,t,r){const n=A(e,t,r);if(!n)return null;const{from:o,to:i}=n,a=e.slice(o,i);if(!a.trim()||!/[A-Za-z]/.test(a)||t.kind==="Formatting")return null;const c=t.kind==="Spelling"||t.kind==="Typo"?"spelling":"grammar",u=t.suggestions.filter((m,s,l)=>s<k&&l.indexOf(m)===s);return{from:o,to:i,word:a,kind:c,message:t.message,suggestions:u}}function h(e,t){let r=2166136261;for(let n=0;n<t.length;n+=1)r^=t.charCodeAt(n),r=Math.imul(r,16777619);return`${e}\0${t.length}:${r>>>0}`}function g(e,t,r){const n=h(e,t),o=f.get(n);return!o||o.path!==e||o.source!==t||o.dictionary!==r?null:(f.delete(n),f.set(n,o),o.issues)}function R(e,t,r,n){const o=h(e,t);for(f.set(o,{path:e,source:t,dictionary:r,issues:n});f.size>C;){const i=f.keys().next().value;if(i===void 0)break;f.delete(i)}}async function b(e,t,r,n="main.tex"){const o=d(t),i=g(n,e,o);if(i)return i;const a=$(e),c=new Set(t.map(s=>s.trim().toLocaleLowerCase("en-US")).filter(Boolean)),u=new Set,m=r.map(s=>H(e,s,a)).filter(s=>!!s).filter(s=>s.kind!=="spelling"||!c.has(s.word.trim().toLocaleLowerCase("en-US"))).filter(s=>{const l=`${s.from}:${s.to}:${s.kind}`;return u.has(l)?!1:(u.add(l),!0)}).sort((s,l)=>s.from-l.from||s.to-l.to);return R(n,e,o,m),m}async function P(e,t,r,n){const o=d(n),i=g(t,r,o);if(i)return i;const a=await v(e,t,r,++E);return b(r,n,a,t)}function N(e,t,r,n=[]){return y(t)?P(e,t,r,n):Promise.resolve([])}export{p as HarperLintSupersededError,I as isHarperLintSupersededError,N as lintLatex,b as mapLatexLints};
+import{g as w,A as L}from"./index-Dik-2GCl.js";import{s as y,c as S}from"./ProjectWorkspace-D9zmy0KR.js";import"./react-BVUjbTTn.js";import"./check-Hv1kodh8.js";import"./x-BJOMjm8Z.js";import"./search-DMqOy-Ex.js";import"./user-plus-Bcq_EsqH.js";import"./refresh-cw-BWndInnG.js";const k=5,f=new Map,C=12,x=S();let E=0;class p extends Error{constructor(){super("A newer writing check replaced this request."),this.name="HarperLintSupersededError"}}function I(e){return e instanceof p}function $(e){const t=[0];let r=0;for(const n of e)r+=n.length,t.push(r);return t}function d(e){return[...new Set(e.map(t=>t.trim()).filter(Boolean))].sort((t,r)=>t.localeCompare(r)).join("\0")}async function v(e,t,r,n){try{return(await w(`/api/projects/${e}/spellcheck`,{method:"POST",body:JSON.stringify({path:t,source:r,clientId:x,sequence:n})})).lints}catch(o){throw o instanceof L&&o.code==="SPELLCHECK_SUPERSEDED"?new p:o}}function A(e,t,r){if(!t.problem)return null;const n={from:t.start,to:t.end},o={from:r[t.start]??-1,to:r[t.end]??-1},i=c=>c.from>=0&&c.to>c.from&&c.to<=e.length,a=c=>i(c)&&e.slice(c.from,c.to)===t.problem;return a(o)?o:a(n)?n:null}function H(e,t,r){const n=A(e,t,r);if(!n)return null;const{from:o,to:i}=n,a=e.slice(o,i);if(!a.trim()||!/[A-Za-z]/.test(a)||t.kind==="Formatting")return null;const c=t.kind==="Spelling"||t.kind==="Typo"?"spelling":"grammar",u=t.suggestions.filter((m,s,l)=>s<k&&l.indexOf(m)===s);return{from:o,to:i,word:a,kind:c,message:t.message,suggestions:u}}function h(e,t){let r=2166136261;for(let n=0;n<t.length;n+=1)r^=t.charCodeAt(n),r=Math.imul(r,16777619);return`${e}\0${t.length}:${r>>>0}`}function g(e,t,r){const n=h(e,t),o=f.get(n);return!o||o.path!==e||o.source!==t||o.dictionary!==r?null:(f.delete(n),f.set(n,o),o.issues)}function R(e,t,r,n){const o=h(e,t);for(f.set(o,{path:e,source:t,dictionary:r,issues:n});f.size>C;){const i=f.keys().next().value;if(i===void 0)break;f.delete(i)}}async function b(e,t,r,n="main.tex"){const o=d(t),i=g(n,e,o);if(i)return i;const a=$(e),c=new Set(t.map(s=>s.trim().toLocaleLowerCase("en-US")).filter(Boolean)),u=new Set,m=r.map(s=>H(e,s,a)).filter(s=>!!s).filter(s=>s.kind!=="spelling"||!c.has(s.word.trim().toLocaleLowerCase("en-US"))).filter(s=>{const l=`${s.from}:${s.to}:${s.kind}`;return u.has(l)?!1:(u.add(l),!0)}).sort((s,l)=>s.from-l.from||s.to-l.to);return R(n,e,o,m),m}async function P(e,t,r,n){const o=d(n),i=g(t,r,o);if(i)return i;const a=await v(e,t,r,++E);return b(r,n,a,t)}function N(e,t,r,n=[]){return y(t)?P(e,t,r,n):Promise.resolve([])}export{p as HarperLintSupersededError,I as isHarperLintSupersededError,N as lintLatex,b as mapLatexLints};

package/dist/client/assets/{tags-BTUtvaAc.js → tags-XvdXg-yc.js}

@@ -1 +1 @@
-import{c as a}from"./index-B6rP7QsM.js";const e=a("Tags",[["path",{d:"m15 5 6.3 6.3a2.4 2.4 0 0 1 0 3.4L17 19",key:"1cbfv1"}],["path",{d:"M9.586 5.586A2 2 0 0 0 8.172 5H3a1 1 0 0 0-1 1v5.172a2 2 0 0 0 .586 1.414L8.29 18.29a2.426 2.426 0 0 0 3.42 0l3.58-3.58a2.426 2.426 0 0 0 0-3.42z",key:"135mg7"}],["circle",{cx:"6.5",cy:"9.5",r:".5",fill:"currentColor",key:"5pm5xn"}]]);export{e as T};
+import{c as a}from"./index-Dik-2GCl.js";const e=a("Tags",[["path",{d:"m15 5 6.3 6.3a2.4 2.4 0 0 1 0 3.4L17 19",key:"1cbfv1"}],["path",{d:"M9.586 5.586A2 2 0 0 0 8.172 5H3a1 1 0 0 0-1 1v5.172a2 2 0 0 0 .586 1.414L8.29 18.29a2.426 2.426 0 0 0 3.42 0l3.58-3.58a2.426 2.426 0 0 0 0-3.42z",key:"135mg7"}],["circle",{cx:"6.5",cy:"9.5",r:".5",fill:"currentColor",key:"5pm5xn"}]]);export{e as T};

package/dist/client/assets/{type-XvvfEJRs.js → type-DsGlKUKR.js}

@@ -1 +1 @@
-import{c as e}from"./index-B6rP7QsM.js";const n=e("Type",[["polyline",{points:"4 7 4 4 20 4 20 7",key:"1nosan"}],["line",{x1:"9",x2:"15",y1:"20",y2:"20",key:"swin9y"}],["line",{x1:"12",x2:"12",y1:"4",y2:"20",key:"1tx1rr"}]]);export{n as T};
+import{c as e}from"./index-Dik-2GCl.js";const n=e("Type",[["polyline",{points:"4 7 4 4 20 4 20 7",key:"1nosan"}],["line",{x1:"9",x2:"15",y1:"20",y2:"20",key:"swin9y"}],["line",{x1:"12",x2:"12",y1:"4",y2:"20",key:"1tx1rr"}]]);export{n as T};

package/dist/client/assets/{user-plus-Chr9T97G.js → user-plus-Bcq_EsqH.js}

@@ -1 +1 @@
-import{c as e}from"./index-B6rP7QsM.js";const c=e("UserPlus",[["path",{d:"M16 21v-2a4 4 0 0 0-4-4H6a4 4 0 0 0-4 4v2",key:"1yyitq"}],["circle",{cx:"9",cy:"7",r:"4",key:"nufk8"}],["line",{x1:"19",x2:"19",y1:"8",y2:"14",key:"1bvyxn"}],["line",{x1:"22",x2:"16",y1:"11",y2:"11",key:"1shjgl"}]]);export{c as U};
+import{c as e}from"./index-Dik-2GCl.js";const c=e("UserPlus",[["path",{d:"M16 21v-2a4 4 0 0 0-4-4H6a4 4 0 0 0-4 4v2",key:"1yyitq"}],["circle",{cx:"9",cy:"7",r:"4",key:"nufk8"}],["line",{x1:"19",x2:"19",y1:"8",y2:"14",key:"1bvyxn"}],["line",{x1:"22",x2:"16",y1:"11",y2:"11",key:"1shjgl"}]]);export{c as U};

package/dist/client/assets/{x-DlFXD9Vl.js → x-BJOMjm8Z.js}

@@ -1 +1 @@
-import{c as a}from"./index-B6rP7QsM.js";const t=a("ArrowLeft",[["path",{d:"m12 19-7-7 7-7",key:"1l729n"}],["path",{d:"M19 12H5",key:"x3x0zl"}]]);const h=a("AtSign",[["circle",{cx:"12",cy:"12",r:"4",key:"4exip2"}],["path",{d:"M16 8v5a3 3 0 0 0 6 0v-1a10 10 0 1 0-4 8",key:"7n84p3"}]]);const y=a("BookMarked",[["path",{d:"M10 2v8l3-3 3 3V2",key:"sqw3rj"}],["path",{d:"M4 19.5v-15A2.5 2.5 0 0 1 6.5 2H19a1 1 0 0 1 1 1v18a1 1 0 0 1-1 1H6.5a1 1 0 0 1 0-5H20",key:"k3hazp"}]]);const k=a("BookOpen",[["path",{d:"M12 7v14",key:"1akyts"}],["path",{d:"M3 18a1 1 0 0 1-1-1V4a1 1 0 0 1 1-1h5a4 4 0 0 1 4 4 4 4 0 0 1 4-4h5a1 1 0 0 1 1 1v13a1 1 0 0 1-1 1h-6a3 3 0 0 0-3 3 3 3 0 0 0-3-3z",key:"ruj8y"}]]);const d=a("ChevronLeft",[["path",{d:"m15 18-6-6 6-6",key:"1wnfg3"}]]);const p=a("ChevronRight",[["path",{d:"m9 18 6-6-6-6",key:"mthhwq"}]]);const c=a("Download",[["path",{d:"M21 15v4a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2v-4",key:"ih7n3h"}],["polyline",{points:"7 10 12 15 17 10",key:"2ggqvy"}],["line",{x1:"12",x2:"12",y1:"15",y2:"3",key:"1vk2je"}]]);const s=a("FileArchive",[["path",{d:"M10 12v-1",key:"v7bkov"}],["path",{d:"M10 18v-2",key:"1cjy8d"}],["path",{d:"M10 7V6",key:"dljcrl"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M15.5 22H18a2 2 0 0 0 2-2V7l-5-5H6a2 2 0 0 0-2 2v16a2 2 0 0 0 .274 1.01",key:"gkbcor"}],["circle",{cx:"10",cy:"20",r:"2",key:"1xzdoj"}]]);const r=a("FileCode2",[["path",{d:"M4 22h14a2 2 0 0 0 2-2V7l-5-5H6a2 2 0 0 0-2 2v4",key:"1pf5j1"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"m5 12-3 3 3 3",key:"oke12k"}],["path",{d:"m9 18 3-3-3-3",key:"112psh"}]]);const o=a("FileSearch",[["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M4.268 21a2 2 0 0 0 1.727 1H18a2 2 0 0 0 2-2V7l-5-5H6a2 2 0 0 0-2 2v3",key:"ms7g94"}],["path",{d:"m9 18-1.5-1.5",key:"1j6qii"}],["circle",{cx:"5",cy:"14",r:"3",key:"ufru5t"}]]);const l=a("FileSpreadsheet",[["path",{d:"M15 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V7Z",key:"1rqfz7"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M8 13h2",key:"yr2amv"}],["path",{d:"M14 13h2",key:"un5t4a"}],["path",{d:"M8 17h2",key:"2yhykz"}],["path",{d:"M14 17h2",key:"10kma7"}]]);const n=a("FileText",[["path",{d:"M15 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V7Z",key:"1rqfz7"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M10 9H8",key:"b1mrlr"}],["path",{d:"M16 13H8",key:"t4e002"}],["path",{d:"M16 17H8",key:"z1uh3a"}]]);const M=a("FolderPlus",[["path",{d:"M12 10v6",key:"1bos4e"}],["path",{d:"M9 13h6",key:"1uhe8q"}],["path",{d:"M20 20a2 2 0 0 0 2-2V8a2 2 0 0 0-2-2h-7.9a2 2 0 0 1-1.69-.9L9.6 3.9A2 2 0 0 0 7.93 3H4a2 2 0 0 0-2 2v13a2 2 0 0 0 2 2Z",key:"1kt360"}]]);const i=a("Folder",[["path",{d:"M20 20a2 2 0 0 0 2-2V8a2 2 0 0 0-2-2h-7.9a2 2 0 0 1-1.69-.9L9.6 3.9A2 2 0 0 0 7.93 3H4a2 2 0 0 0-2 2v13a2 2 0 0 0 2 2Z",key:"1kt360"}]]);const v=a("GitBranch",[["line",{x1:"6",x2:"6",y1:"3",y2:"15",key:"17qcm7"}],["circle",{cx:"18",cy:"6",r:"3",key:"1h7g24"}],["circle",{cx:"6",cy:"18",r:"3",key:"fqmcym"}],["path",{d:"M18 9a9 9 0 0 1-9 9",key:"n2h4wq"}]]);const x=a("ListTree",[["path",{d:"M21 12h-8",key:"1bmf0i"}],["path",{d:"M21 6H8",key:"1pqkrb"}],["path",{d:"M21 18h-8",key:"1tm79t"}],["path",{d:"M3 6v4c0 1.1.9 2 2 2h3",key:"1ywdgy"}],["path",{d:"M3 10v6c0 1.1.9 2 2 2h3",key:"2wc746"}]]);const m=a("MessageSquare",[["path",{d:"M21 15a2 2 0 0 1-2 2H7l-4 4V5a2 2 0 0 1 2-2h14a2 2 0 0 1 2 2z",key:"1lielz"}]]);const H=a("NotepadText",[["path",{d:"M8 2v4",key:"1cmpym"}],["path",{d:"M12 2v4",key:"3427ic"}],["path",{d:"M16 2v4",key:"4m81vk"}],["rect",{width:"16",height:"18",x:"4",y:"4",rx:"2",key:"1u9h20"}],["path",{d:"M8 10h6",key:"3oa6kw"}],["path",{d:"M8 14h8",key:"1fgep2"}],["path",{d:"M8 18h5",key:"17enja"}]]);const q=a("Pencil",[["path",{d:"M21.174 6.812a1 1 0 0 0-3.986-3.987L3.842 16.174a2 2 0 0 0-.5.83l-1.321 4.352a.5.5 0 0 0 .623.622l4.353-1.32a2 2 0 0 0 .83-.497z",key:"1a8usu"}],["path",{d:"m15 5 4 4",key:"1mk7zo"}]]);const u=a("ScrollText",[["path",{d:"M15 12h-5",key:"r7krc0"}],["path",{d:"M15 8h-5",key:"1khuty"}],["path",{d:"M19 17V5a2 2 0 0 0-2-2H4",key:"zz82l3"}],["path",{d:"M8 21h12a2 2 0 0 0 2-2v-1a1 1 0 0 0-1-1H11a1 1 0 0 0-1 1v1a2 2 0 1 1-4 0V5a2 2 0 1 0-4 0v2a1 1 0 0 0 1 1h3",key:"1ph1d7"}]]);const g=a("Trash2",[["path",{d:"M3 6h18",key:"d0wm0j"}],["path",{d:"M19 6v14c0 1-1 2-2 2H7c-1 0-2-1-2-2V6",key:"4alrt4"}],["path",{d:"M8 6V4c0-1 1-2 2-2h4c1 0 2 1 2 2v2",key:"v07s0e"}],["line",{x1:"10",x2:"10",y1:"11",y2:"17",key:"1uufr5"}],["line",{x1:"14",x2:"14",y1:"11",y2:"17",key:"xtxkd"}]]);const f=a("TriangleAlert",[["path",{d:"m21.73 18-8-14a2 2 0 0 0-3.48 0l-8 14A2 2 0 0 0 4 21h16a2 2 0 0 0 1.73-3",key:"wmoenq"}],["path",{d:"M12 9v4",key:"juzpu7"}],["path",{d:"M12 17h.01",key:"p32p05"}]]);const b=a("Upload",[["path",{d:"M21 15v4a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2v-4",key:"ih7n3h"}],["polyline",{points:"17 8 12 3 7 8",key:"t8dd8p"}],["line",{x1:"12",x2:"12",y1:"3",y2:"15",key:"widbto"}]]);const w=a("Users",[["path",{d:"M16 21v-2a4 4 0 0 0-4-4H6a4 4 0 0 0-4 4v2",key:"1yyitq"}],["circle",{cx:"9",cy:"7",r:"4",key:"nufk8"}],["path",{d:"M22 21v-2a4 4 0 0 0-3-3.87",key:"kshegd"}],["path",{d:"M16 3.13a4 4 0 0 1 0 7.75",key:"1da9ce"}]]);const z=a("X",[["path",{d:"M18 6 6 18",key:"1bl5f8"}],["path",{d:"m6 6 12 12",key:"d8bk6v"}]]);export{h as A,y as B,p as C,c as D,o as F,v as G,x as L,m as M,H as N,q as P,u as S,g as T,w as U,z as X,i as a,l as b,r as c,k as d,n as e,t as f,b as g,M as h,d as i,s as j,f as k};
+import{c as a}from"./index-Dik-2GCl.js";const t=a("ArrowLeft",[["path",{d:"m12 19-7-7 7-7",key:"1l729n"}],["path",{d:"M19 12H5",key:"x3x0zl"}]]);const h=a("AtSign",[["circle",{cx:"12",cy:"12",r:"4",key:"4exip2"}],["path",{d:"M16 8v5a3 3 0 0 0 6 0v-1a10 10 0 1 0-4 8",key:"7n84p3"}]]);const y=a("BookMarked",[["path",{d:"M10 2v8l3-3 3 3V2",key:"sqw3rj"}],["path",{d:"M4 19.5v-15A2.5 2.5 0 0 1 6.5 2H19a1 1 0 0 1 1 1v18a1 1 0 0 1-1 1H6.5a1 1 0 0 1 0-5H20",key:"k3hazp"}]]);const k=a("BookOpen",[["path",{d:"M12 7v14",key:"1akyts"}],["path",{d:"M3 18a1 1 0 0 1-1-1V4a1 1 0 0 1 1-1h5a4 4 0 0 1 4 4 4 4 0 0 1 4-4h5a1 1 0 0 1 1 1v13a1 1 0 0 1-1 1h-6a3 3 0 0 0-3 3 3 3 0 0 0-3-3z",key:"ruj8y"}]]);const d=a("ChevronLeft",[["path",{d:"m15 18-6-6 6-6",key:"1wnfg3"}]]);const p=a("ChevronRight",[["path",{d:"m9 18 6-6-6-6",key:"mthhwq"}]]);const c=a("Download",[["path",{d:"M21 15v4a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2v-4",key:"ih7n3h"}],["polyline",{points:"7 10 12 15 17 10",key:"2ggqvy"}],["line",{x1:"12",x2:"12",y1:"15",y2:"3",key:"1vk2je"}]]);const s=a("FileArchive",[["path",{d:"M10 12v-1",key:"v7bkov"}],["path",{d:"M10 18v-2",key:"1cjy8d"}],["path",{d:"M10 7V6",key:"dljcrl"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M15.5 22H18a2 2 0 0 0 2-2V7l-5-5H6a2 2 0 0 0-2 2v16a2 2 0 0 0 .274 1.01",key:"gkbcor"}],["circle",{cx:"10",cy:"20",r:"2",key:"1xzdoj"}]]);const r=a("FileCode2",[["path",{d:"M4 22h14a2 2 0 0 0 2-2V7l-5-5H6a2 2 0 0 0-2 2v4",key:"1pf5j1"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"m5 12-3 3 3 3",key:"oke12k"}],["path",{d:"m9 18 3-3-3-3",key:"112psh"}]]);const o=a("FileSearch",[["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M4.268 21a2 2 0 0 0 1.727 1H18a2 2 0 0 0 2-2V7l-5-5H6a2 2 0 0 0-2 2v3",key:"ms7g94"}],["path",{d:"m9 18-1.5-1.5",key:"1j6qii"}],["circle",{cx:"5",cy:"14",r:"3",key:"ufru5t"}]]);const l=a("FileSpreadsheet",[["path",{d:"M15 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V7Z",key:"1rqfz7"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M8 13h2",key:"yr2amv"}],["path",{d:"M14 13h2",key:"un5t4a"}],["path",{d:"M8 17h2",key:"2yhykz"}],["path",{d:"M14 17h2",key:"10kma7"}]]);const n=a("FileText",[["path",{d:"M15 2H6a2 2 0 0 0-2 2v16a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2V7Z",key:"1rqfz7"}],["path",{d:"M14 2v4a2 2 0 0 0 2 2h4",key:"tnqrlb"}],["path",{d:"M10 9H8",key:"b1mrlr"}],["path",{d:"M16 13H8",key:"t4e002"}],["path",{d:"M16 17H8",key:"z1uh3a"}]]);const M=a("FolderPlus",[["path",{d:"M12 10v6",key:"1bos4e"}],["path",{d:"M9 13h6",key:"1uhe8q"}],["path",{d:"M20 20a2 2 0 0 0 2-2V8a2 2 0 0 0-2-2h-7.9a2 2 0 0 1-1.69-.9L9.6 3.9A2 2 0 0 0 7.93 3H4a2 2 0 0 0-2 2v13a2 2 0 0 0 2 2Z",key:"1kt360"}]]);const i=a("Folder",[["path",{d:"M20 20a2 2 0 0 0 2-2V8a2 2 0 0 0-2-2h-7.9a2 2 0 0 1-1.69-.9L9.6 3.9A2 2 0 0 0 7.93 3H4a2 2 0 0 0-2 2v13a2 2 0 0 0 2 2Z",key:"1kt360"}]]);const v=a("GitBranch",[["line",{x1:"6",x2:"6",y1:"3",y2:"15",key:"17qcm7"}],["circle",{cx:"18",cy:"6",r:"3",key:"1h7g24"}],["circle",{cx:"6",cy:"18",r:"3",key:"fqmcym"}],["path",{d:"M18 9a9 9 0 0 1-9 9",key:"n2h4wq"}]]);const x=a("ListTree",[["path",{d:"M21 12h-8",key:"1bmf0i"}],["path",{d:"M21 6H8",key:"1pqkrb"}],["path",{d:"M21 18h-8",key:"1tm79t"}],["path",{d:"M3 6v4c0 1.1.9 2 2 2h3",key:"1ywdgy"}],["path",{d:"M3 10v6c0 1.1.9 2 2 2h3",key:"2wc746"}]]);const m=a("MessageSquare",[["path",{d:"M21 15a2 2 0 0 1-2 2H7l-4 4V5a2 2 0 0 1 2-2h14a2 2 0 0 1 2 2z",key:"1lielz"}]]);const H=a("NotepadText",[["path",{d:"M8 2v4",key:"1cmpym"}],["path",{d:"M12 2v4",key:"3427ic"}],["path",{d:"M16 2v4",key:"4m81vk"}],["rect",{width:"16",height:"18",x:"4",y:"4",rx:"2",key:"1u9h20"}],["path",{d:"M8 10h6",key:"3oa6kw"}],["path",{d:"M8 14h8",key:"1fgep2"}],["path",{d:"M8 18h5",key:"17enja"}]]);const q=a("Pencil",[["path",{d:"M21.174 6.812a1 1 0 0 0-3.986-3.987L3.842 16.174a2 2 0 0 0-.5.83l-1.321 4.352a.5.5 0 0 0 .623.622l4.353-1.32a2 2 0 0 0 .83-.497z",key:"1a8usu"}],["path",{d:"m15 5 4 4",key:"1mk7zo"}]]);const u=a("ScrollText",[["path",{d:"M15 12h-5",key:"r7krc0"}],["path",{d:"M15 8h-5",key:"1khuty"}],["path",{d:"M19 17V5a2 2 0 0 0-2-2H4",key:"zz82l3"}],["path",{d:"M8 21h12a2 2 0 0 0 2-2v-1a1 1 0 0 0-1-1H11a1 1 0 0 0-1 1v1a2 2 0 1 1-4 0V5a2 2 0 1 0-4 0v2a1 1 0 0 0 1 1h3",key:"1ph1d7"}]]);const g=a("Trash2",[["path",{d:"M3 6h18",key:"d0wm0j"}],["path",{d:"M19 6v14c0 1-1 2-2 2H7c-1 0-2-1-2-2V6",key:"4alrt4"}],["path",{d:"M8 6V4c0-1 1-2 2-2h4c1 0 2 1 2 2v2",key:"v07s0e"}],["line",{x1:"10",x2:"10",y1:"11",y2:"17",key:"1uufr5"}],["line",{x1:"14",x2:"14",y1:"11",y2:"17",key:"xtxkd"}]]);const f=a("TriangleAlert",[["path",{d:"m21.73 18-8-14a2 2 0 0 0-3.48 0l-8 14A2 2 0 0 0 4 21h16a2 2 0 0 0 1.73-3",key:"wmoenq"}],["path",{d:"M12 9v4",key:"juzpu7"}],["path",{d:"M12 17h.01",key:"p32p05"}]]);const b=a("Upload",[["path",{d:"M21 15v4a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2v-4",key:"ih7n3h"}],["polyline",{points:"17 8 12 3 7 8",key:"t8dd8p"}],["line",{x1:"12",x2:"12",y1:"3",y2:"15",key:"widbto"}]]);const w=a("Users",[["path",{d:"M16 21v-2a4 4 0 0 0-4-4H6a4 4 0 0 0-4 4v2",key:"1yyitq"}],["circle",{cx:"9",cy:"7",r:"4",key:"nufk8"}],["path",{d:"M22 21v-2a4 4 0 0 0-3-3.87",key:"kshegd"}],["path",{d:"M16 3.13a4 4 0 0 1 0 7.75",key:"1da9ce"}]]);const z=a("X",[["path",{d:"M18 6 6 18",key:"1bl5f8"}],["path",{d:"m6 6 12 12",key:"d8bk6v"}]]);export{h as A,y as B,p as C,c as D,o as F,v as G,x as L,m as M,H as N,q as P,u as S,g as T,w as U,z as X,i as a,l as b,r as c,k as d,n as e,t as f,b as g,M as h,d as i,s as j,f as k};

package/dist/client/index.html

@@ -1,5 +1,5 @@
 <!doctype html>
-<html lang="zh-CN">
+<html lang="en">
   <head>
     <meta charset="UTF-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
@@ -12,9 +12,9 @@
     <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@fontsource/iosevka@5.2.5/400.css" />
     <link rel="icon" type="image/svg+xml" href="logo.svg" />
     <title>TexLite</title>
-    <script type="module" crossorigin src="./assets/index-B6rP7QsM.js"></script>
+    <script type="module" crossorigin src="./assets/index-Dik-2GCl.js"></script>
     <link rel="modulepreload" crossorigin href="./assets/react-BVUjbTTn.js">
-    <link rel="stylesheet" crossorigin href="./assets/index-DGZNAyxW.css">
+    <link rel="stylesheet" crossorigin href="./assets/index-CxrDisif.css">
   </head>
   <body>
     <div id="root"></div>

package/dist/server/app.js

@@ -37,6 +37,7 @@ import { registerSystemRoutes } from "./routes/system.js";
 import { registerUserManagementRoutes } from "./routes/users.js";
 import { registerWordCountRoutes } from "./routes/wordCount.js";
 import { HarperService } from "./harper.js";
+import { ChktexService } from "./chktex.js";
 import { TexcountService } from "./texcount.js";
 import { basePathHref, basePathPrefix, withoutBasePath } from "../shared/basePath.js";
 // Retained public helper for callers and tests; implementation lives with the file routes.
@@ -86,10 +87,15 @@ export async function buildApp(config, db, options = {}) {
     const latexCompletions = new LatexCompletionService(config);
     const projectOutlines = new ProjectOutlineService(config);
     const harper = new HarperService();
+    const chktex = new ChktexService();
     const texcount = new TexcountService();
     // Probe the optional host Harper CLI without delaying startup. Its absence is
     // supported: the browser spellchecker remains the writing-check fallback.
     void harper.preload().catch((error) => app.log.info({ err: error }, "Optional Harper CLI is unavailable"));
+    // ChkTeX is optional and disabled by default. Probe it in the background so
+    // enabling the project setting does not make the first editor request pay a
+    // process-discovery cost.
+    void chktex.preload().catch((error) => app.log.info({ err: error }, "Optional ChkTeX command is unavailable"));
     const failedSnapshots = new Set();
     const failedEdits = new Map();
     const signalHistory = (id) => collaboration.setHistoryWarning(id, failedSnapshots.has(id) || failedEdits.has(id));
@@ -175,6 +181,7 @@ export async function buildApp(config, db, options = {}) {
         historyRetention.dispose();
         editRetry.dispose();
         await harper.dispose();
+        await chktex.dispose();
         await texcount.dispose();
     });
     await app.register(cookie, { hook: "onRequest" });
@@ -288,6 +295,7 @@ export async function buildApp(config, db, options = {}) {
             latexCompletions,
             projectOutlines,
             harper,
+            chktex,
             recordHistory
         });
         registerWordCountRoutes(routes, { config, db, projectMutations, texcount });

package/dist/server/chktex.js

@@ -0,0 +1,377 @@
+import { spawn } from "node:child_process";
+import { createHash } from "node:crypto";
+import { detachedProcessGroup, killProcessGroup } from "./processTree.js";
+const commandProbeTimeoutMs = 5_000;
+const checkTimeoutMs = 5_000;
+const maxOutputBytes = 2 * 1024 * 1024;
+const maxCachedSourceBytes = 512 * 1024;
+const maxCachedResults = 24;
+const cacheTtlMs = 15_000;
+const unavailableRetryMs = 15_000;
+const laneSequenceRetentionMs = 10 * 60_000;
+const maxTrackedLaneSequences = 512;
+const maxConcurrency = 8;
+// ChkTeX does not append a record separator to a custom -f format. Without
+// this newline, consecutive diagnostics run together and only the first one
+// survives parseChktexOutput().
+const outputFormat = "%f|%l|%c|%d|%n|%m\n";
+export class ChktexUnavailableError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ChktexUnavailableError";
+    }
+}
+/** A newer idle revision replaced a check which had not started yet. */
+export class ChktexLintSupersededError extends Error {
+    constructor() {
+        super("A newer ChkTeX check replaced this request.");
+        this.name = "ChktexLintSupersededError";
+    }
+}
+/**
+ * Parse ChkTeX's machine-readable format.  Only the first five separators
+ * have meaning, so a `|` in the human message is preserved rather than
+ * making the whole result invalid.
+ */
+export function parseChktexOutput(output) {
+    const lints = [];
+    const seen = new Set();
+    for (const line of output.split(/\r?\n/u)) {
+        const match = /^([^|]*)\|(\d+)\|(\d+)\|(-?\d+)\|(\d+)\|(.*)$/u.exec(line);
+        if (!match)
+            continue;
+        const lineNumber = Number(match[2]);
+        const column = Number(match[3]);
+        const length = Math.max(1, Number(match[4]));
+        const number = Number(match[5]);
+        const message = match[6].trim();
+        if (!Number.isSafeInteger(lineNumber) || lineNumber < 1 || !Number.isSafeInteger(column) || column < 1 || !message)
+            continue;
+        const key = `${lineNumber}:${column}:${length}:${number}:${message}`;
+        if (seen.has(key))
+            continue;
+        seen.add(key);
+        lints.push({ line: lineNumber, column, length, number: Number.isSafeInteger(number) ? number : null, message });
+    }
+    return lints;
+}
+function cacheKey(source, filePath) {
+    return createHash("sha256").update(filePath.toLowerCase()).update("\0").update(source).digest("base64url");
+}
+/**
+ * Optional host-side ChkTeX integration.  ChkTeX is intentionally run as a
+ * bounded, process-wide queue: at most eight projects/users consume a checker
+ * process at once, and a newer revision replaces obsolete waiting work in its
+ * own browser lane.  The caller still debounces edits; this is the server-side
+ * backstop for multiple tabs and collaborators.
+ */
+export class ChktexService {
+    command;
+    availability = "unknown";
+    lastUnavailableAt = 0;
+    probePromise = null;
+    queued = new Set();
+    waitingByLane = new Map();
+    latestSequenceByLane = new Map();
+    inFlight = new Map();
+    scheduledByKey = new Map();
+    cache = new Map();
+    activeChildren = new Set();
+    activeOperations = new Set();
+    activeCount = 0;
+    disposed = false;
+    constructor(command = "chktex") {
+        this.command = command;
+    }
+    async preload() {
+        await this.ensureAvailable();
+    }
+    async lint(source, filePath = "main.tex", lane, sequence) {
+        if (this.disposed)
+            throw new ChktexUnavailableError("ChkTeX service stopped.");
+        const key = cacheKey(source, filePath);
+        const laneKey = lane || null;
+        if (laneKey && sequence !== undefined)
+            this.acceptLaneSequence(laneKey, sequence, key);
+        const waiting = laneKey ? this.waitingByLane.get(laneKey) : undefined;
+        if (waiting?.key === key)
+            return waiting.promise;
+        if (laneKey && waiting)
+            this.releaseWaitingLane(laneKey, waiting);
+        const cacheable = Buffer.byteLength(source, "utf8") <= maxCachedSourceBytes;
+        if (cacheable) {
+            const cached = this.cachedResult(key);
+            if (cached)
+                return cached;
+        }
+        const existing = this.inFlight.get(key);
+        if (existing) {
+            const scheduled = this.scheduledByKey.get(key);
+            if (laneKey && scheduled)
+                this.addWaitingLane(scheduled, laneKey);
+            else if (scheduled && !scheduled.started)
+                scheduled.hasUnscopedWaiter = true;
+            return existing;
+        }
+        let resolve;
+        let reject;
+        const operation = new Promise((resolveOperation, rejectOperation) => {
+            resolve = resolveOperation;
+            reject = rejectOperation;
+        });
+        const scheduled = {
+            key, source, filePath, started: false, cancelled: false,
+            lanes: laneKey ? new Set([laneKey]) : new Set(), hasUnscopedWaiter: laneKey === null,
+            promise: operation, resolve, reject
+        };
+        this.inFlight.set(key, operation);
+        this.scheduledByKey.set(key, scheduled);
+        if (laneKey)
+            this.waitingByLane.set(laneKey, scheduled);
+        this.queued.add(scheduled);
+        this.drain();
+        void operation.then((lints) => { if (cacheable)
+            this.cacheResult(key, lints); }, () => undefined).finally(() => {
+            if (this.inFlight.get(key) === operation)
+                this.inFlight.delete(key);
+            if (this.scheduledByKey.get(key) === scheduled)
+                this.scheduledByKey.delete(key);
+        });
+        return operation;
+    }
+    async dispose() {
+        this.disposed = true;
+        const stopped = new ChktexUnavailableError("ChkTeX service stopped.");
+        for (const scheduled of [...this.queued]) {
+            if (scheduled.started || scheduled.cancelled)
+                continue;
+            scheduled.cancelled = true;
+            this.discardQueued(scheduled);
+            scheduled.reject(stopped);
+        }
+        this.waitingByLane.clear();
+        this.latestSequenceByLane.clear();
+        for (const child of this.activeChildren)
+            killProcessGroup(child, "SIGTERM");
+        await Promise.allSettled([...this.activeOperations]);
+        await this.probePromise?.catch(() => undefined);
+        this.inFlight.clear();
+        this.scheduledByKey.clear();
+        this.cache.clear();
+    }
+    addWaitingLane(scheduled, lane) {
+        if (scheduled.started || scheduled.cancelled)
+            return;
+        scheduled.lanes.add(lane);
+        this.waitingByLane.set(lane, scheduled);
+    }
+    releaseWaitingLane(lane, scheduled) {
+        if (this.waitingByLane.get(lane) === scheduled)
+            this.waitingByLane.delete(lane);
+        scheduled.lanes.delete(lane);
+        if (scheduled.started || scheduled.cancelled || scheduled.hasUnscopedWaiter || scheduled.lanes.size > 0)
+            return;
+        this.cancelScheduled(scheduled);
+    }
+    cancelScheduled(scheduled) {
+        if (scheduled.started || scheduled.cancelled)
+            return;
+        scheduled.cancelled = true;
+        for (const lane of scheduled.lanes)
+            if (this.waitingByLane.get(lane) === scheduled)
+                this.waitingByLane.delete(lane);
+        scheduled.lanes.clear();
+        if (this.inFlight.get(scheduled.key) === scheduled.promise)
+            this.inFlight.delete(scheduled.key);
+        if (this.scheduledByKey.get(scheduled.key) === scheduled)
+            this.scheduledByKey.delete(scheduled.key);
+        this.discardQueued(scheduled);
+        scheduled.reject(new ChktexLintSupersededError());
+    }
+    discardQueued(scheduled) {
+        this.queued.delete(scheduled);
+        scheduled.source = "";
+        scheduled.filePath = "";
+    }
+    acceptLaneSequence(lane, sequence, key) {
+        if (!Number.isSafeInteger(sequence) || sequence <= 0)
+            throw new ChktexLintSupersededError();
+        const now = Date.now();
+        for (const [knownLane, state] of this.latestSequenceByLane) {
+            if (now - state.seenAt > laneSequenceRetentionMs)
+                this.latestSequenceByLane.delete(knownLane);
+        }
+        const previous = this.latestSequenceByLane.get(lane);
+        if (previous && (sequence < previous.sequence || (sequence === previous.sequence && previous.key !== key))) {
+            throw new ChktexLintSupersededError();
+        }
+        this.latestSequenceByLane.delete(lane);
+        this.latestSequenceByLane.set(lane, { sequence, key, seenAt: now });
+        while (this.latestSequenceByLane.size > maxTrackedLaneSequences) {
+            const oldest = this.latestSequenceByLane.keys().next().value;
+            if (oldest === undefined)
+                break;
+            this.latestSequenceByLane.delete(oldest);
+        }
+    }
+    drain() {
+        while (!this.disposed && this.activeCount < maxConcurrency) {
+            const scheduled = this.queued.values().next().value;
+            if (!scheduled)
+                return;
+            this.queued.delete(scheduled);
+            if (scheduled.cancelled)
+                continue;
+            scheduled.started = true;
+            for (const lane of scheduled.lanes)
+                if (this.waitingByLane.get(lane) === scheduled)
+                    this.waitingByLane.delete(lane);
+            scheduled.lanes.clear();
+            this.activeCount += 1;
+            let operation;
+            operation = this.runScheduled(scheduled).finally(() => {
+                this.activeCount -= 1;
+                this.activeOperations.delete(operation);
+                this.drain();
+            });
+            this.activeOperations.add(operation);
+        }
+    }
+    async runScheduled(scheduled) {
+        try {
+            scheduled.resolve(await this.lintOnce(scheduled.source, scheduled.filePath));
+        }
+        catch (error) {
+            scheduled.reject(error);
+        }
+    }
+    async ensureAvailable() {
+        if (this.disposed)
+            throw new ChktexUnavailableError("ChkTeX service stopped.");
+        if (this.availability === "available")
+            return;
+        if (this.availability === "unavailable" && Date.now() - this.lastUnavailableAt < unavailableRetryMs) {
+            throw new ChktexUnavailableError(`The optional ${this.command} command is not available.`);
+        }
+        if (this.probePromise)
+            return this.probePromise;
+        this.probePromise = this.runCommand(["--version"], "", commandProbeTimeoutMs, 64 * 1024)
+            .then(({ code, stdout, stderr }) => {
+            if (code !== 0)
+                throw new Error((stderr || stdout).trim() || `${this.command} exited with code ${code}`);
+            this.availability = "available";
+        })
+            .catch((error) => {
+            this.availability = "unavailable";
+            this.lastUnavailableAt = Date.now();
+            const detail = error instanceof Error ? error.message : String(error);
+            throw new ChktexUnavailableError(`The optional ${this.command} command is unavailable: ${detail}`);
+        })
+            .finally(() => { this.probePromise = null; });
+        return this.probePromise;
+    }
+    async lintOnce(source, filePath) {
+        await this.ensureAvailable();
+        // With no filename ChkTeX reads stdin. Passing `-` is interpreted as a
+        // literal filename by ChkTeX 1.7.x and silently produces no diagnostics.
+        // Only the active editor buffer is submitted. Disable ChkTeX's recursive
+        // \input traversal so diagnostics from another file cannot be mapped onto
+        // this buffer's line and column numbers.
+        const result = await this.runCommand(["-q", "-I0", "-f", outputFormat], source, checkTimeoutMs, maxOutputBytes);
+        // ChkTeX commonly exits with 2 when it found warnings. Some packaged
+        // releases use 1 for the same condition, so a structured diagnostic also
+        // makes either status successful; a non-zero status without diagnostics is
+        // still an execution failure.
+        const lints = parseChktexOutput(result.stdout);
+        const expectedDiagnosticExit = (result.code === 1 || result.code === 2) && lints.length > 0;
+        if (result.code !== 0 && !expectedDiagnosticExit) {
+            const detail = result.stderr.trim() || result.stdout.trim();
+            throw new Error(detail || `${this.command} exited with code ${result.code}`);
+        }
+        return lints;
+    }
+    cachedResult(key) {
+        const cached = this.cache.get(key);
+        if (!cached || cached.expiresAt < Date.now()) {
+            this.cache.delete(key);
+            return null;
+        }
+        this.cache.delete(key);
+        this.cache.set(key, cached);
+        return cached.lints;
+    }
+    cacheResult(key, lints) {
+        this.cache.set(key, { expiresAt: Date.now() + cacheTtlMs, lints });
+        while (this.cache.size > maxCachedResults) {
+            const oldest = this.cache.keys().next().value;
+            if (oldest === undefined)
+                break;
+            this.cache.delete(oldest);
+        }
+    }
+    runCommand(args, input, timeoutMs, outputLimit) {
+        return new Promise((resolve, reject) => {
+            if (this.disposed) {
+                reject(new ChktexUnavailableError("ChkTeX service stopped."));
+                return;
+            }
+            let child;
+            try {
+                child = spawn(this.command, args, {
+                    env: { ...process.env, LC_ALL: "C" }, shell: false, detached: detachedProcessGroup(),
+                    stdio: ["pipe", "pipe", "pipe"]
+                });
+            }
+            catch (error) {
+                reject(error);
+                return;
+            }
+            this.activeChildren.add(child);
+            const stdout = [];
+            const stderr = [];
+            let outputBytes = 0;
+            let settled = false;
+            let timedOut = false;
+            const finish = (callback) => {
+                if (settled)
+                    return;
+                settled = true;
+                clearTimeout(timer);
+                this.activeChildren.delete(child);
+                callback();
+            };
+            const terminate = (error) => {
+                killProcessGroup(child);
+                finish(() => reject(error));
+            };
+            const timer = setTimeout(() => {
+                timedOut = true;
+                killProcessGroup(child);
+            }, timeoutMs);
+            const collect = (target) => (chunk) => {
+                outputBytes += chunk.length;
+                if (outputBytes > outputLimit) {
+                    terminate(new Error(`${this.command} produced too much output.`));
+                    return;
+                }
+                target.push(chunk);
+            };
+            child.stdout?.on("data", collect(stdout));
+            child.stderr?.on("data", collect(stderr));
+            child.stdin?.on("error", (error) => terminate(error));
+            child.once("error", (error) => finish(() => {
+                if (timedOut)
+                    return reject(new Error(`${this.command} timed out after ${Math.ceil(timeoutMs / 1000)} seconds.`));
+                if (error.code === "ENOENT")
+                    return reject(new ChktexUnavailableError(`The optional ${this.command} command is not available.`));
+                reject(error);
+            }));
+            child.once("close", (code) => finish(() => {
+                if (timedOut)
+                    return reject(new Error(`${this.command} timed out after ${Math.ceil(timeoutMs / 1000)} seconds.`));
+                resolve({ code, stdout: Buffer.concat(stdout).toString("utf8"), stderr: Buffer.concat(stderr).toString("utf8") });
+            }));
+            child.stdin?.end(input);
+        });
+    }
+}

package/dist/server/collaboration.js

@@ -416,6 +416,12 @@ export class CollaborationService {
             return;
         room.doc.transact(() => room.meta.set("dictionaryRevision", randomUUID()), META_ORIGIN);
     }
+    signalChktexSetting(projectId) {
+        const room = this.rooms.get(projectId);
+        if (!room)
+            return;
+        room.doc.transact(() => room.meta.set("chktexSettingsRevision", randomUUID()), META_ORIGIN);
+    }
     signalCompileState(projectId, state) {
         const room = this.rooms.get(projectId);
         if (!room)

package/dist/server/db.js

@@ -13,8 +13,42 @@ const migrationsTable = "texlite_schema_migrations";
 const databaseMigrations = [
     // Append future migrations below this entry. Never insert before or modify
     // the released baseline: recorded databases will intentionally skip it.
-    { version: 1, name: "baseline_schema_and_legacy_upgrade", apply: applyBaselineMigration }
+    { version: 1, name: "baseline_schema_and_legacy_upgrade", apply: applyBaselineMigration },
+    { version: 2, name: "add_project_chktex_enabled", apply: (db) => {
+            if (!missingColumn(db, "projects", "chktex_enabled"))
+                return;
+            db.exec("ALTER TABLE projects ADD COLUMN chktex_enabled INTEGER NOT NULL DEFAULT 0 CHECK (chktex_enabled IN (0, 1))");
+        } },
+    { version: 3, name: "move_github_tokens_to_user_accounts", apply: migrateGitHubTokensToUsers }
 ];
+function migrateGitHubTokensToUsers(db) {
+    db.exec(`
+    CREATE TABLE IF NOT EXISTS user_github_settings (
+      user_id TEXT PRIMARY KEY REFERENCES users(id) ON DELETE CASCADE,
+      token_ciphertext TEXT,
+      github_login TEXT,
+      created_at TEXT NOT NULL,
+      updated_at TEXT NOT NULL
+    );
+
+    WITH ranked_tokens AS (
+      SELECT project.owner_id AS user_id, settings.token_ciphertext, settings.github_login,
+        settings.created_at, settings.updated_at,
+        ROW_NUMBER() OVER (
+          PARTITION BY project.owner_id
+          ORDER BY settings.updated_at DESC, settings.project_id ASC
+        ) AS token_rank
+      FROM project_git_settings settings
+      JOIN projects project ON project.id = settings.project_id
+      WHERE settings.token_ciphertext IS NOT NULL
+    )
+    INSERT OR IGNORE INTO user_github_settings (user_id, token_ciphertext, github_login, created_at, updated_at)
+    SELECT user_id, token_ciphertext, github_login, created_at, updated_at
+    FROM ranked_tokens WHERE token_rank = 1;
+
+    UPDATE project_git_settings SET token_ciphertext = NULL, github_login = NULL;
+  `);
+}
 export function openDatabase(config) {
     fs.mkdirSync(config.dataDir, { recursive: true, mode: 0o700 });
     fs.mkdirSync(config.projectsDir, { recursive: true, mode: 0o700 });

package/dist/server/environment.js

@@ -83,6 +83,7 @@ function optionalToolDefinitions(gitCommand, gitTimeoutMs) {
         { id: "bibtex", name: "BibTeX", command: "bibtex", requirement: "optional", purpose: "BibTeX bibliography builds" },
         { id: "biber", name: "Biber", command: "biber", requirement: "optional", purpose: "Biber bibliography builds" },
         { id: "makeindex", name: "MakeIndex", command: "makeindex", requirement: "optional", purpose: "Index generation", versionArgs: [] },
+        { id: "chktex", name: "ChkTeX", command: "chktex", requirement: "optional", purpose: "LaTeX writing checks", versionArgs: ["--version"] },
         { id: "harper-cli", name: "Harper CLI", command: "harper-cli", requirement: "optional", purpose: "TexLite spelling and grammar checks" },
         { id: "harper-ls", name: "Harper language server", command: "harper-ls", requirement: "optional", purpose: "External editor integration (not used by TexLite)" }
     ];