@directive-run/svelte 0.1.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Jason Comes
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,39 @@
+# @directive-run/svelte
+
+Svelte stores adapter for Directive. Provides `Readable` store-based hooks and store factories for reading facts, derivations, and dispatching events.
+
+## Install
+
+```bash
+npm install @directive-run/core @directive-run/svelte
+```
+
+## Usage
+
+```svelte
+<script>
+  import { useFact, useDerived, useEvents } from "@directive-run/svelte";
+
+  const count = useFact(system, "count");
+  const doubled = useDerived(system, "doubled");
+  const events = useEvents(system);
+</script>
+
+<p>Count: {$count} (doubled: {$doubled})</p>
+<button on:click={() => events.increment()}>+</button>
+```
+
+## Exports
+
+`useFact`, `useDerived`, `useSelector`, `useDispatch`, `useEvents`, `useWatch`, `useInspect`, `useRequirementStatus`, `useExplain`, `useConstraintStatus`, `useOptimisticUpdate`, `useTimeTravel`, `useDirective`, `createTypedHooks`, `createFactStore`, `createDerivedStore`, `createDerivedsStore`, `createInspectStore`, `shallowEqual`
+
+## Peer Dependencies
+
+- `svelte >= 4`
+- `@directive-run/core`
+
+## License
+
+MIT
+
+[Full documentation](https://directive.run/docs)

package/dist/index.cjs

@@ -0,0 +1,2 @@
+'use strict';var svelte=require('svelte'),store=require('svelte/store'),core=require('@directive-run/core'),adapterUtils=require('@directive-run/core/adapter-utils');function w(e,t){return process.env.NODE_ENV!=="production"&&e.read(t)===void 0&&console.warn(`[Directive] createDerivedStore("${t}") returned undefined. Check that "${t}" is defined in your module's derive property.`),store.readable(e.read(t),s=>e.subscribe([t],()=>{s(e.read(t));}))}function C(e,t){let s=()=>{let r={};for(let n of t)r[n]=e.read(n);return r};return store.readable(s(),r=>e.subscribe(t,()=>{r(s());}))}function E(e,t){return process.env.NODE_ENV!=="production"&&(e.facts.$store.has(t)||console.warn(`[Directive] createFactStore("${t}") \u2014 fact not found in store. Check that "${t}" is defined in your module's schema.`)),store.readable(e.facts.$store.get(t),s=>e.facts.$store.subscribe([t],()=>{s(e.facts.$store.get(t));}))}function j(e){return store.readable(e.inspect(),t=>{let s=()=>t(e.inspect()),r=e.facts.$store.subscribeAll(s),n=e.onSettledChange(s);return ()=>{r(),n();}})}function V(e,t){return adapterUtils.assertSystem("useFact",e),process.env.NODE_ENV!=="production"&&typeof t=="function"&&console.error("[Directive] useFact() received a function. Did you mean useSelector()? useFact() takes a string key or array of keys, not a selector function."),Array.isArray(t)?$(e,t):E(e,t)}function $(e,t){let s=()=>{let r={};for(let n of t)r[n]=e.facts.$store.get(n);return r};return store.readable(s(),r=>e.facts.$store.subscribe(t,()=>{r(s());}))}function q(e,t){return adapterUtils.assertSystem("useDerived",e),process.env.NODE_ENV!=="production"&&typeof t=="function"&&console.error("[Directive] useDerived() received a function. Did you mean useSelector()? useDerived() takes a string key or array of keys, not a selector function."),Array.isArray(t)?C(e,t):w(e,t)}function z(e,t,s=adapterUtils.defaultEquality){adapterUtils.assertSystem("useSelector",e);let r=new Set(Object.keys(e.derive??{})),n=()=>adapterUtils.runTrackedSelector(e,r,t),o=n();return store.readable(o.value,a=>{let S=o.value,p=o.factKeys,f=o.deriveKeys,d=[],y=()=>{for(let c of d)c();d.length=0;let b=()=>{let c=n();s(S,c.value)||(S=c.value,a(c.value)),adapterUtils.depsChanged(p,c.factKeys,f,c.deriveKeys)&&(p=c.factKeys,f=c.deriveKeys,y());};p.length>0?d.push(e.facts.$store.subscribe(p,b)):f.length===0&&d.push(e.facts.$store.subscribeAll(b)),f.length>0&&d.push(e.subscribe(f,b));};return y(),()=>{for(let b of d)b();}})}function O(e){return adapterUtils.assertSystem("useDispatch",e),t=>{e.dispatch(t);}}function A(e){return adapterUtils.assertSystem("useEvents",e),e.events}function P(e,t,s,r){adapterUtils.assertSystem("useWatch",e);let n=t==="fact"&&typeof s=="string"&&typeof r=="function",o=n?s:t,a=n?r:s,S=e.watch(o,a);svelte.onDestroy(S);}function H(e,t){return adapterUtils.assertSystem("useInspect",e),t?.throttleMs&&t.throttleMs>0?store.readable(adapterUtils.computeInspectState(e),s=>{let{throttled:r,cleanup:n}=adapterUtils.createThrottle(()=>{s(adapterUtils.computeInspectState(e));},t.throttleMs),o=e.facts.$store.subscribeAll(r),a=e.onSettledChange(r);return ()=>{n(),o(),a();}}):store.readable(adapterUtils.computeInspectState(e),s=>{let r=()=>s(adapterUtils.computeInspectState(e)),n=e.facts.$store.subscribeAll(r),o=e.onSettledChange(r);return ()=>{n(),o();}})}function L(e,t){if(Array.isArray(t)){let s=()=>{let r={};for(let n of t)r[n]=e.getStatus(n);return r};return store.readable(s(),r=>e.subscribe(()=>{r(s());}))}return store.readable(e.getStatus(t),s=>e.subscribe(()=>{s(e.getStatus(t));}))}function G(e,t){return adapterUtils.assertSystem("useExplain",e),store.readable(e.explain(t),s=>{let r=()=>s(e.explain(t)),n=e.facts.$store.subscribeAll(r),o=e.onSettledChange(r);return ()=>{n(),o();}})}function J(e,t){return adapterUtils.assertSystem("useConstraintStatus",e),store.readable(x(e,t),s=>{let r=()=>s(x(e,t)),n=e.facts.$store.subscribeAll(r),o=e.onSettledChange(r);return ()=>{n(),o();}})}function x(e,t){let s=e.inspect();return t?s.constraints.find(r=>r.id===t)??null:s.constraints}function Q(e,t,s){adapterUtils.assertSystem("useOptimisticUpdate",e);let r=false,n=null,o=null,a=null,S=new Set,p=new Set,f={subscribe(u){return u(r),S.add(u),()=>S.delete(u)}},d={subscribe(u){return u(n),p.add(u),()=>p.delete(u)}},y=u=>{r=u;for(let v of S)v(u);},b=u=>{n=u;for(let v of p)v(u);},c=()=>{o&&(e.restore(o),o=null),y(false),b(null),a?.(),a=null;},l=u=>{o=e.getSnapshot(),y(true),b(null),e.batch(u),t&&s&&(a?.(),a=t.subscribe(()=>{let v=t.getStatus(s);!v.isLoading&&!v.hasError?(o=null,y(false),a?.(),a=null):v.hasError&&(b(v.lastError),c());}));};return svelte.onDestroy(()=>{a?.();}),{mutate:l,isPending:f,error:d,rollback:c}}function X(e){return adapterUtils.assertSystem("useTimeTravel",e),store.readable(adapterUtils.buildTimeTravelState(e),t=>e.onTimeTravelChange(()=>t(adapterUtils.buildTimeTravelState(e))))}function Y(e,t){let s=[...t?.plugins??[]],r;if(t?.status){let l=core.createRequirementStatusPlugin();r=l,s.push(l.plugin);}let n=core.createSystem({module:e,plugins:s.length>0?s:void 0,debug:t?.debug,errorBoundary:t?.errorBoundary,tickMs:t?.tickMs,zeroConfig:t?.zeroConfig,initialFacts:t?.initialFacts});n.start(),svelte.onDestroy(()=>{n.destroy();});let o=t?.facts,a=t?.derived,S=!o&&!a,p=S?store.readable(n.facts.$store.toObject(),l=>n.facts.$store.subscribeAll(()=>{l(n.facts.$store.toObject());})):store.readable(adapterUtils.pickFacts(n,o??[]),l=>!o||o.length===0?()=>{}:n.facts.$store.subscribe(o,()=>{l(adapterUtils.pickFacts(n,o));})),f=S?Object.keys(n.derive??{}):a??[],d=()=>{let l={};for(let u of f)l[u]=n.read(u);return l},y=f.length>0?store.readable(d(),l=>n.subscribe(f,()=>{l(d());})):store.readable(d(),()=>()=>{}),b=n.events;return {system:n,facts:p,derived:y,events:b,dispatch:l=>n.dispatch(l),statusPlugin:r}}function Z(){return {useFact:(e,t)=>V(e,t),useDerived:(e,t)=>q(e,t),useDispatch:e=>t=>{e.dispatch(t);},useEvents:e=>A(e),useWatch:(e,t,s)=>P(e,t,s)}}Object.defineProperty(exports,"shallowEqual",{enumerable:true,get:function(){return adapterUtils.shallowEqual}});exports.createDerivedStore=w;exports.createDerivedsStore=C;exports.createFactStore=E;exports.createInspectStore=j;exports.createTypedHooks=Z;exports.useConstraintStatus=J;exports.useDerived=q;exports.useDirective=Y;exports.useDispatch=O;exports.useEvents=A;exports.useExplain=G;exports.useFact=V;exports.useInspect=H;exports.useOptimisticUpdate=Q;exports.useRequirementStatus=L;exports.useSelector=z;exports.useTimeTravel=X;exports.useWatch=P;//# sourceMappingURL=index.cjs.map
+//# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts"],"names":["createDerivedStore","system","derivationId","readable","set","createDerivedsStore","derivationIds","getValues","result","id","createFactStore","factKey","createInspectStore","update","unsubFacts","unsubSettled","useFact","keyOrKeys","assertSystem","_useFactMulti","factKeys","key","useDerived","idOrIds","useSelector","selector","equalityFn","defaultEquality","deriveKeySet","runWithTracking","runTrackedSelector","initial","currentSelected","trackedFactKeys","trackedDeriveKeys","unsubs","resubscribe","unsub","onUpdate","depsChanged","useDispatch","event","useEvents","useWatch","derivationIdOrKind","callbackOrFactKey","maybeCallback","isFact","callback","unsubscribe","onDestroy","useInspect","options","computeInspectState","throttled","cleanup","createThrottle","useRequirementStatus","statusPlugin","typeOrTypes","type","useExplain","requirementId","useConstraintStatus","constraintId","_getConstraintValue","inspection","c","useOptimisticUpdate","requirementType","isPendingValue","errorValue","snapshot","statusUnsub","pendingSubscribers","errorSubscribers","isPending","fn","error","setPending","v","setError","rollback","mutate","updateFn","status","useTimeTravel","buildTimeTravelState","useDirective","moduleDef","config","allPlugins","sp","createRequirementStatusPlugin","createSystem","derivedKeys","subscribeAll","factsStore","pickFacts","allDerivationKeys","getDerived","derivedStore","events","createTypedHooks"],"mappings":"sKA6DO,SAASA,CAAAA,CAEfC,CAAAA,CACAC,EACc,CACd,OAAI,OAAA,CAAQ,GAAA,CAAI,WAAa,YAAA,EACPD,CAAAA,CAAO,IAAA,CAAKC,CAAY,IACxB,MAAA,EACpB,OAAA,CAAQ,IAAA,CACP,CAAA,gCAAA,EAAmCA,CAAY,CAAA,mCAAA,EAChCA,CAAY,gDAC5B,CAAA,CAIKC,cAAAA,CAAYF,EAAO,IAAA,CAAKC,CAAY,CAAA,CAASE,CAAAA,EAC/BH,EAAO,SAAA,CAAU,CAACC,CAAY,CAAA,CAAG,IAAM,CAC1DE,CAAAA,CAAIH,CAAAA,CAAO,IAAA,CAAKC,CAAY,CAAM,EACnC,CAAC,CAED,CACF,CAKO,SAASG,CAAAA,CAEfJ,CAAAA,CACAK,CAAAA,CACc,CACd,IAAMC,CAAAA,CAAY,IAAS,CAC1B,IAAMC,CAAAA,CAAkC,EAAC,CACzC,IAAA,IAAWC,KAAMH,CAAAA,CAChBE,CAAAA,CAAOC,CAAE,CAAA,CAAIR,EAAO,IAAA,CAAKQ,CAAE,CAAA,CAE5B,OAAOD,CACR,CAAA,CAEA,OAAOL,cAAAA,CAAYI,CAAAA,GAAcH,CAAAA,EACZH,CAAAA,CAAO,SAAA,CAAUK,CAAAA,CAAe,IAAM,CACzDF,CAAAA,CAAIG,GAAW,EAChB,CAAC,CAED,CACF,CAKO,SAASG,EAEfT,CAAAA,CACAU,CAAAA,CAC0B,CAC1B,OAAI,QAAQ,GAAA,CAAI,QAAA,GAAa,YAAA,GACvBV,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIU,CAAO,CAAA,EACnC,OAAA,CAAQ,KACP,CAAA,6BAAA,EAAgCA,CAAO,CAAA,+CAAA,EACxBA,CAAO,uCACvB,CAAA,CAAA,CAIKR,cAAAA,CACNF,CAAAA,CAAO,KAAA,CAAM,OAAO,GAAA,CAAIU,CAAO,CAAA,CAC9BP,CAAAA,EACoBH,EAAO,KAAA,CAAM,MAAA,CAAO,UAAU,CAACU,CAAO,EAAG,IAAM,CAClEP,CAAAA,CAAIH,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIU,CAAO,CAAkB,EACtD,CAAC,CAGH,CACD,CAMO,SAASC,CAAAA,CAEfX,CAAAA,CAC6B,CAC7B,OAAOE,eAA2BF,CAAAA,CAAO,OAAA,EAAQ,CAAIG,CAAAA,EAAQ,CAC5D,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAIH,EAAO,OAAA,EAAS,CAAA,CACnCa,CAAAA,CAAab,EAAO,KAAA,CAAM,MAAA,CAAO,aAAaY,CAAM,CAAA,CACpDE,EAAed,CAAAA,CAAO,eAAA,CAAgBY,CAAM,CAAA,CAClD,OAAO,IAAM,CACZC,CAAAA,EAAW,CACXC,IACD,CACD,CAAC,CACF,CAWO,SAASC,CAAAA,CAEff,EACAgB,CAAAA,CACoB,CAUpB,OATAC,yBAAAA,CAAa,SAAA,CAAWjB,CAAM,CAAA,CAC1B,QAAQ,GAAA,CAAI,QAAA,GAAa,YAAA,EAAgB,OAAOgB,GAAc,UAAA,EACjE,OAAA,CAAQ,KAAA,CACP,gJAED,EAIG,KAAA,CAAM,OAAA,CAAQA,CAAS,CAAA,CACnBE,CAAAA,CAAclB,EAAQgB,CAAS,CAAA,CAIhCP,CAAAA,CAAgBT,CAAAA,CAAQgB,CAAS,CACzC,CAGA,SAASE,CAAAA,CAAclB,EAAiCmB,CAAAA,CAAuD,CAC9G,IAAMb,CAAAA,CAAY,IAA+B,CAChD,IAAMC,CAAAA,CAAkC,GACxC,IAAA,IAAWa,CAAAA,IAAOD,CAAAA,CACjBZ,CAAAA,CAAOa,CAAG,CAAA,CAAIpB,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,IAAIoB,CAAG,CAAA,CAE1C,OAAOb,CACR,EAEA,OAAOL,cAAAA,CAASI,GAAU,CAAIH,CAAAA,EACTH,EAAO,KAAA,CAAM,MAAA,CAAO,SAAA,CAAUmB,CAAAA,CAAU,IAAM,CACjEhB,CAAAA,CAAIG,CAAAA,EAAW,EAChB,CAAC,CAED,CACF,CAWO,SAASe,CAAAA,CAEfrB,CAAAA,CACAsB,EACoB,CAUpB,OATAL,0BAAa,YAAA,CAAcjB,CAAM,CAAA,CAC7B,OAAA,CAAQ,IAAI,QAAA,GAAa,YAAA,EAAgB,OAAOsB,CAAAA,EAAY,YAC/D,OAAA,CAAQ,KAAA,CACP,sJAED,CAAA,CAIG,MAAM,OAAA,CAAQA,CAAO,EACjBlB,CAAAA,CAAoBJ,CAAAA,CAAQsB,CAAO,CAAA,CAIpCvB,CAAAA,CAAmBC,CAAAA,CAAQsB,CAAO,CAC1C,CAmBO,SAASC,CAAAA,CAEfvB,CAAAA,CAEAwB,EACAC,CAAAA,CAAkDC,4BAAAA,CAC9B,CACpBT,yBAAAA,CAAa,cAAejB,CAAM,CAAA,CAClC,IAAM2B,CAAAA,CAAe,IAAI,GAAA,CAAI,MAAA,CAAO,IAAA,CAAK3B,CAAAA,CAAO,QAAU,EAAE,CAAC,CAAA,CAGvD4B,EAAkB,IAAMC,+BAAAA,CAAmB7B,CAAAA,CAAQ2B,CAAAA,CAAcH,CAAQ,CAAA,CAEzEM,CAAAA,CAAUF,GAAgB,CAEhC,OAAO1B,eAAS4B,CAAAA,CAAQ,KAAA,CAAQ3B,CAAAA,EAAQ,CACvC,IAAI4B,CAAAA,CAAkBD,CAAAA,CAAQ,KAAA,CAC1BE,CAAAA,CAAkBF,EAAQ,QAAA,CAC1BG,CAAAA,CAAoBH,CAAAA,CAAQ,UAAA,CAC1BI,EAA4B,EAAC,CAE7BC,EAAc,IAAM,CACzB,QAAWC,CAAAA,IAASF,CAAAA,CAAQE,CAAAA,EAAM,CAClCF,EAAO,MAAA,CAAS,CAAA,CAEhB,IAAMG,CAAAA,CAAW,IAAM,CACtB,IAAM9B,CAAAA,CAASqB,CAAAA,GACVH,CAAAA,CAAWM,CAAAA,CAAiBxB,EAAO,KAAK,CAAA,GAC5CwB,EAAkBxB,CAAAA,CAAO,KAAA,CACzBJ,CAAAA,CAAII,CAAAA,CAAO,KAAK,CAAA,CAAA,CAGb+B,wBAAAA,CAAYN,CAAAA,CAAiBzB,CAAAA,CAAO,SAAU0B,CAAAA,CAAmB1B,CAAAA,CAAO,UAAU,CAAA,GACrFyB,EAAkBzB,CAAAA,CAAO,QAAA,CACzB0B,CAAAA,CAAoB1B,CAAAA,CAAO,WAC3B4B,CAAAA,EAAY,EAEd,CAAA,CAEIH,CAAAA,CAAgB,OAAS,CAAA,CAC5BE,CAAAA,CAAO,IAAA,CAAKlC,CAAAA,CAAO,MAAM,MAAA,CAAO,SAAA,CAAUgC,CAAAA,CAAiBK,CAAQ,CAAC,CAAA,CAC1DJ,CAAAA,CAAkB,SAAW,CAAA,EACvCC,CAAAA,CAAO,KAAKlC,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,YAAA,CAAaqC,CAAQ,CAAC,CAAA,CAEnDJ,CAAAA,CAAkB,MAAA,CAAS,GAC9BC,CAAAA,CAAO,IAAA,CAAKlC,CAAAA,CAAO,SAAA,CAAUiC,EAAmBI,CAAQ,CAAC,EAE3D,CAAA,CAEA,OAAAF,GAAY,CAEL,IAAM,CACZ,IAAA,IAAWC,KAASF,CAAAA,CAAQE,CAAAA,GAC7B,CACD,CAAC,CACF,CAMO,SAASG,CAAAA,CACfvC,EACkC,CAClC,OAAAiB,0BAAa,aAAA,CAAejB,CAAM,EAC1BwC,CAAAA,EAA0B,CACjCxC,CAAAA,CAAO,QAAA,CAASwC,CAAK,EACtB,CACD,CASO,SAASC,EACfzC,CAAAA,CACkC,CAClC,OAAAiB,yBAAAA,CAAa,YAAajB,CAAM,CAAA,CACzBA,CAAAA,CAAO,MACf,CAoCO,SAAS0C,CAAAA,CAEf1C,CAAAA,CACA2C,CAAAA,CACAC,EACAC,CAAAA,CACO,CACP5B,yBAAAA,CAAa,UAAA,CAAYjB,CAAM,CAAA,CAE/B,IAAM8C,CAAAA,CACLH,CAAAA,GAAuB,QACvB,OAAOC,CAAAA,EAAsB,UAC7B,OAAOC,CAAAA,EAAkB,WAEpBzB,CAAAA,CAAM0B,CAAAA,CAAUF,CAAAA,CAA+BD,CAAAA,CAC/CI,EAAWD,CAAAA,CACdD,CAAAA,CACCD,CAAAA,CAEEI,CAAAA,CAAchD,EAAO,KAAA,CAAMoB,CAAAA,CAAK2B,CAAQ,CAAA,CAC9CE,iBAAUD,CAAW,EACtB,CAeO,SAASE,CAAAA,CAEflD,EACAmD,CAAAA,CACyB,CAEzB,OADAlC,yBAAAA,CAAa,aAAcjB,CAAM,CAAA,CAC7BmD,CAAAA,EAAS,UAAA,EAAcA,EAAQ,UAAA,CAAa,CAAA,CACxCjD,cAAAA,CAAuBkD,gCAAAA,CAAoBpD,CAAM,CAAA,CAAIG,CAAAA,EAAQ,CACnE,GAAM,CAAE,UAAAkD,CAAAA,CAAW,OAAA,CAAAC,CAAQ,CAAA,CAAIC,4BAAe,IAAM,CACnDpD,CAAAA,CAAIiD,gCAAAA,CAAoBpD,CAAM,CAAC,EAChC,CAAA,CAAGmD,CAAAA,CAAQ,UAAW,CAAA,CAEhBtC,CAAAA,CAAab,EAAO,KAAA,CAAM,MAAA,CAAO,aAAaqD,CAAS,CAAA,CACvDvC,CAAAA,CAAed,CAAAA,CAAO,gBAAgBqD,CAAS,CAAA,CAErD,OAAO,IAAM,CACZC,CAAAA,EAAQ,CACRzC,CAAAA,EAAW,CACXC,IACD,CACD,CAAC,CAAA,CAGKZ,cAAAA,CAAuBkD,iCAAoBpD,CAAM,CAAA,CAAIG,CAAAA,EAAQ,CACnE,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAIiD,gCAAAA,CAAoBpD,CAAM,CAAC,CAAA,CAC9Ca,CAAAA,CAAab,CAAAA,CAAO,MAAM,MAAA,CAAO,YAAA,CAAaY,CAAM,CAAA,CACpDE,CAAAA,CAAed,EAAO,eAAA,CAAgBY,CAAM,CAAA,CAElD,OAAO,IAAM,CACZC,CAAAA,EAAW,CACXC,CAAAA,GACD,CACD,CAAC,CACF,CAWO,SAAS0C,CAAAA,CACfC,CAAAA,CACAC,EACoF,CACpF,GAAI,MAAM,OAAA,CAAQA,CAAW,CAAA,CAAG,CAC/B,IAAMpD,CAAAA,CAAY,IAA6C,CAC9D,IAAMC,EAAgD,EAAC,CACvD,IAAA,IAAWoD,CAAAA,IAAQD,EAClBnD,CAAAA,CAAOoD,CAAI,CAAA,CAAIF,CAAAA,CAAa,UAAUE,CAAI,CAAA,CAE3C,OAAOpD,CACR,EAEA,OAAOL,cAAAA,CAASI,CAAAA,EAAU,CAAIH,GACTsD,CAAAA,CAAa,SAAA,CAAU,IAAM,CAChDtD,EAAIG,CAAAA,EAAW,EAChB,CAAC,CAED,CACF,CAEA,OAAOJ,cAAAA,CAAgCuD,CAAAA,CAAa,UAAUC,CAAW,CAAA,CAAIvD,CAAAA,EACxDsD,CAAAA,CAAa,UAAU,IAAM,CAChDtD,CAAAA,CAAIsD,CAAAA,CAAa,UAAUC,CAAW,CAAC,EACxC,CAAC,CAED,CACF,CASO,SAASE,CAAAA,CAEf5D,CAAAA,CACA6D,EAC0B,CAC1B,OAAA5C,yBAAAA,CAAa,YAAA,CAAcjB,CAAM,CAAA,CAC1BE,cAAAA,CAAwBF,CAAAA,CAAO,OAAA,CAAQ6D,CAAa,CAAA,CAAI1D,CAAAA,EAAQ,CACtE,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAIH,CAAAA,CAAO,OAAA,CAAQ6D,CAAa,CAAC,CAAA,CAChDhD,CAAAA,CAAab,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAaY,CAAM,CAAA,CACpDE,CAAAA,CAAed,EAAO,eAAA,CAAgBY,CAAM,CAAA,CAElD,OAAO,IAAM,CACZC,CAAAA,EAAW,CACXC,CAAAA,GACD,CACD,CAAC,CACF,CAgBO,SAASgD,CAAAA,CAEf9D,CAAAA,CACA+D,CAAAA,CACqD,CACrD,OAAA9C,yBAAAA,CAAa,qBAAA,CAAuBjB,CAAM,CAAA,CACnCE,cAAAA,CACN8D,EAAoBhE,CAAAA,CAAQ+D,CAAY,CAAA,CACvC5D,CAAAA,EAAQ,CACR,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAI6D,EAAoBhE,CAAAA,CAAQ+D,CAAY,CAAC,CAAA,CAC5DlD,EAAab,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAaY,CAAM,EACpDE,CAAAA,CAAed,CAAAA,CAAO,eAAA,CAAgBY,CAAM,EAElD,OAAO,IAAM,CACZC,CAAAA,GACAC,CAAAA,GACD,CACD,CACD,CACD,CAEA,SAASkD,EAERhE,CAAAA,CACA+D,CAAAA,CAC2C,CAC3C,IAAME,CAAAA,CAAajE,CAAAA,CAAO,OAAA,GAC1B,OAAK+D,CAAAA,CACEE,CAAAA,CAAW,WAAA,CAAY,KAAMC,CAAAA,EAAsBA,CAAAA,CAAE,EAAA,GAAOH,CAAY,GAAK,IAAA,CAD1DE,CAAAA,CAAW,WAEtC,CAiBO,SAASE,CAAAA,CAEfnE,CAAAA,CACAyD,CAAAA,CACAW,CAAAA,CACyB,CACzBnD,yBAAAA,CAAa,qBAAA,CAAuBjB,CAAM,CAAA,CAC1C,IAAIqE,CAAAA,CAAiB,KAAA,CACjBC,CAAAA,CAA2B,IAAA,CAC3BC,EAAkC,IAAA,CAClCC,CAAAA,CAAmC,KAGjCC,CAAAA,CAAqB,IAAI,IACzBC,CAAAA,CAAmB,IAAI,GAAA,CAEvBC,CAAAA,CAA+B,CACpC,SAAA,CAAUC,CAAAA,CAAI,CACb,OAAAA,EAAGP,CAAc,CAAA,CACjBI,CAAAA,CAAmB,GAAA,CAAIG,CAAE,CAAA,CAClB,IAAMH,EAAmB,MAAA,CAAOG,CAAE,CAC1C,CACD,CAAA,CAEMC,CAAAA,CAAgC,CACrC,UAAUD,CAAAA,CAAI,CACb,OAAAA,CAAAA,CAAGN,CAAU,CAAA,CACbI,CAAAA,CAAiB,GAAA,CAAIE,CAAE,EAChB,IAAMF,CAAAA,CAAiB,OAAOE,CAAE,CACxC,CACD,CAAA,CAEME,CAAAA,CAAcC,CAAAA,EAAe,CAClCV,EAAiBU,CAAAA,CACjB,IAAA,IAAWH,CAAAA,IAAMH,CAAAA,CAAoBG,EAAGG,CAAC,EAC1C,CAAA,CAEMC,CAAAA,CAAYD,GAAoB,CACrCT,CAAAA,CAAaS,CAAAA,CACb,IAAA,IAAWH,KAAMF,CAAAA,CAAkBE,CAAAA,CAAGG,CAAC,EACxC,EAEME,CAAAA,CAAW,IAAM,CAClBV,CAAAA,GACHvE,EAAO,OAAA,CAAQuE,CAAQ,CAAA,CACvBA,CAAAA,CAAW,MAEZO,CAAAA,CAAW,KAAK,EAChBE,CAAAA,CAAS,IAAI,EACbR,CAAAA,IAAc,CACdA,CAAAA,CAAc,KACf,EAEMU,CAAAA,CAAUC,CAAAA,EAAyB,CACxCZ,CAAAA,CAAWvE,EAAO,WAAA,EAAY,CAC9B8E,CAAAA,CAAW,IAAI,EACfE,CAAAA,CAAS,IAAI,EACbhF,CAAAA,CAAO,KAAA,CAAMmF,CAAQ,CAAA,CAEjB1B,CAAAA,EAAgBW,CAAAA,GACnBI,CAAAA,KACAA,CAAAA,CAAcf,CAAAA,CAAa,SAAA,CAAU,IAAM,CAC1C,IAAM2B,CAAAA,CAAS3B,CAAAA,CAAa,SAAA,CAAUW,CAAe,CAAA,CACjD,CAACgB,EAAO,SAAA,EAAa,CAACA,EAAO,QAAA,EAChCb,CAAAA,CAAW,IAAA,CACXO,CAAAA,CAAW,KAAK,CAAA,CAChBN,CAAAA,IAAc,CACdA,CAAAA,CAAc,MACJY,CAAAA,CAAO,QAAA,GACjBJ,CAAAA,CAASI,CAAAA,CAAO,SAAS,CAAA,CACzBH,CAAAA,EAAS,EAEX,CAAC,GAEH,CAAA,CAEA,OAAAhC,gBAAAA,CAAU,IAAM,CACfuB,CAAAA,KACD,CAAC,CAAA,CAEM,CAAE,MAAA,CAAAU,CAAAA,CAAQ,SAAA,CAAAP,CAAAA,CAAW,MAAAE,CAAAA,CAAO,QAAA,CAAAI,CAAS,CAC7C,CAgBO,SAASI,CAAAA,CAEfrF,CAAAA,CACmC,CACnC,OAAAiB,0BAAa,eAAA,CAAiBjB,CAAM,CAAA,CAC7BE,cAAAA,CAAiCoF,kCAAqBtF,CAAM,CAAA,CAAIG,CAAAA,EAC/DH,CAAAA,CAAO,mBAAmB,IAAMG,CAAAA,CAAImF,kCAAqBtF,CAAM,CAAC,CAAC,CACxE,CACF,CAqCO,SAASuF,EACfC,CAAAA,CACAC,CAAAA,CACC,CACD,IAAMC,EAAa,CAAC,GAAID,CAAAA,EAAQ,OAAA,EAAW,EAAG,CAAA,CAC1ChC,EAEJ,GAAIgC,CAAAA,EAAQ,OAAQ,CACnB,IAAME,CAAAA,CAAKC,kCAAAA,GACXnC,CAAAA,CAAekC,CAAAA,CAEfD,CAAAA,CAAW,IAAA,CAAKC,EAAG,MAAqB,EACzC,CAGA,IAAM3F,EAAS6F,iBAAAA,CAAa,CAC3B,MAAA,CAAQL,CAAAA,CACR,QAASE,CAAAA,CAAW,MAAA,CAAS,CAAA,CAAIA,CAAAA,CAAa,OAC9C,KAAA,CAAOD,CAAAA,EAAQ,KAAA,CACf,aAAA,CAAeA,GAAQ,aAAA,CACvB,MAAA,CAAQA,CAAAA,EAAQ,MAAA,CAChB,WAAYA,CAAAA,EAAQ,UAAA,CACpB,aAAcA,CAAAA,EAAQ,YACvB,CAAQ,CAAA,CAERzF,CAAAA,CAAO,KAAA,EAAM,CAEbiD,iBAAU,IAAM,CACfjD,CAAAA,CAAO,OAAA,GACR,CAAC,CAAA,CAED,IAAMmB,CAAAA,CAAWsE,GAAQ,KAAA,CACnBK,CAAAA,CAAcL,GAAQ,OAAA,CACtBM,CAAAA,CAAe,CAAC5E,CAAAA,EAAY,CAAC2E,CAAAA,CAG7BE,CAAAA,CAAsCD,EACzC7F,cAAAA,CAASF,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAAS,CAAqBG,CAAAA,EACrDH,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAa,IAAM,CAC7CG,CAAAA,CAAIH,CAAAA,CAAO,MAAM,MAAA,CAAO,QAAA,EAA2B,EACpD,CAAC,CACD,CAAA,CACCE,cAAAA,CAAS+F,sBAAAA,CAAUjG,EAAQmB,CAAAA,EAAY,EAAE,CAAA,CAAqBhB,GAC3D,CAACgB,CAAAA,EAAYA,CAAAA,CAAS,MAAA,GAAW,EAAU,IAAM,CAAC,CAAA,CAC/CnB,CAAAA,CAAO,MAAM,MAAA,CAAO,SAAA,CAAUmB,CAAAA,CAAU,IAAM,CACpDhB,CAAAA,CAAI8F,sBAAAA,CAAUjG,CAAAA,CAAQmB,CAAQ,CAAkB,EACjD,CAAC,CACD,CAAA,CAGI+E,CAAAA,CAAoBH,EAAe,MAAA,CAAO,IAAA,CAAK/F,CAAAA,CAAO,MAAA,EAAU,EAAE,CAAA,CAAK8F,CAAAA,EAAe,GACtFK,CAAAA,CAAa,IAA2B,CAC7C,IAAM5F,EAAkC,EAAC,CACzC,QAAWa,CAAAA,IAAO8E,CAAAA,CACjB3F,EAAOa,CAAG,CAAA,CAAIpB,CAAAA,CAAO,IAAA,CAAKoB,CAAG,CAAA,CAE9B,OAAOb,CACR,CAAA,CACM6F,EAA8CF,CAAAA,CAAkB,MAAA,CAAS,CAAA,CAC5EhG,cAAAA,CAASiG,GAAW,CAAIhG,CAAAA,EAClBH,EAAO,SAAA,CAAUkG,CAAAA,CAAmB,IAAM,CAChD/F,CAAAA,CAAIgG,CAAAA,EAAY,EACjB,CAAC,CACD,CAAA,CACCjG,cAAAA,CAASiG,GAAW,CAAG,IAAM,IAAM,CAAC,CAAC,CAAA,CAElCE,CAAAA,CAASrG,EAAO,MAAA,CAGtB,OAAO,CACN,MAAA,CAAAA,CAAAA,CACA,KAAA,CAAOgG,CAAAA,CACP,QAASI,CAAAA,CACT,MAAA,CAAAC,CAAAA,CACA,QAAA,CAPiB7D,GAA0BxC,CAAAA,CAAO,QAAA,CAASwC,CAAK,CAAA,CAQhE,aAAAiB,CACD,CACD,CAMO,SAAS6C,CAAAA,EAgBd,CACD,OAAO,CACN,OAAA,CAAS,CAAyCtG,EAA+BU,CAAAA,GAEhFK,CAAAA,CAAQf,CAAAA,CAAmCU,CAAO,EACnD,UAAA,CAAY,CAA+CV,CAAAA,CAA+BC,CAAAA,GAEzFoB,EAAWrB,CAAAA,CAAmCC,CAAY,EAC3D,WAAA,CAAcD,CAAAA,EACLwC,GAA0B,CACjCxC,CAAAA,CAAO,QAAA,CAASwC,CAAK,EACtB,CAAA,CAED,SAAA,CAAYxC,CAAAA,EAAkCyC,CAAAA,CAAazC,CAAM,CAAA,CACjE,QAAA,CAAU,CACTA,CAAAA,CACAoB,EACA2B,CAAAA,GAGAL,CAAAA,CAAS1C,EAAmCoB,CAAAA,CAAK2B,CAAQ,CAC3D,CACD","file":"index.cjs","sourcesContent":["/**\n * Svelte Adapter - Consolidated Svelte stores for Directive\n *\n * 15 active exports: useFact, useDerived, useDispatch, useSelector,\n * useWatch, useInspect, useRequirementStatus, useEvents, useExplain,\n * useConstraintStatus, useOptimisticUpdate, useDirective, useTimeTravel,\n * createTypedHooks, shallowEqual\n *\n * Store factories: createDerivedStore, createDerivedsStore, createFactStore, createInspectStore\n */\n\nimport { onDestroy } from \"svelte\";\nimport { readable, type Readable } from \"svelte/store\";\nimport type {\n\tModuleSchema,\n\tModuleDef,\n\tPlugin,\n\tDebugConfig,\n\tErrorBoundaryConfig,\n\tInferFacts,\n\tInferDerivations,\n\tInferSelectorState,\n\tInferEvents,\n\tSingleModuleSystem,\n\tSystemInspection,\n\tSystemSnapshot,\n\tTimeTravelState,\n} from \"@directive-run/core\";\nimport {\n\tcreateSystem,\n\tcreateRequirementStatusPlugin,\n} from \"@directive-run/core\";\nimport type { RequirementTypeStatus } from \"@directive-run/core\";\nimport {\n\ttype InspectState,\n\ttype ConstraintInfo,\n\tcomputeInspectState,\n\tcreateThrottle,\n\tassertSystem,\n\tdefaultEquality,\n\tbuildTimeTravelState,\n\tpickFacts,\n\trunTrackedSelector,\n\tdepsChanged,\n\tshallowEqual,\n} from \"@directive-run/core/adapter-utils\";\n\n// Re-export for convenience\nexport type { RequirementTypeStatus, InspectState, ConstraintInfo };\nexport { shallowEqual };\n\n/** Type for the requirement status plugin return value */\nexport type StatusPlugin = ReturnType<typeof createRequirementStatusPlugin>;\n\n// ============================================================================\n// Store Factories\n// ============================================================================\n\n/**\n * Create a Svelte store for a derived value.\n */\nexport function createDerivedStore<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n\tderivationId: string,\n): Readable<T> {\n\tif (process.env.NODE_ENV !== \"production\") {\n\t\tconst initialValue = system.read(derivationId);\n\t\tif (initialValue === undefined) {\n\t\t\tconsole.warn(\n\t\t\t\t`[Directive] createDerivedStore(\"${derivationId}\") returned undefined. ` +\n\t\t\t\t`Check that \"${derivationId}\" is defined in your module's derive property.`,\n\t\t\t);\n\t\t}\n\t}\n\n\treturn readable<T>(system.read(derivationId) as T, (set) => {\n\t\tconst unsubscribe = system.subscribe([derivationId], () => {\n\t\t\tset(system.read(derivationId) as T);\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n/**\n * Create a Svelte store for multiple derived values.\n */\nexport function createDerivedsStore<T extends Record<string, unknown>>(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n\tderivationIds: string[],\n): Readable<T> {\n\tconst getValues = (): T => {\n\t\tconst result: Record<string, unknown> = {};\n\t\tfor (const id of derivationIds) {\n\t\t\tresult[id] = system.read(id);\n\t\t}\n\t\treturn result as T;\n\t};\n\n\treturn readable<T>(getValues(), (set) => {\n\t\tconst unsubscribe = system.subscribe(derivationIds, () => {\n\t\t\tset(getValues());\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n/**\n * Create a Svelte store for a single fact value.\n */\nexport function createFactStore<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n\tfactKey: string,\n): Readable<T | undefined> {\n\tif (process.env.NODE_ENV !== \"production\") {\n\t\tif (!system.facts.$store.has(factKey)) {\n\t\t\tconsole.warn(\n\t\t\t\t`[Directive] createFactStore(\"${factKey}\") — fact not found in store. ` +\n\t\t\t\t`Check that \"${factKey}\" is defined in your module's schema.`,\n\t\t\t);\n\t\t}\n\t}\n\n\treturn readable<T | undefined>(\n\t\tsystem.facts.$store.get(factKey) as T | undefined,\n\t\t(set) => {\n\t\t\tconst unsubscribe = system.facts.$store.subscribe([factKey], () => {\n\t\t\t\tset(system.facts.$store.get(factKey) as T | undefined);\n\t\t\t});\n\t\t\treturn unsubscribe;\n\t\t},\n\t);\n}\n\n/**\n * Create a Svelte store for system inspection data.\n * NOTE: This updates on every fact change. Use sparingly in production.\n */\nexport function createInspectStore(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n): Readable<SystemInspection> {\n\treturn readable<SystemInspection>(system.inspect(), (set) => {\n\t\tconst update = () => set(system.inspect());\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\t\treturn () => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useFact — single key or multi key\n// ============================================================================\n\n/** Single key overload */\nexport function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKey: K): Readable<InferFacts<S>[K] | undefined>;\n/** Multi-key overload */\nexport function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKeys: K[]): Readable<Pick<InferFacts<S>, K>>;\n/** Implementation */\nexport function useFact(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\tkeyOrKeys: string | string[],\n): Readable<unknown> {\n\tassertSystem(\"useFact\", system);\n\tif (process.env.NODE_ENV !== \"production\" && typeof keyOrKeys === \"function\") {\n\t\tconsole.error(\n\t\t\t\"[Directive] useFact() received a function. Did you mean useSelector()? \" +\n\t\t\t\t\"useFact() takes a string key or array of keys, not a selector function.\",\n\t\t);\n\t}\n\n\t// Multi-key path: useFact(system, [keys])\n\tif (Array.isArray(keyOrKeys)) {\n\t\treturn _useFactMulti(system, keyOrKeys);\n\t}\n\n\t// Single key path: useFact(system, key)\n\treturn createFactStore(system, keyOrKeys);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useFactMulti(system: SingleModuleSystem<any>, factKeys: string[]): Readable<Record<string, unknown>> {\n\tconst getValues = (): Record<string, unknown> => {\n\t\tconst result: Record<string, unknown> = {};\n\t\tfor (const key of factKeys) {\n\t\t\tresult[key] = system.facts.$store.get(key);\n\t\t}\n\t\treturn result;\n\t};\n\n\treturn readable(getValues(), (set) => {\n\t\tconst unsubscribe = system.facts.$store.subscribe(factKeys, () => {\n\t\t\tset(getValues());\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n// ============================================================================\n// useDerived — single key or multi key\n// ============================================================================\n\n/** Single key overload */\nexport function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationId: K): Readable<InferDerivations<S>[K]>;\n/** Multi-key overload */\nexport function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Readable<Pick<InferDerivations<S>, K>>;\n/** Implementation */\nexport function useDerived(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\tidOrIds: string | string[],\n): Readable<unknown> {\n\tassertSystem(\"useDerived\", system);\n\tif (process.env.NODE_ENV !== \"production\" && typeof idOrIds === \"function\") {\n\t\tconsole.error(\n\t\t\t\"[Directive] useDerived() received a function. Did you mean useSelector()? \" +\n\t\t\t\t\"useDerived() takes a string key or array of keys, not a selector function.\",\n\t\t);\n\t}\n\n\t// Multi-key path\n\tif (Array.isArray(idOrIds)) {\n\t\treturn createDerivedsStore(system, idOrIds);\n\t}\n\n\t// Single key path\n\treturn createDerivedStore(system, idOrIds);\n}\n\n// ============================================================================\n// useSelector — auto-tracking selector over facts and derivations\n// ============================================================================\n\n/**\n * Auto-tracking selector over facts and derivations.\n * Uses `withTracking()` to detect which facts the selector accesses,\n * then subscribes only to those keys.\n */\nexport function useSelector<S extends ModuleSchema, R>(system: SingleModuleSystem<S>, selector: (state: InferSelectorState<S>) => R, equalityFn?: (a: R, b: R) => boolean): Readable<R>;\nexport function useSelector<R>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Backward-compatible fallback\n\tsystem: SingleModuleSystem<any>,\n\t// biome-ignore lint/suspicious/noExplicitAny: Selector receives dynamic state\n\tselector: (state: Record<string, any>) => R,\n\tequalityFn?: (a: R, b: R) => boolean,\n): Readable<R>;\nexport function useSelector(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tselector: (state: any) => unknown,\n\tequalityFn: (a: unknown, b: unknown) => boolean = defaultEquality,\n): Readable<unknown> {\n\tassertSystem(\"useSelector\", system);\n\tconst deriveKeySet = new Set(Object.keys(system.derive ?? {}));\n\n\t// Build a tracking-aware state proxy that exposes both facts and derivations\n\tconst runWithTracking = () => runTrackedSelector(system, deriveKeySet, selector);\n\n\tconst initial = runWithTracking();\n\n\treturn readable(initial.value, (set) => {\n\t\tlet currentSelected = initial.value;\n\t\tlet trackedFactKeys = initial.factKeys;\n\t\tlet trackedDeriveKeys = initial.deriveKeys;\n\t\tconst unsubs: Array<() => void> = [];\n\n\t\tconst resubscribe = () => {\n\t\t\tfor (const unsub of unsubs) unsub();\n\t\t\tunsubs.length = 0;\n\n\t\t\tconst onUpdate = () => {\n\t\t\t\tconst result = runWithTracking();\n\t\t\t\tif (!equalityFn(currentSelected, result.value)) {\n\t\t\t\t\tcurrentSelected = result.value;\n\t\t\t\t\tset(result.value);\n\t\t\t\t}\n\t\t\t\t// Re-track: check if deps changed\n\t\t\t\tif (depsChanged(trackedFactKeys, result.factKeys, trackedDeriveKeys, result.deriveKeys)) {\n\t\t\t\t\ttrackedFactKeys = result.factKeys;\n\t\t\t\t\ttrackedDeriveKeys = result.deriveKeys;\n\t\t\t\t\tresubscribe();\n\t\t\t\t}\n\t\t\t};\n\n\t\t\tif (trackedFactKeys.length > 0) {\n\t\t\t\tunsubs.push(system.facts.$store.subscribe(trackedFactKeys, onUpdate));\n\t\t\t} else if (trackedDeriveKeys.length === 0) {\n\t\t\t\tunsubs.push(system.facts.$store.subscribeAll(onUpdate));\n\t\t\t}\n\t\t\tif (trackedDeriveKeys.length > 0) {\n\t\t\t\tunsubs.push(system.subscribe(trackedDeriveKeys, onUpdate));\n\t\t\t}\n\t\t};\n\n\t\tresubscribe();\n\n\t\treturn () => {\n\t\t\tfor (const unsub of unsubs) unsub();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useDispatch\n// ============================================================================\n\nexport function useDispatch<S extends ModuleSchema>(\n\tsystem: SingleModuleSystem<S>,\n): (event: InferEvents<S>) => void {\n\tassertSystem(\"useDispatch\", system);\n\treturn (event: InferEvents<S>) => {\n\t\tsystem.dispatch(event);\n\t};\n}\n\n// ============================================================================\n// useEvents — memoized events reference\n// ============================================================================\n\n/**\n * Returns the system's events dispatcher.\n */\nexport function useEvents<S extends ModuleSchema>(\n\tsystem: SingleModuleSystem<S>,\n): SingleModuleSystem<S>[\"events\"] {\n\tassertSystem(\"useEvents\", system);\n\treturn system.events;\n}\n\n// ============================================================================\n// useWatch — derivation or fact side-effect\n// ============================================================================\n\n/** Watch a derivation or fact by key (auto-detected). When a key exists in both facts and derivations, the derivation overload takes priority. */\nexport function useWatch<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(\n\tsystem: SingleModuleSystem<S>,\n\tkey: K,\n\tcallback: (newValue: InferDerivations<S>[K], previousValue: InferDerivations<S>[K] | undefined) => void,\n): void;\n/** Watch a fact key with auto-detection. */\nexport function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(\n\tsystem: SingleModuleSystem<S>,\n\tkey: K,\n\tcallback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void,\n): void;\n/**\n * Watch a fact by explicit \"fact\" discriminator.\n * @deprecated Use `useWatch(system, key, callback)` instead — facts are now auto-detected.\n */\nexport function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(\n\tsystem: SingleModuleSystem<S>,\n\tkind: \"fact\",\n\tfactKey: K,\n\tcallback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void,\n): void;\n/** Watch a fact or derivation (generic fallback) */\nexport function useWatch<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Backward-compatible fallback\n\tsystem: SingleModuleSystem<any>,\n\tkey: string,\n\tcallback: (newValue: T, previousValue: T | undefined) => void,\n): void;\n/** Implementation */\nexport function useWatch(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\tderivationIdOrKind: string,\n\tcallbackOrFactKey: string | ((newValue: unknown, prevValue: unknown) => void),\n\tmaybeCallback?: (newValue: unknown, prevValue: unknown) => void,\n): void {\n\tassertSystem(\"useWatch\", system);\n\t// Backward compat: useWatch(system, \"fact\", factKey, callback)\n\tconst isFact =\n\t\tderivationIdOrKind === \"fact\" &&\n\t\ttypeof callbackOrFactKey === \"string\" &&\n\t\ttypeof maybeCallback === \"function\";\n\n\tconst key = isFact ? (callbackOrFactKey as string) : derivationIdOrKind;\n\tconst callback = isFact\n\t\t? maybeCallback!\n\t\t: (callbackOrFactKey as (newValue: unknown, prevValue: unknown) => void);\n\n\tconst unsubscribe = system.watch(key, callback);\n\tonDestroy(unsubscribe);\n}\n\n// ============================================================================\n// useInspect — consolidated inspection hook\n// ============================================================================\n\n/** Options for useInspect */\nexport interface UseInspectOptions {\n\tthrottleMs?: number;\n}\n\n/**\n * Consolidated system inspection hook.\n * Returns Readable<InspectState> with optional throttling.\n */\nexport function useInspect(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\toptions?: UseInspectOptions,\n): Readable<InspectState> {\n\tassertSystem(\"useInspect\", system);\n\tif (options?.throttleMs && options.throttleMs > 0) {\n\t\treturn readable<InspectState>(computeInspectState(system), (set) => {\n\t\t\tconst { throttled, cleanup } = createThrottle(() => {\n\t\t\t\tset(computeInspectState(system));\n\t\t\t}, options.throttleMs!);\n\n\t\t\tconst unsubFacts = system.facts.$store.subscribeAll(throttled);\n\t\t\tconst unsubSettled = system.onSettledChange(throttled);\n\n\t\t\treturn () => {\n\t\t\t\tcleanup();\n\t\t\t\tunsubFacts();\n\t\t\t\tunsubSettled();\n\t\t\t};\n\t\t});\n\t}\n\n\treturn readable<InspectState>(computeInspectState(system), (set) => {\n\t\tconst update = () => set(computeInspectState(system));\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\n\t\treturn () => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useRequirementStatus — single or multi\n// ============================================================================\n\n/** Single type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Readable<RequirementTypeStatus>;\n/** Multi-type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Readable<Record<string, RequirementTypeStatus>>;\n/** Implementation */\nexport function useRequirementStatus(\n\tstatusPlugin: StatusPlugin,\n\ttypeOrTypes: string | string[],\n): Readable<RequirementTypeStatus> | Readable<Record<string, RequirementTypeStatus>> {\n\tif (Array.isArray(typeOrTypes)) {\n\t\tconst getValues = (): Record<string, RequirementTypeStatus> => {\n\t\t\tconst result: Record<string, RequirementTypeStatus> = {};\n\t\t\tfor (const type of typeOrTypes) {\n\t\t\t\tresult[type] = statusPlugin.getStatus(type);\n\t\t\t}\n\t\t\treturn result;\n\t\t};\n\n\t\treturn readable(getValues(), (set) => {\n\t\t\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\t\t\tset(getValues());\n\t\t\t});\n\t\t\treturn unsubscribe;\n\t\t});\n\t}\n\n\treturn readable<RequirementTypeStatus>(statusPlugin.getStatus(typeOrTypes), (set) => {\n\t\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\t\tset(statusPlugin.getStatus(typeOrTypes));\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n// ============================================================================\n// useExplain — reactive requirement explanation\n// ============================================================================\n\n/**\n * Reactively returns the explanation string for a requirement.\n */\nexport function useExplain(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\trequirementId: string,\n): Readable<string | null> {\n\tassertSystem(\"useExplain\", system);\n\treturn readable<string | null>(system.explain(requirementId), (set) => {\n\t\tconst update = () => set(system.explain(requirementId));\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\n\t\treturn () => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useConstraintStatus — reactive constraint inspection\n// ============================================================================\n\n/** Get all constraints */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n): Readable<ConstraintInfo[]>;\n/** Get a single constraint by ID */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId: string,\n): Readable<ConstraintInfo | null>;\n/** Implementation */\nexport function useConstraintStatus(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId?: string,\n): Readable<ConstraintInfo[] | ConstraintInfo | null> {\n\tassertSystem(\"useConstraintStatus\", system);\n\treturn readable<ConstraintInfo[] | ConstraintInfo | null>(\n\t\t_getConstraintValue(system, constraintId),\n\t\t(set) => {\n\t\t\tconst update = () => set(_getConstraintValue(system, constraintId));\n\t\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\t\tconst unsubSettled = system.onSettledChange(update);\n\n\t\t\treturn () => {\n\t\t\t\tunsubFacts();\n\t\t\t\tunsubSettled();\n\t\t\t};\n\t\t},\n\t);\n}\n\nfunction _getConstraintValue(\n\t// biome-ignore lint/suspicious/noExplicitAny: Internal\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId?: string,\n): ConstraintInfo[] | ConstraintInfo | null {\n\tconst inspection = system.inspect();\n\tif (!constraintId) return inspection.constraints;\n\treturn inspection.constraints.find((c: ConstraintInfo) => c.id === constraintId) ?? null;\n}\n\n// ============================================================================\n// useOptimisticUpdate — batch with rollback on failure\n// ============================================================================\n\nexport interface OptimisticUpdateResult {\n\tmutate: (updateFn: () => void) => void;\n\tisPending: Readable<boolean>;\n\terror: Readable<Error | null>;\n\trollback: () => void;\n}\n\n/**\n * Optimistic update hook. Saves a snapshot before mutating, monitors\n * a requirement type via statusPlugin, and rolls back on failure.\n */\nexport function useOptimisticUpdate(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tstatusPlugin?: StatusPlugin,\n\trequirementType?: string,\n): OptimisticUpdateResult {\n\tassertSystem(\"useOptimisticUpdate\", system);\n\tlet isPendingValue = false;\n\tlet errorValue: Error | null = null;\n\tlet snapshot: SystemSnapshot | null = null;\n\tlet statusUnsub: (() => void) | null = null;\n\n\t// We track subscribers manually since we need imperative push\n\tconst pendingSubscribers = new Set<(v: boolean) => void>();\n\tconst errorSubscribers = new Set<(v: Error | null) => void>();\n\n\tconst isPending: Readable<boolean> = {\n\t\tsubscribe(fn) {\n\t\t\tfn(isPendingValue);\n\t\t\tpendingSubscribers.add(fn);\n\t\t\treturn () => pendingSubscribers.delete(fn);\n\t\t},\n\t};\n\n\tconst error: Readable<Error | null> = {\n\t\tsubscribe(fn) {\n\t\t\tfn(errorValue);\n\t\t\terrorSubscribers.add(fn);\n\t\t\treturn () => errorSubscribers.delete(fn);\n\t\t},\n\t};\n\n\tconst setPending = (v: boolean) => {\n\t\tisPendingValue = v;\n\t\tfor (const fn of pendingSubscribers) fn(v);\n\t};\n\n\tconst setError = (v: Error | null) => {\n\t\terrorValue = v;\n\t\tfor (const fn of errorSubscribers) fn(v);\n\t};\n\n\tconst rollback = () => {\n\t\tif (snapshot) {\n\t\t\tsystem.restore(snapshot);\n\t\t\tsnapshot = null;\n\t\t}\n\t\tsetPending(false);\n\t\tsetError(null);\n\t\tstatusUnsub?.();\n\t\tstatusUnsub = null;\n\t};\n\n\tconst mutate = (updateFn: () => void) => {\n\t\tsnapshot = system.getSnapshot();\n\t\tsetPending(true);\n\t\tsetError(null);\n\t\tsystem.batch(updateFn);\n\n\t\tif (statusPlugin && requirementType) {\n\t\t\tstatusUnsub?.();\n\t\t\tstatusUnsub = statusPlugin.subscribe(() => {\n\t\t\t\tconst status = statusPlugin.getStatus(requirementType);\n\t\t\t\tif (!status.isLoading && !status.hasError) {\n\t\t\t\t\tsnapshot = null;\n\t\t\t\t\tsetPending(false);\n\t\t\t\t\tstatusUnsub?.();\n\t\t\t\t\tstatusUnsub = null;\n\t\t\t\t} else if (status.hasError) {\n\t\t\t\t\tsetError(status.lastError);\n\t\t\t\t\trollback();\n\t\t\t\t}\n\t\t\t});\n\t\t}\n\t};\n\n\tonDestroy(() => {\n\t\tstatusUnsub?.();\n\t});\n\n\treturn { mutate, isPending, error, rollback };\n}\n\n// ============================================================================\n// useTimeTravel — reactive time-travel store\n// ============================================================================\n\n/**\n * Reactive time-travel Svelte store. Returns a Readable that updates\n * when snapshots are taken or navigation occurs.\n *\n * @example\n * ```svelte\n * const tt = useTimeTravel(system);\n * <button disabled={!$tt?.canUndo} on:click={() => $tt?.undo()}>Undo</button>\n * ```\n */\nexport function useTimeTravel(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n): Readable<TimeTravelState | null> {\n\tassertSystem(\"useTimeTravel\", system);\n\treturn readable<TimeTravelState | null>(buildTimeTravelState(system), (set) => {\n\t\treturn system.onTimeTravelChange(() => set(buildTimeTravelState(system)));\n\t});\n}\n\n// ============================================================================\n// Scoped System\n// ============================================================================\n\n/** Configuration for useDirective */\ninterface UseDirectiveConfig {\n\t// biome-ignore lint/suspicious/noExplicitAny: Plugin types vary\n\tplugins?: Plugin<any>[];\n\tdebug?: DebugConfig;\n\terrorBoundary?: ErrorBoundaryConfig;\n\ttickMs?: number;\n\tzeroConfig?: boolean;\n\t// biome-ignore lint/suspicious/noExplicitAny: Facts type varies\n\tinitialFacts?: Record<string, any>;\n\tstatus?: boolean;\n\t/** Fact keys to subscribe to (omit for all) */\n\tfacts?: string[];\n\t/** Derivation keys to subscribe to (omit for all) */\n\tderived?: string[];\n}\n\n/**\n * Create a scoped Directive system with automatic lifecycle management.\n * When no `facts` or `derived` keys are specified, subscribes to ALL\n * facts and derivations and returns Svelte readable stores.\n *\n * @example\n * ```svelte\n * // Subscribe to everything\n * const { facts, derived, events, dispatch } = useDirective(counterModule);\n *\n * // Selective keys\n * const { facts, derived } = useDirective(counterModule, { facts: [\"count\"], derived: [\"doubled\"] });\n * ```\n */\nexport function useDirective<M extends ModuleSchema>(\n\tmoduleDef: ModuleDef<M>,\n\tconfig?: UseDirectiveConfig,\n) {\n\tconst allPlugins = [...(config?.plugins ?? [])];\n\tlet statusPlugin: StatusPlugin | undefined;\n\n\tif (config?.status) {\n\t\tconst sp = createRequirementStatusPlugin();\n\t\tstatusPlugin = sp;\n\t\t// biome-ignore lint/suspicious/noExplicitAny: Plugin generic issues\n\t\tallPlugins.push(sp.plugin as Plugin<any>);\n\t}\n\n\t// biome-ignore lint/suspicious/noExplicitAny: Required for overload compatibility\n\tconst system = createSystem({\n\t\tmodule: moduleDef,\n\t\tplugins: allPlugins.length > 0 ? allPlugins : undefined,\n\t\tdebug: config?.debug,\n\t\terrorBoundary: config?.errorBoundary,\n\t\ttickMs: config?.tickMs,\n\t\tzeroConfig: config?.zeroConfig,\n\t\tinitialFacts: config?.initialFacts,\n\t} as any) as unknown as SingleModuleSystem<M>;\n\n\tsystem.start();\n\n\tonDestroy(() => {\n\t\tsystem.destroy();\n\t});\n\n\tconst factKeys = config?.facts;\n\tconst derivedKeys = config?.derived;\n\tconst subscribeAll = !factKeys && !derivedKeys;\n\n\t// Subscribe to facts\n\tconst factsStore: Readable<InferFacts<M>> = subscribeAll\n\t\t? readable(system.facts.$store.toObject() as InferFacts<M>, (set) => {\n\t\t\treturn system.facts.$store.subscribeAll(() => {\n\t\t\t\tset(system.facts.$store.toObject() as InferFacts<M>);\n\t\t\t});\n\t\t})\n\t\t: readable(pickFacts(system, factKeys ?? []) as InferFacts<M>, (set) => {\n\t\t\tif (!factKeys || factKeys.length === 0) return () => {};\n\t\t\treturn system.facts.$store.subscribe(factKeys, () => {\n\t\t\t\tset(pickFacts(system, factKeys) as InferFacts<M>);\n\t\t\t});\n\t\t});\n\n\t// Subscribe to derivations\n\tconst allDerivationKeys = subscribeAll ? Object.keys(system.derive ?? {}) : (derivedKeys ?? []);\n\tconst getDerived = (): InferDerivations<M> => {\n\t\tconst result: Record<string, unknown> = {};\n\t\tfor (const key of allDerivationKeys) {\n\t\t\tresult[key] = system.read(key);\n\t\t}\n\t\treturn result as InferDerivations<M>;\n\t};\n\tconst derivedStore: Readable<InferDerivations<M>> = allDerivationKeys.length > 0\n\t\t? readable(getDerived(), (set) => {\n\t\t\treturn system.subscribe(allDerivationKeys, () => {\n\t\t\t\tset(getDerived());\n\t\t\t});\n\t\t})\n\t\t: readable(getDerived(), () => () => {});\n\n\tconst events = system.events;\n\tconst dispatch = (event: InferEvents<M>) => system.dispatch(event);\n\n\treturn {\n\t\tsystem,\n\t\tfacts: factsStore,\n\t\tderived: derivedStore,\n\t\tevents,\n\t\tdispatch,\n\t\tstatusPlugin,\n\t};\n}\n\n// ============================================================================\n// Typed Hooks Factory\n// ============================================================================\n\nexport function createTypedHooks<M extends ModuleSchema>(): {\n\tuseFact: <K extends keyof InferFacts<M> & string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tfactKey: K,\n\t) => Readable<InferFacts<M>[K] | undefined>;\n\tuseDerived: <K extends keyof InferDerivations<M> & string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tderivationId: K,\n\t) => Readable<InferDerivations<M>[K]>;\n\tuseDispatch: (system: SingleModuleSystem<M>) => (event: InferEvents<M>) => void;\n\tuseEvents: (system: SingleModuleSystem<M>) => SingleModuleSystem<M>[\"events\"];\n\tuseWatch: <K extends string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tkey: K,\n\t\tcallback: (newValue: unknown, previousValue: unknown) => void,\n\t) => void;\n} {\n\treturn {\n\t\tuseFact: <K extends keyof InferFacts<M> & string>(system: SingleModuleSystem<M>, factKey: K) =>\n\t\t\t// biome-ignore lint/suspicious/noExplicitAny: Cast for overload compatibility\n\t\t\tuseFact(system as SingleModuleSystem<any>, factKey) as Readable<InferFacts<M>[K] | undefined>,\n\t\tuseDerived: <K extends keyof InferDerivations<M> & string>(system: SingleModuleSystem<M>, derivationId: K) =>\n\t\t\t// biome-ignore lint/suspicious/noExplicitAny: Cast for overload compatibility\n\t\t\tuseDerived(system as SingleModuleSystem<any>, derivationId) as Readable<InferDerivations<M>[K]>,\n\t\tuseDispatch: (system: SingleModuleSystem<M>) => {\n\t\t\treturn (event: InferEvents<M>) => {\n\t\t\t\tsystem.dispatch(event);\n\t\t\t};\n\t\t},\n\t\tuseEvents: (system: SingleModuleSystem<M>) => useEvents<M>(system),\n\t\tuseWatch: <K extends string>(\n\t\t\tsystem: SingleModuleSystem<M>,\n\t\t\tkey: K,\n\t\t\tcallback: (newValue: unknown, previousValue: unknown) => void,\n\t\t) =>\n\t\t\t// biome-ignore lint/suspicious/noExplicitAny: Cast for overload compatibility\n\t\t\tuseWatch(system as SingleModuleSystem<any>, key, callback),\n\t};\n}\n"]}

package/dist/index.d.cts

@@ -0,0 +1,153 @@
+import * as _directive_run_core from '@directive-run/core';
+import { createRequirementStatusPlugin, SingleModuleSystem, SystemInspection, ModuleSchema, InferFacts, InferDerivations, InferEvents, ModuleDef, Plugin, DebugConfig, ErrorBoundaryConfig, RequirementTypeStatus, InferSelectorState, TimeTravelState } from '@directive-run/core';
+export { RequirementTypeStatus } from '@directive-run/core';
+import { Readable } from 'svelte/store';
+import { ConstraintInfo, InspectState } from '@directive-run/core/adapter-utils';
+export { ConstraintInfo, InspectState, shallowEqual } from '@directive-run/core/adapter-utils';
+
+/** Type for the requirement status plugin return value */
+type StatusPlugin = ReturnType<typeof createRequirementStatusPlugin>;
+/**
+ * Create a Svelte store for a derived value.
+ */
+declare function createDerivedStore<T>(system: SingleModuleSystem<any>, derivationId: string): Readable<T>;
+/**
+ * Create a Svelte store for multiple derived values.
+ */
+declare function createDerivedsStore<T extends Record<string, unknown>>(system: SingleModuleSystem<any>, derivationIds: string[]): Readable<T>;
+/**
+ * Create a Svelte store for a single fact value.
+ */
+declare function createFactStore<T>(system: SingleModuleSystem<any>, factKey: string): Readable<T | undefined>;
+/**
+ * Create a Svelte store for system inspection data.
+ * NOTE: This updates on every fact change. Use sparingly in production.
+ */
+declare function createInspectStore(system: SingleModuleSystem<any>): Readable<SystemInspection>;
+/** Single key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKey: K): Readable<InferFacts<S>[K] | undefined>;
+/** Multi-key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKeys: K[]): Readable<Pick<InferFacts<S>, K>>;
+/** Single key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationId: K): Readable<InferDerivations<S>[K]>;
+/** Multi-key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Readable<Pick<InferDerivations<S>, K>>;
+/**
+ * Auto-tracking selector over facts and derivations.
+ * Uses `withTracking()` to detect which facts the selector accesses,
+ * then subscribes only to those keys.
+ */
+declare function useSelector<S extends ModuleSchema, R>(system: SingleModuleSystem<S>, selector: (state: InferSelectorState<S>) => R, equalityFn?: (a: R, b: R) => boolean): Readable<R>;
+declare function useSelector<R>(system: SingleModuleSystem<any>, selector: (state: Record<string, any>) => R, equalityFn?: (a: R, b: R) => boolean): Readable<R>;
+declare function useDispatch<S extends ModuleSchema>(system: SingleModuleSystem<S>): (event: InferEvents<S>) => void;
+/**
+ * Returns the system's events dispatcher.
+ */
+declare function useEvents<S extends ModuleSchema>(system: SingleModuleSystem<S>): SingleModuleSystem<S>["events"];
+/** Watch a derivation or fact by key (auto-detected). When a key exists in both facts and derivations, the derivation overload takes priority. */
+declare function useWatch<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, key: K, callback: (newValue: InferDerivations<S>[K], previousValue: InferDerivations<S>[K] | undefined) => void): void;
+/** Watch a fact key with auto-detection. */
+declare function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, key: K, callback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void): void;
+/**
+ * Watch a fact by explicit "fact" discriminator.
+ * @deprecated Use `useWatch(system, key, callback)` instead — facts are now auto-detected.
+ */
+declare function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, kind: "fact", factKey: K, callback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void): void;
+/** Watch a fact or derivation (generic fallback) */
+declare function useWatch<T>(system: SingleModuleSystem<any>, key: string, callback: (newValue: T, previousValue: T | undefined) => void): void;
+/** Options for useInspect */
+interface UseInspectOptions {
+    throttleMs?: number;
+}
+/**
+ * Consolidated system inspection hook.
+ * Returns Readable<InspectState> with optional throttling.
+ */
+declare function useInspect(system: SingleModuleSystem<any>, options?: UseInspectOptions): Readable<InspectState>;
+/** Single type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Readable<RequirementTypeStatus>;
+/** Multi-type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Readable<Record<string, RequirementTypeStatus>>;
+/**
+ * Reactively returns the explanation string for a requirement.
+ */
+declare function useExplain(system: SingleModuleSystem<any>, requirementId: string): Readable<string | null>;
+/** Get all constraints */
+declare function useConstraintStatus(system: SingleModuleSystem<any>): Readable<ConstraintInfo[]>;
+/** Get a single constraint by ID */
+declare function useConstraintStatus(system: SingleModuleSystem<any>, constraintId: string): Readable<ConstraintInfo | null>;
+interface OptimisticUpdateResult {
+    mutate: (updateFn: () => void) => void;
+    isPending: Readable<boolean>;
+    error: Readable<Error | null>;
+    rollback: () => void;
+}
+/**
+ * Optimistic update hook. Saves a snapshot before mutating, monitors
+ * a requirement type via statusPlugin, and rolls back on failure.
+ */
+declare function useOptimisticUpdate(system: SingleModuleSystem<any>, statusPlugin?: StatusPlugin, requirementType?: string): OptimisticUpdateResult;
+/**
+ * Reactive time-travel Svelte store. Returns a Readable that updates
+ * when snapshots are taken or navigation occurs.
+ *
+ * @example
+ * ```svelte
+ * const tt = useTimeTravel(system);
+ * <button disabled={!$tt?.canUndo} on:click={() => $tt?.undo()}>Undo</button>
+ * ```
+ */
+declare function useTimeTravel(system: SingleModuleSystem<any>): Readable<TimeTravelState | null>;
+/** Configuration for useDirective */
+interface UseDirectiveConfig {
+    plugins?: Plugin<any>[];
+    debug?: DebugConfig;
+    errorBoundary?: ErrorBoundaryConfig;
+    tickMs?: number;
+    zeroConfig?: boolean;
+    initialFacts?: Record<string, any>;
+    status?: boolean;
+    /** Fact keys to subscribe to (omit for all) */
+    facts?: string[];
+    /** Derivation keys to subscribe to (omit for all) */
+    derived?: string[];
+}
+/**
+ * Create a scoped Directive system with automatic lifecycle management.
+ * When no `facts` or `derived` keys are specified, subscribes to ALL
+ * facts and derivations and returns Svelte readable stores.
+ *
+ * @example
+ * ```svelte
+ * // Subscribe to everything
+ * const { facts, derived, events, dispatch } = useDirective(counterModule);
+ *
+ * // Selective keys
+ * const { facts, derived } = useDirective(counterModule, { facts: ["count"], derived: ["doubled"] });
+ * ```
+ */
+declare function useDirective<M extends ModuleSchema>(moduleDef: ModuleDef<M>, config?: UseDirectiveConfig): {
+    system: SingleModuleSystem<M>;
+    facts: Readable<_directive_run_core.InferSchema<M["facts"]>>;
+    derived: Readable<InferDerivations<M>>;
+    events: M["events"] extends Record<string, unknown> ? { [E in keyof M["events"]]: M["events"][E] extends Record<string, unknown> ? keyof M["events"][E] extends never ? () => void : (payload: M["events"][E] extends infer T ? T extends M["events"][E] ? T extends Record<string, unknown> ? { [K in keyof T]: T[K] extends {
+        _type: infer T_1;
+    } ? T_1 : T[K]; } : never : never : never) => void : () => void; } : Record<string, never>;
+    dispatch: (event: InferEvents<M>) => void;
+    statusPlugin: {
+        plugin: Plugin<never>;
+        getStatus: (type: string) => RequirementTypeStatus;
+        getAllStatus: () => Map<string, RequirementTypeStatus>;
+        subscribe: (listener: () => void) => () => void;
+        reset: () => void;
+    } | undefined;
+};
+declare function createTypedHooks<M extends ModuleSchema>(): {
+    useFact: <K extends keyof InferFacts<M> & string>(system: SingleModuleSystem<M>, factKey: K) => Readable<InferFacts<M>[K] | undefined>;
+    useDerived: <K extends keyof InferDerivations<M> & string>(system: SingleModuleSystem<M>, derivationId: K) => Readable<InferDerivations<M>[K]>;
+    useDispatch: (system: SingleModuleSystem<M>) => (event: InferEvents<M>) => void;
+    useEvents: (system: SingleModuleSystem<M>) => SingleModuleSystem<M>["events"];
+    useWatch: <K extends string>(system: SingleModuleSystem<M>, key: K, callback: (newValue: unknown, previousValue: unknown) => void) => void;
+};
+
+export { type OptimisticUpdateResult, type StatusPlugin, type UseInspectOptions, createDerivedStore, createDerivedsStore, createFactStore, createInspectStore, createTypedHooks, useConstraintStatus, useDerived, useDirective, useDispatch, useEvents, useExplain, useFact, useInspect, useOptimisticUpdate, useRequirementStatus, useSelector, useTimeTravel, useWatch };

