@tslite/analysis 0.2.3 → 0.2.5

package/dist/index.cjs

@@ -1 +1 @@
-'use strict';var core=require('@tslite/core');var T=new Set,I=(...e)=>new Set(e),E={atoms:new Set,vars:new Set},U=(...e)=>({atoms:new Set(e),vars:new Set}),C=e=>({atoms:new Set,vars:new Set([e])}),R=e=>{let t=new Set,o=new Set;for(let n of e){for(let r of n.atoms)t.add(r);for(let r of n.vars)o.add(r);}return {atoms:t,vars:o}},X=(e,t)=>{let o=new Set(e.atoms),n=new Set;for(let r of e.vars){let i=t.get(r);if(i){for(let s of i.atoms)o.add(s);for(let s of i.vars)n.add(s);}else n.add(r);}return {atoms:o,vars:n}},j={params:[],latent:E},V=(e,t)=>{let o=new Map;return e.params.forEach((n,r)=>{let i=t[r];n&&i&&o.set(n,i);}),X(e.latent,o)},N=e=>new Set(e.atoms),pe=e=>{let t=new Set;for(let o of e)for(let n of o)t.add(n);return t},ye=(e,t)=>{for(let o of e)if(!t.has(o))return  false;return  true},W=(e,t)=>[...e].filter(o=>!t.has(o));var Ee=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]=new Set(n);return t},ge=(e,t,o=[])=>{let n=new Array(t).fill(null),r="\u03B5";return n[e]=r,{params:n,latent:{atoms:new Set(o),vars:new Set([r])}}},M={nodeEffects:{ForStatement:"loops",ForInStatement:"loops",ForOfStatement:"loops",WhileStatement:"loops",DoWhileStatement:"loops",AssignmentExpression:"mutates",UpdateExpression:"mutates"}},ve=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),h=e=>ve.has(e.type),p=e=>e,we=e=>p(e).body,Re=e=>p(e).params??[],B=e=>e&&e.type==="Identifier"?p(e).name:void 0,Ne=e=>{let t=p(e).object,o=p(e).property,n=B(t);if(!n)return null;let r=p(e).computed?void 0:B(o);return {path:r?`${n}.${r}`:n,root:n}},Be=e=>typeof e=="object"&&e!==null&&"latent"in e,$=(e,t)=>Be(e)?V(e,t):{atoms:new Set(e),vars:new Set},L=(e,t)=>{let o=0;return {rules:e,env:t,schemeOf:new Map,nodeEff:new Map,active:new Set,fresh:()=>`\u03B5${o++}`}},z=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]={kind:"capability",decl:n};return core.rootScope(t)};function O(e,t,o){let n=o.schemeOf.get(e);if(n)return n;if(o.active.has(e))return j;o.active.add(e);let r=Re(e),i=r.map(v=>v.type==="Identifier"?o.fresh():null),s={};r.forEach((v,D)=>{let Q=B(v);Q&&i[D]&&(s[Q]={kind:"param",var:i[D]});});let a=core.childScope(t,s),c=we(e),u=c?m(c,a,o):E,l={params:i,latent:u};return o.active.delete(e),o.schemeOf.set(e,l),l}function _(e,t,o){O(e,t,o);}function m(e,t,o){let n=Se(e,t,o);return o.nodeEff.set(e,n),n}function Se(e,t,o){let n=o.rules.nodeEffects[e.type],r=n?U(n):E;if(h(e))return _(e,t,o),r;if(e.type==="CallExpression"||e.type==="NewExpression")return R([r,Oe(e,t,o)]);if(e.type==="BlockStatement"||e.type==="Program"){let s=p(e).body??[];return R([r,xe(s,t,o)])}let i=[r];return core.forEachChild(e,s=>i.push(m(s,t,o))),R(i)}function xe(e,t,o){let n=t,r={};for(let s of e)if(s.type==="FunctionDeclaration"){let a=B(p(s).id);a&&(r[a]={kind:"fn",node:s,scope:n});}Object.keys(r).length&&(n=core.childScope(n,r));for(let s in r)r[s].kind==="fn"&&(r[s].scope=n);for(let s in r){let a=r[s];a.kind==="fn"&&_(a.node,n,o);}let i=[];for(let s of e)if(s.type!=="FunctionDeclaration"){if(s.type==="VariableDeclaration"){let a=p(s).declarations??[];for(let c of a){let u=p(c).id,l=p(c).init,v=B(u);if(v&&l&&h(l)){let D=core.childScope(n,{[v]:{kind:"fn",node:l,scope:n}});_(l,D,o),n=D;}else l&&i.push(m(l,n,o)),v&&(n=core.childScope(n,{[v]:{kind:"value"}}));}continue}i.push(m(s,n,o));}return R(i)}function Oe(e,t,o){let n=p(e).callee,r=p(e).arguments??[],i=r.map(c=>h(c)?E:m(c,t,o)),s=r.map(c=>he(c,t,o)),a=be(n,s,t,o);return R([a,...i])}function he(e,t,o){if(h(e))return O(e,t,o).latent;if(e.type==="Identifier"){let n=core.lookup(t,B(e));if(!n)return null;if(n.kind==="fn")return O(n.node,n.scope,o).latent;if(n.kind==="param")return C(n.var);if(n.kind==="capability")return $(n.decl,[])}return null}function be(e,t,o,n){if(!e)return E;if(e.type==="Identifier"){let r=core.lookup(o,B(e));if(!r)return E;switch(r.kind){case "capability":return $(r.decl,t);case "fn":return V(O(r.node,r.scope,n),t);case "param":return C(r.var);case "value":return E}}if(h(e))return V(O(e,o,n),t);if(e.type==="MemberExpression"){let r=Ne(e),i=r&&(n.env[r.path]??n.env[r.root]);if(i)return $(i,t)}return m(e,o,n)}function G(e,t={}){let o=t.env??{},n=L(t.rules??M,o),r=z(o);if(t.root&&t.root!==e){m(t.root,r,n);let i=n.schemeOf.get(e);if(i)return N(i.latent)}return h(e)?N(O(e,r,n).latent):N(m(e,r,n))}function H(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.schemeOf)r.set(i,N(s.latent));return r}function K(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.nodeEff)r.set(i,N(s));return r}var ee=e=>e.size?`{ ${[...e].sort().join(", ")} }`:"pure";function Y(e,t,o){let n=G(e,o),r=W(n,t);return r.length===0?[]:[{node:e,declared:t,inferred:n,excess:r,message:`Effect contract violated: declared ${ee(t)} but infers ${ee(n)} \u2014 not allowed: ${r.join(", ")}.`}]}function te(e){switch(e){case "pure":return T;case "io":return I("io");case "any":return null}}function ke(e,t,o){let n=te(t);return n===null?[]:Y(e,n,o)}var b=e=>e,S=e=>e&&e.type==="Identifier"?b(e).name:void 0,x=(e,t)=>b(e)[t],De=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),F=e=>De.has(e.type);function Ve(e){if(!e)return null;if(e.type==="Identifier"){let t=S(e);return {path:t,root:t}}if(e.type==="MemberExpression"){let t=b(e).object,o=b(e).property,n=b(e).computed,r=S(t);if(!r)return null;let i=n?void 0:S(o);return {path:i?`${r}.${i}`:r,root:r}}return null}function ne(e){let{categories:t,matrix:o}=e,n=o.defaultPolicy??"allow",r=s=>t[s.path]??t[s.root],i=(s,a)=>o.rules[s]?.[a]??n;return (s,a)=>{if(!a)return null;let c=t[a];if(c===void 0)return null;let u=Ve(x(s,"callee"));if(!u)return null;let l=r(u);return l===void 0||i(c,l)!=="deny"?null:{call:s,from:a,to:u.path,fromCategory:c,toCategory:l,message:`Policy violated: ${c} '${a}' must not call ${l} '${u.path}' (${c} \u2192 ${l} is deny).`}}}var re=e=>e.type==="CallExpression"||e.type==="NewExpression";function Ce(e,t){let o=ne(t),n=[],r=(i,s)=>{if(re(i)){let a=o(i,s);a&&n.push(a);}if(i.type==="VariableDeclaration"){for(let a of b(i).declarations??[]){let c=x(a,"init");if(!c)continue;let u=F(c)?S(x(a,"id"))??s:s;r(c,u);}return}if(i.type==="FunctionDeclaration"){let a=S(x(i,"id"))??s;core.forEachChild(i,c=>r(c,a));return}core.forEachChild(i,a=>r(a,s));};return r(e,null),n}function se(e){let t=ne(e),o=new Map,n=[],r=()=>n.length?n[n.length-1]:null,i=null;return {enter(s){if(s.type==="VariableDeclarator"){let a=x(s,"init"),c=S(x(s,"id"));a&&F(a)&&c&&(i={name:c,fn:a});}if(F(s)){let a=i&&i.fn===s?i.name:s.type==="FunctionDeclaration"?S(x(s,"id"))??r():r();n.push(a),i=null;}if(re(s)){let a=t(s,r());a&&o.set(s,a);}},exit(s){F(s)&&n.pop();},result:()=>o}}var w=e=>e,Pe=e=>e&&e.type==="Identifier"?w(e).name:void 0,f=(e,t)=>w(e)[t],g=(e,t)=>w(e)[t]??[];function y(e,t){if(e)switch(e.type){case "Identifier":t.add(w(e).name);return;case "AssignmentPattern":y(f(e,"left"),t);return;case "RestElement":y(f(e,"argument"),t);return;case "ArrayPattern":for(let o of g(e,"elements"))y(o,t);return;case "ObjectPattern":for(let o of g(e,"properties"))o.type==="RestElement"?y(f(o,"argument"),t):y(f(o,"value"),t);return}}function Me(e){let t=new Set;for(let o of e)if(o.type==="VariableDeclaration")for(let n of g(o,"declarations"))y(f(n,"id"),t);else if(o.type==="FunctionDeclaration"){let n=Pe(f(o,"id"));n&&t.add(n);}return t}var d=(e,t)=>{for(let o of t)e.add(o);},k=(e,t)=>{for(let o of t)e.delete(o);},fe=new Set,ie=e=>new Set(e);function J(e,t){let o=new Set;switch(e.type){case "Identifier":o.add(w(e).name);break;case "MemberExpression":{d(o,t(f(e,"object"))),w(e).computed&&d(o,t(f(e,"property")));break}case "Property":{w(e).computed&&d(o,t(f(e,"key"))),d(o,t(f(e,"value")));break}case "ArrowFunctionExpression":case "FunctionExpression":case "FunctionDeclaration":{let n=g(e,"params"),r=new Set;for(let i of n)y(i,r),i.type==="AssignmentPattern"&&d(o,t(f(i,"right")));d(o,t(f(e,"body"))),k(o,r);break}case "BlockStatement":case "Program":{let n=g(e,"body");for(let r of n)d(o,t(r));k(o,Me(n));break}case "VariableDeclarator":{d(o,t(f(e,"init")));let n=f(e,"id");n&&n.type!=="Identifier"&&A(n,o,t);break}case "CatchClause":{let n=new Set;y(f(e,"param"),n),d(o,t(f(e,"body"))),k(o,n);break}case "LabeledStatement":d(o,t(f(e,"body")));break;case "BreakStatement":case "ContinueStatement":break;case "ForInStatement":case "ForOfStatement":{let n=f(e,"left");d(o,t(f(e,"right")));let r=new Set;if(n.type==="VariableDeclaration")for(let s of g(n,"declarations"))y(f(s,"id"),r);else y(n,r);let i=ie(t(f(e,"body")));k(i,r),d(o,i);break}case "ForStatement":{let n=f(e,"init"),r=new Set;if(n){if(n.type==="VariableDeclaration")for(let i of g(n,"declarations"))y(f(i,"id"),r);d(o,t(n));}for(let i of ["test","update","body"]){let s=ie(t(f(e,i)));k(s,r),d(o,s);}break}default:core.forEachChild(e,n=>d(o,t(n)));break}return o}function ce(e,t={}){let o=new Map,n=new Set(t.globals??[]),r=i=>{if(!i)return fe;let s=J(i,r);return k(s,n),o.set(i,s),s};return r(e),o}function A(e,t,o){if(e.type==="AssignmentPattern")d(t,o(f(e,"right"))),A(f(e,"left"),t,o);else if(e.type==="ArrayPattern")for(let n of g(e,"elements"))n&&A(n,t,o);else if(e.type==="ObjectPattern")for(let n of g(e,"properties")){w(n).computed&&d(t,o(f(n,"key")));let r=f(n,"value")??f(n,"argument");r&&A(r,t,o);}}function Fe(e,t){return ce(e,t).get(e)??new Set}function q(e,t){if(e){if(e.type==="MemberExpression"){q(f(e,"object"),t);return}y(e,t);}}function de(e){let t=new Map,o=n=>{if(!n)return fe;let r=new Set;return n.type==="AssignmentExpression"?q(f(n,"left"),r):n.type==="UpdateExpression"&&q(f(n,"argument"),r),core.forEachChild(n,i=>d(r,o(i))),t.set(n,r),r};return o(e),t}function Ae(e){return de(e).get(e)??new Set}function Ie(e,t){return {root:e,diagnostics:t.diagnostics,typeOf:o=>t.overlay.get(o)?.type,scopeOf:o=>t.overlay.get(o)?.scope}}function Ue(e,t){let o=new Map,n={tree:e,read:s=>o.get(s.name)},r=t.filter(s=>!!s.visitor),i=t.filter(s=>!s.visitor&&s.run);if(r.length){let s=a=>{for(let c of r)c.visitor.enter?.(a,n);core.forEachChild(a,s);for(let c=r.length-1;c>=0;c--)r[c].visitor.exit?.(a,n);};s(e.root);for(let a of r)o.set(a.name,a.visitor.result());}for(let s of i)o.set(s.name,s.run(n));return o}var le=new Set,je=(e,t)=>({name:"effects",run:o=>H(o.tree.root,{env:e,rules:t})}),We=(e,t)=>({name:"nodeEffects",run:o=>K(o.tree.root,{env:e,rules:t})}),$e=e=>({name:"deps",visitor:(()=>{let t=new Set(e?.globals??[]),o=new Map;return {exit(n){let r=J(n,i=>i?o.get(i)??le:le);for(let i of t)r.delete(i);o.set(n,r);},result:()=>o}})()}),_e=e=>({name:"policies",visitor:se(e)});exports.DEFAULT_RULES=M;exports.PURE=T;exports.PURE_ROW=E;exports.PURE_SCHEME=j;exports.analyze=Ue;exports.checkEffectPolicy=ke;exports.checkEffects=Y;exports.checkPolicies=Ce;exports.deps=ce;exports.depsOverlay=$e;exports.effect=I;exports.effectCeiling=te;exports.effectEnv=Ee;exports.effectsByNode=K;exports.effectsOverlay=je;exports.effectsOverlayOf=H;exports.excess=W;exports.forwardEffect=ge;exports.freeVars=Fe;exports.groundRow=N;exports.inferEffects=G;exports.instantiateScheme=V;exports.join=pe;exports.joinRows=R;exports.nodeEffectsOverlay=We;exports.policiesOverlay=_e;exports.rowOf=U;exports.rowOfVar=C;exports.substituteRow=X;exports.typedTreeOf=Ie;exports.within=ye;exports.writeTargets=Ae;exports.writes=de;
+'use strict';var core=require('@tslite/core');var T=new Set,I=(...e)=>new Set(e),E={atoms:new Set,vars:new Set},U=(...e)=>({atoms:new Set(e),vars:new Set}),C=e=>({atoms:new Set,vars:new Set([e])}),R=e=>{let t=new Set,o=new Set;for(let n of e){for(let r of n.atoms)t.add(r);for(let r of n.vars)o.add(r);}return {atoms:t,vars:o}},X=(e,t)=>{let o=new Set(e.atoms),n=new Set;for(let r of e.vars){let i=t.get(r);if(i){for(let s of i.atoms)o.add(s);for(let s of i.vars)n.add(s);}else n.add(r);}return {atoms:o,vars:n}},j={params:[],latent:E},V=(e,t)=>{let o=new Map;return e.params.forEach((n,r)=>{let i=t[r];n&&i&&o.set(n,i);}),X(e.latent,o)},B=e=>new Set(e.atoms),pe=e=>{let t=new Set;for(let o of e)for(let n of o)t.add(n);return t},ye=(e,t)=>{for(let o of e)if(!t.has(o))return  false;return  true},W=(e,t)=>[...e].filter(o=>!t.has(o));var Ee=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]=new Set(n);return t},ge=(e,t,o=[])=>{let n=new Array(t).fill(null),r="\u03B5";return n[e]=r,{params:n,latent:{atoms:new Set(o),vars:new Set([r])}}},M={nodeEffects:{ForStatement:"loops",ForInStatement:"loops",ForOfStatement:"loops",WhileStatement:"loops",DoWhileStatement:"loops",AssignmentExpression:"mutates",UpdateExpression:"mutates"}},ve=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),h=e=>ve.has(e.type),p=e=>e,we=e=>p(e).body,Re=e=>p(e).params??[],N=e=>e&&e.type==="Identifier"?p(e).name:void 0,Be=e=>{let t=p(e).object,o=p(e).property,n=N(t);if(!n)return null;let r=p(e).computed?void 0:N(o);return {path:r?`${n}.${r}`:n,root:n}},Ne=e=>typeof e=="object"&&e!==null&&"latent"in e,$=(e,t)=>Ne(e)?V(e,t):{atoms:new Set(e),vars:new Set},L=(e,t)=>{let o=0;return {rules:e,env:t,schemeOf:new Map,nodeEff:new Map,active:new Set,fresh:()=>`\u03B5${o++}`}},z=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]={kind:"capability",decl:n};return core.rootScope(t)};function O(e,t,o){let n=o.schemeOf.get(e);if(n)return n;if(o.active.has(e))return j;o.active.add(e);let r=Re(e),i=r.map(v=>v.type==="Identifier"?o.fresh():null),s={};r.forEach((v,D)=>{let Q=N(v);Q&&i[D]&&(s[Q]={kind:"param",var:i[D]});});let a=core.childScope(t,s),c=we(e),u=c?m(c,a,o):E,l={params:i,latent:u};return o.active.delete(e),o.schemeOf.set(e,l),l}function _(e,t,o){O(e,t,o);}function m(e,t,o){let n=Se(e,t,o);return o.nodeEff.set(e,n),n}function Se(e,t,o){let n=o.rules.nodeEffects[e.type],r=n?U(n):E;if(h(e))return _(e,t,o),r;if(e.type==="CallExpression")return R([r,Oe(e,t,o)]);if(e.type==="BlockStatement"||e.type==="Program"){let s=p(e).body??[];return R([r,xe(s,t,o)])}let i=[r];return core.forEachChild(e,s=>i.push(m(s,t,o))),R(i)}function xe(e,t,o){let n=t,r={};for(let s of e)if(s.type==="FunctionDeclaration"){let a=N(p(s).id);a&&(r[a]={kind:"fn",node:s,scope:n});}Object.keys(r).length&&(n=core.childScope(n,r));for(let s in r)r[s].kind==="fn"&&(r[s].scope=n);for(let s in r){let a=r[s];a.kind==="fn"&&_(a.node,n,o);}let i=[];for(let s of e)if(s.type!=="FunctionDeclaration"){if(s.type==="VariableDeclaration"){let a=p(s).declarations??[];for(let c of a){let u=p(c).id,l=p(c).init,v=N(u);if(v&&l&&h(l)){let D=core.childScope(n,{[v]:{kind:"fn",node:l,scope:n}});_(l,D,o),n=D;}else l&&i.push(m(l,n,o)),v&&(n=core.childScope(n,{[v]:{kind:"value"}}));}continue}i.push(m(s,n,o));}return R(i)}function Oe(e,t,o){let n=p(e).callee,r=p(e).arguments??[],i=r.map(c=>h(c)?E:m(c,t,o)),s=r.map(c=>he(c,t,o)),a=be(n,s,t,o);return R([a,...i])}function he(e,t,o){if(h(e))return O(e,t,o).latent;if(e.type==="Identifier"){let n=core.lookup(t,N(e));if(!n)return null;if(n.kind==="fn")return O(n.node,n.scope,o).latent;if(n.kind==="param")return C(n.var);if(n.kind==="capability")return $(n.decl,[])}return null}function be(e,t,o,n){if(!e)return E;if(e.type==="Identifier"){let r=core.lookup(o,N(e));if(!r)return E;switch(r.kind){case "capability":return $(r.decl,t);case "fn":return V(O(r.node,r.scope,n),t);case "param":return C(r.var);case "value":return E}}if(h(e))return V(O(e,o,n),t);if(e.type==="MemberExpression"){let r=Be(e),i=r&&(n.env[r.path]??n.env[r.root]);if(i)return $(i,t)}return m(e,o,n)}function G(e,t={}){let o=t.env??{},n=L(t.rules??M,o),r=z(o);if(t.root&&t.root!==e){m(t.root,r,n);let i=n.schemeOf.get(e);if(i)return B(i.latent)}return h(e)?B(O(e,r,n).latent):B(m(e,r,n))}function H(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.schemeOf)r.set(i,B(s.latent));return r}function K(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.nodeEff)r.set(i,B(s));return r}var ee=e=>e.size?`{ ${[...e].sort().join(", ")} }`:"pure";function Y(e,t,o){let n=G(e,o),r=W(n,t);return r.length===0?[]:[{node:e,declared:t,inferred:n,excess:r,message:`Effect contract violated: declared ${ee(t)} but infers ${ee(n)} \u2014 not allowed: ${r.join(", ")}.`}]}function te(e){switch(e){case "pure":return T;case "io":return I("io");case "any":return null}}function ke(e,t,o){let n=te(t);return n===null?[]:Y(e,n,o)}var b=e=>e,S=e=>e&&e.type==="Identifier"?b(e).name:void 0,x=(e,t)=>b(e)[t],De=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),F=e=>De.has(e.type);function Ve(e){if(!e)return null;if(e.type==="Identifier"){let t=S(e);return {path:t,root:t}}if(e.type==="MemberExpression"){let t=b(e).object,o=b(e).property,n=b(e).computed,r=S(t);if(!r)return null;let i=n?void 0:S(o);return {path:i?`${r}.${i}`:r,root:r}}return null}function ne(e){let{categories:t,matrix:o}=e,n=o.defaultPolicy??"allow",r=s=>t[s.path]??t[s.root],i=(s,a)=>o.rules[s]?.[a]??n;return (s,a)=>{if(!a)return null;let c=t[a];if(c===void 0)return null;let u=Ve(x(s,"callee"));if(!u)return null;let l=r(u);return l===void 0||i(c,l)!=="deny"?null:{call:s,from:a,to:u.path,fromCategory:c,toCategory:l,message:`Policy violated: ${c} '${a}' must not call ${l} '${u.path}' (${c} \u2192 ${l} is deny).`}}}var re=e=>e.type==="CallExpression";function Ce(e,t){let o=ne(t),n=[],r=(i,s)=>{if(re(i)){let a=o(i,s);a&&n.push(a);}if(i.type==="VariableDeclaration"){for(let a of b(i).declarations??[]){let c=x(a,"init");if(!c)continue;let u=F(c)?S(x(a,"id"))??s:s;r(c,u);}return}if(i.type==="FunctionDeclaration"){let a=S(x(i,"id"))??s;core.forEachChild(i,c=>r(c,a));return}core.forEachChild(i,a=>r(a,s));};return r(e,null),n}function se(e){let t=ne(e),o=new Map,n=[],r=()=>n.length?n[n.length-1]:null,i=null;return {enter(s){if(s.type==="VariableDeclarator"){let a=x(s,"init"),c=S(x(s,"id"));a&&F(a)&&c&&(i={name:c,fn:a});}if(F(s)){let a=i&&i.fn===s?i.name:s.type==="FunctionDeclaration"?S(x(s,"id"))??r():r();n.push(a),i=null;}if(re(s)){let a=t(s,r());a&&o.set(s,a);}},exit(s){F(s)&&n.pop();},result:()=>o}}var w=e=>e,Pe=e=>e&&e.type==="Identifier"?w(e).name:void 0,f=(e,t)=>w(e)[t],g=(e,t)=>w(e)[t]??[];function y(e,t){if(e)switch(e.type){case "Identifier":t.add(w(e).name);return;case "AssignmentPattern":y(f(e,"left"),t);return;case "RestElement":y(f(e,"argument"),t);return;case "ArrayPattern":for(let o of g(e,"elements"))y(o,t);return;case "ObjectPattern":for(let o of g(e,"properties"))o.type==="RestElement"?y(f(o,"argument"),t):y(f(o,"value"),t);return}}function Me(e){let t=new Set;for(let o of e)if(o.type==="VariableDeclaration")for(let n of g(o,"declarations"))y(f(n,"id"),t);else if(o.type==="FunctionDeclaration"){let n=Pe(f(o,"id"));n&&t.add(n);}return t}var d=(e,t)=>{for(let o of t)e.add(o);},k=(e,t)=>{for(let o of t)e.delete(o);},fe=new Set,ie=e=>new Set(e);function J(e,t){let o=new Set;switch(e.type){case "Identifier":o.add(w(e).name);break;case "MemberExpression":{d(o,t(f(e,"object"))),w(e).computed&&d(o,t(f(e,"property")));break}case "Property":{w(e).computed&&d(o,t(f(e,"key"))),d(o,t(f(e,"value")));break}case "ArrowFunctionExpression":case "FunctionExpression":case "FunctionDeclaration":{let n=g(e,"params"),r=new Set;for(let i of n)y(i,r),i.type==="AssignmentPattern"&&d(o,t(f(i,"right")));d(o,t(f(e,"body"))),k(o,r);break}case "BlockStatement":case "Program":{let n=g(e,"body");for(let r of n)d(o,t(r));k(o,Me(n));break}case "VariableDeclarator":{d(o,t(f(e,"init")));let n=f(e,"id");n&&n.type!=="Identifier"&&A(n,o,t);break}case "CatchClause":{let n=new Set;y(f(e,"param"),n),d(o,t(f(e,"body"))),k(o,n);break}case "LabeledStatement":d(o,t(f(e,"body")));break;case "BreakStatement":case "ContinueStatement":break;case "ForInStatement":case "ForOfStatement":{let n=f(e,"left");d(o,t(f(e,"right")));let r=new Set;if(n.type==="VariableDeclaration")for(let s of g(n,"declarations"))y(f(s,"id"),r);else y(n,r);let i=ie(t(f(e,"body")));k(i,r),d(o,i);break}case "ForStatement":{let n=f(e,"init"),r=new Set;if(n){if(n.type==="VariableDeclaration")for(let i of g(n,"declarations"))y(f(i,"id"),r);d(o,t(n));}for(let i of ["test","update","body"]){let s=ie(t(f(e,i)));k(s,r),d(o,s);}break}default:core.forEachChild(e,n=>d(o,t(n)));break}return o}function ce(e,t={}){let o=new Map,n=new Set(t.globals??[]),r=i=>{if(!i)return fe;let s=J(i,r);return k(s,n),o.set(i,s),s};return r(e),o}function A(e,t,o){if(e.type==="AssignmentPattern")d(t,o(f(e,"right"))),A(f(e,"left"),t,o);else if(e.type==="ArrayPattern")for(let n of g(e,"elements"))n&&A(n,t,o);else if(e.type==="ObjectPattern")for(let n of g(e,"properties")){w(n).computed&&d(t,o(f(n,"key")));let r=f(n,"value")??f(n,"argument");r&&A(r,t,o);}}function Fe(e,t){return ce(e,t).get(e)??new Set}function q(e,t){if(e){if(e.type==="MemberExpression"){q(f(e,"object"),t);return}y(e,t);}}function de(e){let t=new Map,o=n=>{if(!n)return fe;let r=new Set;return n.type==="AssignmentExpression"?q(f(n,"left"),r):n.type==="UpdateExpression"&&q(f(n,"argument"),r),core.forEachChild(n,i=>d(r,o(i))),t.set(n,r),r};return o(e),t}function Ae(e){return de(e).get(e)??new Set}function Ie(e,t){return {root:e,diagnostics:t.diagnostics,typeOf:o=>t.overlay.get(o)?.type,scopeOf:o=>t.overlay.get(o)?.scope}}function Ue(e,t){let o=new Map,n={tree:e,read:s=>o.get(s.name)},r=t.filter(s=>!!s.visitor),i=t.filter(s=>!s.visitor&&s.run);if(r.length){let s=a=>{for(let c of r)c.visitor.enter?.(a,n);core.forEachChild(a,s);for(let c=r.length-1;c>=0;c--)r[c].visitor.exit?.(a,n);};s(e.root);for(let a of r)o.set(a.name,a.visitor.result());}for(let s of i)o.set(s.name,s.run(n));return o}var le=new Set,je=(e,t)=>({name:"effects",run:o=>H(o.tree.root,{env:e,rules:t})}),We=(e,t)=>({name:"nodeEffects",run:o=>K(o.tree.root,{env:e,rules:t})}),$e=e=>({name:"deps",visitor:(()=>{let t=new Set(e?.globals??[]),o=new Map;return {exit(n){let r=J(n,i=>i?o.get(i)??le:le);for(let i of t)r.delete(i);o.set(n,r);},result:()=>o}})()}),_e=e=>({name:"policies",visitor:se(e)});exports.DEFAULT_RULES=M;exports.PURE=T;exports.PURE_ROW=E;exports.PURE_SCHEME=j;exports.analyze=Ue;exports.checkEffectPolicy=ke;exports.checkEffects=Y;exports.checkPolicies=Ce;exports.deps=ce;exports.depsOverlay=$e;exports.effect=I;exports.effectCeiling=te;exports.effectEnv=Ee;exports.effectsByNode=K;exports.effectsOverlay=je;exports.effectsOverlayOf=H;exports.excess=W;exports.forwardEffect=ge;exports.freeVars=Fe;exports.groundRow=B;exports.inferEffects=G;exports.instantiateScheme=V;exports.join=pe;exports.joinRows=R;exports.nodeEffectsOverlay=We;exports.policiesOverlay=_e;exports.rowOf=U;exports.rowOfVar=C;exports.substituteRow=X;exports.typedTreeOf=Ie;exports.within=ye;exports.writeTargets=Ae;exports.writes=de;

