litedbmodel 1.2.9 → 2.0.0

package/dist/scp/runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../src/scp/runtime.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;;;AAoPH,sCAeC;AAcD,wCASC;AA0FD,0CAMC;AAUD,sCAmCC;AAYD,sCAmBC;AAqCD,gDAoCC;AA6BD,kEAoCC;AAOD,0DASC;AAUD,wCASC;AAYD,4DAKC;AAyBD,oBAMC;AAGD,gCAkBC;AAsBD,wDAkDC;AA9vBD,2DAS4B;AAE5B,qCAAiD;AACjD,qCAA2C;AAE3C,qCAAsD;AAiwB7C,2FAjwBgB,mBAAU,OAiwBhB;AAhwBnB,yCAA2I;AAC3I,iDAAkE;AAClE,qCAAuC;AACvC,6CAA2F;AAC3F,mDAA6E;AAC7E,qCAAuH;AACvH,uCAAuE;AAEvE,kFAAkF;AAClF,MAAM,UAAU,GAAG,SAAS,CAAC;AAgB7B,iFAAiF;AAEjF;;;;;;GAMG;AACH,SAAS,aAAa,CAAC,CAAQ;IAC7B,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QACnG,OAAO,CAAC,CAAC,CAAC,gEAAgE;IAC5E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,iFAAiF;AAEjF,4EAA4E;AAC5E,SAAS,YAAY,CAAC,IAAa,EAAE,KAAkB;IACrD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,EAAE,IAAI,IAAI;YAAE,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC/C,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,GAAI,IAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,YAAY,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,IAAa,EAAE,KAAkB;IAC3D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,EAAE,IAAI,IAAI;YAAE,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACrD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAI,IAAgC,CAAC,MAAM,CAAC;QACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC,CAAC;QACrF,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,kBAAkB,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACxF,CAAC;AAED,sFAAsF;AACtF,SAAS,oBAAoB,CAAC,IAA6B,EAAE,KAAkB;IAC7E,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;QAAE,YAAY,CAAC,CAAa,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,mFAAmF;AACnF,SAAS,cAAc,CAAC,EAAqB;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM;QAAE,YAAY,CAAC,CAAa,EAAE,KAAK,CAAC,CAAC;IAC9D,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI;QAAE,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,IAA6B,EAAE,KAAkB;IACzE,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3D,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,YAAY,CAAC,CAAa,EAAE,KAAK,CAAC,CAAC;IAClE,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,oBAAoB,CAAC,EAAqB,EAAE,KAAkB;IACrE,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM;QAAE,kBAAkB,CAAC,CAAa,EAAE,KAAK,CAAC,CAAC;IACpE,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI;QAAE,0BAA0B,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,gFAAgF;AAChF,SAAS,0BAA0B,CAAC,IAA6B,EAAE,KAAkB;IACnF,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,0BAA0B,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACrE,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM;QAAE,kBAAkB,CAAC,CAAa,EAAE,KAAK,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,QAA2C;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI;YAAE,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzD,oBAAoB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,EAAqB;IACtC,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,IAAI,IAAI,KAAK,KAAK;YAAE,SAAS,CAAC,gDAAgD;QAC9E,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9B,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CAAC,IAA+B,EAAE,QAA2C;IACjG,IAAI,MAAM,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,8CAA8C;IAC/E,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAClC,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;IACnF,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClC,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;AAC7D,CAAC;AAED,uFAAuF;AACvF,SAAS,kBAAkB,CAAC,SAAoB,EAAE,QAA2C;IAC3F,OAAO,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;AACvF,CAAC;AAED,iFAAiF;AAEjF;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,EAAY,EAAE,EAAqB,EAAE,KAAY,EAAE,OAAgB;IAC1F,MAAM,QAAQ,GAAG,IAAA,wBAAe,EAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAClD,IAAI,IAAqC,CAAC;IAC1C,IAAI,CAAC;QACH,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,KAAK,EAAE,IAAA,uBAAc,EAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;IACD,MAAM,SAAS,GAAG,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACnF,IAAI,CAAC;QACH,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAA8B,CAAC;YAC9D,OAAO,EAAE,EAAE,EAAE,IAAwB,EAAE,CAAC;QAC1C,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;QACjC,OAAO;YACL,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,CAAqB;SAClH,CAAC;IACJ,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,KAAK,EAAE,IAAA,uBAAc,EAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,aAAa,CAAC,EAAY,EAAE,QAA2C,EAAE,OAAgB;IACvG,MAAM,MAAM,GAAG,CAAC,KAA4B,EAAE,GAAe,EAAe,EAAE;QAC5E,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,OAAO,EAAE,KAAK,EAAE,gDAAgD,GAAG,CAAC,MAAM,MAAM,GAAG,CAAC,SAAS,GAAG,EAAE,CAAC;QACrG,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,EAAE,KAAK,EAAE,sBAAsB,GAAG,CAAC,MAAM,iDAAiD,EAAE,CAAC;QACtG,CAAC;QACD,OAAO,eAAe,CAAC,EAAE,EAAE,EAAE,EAAE,KAAc,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,mFAAmF;IACnF,2EAA2E;IAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5E,CAAC;AAED,iFAAiF;AAEjF;;;;;;;;;GASG;AACH,SAAgB,cAAc,CAAC,SAAoB,EAAE,aAA0B,EAAE,KAAY;IAC3F,MAAM,GAAG,GAAU,EAAE,GAAG,KAAK,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AA6ED;;;;;;;;;;;;GAYG;AACH,SAAgB,eAAe,CAC7B,QAA+B,EAC/B,KAAY,EACZ,OAAuB;IAEvB,OAAO,aAAa,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AACnH,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,aAAa,CAC3B,QAA+B,EAC/B,KAAc,EACd,YAAqC,EAAE,EACvC,cAA2B,QAAQ;IAEnC,MAAM,OAAO,GAAG,IAAA,oBAAU,EAAC,WAAW,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,KAAK;QACrB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;QACnD,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,IAAI,SAAS,yBAAyB,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,UAAU,GAAsC,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,IAAA,8BAAqB,EAAC,SAAS,EAAE,OAAO,CAAC;QAAE,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;IACtF,MAAM,SAAS,GAAG,kBAAkB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,0FAA0F;IAC1F,2FAA2F;IAC3F,oFAAoF;IACpF,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CAAC,gDAAgD,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAA,4BAAiB,EAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS;QAChC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,WAAW;QACpC,OAAO,EAAE,WAAW;QACpB,SAAS,EAAE,SAAS;QACpB,UAAU;QACV,aAAa,EAAE,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC/C,SAAS,EAAE,WAAW;KACvB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,aAAa,CAAC,MAAiB,EAAE,KAAY,EAAE,OAAuB;IACpF,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,MAAM,EAAE,GAAqB;QAC3B,SAAS,EAAE,MAAM,CAAC,SAAc;QAChC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,UAAU,EAAE,CAAC,SAAS,CAAC;KACxB,CAAC;IACF,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,EAAE,IAAA,oBAAU,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1F,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,cAAc,CAAC,SAAS,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;IAEnE,IAAI,CAAC;QACH,OAAO,IAAA,gCAAW,EAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,yFAAyF;QACzF,yFAAyF;QACzF,gDAAgD;QAChD,MAAM,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,mFAAmF;AAEnF;;;;;GAKG;AACH,SAAS,eAAe,CAAC,SAAoB;IAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAC7H,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,uBAAuB,SAAS,CAAC,IAAI,iDAAiD,CAAC,CAAC;IAC1G,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,uBAAuB,SAAS,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,iCAAiC;YAC1F,mGAAmG,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,kBAAkB,CAChC,QAA+B,EAC/B,KAAa,EACb,MAA8B,EAC9B,KAA0B,EAC1B,cAA2B,QAAQ;IAEnC,MAAM,OAAO,GAAG,IAAA,oBAAU,EAAC,WAAW,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACpE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,yBAAyB,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,SAAS,GAAG,IAAA,qBAAY,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,+DAA+D,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAA,oBAAW,EAAC,SAAkB,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,IAAI,GAAc,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,SAAS,IAAK,SAAmC,CAAC,SAAS,EAAE,EAAE,CAAC;IACvH,MAAM,IAAI,GAAG,IAAA,kCAAqB,EAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAEtE,gGAAgG;IAChG,kGAAkG;IAClG,MAAM,UAAU,GAAsC,EAAE,CAAC;IACzD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,IAAA,8BAAqB,EAAC,SAAS,EAAE,OAAO,CAAC;QAAE,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;IACtF,MAAM,SAAS,GAAG,kBAAkB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC5D,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS;QAChC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,WAAW;QACpC,OAAO,EAAE,WAAW;QACpB,SAAS,EAAE,SAAS;QACpB,UAAU;QACV,aAAa,EAAE,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC/C,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,IAAI;KAClB,CAAC;AACJ,CAAC;AAgBD;;;;;;;;;;;;GAYG;AACH,SAAgB,2BAA2B,CACzC,QAA+B,EAC/B,OAAuC,EACvC,KAA0B,EAC1B,cAA2B,QAAQ;IAEnC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,uHAAuH,CAAC,CAAC;IAC3I,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,oBAAU,EAAC,WAAW,CAAC,CAAC;IACxC,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAsC,EAAE,CAAC;IACzD,IAAI,cAAqC,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC,KAAK,yBAAyB,CAAC,CAAC;QAC9G,IAAI,cAAc,KAAK,SAAS;YAAE,cAAc,GAAG,SAAS,CAAC;QAC7D,MAAM,SAAS,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,oBAAW,EAAC,SAAkB,EAAE,OAAO,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAI,SAAmC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7I,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,IAAA,8BAAqB,EAAC,SAAS,EAAE,OAAO,CAAC;YAAE,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;IACvG,CAAC;IACD,kGAAkG;IAClG,MAAM,IAAI,GAAG,IAAA,kCAAqB,EAAC,KAAK,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAE3E,MAAM,SAAS,GAAG,kBAAkB,CAAC,cAAe,EAAE,UAAU,CAAC,CAAC;IAClE,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS;QAChC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,WAAW;QACpC,OAAO,EAAE,WAAW;QACpB,SAAS,EAAE,SAAS;QACpB,UAAU;QACV,aAAa,EAAE,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC/C,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,IAAI;KAClB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CACrC,QAA+B,EAC/B,OAAuC,EACvC,KAA0B,EAC1B,KAAY,EACZ,OAAuB;IAEvB,MAAM,MAAM,GAAG,2BAA2B,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACtF,OAAO,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,cAAc,CAC5B,QAA+B,EAC/B,MAA8B,EAC9B,KAA0B,EAC1B,KAAY,EACZ,OAAoD;IAEpD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3F,OAAO,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,wBAAwB,CAAC,MAAiB,EAAE,KAAY,EAAE,OAAuB;IAC/F,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,gGAAgG,CAAC,CAAC;IACpH,CAAC;IACD,OAAO,IAAA,kCAAkB,EAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,IAAA,oBAAU,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAC/F,CAAC;AAOD;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAgB,IAAI,CAClB,QAA+B,EAC/B,KAAY,EACZ,OAA8B;IAE9B,OAAO,UAAU,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;AAC/F,CAAC;AAED,8FAA8F;AAC9F,SAAgB,UAAU,CACxB,MAAiB,EACjB,KAAY,EACZ,OAA8B;IAE9B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,6DAA6D,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK;YAClG,8DAA8D,CACjE,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,GAA2C,CAAC;IAC5D,MAAM,QAAQ,GAAmB;QAC/B,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACvE,CAAC;IACF,OAAO,IAAA,6BAAc,EAAI,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;AAC5E,CAAC;AAED,iFAAiF;AAEjF,kGAAkG;AAClG,MAAM,wBAAwB,GAAG,iBAAiB,CAAC;AACnD,0FAA0F;AAC1F,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAElC;;;;;;;;;;;;GAYG;AACH,SAAgB,sBAAsB,CACpC,EAAc,EACd,OAA2C,EAC3C,EAAkB;IAElB,uFAAuF;IACvF,kFAAkF;IAClF,MAAM,MAAM,GAAG,IAAI,CAAC;IACpB,MAAM,IAAI,GAA8B;QACtC,EAAE,EAAE,KAAK;QACT,GAAG,EAAE;YACH,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE;YAC5B,EAAE,EAAE,MAAM;YACV,SAAS,EAAE,wBAAwB;YACnC,KAAK,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE;YAC/D,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,OAAO,EAAE,IAAI;SACd;KAC2B,CAAC;IAC/B,MAAM,SAAS,GAAc;QAC3B,IAAI,EAAE,mBAAmB;QACzB,UAAU,EAAE,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;QAC7C,IAAI,EAAE,CAAC,IAAI,CAAC;QACZ,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE;KACD,CAAC;IAC1B,MAAM,EAAE,GAAqB;QAC3B,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,CAAC;QACd,UAAU,EAAE,CAAC,SAAS,CAAC;KACJ,CAAC;IAEtB,yFAAyF;IACzF,6FAA6F;IAC7F,0EAA0E;IAC1E,MAAM,QAAQ,GAAa;QACzB,CAAC,wBAAwB,CAAC,EAAE,CAAC,YAAmC,EAAe,EAAE;YAC/E,MAAM,KAAK,GAAI,YAAoC,CAAC,KAAK,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,OAAO,EAAE,KAAK,EAAE,GAAG,wBAAwB,6CAA6C,EAAE,CAAC;YAC7F,CAAC;YACD,yFAAyF;YACzF,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,EAAG,EAA8B,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;YAC5G,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,wBAAa,EAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YACjD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,6BAAkB,EAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAU,CAAC,CAAC;YAC9E,OAAO,EAAE,EAAE,EAAE,OAA2B,EAAE,CAAC;QAC7C,CAAC;KACF,CAAC;IAEF,MAAM,GAAG,GAAG,IAAA,gCAAW,EAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,OAA2B,EAAE,EAAE,mBAAmB,CAAC,CAAC;IACvG,OAAO,GAA2C,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,CAAU;IACrC,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,CAAC,EAAE,CAAC;QACN,oFAAoF;QACpF,OAAO,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/scp/typed-object.d.ts