package/dist/index.d.ts

@@ -0,0 +1,153 @@
+import * as _directive_run_core from '@directive-run/core';
+import { createRequirementStatusPlugin, SingleModuleSystem, SystemInspection, ModuleSchema, InferFacts, InferDerivations, InferEvents, ModuleDef, Plugin, DebugConfig, ErrorBoundaryConfig, RequirementTypeStatus, InferSelectorState, TimeTravelState } from '@directive-run/core';
+export { RequirementTypeStatus } from '@directive-run/core';
+import { Readable } from 'svelte/store';
+import { ConstraintInfo, InspectState } from '@directive-run/core/adapter-utils';
+export { ConstraintInfo, InspectState, shallowEqual } from '@directive-run/core/adapter-utils';
+
+/** Type for the requirement status plugin return value */
+type StatusPlugin = ReturnType<typeof createRequirementStatusPlugin>;
+/**
+ * Create a Svelte store for a derived value.
+ */
+declare function createDerivedStore<T>(system: SingleModuleSystem<any>, derivationId: string): Readable<T>;
+/**
+ * Create a Svelte store for multiple derived values.
+ */
+declare function createDerivedsStore<T extends Record<string, unknown>>(system: SingleModuleSystem<any>, derivationIds: string[]): Readable<T>;
+/**
+ * Create a Svelte store for a single fact value.
+ */
+declare function createFactStore<T>(system: SingleModuleSystem<any>, factKey: string): Readable<T | undefined>;
+/**
+ * Create a Svelte store for system inspection data.
+ * NOTE: This updates on every fact change. Use sparingly in production.
+ */
+declare function createInspectStore(system: SingleModuleSystem<any>): Readable<SystemInspection>;
+/** Single key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKey: K): Readable<InferFacts<S>[K] | undefined>;
+/** Multi-key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKeys: K[]): Readable<Pick<InferFacts<S>, K>>;
+/** Single key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationId: K): Readable<InferDerivations<S>[K]>;
+/** Multi-key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Readable<Pick<InferDerivations<S>, K>>;
+/**
+ * Auto-tracking selector over facts and derivations.
+ * Uses `withTracking()` to detect which facts the selector accesses,
+ * then subscribes only to those keys.
+ */
+declare function useSelector<S extends ModuleSchema, R>(system: SingleModuleSystem<S>, selector: (state: InferSelectorState<S>) => R, equalityFn?: (a: R, b: R) => boolean): Readable<R>;
+declare function useSelector<R>(system: SingleModuleSystem<any>, selector: (state: Record<string, any>) => R, equalityFn?: (a: R, b: R) => boolean): Readable<R>;
+declare function useDispatch<S extends ModuleSchema>(system: SingleModuleSystem<S>): (event: InferEvents<S>) => void;
+/**
+ * Returns the system's events dispatcher.
+ */
+declare function useEvents<S extends ModuleSchema>(system: SingleModuleSystem<S>): SingleModuleSystem<S>["events"];
+/** Watch a derivation or fact by key (auto-detected). When a key exists in both facts and derivations, the derivation overload takes priority. */
+declare function useWatch<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, key: K, callback: (newValue: InferDerivations<S>[K], previousValue: InferDerivations<S>[K] | undefined) => void): void;
+/** Watch a fact key with auto-detection. */
+declare function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, key: K, callback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void): void;
+/**
+ * Watch a fact by explicit "fact" discriminator.
+ * @deprecated Use `useWatch(system, key, callback)` instead — facts are now auto-detected.
+ */
+declare function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, kind: "fact", factKey: K, callback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void): void;
+/** Watch a fact or derivation (generic fallback) */
+declare function useWatch<T>(system: SingleModuleSystem<any>, key: string, callback: (newValue: T, previousValue: T | undefined) => void): void;
+/** Options for useInspect */
+interface UseInspectOptions {
+    throttleMs?: number;
+}
+/**
+ * Consolidated system inspection hook.
+ * Returns Readable<InspectState> with optional throttling.
+ */
+declare function useInspect(system: SingleModuleSystem<any>, options?: UseInspectOptions): Readable<InspectState>;
+/** Single type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Readable<RequirementTypeStatus>;
+/** Multi-type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Readable<Record<string, RequirementTypeStatus>>;
+/**
+ * Reactively returns the explanation string for a requirement.
+ */
+declare function useExplain(system: SingleModuleSystem<any>, requirementId: string): Readable<string | null>;
+/** Get all constraints */
+declare function useConstraintStatus(system: SingleModuleSystem<any>): Readable<ConstraintInfo[]>;
+/** Get a single constraint by ID */
+declare function useConstraintStatus(system: SingleModuleSystem<any>, constraintId: string): Readable<ConstraintInfo | null>;
+interface OptimisticUpdateResult {
+    mutate: (updateFn: () => void) => void;
+    isPending: Readable<boolean>;
+    error: Readable<Error | null>;
+    rollback: () => void;
+}
+/**
+ * Optimistic update hook. Saves a snapshot before mutating, monitors
+ * a requirement type via statusPlugin, and rolls back on failure.
+ */
+declare function useOptimisticUpdate(system: SingleModuleSystem<any>, statusPlugin?: StatusPlugin, requirementType?: string): OptimisticUpdateResult;
+/**
+ * Reactive time-travel Svelte store. Returns a Readable that updates
+ * when snapshots are taken or navigation occurs.
+ *
+ * @example
+ * ```svelte
+ * const tt = useTimeTravel(system);
+ * <button disabled={!$tt?.canUndo} on:click={() => $tt?.undo()}>Undo</button>
+ * ```
+ */
+declare function useTimeTravel(system: SingleModuleSystem<any>): Readable<TimeTravelState | null>;
+/** Configuration for useDirective */
+interface UseDirectiveConfig {
+    plugins?: Plugin<any>[];
+    debug?: DebugConfig;
+    errorBoundary?: ErrorBoundaryConfig;
+    tickMs?: number;
+    zeroConfig?: boolean;
+    initialFacts?: Record<string, any>;
+    status?: boolean;
+    /** Fact keys to subscribe to (omit for all) */
+    facts?: string[];
+    /** Derivation keys to subscribe to (omit for all) */
+    derived?: string[];
+}
+/**
+ * Create a scoped Directive system with automatic lifecycle management.
+ * When no `facts` or `derived` keys are specified, subscribes to ALL
+ * facts and derivations and returns Svelte readable stores.
+ *
+ * @example
+ * ```svelte
+ * // Subscribe to everything
+ * const { facts, derived, events, dispatch } = useDirective(counterModule);
+ *
+ * // Selective keys
+ * const { facts, derived } = useDirective(counterModule, { facts: ["count"], derived: ["doubled"] });
+ * ```
+ */
+declare function useDirective<M extends ModuleSchema>(moduleDef: ModuleDef<M>, config?: UseDirectiveConfig): {
+    system: SingleModuleSystem<M>;
+    facts: Readable<_directive_run_core.InferSchema<M["facts"]>>;
+    derived: Readable<InferDerivations<M>>;
+    events: M["events"] extends Record<string, unknown> ? { [E in keyof M["events"]]: M["events"][E] extends Record<string, unknown> ? keyof M["events"][E] extends never ? () => void : (payload: M["events"][E] extends infer T ? T extends M["events"][E] ? T extends Record<string, unknown> ? { [K in keyof T]: T[K] extends {
+        _type: infer T_1;
+    } ? T_1 : T[K]; } : never : never : never) => void : () => void; } : Record<string, never>;
+    dispatch: (event: InferEvents<M>) => void;
+    statusPlugin: {
+        plugin: Plugin<never>;
+        getStatus: (type: string) => RequirementTypeStatus;
+        getAllStatus: () => Map<string, RequirementTypeStatus>;
+        subscribe: (listener: () => void) => () => void;
+        reset: () => void;
+    } | undefined;
+};
+declare function createTypedHooks<M extends ModuleSchema>(): {
+    useFact: <K extends keyof InferFacts<M> & string>(system: SingleModuleSystem<M>, factKey: K) => Readable<InferFacts<M>[K] | undefined>;
+    useDerived: <K extends keyof InferDerivations<M> & string>(system: SingleModuleSystem<M>, derivationId: K) => Readable<InferDerivations<M>[K]>;
+    useDispatch: (system: SingleModuleSystem<M>) => (event: InferEvents<M>) => void;
+    useEvents: (system: SingleModuleSystem<M>) => SingleModuleSystem<M>["events"];
+    useWatch: <K extends string>(system: SingleModuleSystem<M>, key: K, callback: (newValue: unknown, previousValue: unknown) => void) => void;
+};
+
+export { type OptimisticUpdateResult, type StatusPlugin, type UseInspectOptions, createDerivedStore, createDerivedsStore, createFactStore, createInspectStore, createTypedHooks, useConstraintStatus, useDerived, useDirective, useDispatch, useEvents, useExplain, useFact, useInspect, useOptimisticUpdate, useRequirementStatus, useSelector, useTimeTravel, useWatch };