package/dist/index.js

@@ -1 +1 @@
-import {forEachChild,rootScope,childScope,lookup}from'@tslite/core';var T=new Set,I=(...e)=>new Set(e),E={atoms:new Set,vars:new Set},U=(...e)=>({atoms:new Set(e),vars:new Set}),C=e=>({atoms:new Set,vars:new Set([e])}),R=e=>{let t=new Set,o=new Set;for(let n of e){for(let r of n.atoms)t.add(r);for(let r of n.vars)o.add(r);}return {atoms:t,vars:o}},X=(e,t)=>{let o=new Set(e.atoms),n=new Set;for(let r of e.vars){let i=t.get(r);if(i){for(let s of i.atoms)o.add(s);for(let s of i.vars)n.add(s);}else n.add(r);}return {atoms:o,vars:n}},j={params:[],latent:E},V=(e,t)=>{let o=new Map;return e.params.forEach((n,r)=>{let i=t[r];n&&i&&o.set(n,i);}),X(e.latent,o)},N=e=>new Set(e.atoms),pe=e=>{let t=new Set;for(let o of e)for(let n of o)t.add(n);return t},ye=(e,t)=>{for(let o of e)if(!t.has(o))return  false;return  true},W=(e,t)=>[...e].filter(o=>!t.has(o));var Ee=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]=new Set(n);return t},ge=(e,t,o=[])=>{let n=new Array(t).fill(null),r="\u03B5";return n[e]=r,{params:n,latent:{atoms:new Set(o),vars:new Set([r])}}},M={nodeEffects:{ForStatement:"loops",ForInStatement:"loops",ForOfStatement:"loops",WhileStatement:"loops",DoWhileStatement:"loops",AssignmentExpression:"mutates",UpdateExpression:"mutates"}},ve=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),h=e=>ve.has(e.type),p=e=>e,we=e=>p(e).body,Re=e=>p(e).params??[],B=e=>e&&e.type==="Identifier"?p(e).name:void 0,Ne=e=>{let t=p(e).object,o=p(e).property,n=B(t);if(!n)return null;let r=p(e).computed?void 0:B(o);return {path:r?`${n}.${r}`:n,root:n}},Be=e=>typeof e=="object"&&e!==null&&"latent"in e,$=(e,t)=>Be(e)?V(e,t):{atoms:new Set(e),vars:new Set},L=(e,t)=>{let o=0;return {rules:e,env:t,schemeOf:new Map,nodeEff:new Map,active:new Set,fresh:()=>`\u03B5${o++}`}},z=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]={kind:"capability",decl:n};return rootScope(t)};function O(e,t,o){let n=o.schemeOf.get(e);if(n)return n;if(o.active.has(e))return j;o.active.add(e);let r=Re(e),i=r.map(v=>v.type==="Identifier"?o.fresh():null),s={};r.forEach((v,D)=>{let Q=B(v);Q&&i[D]&&(s[Q]={kind:"param",var:i[D]});});let a=childScope(t,s),c=we(e),u=c?m(c,a,o):E,l={params:i,latent:u};return o.active.delete(e),o.schemeOf.set(e,l),l}function _(e,t,o){O(e,t,o);}function m(e,t,o){let n=Se(e,t,o);return o.nodeEff.set(e,n),n}function Se(e,t,o){let n=o.rules.nodeEffects[e.type],r=n?U(n):E;if(h(e))return _(e,t,o),r;if(e.type==="CallExpression"||e.type==="NewExpression")return R([r,Oe(e,t,o)]);if(e.type==="BlockStatement"||e.type==="Program"){let s=p(e).body??[];return R([r,xe(s,t,o)])}let i=[r];return forEachChild(e,s=>i.push(m(s,t,o))),R(i)}function xe(e,t,o){let n=t,r={};for(let s of e)if(s.type==="FunctionDeclaration"){let a=B(p(s).id);a&&(r[a]={kind:"fn",node:s,scope:n});}Object.keys(r).length&&(n=childScope(n,r));for(let s in r)r[s].kind==="fn"&&(r[s].scope=n);for(let s in r){let a=r[s];a.kind==="fn"&&_(a.node,n,o);}let i=[];for(let s of e)if(s.type!=="FunctionDeclaration"){if(s.type==="VariableDeclaration"){let a=p(s).declarations??[];for(let c of a){let u=p(c).id,l=p(c).init,v=B(u);if(v&&l&&h(l)){let D=childScope(n,{[v]:{kind:"fn",node:l,scope:n}});_(l,D,o),n=D;}else l&&i.push(m(l,n,o)),v&&(n=childScope(n,{[v]:{kind:"value"}}));}continue}i.push(m(s,n,o));}return R(i)}function Oe(e,t,o){let n=p(e).callee,r=p(e).arguments??[],i=r.map(c=>h(c)?E:m(c,t,o)),s=r.map(c=>he(c,t,o)),a=be(n,s,t,o);return R([a,...i])}function he(e,t,o){if(h(e))return O(e,t,o).latent;if(e.type==="Identifier"){let n=lookup(t,B(e));if(!n)return null;if(n.kind==="fn")return O(n.node,n.scope,o).latent;if(n.kind==="param")return C(n.var);if(n.kind==="capability")return $(n.decl,[])}return null}function be(e,t,o,n){if(!e)return E;if(e.type==="Identifier"){let r=lookup(o,B(e));if(!r)return E;switch(r.kind){case "capability":return $(r.decl,t);case "fn":return V(O(r.node,r.scope,n),t);case "param":return C(r.var);case "value":return E}}if(h(e))return V(O(e,o,n),t);if(e.type==="MemberExpression"){let r=Ne(e),i=r&&(n.env[r.path]??n.env[r.root]);if(i)return $(i,t)}return m(e,o,n)}function G(e,t={}){let o=t.env??{},n=L(t.rules??M,o),r=z(o);if(t.root&&t.root!==e){m(t.root,r,n);let i=n.schemeOf.get(e);if(i)return N(i.latent)}return h(e)?N(O(e,r,n).latent):N(m(e,r,n))}function H(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.schemeOf)r.set(i,N(s.latent));return r}function K(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.nodeEff)r.set(i,N(s));return r}var ee=e=>e.size?`{ ${[...e].sort().join(", ")} }`:"pure";function Y(e,t,o){let n=G(e,o),r=W(n,t);return r.length===0?[]:[{node:e,declared:t,inferred:n,excess:r,message:`Effect contract violated: declared ${ee(t)} but infers ${ee(n)} \u2014 not allowed: ${r.join(", ")}.`}]}function te(e){switch(e){case "pure":return T;case "io":return I("io");case "any":return null}}function ke(e,t,o){let n=te(t);return n===null?[]:Y(e,n,o)}var b=e=>e,S=e=>e&&e.type==="Identifier"?b(e).name:void 0,x=(e,t)=>b(e)[t],De=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),F=e=>De.has(e.type);function Ve(e){if(!e)return null;if(e.type==="Identifier"){let t=S(e);return {path:t,root:t}}if(e.type==="MemberExpression"){let t=b(e).object,o=b(e).property,n=b(e).computed,r=S(t);if(!r)return null;let i=n?void 0:S(o);return {path:i?`${r}.${i}`:r,root:r}}return null}function ne(e){let{categories:t,matrix:o}=e,n=o.defaultPolicy??"allow",r=s=>t[s.path]??t[s.root],i=(s,a)=>o.rules[s]?.[a]??n;return (s,a)=>{if(!a)return null;let c=t[a];if(c===void 0)return null;let u=Ve(x(s,"callee"));if(!u)return null;let l=r(u);return l===void 0||i(c,l)!=="deny"?null:{call:s,from:a,to:u.path,fromCategory:c,toCategory:l,message:`Policy violated: ${c} '${a}' must not call ${l} '${u.path}' (${c} \u2192 ${l} is deny).`}}}var re=e=>e.type==="CallExpression"||e.type==="NewExpression";function Ce(e,t){let o=ne(t),n=[],r=(i,s)=>{if(re(i)){let a=o(i,s);a&&n.push(a);}if(i.type==="VariableDeclaration"){for(let a of b(i).declarations??[]){let c=x(a,"init");if(!c)continue;let u=F(c)?S(x(a,"id"))??s:s;r(c,u);}return}if(i.type==="FunctionDeclaration"){let a=S(x(i,"id"))??s;forEachChild(i,c=>r(c,a));return}forEachChild(i,a=>r(a,s));};return r(e,null),n}function se(e){let t=ne(e),o=new Map,n=[],r=()=>n.length?n[n.length-1]:null,i=null;return {enter(s){if(s.type==="VariableDeclarator"){let a=x(s,"init"),c=S(x(s,"id"));a&&F(a)&&c&&(i={name:c,fn:a});}if(F(s)){let a=i&&i.fn===s?i.name:s.type==="FunctionDeclaration"?S(x(s,"id"))??r():r();n.push(a),i=null;}if(re(s)){let a=t(s,r());a&&o.set(s,a);}},exit(s){F(s)&&n.pop();},result:()=>o}}var w=e=>e,Pe=e=>e&&e.type==="Identifier"?w(e).name:void 0,f=(e,t)=>w(e)[t],g=(e,t)=>w(e)[t]??[];function y(e,t){if(e)switch(e.type){case "Identifier":t.add(w(e).name);return;case "AssignmentPattern":y(f(e,"left"),t);return;case "RestElement":y(f(e,"argument"),t);return;case "ArrayPattern":for(let o of g(e,"elements"))y(o,t);return;case "ObjectPattern":for(let o of g(e,"properties"))o.type==="RestElement"?y(f(o,"argument"),t):y(f(o,"value"),t);return}}function Me(e){let t=new Set;for(let o of e)if(o.type==="VariableDeclaration")for(let n of g(o,"declarations"))y(f(n,"id"),t);else if(o.type==="FunctionDeclaration"){let n=Pe(f(o,"id"));n&&t.add(n);}return t}var d=(e,t)=>{for(let o of t)e.add(o);},k=(e,t)=>{for(let o of t)e.delete(o);},fe=new Set,ie=e=>new Set(e);function J(e,t){let o=new Set;switch(e.type){case "Identifier":o.add(w(e).name);break;case "MemberExpression":{d(o,t(f(e,"object"))),w(e).computed&&d(o,t(f(e,"property")));break}case "Property":{w(e).computed&&d(o,t(f(e,"key"))),d(o,t(f(e,"value")));break}case "ArrowFunctionExpression":case "FunctionExpression":case "FunctionDeclaration":{let n=g(e,"params"),r=new Set;for(let i of n)y(i,r),i.type==="AssignmentPattern"&&d(o,t(f(i,"right")));d(o,t(f(e,"body"))),k(o,r);break}case "BlockStatement":case "Program":{let n=g(e,"body");for(let r of n)d(o,t(r));k(o,Me(n));break}case "VariableDeclarator":{d(o,t(f(e,"init")));let n=f(e,"id");n&&n.type!=="Identifier"&&A(n,o,t);break}case "CatchClause":{let n=new Set;y(f(e,"param"),n),d(o,t(f(e,"body"))),k(o,n);break}case "LabeledStatement":d(o,t(f(e,"body")));break;case "BreakStatement":case "ContinueStatement":break;case "ForInStatement":case "ForOfStatement":{let n=f(e,"left");d(o,t(f(e,"right")));let r=new Set;if(n.type==="VariableDeclaration")for(let s of g(n,"declarations"))y(f(s,"id"),r);else y(n,r);let i=ie(t(f(e,"body")));k(i,r),d(o,i);break}case "ForStatement":{let n=f(e,"init"),r=new Set;if(n){if(n.type==="VariableDeclaration")for(let i of g(n,"declarations"))y(f(i,"id"),r);d(o,t(n));}for(let i of ["test","update","body"]){let s=ie(t(f(e,i)));k(s,r),d(o,s);}break}default:forEachChild(e,n=>d(o,t(n)));break}return o}function ce(e,t={}){let o=new Map,n=new Set(t.globals??[]),r=i=>{if(!i)return fe;let s=J(i,r);return k(s,n),o.set(i,s),s};return r(e),o}function A(e,t,o){if(e.type==="AssignmentPattern")d(t,o(f(e,"right"))),A(f(e,"left"),t,o);else if(e.type==="ArrayPattern")for(let n of g(e,"elements"))n&&A(n,t,o);else if(e.type==="ObjectPattern")for(let n of g(e,"properties")){w(n).computed&&d(t,o(f(n,"key")));let r=f(n,"value")??f(n,"argument");r&&A(r,t,o);}}function Fe(e,t){return ce(e,t).get(e)??new Set}function q(e,t){if(e){if(e.type==="MemberExpression"){q(f(e,"object"),t);return}y(e,t);}}function de(e){let t=new Map,o=n=>{if(!n)return fe;let r=new Set;return n.type==="AssignmentExpression"?q(f(n,"left"),r):n.type==="UpdateExpression"&&q(f(n,"argument"),r),forEachChild(n,i=>d(r,o(i))),t.set(n,r),r};return o(e),t}function Ae(e){return de(e).get(e)??new Set}function Ie(e,t){return {root:e,diagnostics:t.diagnostics,typeOf:o=>t.overlay.get(o)?.type,scopeOf:o=>t.overlay.get(o)?.scope}}function Ue(e,t){let o=new Map,n={tree:e,read:s=>o.get(s.name)},r=t.filter(s=>!!s.visitor),i=t.filter(s=>!s.visitor&&s.run);if(r.length){let s=a=>{for(let c of r)c.visitor.enter?.(a,n);forEachChild(a,s);for(let c=r.length-1;c>=0;c--)r[c].visitor.exit?.(a,n);};s(e.root);for(let a of r)o.set(a.name,a.visitor.result());}for(let s of i)o.set(s.name,s.run(n));return o}var le=new Set,je=(e,t)=>({name:"effects",run:o=>H(o.tree.root,{env:e,rules:t})}),We=(e,t)=>({name:"nodeEffects",run:o=>K(o.tree.root,{env:e,rules:t})}),$e=e=>({name:"deps",visitor:(()=>{let t=new Set(e?.globals??[]),o=new Map;return {exit(n){let r=J(n,i=>i?o.get(i)??le:le);for(let i of t)r.delete(i);o.set(n,r);},result:()=>o}})()}),_e=e=>({name:"policies",visitor:se(e)});export{M as DEFAULT_RULES,T as PURE,E as PURE_ROW,j as PURE_SCHEME,Ue as analyze,ke as checkEffectPolicy,Y as checkEffects,Ce as checkPolicies,ce as deps,$e as depsOverlay,I as effect,te as effectCeiling,Ee as effectEnv,K as effectsByNode,je as effectsOverlay,H as effectsOverlayOf,W as excess,ge as forwardEffect,Fe as freeVars,N as groundRow,G as inferEffects,V as instantiateScheme,pe as join,R as joinRows,We as nodeEffectsOverlay,_e as policiesOverlay,U as rowOf,C as rowOfVar,X as substituteRow,Ie as typedTreeOf,ye as within,Ae as writeTargets,de as writes};
+import {forEachChild,rootScope,childScope,lookup}from'@tslite/core';var T=new Set,I=(...e)=>new Set(e),E={atoms:new Set,vars:new Set},U=(...e)=>({atoms:new Set(e),vars:new Set}),C=e=>({atoms:new Set,vars:new Set([e])}),R=e=>{let t=new Set,o=new Set;for(let n of e){for(let r of n.atoms)t.add(r);for(let r of n.vars)o.add(r);}return {atoms:t,vars:o}},X=(e,t)=>{let o=new Set(e.atoms),n=new Set;for(let r of e.vars){let i=t.get(r);if(i){for(let s of i.atoms)o.add(s);for(let s of i.vars)n.add(s);}else n.add(r);}return {atoms:o,vars:n}},j={params:[],latent:E},V=(e,t)=>{let o=new Map;return e.params.forEach((n,r)=>{let i=t[r];n&&i&&o.set(n,i);}),X(e.latent,o)},B=e=>new Set(e.atoms),pe=e=>{let t=new Set;for(let o of e)for(let n of o)t.add(n);return t},ye=(e,t)=>{for(let o of e)if(!t.has(o))return  false;return  true},W=(e,t)=>[...e].filter(o=>!t.has(o));var Ee=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]=new Set(n);return t},ge=(e,t,o=[])=>{let n=new Array(t).fill(null),r="\u03B5";return n[e]=r,{params:n,latent:{atoms:new Set(o),vars:new Set([r])}}},M={nodeEffects:{ForStatement:"loops",ForInStatement:"loops",ForOfStatement:"loops",WhileStatement:"loops",DoWhileStatement:"loops",AssignmentExpression:"mutates",UpdateExpression:"mutates"}},ve=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),h=e=>ve.has(e.type),p=e=>e,we=e=>p(e).body,Re=e=>p(e).params??[],N=e=>e&&e.type==="Identifier"?p(e).name:void 0,Be=e=>{let t=p(e).object,o=p(e).property,n=N(t);if(!n)return null;let r=p(e).computed?void 0:N(o);return {path:r?`${n}.${r}`:n,root:n}},Ne=e=>typeof e=="object"&&e!==null&&"latent"in e,$=(e,t)=>Ne(e)?V(e,t):{atoms:new Set(e),vars:new Set},L=(e,t)=>{let o=0;return {rules:e,env:t,schemeOf:new Map,nodeEff:new Map,active:new Set,fresh:()=>`\u03B5${o++}`}},z=e=>{let t={};for(let[o,n]of Object.entries(e))t[o]={kind:"capability",decl:n};return rootScope(t)};function O(e,t,o){let n=o.schemeOf.get(e);if(n)return n;if(o.active.has(e))return j;o.active.add(e);let r=Re(e),i=r.map(v=>v.type==="Identifier"?o.fresh():null),s={};r.forEach((v,D)=>{let Q=N(v);Q&&i[D]&&(s[Q]={kind:"param",var:i[D]});});let a=childScope(t,s),c=we(e),u=c?m(c,a,o):E,l={params:i,latent:u};return o.active.delete(e),o.schemeOf.set(e,l),l}function _(e,t,o){O(e,t,o);}function m(e,t,o){let n=Se(e,t,o);return o.nodeEff.set(e,n),n}function Se(e,t,o){let n=o.rules.nodeEffects[e.type],r=n?U(n):E;if(h(e))return _(e,t,o),r;if(e.type==="CallExpression")return R([r,Oe(e,t,o)]);if(e.type==="BlockStatement"||e.type==="Program"){let s=p(e).body??[];return R([r,xe(s,t,o)])}let i=[r];return forEachChild(e,s=>i.push(m(s,t,o))),R(i)}function xe(e,t,o){let n=t,r={};for(let s of e)if(s.type==="FunctionDeclaration"){let a=N(p(s).id);a&&(r[a]={kind:"fn",node:s,scope:n});}Object.keys(r).length&&(n=childScope(n,r));for(let s in r)r[s].kind==="fn"&&(r[s].scope=n);for(let s in r){let a=r[s];a.kind==="fn"&&_(a.node,n,o);}let i=[];for(let s of e)if(s.type!=="FunctionDeclaration"){if(s.type==="VariableDeclaration"){let a=p(s).declarations??[];for(let c of a){let u=p(c).id,l=p(c).init,v=N(u);if(v&&l&&h(l)){let D=childScope(n,{[v]:{kind:"fn",node:l,scope:n}});_(l,D,o),n=D;}else l&&i.push(m(l,n,o)),v&&(n=childScope(n,{[v]:{kind:"value"}}));}continue}i.push(m(s,n,o));}return R(i)}function Oe(e,t,o){let n=p(e).callee,r=p(e).arguments??[],i=r.map(c=>h(c)?E:m(c,t,o)),s=r.map(c=>he(c,t,o)),a=be(n,s,t,o);return R([a,...i])}function he(e,t,o){if(h(e))return O(e,t,o).latent;if(e.type==="Identifier"){let n=lookup(t,N(e));if(!n)return null;if(n.kind==="fn")return O(n.node,n.scope,o).latent;if(n.kind==="param")return C(n.var);if(n.kind==="capability")return $(n.decl,[])}return null}function be(e,t,o,n){if(!e)return E;if(e.type==="Identifier"){let r=lookup(o,N(e));if(!r)return E;switch(r.kind){case "capability":return $(r.decl,t);case "fn":return V(O(r.node,r.scope,n),t);case "param":return C(r.var);case "value":return E}}if(h(e))return V(O(e,o,n),t);if(e.type==="MemberExpression"){let r=Be(e),i=r&&(n.env[r.path]??n.env[r.root]);if(i)return $(i,t)}return m(e,o,n)}function G(e,t={}){let o=t.env??{},n=L(t.rules??M,o),r=z(o);if(t.root&&t.root!==e){m(t.root,r,n);let i=n.schemeOf.get(e);if(i)return B(i.latent)}return h(e)?B(O(e,r,n).latent):B(m(e,r,n))}function H(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.schemeOf)r.set(i,B(s.latent));return r}function K(e,t={}){let o=t.env??{},n=L(t.rules??M,o);m(e,z(o),n);let r=new Map;for(let[i,s]of n.nodeEff)r.set(i,B(s));return r}var ee=e=>e.size?`{ ${[...e].sort().join(", ")} }`:"pure";function Y(e,t,o){let n=G(e,o),r=W(n,t);return r.length===0?[]:[{node:e,declared:t,inferred:n,excess:r,message:`Effect contract violated: declared ${ee(t)} but infers ${ee(n)} \u2014 not allowed: ${r.join(", ")}.`}]}function te(e){switch(e){case "pure":return T;case "io":return I("io");case "any":return null}}function ke(e,t,o){let n=te(t);return n===null?[]:Y(e,n,o)}var b=e=>e,S=e=>e&&e.type==="Identifier"?b(e).name:void 0,x=(e,t)=>b(e)[t],De=new Set(["ArrowFunctionExpression","FunctionExpression","FunctionDeclaration"]),F=e=>De.has(e.type);function Ve(e){if(!e)return null;if(e.type==="Identifier"){let t=S(e);return {path:t,root:t}}if(e.type==="MemberExpression"){let t=b(e).object,o=b(e).property,n=b(e).computed,r=S(t);if(!r)return null;let i=n?void 0:S(o);return {path:i?`${r}.${i}`:r,root:r}}return null}function ne(e){let{categories:t,matrix:o}=e,n=o.defaultPolicy??"allow",r=s=>t[s.path]??t[s.root],i=(s,a)=>o.rules[s]?.[a]??n;return (s,a)=>{if(!a)return null;let c=t[a];if(c===void 0)return null;let u=Ve(x(s,"callee"));if(!u)return null;let l=r(u);return l===void 0||i(c,l)!=="deny"?null:{call:s,from:a,to:u.path,fromCategory:c,toCategory:l,message:`Policy violated: ${c} '${a}' must not call ${l} '${u.path}' (${c} \u2192 ${l} is deny).`}}}var re=e=>e.type==="CallExpression";function Ce(e,t){let o=ne(t),n=[],r=(i,s)=>{if(re(i)){let a=o(i,s);a&&n.push(a);}if(i.type==="VariableDeclaration"){for(let a of b(i).declarations??[]){let c=x(a,"init");if(!c)continue;let u=F(c)?S(x(a,"id"))??s:s;r(c,u);}return}if(i.type==="FunctionDeclaration"){let a=S(x(i,"id"))??s;forEachChild(i,c=>r(c,a));return}forEachChild(i,a=>r(a,s));};return r(e,null),n}function se(e){let t=ne(e),o=new Map,n=[],r=()=>n.length?n[n.length-1]:null,i=null;return {enter(s){if(s.type==="VariableDeclarator"){let a=x(s,"init"),c=S(x(s,"id"));a&&F(a)&&c&&(i={name:c,fn:a});}if(F(s)){let a=i&&i.fn===s?i.name:s.type==="FunctionDeclaration"?S(x(s,"id"))??r():r();n.push(a),i=null;}if(re(s)){let a=t(s,r());a&&o.set(s,a);}},exit(s){F(s)&&n.pop();},result:()=>o}}var w=e=>e,Pe=e=>e&&e.type==="Identifier"?w(e).name:void 0,f=(e,t)=>w(e)[t],g=(e,t)=>w(e)[t]??[];function y(e,t){if(e)switch(e.type){case "Identifier":t.add(w(e).name);return;case "AssignmentPattern":y(f(e,"left"),t);return;case "RestElement":y(f(e,"argument"),t);return;case "ArrayPattern":for(let o of g(e,"elements"))y(o,t);return;case "ObjectPattern":for(let o of g(e,"properties"))o.type==="RestElement"?y(f(o,"argument"),t):y(f(o,"value"),t);return}}function Me(e){let t=new Set;for(let o of e)if(o.type==="VariableDeclaration")for(let n of g(o,"declarations"))y(f(n,"id"),t);else if(o.type==="FunctionDeclaration"){let n=Pe(f(o,"id"));n&&t.add(n);}return t}var d=(e,t)=>{for(let o of t)e.add(o);},k=(e,t)=>{for(let o of t)e.delete(o);},fe=new Set,ie=e=>new Set(e);function J(e,t){let o=new Set;switch(e.type){case "Identifier":o.add(w(e).name);break;case "MemberExpression":{d(o,t(f(e,"object"))),w(e).computed&&d(o,t(f(e,"property")));break}case "Property":{w(e).computed&&d(o,t(f(e,"key"))),d(o,t(f(e,"value")));break}case "ArrowFunctionExpression":case "FunctionExpression":case "FunctionDeclaration":{let n=g(e,"params"),r=new Set;for(let i of n)y(i,r),i.type==="AssignmentPattern"&&d(o,t(f(i,"right")));d(o,t(f(e,"body"))),k(o,r);break}case "BlockStatement":case "Program":{let n=g(e,"body");for(let r of n)d(o,t(r));k(o,Me(n));break}case "VariableDeclarator":{d(o,t(f(e,"init")));let n=f(e,"id");n&&n.type!=="Identifier"&&A(n,o,t);break}case "CatchClause":{let n=new Set;y(f(e,"param"),n),d(o,t(f(e,"body"))),k(o,n);break}case "LabeledStatement":d(o,t(f(e,"body")));break;case "BreakStatement":case "ContinueStatement":break;case "ForInStatement":case "ForOfStatement":{let n=f(e,"left");d(o,t(f(e,"right")));let r=new Set;if(n.type==="VariableDeclaration")for(let s of g(n,"declarations"))y(f(s,"id"),r);else y(n,r);let i=ie(t(f(e,"body")));k(i,r),d(o,i);break}case "ForStatement":{let n=f(e,"init"),r=new Set;if(n){if(n.type==="VariableDeclaration")for(let i of g(n,"declarations"))y(f(i,"id"),r);d(o,t(n));}for(let i of ["test","update","body"]){let s=ie(t(f(e,i)));k(s,r),d(o,s);}break}default:forEachChild(e,n=>d(o,t(n)));break}return o}function ce(e,t={}){let o=new Map,n=new Set(t.globals??[]),r=i=>{if(!i)return fe;let s=J(i,r);return k(s,n),o.set(i,s),s};return r(e),o}function A(e,t,o){if(e.type==="AssignmentPattern")d(t,o(f(e,"right"))),A(f(e,"left"),t,o);else if(e.type==="ArrayPattern")for(let n of g(e,"elements"))n&&A(n,t,o);else if(e.type==="ObjectPattern")for(let n of g(e,"properties")){w(n).computed&&d(t,o(f(n,"key")));let r=f(n,"value")??f(n,"argument");r&&A(r,t,o);}}function Fe(e,t){return ce(e,t).get(e)??new Set}function q(e,t){if(e){if(e.type==="MemberExpression"){q(f(e,"object"),t);return}y(e,t);}}function de(e){let t=new Map,o=n=>{if(!n)return fe;let r=new Set;return n.type==="AssignmentExpression"?q(f(n,"left"),r):n.type==="UpdateExpression"&&q(f(n,"argument"),r),forEachChild(n,i=>d(r,o(i))),t.set(n,r),r};return o(e),t}function Ae(e){return de(e).get(e)??new Set}function Ie(e,t){return {root:e,diagnostics:t.diagnostics,typeOf:o=>t.overlay.get(o)?.type,scopeOf:o=>t.overlay.get(o)?.scope}}function Ue(e,t){let o=new Map,n={tree:e,read:s=>o.get(s.name)},r=t.filter(s=>!!s.visitor),i=t.filter(s=>!s.visitor&&s.run);if(r.length){let s=a=>{for(let c of r)c.visitor.enter?.(a,n);forEachChild(a,s);for(let c=r.length-1;c>=0;c--)r[c].visitor.exit?.(a,n);};s(e.root);for(let a of r)o.set(a.name,a.visitor.result());}for(let s of i)o.set(s.name,s.run(n));return o}var le=new Set,je=(e,t)=>({name:"effects",run:o=>H(o.tree.root,{env:e,rules:t})}),We=(e,t)=>({name:"nodeEffects",run:o=>K(o.tree.root,{env:e,rules:t})}),$e=e=>({name:"deps",visitor:(()=>{let t=new Set(e?.globals??[]),o=new Map;return {exit(n){let r=J(n,i=>i?o.get(i)??le:le);for(let i of t)r.delete(i);o.set(n,r);},result:()=>o}})()}),_e=e=>({name:"policies",visitor:se(e)});export{M as DEFAULT_RULES,T as PURE,E as PURE_ROW,j as PURE_SCHEME,Ue as analyze,ke as checkEffectPolicy,Y as checkEffects,Ce as checkPolicies,ce as deps,$e as depsOverlay,I as effect,te as effectCeiling,Ee as effectEnv,K as effectsByNode,je as effectsOverlay,H as effectsOverlayOf,W as excess,ge as forwardEffect,Fe as freeVars,B as groundRow,G as inferEffects,V as instantiateScheme,pe as join,R as joinRows,We as nodeEffectsOverlay,_e as policiesOverlay,U as rowOf,C as rowOfVar,X as substituteRow,Ie as typedTreeOf,ye as within,Ae as writeTargets,de as writes};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tslite/analysis",
-  "version": "0.2.3",
+  "version": "0.2.5",
   "description": "TSLite analysis — behavior/effect overlays over the AST (effect inference + propagation + contracts)",
   "type": "module",
   "main": "./dist/index.cjs",
@@ -39,9 +39,9 @@
     "access": "public"
   },
   "dependencies": {
-    "@tslite/core": "0.6.0",
-    "@tslite/checker": "0.7.2",
-    "@tslite/capability": "0.2.0"
+    "@tslite/core": "0.8.0",
+    "@tslite/capability": "0.4.0",
+    "@tslite/checker": "0.8.1"
   },
   "scripts": {
     "build": "tsup",