@@ -0,0 +1,88 @@
+/**
+ * litedbmodel v2 SCP — typed-object result + hydrate factory + lazy relations (WS4, #24).
+ *
+ * v2's read result is a plain **typed-object** (spec §4 / §12): its OWN enumerable props are
+ * DATA ONLY (the projected columns + any declaratively-selected relations). It is NOT a
+ * DBModel instance — `JSON.stringify` / `Object.keys` / spread stay clean (feasibility §9).
+ *
+ * The v1 method-like UX is recovered via a graphddb-shaped {@link hydrate} factory
+ * (`(raw) => HostObject`): host-object construction is a CONSUMER concern that stays in the
+ * litedbmodel runtime and NEVER leaks into the portable IR/bundle (per the runtime boundary —
+ * the bundle carries the relation op + assembly shape only). `hydrate` is applied AFTER
+ * relation resolution and is NOT applied to `null` (a null single-relation), matching
+ * graphddb's `options.hydrate`.
+ *
+ * ## Lazy relations: prototype getter + non-enumerable Symbol batch context
+ *
+ * A typed-object gets a per-result-set prototype carrying a lazy getter per relation
+ * (feasibility §9 "prototype で良い"). The getter, on access, reads a NON-ENUMERABLE Symbol
+ * batch context (graphddb's `GRAPHDDB_KEY` technique — invisible to spread/JSON) shared by
+ * every sibling in the result set, and fires the SAME pre-compiled relation op ONCE over the
+ * whole sibling set (batch — so no N+1 even though it can't prefetch). A declaratively-selected
+ * relation is attached as an OWN property (`Post[]`/`Author`) and naturally SHADOWS the
+ * prototype getter (own prop wins) — the exact "宣言済み → データ / 未宣言 → lazy" unification
+ * from feasibility §9.
+ *
+ * Both surfaces resolve through {@link import('./relation').runRelationOp} — the identical
+ * compiled op — so there is one relation-execution code path, not two.
+ */
+import { type RelationOp, type RelationDriver } from './relation';
+/** The non-enumerable Symbol under which the shared lazy batch context is stashed. */
+export declare const RELATION_CONTEXT: unique symbol;
+/** A hydrate factory (graphddb-shaped): raw typed-object → host object. */
+export type HydrateFactory<R> = (raw: Record<string, unknown>) => R;
+/**
+ * The shared lazy batch context for one result set. Holds the sibling rows, the driver, the
+ * compiled relation ops (keyed by name), the (optional) hydrate factory, and a per-relation
+ * memo so a relation is batched at most ONCE across all siblings (structural no-N+1 for lazy).
+ * Stored as a non-enumerable Symbol prop so spread/JSON/`Object.keys` never see it (a spread
+ * or clone drops it — "designed degradation", feasibility §9).
+ */
+export declare class RelationContext {
+    private readonly siblings;
+    private readonly ops;
+    private readonly db;
+    private readonly hydrate?;
+    /** Per-relation resolved batch (name → grouping), memoized: one batch query per relation. */
+    private readonly resolved;
+    constructor(siblings: Record<string, unknown>[], ops: Readonly<Record<string, RelationOp>>, db: RelationDriver, hydrate?: HydrateFactory<unknown>);
+    /**
+     * Resolve `relationName` for `parent` (lazy access). The relation is batch-loaded across
+     * ALL siblings on first access and memoized, so N sibling accesses issue ONE query. Returns
+     * the hydrated child(ren) per cardinality (`hasMany` → array, else single-or-null).
+     */
+    resolve(relationName: string, parent: Record<string, unknown>): unknown;
+}
+/** Read the non-enumerable batch context off a typed-object (undefined if spread/cloned away). */
+export declare function readRelationContext(o: Record<string, unknown>): RelationContext | undefined;
+/**
+ * Read options bag (graphddb-shaped): declaratively-select relations to prefetch and/or a
+ * `hydrate` factory to recover host objects.
+ */
+export interface ReadOptions<R = Record<string, unknown>> {
+    /**
+     * Declarative select: relation name → `true`. Selected relations are batch-prefetched
+     * (staged) and attached as OWN props (shadowing the lazy getter). Unselected relations stay
+     * lazy on the prototype.
+     */
+    readonly with?: Readonly<Record<string, true>>;
+    /** Host-object factory applied AFTER relation resolution (not applied to `null`). */
+    readonly hydrate?: HydrateFactory<R>;
+}
+/**
+ * Build the typed-object result set for a page of raw child rows plus the relation ops
+ * declared for this model. Every raw row becomes a typed-object whose:
+ *   - OWN enumerable props = the raw data columns (+ any declaratively-selected relation);
+ *   - PROTOTYPE carries a lazy getter per UNSELECTED relation (fires the same op at access);
+ *   - non-enumerable {@link RELATION_CONTEXT} Symbol = the shared lazy batch context.
+ *
+ * Declaratively-selected relations (`options.with`) are batch-prefetched HERE (one query per
+ * relation over the whole page — staged, no N+1) via the SAME {@link runRelationOp}, and
+ * attached as own props (so they shadow the prototype getter). `hydrate`, when supplied, is
+ * applied to each parent row AND to resolved relations.
+ *
+ * Returns the typed-objects (hydrated if `options.hydrate` given). This is the litedbmodel
+ * runtime concern; the bundle carries only the relation ops + assembly shape (no hydrate).
+ */
+export declare function buildResultSet<R = Record<string, unknown>>(rawRows: readonly Record<string, unknown>[], ops: Readonly<Record<string, RelationOp>>, db: RelationDriver, options?: ReadOptions<R>): R[];
+//# sourceMappingURL=typed-object.d.ts.map