package/dist/index.js

@@ -0,0 +1,2 @@
+import {onDestroy}from'svelte';import {readable}from'svelte/store';import {createRequirementStatusPlugin,createSystem}from'@directive-run/core';import {defaultEquality,assertSystem,computeInspectState,createThrottle,buildTimeTravelState,pickFacts,runTrackedSelector,depsChanged}from'@directive-run/core/adapter-utils';export{shallowEqual}from'@directive-run/core/adapter-utils';function w(e,t){return process.env.NODE_ENV!=="production"&&e.read(t)===void 0&&console.warn(`[Directive] createDerivedStore("${t}") returned undefined. Check that "${t}" is defined in your module's derive property.`),readable(e.read(t),s=>e.subscribe([t],()=>{s(e.read(t));}))}function C(e,t){let s=()=>{let r={};for(let n of t)r[n]=e.read(n);return r};return readable(s(),r=>e.subscribe(t,()=>{r(s());}))}function E(e,t){return process.env.NODE_ENV!=="production"&&(e.facts.$store.has(t)||console.warn(`[Directive] createFactStore("${t}") \u2014 fact not found in store. Check that "${t}" is defined in your module's schema.`)),readable(e.facts.$store.get(t),s=>e.facts.$store.subscribe([t],()=>{s(e.facts.$store.get(t));}))}function j(e){return readable(e.inspect(),t=>{let s=()=>t(e.inspect()),r=e.facts.$store.subscribeAll(s),n=e.onSettledChange(s);return ()=>{r(),n();}})}function V(e,t){return assertSystem("useFact",e),process.env.NODE_ENV!=="production"&&typeof t=="function"&&console.error("[Directive] useFact() received a function. Did you mean useSelector()? useFact() takes a string key or array of keys, not a selector function."),Array.isArray(t)?$(e,t):E(e,t)}function $(e,t){let s=()=>{let r={};for(let n of t)r[n]=e.facts.$store.get(n);return r};return readable(s(),r=>e.facts.$store.subscribe(t,()=>{r(s());}))}function q(e,t){return assertSystem("useDerived",e),process.env.NODE_ENV!=="production"&&typeof t=="function"&&console.error("[Directive] useDerived() received a function. Did you mean useSelector()? useDerived() takes a string key or array of keys, not a selector function."),Array.isArray(t)?C(e,t):w(e,t)}function z(e,t,s=defaultEquality){assertSystem("useSelector",e);let r=new Set(Object.keys(e.derive??{})),n=()=>runTrackedSelector(e,r,t),o=n();return readable(o.value,a=>{let S=o.value,p=o.factKeys,f=o.deriveKeys,d=[],y=()=>{for(let c of d)c();d.length=0;let b=()=>{let c=n();s(S,c.value)||(S=c.value,a(c.value)),depsChanged(p,c.factKeys,f,c.deriveKeys)&&(p=c.factKeys,f=c.deriveKeys,y());};p.length>0?d.push(e.facts.$store.subscribe(p,b)):f.length===0&&d.push(e.facts.$store.subscribeAll(b)),f.length>0&&d.push(e.subscribe(f,b));};return y(),()=>{for(let b of d)b();}})}function O(e){return assertSystem("useDispatch",e),t=>{e.dispatch(t);}}function A(e){return assertSystem("useEvents",e),e.events}function P(e,t,s,r){assertSystem("useWatch",e);let n=t==="fact"&&typeof s=="string"&&typeof r=="function",o=n?s:t,a=n?r:s,S=e.watch(o,a);onDestroy(S);}function H(e,t){return assertSystem("useInspect",e),t?.throttleMs&&t.throttleMs>0?readable(computeInspectState(e),s=>{let{throttled:r,cleanup:n}=createThrottle(()=>{s(computeInspectState(e));},t.throttleMs),o=e.facts.$store.subscribeAll(r),a=e.onSettledChange(r);return ()=>{n(),o(),a();}}):readable(computeInspectState(e),s=>{let r=()=>s(computeInspectState(e)),n=e.facts.$store.subscribeAll(r),o=e.onSettledChange(r);return ()=>{n(),o();}})}function L(e,t){if(Array.isArray(t)){let s=()=>{let r={};for(let n of t)r[n]=e.getStatus(n);return r};return readable(s(),r=>e.subscribe(()=>{r(s());}))}return readable(e.getStatus(t),s=>e.subscribe(()=>{s(e.getStatus(t));}))}function G(e,t){return assertSystem("useExplain",e),readable(e.explain(t),s=>{let r=()=>s(e.explain(t)),n=e.facts.$store.subscribeAll(r),o=e.onSettledChange(r);return ()=>{n(),o();}})}function J(e,t){return assertSystem("useConstraintStatus",e),readable(x(e,t),s=>{let r=()=>s(x(e,t)),n=e.facts.$store.subscribeAll(r),o=e.onSettledChange(r);return ()=>{n(),o();}})}function x(e,t){let s=e.inspect();return t?s.constraints.find(r=>r.id===t)??null:s.constraints}function Q(e,t,s){assertSystem("useOptimisticUpdate",e);let r=false,n=null,o=null,a=null,S=new Set,p=new Set,f={subscribe(u){return u(r),S.add(u),()=>S.delete(u)}},d={subscribe(u){return u(n),p.add(u),()=>p.delete(u)}},y=u=>{r=u;for(let v of S)v(u);},b=u=>{n=u;for(let v of p)v(u);},c=()=>{o&&(e.restore(o),o=null),y(false),b(null),a?.(),a=null;},l=u=>{o=e.getSnapshot(),y(true),b(null),e.batch(u),t&&s&&(a?.(),a=t.subscribe(()=>{let v=t.getStatus(s);!v.isLoading&&!v.hasError?(o=null,y(false),a?.(),a=null):v.hasError&&(b(v.lastError),c());}));};return onDestroy(()=>{a?.();}),{mutate:l,isPending:f,error:d,rollback:c}}function X(e){return assertSystem("useTimeTravel",e),readable(buildTimeTravelState(e),t=>e.onTimeTravelChange(()=>t(buildTimeTravelState(e))))}function Y(e,t){let s=[...t?.plugins??[]],r;if(t?.status){let l=createRequirementStatusPlugin();r=l,s.push(l.plugin);}let n=createSystem({module:e,plugins:s.length>0?s:void 0,debug:t?.debug,errorBoundary:t?.errorBoundary,tickMs:t?.tickMs,zeroConfig:t?.zeroConfig,initialFacts:t?.initialFacts});n.start(),onDestroy(()=>{n.destroy();});let o=t?.facts,a=t?.derived,S=!o&&!a,p=S?readable(n.facts.$store.toObject(),l=>n.facts.$store.subscribeAll(()=>{l(n.facts.$store.toObject());})):readable(pickFacts(n,o??[]),l=>!o||o.length===0?()=>{}:n.facts.$store.subscribe(o,()=>{l(pickFacts(n,o));})),f=S?Object.keys(n.derive??{}):a??[],d=()=>{let l={};for(let u of f)l[u]=n.read(u);return l},y=f.length>0?readable(d(),l=>n.subscribe(f,()=>{l(d());})):readable(d(),()=>()=>{}),b=n.events;return {system:n,facts:p,derived:y,events:b,dispatch:l=>n.dispatch(l),statusPlugin:r}}function Z(){return {useFact:(e,t)=>V(e,t),useDerived:(e,t)=>q(e,t),useDispatch:e=>t=>{e.dispatch(t);},useEvents:e=>A(e),useWatch:(e,t,s)=>P(e,t,s)}}export{w as createDerivedStore,C as createDerivedsStore,E as createFactStore,j as createInspectStore,Z as createTypedHooks,J as useConstraintStatus,q as useDerived,Y as useDirective,O as useDispatch,A as useEvents,G as useExplain,V as useFact,H as useInspect,Q as useOptimisticUpdate,L as useRequirementStatus,z as useSelector,X as useTimeTravel,P as useWatch};//# sourceMappingURL=index.js.map
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts"],"names":["createDerivedStore","system","derivationId","readable","set","createDerivedsStore","derivationIds","getValues","result","id","createFactStore","factKey","createInspectStore","update","unsubFacts","unsubSettled","useFact","keyOrKeys","assertSystem","_useFactMulti","factKeys","key","useDerived","idOrIds","useSelector","selector","equalityFn","defaultEquality","deriveKeySet","runWithTracking","runTrackedSelector","initial","currentSelected","trackedFactKeys","trackedDeriveKeys","unsubs","resubscribe","unsub","onUpdate","depsChanged","useDispatch","event","useEvents","useWatch","derivationIdOrKind","callbackOrFactKey","maybeCallback","isFact","callback","unsubscribe","onDestroy","useInspect","options","computeInspectState","throttled","cleanup","createThrottle","useRequirementStatus","statusPlugin","typeOrTypes","type","useExplain","requirementId","useConstraintStatus","constraintId","_getConstraintValue","inspection","c","useOptimisticUpdate","requirementType","isPendingValue","errorValue","snapshot","statusUnsub","pendingSubscribers","errorSubscribers","isPending","fn","error","setPending","v","setError","rollback","mutate","updateFn","status","useTimeTravel","buildTimeTravelState","useDirective","moduleDef","config","allPlugins","sp","createRequirementStatusPlugin","createSystem","derivedKeys","subscribeAll","factsStore","pickFacts","allDerivationKeys","getDerived","derivedStore","events","createTypedHooks"],"mappings":"0XA6DO,SAASA,CAAAA,CAEfC,CAAAA,CACAC,EACc,CACd,OAAI,OAAA,CAAQ,GAAA,CAAI,WAAa,YAAA,EACPD,CAAAA,CAAO,IAAA,CAAKC,CAAY,IACxB,MAAA,EACpB,OAAA,CAAQ,IAAA,CACP,CAAA,gCAAA,EAAmCA,CAAY,CAAA,mCAAA,EAChCA,CAAY,gDAC5B,CAAA,CAIKC,QAAAA,CAAYF,EAAO,IAAA,CAAKC,CAAY,CAAA,CAASE,CAAAA,EAC/BH,EAAO,SAAA,CAAU,CAACC,CAAY,CAAA,CAAG,IAAM,CAC1DE,CAAAA,CAAIH,CAAAA,CAAO,IAAA,CAAKC,CAAY,CAAM,EACnC,CAAC,CAED,CACF,CAKO,SAASG,CAAAA,CAEfJ,CAAAA,CACAK,CAAAA,CACc,CACd,IAAMC,CAAAA,CAAY,IAAS,CAC1B,IAAMC,CAAAA,CAAkC,EAAC,CACzC,IAAA,IAAWC,KAAMH,CAAAA,CAChBE,CAAAA,CAAOC,CAAE,CAAA,CAAIR,EAAO,IAAA,CAAKQ,CAAE,CAAA,CAE5B,OAAOD,CACR,CAAA,CAEA,OAAOL,QAAAA,CAAYI,CAAAA,GAAcH,CAAAA,EACZH,CAAAA,CAAO,SAAA,CAAUK,CAAAA,CAAe,IAAM,CACzDF,CAAAA,CAAIG,GAAW,EAChB,CAAC,CAED,CACF,CAKO,SAASG,EAEfT,CAAAA,CACAU,CAAAA,CAC0B,CAC1B,OAAI,QAAQ,GAAA,CAAI,QAAA,GAAa,YAAA,GACvBV,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIU,CAAO,CAAA,EACnC,OAAA,CAAQ,KACP,CAAA,6BAAA,EAAgCA,CAAO,CAAA,+CAAA,EACxBA,CAAO,uCACvB,CAAA,CAAA,CAIKR,QAAAA,CACNF,CAAAA,CAAO,KAAA,CAAM,OAAO,GAAA,CAAIU,CAAO,CAAA,CAC9BP,CAAAA,EACoBH,EAAO,KAAA,CAAM,MAAA,CAAO,UAAU,CAACU,CAAO,EAAG,IAAM,CAClEP,CAAAA,CAAIH,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIU,CAAO,CAAkB,EACtD,CAAC,CAGH,CACD,CAMO,SAASC,CAAAA,CAEfX,CAAAA,CAC6B,CAC7B,OAAOE,SAA2BF,CAAAA,CAAO,OAAA,EAAQ,CAAIG,CAAAA,EAAQ,CAC5D,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAIH,EAAO,OAAA,EAAS,CAAA,CACnCa,CAAAA,CAAab,EAAO,KAAA,CAAM,MAAA,CAAO,aAAaY,CAAM,CAAA,CACpDE,EAAed,CAAAA,CAAO,eAAA,CAAgBY,CAAM,CAAA,CAClD,OAAO,IAAM,CACZC,CAAAA,EAAW,CACXC,IACD,CACD,CAAC,CACF,CAWO,SAASC,CAAAA,CAEff,EACAgB,CAAAA,CACoB,CAUpB,OATAC,YAAAA,CAAa,SAAA,CAAWjB,CAAM,CAAA,CAC1B,QAAQ,GAAA,CAAI,QAAA,GAAa,YAAA,EAAgB,OAAOgB,GAAc,UAAA,EACjE,OAAA,CAAQ,KAAA,CACP,gJAED,EAIG,KAAA,CAAM,OAAA,CAAQA,CAAS,CAAA,CACnBE,CAAAA,CAAclB,EAAQgB,CAAS,CAAA,CAIhCP,CAAAA,CAAgBT,CAAAA,CAAQgB,CAAS,CACzC,CAGA,SAASE,CAAAA,CAAclB,EAAiCmB,CAAAA,CAAuD,CAC9G,IAAMb,CAAAA,CAAY,IAA+B,CAChD,IAAMC,CAAAA,CAAkC,GACxC,IAAA,IAAWa,CAAAA,IAAOD,CAAAA,CACjBZ,CAAAA,CAAOa,CAAG,CAAA,CAAIpB,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,IAAIoB,CAAG,CAAA,CAE1C,OAAOb,CACR,EAEA,OAAOL,QAAAA,CAASI,GAAU,CAAIH,CAAAA,EACTH,EAAO,KAAA,CAAM,MAAA,CAAO,SAAA,CAAUmB,CAAAA,CAAU,IAAM,CACjEhB,CAAAA,CAAIG,CAAAA,EAAW,EAChB,CAAC,CAED,CACF,CAWO,SAASe,CAAAA,CAEfrB,CAAAA,CACAsB,EACoB,CAUpB,OATAL,aAAa,YAAA,CAAcjB,CAAM,CAAA,CAC7B,OAAA,CAAQ,IAAI,QAAA,GAAa,YAAA,EAAgB,OAAOsB,CAAAA,EAAY,YAC/D,OAAA,CAAQ,KAAA,CACP,sJAED,CAAA,CAIG,MAAM,OAAA,CAAQA,CAAO,EACjBlB,CAAAA,CAAoBJ,CAAAA,CAAQsB,CAAO,CAAA,CAIpCvB,CAAAA,CAAmBC,CAAAA,CAAQsB,CAAO,CAC1C,CAmBO,SAASC,CAAAA,CAEfvB,CAAAA,CAEAwB,EACAC,CAAAA,CAAkDC,eAAAA,CAC9B,CACpBT,YAAAA,CAAa,cAAejB,CAAM,CAAA,CAClC,IAAM2B,CAAAA,CAAe,IAAI,GAAA,CAAI,MAAA,CAAO,IAAA,CAAK3B,CAAAA,CAAO,QAAU,EAAE,CAAC,CAAA,CAGvD4B,EAAkB,IAAMC,kBAAAA,CAAmB7B,CAAAA,CAAQ2B,CAAAA,CAAcH,CAAQ,CAAA,CAEzEM,CAAAA,CAAUF,GAAgB,CAEhC,OAAO1B,SAAS4B,CAAAA,CAAQ,KAAA,CAAQ3B,CAAAA,EAAQ,CACvC,IAAI4B,CAAAA,CAAkBD,CAAAA,CAAQ,KAAA,CAC1BE,CAAAA,CAAkBF,EAAQ,QAAA,CAC1BG,CAAAA,CAAoBH,CAAAA,CAAQ,UAAA,CAC1BI,EAA4B,EAAC,CAE7BC,EAAc,IAAM,CACzB,QAAWC,CAAAA,IAASF,CAAAA,CAAQE,CAAAA,EAAM,CAClCF,EAAO,MAAA,CAAS,CAAA,CAEhB,IAAMG,CAAAA,CAAW,IAAM,CACtB,IAAM9B,CAAAA,CAASqB,CAAAA,GACVH,CAAAA,CAAWM,CAAAA,CAAiBxB,EAAO,KAAK,CAAA,GAC5CwB,EAAkBxB,CAAAA,CAAO,KAAA,CACzBJ,CAAAA,CAAII,CAAAA,CAAO,KAAK,CAAA,CAAA,CAGb+B,WAAAA,CAAYN,CAAAA,CAAiBzB,CAAAA,CAAO,SAAU0B,CAAAA,CAAmB1B,CAAAA,CAAO,UAAU,CAAA,GACrFyB,EAAkBzB,CAAAA,CAAO,QAAA,CACzB0B,CAAAA,CAAoB1B,CAAAA,CAAO,WAC3B4B,CAAAA,EAAY,EAEd,CAAA,CAEIH,CAAAA,CAAgB,OAAS,CAAA,CAC5BE,CAAAA,CAAO,IAAA,CAAKlC,CAAAA,CAAO,MAAM,MAAA,CAAO,SAAA,CAAUgC,CAAAA,CAAiBK,CAAQ,CAAC,CAAA,CAC1DJ,CAAAA,CAAkB,SAAW,CAAA,EACvCC,CAAAA,CAAO,KAAKlC,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,YAAA,CAAaqC,CAAQ,CAAC,CAAA,CAEnDJ,CAAAA,CAAkB,MAAA,CAAS,GAC9BC,CAAAA,CAAO,IAAA,CAAKlC,CAAAA,CAAO,SAAA,CAAUiC,EAAmBI,CAAQ,CAAC,EAE3D,CAAA,CAEA,OAAAF,GAAY,CAEL,IAAM,CACZ,IAAA,IAAWC,KAASF,CAAAA,CAAQE,CAAAA,GAC7B,CACD,CAAC,CACF,CAMO,SAASG,CAAAA,CACfvC,EACkC,CAClC,OAAAiB,aAAa,aAAA,CAAejB,CAAM,EAC1BwC,CAAAA,EAA0B,CACjCxC,CAAAA,CAAO,QAAA,CAASwC,CAAK,EACtB,CACD,CASO,SAASC,EACfzC,CAAAA,CACkC,CAClC,OAAAiB,YAAAA,CAAa,YAAajB,CAAM,CAAA,CACzBA,CAAAA,CAAO,MACf,CAoCO,SAAS0C,CAAAA,CAEf1C,CAAAA,CACA2C,CAAAA,CACAC,EACAC,CAAAA,CACO,CACP5B,YAAAA,CAAa,UAAA,CAAYjB,CAAM,CAAA,CAE/B,IAAM8C,CAAAA,CACLH,CAAAA,GAAuB,QACvB,OAAOC,CAAAA,EAAsB,UAC7B,OAAOC,CAAAA,EAAkB,WAEpBzB,CAAAA,CAAM0B,CAAAA,CAAUF,CAAAA,CAA+BD,CAAAA,CAC/CI,EAAWD,CAAAA,CACdD,CAAAA,CACCD,CAAAA,CAEEI,CAAAA,CAAchD,EAAO,KAAA,CAAMoB,CAAAA,CAAK2B,CAAQ,CAAA,CAC9CE,UAAUD,CAAW,EACtB,CAeO,SAASE,CAAAA,CAEflD,EACAmD,CAAAA,CACyB,CAEzB,OADAlC,YAAAA,CAAa,aAAcjB,CAAM,CAAA,CAC7BmD,CAAAA,EAAS,UAAA,EAAcA,EAAQ,UAAA,CAAa,CAAA,CACxCjD,QAAAA,CAAuBkD,mBAAAA,CAAoBpD,CAAM,CAAA,CAAIG,CAAAA,EAAQ,CACnE,GAAM,CAAE,UAAAkD,CAAAA,CAAW,OAAA,CAAAC,CAAQ,CAAA,CAAIC,eAAe,IAAM,CACnDpD,CAAAA,CAAIiD,mBAAAA,CAAoBpD,CAAM,CAAC,EAChC,CAAA,CAAGmD,CAAAA,CAAQ,UAAW,CAAA,CAEhBtC,CAAAA,CAAab,EAAO,KAAA,CAAM,MAAA,CAAO,aAAaqD,CAAS,CAAA,CACvDvC,CAAAA,CAAed,CAAAA,CAAO,gBAAgBqD,CAAS,CAAA,CAErD,OAAO,IAAM,CACZC,CAAAA,EAAQ,CACRzC,CAAAA,EAAW,CACXC,IACD,CACD,CAAC,CAAA,CAGKZ,QAAAA,CAAuBkD,oBAAoBpD,CAAM,CAAA,CAAIG,CAAAA,EAAQ,CACnE,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAIiD,mBAAAA,CAAoBpD,CAAM,CAAC,CAAA,CAC9Ca,CAAAA,CAAab,CAAAA,CAAO,MAAM,MAAA,CAAO,YAAA,CAAaY,CAAM,CAAA,CACpDE,CAAAA,CAAed,EAAO,eAAA,CAAgBY,CAAM,CAAA,CAElD,OAAO,IAAM,CACZC,CAAAA,EAAW,CACXC,CAAAA,GACD,CACD,CAAC,CACF,CAWO,SAAS0C,CAAAA,CACfC,CAAAA,CACAC,EACoF,CACpF,GAAI,MAAM,OAAA,CAAQA,CAAW,CAAA,CAAG,CAC/B,IAAMpD,CAAAA,CAAY,IAA6C,CAC9D,IAAMC,EAAgD,EAAC,CACvD,IAAA,IAAWoD,CAAAA,IAAQD,EAClBnD,CAAAA,CAAOoD,CAAI,CAAA,CAAIF,CAAAA,CAAa,UAAUE,CAAI,CAAA,CAE3C,OAAOpD,CACR,EAEA,OAAOL,QAAAA,CAASI,CAAAA,EAAU,CAAIH,GACTsD,CAAAA,CAAa,SAAA,CAAU,IAAM,CAChDtD,EAAIG,CAAAA,EAAW,EAChB,CAAC,CAED,CACF,CAEA,OAAOJ,QAAAA,CAAgCuD,CAAAA,CAAa,UAAUC,CAAW,CAAA,CAAIvD,CAAAA,EACxDsD,CAAAA,CAAa,UAAU,IAAM,CAChDtD,CAAAA,CAAIsD,CAAAA,CAAa,UAAUC,CAAW,CAAC,EACxC,CAAC,CAED,CACF,CASO,SAASE,CAAAA,CAEf5D,CAAAA,CACA6D,EAC0B,CAC1B,OAAA5C,YAAAA,CAAa,YAAA,CAAcjB,CAAM,CAAA,CAC1BE,QAAAA,CAAwBF,CAAAA,CAAO,OAAA,CAAQ6D,CAAa,CAAA,CAAI1D,CAAAA,EAAQ,CACtE,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAIH,CAAAA,CAAO,OAAA,CAAQ6D,CAAa,CAAC,CAAA,CAChDhD,CAAAA,CAAab,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAaY,CAAM,CAAA,CACpDE,CAAAA,CAAed,EAAO,eAAA,CAAgBY,CAAM,CAAA,CAElD,OAAO,IAAM,CACZC,CAAAA,EAAW,CACXC,CAAAA,GACD,CACD,CAAC,CACF,CAgBO,SAASgD,CAAAA,CAEf9D,CAAAA,CACA+D,CAAAA,CACqD,CACrD,OAAA9C,YAAAA,CAAa,qBAAA,CAAuBjB,CAAM,CAAA,CACnCE,QAAAA,CACN8D,EAAoBhE,CAAAA,CAAQ+D,CAAY,CAAA,CACvC5D,CAAAA,EAAQ,CACR,IAAMS,CAAAA,CAAS,IAAMT,CAAAA,CAAI6D,EAAoBhE,CAAAA,CAAQ+D,CAAY,CAAC,CAAA,CAC5DlD,EAAab,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAaY,CAAM,EACpDE,CAAAA,CAAed,CAAAA,CAAO,eAAA,CAAgBY,CAAM,EAElD,OAAO,IAAM,CACZC,CAAAA,GACAC,CAAAA,GACD,CACD,CACD,CACD,CAEA,SAASkD,EAERhE,CAAAA,CACA+D,CAAAA,CAC2C,CAC3C,IAAME,CAAAA,CAAajE,CAAAA,CAAO,OAAA,GAC1B,OAAK+D,CAAAA,CACEE,CAAAA,CAAW,WAAA,CAAY,KAAMC,CAAAA,EAAsBA,CAAAA,CAAE,EAAA,GAAOH,CAAY,GAAK,IAAA,CAD1DE,CAAAA,CAAW,WAEtC,CAiBO,SAASE,CAAAA,CAEfnE,CAAAA,CACAyD,CAAAA,CACAW,CAAAA,CACyB,CACzBnD,YAAAA,CAAa,qBAAA,CAAuBjB,CAAM,CAAA,CAC1C,IAAIqE,CAAAA,CAAiB,KAAA,CACjBC,CAAAA,CAA2B,IAAA,CAC3BC,EAAkC,IAAA,CAClCC,CAAAA,CAAmC,KAGjCC,CAAAA,CAAqB,IAAI,IACzBC,CAAAA,CAAmB,IAAI,GAAA,CAEvBC,CAAAA,CAA+B,CACpC,SAAA,CAAUC,CAAAA,CAAI,CACb,OAAAA,EAAGP,CAAc,CAAA,CACjBI,CAAAA,CAAmB,GAAA,CAAIG,CAAE,CAAA,CAClB,IAAMH,EAAmB,MAAA,CAAOG,CAAE,CAC1C,CACD,CAAA,CAEMC,CAAAA,CAAgC,CACrC,UAAUD,CAAAA,CAAI,CACb,OAAAA,CAAAA,CAAGN,CAAU,CAAA,CACbI,CAAAA,CAAiB,GAAA,CAAIE,CAAE,EAChB,IAAMF,CAAAA,CAAiB,OAAOE,CAAE,CACxC,CACD,CAAA,CAEME,CAAAA,CAAcC,CAAAA,EAAe,CAClCV,EAAiBU,CAAAA,CACjB,IAAA,IAAWH,CAAAA,IAAMH,CAAAA,CAAoBG,EAAGG,CAAC,EAC1C,CAAA,CAEMC,CAAAA,CAAYD,GAAoB,CACrCT,CAAAA,CAAaS,CAAAA,CACb,IAAA,IAAWH,KAAMF,CAAAA,CAAkBE,CAAAA,CAAGG,CAAC,EACxC,EAEME,CAAAA,CAAW,IAAM,CAClBV,CAAAA,GACHvE,EAAO,OAAA,CAAQuE,CAAQ,CAAA,CACvBA,CAAAA,CAAW,MAEZO,CAAAA,CAAW,KAAK,EAChBE,CAAAA,CAAS,IAAI,EACbR,CAAAA,IAAc,CACdA,CAAAA,CAAc,KACf,EAEMU,CAAAA,CAAUC,CAAAA,EAAyB,CACxCZ,CAAAA,CAAWvE,EAAO,WAAA,EAAY,CAC9B8E,CAAAA,CAAW,IAAI,EACfE,CAAAA,CAAS,IAAI,EACbhF,CAAAA,CAAO,KAAA,CAAMmF,CAAQ,CAAA,CAEjB1B,CAAAA,EAAgBW,CAAAA,GACnBI,CAAAA,KACAA,CAAAA,CAAcf,CAAAA,CAAa,SAAA,CAAU,IAAM,CAC1C,IAAM2B,CAAAA,CAAS3B,CAAAA,CAAa,SAAA,CAAUW,CAAe,CAAA,CACjD,CAACgB,EAAO,SAAA,EAAa,CAACA,EAAO,QAAA,EAChCb,CAAAA,CAAW,IAAA,CACXO,CAAAA,CAAW,KAAK,CAAA,CAChBN,CAAAA,IAAc,CACdA,CAAAA,CAAc,MACJY,CAAAA,CAAO,QAAA,GACjBJ,CAAAA,CAASI,CAAAA,CAAO,SAAS,CAAA,CACzBH,CAAAA,EAAS,EAEX,CAAC,GAEH,CAAA,CAEA,OAAAhC,SAAAA,CAAU,IAAM,CACfuB,CAAAA,KACD,CAAC,CAAA,CAEM,CAAE,MAAA,CAAAU,CAAAA,CAAQ,SAAA,CAAAP,CAAAA,CAAW,MAAAE,CAAAA,CAAO,QAAA,CAAAI,CAAS,CAC7C,CAgBO,SAASI,CAAAA,CAEfrF,CAAAA,CACmC,CACnC,OAAAiB,aAAa,eAAA,CAAiBjB,CAAM,CAAA,CAC7BE,QAAAA,CAAiCoF,qBAAqBtF,CAAM,CAAA,CAAIG,CAAAA,EAC/DH,CAAAA,CAAO,mBAAmB,IAAMG,CAAAA,CAAImF,qBAAqBtF,CAAM,CAAC,CAAC,CACxE,CACF,CAqCO,SAASuF,EACfC,CAAAA,CACAC,CAAAA,CACC,CACD,IAAMC,EAAa,CAAC,GAAID,CAAAA,EAAQ,OAAA,EAAW,EAAG,CAAA,CAC1ChC,EAEJ,GAAIgC,CAAAA,EAAQ,OAAQ,CACnB,IAAME,CAAAA,CAAKC,6BAAAA,GACXnC,CAAAA,CAAekC,CAAAA,CAEfD,CAAAA,CAAW,IAAA,CAAKC,EAAG,MAAqB,EACzC,CAGA,IAAM3F,EAAS6F,YAAAA,CAAa,CAC3B,MAAA,CAAQL,CAAAA,CACR,QAASE,CAAAA,CAAW,MAAA,CAAS,CAAA,CAAIA,CAAAA,CAAa,OAC9C,KAAA,CAAOD,CAAAA,EAAQ,KAAA,CACf,aAAA,CAAeA,GAAQ,aAAA,CACvB,MAAA,CAAQA,CAAAA,EAAQ,MAAA,CAChB,WAAYA,CAAAA,EAAQ,UAAA,CACpB,aAAcA,CAAAA,EAAQ,YACvB,CAAQ,CAAA,CAERzF,CAAAA,CAAO,KAAA,EAAM,CAEbiD,UAAU,IAAM,CACfjD,CAAAA,CAAO,OAAA,GACR,CAAC,CAAA,CAED,IAAMmB,CAAAA,CAAWsE,GAAQ,KAAA,CACnBK,CAAAA,CAAcL,GAAQ,OAAA,CACtBM,CAAAA,CAAe,CAAC5E,CAAAA,EAAY,CAAC2E,CAAAA,CAG7BE,CAAAA,CAAsCD,EACzC7F,QAAAA,CAASF,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAAS,CAAqBG,CAAAA,EACrDH,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAa,IAAM,CAC7CG,CAAAA,CAAIH,CAAAA,CAAO,MAAM,MAAA,CAAO,QAAA,EAA2B,EACpD,CAAC,CACD,CAAA,CACCE,QAAAA,CAAS+F,SAAAA,CAAUjG,EAAQmB,CAAAA,EAAY,EAAE,CAAA,CAAqBhB,GAC3D,CAACgB,CAAAA,EAAYA,CAAAA,CAAS,MAAA,GAAW,EAAU,IAAM,CAAC,CAAA,CAC/CnB,CAAAA,CAAO,MAAM,MAAA,CAAO,SAAA,CAAUmB,CAAAA,CAAU,IAAM,CACpDhB,CAAAA,CAAI8F,SAAAA,CAAUjG,CAAAA,CAAQmB,CAAQ,CAAkB,EACjD,CAAC,CACD,CAAA,CAGI+E,CAAAA,CAAoBH,EAAe,MAAA,CAAO,IAAA,CAAK/F,CAAAA,CAAO,MAAA,EAAU,EAAE,CAAA,CAAK8F,CAAAA,EAAe,GACtFK,CAAAA,CAAa,IAA2B,CAC7C,IAAM5F,EAAkC,EAAC,CACzC,QAAWa,CAAAA,IAAO8E,CAAAA,CACjB3F,EAAOa,CAAG,CAAA,CAAIpB,CAAAA,CAAO,IAAA,CAAKoB,CAAG,CAAA,CAE9B,OAAOb,CACR,CAAA,CACM6F,EAA8CF,CAAAA,CAAkB,MAAA,CAAS,CAAA,CAC5EhG,QAAAA,CAASiG,GAAW,CAAIhG,CAAAA,EAClBH,EAAO,SAAA,CAAUkG,CAAAA,CAAmB,IAAM,CAChD/F,CAAAA,CAAIgG,CAAAA,EAAY,EACjB,CAAC,CACD,CAAA,CACCjG,QAAAA,CAASiG,GAAW,CAAG,IAAM,IAAM,CAAC,CAAC,CAAA,CAElCE,CAAAA,CAASrG,EAAO,MAAA,CAGtB,OAAO,CACN,MAAA,CAAAA,CAAAA,CACA,KAAA,CAAOgG,CAAAA,CACP,QAASI,CAAAA,CACT,MAAA,CAAAC,CAAAA,CACA,QAAA,CAPiB7D,GAA0BxC,CAAAA,CAAO,QAAA,CAASwC,CAAK,CAAA,CAQhE,aAAAiB,CACD,CACD,CAMO,SAAS6C,CAAAA,EAgBd,CACD,OAAO,CACN,OAAA,CAAS,CAAyCtG,EAA+BU,CAAAA,GAEhFK,CAAAA,CAAQf,CAAAA,CAAmCU,CAAO,EACnD,UAAA,CAAY,CAA+CV,CAAAA,CAA+BC,CAAAA,GAEzFoB,EAAWrB,CAAAA,CAAmCC,CAAY,EAC3D,WAAA,CAAcD,CAAAA,EACLwC,GAA0B,CACjCxC,CAAAA,CAAO,QAAA,CAASwC,CAAK,EACtB,CAAA,CAED,SAAA,CAAYxC,CAAAA,EAAkCyC,CAAAA,CAAazC,CAAM,CAAA,CACjE,QAAA,CAAU,CACTA,CAAAA,CACAoB,EACA2B,CAAAA,GAGAL,CAAAA,CAAS1C,EAAmCoB,CAAAA,CAAK2B,CAAQ,CAC3D,CACD","file":"index.js","sourcesContent":["/**\n * Svelte Adapter - Consolidated Svelte stores for Directive\n *\n * 15 active exports: useFact, useDerived, useDispatch, useSelector,\n * useWatch, useInspect, useRequirementStatus, useEvents, useExplain,\n * useConstraintStatus, useOptimisticUpdate, useDirective, useTimeTravel,\n * createTypedHooks, shallowEqual\n *\n * Store factories: createDerivedStore, createDerivedsStore, createFactStore, createInspectStore\n */\n\nimport { onDestroy } from \"svelte\";\nimport { readable, type Readable } from \"svelte/store\";\nimport type {\n\tModuleSchema,\n\tModuleDef,\n\tPlugin,\n\tDebugConfig,\n\tErrorBoundaryConfig,\n\tInferFacts,\n\tInferDerivations,\n\tInferSelectorState,\n\tInferEvents,\n\tSingleModuleSystem,\n\tSystemInspection,\n\tSystemSnapshot,\n\tTimeTravelState,\n} from \"@directive-run/core\";\nimport {\n\tcreateSystem,\n\tcreateRequirementStatusPlugin,\n} from \"@directive-run/core\";\nimport type { RequirementTypeStatus } from \"@directive-run/core\";\nimport {\n\ttype InspectState,\n\ttype ConstraintInfo,\n\tcomputeInspectState,\n\tcreateThrottle,\n\tassertSystem,\n\tdefaultEquality,\n\tbuildTimeTravelState,\n\tpickFacts,\n\trunTrackedSelector,\n\tdepsChanged,\n\tshallowEqual,\n} from \"@directive-run/core/adapter-utils\";\n\n// Re-export for convenience\nexport type { RequirementTypeStatus, InspectState, ConstraintInfo };\nexport { shallowEqual };\n\n/** Type for the requirement status plugin return value */\nexport type StatusPlugin = ReturnType<typeof createRequirementStatusPlugin>;\n\n// ============================================================================\n// Store Factories\n// ============================================================================\n\n/**\n * Create a Svelte store for a derived value.\n */\nexport function createDerivedStore<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n\tderivationId: string,\n): Readable<T> {\n\tif (process.env.NODE_ENV !== \"production\") {\n\t\tconst initialValue = system.read(derivationId);\n\t\tif (initialValue === undefined) {\n\t\t\tconsole.warn(\n\t\t\t\t`[Directive] createDerivedStore(\"${derivationId}\") returned undefined. ` +\n\t\t\t\t`Check that \"${derivationId}\" is defined in your module's derive property.`,\n\t\t\t);\n\t\t}\n\t}\n\n\treturn readable<T>(system.read(derivationId) as T, (set) => {\n\t\tconst unsubscribe = system.subscribe([derivationId], () => {\n\t\t\tset(system.read(derivationId) as T);\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n/**\n * Create a Svelte store for multiple derived values.\n */\nexport function createDerivedsStore<T extends Record<string, unknown>>(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n\tderivationIds: string[],\n): Readable<T> {\n\tconst getValues = (): T => {\n\t\tconst result: Record<string, unknown> = {};\n\t\tfor (const id of derivationIds) {\n\t\t\tresult[id] = system.read(id);\n\t\t}\n\t\treturn result as T;\n\t};\n\n\treturn readable<T>(getValues(), (set) => {\n\t\tconst unsubscribe = system.subscribe(derivationIds, () => {\n\t\t\tset(getValues());\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n/**\n * Create a Svelte store for a single fact value.\n */\nexport function createFactStore<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n\tfactKey: string,\n): Readable<T | undefined> {\n\tif (process.env.NODE_ENV !== \"production\") {\n\t\tif (!system.facts.$store.has(factKey)) {\n\t\t\tconsole.warn(\n\t\t\t\t`[Directive] createFactStore(\"${factKey}\") — fact not found in store. ` +\n\t\t\t\t`Check that \"${factKey}\" is defined in your module's schema.`,\n\t\t\t);\n\t\t}\n\t}\n\n\treturn readable<T | undefined>(\n\t\tsystem.facts.$store.get(factKey) as T | undefined,\n\t\t(set) => {\n\t\t\tconst unsubscribe = system.facts.$store.subscribe([factKey], () => {\n\t\t\t\tset(system.facts.$store.get(factKey) as T | undefined);\n\t\t\t});\n\t\t\treturn unsubscribe;\n\t\t},\n\t);\n}\n\n/**\n * Create a Svelte store for system inspection data.\n * NOTE: This updates on every fact change. Use sparingly in production.\n */\nexport function createInspectStore(\n\t// biome-ignore lint/suspicious/noExplicitAny: System type varies\n\tsystem: SingleModuleSystem<any>,\n): Readable<SystemInspection> {\n\treturn readable<SystemInspection>(system.inspect(), (set) => {\n\t\tconst update = () => set(system.inspect());\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\t\treturn () => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useFact — single key or multi key\n// ============================================================================\n\n/** Single key overload */\nexport function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKey: K): Readable<InferFacts<S>[K] | undefined>;\n/** Multi-key overload */\nexport function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKeys: K[]): Readable<Pick<InferFacts<S>, K>>;\n/** Implementation */\nexport function useFact(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\tkeyOrKeys: string | string[],\n): Readable<unknown> {\n\tassertSystem(\"useFact\", system);\n\tif (process.env.NODE_ENV !== \"production\" && typeof keyOrKeys === \"function\") {\n\t\tconsole.error(\n\t\t\t\"[Directive] useFact() received a function. Did you mean useSelector()? \" +\n\t\t\t\t\"useFact() takes a string key or array of keys, not a selector function.\",\n\t\t);\n\t}\n\n\t// Multi-key path: useFact(system, [keys])\n\tif (Array.isArray(keyOrKeys)) {\n\t\treturn _useFactMulti(system, keyOrKeys);\n\t}\n\n\t// Single key path: useFact(system, key)\n\treturn createFactStore(system, keyOrKeys);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useFactMulti(system: SingleModuleSystem<any>, factKeys: string[]): Readable<Record<string, unknown>> {\n\tconst getValues = (): Record<string, unknown> => {\n\t\tconst result: Record<string, unknown> = {};\n\t\tfor (const key of factKeys) {\n\t\t\tresult[key] = system.facts.$store.get(key);\n\t\t}\n\t\treturn result;\n\t};\n\n\treturn readable(getValues(), (set) => {\n\t\tconst unsubscribe = system.facts.$store.subscribe(factKeys, () => {\n\t\t\tset(getValues());\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n// ============================================================================\n// useDerived — single key or multi key\n// ============================================================================\n\n/** Single key overload */\nexport function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationId: K): Readable<InferDerivations<S>[K]>;\n/** Multi-key overload */\nexport function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Readable<Pick<InferDerivations<S>, K>>;\n/** Implementation */\nexport function useDerived(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\tidOrIds: string | string[],\n): Readable<unknown> {\n\tassertSystem(\"useDerived\", system);\n\tif (process.env.NODE_ENV !== \"production\" && typeof idOrIds === \"function\") {\n\t\tconsole.error(\n\t\t\t\"[Directive] useDerived() received a function. Did you mean useSelector()? \" +\n\t\t\t\t\"useDerived() takes a string key or array of keys, not a selector function.\",\n\t\t);\n\t}\n\n\t// Multi-key path\n\tif (Array.isArray(idOrIds)) {\n\t\treturn createDerivedsStore(system, idOrIds);\n\t}\n\n\t// Single key path\n\treturn createDerivedStore(system, idOrIds);\n}\n\n// ============================================================================\n// useSelector — auto-tracking selector over facts and derivations\n// ============================================================================\n\n/**\n * Auto-tracking selector over facts and derivations.\n * Uses `withTracking()` to detect which facts the selector accesses,\n * then subscribes only to those keys.\n */\nexport function useSelector<S extends ModuleSchema, R>(system: SingleModuleSystem<S>, selector: (state: InferSelectorState<S>) => R, equalityFn?: (a: R, b: R) => boolean): Readable<R>;\nexport function useSelector<R>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Backward-compatible fallback\n\tsystem: SingleModuleSystem<any>,\n\t// biome-ignore lint/suspicious/noExplicitAny: Selector receives dynamic state\n\tselector: (state: Record<string, any>) => R,\n\tequalityFn?: (a: R, b: R) => boolean,\n): Readable<R>;\nexport function useSelector(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tselector: (state: any) => unknown,\n\tequalityFn: (a: unknown, b: unknown) => boolean = defaultEquality,\n): Readable<unknown> {\n\tassertSystem(\"useSelector\", system);\n\tconst deriveKeySet = new Set(Object.keys(system.derive ?? {}));\n\n\t// Build a tracking-aware state proxy that exposes both facts and derivations\n\tconst runWithTracking = () => runTrackedSelector(system, deriveKeySet, selector);\n\n\tconst initial = runWithTracking();\n\n\treturn readable(initial.value, (set) => {\n\t\tlet currentSelected = initial.value;\n\t\tlet trackedFactKeys = initial.factKeys;\n\t\tlet trackedDeriveKeys = initial.deriveKeys;\n\t\tconst unsubs: Array<() => void> = [];\n\n\t\tconst resubscribe = () => {\n\t\t\tfor (const unsub of unsubs) unsub();\n\t\t\tunsubs.length = 0;\n\n\t\t\tconst onUpdate = () => {\n\t\t\t\tconst result = runWithTracking();\n\t\t\t\tif (!equalityFn(currentSelected, result.value)) {\n\t\t\t\t\tcurrentSelected = result.value;\n\t\t\t\t\tset(result.value);\n\t\t\t\t}\n\t\t\t\t// Re-track: check if deps changed\n\t\t\t\tif (depsChanged(trackedFactKeys, result.factKeys, trackedDeriveKeys, result.deriveKeys)) {\n\t\t\t\t\ttrackedFactKeys = result.factKeys;\n\t\t\t\t\ttrackedDeriveKeys = result.deriveKeys;\n\t\t\t\t\tresubscribe();\n\t\t\t\t}\n\t\t\t};\n\n\t\t\tif (trackedFactKeys.length > 0) {\n\t\t\t\tunsubs.push(system.facts.$store.subscribe(trackedFactKeys, onUpdate));\n\t\t\t} else if (trackedDeriveKeys.length === 0) {\n\t\t\t\tunsubs.push(system.facts.$store.subscribeAll(onUpdate));\n\t\t\t}\n\t\t\tif (trackedDeriveKeys.length > 0) {\n\t\t\t\tunsubs.push(system.subscribe(trackedDeriveKeys, onUpdate));\n\t\t\t}\n\t\t};\n\n\t\tresubscribe();\n\n\t\treturn () => {\n\t\t\tfor (const unsub of unsubs) unsub();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useDispatch\n// ============================================================================\n\nexport function useDispatch<S extends ModuleSchema>(\n\tsystem: SingleModuleSystem<S>,\n): (event: InferEvents<S>) => void {\n\tassertSystem(\"useDispatch\", system);\n\treturn (event: InferEvents<S>) => {\n\t\tsystem.dispatch(event);\n\t};\n}\n\n// ============================================================================\n// useEvents — memoized events reference\n// ============================================================================\n\n/**\n * Returns the system's events dispatcher.\n */\nexport function useEvents<S extends ModuleSchema>(\n\tsystem: SingleModuleSystem<S>,\n): SingleModuleSystem<S>[\"events\"] {\n\tassertSystem(\"useEvents\", system);\n\treturn system.events;\n}\n\n// ============================================================================\n// useWatch — derivation or fact side-effect\n// ============================================================================\n\n/** Watch a derivation or fact by key (auto-detected). When a key exists in both facts and derivations, the derivation overload takes priority. */\nexport function useWatch<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(\n\tsystem: SingleModuleSystem<S>,\n\tkey: K,\n\tcallback: (newValue: InferDerivations<S>[K], previousValue: InferDerivations<S>[K] | undefined) => void,\n): void;\n/** Watch a fact key with auto-detection. */\nexport function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(\n\tsystem: SingleModuleSystem<S>,\n\tkey: K,\n\tcallback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void,\n): void;\n/**\n * Watch a fact by explicit \"fact\" discriminator.\n * @deprecated Use `useWatch(system, key, callback)` instead — facts are now auto-detected.\n */\nexport function useWatch<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(\n\tsystem: SingleModuleSystem<S>,\n\tkind: \"fact\",\n\tfactKey: K,\n\tcallback: (newValue: InferFacts<S>[K] | undefined, previousValue: InferFacts<S>[K] | undefined) => void,\n): void;\n/** Watch a fact or derivation (generic fallback) */\nexport function useWatch<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Backward-compatible fallback\n\tsystem: SingleModuleSystem<any>,\n\tkey: string,\n\tcallback: (newValue: T, previousValue: T | undefined) => void,\n): void;\n/** Implementation */\nexport function useWatch(\n\t// biome-ignore lint/suspicious/noExplicitAny: Implementation signature\n\tsystem: SingleModuleSystem<any>,\n\tderivationIdOrKind: string,\n\tcallbackOrFactKey: string | ((newValue: unknown, prevValue: unknown) => void),\n\tmaybeCallback?: (newValue: unknown, prevValue: unknown) => void,\n): void {\n\tassertSystem(\"useWatch\", system);\n\t// Backward compat: useWatch(system, \"fact\", factKey, callback)\n\tconst isFact =\n\t\tderivationIdOrKind === \"fact\" &&\n\t\ttypeof callbackOrFactKey === \"string\" &&\n\t\ttypeof maybeCallback === \"function\";\n\n\tconst key = isFact ? (callbackOrFactKey as string) : derivationIdOrKind;\n\tconst callback = isFact\n\t\t? maybeCallback!\n\t\t: (callbackOrFactKey as (newValue: unknown, prevValue: unknown) => void);\n\n\tconst unsubscribe = system.watch(key, callback);\n\tonDestroy(unsubscribe);\n}\n\n// ============================================================================\n// useInspect — consolidated inspection hook\n// ============================================================================\n\n/** Options for useInspect */\nexport interface UseInspectOptions {\n\tthrottleMs?: number;\n}\n\n/**\n * Consolidated system inspection hook.\n * Returns Readable<InspectState> with optional throttling.\n */\nexport function useInspect(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\toptions?: UseInspectOptions,\n): Readable<InspectState> {\n\tassertSystem(\"useInspect\", system);\n\tif (options?.throttleMs && options.throttleMs > 0) {\n\t\treturn readable<InspectState>(computeInspectState(system), (set) => {\n\t\t\tconst { throttled, cleanup } = createThrottle(() => {\n\t\t\t\tset(computeInspectState(system));\n\t\t\t}, options.throttleMs!);\n\n\t\t\tconst unsubFacts = system.facts.$store.subscribeAll(throttled);\n\t\t\tconst unsubSettled = system.onSettledChange(throttled);\n\n\t\t\treturn () => {\n\t\t\t\tcleanup();\n\t\t\t\tunsubFacts();\n\t\t\t\tunsubSettled();\n\t\t\t};\n\t\t});\n\t}\n\n\treturn readable<InspectState>(computeInspectState(system), (set) => {\n\t\tconst update = () => set(computeInspectState(system));\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\n\t\treturn () => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useRequirementStatus — single or multi\n// ============================================================================\n\n/** Single type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Readable<RequirementTypeStatus>;\n/** Multi-type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Readable<Record<string, RequirementTypeStatus>>;\n/** Implementation */\nexport function useRequirementStatus(\n\tstatusPlugin: StatusPlugin,\n\ttypeOrTypes: string | string[],\n): Readable<RequirementTypeStatus> | Readable<Record<string, RequirementTypeStatus>> {\n\tif (Array.isArray(typeOrTypes)) {\n\t\tconst getValues = (): Record<string, RequirementTypeStatus> => {\n\t\t\tconst result: Record<string, RequirementTypeStatus> = {};\n\t\t\tfor (const type of typeOrTypes) {\n\t\t\t\tresult[type] = statusPlugin.getStatus(type);\n\t\t\t}\n\t\t\treturn result;\n\t\t};\n\n\t\treturn readable(getValues(), (set) => {\n\t\t\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\t\t\tset(getValues());\n\t\t\t});\n\t\t\treturn unsubscribe;\n\t\t});\n\t}\n\n\treturn readable<RequirementTypeStatus>(statusPlugin.getStatus(typeOrTypes), (set) => {\n\t\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\t\tset(statusPlugin.getStatus(typeOrTypes));\n\t\t});\n\t\treturn unsubscribe;\n\t});\n}\n\n// ============================================================================\n// useExplain — reactive requirement explanation\n// ============================================================================\n\n/**\n * Reactively returns the explanation string for a requirement.\n */\nexport function useExplain(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\trequirementId: string,\n): Readable<string | null> {\n\tassertSystem(\"useExplain\", system);\n\treturn readable<string | null>(system.explain(requirementId), (set) => {\n\t\tconst update = () => set(system.explain(requirementId));\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\n\t\treturn () => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t};\n\t});\n}\n\n// ============================================================================\n// useConstraintStatus — reactive constraint inspection\n// ============================================================================\n\n/** Get all constraints */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n): Readable<ConstraintInfo[]>;\n/** Get a single constraint by ID */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId: string,\n): Readable<ConstraintInfo | null>;\n/** Implementation */\nexport function useConstraintStatus(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId?: string,\n): Readable<ConstraintInfo[] | ConstraintInfo | null> {\n\tassertSystem(\"useConstraintStatus\", system);\n\treturn readable<ConstraintInfo[] | ConstraintInfo | null>(\n\t\t_getConstraintValue(system, constraintId),\n\t\t(set) => {\n\t\t\tconst update = () => set(_getConstraintValue(system, constraintId));\n\t\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\t\tconst unsubSettled = system.onSettledChange(update);\n\n\t\t\treturn () => {\n\t\t\t\tunsubFacts();\n\t\t\t\tunsubSettled();\n\t\t\t};\n\t\t},\n\t);\n}\n\nfunction _getConstraintValue(\n\t// biome-ignore lint/suspicious/noExplicitAny: Internal\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId?: string,\n): ConstraintInfo[] | ConstraintInfo | null {\n\tconst inspection = system.inspect();\n\tif (!constraintId) return inspection.constraints;\n\treturn inspection.constraints.find((c: ConstraintInfo) => c.id === constraintId) ?? null;\n}\n\n// ============================================================================\n// useOptimisticUpdate — batch with rollback on failure\n// ============================================================================\n\nexport interface OptimisticUpdateResult {\n\tmutate: (updateFn: () => void) => void;\n\tisPending: Readable<boolean>;\n\terror: Readable<Error | null>;\n\trollback: () => void;\n}\n\n/**\n * Optimistic update hook. Saves a snapshot before mutating, monitors\n * a requirement type via statusPlugin, and rolls back on failure.\n */\nexport function useOptimisticUpdate(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tstatusPlugin?: StatusPlugin,\n\trequirementType?: string,\n): OptimisticUpdateResult {\n\tassertSystem(\"useOptimisticUpdate\", system);\n\tlet isPendingValue = false;\n\tlet errorValue: Error | null = null;\n\tlet snapshot: SystemSnapshot | null = null;\n\tlet statusUnsub: (() => void) | null = null;\n\n\t// We track subscribers manually since we need imperative push\n\tconst pendingSubscribers = new Set<(v: boolean) => void>();\n\tconst errorSubscribers = new Set<(v: Error | null) => void>();\n\n\tconst isPending: Readable<boolean> = {\n\t\tsubscribe(fn) {\n\t\t\tfn(isPendingValue);\n\t\t\tpendingSubscribers.add(fn);\n\t\t\treturn () => pendingSubscribers.delete(fn);\n\t\t},\n\t};\n\n\tconst error: Readable<Error | null> = {\n\t\tsubscribe(fn) {\n\t\t\tfn(errorValue);\n\t\t\terrorSubscribers.add(fn);\n\t\t\treturn () => errorSubscribers.delete(fn);\n\t\t},\n\t};\n\n\tconst setPending = (v: boolean) => {\n\t\tisPendingValue = v;\n\t\tfor (const fn of pendingSubscribers) fn(v);\n\t};\n\n\tconst setError = (v: Error | null) => {\n\t\terrorValue = v;\n\t\tfor (const fn of errorSubscribers) fn(v);\n\t};\n\n\tconst rollback = () => {\n\t\tif (snapshot) {\n\t\t\tsystem.restore(snapshot);\n\t\t\tsnapshot = null;\n\t\t}\n\t\tsetPending(false);\n\t\tsetError(null);\n\t\tstatusUnsub?.();\n\t\tstatusUnsub = null;\n\t};\n\n\tconst mutate = (updateFn: () => void) => {\n\t\tsnapshot = system.getSnapshot();\n\t\tsetPending(true);\n\t\tsetError(null);\n\t\tsystem.batch(updateFn);\n\n\t\tif (statusPlugin && requirementType) {\n\t\t\tstatusUnsub?.();\n\t\t\tstatusUnsub = statusPlugin.subscribe(() => {\n\t\t\t\tconst status = statusPlugin.getStatus(requirementType);\n\t\t\t\tif (!status.isLoading && !status.hasError) {\n\t\t\t\t\tsnapshot = null;\n\t\t\t\t\tsetPending(false);\n\t\t\t\t\tstatusUnsub?.();\n\t\t\t\t\tstatusUnsub = null;\n\t\t\t\t} else if (status.hasError) {\n\t\t\t\t\tsetError(status.lastError);\n\t\t\t\t\trollback();\n\t\t\t\t}\n\t\t\t});\n\t\t}\n\t};\n\n\tonDestroy(() => {\n\t\tstatusUnsub?.();\n\t});\n\n\treturn { mutate, isPending, error, rollback };\n}\n\n// ============================================================================\n// useTimeTravel — reactive time-travel store\n// ============================================================================\n\n/**\n * Reactive time-travel Svelte store. Returns a Readable that updates\n * when snapshots are taken or navigation occurs.\n *\n * @example\n * ```svelte\n * const tt = useTimeTravel(system);\n * <button disabled={!$tt?.canUndo} on:click={() => $tt?.undo()}>Undo</button>\n * ```\n */\nexport function useTimeTravel(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n): Readable<TimeTravelState | null> {\n\tassertSystem(\"useTimeTravel\", system);\n\treturn readable<TimeTravelState | null>(buildTimeTravelState(system), (set) => {\n\t\treturn system.onTimeTravelChange(() => set(buildTimeTravelState(system)));\n\t});\n}\n\n// ============================================================================\n// Scoped System\n// ============================================================================\n\n/** Configuration for useDirective */\ninterface UseDirectiveConfig {\n\t// biome-ignore lint/suspicious/noExplicitAny: Plugin types vary\n\tplugins?: Plugin<any>[];\n\tdebug?: DebugConfig;\n\terrorBoundary?: ErrorBoundaryConfig;\n\ttickMs?: number;\n\tzeroConfig?: boolean;\n\t// biome-ignore lint/suspicious/noExplicitAny: Facts type varies\n\tinitialFacts?: Record<string, any>;\n\tstatus?: boolean;\n\t/** Fact keys to subscribe to (omit for all) */\n\tfacts?: string[];\n\t/** Derivation keys to subscribe to (omit for all) */\n\tderived?: string[];\n}\n\n/**\n * Create a scoped Directive system with automatic lifecycle management.\n * When no `facts` or `derived` keys are specified, subscribes to ALL\n * facts and derivations and returns Svelte readable stores.\n *\n * @example\n * ```svelte\n * // Subscribe to everything\n * const { facts, derived, events, dispatch } = useDirective(counterModule);\n *\n * // Selective keys\n * const { facts, derived } = useDirective(counterModule, { facts: [\"count\"], derived: [\"doubled\"] });\n * ```\n */\nexport function useDirective<M extends ModuleSchema>(\n\tmoduleDef: ModuleDef<M>,\n\tconfig?: UseDirectiveConfig,\n) {\n\tconst allPlugins = [...(config?.plugins ?? [])];\n\tlet statusPlugin: StatusPlugin | undefined;\n\n\tif (config?.status) {\n\t\tconst sp = createRequirementStatusPlugin();\n\t\tstatusPlugin = sp;\n\t\t// biome-ignore lint/suspicious/noExplicitAny: Plugin generic issues\n\t\tallPlugins.push(sp.plugin as Plugin<any>);\n\t}\n\n\t// biome-ignore lint/suspicious/noExplicitAny: Required for overload compatibility\n\tconst system = createSystem({\n\t\tmodule: moduleDef,\n\t\tplugins: allPlugins.length > 0 ? allPlugins : undefined,\n\t\tdebug: config?.debug,\n\t\terrorBoundary: config?.errorBoundary,\n\t\ttickMs: config?.tickMs,\n\t\tzeroConfig: config?.zeroConfig,\n\t\tinitialFacts: config?.initialFacts,\n\t} as any) as unknown as SingleModuleSystem<M>;\n\n\tsystem.start();\n\n\tonDestroy(() => {\n\t\tsystem.destroy();\n\t});\n\n\tconst factKeys = config?.facts;\n\tconst derivedKeys = config?.derived;\n\tconst subscribeAll = !factKeys && !derivedKeys;\n\n\t// Subscribe to facts\n\tconst factsStore: Readable<InferFacts<M>> = subscribeAll\n\t\t? readable(system.facts.$store.toObject() as InferFacts<M>, (set) => {\n\t\t\treturn system.facts.$store.subscribeAll(() => {\n\t\t\t\tset(system.facts.$store.toObject() as InferFacts<M>);\n\t\t\t});\n\t\t})\n\t\t: readable(pickFacts(system, factKeys ?? []) as InferFacts<M>, (set) => {\n\t\t\tif (!factKeys || factKeys.length === 0) return () => {};\n\t\t\treturn system.facts.$store.subscribe(factKeys, () => {\n\t\t\t\tset(pickFacts(system, factKeys) as InferFacts<M>);\n\t\t\t});\n\t\t});\n\n\t// Subscribe to derivations\n\tconst allDerivationKeys = subscribeAll ? Object.keys(system.derive ?? {}) : (derivedKeys ?? []);\n\tconst getDerived = (): InferDerivations<M> => {\n\t\tconst result: Record<string, unknown> = {};\n\t\tfor (const key of allDerivationKeys) {\n\t\t\tresult[key] = system.read(key);\n\t\t}\n\t\treturn result as InferDerivations<M>;\n\t};\n\tconst derivedStore: Readable<InferDerivations<M>> = allDerivationKeys.length > 0\n\t\t? readable(getDerived(), (set) => {\n\t\t\treturn system.subscribe(allDerivationKeys, () => {\n\t\t\t\tset(getDerived());\n\t\t\t});\n\t\t})\n\t\t: readable(getDerived(), () => () => {});\n\n\tconst events = system.events;\n\tconst dispatch = (event: InferEvents<M>) => system.dispatch(event);\n\n\treturn {\n\t\tsystem,\n\t\tfacts: factsStore,\n\t\tderived: derivedStore,\n\t\tevents,\n\t\tdispatch,\n\t\tstatusPlugin,\n\t};\n}\n\n// ============================================================================\n// Typed Hooks Factory\n// ============================================================================\n\nexport function createTypedHooks<M extends ModuleSchema>(): {\n\tuseFact: <K extends keyof InferFacts<M> & string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tfactKey: K,\n\t) => Readable<InferFacts<M>[K] | undefined>;\n\tuseDerived: <K extends keyof InferDerivations<M> & string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tderivationId: K,\n\t) => Readable<InferDerivations<M>[K]>;\n\tuseDispatch: (system: SingleModuleSystem<M>) => (event: InferEvents<M>) => void;\n\tuseEvents: (system: SingleModuleSystem<M>) => SingleModuleSystem<M>[\"events\"];\n\tuseWatch: <K extends string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tkey: K,\n\t\tcallback: (newValue: unknown, previousValue: unknown) => void,\n\t) => void;\n} {\n\treturn {\n\t\tuseFact: <K extends keyof InferFacts<M> & string>(system: SingleModuleSystem<M>, factKey: K) =>\n\t\t\t// biome-ignore lint/suspicious/noExplicitAny: Cast for overload compatibility\n\t\t\tuseFact(system as SingleModuleSystem<any>, factKey) as Readable<InferFacts<M>[K] | undefined>,\n\t\tuseDerived: <K extends keyof InferDerivations<M> & string>(system: SingleModuleSystem<M>, derivationId: K) =>\n\t\t\t// biome-ignore lint/suspicious/noExplicitAny: Cast for overload compatibility\n\t\t\tuseDerived(system as SingleModuleSystem<any>, derivationId) as Readable<InferDerivations<M>[K]>,\n\t\tuseDispatch: (system: SingleModuleSystem<M>) => {\n\t\t\treturn (event: InferEvents<M>) => {\n\t\t\t\tsystem.dispatch(event);\n\t\t\t};\n\t\t},\n\t\tuseEvents: (system: SingleModuleSystem<M>) => useEvents<M>(system),\n\t\tuseWatch: <K extends string>(\n\t\t\tsystem: SingleModuleSystem<M>,\n\t\t\tkey: K,\n\t\t\tcallback: (newValue: unknown, previousValue: unknown) => void,\n\t\t) =>\n\t\t\t// biome-ignore lint/suspicious/noExplicitAny: Cast for overload compatibility\n\t\t\tuseWatch(system as SingleModuleSystem<any>, key, callback),\n\t};\n}\n"]}

