@directive-run/solid 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,43 @@
+# @directive-run/solid
+
+Solid.js signals adapter for Directive. Provides `Accessor`-based primitives for reading facts, derivations, and dispatching events.
+
+## Install
+
+```bash
+npm install @directive-run/core @directive-run/solid
+```
+
+## Usage
+
+```tsx
+import { useFact, useDerived, useEvents } from "@directive-run/solid";
+
+function Counter() {
+  const count = useFact(system, "count");
+  const doubled = useDerived(system, "doubled");
+  const events = useEvents(system);
+
+  return (
+    <div>
+      <p>Count: {count()} (doubled: {doubled()})</p>
+      <button onClick={() => events.increment()}>+</button>
+    </div>
+  );
+}
+```
+
+## Exports
+
+`useFact`, `useDerived`, `useSelector`, `useDispatch`, `useEvents`, `useWatch`, `useInspect`, `useRequirementStatus`, `useSuspenseRequirement`, `useExplain`, `useConstraintStatus`, `useOptimisticUpdate`, `useTimeTravel`, `useDirective`, `createTypedHooks`, `createFactSignal`, `createDerivedSignal`, `shallowEqual`
+
+## Peer Dependencies
+
+- `solid-js >= 1`
+- `@directive-run/core`
+
+## License
+
+MIT
+
+[Full documentation](https://directive.run/docs)

package/dist/index.cjs

@@ -0,0 +1,2 @@
+'use strict';var solidJs=require('solid-js'),core=require('@directive-run/core'),adapterUtils=require('@directive-run/core/adapter-utils');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)?C(e,t):E(e,t)}function E(e,t){process.env.NODE_ENV!=="production"&&(e.facts.$store.has(t)||console.warn(`[Directive] useFact("${t}") \u2014 fact not found in store. Check that "${t}" is defined in your module's schema.`));let[s,r]=solidJs.createSignal(e.facts.$store.get(t)),n=e.facts.$store.subscribe([t],()=>{r(()=>e.facts.$store.get(t));});return solidJs.onCleanup(n),s}function C(e,t){let s=()=>{let u={};for(let i of t)u[i]=e.facts.$store.get(i);return u},[r,n]=solidJs.createSignal(s()),o=e.facts.$store.subscribe(t,()=>{n(s);});return solidJs.onCleanup(o),r}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)?P(e,t):$(e,t)}function $(e,t){process.env.NODE_ENV!=="production"&&e.read(t)===void 0&&console.warn(`[Directive] useDerived("${t}") returned undefined. Check that "${t}" is defined in your module's derive property.`);let[s,r]=solidJs.createSignal(e.read(t)),n=e.subscribe([t],()=>{r(()=>e.read(t));});return solidJs.onCleanup(n),s}function P(e,t){let s=()=>{let u={};for(let i of t)u[i]=e.read(i);return u},[r,n]=solidJs.createSignal(s()),o=e.subscribe(t,()=>{n(s);});return solidJs.onCleanup(o),r}function L(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(),u=o.factKeys,i=o.deriveKeys,[c,f]=solidJs.createSignal(o.value),d=[],y=()=>{for(let p of d)p();d.length=0;let S=()=>{let p=n();f(b=>s(b,p.value)?b:p.value),adapterUtils.depsChanged(u,p.factKeys,i,p.deriveKeys)&&(u=p.factKeys,i=p.deriveKeys,y());};u.length>0?d.push(e.facts.$store.subscribe(u,S)):i.length===0&&d.push(e.facts.$store.subscribeAll(S)),i.length>0&&d.push(e.subscribe(i,S));};return y(),solidJs.onCleanup(()=>{for(let S of d)S();}),c}function H(e){return adapterUtils.assertSystem("useDispatch",e),t=>{e.dispatch(t);}}function U(e){return adapterUtils.assertSystem("useEvents",e),e.events}function W(e,t,s,r){adapterUtils.assertSystem("useWatch",e);let n=t==="fact"&&typeof s=="string"&&typeof r=="function",o=n?s:t,u=n?r:s,i=e.watch(o,u);solidJs.onCleanup(i);}function G(e,t){adapterUtils.assertSystem("useInspect",e);let[s,r]=solidJs.createSignal(adapterUtils.computeInspectState(e)),n=()=>{r(adapterUtils.computeInspectState(e));};if(t?.throttleMs&&t.throttleMs>0){let{throttled:o,cleanup:u}=adapterUtils.createThrottle(n,t.throttleMs),i=e.facts.$store.subscribeAll(o),c=e.onSettledChange(o);solidJs.onCleanup(()=>{u(),i(),c();});}else {let o=e.facts.$store.subscribeAll(n),u=e.onSettledChange(n);solidJs.onCleanup(()=>{o(),u();});}return s}function k(e,t){if(Array.isArray(t)){let o=()=>{let f={};for(let d of t)f[d]=e.getStatus(d);return f},[u,i]=solidJs.createSignal(o()),c=e.subscribe(()=>{i(o);});return solidJs.onCleanup(c),u}let[s,r]=solidJs.createSignal(e.getStatus(t)),n=e.subscribe(()=>{r(e.getStatus(t));});return solidJs.onCleanup(n),s}function J(e,t){adapterUtils.assertSystem("useExplain",e);let[s,r]=solidJs.createSignal(e.explain(t)),n=()=>r(e.explain(t)),o=e.facts.$store.subscribeAll(n),u=e.onSettledChange(n);return solidJs.onCleanup(()=>{o(),u();}),s}function Q(e,t){adapterUtils.assertSystem("useConstraintStatus",e);let s=()=>{let c=e.inspect();return t?c.constraints.find(f=>f.id===t)??null:c.constraints},[r,n]=solidJs.createSignal(s()),o=()=>n(s),u=e.facts.$store.subscribeAll(o),i=e.onSettledChange(o);return solidJs.onCleanup(()=>{u(),i();}),r}function X(e,t,s){adapterUtils.assertSystem("useOptimisticUpdate",e);let[r,n]=solidJs.createSignal(false),[o,u]=solidJs.createSignal(null),i=null,c=null,f=()=>{i&&(e.restore(i),i=null),n(false),u(null),c?.(),c=null;},d=y=>{i=e.getSnapshot(),n(true),u(null),e.batch(y),t&&s&&(c?.(),c=t.subscribe(()=>{let S=t.getStatus(s);!S.isLoading&&!S.hasError?(i=null,n(false),c?.(),c=null):S.hasError&&(u(()=>S.lastError),f());}));};return solidJs.onCleanup(()=>{c?.();}),{mutate:d,isPending:r,error:o,rollback:f}}function Y(e,t){let s=Array.isArray(t)?t:[t],r=()=>s.some(n=>e.getStatus(n).isLoading);if(r())throw new Promise(n=>{let o=e.subscribe(()=>{r()||(o(),n());});});return k(e,t)}function Z(e){adapterUtils.assertSystem("useTimeTravel",e);let[t,s]=solidJs.createSignal(adapterUtils.buildTimeTravelState(e)),r=e.onTimeTravelChange(()=>s(adapterUtils.buildTimeTravelState(e)));return solidJs.onCleanup(r),t}function O(e,t){let s=[...t?.plugins??[]],r;if(t?.status){let v=core.createRequirementStatusPlugin();r=v,s.push(v.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(),solidJs.onCleanup(()=>{n.destroy();});let o=t?.facts,u=t?.derived,i=!o&&!u,[c,f]=solidJs.createSignal(i?n.facts.$store.toObject():adapterUtils.pickFacts(n,o??[])),d=i?n.facts.$store.subscribeAll(()=>{f(()=>n.facts.$store.toObject());}):o&&o.length>0?n.facts.$store.subscribe(o,()=>{f(()=>adapterUtils.pickFacts(n,o));}):null,y=i?Object.keys(n.derive??{}):u??[],S=()=>{let v={};for(let M of y)v[M]=n.read(M);return v},[p,b]=solidJs.createSignal(S()),A=y.length>0?n.subscribe(y,()=>{b(S);}):null;solidJs.onCleanup(()=>{d?.(),A?.();});let R=n.events;return {system:n,facts:c,derived:p,events:R,dispatch:v=>n.dispatch(v),statusPlugin:r}}function ee(e,t){let[s,r]=solidJs.createSignal(e.read(t)),n=e.subscribe([t],()=>{r(()=>e.read(t));});return [s,n]}function te(e,t){let[s,r]=solidJs.createSignal(e.facts.$store.get(t)),n=e.facts.$store.subscribe([t],()=>{r(()=>e.facts.$store.get(t));});return [s,n]}function ne(){return {useFact:(e,t)=>V(e,t),useDerived:(e,t)=>q(e,t),useDispatch:e=>t=>{e.dispatch(t);},useEvents:e=>U(e),useWatch:(e,t,s)=>W(e,t,s)}}Object.defineProperty(exports,"shallowEqual",{enumerable:true,get:function(){return adapterUtils.shallowEqual}});exports.createDerivedSignal=ee;exports.createFactSignal=te;exports.createTypedHooks=ne;exports.useConstraintStatus=Q;exports.useDerived=q;exports.useDirective=O;exports.useDispatch=H;exports.useEvents=U;exports.useExplain=J;exports.useFact=V;exports.useInspect=G;exports.useOptimisticUpdate=X;exports.useRequirementStatus=k;exports.useSelector=L;exports.useSuspenseRequirement=Y;exports.useTimeTravel=Z;exports.useWatch=W;//# sourceMappingURL=index.cjs.map
+//# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts"],"names":["useFact","system","keyOrKeys","assertSystem","_useFactMulti","_useFactSingle","factKey","value","setValue","createSignal","unsubscribe","onCleanup","factKeys","getValues","result","key","state","setState","useDerived","idOrIds","_useDerivedMulti","_useDerivedSingle","derivationId","derivationIds","id","useSelector","selector","equalityFn","defaultEquality","deriveKeySet","runWithTracking","runTrackedSelector","initial","trackedFactKeys","trackedDeriveKeys","selected","setSelected","unsubs","resubscribe","unsub","onUpdate","prev","depsChanged","useDispatch","event","useEvents","useWatch","derivationIdOrKind","callbackOrFactKey","maybeCallback","isFact","callback","useInspect","options","computeInspectState","update","throttled","cleanup","createThrottle","unsubFacts","unsubSettled","useRequirementStatus","statusPlugin","typeOrTypes","type","status","setStatus","useExplain","requirementId","explanation","setExplanation","useConstraintStatus","constraintId","getVal","inspection","c","useOptimisticUpdate","requirementType","isPending","setIsPending","error","setError","snapshot","statusUnsub","rollback","mutate","updateFn","useSuspenseRequirement","types","anyLoading","t","resolve","useTimeTravel","buildTimeTravelState","useDirective","moduleDef","config","allPlugins","sp","createRequirementStatusPlugin","createSystem","derivedKeys","subscribeAll","factsState","setFactsState","pickFacts","allDerivationKeys","getDerived","derivedState","setDerivedState","unsubDerived","events","createDerivedSignal","createFactSignal","createTypedHooks"],"mappings":"2IAgEO,SAASA,CAAAA,CAEfC,EACAC,CAAAA,CACoB,CAUpB,OATAC,yBAAAA,CAAa,SAAA,CAAWF,CAAM,CAAA,CAC1B,OAAA,CAAQ,GAAA,CAAI,QAAA,GAAa,cAAgB,OAAOC,CAAAA,EAAc,YACjE,OAAA,CAAQ,KAAA,CACP,gJAED,CAAA,CAIG,KAAA,CAAM,OAAA,CAAQA,CAAS,EACnBE,CAAAA,CAAcH,CAAAA,CAAQC,CAAS,CAAA,CAIhCG,CAAAA,CAAeJ,EAAQC,CAAS,CACxC,CAGA,SAASG,EAAeJ,CAAAA,CAAiCK,CAAAA,CAAoC,CACxF,OAAA,CAAQ,GAAA,CAAI,WAAa,YAAA,GACvBL,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAAA,EACnC,OAAA,CAAQ,KACP,CAAA,qBAAA,EAAwBA,CAAO,kDAChBA,CAAO,CAAA,qCAAA,CACvB,CAAA,CAAA,CAIF,GAAM,CAACC,CAAAA,CAAOC,CAAQ,EAAIC,oBAAAA,CAAaR,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAAC,EACjEI,CAAAA,CAAcT,CAAAA,CAAO,MAAM,MAAA,CAAO,SAAA,CAAU,CAACK,CAAO,CAAA,CAAG,IAAM,CAClEE,EAAS,IAAMP,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAAC,EAChD,CAAC,CAAA,CACD,OAAAK,iBAAAA,CAAUD,CAAW,EACdH,CACR,CAGA,SAASH,CAAAA,CAAcH,CAAAA,CAAiCW,CAAAA,CAAuD,CAC9G,IAAMC,CAAAA,CAAY,IAA+B,CAChD,IAAMC,CAAAA,CAAkC,EAAC,CACzC,IAAA,IAAWC,CAAAA,IAAOH,CAAAA,CACjBE,EAAOC,CAAG,CAAA,CAAId,EAAO,KAAA,CAAM,MAAA,CAAO,IAAIc,CAAG,CAAA,CAE1C,OAAOD,CACR,EACM,CAACE,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,oBAAAA,CAAaI,GAAW,CAAA,CAC5CH,EAAcT,CAAAA,CAAO,KAAA,CAAM,OAAO,SAAA,CAAUW,CAAAA,CAAU,IAAM,CACjEK,CAAAA,CAASJ,CAAS,EACnB,CAAC,CAAA,CACD,OAAAF,kBAAUD,CAAW,CAAA,CACdM,CACR,CAWO,SAASE,EAEfjB,CAAAA,CACAkB,CAAAA,CACoB,CAUpB,OATAhB,0BAAa,YAAA,CAAcF,CAAM,EAC7B,OAAA,CAAQ,GAAA,CAAI,WAAa,YAAA,EAAgB,OAAOkB,CAAAA,EAAY,UAAA,EAC/D,QAAQ,KAAA,CACP,sJAED,EAIG,KAAA,CAAM,OAAA,CAAQA,CAAO,CAAA,CACjBC,CAAAA,CAAiBnB,CAAAA,CAAQkB,CAAO,EAIjCE,CAAAA,CAAkBpB,CAAAA,CAAQkB,CAAO,CACzC,CAGA,SAASE,CAAAA,CAAkBpB,CAAAA,CAAiCqB,CAAAA,CAAyC,CAChG,QAAQ,GAAA,CAAI,QAAA,GAAa,cACPrB,CAAAA,CAAO,IAAA,CAAKqB,CAAY,CAAA,GACxB,MAAA,EACpB,OAAA,CAAQ,IAAA,CACP,2BAA2BA,CAAY,CAAA,mCAAA,EACxBA,CAAY,CAAA,8CAAA,CAC5B,CAAA,CAGF,GAAM,CAACf,CAAAA,CAAOC,CAAQ,CAAA,CAAIC,qBAAaR,CAAAA,CAAO,IAAA,CAAKqB,CAAY,CAAC,CAAA,CAC1DZ,EAAcT,CAAAA,CAAO,SAAA,CAAU,CAACqB,CAAY,CAAA,CAAG,IAAM,CAC1Dd,CAAAA,CAAS,IAAMP,CAAAA,CAAO,IAAA,CAAKqB,CAAY,CAAC,EACzC,CAAC,CAAA,CACD,OAAAX,iBAAAA,CAAUD,CAAW,EACdH,CACR,CAGA,SAASa,CAAAA,CAAiBnB,CAAAA,CAAiCsB,CAAAA,CAA4D,CACtH,IAAMV,CAAAA,CAAY,IAA+B,CAChD,IAAMC,CAAAA,CAAkC,EAAC,CACzC,IAAA,IAAWU,CAAAA,IAAMD,CAAAA,CAChBT,EAAOU,CAAE,CAAA,CAAIvB,EAAO,IAAA,CAAKuB,CAAE,EAE5B,OAAOV,CACR,EACM,CAACE,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,oBAAAA,CAAaI,GAAW,CAAA,CAC5CH,EAAcT,CAAAA,CAAO,SAAA,CAAUsB,CAAAA,CAAe,IAAM,CACzDN,CAAAA,CAASJ,CAAS,EACnB,CAAC,CAAA,CACD,OAAAF,iBAAAA,CAAUD,CAAW,CAAA,CACdM,CACR,CAuBO,SAASS,CAAAA,CAEfxB,EAEAyB,CAAAA,CACAC,CAAAA,CAAkDC,6BAC9B,CACpBzB,yBAAAA,CAAa,aAAA,CAAeF,CAAM,EAClC,IAAM4B,CAAAA,CAAe,IAAI,GAAA,CAAI,MAAA,CAAO,KAAK5B,CAAAA,CAAO,MAAA,EAAU,EAAE,CAAC,EAGvD6B,CAAAA,CAAkB,IAAMC,gCAAmB9B,CAAAA,CAAQ4B,CAAAA,CAAcH,CAAQ,CAAA,CAEzEM,CAAAA,CAAUF,CAAAA,EAAgB,CAC5BG,EAAkBD,CAAAA,CAAQ,QAAA,CAC1BE,EAAoBF,CAAAA,CAAQ,UAAA,CAC1B,CAACG,CAAAA,CAAUC,CAAW,CAAA,CAAI3B,oBAAAA,CAAauB,EAAQ,KAAK,CAAA,CAEpDK,EAA4B,EAAC,CAE7BC,EAAc,IAAM,CACzB,IAAA,IAAWC,CAAAA,IAASF,EAAQE,CAAAA,EAAM,CAClCF,EAAO,MAAA,CAAS,CAAA,CAEhB,IAAMG,CAAAA,CAAW,IAAM,CACtB,IAAM1B,EAASgB,CAAAA,EAAgB,CAC/BM,EAAaK,CAAAA,EACPd,CAAAA,CAAWc,EAAM3B,CAAAA,CAAO,KAAK,CAAA,CAC3B2B,CAAAA,CADqC3B,EAAO,KAEnD,CAAA,CAEG4B,yBAAYT,CAAAA,CAAiBnB,CAAAA,CAAO,SAAUoB,CAAAA,CAAmBpB,CAAAA,CAAO,UAAU,CAAA,GACrFmB,EAAkBnB,CAAAA,CAAO,QAAA,CACzBoB,EAAoBpB,CAAAA,CAAO,UAAA,CAC3BwB,GAAY,EAEd,CAAA,CAEIL,CAAAA,CAAgB,MAAA,CAAS,EAC5BI,CAAAA,CAAO,IAAA,CAAKpC,EAAO,KAAA,CAAM,MAAA,CAAO,UAAUgC,CAAAA,CAAiBO,CAAQ,CAAC,CAAA,CAC1DN,CAAAA,CAAkB,SAAW,CAAA,EACvCG,CAAAA,CAAO,KAAKpC,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAauC,CAAQ,CAAC,CAAA,CAEnDN,EAAkB,MAAA,CAAS,CAAA,EAC9BG,EAAO,IAAA,CAAKpC,CAAAA,CAAO,UAAUiC,CAAAA,CAAmBM,CAAQ,CAAC,EAE3D,EAEA,OAAAF,CAAAA,GAEA3B,iBAAAA,CAAU,IAAM,CACf,IAAA,IAAW4B,CAAAA,IAASF,CAAAA,CAAQE,CAAAA,GAC7B,CAAC,CAAA,CAEMJ,CACR,CAMO,SAASQ,EACf1C,CAAAA,CACkC,CAClC,OAAAE,yBAAAA,CAAa,cAAeF,CAAM,CAAA,CAC1B2C,GAA0B,CACjC3C,CAAAA,CAAO,SAAS2C,CAAK,EACtB,CACD,CASO,SAASC,CAAAA,CACf5C,CAAAA,CACkC,CAClC,OAAAE,yBAAAA,CAAa,YAAaF,CAAM,CAAA,CACzBA,CAAAA,CAAO,MACf,CAoCO,SAAS6C,CAAAA,CAEf7C,EACA8C,CAAAA,CACAC,CAAAA,CACAC,EACO,CACP9C,yBAAAA,CAAa,UAAA,CAAYF,CAAM,EAE/B,IAAMiD,CAAAA,CACLH,IAAuB,MAAA,EACvB,OAAOC,GAAsB,QAAA,EAC7B,OAAOC,GAAkB,UAAA,CAEpBlC,CAAAA,CAAMmC,EAAUF,CAAAA,CAA+BD,CAAAA,CAC/CI,EAAWD,CAAAA,CACdD,CAAAA,CACCD,EAEEtC,CAAAA,CAAcT,CAAAA,CAAO,KAAA,CAAMc,CAAAA,CAAKoC,CAAQ,CAAA,CAC9CxC,iBAAAA,CAAUD,CAAW,EACtB,CAeO,SAAS0C,CAAAA,CAEfnD,CAAAA,CACAoD,CAAAA,CACyB,CACzBlD,0BAAa,YAAA,CAAcF,CAAM,EACjC,GAAM,CAACe,EAAOC,CAAQ,CAAA,CAAIR,oBAAAA,CAA2B6C,gCAAAA,CAAoBrD,CAAM,CAAC,CAAA,CAE1EsD,EAAS,IAAM,CACpBtC,EAASqC,gCAAAA,CAAoBrD,CAAM,CAAC,EACrC,EAEA,GAAIoD,CAAAA,EAAS,YAAcA,CAAAA,CAAQ,UAAA,CAAa,EAAG,CAClD,GAAM,CAAE,SAAA,CAAAG,EAAW,OAAA,CAAAC,CAAQ,EAAIC,2BAAAA,CAAeH,CAAAA,CAAQF,EAAQ,UAAU,CAAA,CAClEM,CAAAA,CAAa1D,CAAAA,CAAO,MAAM,MAAA,CAAO,YAAA,CAAauD,CAAS,CAAA,CACvDI,CAAAA,CAAe3D,EAAO,eAAA,CAAgBuD,CAAS,CAAA,CACrD7C,iBAAAA,CAAU,IAAM,CACf8C,CAAAA,GACAE,CAAAA,EAAW,CACXC,IACD,CAAC,EACF,CAAA,KAAO,CACN,IAAMD,CAAAA,CAAa1D,CAAAA,CAAO,MAAM,MAAA,CAAO,YAAA,CAAasD,CAAM,CAAA,CACpDK,CAAAA,CAAe3D,CAAAA,CAAO,eAAA,CAAgBsD,CAAM,CAAA,CAClD5C,iBAAAA,CAAU,IAAM,CACfgD,CAAAA,GACAC,CAAAA,GACD,CAAC,EACF,CAEA,OAAO5C,CACR,CAWO,SAAS6C,CAAAA,CACfC,EACAC,CAAAA,CACoF,CACpF,GAAI,KAAA,CAAM,QAAQA,CAAW,CAAA,CAAG,CAC/B,IAAMlD,CAAAA,CAAY,IAA6C,CAC9D,IAAMC,EAAgD,EAAC,CACvD,QAAWkD,CAAAA,IAAQD,CAAAA,CAClBjD,EAAOkD,CAAI,CAAA,CAAIF,EAAa,SAAA,CAAUE,CAAI,CAAA,CAE3C,OAAOlD,CACR,CAAA,CACM,CAACE,EAAOC,CAAQ,CAAA,CAAIR,qBAAaI,CAAAA,EAAW,CAAA,CAC5CH,CAAAA,CAAcoD,EAAa,SAAA,CAAU,IAAM,CAChD7C,CAAAA,CAASJ,CAAS,EACnB,CAAC,CAAA,CACD,OAAAF,iBAAAA,CAAUD,CAAW,CAAA,CACdM,CACR,CAEA,GAAM,CAACiD,EAAQC,CAAS,CAAA,CAAIzD,qBAAoCqD,CAAAA,CAAa,SAAA,CAAUC,CAAW,CAAC,CAAA,CAC7FrD,EAAcoD,CAAAA,CAAa,SAAA,CAAU,IAAM,CAChDI,CAAAA,CAAUJ,CAAAA,CAAa,SAAA,CAAUC,CAAW,CAAC,EAC9C,CAAC,CAAA,CACD,OAAApD,kBAAUD,CAAW,CAAA,CACduD,CACR,CASO,SAASE,CAAAA,CAEflE,CAAAA,CACAmE,EAC0B,CAC1BjE,yBAAAA,CAAa,aAAcF,CAAM,CAAA,CACjC,GAAM,CAACoE,EAAaC,CAAc,CAAA,CAAI7D,qBAA4BR,CAAAA,CAAO,OAAA,CAAQmE,CAAa,CAAC,CAAA,CAEzFb,CAAAA,CAAS,IAAMe,EAAerE,CAAAA,CAAO,OAAA,CAAQmE,CAAa,CAAC,CAAA,CAC3DT,EAAa1D,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,YAAA,CAAasD,CAAM,CAAA,CACpDK,CAAAA,CAAe3D,EAAO,eAAA,CAAgBsD,CAAM,EAClD,OAAA5C,iBAAAA,CAAU,IAAM,CACfgD,GAAW,CACXC,CAAAA,GACD,CAAC,CAAA,CAEMS,CACR,CAgBO,SAASE,CAAAA,CAEftE,CAAAA,CACAuE,EACqD,CACrDrE,yBAAAA,CAAa,sBAAuBF,CAAM,CAAA,CAC1C,IAAMwE,CAAAA,CAAS,IAAM,CACpB,IAAMC,CAAAA,CAAazE,EAAO,OAAA,EAAQ,CAClC,OAAKuE,CAAAA,CACEE,CAAAA,CAAW,YAAY,IAAA,CAAMC,CAAAA,EAAsBA,CAAAA,CAAE,EAAA,GAAOH,CAAY,CAAA,EAAK,IAAA,CAD1DE,EAAW,WAEtC,CAAA,CAEM,CAAC1D,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,oBAAAA,CAAuDgE,GAAQ,CAAA,CAEnFlB,EAAS,IAAMtC,CAAAA,CAASwD,CAAM,CAAA,CAC9Bd,CAAAA,CAAa1D,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAasD,CAAM,EACpDK,CAAAA,CAAe3D,CAAAA,CAAO,gBAAgBsD,CAAM,CAAA,CAClD,OAAA5C,iBAAAA,CAAU,IAAM,CACfgD,CAAAA,GACAC,CAAAA,GACD,CAAC,CAAA,CAEM5C,CACR,CAiBO,SAAS4D,EAEf3E,CAAAA,CACA6D,CAAAA,CACAe,EACyB,CACzB1E,yBAAAA,CAAa,sBAAuBF,CAAM,CAAA,CAC1C,GAAM,CAAC6E,EAAWC,CAAY,CAAA,CAAItE,qBAAa,KAAK,CAAA,CAC9C,CAACuE,CAAAA,CAAOC,CAAQ,CAAA,CAAIxE,oBAAAA,CAA2B,IAAI,CAAA,CACrDyE,CAAAA,CAAkC,KAClCC,CAAAA,CAAmC,IAAA,CAEjCC,EAAW,IAAM,CAClBF,IACHjF,CAAAA,CAAO,OAAA,CAAQiF,CAAQ,CAAA,CACvBA,CAAAA,CAAW,MAEZH,CAAAA,CAAa,KAAK,EAClBE,CAAAA,CAAS,IAAI,CAAA,CACbE,CAAAA,KACAA,CAAAA,CAAc,KACf,EAEME,CAAAA,CAAUC,CAAAA,EAAyB,CACxCJ,CAAAA,CAAWjF,CAAAA,CAAO,WAAA,EAAY,CAC9B8E,EAAa,IAAI,CAAA,CACjBE,EAAS,IAAI,CAAA,CACbhF,EAAO,KAAA,CAAMqF,CAAQ,CAAA,CAEjBxB,CAAAA,EAAgBe,IACnBM,CAAAA,IAAc,CACdA,EAAcrB,CAAAA,CAAa,SAAA,CAAU,IAAM,CAC1C,IAAMG,CAAAA,CAASH,CAAAA,CAAa,UAAUe,CAAe,CAAA,CACjD,CAACZ,CAAAA,CAAO,SAAA,EAAa,CAACA,CAAAA,CAAO,QAAA,EAChCiB,CAAAA,CAAW,IAAA,CACXH,EAAa,KAAK,CAAA,CAClBI,KAAc,CACdA,CAAAA,CAAc,MACJlB,CAAAA,CAAO,QAAA,GACjBgB,CAAAA,CAAS,IAAMhB,EAAO,SAAS,CAAA,CAC/BmB,GAAS,EAEX,CAAC,GAEH,CAAA,CAEA,OAAAzE,iBAAAA,CAAU,IAAM,CACfwE,CAAAA,KACD,CAAC,CAAA,CAEM,CAAE,OAAAE,CAAAA,CAAQ,SAAA,CAAAP,EAAW,KAAA,CAAAE,CAAAA,CAAO,SAAAI,CAAS,CAC7C,CAeO,SAASG,CAAAA,CACfzB,EACAC,CAAAA,CACoF,CACpF,IAAMyB,CAAAA,CAAQ,MAAM,OAAA,CAAQzB,CAAW,EAAIA,CAAAA,CAAc,CAACA,CAAW,CAAA,CAG/D0B,CAAAA,CAAa,IAAMD,CAAAA,CAAM,KAAME,CAAAA,EAAM5B,CAAAA,CAAa,UAAU4B,CAAC,CAAA,CAAE,SAAS,CAAA,CAE9E,GAAID,CAAAA,EAAW,CACd,MAAM,IAAI,OAAA,CAAeE,GAAY,CACpC,IAAMpD,EAAQuB,CAAAA,CAAa,SAAA,CAAU,IAAM,CACrC2B,CAAAA,KACJlD,CAAAA,EAAM,CACNoD,GAAQ,EAEV,CAAC,EACF,CAAC,CAAA,CAIF,OACQ9B,EAAqBC,CAAAA,CAAcC,CAAW,CAGvD,CAgBO,SAAS6B,CAAAA,CAEf3F,CAAAA,CACoD,CACpDE,yBAAAA,CAAa,eAAA,CAAiBF,CAAM,CAAA,CACpC,GAAM,CAACe,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,oBAAAA,CAAsDoF,kCAAqB5F,CAAM,CAAC,EACtGsC,CAAAA,CAAQtC,CAAAA,CAAO,mBAAmB,IAAMgB,CAAAA,CAAS4E,kCAAqB5F,CAAM,CAAC,CAAC,CAAA,CACpF,OAAAU,kBAAU4B,CAAK,CAAA,CACRvB,CACR,CAqCO,SAAS8E,CAAAA,CACfC,CAAAA,CACAC,EACC,CACD,IAAMC,EAAa,CAAC,GAAID,GAAQ,OAAA,EAAW,EAAG,CAAA,CAC1ClC,EAEJ,GAAIkC,CAAAA,EAAQ,OAAQ,CACnB,IAAME,EAAKC,kCAAAA,EAA8B,CACzCrC,CAAAA,CAAeoC,CAAAA,CAEfD,EAAW,IAAA,CAAKC,CAAAA,CAAG,MAAqB,EACzC,CAGA,IAAMjG,CAAAA,CAASmG,iBAAAA,CAAa,CAC3B,MAAA,CAAQL,EACR,OAAA,CAASE,CAAAA,CAAW,OAAS,CAAA,CAAIA,CAAAA,CAAa,OAC9C,KAAA,CAAOD,CAAAA,EAAQ,KAAA,CACf,aAAA,CAAeA,GAAQ,aAAA,CACvB,MAAA,CAAQA,GAAQ,MAAA,CAChB,UAAA,CAAYA,GAAQ,UAAA,CACpB,YAAA,CAAcA,CAAAA,EAAQ,YACvB,CAAQ,CAAA,CAER/F,CAAAA,CAAO,OAAM,CAEbU,iBAAAA,CAAU,IAAM,CACfV,CAAAA,CAAO,OAAA,GACR,CAAC,CAAA,CAED,IAAMW,EAAWoF,CAAAA,EAAQ,KAAA,CACnBK,EAAcL,CAAAA,EAAQ,OAAA,CACtBM,EAAe,CAAC1F,CAAAA,EAAY,CAACyF,CAAAA,CAG7B,CAACE,EAAYC,CAAa,CAAA,CAAI/F,qBACnC6F,CAAAA,CACIrG,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAAS,CAC7BwG,sBAAAA,CAAUxG,EAAQW,CAAAA,EAAY,EAAE,CACrC,CAAA,CACM+C,CAAAA,CAAa2C,CAAAA,CAChBrG,EAAO,KAAA,CAAM,MAAA,CAAO,aAAa,IAAM,CACxCuG,EAAc,IAAMvG,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAA2B,EACpE,CAAC,CAAA,CACCW,CAAAA,EAAYA,EAAS,MAAA,CAAS,CAAA,CAC7BX,EAAO,KAAA,CAAM,MAAA,CAAO,UAAUW,CAAAA,CAAU,IAAM,CAC/C4F,CAAAA,CAAc,IAAMC,uBAAUxG,CAAAA,CAAQW,CAAQ,CAAkB,EACjE,CAAC,CAAA,CACC,IAAA,CAGE8F,EAAoBJ,CAAAA,CAAe,MAAA,CAAO,KAAKrG,CAAAA,CAAO,MAAA,EAAU,EAAE,EAAKoG,CAAAA,EAAe,GACtFM,CAAAA,CAAa,IAA2B,CAC7C,IAAM7F,CAAAA,CAAkC,EAAC,CACzC,QAAWC,CAAAA,IAAO2F,CAAAA,CACjB5F,EAAOC,CAAG,CAAA,CAAId,EAAO,IAAA,CAAKc,CAAG,EAE9B,OAAOD,CACR,EACM,CAAC8F,CAAAA,CAAcC,CAAe,CAAA,CAAIpG,oBAAAA,CAAakG,GAAY,CAAA,CAC3DG,CAAAA,CAAeJ,CAAAA,CAAkB,OAAS,CAAA,CAC7CzG,CAAAA,CAAO,UAAUyG,CAAAA,CAAmB,IAAM,CAAEG,CAAAA,CAAgBF,CAAU,EAAG,CAAC,EAC1E,IAAA,CAEHhG,iBAAAA,CAAU,IAAM,CACfgD,CAAAA,KACAmD,CAAAA,KACD,CAAC,CAAA,CAED,IAAMC,CAAAA,CAAS9G,CAAAA,CAAO,OAGtB,OAAO,CACN,OAAAA,CAAAA,CACA,KAAA,CAAOsG,CAAAA,CACP,OAAA,CAASK,EACT,MAAA,CAAAG,CAAAA,CACA,SAPiBnE,CAAAA,EAA0B3C,CAAAA,CAAO,SAAS2C,CAAK,CAAA,CAQhE,YAAA,CAAAkB,CACD,CACD,CASO,SAASkD,GAEf/G,CAAAA,CACAqB,CAAAA,CAC4B,CAC5B,GAAM,CAACf,CAAAA,CAAOC,CAAQ,EAAIC,oBAAAA,CAAgBR,CAAAA,CAAO,KAAKqB,CAAY,CAAM,EAClEZ,CAAAA,CAAcT,CAAAA,CAAO,SAAA,CAAU,CAACqB,CAAY,CAAA,CAAG,IAAM,CAC1Dd,CAAAA,CAAS,IAAMP,EAAO,IAAA,CAAKqB,CAAY,CAAM,EAC9C,CAAC,EACD,OAAO,CAACf,EAAOG,CAAW,CAC3B,CAKO,SAASuG,EAAAA,CAEfhH,CAAAA,CACAK,CAAAA,CACwC,CACxC,GAAM,CAACC,EAAOC,CAAQ,CAAA,CAAIC,qBACzBR,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAChC,CAAA,CACMI,EAAcT,CAAAA,CAAO,KAAA,CAAM,OAAO,SAAA,CAAU,CAACK,CAAO,CAAA,CAAG,IAAM,CAClEE,CAAAA,CAAS,IAAMP,CAAAA,CAAO,KAAA,CAAM,OAAO,GAAA,CAAIK,CAAO,CAAkB,EACjE,CAAC,EACD,OAAO,CAACC,EAAOG,CAAW,CAC3B,CAMO,SAASwG,EAAAA,EAgBd,CACD,OAAO,CACN,OAAA,CAAS,CAAyCjH,EAA+BK,CAAAA,GAEhFN,CAAAA,CAAQC,EAAmCK,CAAiB,CAAA,CAC7D,UAAA,CAAY,CAA+CL,EAA+BqB,CAAAA,GAEzFJ,CAAAA,CAAWjB,EAAmCqB,CAAsB,CAAA,CACrE,YAAcrB,CAAAA,EACL2C,CAAAA,EAA0B,CACjC3C,CAAAA,CAAO,SAAS2C,CAAK,EACtB,EAED,SAAA,CAAY3C,CAAAA,EAAkC4C,EAAa5C,CAAM,CAAA,CACjE,SAAU,CACTA,CAAAA,CACAc,EACAoC,CAAAA,GAGAL,CAAAA,CAAS7C,EAAmCc,CAAAA,CAAKoC,CAAQ,CAC3D,CACD","file":"index.cjs","sourcesContent":["/**\n * Solid Adapter - Consolidated SolidJS primitives for Directive\n *\n * 16 active exports: useFact, useDerived, useDispatch, useSelector,\n * useWatch, useInspect, useRequirementStatus, useEvents, useExplain,\n * useConstraintStatus, useOptimisticUpdate, useDirective, useTimeTravel,\n * createTypedHooks, useSuspenseRequirement, shallowEqual\n *\n * Signal factories: createDerivedSignal, createFactSignal\n */\n\nimport {\n\tcreateSignal,\n\tonCleanup,\n\ttype Accessor,\n} from \"solid-js\";\nimport type {\n\tModuleSchema,\n\tModuleDef,\n\tPlugin,\n\tDebugConfig,\n\tErrorBoundaryConfig,\n\tInferFacts,\n\tInferDerivations,\n\tInferSelectorState,\n\tInferEvents,\n\tSingleModuleSystem,\n\tSystemSnapshot,\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// 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): Accessor<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[]): Accessor<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): Accessor<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\n\tif (Array.isArray(keyOrKeys)) {\n\t\treturn _useFactMulti(system, keyOrKeys);\n\t}\n\n\t// Single key path\n\treturn _useFactSingle(system, keyOrKeys);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useFactSingle(system: SingleModuleSystem<any>, factKey: string): Accessor<unknown> {\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] useFact(\"${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\tconst [value, setValue] = createSignal(system.facts.$store.get(factKey));\n\tconst unsubscribe = system.facts.$store.subscribe([factKey], () => {\n\t\tsetValue(() => system.facts.$store.get(factKey));\n\t});\n\tonCleanup(unsubscribe);\n\treturn value;\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useFactMulti(system: SingleModuleSystem<any>, factKeys: string[]): Accessor<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\tconst [state, setState] = createSignal(getValues());\n\tconst unsubscribe = system.facts.$store.subscribe(factKeys, () => {\n\t\tsetState(getValues);\n\t});\n\tonCleanup(unsubscribe);\n\treturn state;\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): Accessor<InferDerivations<S>[K]>;\n/** Multi-key overload */\nexport function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Accessor<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): Accessor<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 _useDerivedMulti(system, idOrIds);\n\t}\n\n\t// Single key path\n\treturn _useDerivedSingle(system, idOrIds);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useDerivedSingle(system: SingleModuleSystem<any>, derivationId: string): Accessor<unknown> {\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] useDerived(\"${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\tconst [value, setValue] = createSignal(system.read(derivationId));\n\tconst unsubscribe = system.subscribe([derivationId], () => {\n\t\tsetValue(() => system.read(derivationId));\n\t});\n\tonCleanup(unsubscribe);\n\treturn value;\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useDerivedMulti(system: SingleModuleSystem<any>, derivationIds: string[]): Accessor<Record<string, unknown>> {\n\tconst getValues = (): Record<string, unknown> => {\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;\n\t};\n\tconst [state, setState] = createSignal(getValues());\n\tconst unsubscribe = system.subscribe(derivationIds, () => {\n\t\tsetState(getValues);\n\t});\n\tonCleanup(unsubscribe);\n\treturn state;\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>(\n\tsystem: SingleModuleSystem<S>,\n\tselector: (state: InferSelectorState<S>) => R,\n\tequalityFn?: (a: R, b: R) => boolean,\n): Accessor<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): Accessor<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): Accessor<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\tlet trackedFactKeys = initial.factKeys;\n\tlet trackedDeriveKeys = initial.deriveKeys;\n\tconst [selected, setSelected] = createSignal(initial.value);\n\n\tconst unsubs: Array<() => void> = [];\n\n\tconst resubscribe = () => {\n\t\tfor (const unsub of unsubs) unsub();\n\t\tunsubs.length = 0;\n\n\t\tconst onUpdate = () => {\n\t\t\tconst result = runWithTracking();\n\t\t\tsetSelected((prev) => {\n\t\t\t\tif (!equalityFn(prev, result.value)) return result.value;\n\t\t\t\treturn prev;\n\t\t\t});\n\t\t\t// Re-track: check if deps changed\n\t\t\tif (depsChanged(trackedFactKeys, result.factKeys, trackedDeriveKeys, result.deriveKeys)) {\n\t\t\t\ttrackedFactKeys = result.factKeys;\n\t\t\t\ttrackedDeriveKeys = result.deriveKeys;\n\t\t\t\tresubscribe();\n\t\t\t}\n\t\t};\n\n\t\tif (trackedFactKeys.length > 0) {\n\t\t\tunsubs.push(system.facts.$store.subscribe(trackedFactKeys, onUpdate));\n\t\t} else if (trackedDeriveKeys.length === 0) {\n\t\t\tunsubs.push(system.facts.$store.subscribeAll(onUpdate));\n\t\t}\n\t\tif (trackedDeriveKeys.length > 0) {\n\t\t\tunsubs.push(system.subscribe(trackedDeriveKeys, onUpdate));\n\t\t}\n\t};\n\n\tresubscribe();\n\n\tonCleanup(() => {\n\t\tfor (const unsub of unsubs) unsub();\n\t});\n\n\treturn selected;\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\tonCleanup(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 Accessor<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): Accessor<InspectState> {\n\tassertSystem(\"useInspect\", system);\n\tconst [state, setState] = createSignal<InspectState>(computeInspectState(system));\n\n\tconst update = () => {\n\t\tsetState(computeInspectState(system));\n\t};\n\n\tif (options?.throttleMs && options.throttleMs > 0) {\n\t\tconst { throttled, cleanup } = createThrottle(update, options.throttleMs);\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(throttled);\n\t\tconst unsubSettled = system.onSettledChange(throttled);\n\t\tonCleanup(() => {\n\t\t\tcleanup();\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t});\n\t} else {\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\t\tonCleanup(() => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t});\n\t}\n\n\treturn state;\n}\n\n// ============================================================================\n// useRequirementStatus — single or multi\n// ============================================================================\n\n/** Single type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;\n/** Multi-type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;\n/** Implementation */\nexport function useRequirementStatus(\n\tstatusPlugin: StatusPlugin,\n\ttypeOrTypes: string | string[],\n): Accessor<RequirementTypeStatus> | Accessor<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\t\tconst [state, setState] = createSignal(getValues());\n\t\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\t\tsetState(getValues);\n\t\t});\n\t\tonCleanup(unsubscribe);\n\t\treturn state;\n\t}\n\n\tconst [status, setStatus] = createSignal<RequirementTypeStatus>(statusPlugin.getStatus(typeOrTypes));\n\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\tsetStatus(statusPlugin.getStatus(typeOrTypes));\n\t});\n\tonCleanup(unsubscribe);\n\treturn status;\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): Accessor<string | null> {\n\tassertSystem(\"useExplain\", system);\n\tconst [explanation, setExplanation] = createSignal<string | null>(system.explain(requirementId));\n\n\tconst update = () => setExplanation(system.explain(requirementId));\n\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\tconst unsubSettled = system.onSettledChange(update);\n\tonCleanup(() => {\n\t\tunsubFacts();\n\t\tunsubSettled();\n\t});\n\n\treturn explanation;\n}\n\n// ============================================================================\n// useConstraintStatus — reactive constraint inspection\n// ============================================================================\n\n/** Get all constraints */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n): Accessor<ConstraintInfo[]>;\n/** Get a single constraint by ID */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId: string,\n): Accessor<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): Accessor<ConstraintInfo[] | ConstraintInfo | null> {\n\tassertSystem(\"useConstraintStatus\", system);\n\tconst getVal = () => {\n\t\tconst inspection = system.inspect();\n\t\tif (!constraintId) return inspection.constraints;\n\t\treturn inspection.constraints.find((c: ConstraintInfo) => c.id === constraintId) ?? null;\n\t};\n\n\tconst [state, setState] = createSignal<ConstraintInfo[] | ConstraintInfo | null>(getVal());\n\n\tconst update = () => setState(getVal);\n\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\tconst unsubSettled = system.onSettledChange(update);\n\tonCleanup(() => {\n\t\tunsubFacts();\n\t\tunsubSettled();\n\t});\n\n\treturn state;\n}\n\n// ============================================================================\n// useOptimisticUpdate — batch with rollback on failure\n// ============================================================================\n\nexport interface OptimisticUpdateResult {\n\tmutate: (updateFn: () => void) => void;\n\tisPending: Accessor<boolean>;\n\terror: Accessor<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\tconst [isPending, setIsPending] = createSignal(false);\n\tconst [error, setError] = createSignal<Error | null>(null);\n\tlet snapshot: SystemSnapshot | null = null;\n\tlet statusUnsub: (() => void) | null = null;\n\n\tconst rollback = () => {\n\t\tif (snapshot) {\n\t\t\tsystem.restore(snapshot);\n\t\t\tsnapshot = null;\n\t\t}\n\t\tsetIsPending(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\tsetIsPending(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\tsetIsPending(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\tonCleanup(() => {\n\t\tstatusUnsub?.();\n\t});\n\n\treturn { mutate, isPending, error, rollback };\n}\n\n// ============================================================================\n// useSuspenseRequirement — Solid-specific Suspense integration\n// ============================================================================\n\n/**\n * Single type: throws a promise while the requirement is pending (Suspense).\n */\nexport function useSuspenseRequirement(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;\n/**\n * Multi-type: throws a promise while any of the requirements are pending.\n */\nexport function useSuspenseRequirement(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;\n/** Implementation */\nexport function useSuspenseRequirement(\n\tstatusPlugin: StatusPlugin,\n\ttypeOrTypes: string | string[],\n): Accessor<RequirementTypeStatus> | Accessor<Record<string, RequirementTypeStatus>> {\n\tconst types = Array.isArray(typeOrTypes) ? typeOrTypes : [typeOrTypes];\n\n\t// Check if any are still loading — if so, throw a promise\n\tconst anyLoading = () => types.some((t) => statusPlugin.getStatus(t).isLoading);\n\n\tif (anyLoading()) {\n\t\tthrow new Promise<void>((resolve) => {\n\t\t\tconst unsub = statusPlugin.subscribe(() => {\n\t\t\t\tif (!anyLoading()) {\n\t\t\t\t\tunsub();\n\t\t\t\t\tresolve();\n\t\t\t\t}\n\t\t\t});\n\t\t});\n\t}\n\n\t// Once resolved, return normal accessor\n\tif (Array.isArray(typeOrTypes)) {\n\t\treturn useRequirementStatus(statusPlugin, typeOrTypes) as Accessor<Record<string, RequirementTypeStatus>>;\n\t}\n\treturn useRequirementStatus(statusPlugin, typeOrTypes) as Accessor<RequirementTypeStatus>;\n}\n\n// ============================================================================\n// useTimeTravel — reactive time-travel signal\n// ============================================================================\n\n/**\n * Reactive time-travel signal. Returns an Accessor that updates\n * when snapshots are taken or navigation occurs.\n *\n * @example\n * ```tsx\n * const tt = useTimeTravel(system);\n * <button disabled={!tt()?.canUndo} onClick={() => 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): Accessor<ReturnType<typeof buildTimeTravelState>> {\n\tassertSystem(\"useTimeTravel\", system);\n\tconst [state, setState] = createSignal<ReturnType<typeof buildTimeTravelState>>(buildTimeTravelState(system));\n\tconst unsub = system.onTimeTravelChange(() => setState(buildTimeTravelState(system)));\n\tonCleanup(unsub);\n\treturn state;\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 reactive signals.\n *\n * @example\n * ```tsx\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\tonCleanup(() => {\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 [factsState, setFactsState] = createSignal(\n\t\tsubscribeAll\n\t\t\t? (system.facts.$store.toObject() as InferFacts<M>)\n\t\t\t: (pickFacts(system, factKeys ?? []) as InferFacts<M>),\n\t);\n\tconst unsubFacts = subscribeAll\n\t\t? system.facts.$store.subscribeAll(() => {\n\t\t\tsetFactsState(() => system.facts.$store.toObject() as InferFacts<M>);\n\t\t})\n\t\t: factKeys && factKeys.length > 0\n\t\t\t? system.facts.$store.subscribe(factKeys, () => {\n\t\t\t\tsetFactsState(() => pickFacts(system, factKeys) as InferFacts<M>);\n\t\t\t})\n\t\t\t: null;\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 [derivedState, setDerivedState] = createSignal(getDerived());\n\tconst unsubDerived = allDerivationKeys.length > 0\n\t\t? system.subscribe(allDerivationKeys, () => { setDerivedState(getDerived); })\n\t\t: null;\n\n\tonCleanup(() => {\n\t\tunsubFacts?.();\n\t\tunsubDerived?.();\n\t});\n\n\tconst events = system.events;\n\tconst dispatch = (event: InferEvents<M>) => system.dispatch(event);\n\n\treturn {\n\t\tsystem,\n\t\tfacts: factsState as Accessor<InferFacts<M>>,\n\t\tderived: derivedState as Accessor<InferDerivations<M>>,\n\t\tevents,\n\t\tdispatch,\n\t\tstatusPlugin,\n\t};\n}\n\n// ============================================================================\n// Signal Factories (for use outside components)\n// ============================================================================\n\n/**\n * Create a derivation signal outside of a component.\n */\nexport function createDerivedSignal<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tderivationId: string,\n): [Accessor<T>, () => void] {\n\tconst [value, setValue] = createSignal<T>(system.read(derivationId) as T);\n\tconst unsubscribe = system.subscribe([derivationId], () => {\n\t\tsetValue(() => system.read(derivationId) as T);\n\t});\n\treturn [value, unsubscribe];\n}\n\n/**\n * Create a fact signal outside of a component.\n */\nexport function createFactSignal<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tfactKey: string,\n): [Accessor<T | undefined>, () => void] {\n\tconst [value, setValue] = createSignal<T | undefined>(\n\t\tsystem.facts.$store.get(factKey) as T | undefined,\n\t);\n\tconst unsubscribe = system.facts.$store.subscribe([factKey], () => {\n\t\tsetValue(() => system.facts.$store.get(factKey) as T | undefined);\n\t});\n\treturn [value, unsubscribe];\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) => Accessor<InferFacts<M>[K] | undefined>;\n\tuseDerived: <K extends keyof InferDerivations<M> & string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tderivationId: K,\n\t) => Accessor<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: Required for overload compatibility\n\t\t\tuseFact(system as SingleModuleSystem<any>, factKey as string) as Accessor<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: Required for overload compatibility\n\t\t\tuseDerived(system as SingleModuleSystem<any>, derivationId as string) as Accessor<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: Required 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,162 @@
+import { Accessor } from 'solid-js';
+import { createRequirementStatusPlugin, SingleModuleSystem, ModuleSchema, InferFacts, InferDerivations, InferEvents, ModuleDef, Plugin, DebugConfig, ErrorBoundaryConfig, RequirementTypeStatus, InferSelectorState } from '@directive-run/core';
+export { RequirementTypeStatus } from '@directive-run/core';
+import { ConstraintInfo, InspectState, buildTimeTravelState } from '@directive-run/core/adapter-utils';
+export { ConstraintInfo, InspectState, shallowEqual } from '@directive-run/core/adapter-utils';
+
+/**
+ * Solid Adapter - Consolidated SolidJS primitives for Directive
+ *
+ * 16 active exports: useFact, useDerived, useDispatch, useSelector,
+ * useWatch, useInspect, useRequirementStatus, useEvents, useExplain,
+ * useConstraintStatus, useOptimisticUpdate, useDirective, useTimeTravel,
+ * createTypedHooks, useSuspenseRequirement, shallowEqual
+ *
+ * Signal factories: createDerivedSignal, createFactSignal
+ */
+
+/** Type for the requirement status plugin return value */
+type StatusPlugin = ReturnType<typeof createRequirementStatusPlugin>;
+/** Single key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKey: K): Accessor<InferFacts<S>[K] | undefined>;
+/** Multi-key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKeys: K[]): Accessor<Pick<InferFacts<S>, K>>;
+/** Single key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationId: K): Accessor<InferDerivations<S>[K]>;
+/** Multi-key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Accessor<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): Accessor<R>;
+declare function useSelector<R>(system: SingleModuleSystem<any>, selector: (state: Record<string, any>) => R, equalityFn?: (a: R, b: R) => boolean): Accessor<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 Accessor<InspectState> with optional throttling.
+ */
+declare function useInspect(system: SingleModuleSystem<any>, options?: UseInspectOptions): Accessor<InspectState>;
+/** Single type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;
+/** Multi-type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;
+/**
+ * Reactively returns the explanation string for a requirement.
+ */
+declare function useExplain(system: SingleModuleSystem<any>, requirementId: string): Accessor<string | null>;
+/** Get all constraints */
+declare function useConstraintStatus(system: SingleModuleSystem<any>): Accessor<ConstraintInfo[]>;
+/** Get a single constraint by ID */
+declare function useConstraintStatus(system: SingleModuleSystem<any>, constraintId: string): Accessor<ConstraintInfo | null>;
+interface OptimisticUpdateResult {
+    mutate: (updateFn: () => void) => void;
+    isPending: Accessor<boolean>;
+    error: Accessor<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;
+/**
+ * Single type: throws a promise while the requirement is pending (Suspense).
+ */
+declare function useSuspenseRequirement(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;
+/**
+ * Multi-type: throws a promise while any of the requirements are pending.
+ */
+declare function useSuspenseRequirement(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;
+/**
+ * Reactive time-travel signal. Returns an Accessor that updates
+ * when snapshots are taken or navigation occurs.
+ *
+ * @example
+ * ```tsx
+ * const tt = useTimeTravel(system);
+ * <button disabled={!tt()?.canUndo} onClick={() => tt()?.undo()}>Undo</button>
+ * ```
+ */
+declare function useTimeTravel(system: SingleModuleSystem<any>): Accessor<ReturnType<typeof buildTimeTravelState>>;
+/** 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 reactive signals.
+ *
+ * @example
+ * ```tsx
+ * // 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: Accessor<InferFacts<M>>;
+    derived: Accessor<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;
+};
+/**
+ * Create a derivation signal outside of a component.
+ */
+declare function createDerivedSignal<T>(system: SingleModuleSystem<any>, derivationId: string): [Accessor<T>, () => void];
+/**
+ * Create a fact signal outside of a component.
+ */
+declare function createFactSignal<T>(system: SingleModuleSystem<any>, factKey: string): [Accessor<T | undefined>, () => void];
+declare function createTypedHooks<M extends ModuleSchema>(): {
+    useFact: <K extends keyof InferFacts<M> & string>(system: SingleModuleSystem<M>, factKey: K) => Accessor<InferFacts<M>[K] | undefined>;
+    useDerived: <K extends keyof InferDerivations<M> & string>(system: SingleModuleSystem<M>, derivationId: K) => Accessor<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, createDerivedSignal, createFactSignal, createTypedHooks, useConstraintStatus, useDerived, useDirective, useDispatch, useEvents, useExplain, useFact, useInspect, useOptimisticUpdate, useRequirementStatus, useSelector, useSuspenseRequirement, useTimeTravel, useWatch };

package/dist/index.d.ts

@@ -0,0 +1,162 @@
+import { Accessor } from 'solid-js';
+import { createRequirementStatusPlugin, SingleModuleSystem, ModuleSchema, InferFacts, InferDerivations, InferEvents, ModuleDef, Plugin, DebugConfig, ErrorBoundaryConfig, RequirementTypeStatus, InferSelectorState } from '@directive-run/core';
+export { RequirementTypeStatus } from '@directive-run/core';
+import { ConstraintInfo, InspectState, buildTimeTravelState } from '@directive-run/core/adapter-utils';
+export { ConstraintInfo, InspectState, shallowEqual } from '@directive-run/core/adapter-utils';
+
+/**
+ * Solid Adapter - Consolidated SolidJS primitives for Directive
+ *
+ * 16 active exports: useFact, useDerived, useDispatch, useSelector,
+ * useWatch, useInspect, useRequirementStatus, useEvents, useExplain,
+ * useConstraintStatus, useOptimisticUpdate, useDirective, useTimeTravel,
+ * createTypedHooks, useSuspenseRequirement, shallowEqual
+ *
+ * Signal factories: createDerivedSignal, createFactSignal
+ */
+
+/** Type for the requirement status plugin return value */
+type StatusPlugin = ReturnType<typeof createRequirementStatusPlugin>;
+/** Single key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKey: K): Accessor<InferFacts<S>[K] | undefined>;
+/** Multi-key overload */
+declare function useFact<S extends ModuleSchema, K extends keyof InferFacts<S> & string>(system: SingleModuleSystem<S>, factKeys: K[]): Accessor<Pick<InferFacts<S>, K>>;
+/** Single key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationId: K): Accessor<InferDerivations<S>[K]>;
+/** Multi-key overload */
+declare function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Accessor<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): Accessor<R>;
+declare function useSelector<R>(system: SingleModuleSystem<any>, selector: (state: Record<string, any>) => R, equalityFn?: (a: R, b: R) => boolean): Accessor<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 Accessor<InspectState> with optional throttling.
+ */
+declare function useInspect(system: SingleModuleSystem<any>, options?: UseInspectOptions): Accessor<InspectState>;
+/** Single type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;
+/** Multi-type overload */
+declare function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;
+/**
+ * Reactively returns the explanation string for a requirement.
+ */
+declare function useExplain(system: SingleModuleSystem<any>, requirementId: string): Accessor<string | null>;
+/** Get all constraints */
+declare function useConstraintStatus(system: SingleModuleSystem<any>): Accessor<ConstraintInfo[]>;
+/** Get a single constraint by ID */
+declare function useConstraintStatus(system: SingleModuleSystem<any>, constraintId: string): Accessor<ConstraintInfo | null>;
+interface OptimisticUpdateResult {
+    mutate: (updateFn: () => void) => void;
+    isPending: Accessor<boolean>;
+    error: Accessor<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;
+/**
+ * Single type: throws a promise while the requirement is pending (Suspense).
+ */
+declare function useSuspenseRequirement(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;
+/**
+ * Multi-type: throws a promise while any of the requirements are pending.
+ */
+declare function useSuspenseRequirement(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;
+/**
+ * Reactive time-travel signal. Returns an Accessor that updates
+ * when snapshots are taken or navigation occurs.
+ *
+ * @example
+ * ```tsx
+ * const tt = useTimeTravel(system);
+ * <button disabled={!tt()?.canUndo} onClick={() => tt()?.undo()}>Undo</button>
+ * ```
+ */
+declare function useTimeTravel(system: SingleModuleSystem<any>): Accessor<ReturnType<typeof buildTimeTravelState>>;
+/** 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 reactive signals.
+ *
+ * @example
+ * ```tsx
+ * // 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: Accessor<InferFacts<M>>;
+    derived: Accessor<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;
+};
+/**
+ * Create a derivation signal outside of a component.
+ */
+declare function createDerivedSignal<T>(system: SingleModuleSystem<any>, derivationId: string): [Accessor<T>, () => void];
+/**
+ * Create a fact signal outside of a component.
+ */
+declare function createFactSignal<T>(system: SingleModuleSystem<any>, factKey: string): [Accessor<T | undefined>, () => void];
+declare function createTypedHooks<M extends ModuleSchema>(): {
+    useFact: <K extends keyof InferFacts<M> & string>(system: SingleModuleSystem<M>, factKey: K) => Accessor<InferFacts<M>[K] | undefined>;
+    useDerived: <K extends keyof InferDerivations<M> & string>(system: SingleModuleSystem<M>, derivationId: K) => Accessor<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, createDerivedSignal, createFactSignal, createTypedHooks, useConstraintStatus, useDerived, useDirective, useDispatch, useEvents, useExplain, useFact, useInspect, useOptimisticUpdate, useRequirementStatus, useSelector, useSuspenseRequirement, useTimeTravel, useWatch };

package/dist/index.js

@@ -0,0 +1,2 @@
+import {createSignal,onCleanup}from'solid-js';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 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)?C(e,t):E(e,t)}function E(e,t){process.env.NODE_ENV!=="production"&&(e.facts.$store.has(t)||console.warn(`[Directive] useFact("${t}") \u2014 fact not found in store. Check that "${t}" is defined in your module's schema.`));let[s,r]=createSignal(e.facts.$store.get(t)),n=e.facts.$store.subscribe([t],()=>{r(()=>e.facts.$store.get(t));});return onCleanup(n),s}function C(e,t){let s=()=>{let u={};for(let i of t)u[i]=e.facts.$store.get(i);return u},[r,n]=createSignal(s()),o=e.facts.$store.subscribe(t,()=>{n(s);});return onCleanup(o),r}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)?P(e,t):$(e,t)}function $(e,t){process.env.NODE_ENV!=="production"&&e.read(t)===void 0&&console.warn(`[Directive] useDerived("${t}") returned undefined. Check that "${t}" is defined in your module's derive property.`);let[s,r]=createSignal(e.read(t)),n=e.subscribe([t],()=>{r(()=>e.read(t));});return onCleanup(n),s}function P(e,t){let s=()=>{let u={};for(let i of t)u[i]=e.read(i);return u},[r,n]=createSignal(s()),o=e.subscribe(t,()=>{n(s);});return onCleanup(o),r}function L(e,t,s=defaultEquality){assertSystem("useSelector",e);let r=new Set(Object.keys(e.derive??{})),n=()=>runTrackedSelector(e,r,t),o=n(),u=o.factKeys,i=o.deriveKeys,[c,f]=createSignal(o.value),d=[],y=()=>{for(let p of d)p();d.length=0;let S=()=>{let p=n();f(b=>s(b,p.value)?b:p.value),depsChanged(u,p.factKeys,i,p.deriveKeys)&&(u=p.factKeys,i=p.deriveKeys,y());};u.length>0?d.push(e.facts.$store.subscribe(u,S)):i.length===0&&d.push(e.facts.$store.subscribeAll(S)),i.length>0&&d.push(e.subscribe(i,S));};return y(),onCleanup(()=>{for(let S of d)S();}),c}function H(e){return assertSystem("useDispatch",e),t=>{e.dispatch(t);}}function U(e){return assertSystem("useEvents",e),e.events}function W(e,t,s,r){assertSystem("useWatch",e);let n=t==="fact"&&typeof s=="string"&&typeof r=="function",o=n?s:t,u=n?r:s,i=e.watch(o,u);onCleanup(i);}function G(e,t){assertSystem("useInspect",e);let[s,r]=createSignal(computeInspectState(e)),n=()=>{r(computeInspectState(e));};if(t?.throttleMs&&t.throttleMs>0){let{throttled:o,cleanup:u}=createThrottle(n,t.throttleMs),i=e.facts.$store.subscribeAll(o),c=e.onSettledChange(o);onCleanup(()=>{u(),i(),c();});}else {let o=e.facts.$store.subscribeAll(n),u=e.onSettledChange(n);onCleanup(()=>{o(),u();});}return s}function k(e,t){if(Array.isArray(t)){let o=()=>{let f={};for(let d of t)f[d]=e.getStatus(d);return f},[u,i]=createSignal(o()),c=e.subscribe(()=>{i(o);});return onCleanup(c),u}let[s,r]=createSignal(e.getStatus(t)),n=e.subscribe(()=>{r(e.getStatus(t));});return onCleanup(n),s}function J(e,t){assertSystem("useExplain",e);let[s,r]=createSignal(e.explain(t)),n=()=>r(e.explain(t)),o=e.facts.$store.subscribeAll(n),u=e.onSettledChange(n);return onCleanup(()=>{o(),u();}),s}function Q(e,t){assertSystem("useConstraintStatus",e);let s=()=>{let c=e.inspect();return t?c.constraints.find(f=>f.id===t)??null:c.constraints},[r,n]=createSignal(s()),o=()=>n(s),u=e.facts.$store.subscribeAll(o),i=e.onSettledChange(o);return onCleanup(()=>{u(),i();}),r}function X(e,t,s){assertSystem("useOptimisticUpdate",e);let[r,n]=createSignal(false),[o,u]=createSignal(null),i=null,c=null,f=()=>{i&&(e.restore(i),i=null),n(false),u(null),c?.(),c=null;},d=y=>{i=e.getSnapshot(),n(true),u(null),e.batch(y),t&&s&&(c?.(),c=t.subscribe(()=>{let S=t.getStatus(s);!S.isLoading&&!S.hasError?(i=null,n(false),c?.(),c=null):S.hasError&&(u(()=>S.lastError),f());}));};return onCleanup(()=>{c?.();}),{mutate:d,isPending:r,error:o,rollback:f}}function Y(e,t){let s=Array.isArray(t)?t:[t],r=()=>s.some(n=>e.getStatus(n).isLoading);if(r())throw new Promise(n=>{let o=e.subscribe(()=>{r()||(o(),n());});});return k(e,t)}function Z(e){assertSystem("useTimeTravel",e);let[t,s]=createSignal(buildTimeTravelState(e)),r=e.onTimeTravelChange(()=>s(buildTimeTravelState(e)));return onCleanup(r),t}function O(e,t){let s=[...t?.plugins??[]],r;if(t?.status){let v=createRequirementStatusPlugin();r=v,s.push(v.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(),onCleanup(()=>{n.destroy();});let o=t?.facts,u=t?.derived,i=!o&&!u,[c,f]=createSignal(i?n.facts.$store.toObject():pickFacts(n,o??[])),d=i?n.facts.$store.subscribeAll(()=>{f(()=>n.facts.$store.toObject());}):o&&o.length>0?n.facts.$store.subscribe(o,()=>{f(()=>pickFacts(n,o));}):null,y=i?Object.keys(n.derive??{}):u??[],S=()=>{let v={};for(let M of y)v[M]=n.read(M);return v},[p,b]=createSignal(S()),A=y.length>0?n.subscribe(y,()=>{b(S);}):null;onCleanup(()=>{d?.(),A?.();});let R=n.events;return {system:n,facts:c,derived:p,events:R,dispatch:v=>n.dispatch(v),statusPlugin:r}}function ee(e,t){let[s,r]=createSignal(e.read(t)),n=e.subscribe([t],()=>{r(()=>e.read(t));});return [s,n]}function te(e,t){let[s,r]=createSignal(e.facts.$store.get(t)),n=e.facts.$store.subscribe([t],()=>{r(()=>e.facts.$store.get(t));});return [s,n]}function ne(){return {useFact:(e,t)=>V(e,t),useDerived:(e,t)=>q(e,t),useDispatch:e=>t=>{e.dispatch(t);},useEvents:e=>U(e),useWatch:(e,t,s)=>W(e,t,s)}}export{ee as createDerivedSignal,te as createFactSignal,ne as createTypedHooks,Q as useConstraintStatus,q as useDerived,O as useDirective,H as useDispatch,U as useEvents,J as useExplain,V as useFact,G as useInspect,X as useOptimisticUpdate,k as useRequirementStatus,L as useSelector,Y as useSuspenseRequirement,Z as useTimeTravel,W 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":["useFact","system","keyOrKeys","assertSystem","_useFactMulti","_useFactSingle","factKey","value","setValue","createSignal","unsubscribe","onCleanup","factKeys","getValues","result","key","state","setState","useDerived","idOrIds","_useDerivedMulti","_useDerivedSingle","derivationId","derivationIds","id","useSelector","selector","equalityFn","defaultEquality","deriveKeySet","runWithTracking","runTrackedSelector","initial","trackedFactKeys","trackedDeriveKeys","selected","setSelected","unsubs","resubscribe","unsub","onUpdate","prev","depsChanged","useDispatch","event","useEvents","useWatch","derivationIdOrKind","callbackOrFactKey","maybeCallback","isFact","callback","useInspect","options","computeInspectState","update","throttled","cleanup","createThrottle","unsubFacts","unsubSettled","useRequirementStatus","statusPlugin","typeOrTypes","type","status","setStatus","useExplain","requirementId","explanation","setExplanation","useConstraintStatus","constraintId","getVal","inspection","c","useOptimisticUpdate","requirementType","isPending","setIsPending","error","setError","snapshot","statusUnsub","rollback","mutate","updateFn","useSuspenseRequirement","types","anyLoading","t","resolve","useTimeTravel","buildTimeTravelState","useDirective","moduleDef","config","allPlugins","sp","createRequirementStatusPlugin","createSystem","derivedKeys","subscribeAll","factsState","setFactsState","pickFacts","allDerivationKeys","getDerived","derivedState","setDerivedState","unsubDerived","events","createDerivedSignal","createFactSignal","createTypedHooks"],"mappings":"qWAgEO,SAASA,CAAAA,CAEfC,EACAC,CAAAA,CACoB,CAUpB,OATAC,YAAAA,CAAa,SAAA,CAAWF,CAAM,CAAA,CAC1B,OAAA,CAAQ,GAAA,CAAI,QAAA,GAAa,cAAgB,OAAOC,CAAAA,EAAc,YACjE,OAAA,CAAQ,KAAA,CACP,gJAED,CAAA,CAIG,KAAA,CAAM,OAAA,CAAQA,CAAS,EACnBE,CAAAA,CAAcH,CAAAA,CAAQC,CAAS,CAAA,CAIhCG,CAAAA,CAAeJ,EAAQC,CAAS,CACxC,CAGA,SAASG,EAAeJ,CAAAA,CAAiCK,CAAAA,CAAoC,CACxF,OAAA,CAAQ,GAAA,CAAI,WAAa,YAAA,GACvBL,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAAA,EACnC,OAAA,CAAQ,KACP,CAAA,qBAAA,EAAwBA,CAAO,kDAChBA,CAAO,CAAA,qCAAA,CACvB,CAAA,CAAA,CAIF,GAAM,CAACC,CAAAA,CAAOC,CAAQ,EAAIC,YAAAA,CAAaR,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAAC,EACjEI,CAAAA,CAAcT,CAAAA,CAAO,MAAM,MAAA,CAAO,SAAA,CAAU,CAACK,CAAO,CAAA,CAAG,IAAM,CAClEE,EAAS,IAAMP,CAAAA,CAAO,MAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAAC,EAChD,CAAC,CAAA,CACD,OAAAK,SAAAA,CAAUD,CAAW,EACdH,CACR,CAGA,SAASH,CAAAA,CAAcH,CAAAA,CAAiCW,CAAAA,CAAuD,CAC9G,IAAMC,CAAAA,CAAY,IAA+B,CAChD,IAAMC,CAAAA,CAAkC,EAAC,CACzC,IAAA,IAAWC,CAAAA,IAAOH,CAAAA,CACjBE,EAAOC,CAAG,CAAA,CAAId,EAAO,KAAA,CAAM,MAAA,CAAO,IAAIc,CAAG,CAAA,CAE1C,OAAOD,CACR,EACM,CAACE,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,YAAAA,CAAaI,GAAW,CAAA,CAC5CH,EAAcT,CAAAA,CAAO,KAAA,CAAM,OAAO,SAAA,CAAUW,CAAAA,CAAU,IAAM,CACjEK,CAAAA,CAASJ,CAAS,EACnB,CAAC,CAAA,CACD,OAAAF,UAAUD,CAAW,CAAA,CACdM,CACR,CAWO,SAASE,EAEfjB,CAAAA,CACAkB,CAAAA,CACoB,CAUpB,OATAhB,aAAa,YAAA,CAAcF,CAAM,EAC7B,OAAA,CAAQ,GAAA,CAAI,WAAa,YAAA,EAAgB,OAAOkB,CAAAA,EAAY,UAAA,EAC/D,QAAQ,KAAA,CACP,sJAED,EAIG,KAAA,CAAM,OAAA,CAAQA,CAAO,CAAA,CACjBC,CAAAA,CAAiBnB,CAAAA,CAAQkB,CAAO,EAIjCE,CAAAA,CAAkBpB,CAAAA,CAAQkB,CAAO,CACzC,CAGA,SAASE,CAAAA,CAAkBpB,CAAAA,CAAiCqB,CAAAA,CAAyC,CAChG,QAAQ,GAAA,CAAI,QAAA,GAAa,cACPrB,CAAAA,CAAO,IAAA,CAAKqB,CAAY,CAAA,GACxB,MAAA,EACpB,OAAA,CAAQ,IAAA,CACP,2BAA2BA,CAAY,CAAA,mCAAA,EACxBA,CAAY,CAAA,8CAAA,CAC5B,CAAA,CAGF,GAAM,CAACf,CAAAA,CAAOC,CAAQ,CAAA,CAAIC,aAAaR,CAAAA,CAAO,IAAA,CAAKqB,CAAY,CAAC,CAAA,CAC1DZ,EAAcT,CAAAA,CAAO,SAAA,CAAU,CAACqB,CAAY,CAAA,CAAG,IAAM,CAC1Dd,CAAAA,CAAS,IAAMP,CAAAA,CAAO,IAAA,CAAKqB,CAAY,CAAC,EACzC,CAAC,CAAA,CACD,OAAAX,SAAAA,CAAUD,CAAW,EACdH,CACR,CAGA,SAASa,CAAAA,CAAiBnB,CAAAA,CAAiCsB,CAAAA,CAA4D,CACtH,IAAMV,CAAAA,CAAY,IAA+B,CAChD,IAAMC,CAAAA,CAAkC,EAAC,CACzC,IAAA,IAAWU,CAAAA,IAAMD,CAAAA,CAChBT,EAAOU,CAAE,CAAA,CAAIvB,EAAO,IAAA,CAAKuB,CAAE,EAE5B,OAAOV,CACR,EACM,CAACE,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,YAAAA,CAAaI,GAAW,CAAA,CAC5CH,EAAcT,CAAAA,CAAO,SAAA,CAAUsB,CAAAA,CAAe,IAAM,CACzDN,CAAAA,CAASJ,CAAS,EACnB,CAAC,CAAA,CACD,OAAAF,SAAAA,CAAUD,CAAW,CAAA,CACdM,CACR,CAuBO,SAASS,CAAAA,CAEfxB,EAEAyB,CAAAA,CACAC,CAAAA,CAAkDC,gBAC9B,CACpBzB,YAAAA,CAAa,aAAA,CAAeF,CAAM,EAClC,IAAM4B,CAAAA,CAAe,IAAI,GAAA,CAAI,MAAA,CAAO,KAAK5B,CAAAA,CAAO,MAAA,EAAU,EAAE,CAAC,EAGvD6B,CAAAA,CAAkB,IAAMC,mBAAmB9B,CAAAA,CAAQ4B,CAAAA,CAAcH,CAAQ,CAAA,CAEzEM,CAAAA,CAAUF,CAAAA,EAAgB,CAC5BG,EAAkBD,CAAAA,CAAQ,QAAA,CAC1BE,EAAoBF,CAAAA,CAAQ,UAAA,CAC1B,CAACG,CAAAA,CAAUC,CAAW,CAAA,CAAI3B,YAAAA,CAAauB,EAAQ,KAAK,CAAA,CAEpDK,EAA4B,EAAC,CAE7BC,EAAc,IAAM,CACzB,IAAA,IAAWC,CAAAA,IAASF,EAAQE,CAAAA,EAAM,CAClCF,EAAO,MAAA,CAAS,CAAA,CAEhB,IAAMG,CAAAA,CAAW,IAAM,CACtB,IAAM1B,EAASgB,CAAAA,EAAgB,CAC/BM,EAAaK,CAAAA,EACPd,CAAAA,CAAWc,EAAM3B,CAAAA,CAAO,KAAK,CAAA,CAC3B2B,CAAAA,CADqC3B,EAAO,KAEnD,CAAA,CAEG4B,YAAYT,CAAAA,CAAiBnB,CAAAA,CAAO,SAAUoB,CAAAA,CAAmBpB,CAAAA,CAAO,UAAU,CAAA,GACrFmB,EAAkBnB,CAAAA,CAAO,QAAA,CACzBoB,EAAoBpB,CAAAA,CAAO,UAAA,CAC3BwB,GAAY,EAEd,CAAA,CAEIL,CAAAA,CAAgB,MAAA,CAAS,EAC5BI,CAAAA,CAAO,IAAA,CAAKpC,EAAO,KAAA,CAAM,MAAA,CAAO,UAAUgC,CAAAA,CAAiBO,CAAQ,CAAC,CAAA,CAC1DN,CAAAA,CAAkB,SAAW,CAAA,EACvCG,CAAAA,CAAO,KAAKpC,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAauC,CAAQ,CAAC,CAAA,CAEnDN,EAAkB,MAAA,CAAS,CAAA,EAC9BG,EAAO,IAAA,CAAKpC,CAAAA,CAAO,UAAUiC,CAAAA,CAAmBM,CAAQ,CAAC,EAE3D,EAEA,OAAAF,CAAAA,GAEA3B,SAAAA,CAAU,IAAM,CACf,IAAA,IAAW4B,CAAAA,IAASF,CAAAA,CAAQE,CAAAA,GAC7B,CAAC,CAAA,CAEMJ,CACR,CAMO,SAASQ,EACf1C,CAAAA,CACkC,CAClC,OAAAE,YAAAA,CAAa,cAAeF,CAAM,CAAA,CAC1B2C,GAA0B,CACjC3C,CAAAA,CAAO,SAAS2C,CAAK,EACtB,CACD,CASO,SAASC,CAAAA,CACf5C,CAAAA,CACkC,CAClC,OAAAE,YAAAA,CAAa,YAAaF,CAAM,CAAA,CACzBA,CAAAA,CAAO,MACf,CAoCO,SAAS6C,CAAAA,CAEf7C,EACA8C,CAAAA,CACAC,CAAAA,CACAC,EACO,CACP9C,YAAAA,CAAa,UAAA,CAAYF,CAAM,EAE/B,IAAMiD,CAAAA,CACLH,IAAuB,MAAA,EACvB,OAAOC,GAAsB,QAAA,EAC7B,OAAOC,GAAkB,UAAA,CAEpBlC,CAAAA,CAAMmC,EAAUF,CAAAA,CAA+BD,CAAAA,CAC/CI,EAAWD,CAAAA,CACdD,CAAAA,CACCD,EAEEtC,CAAAA,CAAcT,CAAAA,CAAO,KAAA,CAAMc,CAAAA,CAAKoC,CAAQ,CAAA,CAC9CxC,SAAAA,CAAUD,CAAW,EACtB,CAeO,SAAS0C,CAAAA,CAEfnD,CAAAA,CACAoD,CAAAA,CACyB,CACzBlD,aAAa,YAAA,CAAcF,CAAM,EACjC,GAAM,CAACe,EAAOC,CAAQ,CAAA,CAAIR,YAAAA,CAA2B6C,mBAAAA,CAAoBrD,CAAM,CAAC,CAAA,CAE1EsD,EAAS,IAAM,CACpBtC,EAASqC,mBAAAA,CAAoBrD,CAAM,CAAC,EACrC,EAEA,GAAIoD,CAAAA,EAAS,YAAcA,CAAAA,CAAQ,UAAA,CAAa,EAAG,CAClD,GAAM,CAAE,SAAA,CAAAG,EAAW,OAAA,CAAAC,CAAQ,EAAIC,cAAAA,CAAeH,CAAAA,CAAQF,EAAQ,UAAU,CAAA,CAClEM,CAAAA,CAAa1D,CAAAA,CAAO,MAAM,MAAA,CAAO,YAAA,CAAauD,CAAS,CAAA,CACvDI,CAAAA,CAAe3D,EAAO,eAAA,CAAgBuD,CAAS,CAAA,CACrD7C,SAAAA,CAAU,IAAM,CACf8C,CAAAA,GACAE,CAAAA,EAAW,CACXC,IACD,CAAC,EACF,CAAA,KAAO,CACN,IAAMD,CAAAA,CAAa1D,CAAAA,CAAO,MAAM,MAAA,CAAO,YAAA,CAAasD,CAAM,CAAA,CACpDK,CAAAA,CAAe3D,CAAAA,CAAO,eAAA,CAAgBsD,CAAM,CAAA,CAClD5C,SAAAA,CAAU,IAAM,CACfgD,CAAAA,GACAC,CAAAA,GACD,CAAC,EACF,CAEA,OAAO5C,CACR,CAWO,SAAS6C,CAAAA,CACfC,EACAC,CAAAA,CACoF,CACpF,GAAI,KAAA,CAAM,QAAQA,CAAW,CAAA,CAAG,CAC/B,IAAMlD,CAAAA,CAAY,IAA6C,CAC9D,IAAMC,EAAgD,EAAC,CACvD,QAAWkD,CAAAA,IAAQD,CAAAA,CAClBjD,EAAOkD,CAAI,CAAA,CAAIF,EAAa,SAAA,CAAUE,CAAI,CAAA,CAE3C,OAAOlD,CACR,CAAA,CACM,CAACE,EAAOC,CAAQ,CAAA,CAAIR,aAAaI,CAAAA,EAAW,CAAA,CAC5CH,CAAAA,CAAcoD,EAAa,SAAA,CAAU,IAAM,CAChD7C,CAAAA,CAASJ,CAAS,EACnB,CAAC,CAAA,CACD,OAAAF,SAAAA,CAAUD,CAAW,CAAA,CACdM,CACR,CAEA,GAAM,CAACiD,EAAQC,CAAS,CAAA,CAAIzD,aAAoCqD,CAAAA,CAAa,SAAA,CAAUC,CAAW,CAAC,CAAA,CAC7FrD,EAAcoD,CAAAA,CAAa,SAAA,CAAU,IAAM,CAChDI,CAAAA,CAAUJ,CAAAA,CAAa,SAAA,CAAUC,CAAW,CAAC,EAC9C,CAAC,CAAA,CACD,OAAApD,UAAUD,CAAW,CAAA,CACduD,CACR,CASO,SAASE,CAAAA,CAEflE,CAAAA,CACAmE,EAC0B,CAC1BjE,YAAAA,CAAa,aAAcF,CAAM,CAAA,CACjC,GAAM,CAACoE,EAAaC,CAAc,CAAA,CAAI7D,aAA4BR,CAAAA,CAAO,OAAA,CAAQmE,CAAa,CAAC,CAAA,CAEzFb,CAAAA,CAAS,IAAMe,EAAerE,CAAAA,CAAO,OAAA,CAAQmE,CAAa,CAAC,CAAA,CAC3DT,EAAa1D,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,YAAA,CAAasD,CAAM,CAAA,CACpDK,CAAAA,CAAe3D,EAAO,eAAA,CAAgBsD,CAAM,EAClD,OAAA5C,SAAAA,CAAU,IAAM,CACfgD,GAAW,CACXC,CAAAA,GACD,CAAC,CAAA,CAEMS,CACR,CAgBO,SAASE,CAAAA,CAEftE,CAAAA,CACAuE,EACqD,CACrDrE,YAAAA,CAAa,sBAAuBF,CAAM,CAAA,CAC1C,IAAMwE,CAAAA,CAAS,IAAM,CACpB,IAAMC,CAAAA,CAAazE,EAAO,OAAA,EAAQ,CAClC,OAAKuE,CAAAA,CACEE,CAAAA,CAAW,YAAY,IAAA,CAAMC,CAAAA,EAAsBA,CAAAA,CAAE,EAAA,GAAOH,CAAY,CAAA,EAAK,IAAA,CAD1DE,EAAW,WAEtC,CAAA,CAEM,CAAC1D,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,YAAAA,CAAuDgE,GAAQ,CAAA,CAEnFlB,EAAS,IAAMtC,CAAAA,CAASwD,CAAM,CAAA,CAC9Bd,CAAAA,CAAa1D,CAAAA,CAAO,KAAA,CAAM,OAAO,YAAA,CAAasD,CAAM,EACpDK,CAAAA,CAAe3D,CAAAA,CAAO,gBAAgBsD,CAAM,CAAA,CAClD,OAAA5C,SAAAA,CAAU,IAAM,CACfgD,CAAAA,GACAC,CAAAA,GACD,CAAC,CAAA,CAEM5C,CACR,CAiBO,SAAS4D,EAEf3E,CAAAA,CACA6D,CAAAA,CACAe,EACyB,CACzB1E,YAAAA,CAAa,sBAAuBF,CAAM,CAAA,CAC1C,GAAM,CAAC6E,EAAWC,CAAY,CAAA,CAAItE,aAAa,KAAK,CAAA,CAC9C,CAACuE,CAAAA,CAAOC,CAAQ,CAAA,CAAIxE,YAAAA,CAA2B,IAAI,CAAA,CACrDyE,CAAAA,CAAkC,KAClCC,CAAAA,CAAmC,IAAA,CAEjCC,EAAW,IAAM,CAClBF,IACHjF,CAAAA,CAAO,OAAA,CAAQiF,CAAQ,CAAA,CACvBA,CAAAA,CAAW,MAEZH,CAAAA,CAAa,KAAK,EAClBE,CAAAA,CAAS,IAAI,CAAA,CACbE,CAAAA,KACAA,CAAAA,CAAc,KACf,EAEME,CAAAA,CAAUC,CAAAA,EAAyB,CACxCJ,CAAAA,CAAWjF,CAAAA,CAAO,WAAA,EAAY,CAC9B8E,EAAa,IAAI,CAAA,CACjBE,EAAS,IAAI,CAAA,CACbhF,EAAO,KAAA,CAAMqF,CAAQ,CAAA,CAEjBxB,CAAAA,EAAgBe,IACnBM,CAAAA,IAAc,CACdA,EAAcrB,CAAAA,CAAa,SAAA,CAAU,IAAM,CAC1C,IAAMG,CAAAA,CAASH,CAAAA,CAAa,UAAUe,CAAe,CAAA,CACjD,CAACZ,CAAAA,CAAO,SAAA,EAAa,CAACA,CAAAA,CAAO,QAAA,EAChCiB,CAAAA,CAAW,IAAA,CACXH,EAAa,KAAK,CAAA,CAClBI,KAAc,CACdA,CAAAA,CAAc,MACJlB,CAAAA,CAAO,QAAA,GACjBgB,CAAAA,CAAS,IAAMhB,EAAO,SAAS,CAAA,CAC/BmB,GAAS,EAEX,CAAC,GAEH,CAAA,CAEA,OAAAzE,SAAAA,CAAU,IAAM,CACfwE,CAAAA,KACD,CAAC,CAAA,CAEM,CAAE,OAAAE,CAAAA,CAAQ,SAAA,CAAAP,EAAW,KAAA,CAAAE,CAAAA,CAAO,SAAAI,CAAS,CAC7C,CAeO,SAASG,CAAAA,CACfzB,EACAC,CAAAA,CACoF,CACpF,IAAMyB,CAAAA,CAAQ,MAAM,OAAA,CAAQzB,CAAW,EAAIA,CAAAA,CAAc,CAACA,CAAW,CAAA,CAG/D0B,CAAAA,CAAa,IAAMD,CAAAA,CAAM,KAAME,CAAAA,EAAM5B,CAAAA,CAAa,UAAU4B,CAAC,CAAA,CAAE,SAAS,CAAA,CAE9E,GAAID,CAAAA,EAAW,CACd,MAAM,IAAI,OAAA,CAAeE,GAAY,CACpC,IAAMpD,EAAQuB,CAAAA,CAAa,SAAA,CAAU,IAAM,CACrC2B,CAAAA,KACJlD,CAAAA,EAAM,CACNoD,GAAQ,EAEV,CAAC,EACF,CAAC,CAAA,CAIF,OACQ9B,EAAqBC,CAAAA,CAAcC,CAAW,CAGvD,CAgBO,SAAS6B,CAAAA,CAEf3F,CAAAA,CACoD,CACpDE,YAAAA,CAAa,eAAA,CAAiBF,CAAM,CAAA,CACpC,GAAM,CAACe,CAAAA,CAAOC,CAAQ,CAAA,CAAIR,YAAAA,CAAsDoF,qBAAqB5F,CAAM,CAAC,EACtGsC,CAAAA,CAAQtC,CAAAA,CAAO,mBAAmB,IAAMgB,CAAAA,CAAS4E,qBAAqB5F,CAAM,CAAC,CAAC,CAAA,CACpF,OAAAU,UAAU4B,CAAK,CAAA,CACRvB,CACR,CAqCO,SAAS8E,CAAAA,CACfC,CAAAA,CACAC,EACC,CACD,IAAMC,EAAa,CAAC,GAAID,GAAQ,OAAA,EAAW,EAAG,CAAA,CAC1ClC,EAEJ,GAAIkC,CAAAA,EAAQ,OAAQ,CACnB,IAAME,EAAKC,6BAAAA,EAA8B,CACzCrC,CAAAA,CAAeoC,CAAAA,CAEfD,EAAW,IAAA,CAAKC,CAAAA,CAAG,MAAqB,EACzC,CAGA,IAAMjG,CAAAA,CAASmG,YAAAA,CAAa,CAC3B,MAAA,CAAQL,EACR,OAAA,CAASE,CAAAA,CAAW,OAAS,CAAA,CAAIA,CAAAA,CAAa,OAC9C,KAAA,CAAOD,CAAAA,EAAQ,KAAA,CACf,aAAA,CAAeA,GAAQ,aAAA,CACvB,MAAA,CAAQA,GAAQ,MAAA,CAChB,UAAA,CAAYA,GAAQ,UAAA,CACpB,YAAA,CAAcA,CAAAA,EAAQ,YACvB,CAAQ,CAAA,CAER/F,CAAAA,CAAO,OAAM,CAEbU,SAAAA,CAAU,IAAM,CACfV,CAAAA,CAAO,OAAA,GACR,CAAC,CAAA,CAED,IAAMW,EAAWoF,CAAAA,EAAQ,KAAA,CACnBK,EAAcL,CAAAA,EAAQ,OAAA,CACtBM,EAAe,CAAC1F,CAAAA,EAAY,CAACyF,CAAAA,CAG7B,CAACE,EAAYC,CAAa,CAAA,CAAI/F,aACnC6F,CAAAA,CACIrG,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAAS,CAC7BwG,SAAAA,CAAUxG,EAAQW,CAAAA,EAAY,EAAE,CACrC,CAAA,CACM+C,CAAAA,CAAa2C,CAAAA,CAChBrG,EAAO,KAAA,CAAM,MAAA,CAAO,aAAa,IAAM,CACxCuG,EAAc,IAAMvG,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,UAA2B,EACpE,CAAC,CAAA,CACCW,CAAAA,EAAYA,EAAS,MAAA,CAAS,CAAA,CAC7BX,EAAO,KAAA,CAAM,MAAA,CAAO,UAAUW,CAAAA,CAAU,IAAM,CAC/C4F,CAAAA,CAAc,IAAMC,UAAUxG,CAAAA,CAAQW,CAAQ,CAAkB,EACjE,CAAC,CAAA,CACC,IAAA,CAGE8F,EAAoBJ,CAAAA,CAAe,MAAA,CAAO,KAAKrG,CAAAA,CAAO,MAAA,EAAU,EAAE,EAAKoG,CAAAA,EAAe,GACtFM,CAAAA,CAAa,IAA2B,CAC7C,IAAM7F,CAAAA,CAAkC,EAAC,CACzC,QAAWC,CAAAA,IAAO2F,CAAAA,CACjB5F,EAAOC,CAAG,CAAA,CAAId,EAAO,IAAA,CAAKc,CAAG,EAE9B,OAAOD,CACR,EACM,CAAC8F,CAAAA,CAAcC,CAAe,CAAA,CAAIpG,YAAAA,CAAakG,GAAY,CAAA,CAC3DG,CAAAA,CAAeJ,CAAAA,CAAkB,OAAS,CAAA,CAC7CzG,CAAAA,CAAO,UAAUyG,CAAAA,CAAmB,IAAM,CAAEG,CAAAA,CAAgBF,CAAU,EAAG,CAAC,EAC1E,IAAA,CAEHhG,SAAAA,CAAU,IAAM,CACfgD,CAAAA,KACAmD,CAAAA,KACD,CAAC,CAAA,CAED,IAAMC,CAAAA,CAAS9G,CAAAA,CAAO,OAGtB,OAAO,CACN,OAAAA,CAAAA,CACA,KAAA,CAAOsG,CAAAA,CACP,OAAA,CAASK,EACT,MAAA,CAAAG,CAAAA,CACA,SAPiBnE,CAAAA,EAA0B3C,CAAAA,CAAO,SAAS2C,CAAK,CAAA,CAQhE,YAAA,CAAAkB,CACD,CACD,CASO,SAASkD,GAEf/G,CAAAA,CACAqB,CAAAA,CAC4B,CAC5B,GAAM,CAACf,CAAAA,CAAOC,CAAQ,EAAIC,YAAAA,CAAgBR,CAAAA,CAAO,KAAKqB,CAAY,CAAM,EAClEZ,CAAAA,CAAcT,CAAAA,CAAO,SAAA,CAAU,CAACqB,CAAY,CAAA,CAAG,IAAM,CAC1Dd,CAAAA,CAAS,IAAMP,EAAO,IAAA,CAAKqB,CAAY,CAAM,EAC9C,CAAC,EACD,OAAO,CAACf,EAAOG,CAAW,CAC3B,CAKO,SAASuG,EAAAA,CAEfhH,CAAAA,CACAK,CAAAA,CACwC,CACxC,GAAM,CAACC,EAAOC,CAAQ,CAAA,CAAIC,aACzBR,CAAAA,CAAO,KAAA,CAAM,MAAA,CAAO,GAAA,CAAIK,CAAO,CAChC,CAAA,CACMI,EAAcT,CAAAA,CAAO,KAAA,CAAM,OAAO,SAAA,CAAU,CAACK,CAAO,CAAA,CAAG,IAAM,CAClEE,CAAAA,CAAS,IAAMP,CAAAA,CAAO,KAAA,CAAM,OAAO,GAAA,CAAIK,CAAO,CAAkB,EACjE,CAAC,EACD,OAAO,CAACC,EAAOG,CAAW,CAC3B,CAMO,SAASwG,EAAAA,EAgBd,CACD,OAAO,CACN,OAAA,CAAS,CAAyCjH,EAA+BK,CAAAA,GAEhFN,CAAAA,CAAQC,EAAmCK,CAAiB,CAAA,CAC7D,UAAA,CAAY,CAA+CL,EAA+BqB,CAAAA,GAEzFJ,CAAAA,CAAWjB,EAAmCqB,CAAsB,CAAA,CACrE,YAAcrB,CAAAA,EACL2C,CAAAA,EAA0B,CACjC3C,CAAAA,CAAO,SAAS2C,CAAK,EACtB,EAED,SAAA,CAAY3C,CAAAA,EAAkC4C,EAAa5C,CAAM,CAAA,CACjE,SAAU,CACTA,CAAAA,CACAc,EACAoC,CAAAA,GAGAL,CAAAA,CAAS7C,EAAmCc,CAAAA,CAAKoC,CAAQ,CAC3D,CACD","file":"index.js","sourcesContent":["/**\n * Solid Adapter - Consolidated SolidJS primitives for Directive\n *\n * 16 active exports: useFact, useDerived, useDispatch, useSelector,\n * useWatch, useInspect, useRequirementStatus, useEvents, useExplain,\n * useConstraintStatus, useOptimisticUpdate, useDirective, useTimeTravel,\n * createTypedHooks, useSuspenseRequirement, shallowEqual\n *\n * Signal factories: createDerivedSignal, createFactSignal\n */\n\nimport {\n\tcreateSignal,\n\tonCleanup,\n\ttype Accessor,\n} from \"solid-js\";\nimport type {\n\tModuleSchema,\n\tModuleDef,\n\tPlugin,\n\tDebugConfig,\n\tErrorBoundaryConfig,\n\tInferFacts,\n\tInferDerivations,\n\tInferSelectorState,\n\tInferEvents,\n\tSingleModuleSystem,\n\tSystemSnapshot,\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// 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): Accessor<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[]): Accessor<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): Accessor<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\n\tif (Array.isArray(keyOrKeys)) {\n\t\treturn _useFactMulti(system, keyOrKeys);\n\t}\n\n\t// Single key path\n\treturn _useFactSingle(system, keyOrKeys);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useFactSingle(system: SingleModuleSystem<any>, factKey: string): Accessor<unknown> {\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] useFact(\"${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\tconst [value, setValue] = createSignal(system.facts.$store.get(factKey));\n\tconst unsubscribe = system.facts.$store.subscribe([factKey], () => {\n\t\tsetValue(() => system.facts.$store.get(factKey));\n\t});\n\tonCleanup(unsubscribe);\n\treturn value;\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useFactMulti(system: SingleModuleSystem<any>, factKeys: string[]): Accessor<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\tconst [state, setState] = createSignal(getValues());\n\tconst unsubscribe = system.facts.$store.subscribe(factKeys, () => {\n\t\tsetState(getValues);\n\t});\n\tonCleanup(unsubscribe);\n\treturn state;\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): Accessor<InferDerivations<S>[K]>;\n/** Multi-key overload */\nexport function useDerived<S extends ModuleSchema, K extends keyof InferDerivations<S> & string>(system: SingleModuleSystem<S>, derivationIds: K[]): Accessor<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): Accessor<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 _useDerivedMulti(system, idOrIds);\n\t}\n\n\t// Single key path\n\treturn _useDerivedSingle(system, idOrIds);\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useDerivedSingle(system: SingleModuleSystem<any>, derivationId: string): Accessor<unknown> {\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] useDerived(\"${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\tconst [value, setValue] = createSignal(system.read(derivationId));\n\tconst unsubscribe = system.subscribe([derivationId], () => {\n\t\tsetValue(() => system.read(derivationId));\n\t});\n\tonCleanup(unsubscribe);\n\treturn value;\n}\n\n// biome-ignore lint/suspicious/noExplicitAny: Internal\nfunction _useDerivedMulti(system: SingleModuleSystem<any>, derivationIds: string[]): Accessor<Record<string, unknown>> {\n\tconst getValues = (): Record<string, unknown> => {\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;\n\t};\n\tconst [state, setState] = createSignal(getValues());\n\tconst unsubscribe = system.subscribe(derivationIds, () => {\n\t\tsetState(getValues);\n\t});\n\tonCleanup(unsubscribe);\n\treturn state;\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>(\n\tsystem: SingleModuleSystem<S>,\n\tselector: (state: InferSelectorState<S>) => R,\n\tequalityFn?: (a: R, b: R) => boolean,\n): Accessor<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): Accessor<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): Accessor<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\tlet trackedFactKeys = initial.factKeys;\n\tlet trackedDeriveKeys = initial.deriveKeys;\n\tconst [selected, setSelected] = createSignal(initial.value);\n\n\tconst unsubs: Array<() => void> = [];\n\n\tconst resubscribe = () => {\n\t\tfor (const unsub of unsubs) unsub();\n\t\tunsubs.length = 0;\n\n\t\tconst onUpdate = () => {\n\t\t\tconst result = runWithTracking();\n\t\t\tsetSelected((prev) => {\n\t\t\t\tif (!equalityFn(prev, result.value)) return result.value;\n\t\t\t\treturn prev;\n\t\t\t});\n\t\t\t// Re-track: check if deps changed\n\t\t\tif (depsChanged(trackedFactKeys, result.factKeys, trackedDeriveKeys, result.deriveKeys)) {\n\t\t\t\ttrackedFactKeys = result.factKeys;\n\t\t\t\ttrackedDeriveKeys = result.deriveKeys;\n\t\t\t\tresubscribe();\n\t\t\t}\n\t\t};\n\n\t\tif (trackedFactKeys.length > 0) {\n\t\t\tunsubs.push(system.facts.$store.subscribe(trackedFactKeys, onUpdate));\n\t\t} else if (trackedDeriveKeys.length === 0) {\n\t\t\tunsubs.push(system.facts.$store.subscribeAll(onUpdate));\n\t\t}\n\t\tif (trackedDeriveKeys.length > 0) {\n\t\t\tunsubs.push(system.subscribe(trackedDeriveKeys, onUpdate));\n\t\t}\n\t};\n\n\tresubscribe();\n\n\tonCleanup(() => {\n\t\tfor (const unsub of unsubs) unsub();\n\t});\n\n\treturn selected;\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\tonCleanup(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 Accessor<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): Accessor<InspectState> {\n\tassertSystem(\"useInspect\", system);\n\tconst [state, setState] = createSignal<InspectState>(computeInspectState(system));\n\n\tconst update = () => {\n\t\tsetState(computeInspectState(system));\n\t};\n\n\tif (options?.throttleMs && options.throttleMs > 0) {\n\t\tconst { throttled, cleanup } = createThrottle(update, options.throttleMs);\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(throttled);\n\t\tconst unsubSettled = system.onSettledChange(throttled);\n\t\tonCleanup(() => {\n\t\t\tcleanup();\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t});\n\t} else {\n\t\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\t\tconst unsubSettled = system.onSettledChange(update);\n\t\tonCleanup(() => {\n\t\t\tunsubFacts();\n\t\t\tunsubSettled();\n\t\t});\n\t}\n\n\treturn state;\n}\n\n// ============================================================================\n// useRequirementStatus — single or multi\n// ============================================================================\n\n/** Single type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;\n/** Multi-type overload */\nexport function useRequirementStatus(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;\n/** Implementation */\nexport function useRequirementStatus(\n\tstatusPlugin: StatusPlugin,\n\ttypeOrTypes: string | string[],\n): Accessor<RequirementTypeStatus> | Accessor<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\t\tconst [state, setState] = createSignal(getValues());\n\t\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\t\tsetState(getValues);\n\t\t});\n\t\tonCleanup(unsubscribe);\n\t\treturn state;\n\t}\n\n\tconst [status, setStatus] = createSignal<RequirementTypeStatus>(statusPlugin.getStatus(typeOrTypes));\n\tconst unsubscribe = statusPlugin.subscribe(() => {\n\t\tsetStatus(statusPlugin.getStatus(typeOrTypes));\n\t});\n\tonCleanup(unsubscribe);\n\treturn status;\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): Accessor<string | null> {\n\tassertSystem(\"useExplain\", system);\n\tconst [explanation, setExplanation] = createSignal<string | null>(system.explain(requirementId));\n\n\tconst update = () => setExplanation(system.explain(requirementId));\n\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\tconst unsubSettled = system.onSettledChange(update);\n\tonCleanup(() => {\n\t\tunsubFacts();\n\t\tunsubSettled();\n\t});\n\n\treturn explanation;\n}\n\n// ============================================================================\n// useConstraintStatus — reactive constraint inspection\n// ============================================================================\n\n/** Get all constraints */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n): Accessor<ConstraintInfo[]>;\n/** Get a single constraint by ID */\nexport function useConstraintStatus(\n\tsystem: SingleModuleSystem<any>,\n\tconstraintId: string,\n): Accessor<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): Accessor<ConstraintInfo[] | ConstraintInfo | null> {\n\tassertSystem(\"useConstraintStatus\", system);\n\tconst getVal = () => {\n\t\tconst inspection = system.inspect();\n\t\tif (!constraintId) return inspection.constraints;\n\t\treturn inspection.constraints.find((c: ConstraintInfo) => c.id === constraintId) ?? null;\n\t};\n\n\tconst [state, setState] = createSignal<ConstraintInfo[] | ConstraintInfo | null>(getVal());\n\n\tconst update = () => setState(getVal);\n\tconst unsubFacts = system.facts.$store.subscribeAll(update);\n\tconst unsubSettled = system.onSettledChange(update);\n\tonCleanup(() => {\n\t\tunsubFacts();\n\t\tunsubSettled();\n\t});\n\n\treturn state;\n}\n\n// ============================================================================\n// useOptimisticUpdate — batch with rollback on failure\n// ============================================================================\n\nexport interface OptimisticUpdateResult {\n\tmutate: (updateFn: () => void) => void;\n\tisPending: Accessor<boolean>;\n\terror: Accessor<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\tconst [isPending, setIsPending] = createSignal(false);\n\tconst [error, setError] = createSignal<Error | null>(null);\n\tlet snapshot: SystemSnapshot | null = null;\n\tlet statusUnsub: (() => void) | null = null;\n\n\tconst rollback = () => {\n\t\tif (snapshot) {\n\t\t\tsystem.restore(snapshot);\n\t\t\tsnapshot = null;\n\t\t}\n\t\tsetIsPending(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\tsetIsPending(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\tsetIsPending(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\tonCleanup(() => {\n\t\tstatusUnsub?.();\n\t});\n\n\treturn { mutate, isPending, error, rollback };\n}\n\n// ============================================================================\n// useSuspenseRequirement — Solid-specific Suspense integration\n// ============================================================================\n\n/**\n * Single type: throws a promise while the requirement is pending (Suspense).\n */\nexport function useSuspenseRequirement(statusPlugin: StatusPlugin, type: string): Accessor<RequirementTypeStatus>;\n/**\n * Multi-type: throws a promise while any of the requirements are pending.\n */\nexport function useSuspenseRequirement(statusPlugin: StatusPlugin, types: string[]): Accessor<Record<string, RequirementTypeStatus>>;\n/** Implementation */\nexport function useSuspenseRequirement(\n\tstatusPlugin: StatusPlugin,\n\ttypeOrTypes: string | string[],\n): Accessor<RequirementTypeStatus> | Accessor<Record<string, RequirementTypeStatus>> {\n\tconst types = Array.isArray(typeOrTypes) ? typeOrTypes : [typeOrTypes];\n\n\t// Check if any are still loading — if so, throw a promise\n\tconst anyLoading = () => types.some((t) => statusPlugin.getStatus(t).isLoading);\n\n\tif (anyLoading()) {\n\t\tthrow new Promise<void>((resolve) => {\n\t\t\tconst unsub = statusPlugin.subscribe(() => {\n\t\t\t\tif (!anyLoading()) {\n\t\t\t\t\tunsub();\n\t\t\t\t\tresolve();\n\t\t\t\t}\n\t\t\t});\n\t\t});\n\t}\n\n\t// Once resolved, return normal accessor\n\tif (Array.isArray(typeOrTypes)) {\n\t\treturn useRequirementStatus(statusPlugin, typeOrTypes) as Accessor<Record<string, RequirementTypeStatus>>;\n\t}\n\treturn useRequirementStatus(statusPlugin, typeOrTypes) as Accessor<RequirementTypeStatus>;\n}\n\n// ============================================================================\n// useTimeTravel — reactive time-travel signal\n// ============================================================================\n\n/**\n * Reactive time-travel signal. Returns an Accessor that updates\n * when snapshots are taken or navigation occurs.\n *\n * @example\n * ```tsx\n * const tt = useTimeTravel(system);\n * <button disabled={!tt()?.canUndo} onClick={() => 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): Accessor<ReturnType<typeof buildTimeTravelState>> {\n\tassertSystem(\"useTimeTravel\", system);\n\tconst [state, setState] = createSignal<ReturnType<typeof buildTimeTravelState>>(buildTimeTravelState(system));\n\tconst unsub = system.onTimeTravelChange(() => setState(buildTimeTravelState(system)));\n\tonCleanup(unsub);\n\treturn state;\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 reactive signals.\n *\n * @example\n * ```tsx\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\tonCleanup(() => {\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 [factsState, setFactsState] = createSignal(\n\t\tsubscribeAll\n\t\t\t? (system.facts.$store.toObject() as InferFacts<M>)\n\t\t\t: (pickFacts(system, factKeys ?? []) as InferFacts<M>),\n\t);\n\tconst unsubFacts = subscribeAll\n\t\t? system.facts.$store.subscribeAll(() => {\n\t\t\tsetFactsState(() => system.facts.$store.toObject() as InferFacts<M>);\n\t\t})\n\t\t: factKeys && factKeys.length > 0\n\t\t\t? system.facts.$store.subscribe(factKeys, () => {\n\t\t\t\tsetFactsState(() => pickFacts(system, factKeys) as InferFacts<M>);\n\t\t\t})\n\t\t\t: null;\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 [derivedState, setDerivedState] = createSignal(getDerived());\n\tconst unsubDerived = allDerivationKeys.length > 0\n\t\t? system.subscribe(allDerivationKeys, () => { setDerivedState(getDerived); })\n\t\t: null;\n\n\tonCleanup(() => {\n\t\tunsubFacts?.();\n\t\tunsubDerived?.();\n\t});\n\n\tconst events = system.events;\n\tconst dispatch = (event: InferEvents<M>) => system.dispatch(event);\n\n\treturn {\n\t\tsystem,\n\t\tfacts: factsState as Accessor<InferFacts<M>>,\n\t\tderived: derivedState as Accessor<InferDerivations<M>>,\n\t\tevents,\n\t\tdispatch,\n\t\tstatusPlugin,\n\t};\n}\n\n// ============================================================================\n// Signal Factories (for use outside components)\n// ============================================================================\n\n/**\n * Create a derivation signal outside of a component.\n */\nexport function createDerivedSignal<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tderivationId: string,\n): [Accessor<T>, () => void] {\n\tconst [value, setValue] = createSignal<T>(system.read(derivationId) as T);\n\tconst unsubscribe = system.subscribe([derivationId], () => {\n\t\tsetValue(() => system.read(derivationId) as T);\n\t});\n\treturn [value, unsubscribe];\n}\n\n/**\n * Create a fact signal outside of a component.\n */\nexport function createFactSignal<T>(\n\t// biome-ignore lint/suspicious/noExplicitAny: Must work with any schema\n\tsystem: SingleModuleSystem<any>,\n\tfactKey: string,\n): [Accessor<T | undefined>, () => void] {\n\tconst [value, setValue] = createSignal<T | undefined>(\n\t\tsystem.facts.$store.get(factKey) as T | undefined,\n\t);\n\tconst unsubscribe = system.facts.$store.subscribe([factKey], () => {\n\t\tsetValue(() => system.facts.$store.get(factKey) as T | undefined);\n\t});\n\treturn [value, unsubscribe];\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) => Accessor<InferFacts<M>[K] | undefined>;\n\tuseDerived: <K extends keyof InferDerivations<M> & string>(\n\t\tsystem: SingleModuleSystem<M>,\n\t\tderivationId: K,\n\t) => Accessor<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: Required for overload compatibility\n\t\t\tuseFact(system as SingleModuleSystem<any>, factKey as string) as Accessor<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: Required for overload compatibility\n\t\t\tuseDerived(system as SingleModuleSystem<any>, derivationId as string) as Accessor<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: Required for overload compatibility\n\t\t\tuseWatch(system as SingleModuleSystem<any>, key, callback),\n\t};\n}\n"]}

package/package.json

@@ -0,0 +1,65 @@
+{
+  "name": "@directive-run/solid",
+  "version": "0.1.1",
+  "description": "Solid.js signals adapter for Directive.",
+  "license": "MIT",
+  "author": "Jason Comes",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/directive-run/directive",
+    "directory": "packages/solid"
+  },
+  "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",
+    "solid",
+    "solidjs",
+    "signals",
+    "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": {
+    "solid-js": ">=1",
+    "@directive-run/core": "0.1.1"
+  },
+  "devDependencies": {
+    "@types/node": "^25.2.0",
+    "solid-js": "^1.8.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"
+  }
+}