package/dist/scp/typed-object.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-object.d.ts","sourceRoot":"","sources":["../../src/scp/typed-object.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAGL,KAAK,UAAU,EAEf,KAAK,cAAc,EACpB,MAAM,YAAY,CAAC;AAEpB,sFAAsF;AACtF,eAAO,MAAM,gBAAgB,EAAE,OAAO,MAA+C,CAAC;AAEtF,2EAA2E;AAC3E,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;AAEpE;;;;;;GAMG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA4B;IACrD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAuC;IAC3D,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAiB;IACpC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAA0B;IACnD,6FAA6F;IAC7F,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAoC;gBAG3D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EACnC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,EACzC,EAAE,EAAE,cAAc,EAClB,OAAO,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC;IAQnC;;;;OAIG;IACH,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO;CAYxE;AAED,kGAAkG;AAClG,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,eAAe,GAAG,SAAS,CAG3F;AAUD;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IACtD;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/C,qFAAqF;IACrF,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;CACtC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACxD,OAAO,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAC3C,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,EACzC,EAAE,EAAE,cAAc,EAClB,OAAO,GAAE,WAAW,CAAC,CAAC,CAAM,GAC3B,CAAC,EAAE,CA6DL"}

package/dist/scp/typed-object.js

@@ -0,0 +1,163 @@
+"use strict";
+/**
+ * litedbmodel v2 SCP — typed-object result + hydrate factory + lazy relations (WS4, #24).
+ *
+ * v2's read result is a plain **typed-object** (spec §4 / §12): its OWN enumerable props are
+ * DATA ONLY (the projected columns + any declaratively-selected relations). It is NOT a
+ * DBModel instance — `JSON.stringify` / `Object.keys` / spread stay clean (feasibility §9).
+ *
+ * The v1 method-like UX is recovered via a graphddb-shaped {@link hydrate} factory
+ * (`(raw) => HostObject`): host-object construction is a CONSUMER concern that stays in the
+ * litedbmodel runtime and NEVER leaks into the portable IR/bundle (per the runtime boundary —
+ * the bundle carries the relation op + assembly shape only). `hydrate` is applied AFTER
+ * relation resolution and is NOT applied to `null` (a null single-relation), matching
+ * graphddb's `options.hydrate`.
+ *
+ * ## Lazy relations: prototype getter + non-enumerable Symbol batch context
+ *
+ * A typed-object gets a per-result-set prototype carrying a lazy getter per relation
+ * (feasibility §9 "prototype で良い"). The getter, on access, reads a NON-ENUMERABLE Symbol
+ * batch context (graphddb's `GRAPHDDB_KEY` technique — invisible to spread/JSON) shared by
+ * every sibling in the result set, and fires the SAME pre-compiled relation op ONCE over the
+ * whole sibling set (batch — so no N+1 even though it can't prefetch). A declaratively-selected
+ * relation is attached as an OWN property (`Post[]`/`Author`) and naturally SHADOWS the
+ * prototype getter (own prop wins) — the exact "宣言済み → データ / 未宣言 → lazy" unification
+ * from feasibility §9.
+ *
+ * Both surfaces resolve through {@link import('./relation').runRelationOp} — the identical
+ * compiled op — so there is one relation-execution code path, not two.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RelationContext = exports.RELATION_CONTEXT = void 0;
+exports.readRelationContext = readRelationContext;
+exports.buildResultSet = buildResultSet;
+const relation_1 = require("./relation");
+/** The non-enumerable Symbol under which the shared lazy batch context is stashed. */
+exports.RELATION_CONTEXT = Symbol('litedbmodel:relation-context');
+/**
+ * The shared lazy batch context for one result set. Holds the sibling rows, the driver, the
+ * compiled relation ops (keyed by name), the (optional) hydrate factory, and a per-relation
+ * memo so a relation is batched at most ONCE across all siblings (structural no-N+1 for lazy).
+ * Stored as a non-enumerable Symbol prop so spread/JSON/`Object.keys` never see it (a spread
+ * or clone drops it — "designed degradation", feasibility §9).
+ */
+class RelationContext {
+    siblings;
+    ops;
+    db;
+    hydrate;
+    /** Per-relation resolved batch (name → grouping), memoized: one batch query per relation. */
+    resolved = new Map();
+    constructor(siblings, ops, db, hydrate) {
+        this.siblings = siblings;
+        this.ops = ops;
+        this.db = db;
+        this.hydrate = hydrate;
+    }
+    /**
+     * Resolve `relationName` for `parent` (lazy access). The relation is batch-loaded across
+     * ALL siblings on first access and memoized, so N sibling accesses issue ONE query. Returns
+     * the hydrated child(ren) per cardinality (`hasMany` → array, else single-or-null).
+     */
+    resolve(relationName, parent) {
+        const op = this.ops[relationName];
+        if (op === undefined) {
+            throw new Error(`relation '${relationName}' is not declared on this result set`);
+        }
+        let batch = this.resolved.get(relationName);
+        if (batch === undefined) {
+            batch = (0, relation_1.runRelationOp)(op, this.siblings, this.db).batch;
+            this.resolved.set(relationName, batch);
+        }
+        return applyHydrate((0, relation_1.distributeToParent)(op, parent, batch), this.hydrate);
+    }
+}
+exports.RelationContext = RelationContext;
+/** Read the non-enumerable batch context off a typed-object (undefined if spread/cloned away). */
+function readRelationContext(o) {
+    const v = o[exports.RELATION_CONTEXT];
+    return v instanceof RelationContext ? v : undefined;
+}
+/** Apply the hydrate factory to a resolved relation value (skip `null`; map arrays). */
+function applyHydrate(value, hydrate) {
+    if (hydrate === undefined)
+        return value;
+    if (value === null)
+        return null; // graphddb: hydrate is NOT applied to null
+    if (Array.isArray(value))
+        return value.map((v) => (v === null ? null : hydrate(v)));
+    return hydrate(value);
+}
+/**
+ * Build the typed-object result set for a page of raw child rows plus the relation ops
+ * declared for this model. Every raw row becomes a typed-object whose:
+ *   - OWN enumerable props = the raw data columns (+ any declaratively-selected relation);
+ *   - PROTOTYPE carries a lazy getter per UNSELECTED relation (fires the same op at access);
+ *   - non-enumerable {@link RELATION_CONTEXT} Symbol = the shared lazy batch context.
+ *
+ * Declaratively-selected relations (`options.with`) are batch-prefetched HERE (one query per
+ * relation over the whole page — staged, no N+1) via the SAME {@link runRelationOp}, and
+ * attached as own props (so they shadow the prototype getter). `hydrate`, when supplied, is
+ * applied to each parent row AND to resolved relations.
+ *
+ * Returns the typed-objects (hydrated if `options.hydrate` given). This is the litedbmodel
+ * runtime concern; the bundle carries only the relation ops + assembly shape (no hydrate).
+ */
+function buildResultSet(rawRows, ops, db, options = {}) {
+    const selected = options.with ?? {};
+    const hydrate = options.hydrate;
+    // The prototype carries a lazy getter for every relation NOT declaratively selected. A
+    // selected relation is an own prop, so it shadows the getter (feasibility §9 unification).
+    const proto = {};
+    for (const name of Object.keys(ops)) {
+        if (selected[name] === true)
+            continue;
+        Object.defineProperty(proto, name, {
+            enumerable: false,
+            configurable: true,
+            get() {
+                const ctx = readRelationContext(this);
+                if (ctx === undefined) {
+                    return Promise.reject(new Error(`lazy relation '${name}': the batch context was dropped (spread/clone/JSON); ` +
+                        `re-read through the query API or declaratively select it via { with: { ${name}: true } }`));
+                }
+                // v1 parity: `await post.author` yields a Promise (getter → relation-op launch,
+                // feasibility §9). The batch itself is synchronous (better-sqlite3) but memoized
+                // across siblings, so N accesses still issue ONE query (no N+1).
+                return Promise.resolve(ctx.resolve(name, this));
+            },
+        });
+    }
+    // The raw typed-objects (own props = data only), sharing `proto`.
+    const rows = rawRows.map((raw) => {
+        const o = Object.create(proto);
+        for (const k of Object.keys(raw))
+            o[k] = raw[k];
+        return o;
+    });
+    // The shared lazy batch context (non-enumerable Symbol) — the whole page is the sibling set.
+    const ctx = new RelationContext(rows, ops, db, hydrate);
+    for (const o of rows) {
+        Object.defineProperty(o, exports.RELATION_CONTEXT, {
+            value: ctx,
+            enumerable: false,
+            writable: false,
+            configurable: false,
+        });
+    }
+    // Declarative select: batch-prefetch each selected relation ONCE (staged) and attach as an
+    // own prop (shadowing the lazy getter). SAME runRelationOp — identical compiled op + SQL.
+    for (const name of Object.keys(selected)) {
+        const op = ops[name];
+        if (op === undefined)
+            throw new Error(`declarative select: relation '${name}' is not declared on this model`);
+        const { batch } = (0, relation_1.runRelationOp)(op, rows, db);
+        for (const o of rows) {
+            o[name] = applyHydrate((0, relation_1.distributeToParent)(op, o, batch), hydrate);
+        }
+    }
+    if (hydrate === undefined)
+        return rows;
+    return rows.map((o) => hydrate(o));
+}
+//# sourceMappingURL=typed-object.js.map