package/package.json

@@ -0,0 +1,64 @@
+{
+  "name": "@directive-run/svelte",
+  "version": "0.1.1",
+  "description": "Svelte stores adapter for Directive.",
+  "license": "MIT",
+  "author": "Jason Comes",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/directive-run/directive",
+    "directory": "packages/svelte"
+  },
+  "homepage": "https://directive.run",
+  "bugs": {
+    "url": "https://github.com/directive-run/directive/issues"
+  },
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org"
+  },
+  "engines": {
+    "node": ">=18"
+  },
+  "keywords": [
+    "directive",
+    "svelte",
+    "stores",
+    "state-management",
+    "reactive",
+    "constraint-driven"
+  ],
+  "sideEffects": false,
+  "type": "module",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "require": "./dist/index.cjs",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "peerDependencies": {
+    "svelte": ">=4",
+    "@directive-run/core": "0.1.1"
+  },
+  "devDependencies": {
+    "@types/node": "^25.2.0",
+    "svelte": "^4.2.0",
+    "tsup": "^8.3.5",
+    "typescript": "^5.7.2",
+    "@directive-run/core": "0.1.1"
+  },
+  "scripts": {
+    "build": "tsup",
+    "dev": "tsup --watch",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit",
+    "clean": "rm -rf dist"
+  }
+}