package/dist/scp/typed-object.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-object.js","sourceRoot":"","sources":["../../src/scp/typed-object.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;;;AA+DH,kDAGC;AAwCD,wCAkEC;AA1KD,yCAMoB;AAEpB,sFAAsF;AACzE,QAAA,gBAAgB,GAAkB,MAAM,CAAC,8BAA8B,CAAC,CAAC;AAKtF;;;;;;GAMG;AACH,MAAa,eAAe;IACT,QAAQ,CAA4B;IACpC,GAAG,CAAuC;IAC1C,EAAE,CAAiB;IACnB,OAAO,CAA2B;IACnD,6FAA6F;IAC5E,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE7D,YACE,QAAmC,EACnC,GAAyC,EACzC,EAAkB,EAClB,OAAiC;QAEjC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,YAAoB,EAAE,MAA+B;QAC3D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,aAAa,YAAY,sCAAsC,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,IAAA,wBAAa,EAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC;YACxD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,YAAY,CAAC,IAAA,6BAAkB,EAAC,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3E,CAAC;CACF;AArCD,0CAqCC;AAED,kGAAkG;AAClG,SAAgB,mBAAmB,CAAC,CAA0B;IAC5D,MAAM,CAAC,GAAI,CAA6B,CAAC,wBAAgB,CAAC,CAAC;IAC3D,OAAO,CAAC,YAAY,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC;AAED,wFAAwF;AACxF,SAAS,YAAY,CAAC,KAAc,EAAE,OAAiC;IACrE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,2CAA2C;IAC5E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,CAAC,CAAC;IAC/G,OAAO,OAAO,CAAC,KAAgC,CAAC,CAAC;AACnD,CAAC;AAiBD;;;;;;;;;;;;;;GAcG;AACH,SAAgB,cAAc,CAC5B,OAA2C,EAC3C,GAAyC,EACzC,EAAkB,EAClB,UAA0B,EAAE;IAE5B,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,OAAO,CAAC,OAA8C,CAAC;IAEvE,uFAAuF;IACvF,2FAA2F;IAC3F,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,SAAS;QACtC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE;YACjC,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE,IAAI;YAClB,GAAG;gBACD,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,OAAO,OAAO,CAAC,MAAM,CACnB,IAAI,KAAK,CACP,kBAAkB,IAAI,wDAAwD;wBAC5E,0EAA0E,IAAI,YAAY,CAC7F,CACF,CAAC;gBACJ,CAAC;gBACD,gFAAgF;gBAChF,iFAAiF;gBACjF,iEAAiE;gBACjE,OAAO,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAClD,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,kEAAkE;IAClE,MAAM,IAAI,GAA8B,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC1D,MAAM,CAAC,GAA4B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;IAEH,6FAA6F;IAC7F,MAAM,GAAG,GAAG,IAAI,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,wBAAgB,EAAE;YACzC,KAAK,EAAE,GAAG;YACV,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,KAAK;YACf,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;IACL,CAAC;IAED,2FAA2F;IAC3F,0FAA0F;IAC1F,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,EAAE,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,iCAAiC,CAAC,CAAC;QAC9G,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,wBAAa,EAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAA,6BAAkB,EAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAsB,CAAC;IACzD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAQ,CAAC;AAC5C,CAAC"}

package/dist/scp/write-plan.d.ts

@@ -0,0 +1,161 @@
+/**
+ * litedbmodel v2 SCP — write-time relations → ordered SQL transaction plan (WS5, #25; spec §6).
+ *
+ * Derives a declarative {@link LifecycleContract} (the §6 effect arrays) + a base write op
+ * (the Command's `Insert`/`Update`/`Delete`, e.g. `Insert(Post, {onWrite: Post.writes.create})`)
+ * into ONE ordered, gate-first multi-statement transaction plan — exactly the §6 example:
+ *
+ * ```
+ * BEGIN;
+ *   -- Gate First (short-circuit + ROLLBACK before any body write)
+ *   requires:    SELECT 1 FROM users WHERE id = :author_id;        -- absent ⇒ fail
+ *   idempotency: INSERT INTO idem(token) VALUES(:request_id);      -- duplicate ⇒ short-circuit
+ *   unique:      INSERT INTO uniq(...) ON CONFLICT DO NOTHING; …   -- collision ⇒ fail
+ *   -- Body
+ *   INSERT INTO posts(author_id,title) VALUES(:author_id,:title) RETURNING id;
+ *   derive:  UPDATE users SET post_count = post_count + 1 WHERE id = :author_id;
+ *   edges:   … (M:N intermediate INSERT/DELETE  or  1:N FK UPDATE) …
+ *   emits:   INSERT INTO outbox(type,payload) VALUES('PostCreated', :payload);
+ * COMMIT;
+ * ```
+ *
+ * The plan is PURE JSON (each statement is a WS1 {@link CompiledOperation} rendered by the
+ * SAME {@link import('./render').renderOperation}), so it serializes into the §8 bundle and a
+ * thin per-language runtime honors the SAME ordering + gate-first (no re-derivation, spec §6:
+ * "多言語 runtime は同一計画を honor"). `Transaction` は公開仕様にしない — this plan is DERIVED
+ * from the Command's declared intent, never authored.
+ *
+ * ## Gate-first is a real execution behavior, not a text ordering (spec §6 "Gate First")
+ *
+ * Each gate statement carries a {@link GateRule} the runtime evaluates AFTER executing it: a
+ * failing gate short-circuits — the remaining statements (body + derive + edges + emits) never
+ * execute and the transaction ROLLBACKs. This is semantically-invariant early termination
+ * ({@link import('./write-runtime').executeTransaction} proves it with real query counts + DB state).
+ *
+ * ## Path lowering (spec §6) — `$.input.*` / `$.entity.*` → closed-set Expression IR
+ *
+ * A `$.input.<field>` value lowers to `{ref:['<field>']}` (bc flat input scope); a
+ * `$.entity.<field>` value lowers to `{ref:['__entity','<field>']}` (the body write's
+ * RETURNING row, exposed to the derive/edges/emits stages under {@link ENTITY_ROOT}). Only
+ * bc's closed operator set (`ref`) is emitted — no invented opcode (hard rule).
+ *
+ * ## Transaction derivation (spec §6 / §14) — tx-DAG + gate-first
+ *
+ * A Command carries one or more named base writes, each with its §6 effects. Statements form a
+ * data-dependency DAG (`$.ref.<writeName>.<field>` consumes an earlier write's RETURNING row,
+ * exposed via `TxStatement.binds`), with a gate-first constraint (every gate precedes every
+ * body/derive/edge/emit). The DAG is topologically ordered (Kahn, stable ascending declaration
+ * `seq` tie-break) into a single-transaction statement plan. Underivable shapes (dependency
+ * cycle, dangling `$.ref`, referenced write without RETURNING, duplicate bind, composite
+ * `$.entity`) are LOUD rejects — never a silently mis-ordered plan.
+ */
+import type { CompiledOperation } from './ir';
+import { type Dialect } from './dialect';
+import { type LifecycleContract, type LifecycleEffects, type WriteLifecyclePhase } from './writes';
+/** The role a transaction statement plays (drives the runtime's gate-first interpretation). */
+export type StatementRole = 'gate:requires' | 'gate:idempotency' | 'gate:unique' | 'body' | 'derive' | 'edge' | 'emit';
+/**
+ * The gate rule the runtime evaluates on a gate statement's result to decide short-circuit
+ * (spec §6 "Gate First"):
+ *   - `existsElseRollback` — the statement is a `SELECT 1 …` existence probe; ZERO rows ⇒
+ *     the required row is absent ⇒ short-circuit + ROLLBACK (`requires`).
+ *   - `insertedElseRollback` — the statement is a guard `INSERT … ON CONFLICT DO NOTHING`;
+ *     ZERO affected rows ⇒ a collision ⇒ short-circuit + ROLLBACK (`unique`).
+ *   - `insertedElseNoop` — the statement is an idempotency-token `INSERT … ON CONFLICT DO
+ *     NOTHING`; ZERO affected rows ⇒ a DUPLICATE request ⇒ short-circuit WITHOUT error
+ *     (idempotent: the prior write already happened; the tx commits the no-op / rolls back
+ *     the empty body per {@link TransactionPlan.onIdempotentHit}).
+ */
+export type GateRule = 'existsElseRollback' | 'insertedElseRollback' | 'insertedElseNoop';
+/** One ordered statement of a transaction plan (pure JSON — a WS1 compiled op + its role). */
+export interface TxStatement {
+    /** Stable statement id (ordering key + diagnostics). */
+    readonly id: string;
+    /** The statement's role in the §6 derivation order. */
+    readonly role: StatementRole;
+    /** The compiled SQL op (rendered by the normative {@link import('./render').renderOperation}). */
+    readonly op: CompiledOperation;
+    /** For a gate statement: the short-circuit rule. Absent for body/derive/edge/emit. */
+    readonly gate?: GateRule;
+    /**
+     * For a composite (multi-write) body statement: the scope binding under which THIS statement's
+     * RETURNING row is exposed to LATER statements — a downstream `$.ref.<binds>.<field>` resolves
+     * to `scope[<binds>][<field>]` (spec §6 nested write). This is the DAG's data-dependency edge,
+     * self-describing so the 5 runtimes just bind the row and continue (no re-derivation). Absent for
+     * a statement no later statement depends on; the WS5 single-base write additionally exposes its
+     * row under {@link TransactionPlan.entityFrom} / {@link ENTITY_ROOT} for `$.entity.*` back-compat.
+     */
+    readonly binds?: string;
+    /** Human label (diagnostics; e.g. `requires users`, `derive users.post_count`). */
+    readonly label: string;
+}
+/** How the runtime resolves an idempotency short-circuit hit (a duplicate request). */
+export type IdempotentHitPolicy = 'rollback';
+/**
+ * A derived write-time-relations transaction plan (spec §6 / §8 `transaction plan`). Pure JSON:
+ * ordered statements + gate-first rules + the body-write's `entity` exposure. Serializes into
+ * the §8 bundle so a WS7 runtime executes the SAME plan.
+ */
+export interface TransactionPlan {
+    /** The lifecycle phase this plan realizes (`create` / `update` / `remove`). */
+    readonly phase: WriteLifecyclePhase;
+    /**
+     * The statement id whose RETURNING row is exposed to later stages under `$.entity.*`
+     * ({@link ENTITY_ROOT}). Always the body write. `null` when the body has no RETURNING
+     * (then no later stage may reference `$.entity.*` — validated at derivation time).
+     */
+    readonly entityFrom: string | null;
+    /** The ordered statements (gate-first, then body, then derive/edges/emits). */
+    readonly statements: readonly TxStatement[];
+    /** What a duplicate-idempotency-token short-circuit does (α: rollback the empty tx). */
+    readonly onIdempotentHit: IdempotentHitPolicy;
+}
+/**
+ * The base write op the Command declares (`Insert`/`Update`/`Delete` with `onWrite`). This is
+ * the Command body statement the plan wraps in a transaction. A Command may declare ONE base
+ * write (WS5 single-statement scope) OR several (WS8a composite / nested write, spec §6:
+ * "多対多や nested write（親作成と同時に子作成）は edges/追加 write で表現し、同一 tx にまとめる").
+ */
+export interface BaseWrite {
+    /** The compiled base write op (from the bridge, e.g. `compileNode` of the Insert node). */
+    readonly op: CompiledOperation;
+    /** The body statement's role (always `body`). */
+    readonly label: string;
+    /**
+     * The write's stable NAME (WS8a composite scope) — later statements reference its RETURNING row
+     * as `$.ref.<name>.<field>`, and the derived body statement `binds` this name. Omitted for the
+     * WS5 single-base write (its row is addressed as `$.entity.*` under {@link ENTITY_ROOT}).
+     */
+    readonly name?: string;
+    /**
+     * The write's OWN save-contract effects (WS8a composite scope): its gates/derive/edges/emits.
+     * For the WS5 single-base write, the lifecycle is passed as the top-level `lifecycle` arg and
+     * this is omitted. When a base write carries `effects`, the derivation treats it as one DAG
+     * node group (its gates → its body → its after-effects), then topologically orders ALL groups.
+     */
+    readonly effects?: LifecycleEffects;
+}
+/**
+ * Derive the ORDERED, gate-first {@link TransactionPlan} from a Command's base write(s) + its
+ * lifecycle save contract (spec §6 / §14).
+ *
+ * ## Single base write (WS5 scope)
+ *
+ * One base write + a top-level `lifecycle`; the order is the fixed §6 group
+ * (requires → idempotency → unique → BODY → derive → edges → emits). `$.entity.*` references in
+ * derive/edges/emits require the body write to RETURN the entity row (else a loud build error).
+ *
+ * ## Composite / nested write (WS8a scope) — real DAG derivation
+ *
+ * Multiple base writes, each carrying its OWN {@link BaseWrite.effects} and a `name`. A later
+ * write references an earlier write's RETURNING row via `$.ref.<name>.<field>` (e.g. a child
+ * INSERT keyed by the parent's returned id). The derivation builds the data-dependency graph
+ * (statement → the writes it references) + the gate-first constraint, TOPOLOGICALLY orders it
+ * (deterministic, stable tie-break), and emits ONE ordered gate-first transaction plan. A cycle
+ * or dangling reference is ESCALATED (no silent mis-derivation).
+ *
+ * @throws if a `$.entity.*` reference lacks a RETURNING body, a `$.ref.*` is dangling, two writes
+ *   bind the same name, or the dependency graph has a cycle.
+ */
+export declare function deriveTransactionPlan(phase: WriteLifecyclePhase, bases: readonly BaseWrite[], lifecycle: LifecycleContract, dialect?: Dialect): TransactionPlan;
+//# sourceMappingURL=write-plan.d.ts.map

package/dist/scp/write-plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-plan.d.ts","sourceRoot":"","sources":["../../src/scp/write-plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAY,MAAM,MAAM,CAAC;AAGxD,OAAO,EAAU,KAAK,OAAO,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAOL,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EAGrB,KAAK,mBAAmB,EACzB,MAAM,UAAU,CAAC;AAElB,+FAA+F;AAC/F,MAAM,MAAM,aAAa,GACrB,eAAe,GACf,kBAAkB,GAClB,aAAa,GACb,MAAM,GACN,QAAQ,GACR,MAAM,GACN,MAAM,CAAC;AAEX;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,kBAAkB,CAAC;AAE1F,8FAA8F;AAC9F,MAAM,WAAW,WAAW;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kGAAkG;IAClG,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC/B,sFAAsF;IACtF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB;;;;;;;OAOG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uFAAuF;AACvF,MAAM,MAAM,mBAAmB,GAAG,UAAU,CAAC;AAE7C;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;IAC5C,wFAAwF;IACxF,QAAQ,CAAC,eAAe,EAAE,mBAAmB,CAAC;CAC/C;AAiMD;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,2FAA2F;IAC3F,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC/B,iDAAiD;IACjD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAuJD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,mBAAmB,EAC1B,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,SAAS,EAAE,iBAAiB,EAC5B,OAAO,GAAE,OAAgB,GACxB,eAAe,CA2DjB"}