pyric 0.0.1 → 0.1.0-alpha.10

package/dist/rules/simulator/handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler.js","sourceRoot":"","sources":["../../../src/rules/simulator/handler.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,aAAa,EAA0B,MAAM,gBAAgB,CAAC;AACnG,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAY7D;;;;;;;;;;;GAWG;AACH,MAAM,sBAAsB;IACjB,QAAQ,GAA0B,EAAE,CAAC;IAC9C,IAAI,CAAC,KAA0B;QAC7B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;CACF;AAED;;;8BAG8B;AAC9B,SAAS,eAAe,CAAC,KAAiB;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,KAAK,CAAC;QAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC;QACpD,OAAO,IAAI,GAAG,CAAC,IAAI,MAAM,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,cAAc,CACrB,KAAiB,EACjB,YAAsB,EACtB,eAA8B,EAC9B,QAAiC;IAEjC,MAAM,YAAY,GAAG,CAAC,GAAG,eAAe,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;IAE9D,oEAAoE;IACpE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;IACpC,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,kEAAkE;IAClE,kEAAkE;IAClE,oCAAoC;IACpC,IAAI,aAAwD,CAAC;IAE7D,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,QAAQ,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;gBACpC,6DAA6D;gBAC7D,gEAAgE;gBAChE,8DAA8D;gBAC9D,sBAAsB;gBACtB,aAAa,GAAG,iBAAiB,CAAC;gBAClC,MAAM;YACR,CAAC;YACD,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,KAAK,EAAE,CAAC;gBACzC,aAAa,GAAG,kBAAkB,CAAC;gBACnC,MAAM;YACR,CAAC;YACD,QAAQ,EAAE,CAAC;QACb,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnC,IAAI,QAAQ,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;gBACpC,aAAa,GAAG,iBAAiB,CAAC;gBAClC,MAAM;YACR,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC5C,QAAQ,EAAE,CAAC;QACb,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACpC,+CAA+C;YAC/C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5D,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC;QACjC,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,wDAAwD;IACxD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,QAAQ,EAAE,IAAI,CAAC;YACb,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,SAAS,EAAE,eAAe,CAAC,KAAK,CAAC;YACjC,eAAe,EAAE,QAAQ;YACzB,aAAa,EAAE,OAAO,CAAC,MAAM;YAC7B,QAAQ;YACR,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,aAAa;SACtB,CAAC,CAAC;QACH,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAE/C,uEAAuE;IACvE,wEAAwE;IACxE,0EAA0E;IAC1E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,QAAQ,EAAE,IAAI,CAAC;YACb,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,SAAS,EAAE,eAAe,CAAC,KAAK,CAAC;YACjC,eAAe,EAAE,QAAQ;YACzB,aAAa,EAAE,OAAO,CAAC,MAAM;YAC7B,QAAQ;YACR,OAAO,EAAE,IAAI;SACd,CAAC,CAAC;QACH,OAAO,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,eAAe,EAAE,YAAY,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,0EAA0E;IAC1E,wEAAwE;IACxE,0EAA0E;IAC1E,2BAA2B;IAC3B,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnC,KAAK,MAAM,WAAW,IAAI,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC;YACnF,0DAA0D;YAC1D,WAAW,CAAC,aAAa,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAG,WAAW,CAAC,aAAa,EAAE,CAAC;YAC1E,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,sEAAsE;IACtE,QAAQ,EAAE,IAAI,CAAC;QACb,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,SAAS,EAAE,eAAe,CAAC,KAAK,CAAC;QACjC,eAAe,EAAE,QAAQ;QACzB,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,QAAQ;QACR,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;YACnB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,mBAA4B,EAAE,CAAC;KAC9D,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4BAA4B;AAE5B,SAAS,kBAAkB,CAAC,MAAc;IACxC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnC,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACrC,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,0BAA0B;AAE1B;;;;;;;;;;;;GAYG;AACH,SAAS,aAAa,CACpB,KAAiB,EACjB,SAAiB,EACjB,GAAsB;IAEtB,MAAM,GAAG,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,6CAA6C;IAC7C,MAAM,aAAa,GAAyC,EAAE,CAAC;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACjD,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,uCAAuC,SAAS,GAAG,CAAC,CAAC;QAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC5C,CAAC;IAED,qEAAqE;IACrE,oEAAoE;IACpE,qEAAqE;IACrE,oEAAoE;IACpE,kEAAkE;IAClE,mBAAmB;IACnB,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,aAAa,EAAE,CAAC;QACrC,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC;QACrB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAC7C,KAAK,CAAC,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC;YACzC,IAAI,MAAM,EAAE,CAAC;gBACX,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAClB,GAAG,CAAC,KAAK,GAAG,aAAa,CAAC;gBAC1B,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;YAC7C,CAAC;YACD,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,KAAK,CAAC,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC;YACzC,IAAI,CAAC,YAAY,gBAAgB,EAAE,CAAC;gBAClC,cAAc,GAAG,IAAI,CAAC;gBACtB,KAAK,CAAC,OAAO,GAAG,aAAa,CAAC;gBAC9B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;YAC5B,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;gBACxB,KAAK,CAAC,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7D,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,GAAG,CAAC,KAAK,GAAG,aAAa,CAAC;IAE1B,yEAAyE;IACzE,uEAAuE;IACvE,uEAAuE;IACvE,kDAAkD;IAClD,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC7E,CAAC;AAED,SAAS,QAAQ,CAAC,IAAe,EAAE,KAAa;IAC9C,MAAM,KAAK,GAAmB;QAC5B,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;QAChC,OAAO,EAAE,MAAM;QACf,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC;KAClD,CAAC;IACF,IAAI,IAAI,CAAC,GAAG;QAAE,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IACzC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iDAAiD;AAEjD,oCAAoC;AAEpC,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,MAAM,EAAE,iBAAiB,EAAW,CAAC;AAEvE,SAAS,yBAAyB,CAAC,KAAc;IAC/C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;WAC5C,KAAiC,CAAC,MAAM,KAAK,iBAAiB,CAAC;AACvE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAA6B,EAC7B,UAAqB;IAErB,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC;QAC7B,CAAC;aAAM,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,oEAAoE;YACpE,iEAAiE;YACjE,iEAAiE;YACjE,qEAAqE;YACrE,uBAAuB;YACvB,QAAQ,CAAC,GAAG,CAAC,GAAG,uBAAuB,CAAC,KAAgC,EAAE,UAAU,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,iBAAiB,CAAC,EAAY;IACrC,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO;QACL,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,IAAI,IAAI;QAC9B,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,IAAI,IAAI;QAChC,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,OAAO,IAAI,IAAI;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,EAAY,EACZ,SAAwB,EACxB,aAAqC,EACrC,MAAyD,EACzD,eAA6D;IAE7D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAEnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC5D,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBACvF,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAiC,CAAC,CAAC;YAClE,CAAC;iBAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,iEAAiE;IACjE,qEAAqE;IACrE,mEAAmE;IACnE,wDAAwD;IACxD,MAAM,UAAU,GAAG,EAAE,CAAC,WAAW;QAC/B,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,WAAW,CAAC;QACzC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAErC,oEAAoE;IACpE,uEAAuE;IACvE,uEAAuE;IACvE,oCAAoC;IACpC,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;IACrE,MAAM,YAAY,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACpG,2EAA2E;IAC3E,0EAA0E;IAC1E,0EAA0E;IAC1E,yCAAyC;IACzC,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;IACvD,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAE3E,oCAAoC;IACpC,EAAE;IACF,0EAA0E;IAC1E,wEAAwE;IACxE,sEAAsE;IACtE,yEAAyE;IACzE,qEAAqE;IACrE,0BAA0B;IAC1B,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,IAAI,IAAI,CAAC;IACrC,IAAI,UAA0C,CAAC;IAC/C,IAAI,WAAoB,CAAC;IACzB,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACjB,UAAU,GAAG,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAChE,WAAW,GAAG,UAAU,KAAK,IAAI,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;YAClB,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,sEAAsE;gBACtE,iEAAiE;gBACjE,oEAAoE;gBACpE,iEAAiE;gBACjE,iEAAiE;gBACjE,uEAAuE;gBACvE,iEAAiE;gBACjE,sEAAsE;gBACtE,wEAAwE;gBACxE,6DAA6D;gBAC7D,UAAU,GAAG,OAAO,CAAC;gBACrB,WAAW,GAAG,IAAI,CAAC;gBACnB,MAAM;YACR,KAAK,QAAQ;gBACX,UAAU,GAAG,IAAI,CAAC;gBAClB,WAAW,GAAG,KAAK,CAAC;gBACpB,MAAM;YACR,KAAK,KAAK,CAAC;YACX,KAAK,MAAM,CAAC;YACZ;gBACE,UAAU,GAAG,QAAQ,CAAC,CAAC,mBAAmB;gBAC1C,WAAW,GAAG,QAAQ,KAAK,IAAI,CAAC;gBAChC,MAAM;QACV,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,KAAK,IAAI;QACxC,CAAC,CAAC,uBAAuB,CAAC,UAAU,EAAE,UAAU,CAAC;QACjD,CAAC,CAAC,IAAI,CAAC;IAET,4EAA4E;IAC5E,uEAAuE;IACvE,wEAAwE;IACxE,+DAA+D;IAC/D,MAAM,eAAe,GAAG,cAAc,IAAI,EAAE,CAAC;IAE7C,OAAO;QACL,OAAO,EAAE;YACP,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YACvE,QAAQ,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;YACnC,MAAM,EAAE,EAAE,CAAC,MAAM;YACjB,IAAI,EAAE,QAAQ,EAAS,+DAA+D;YACtF,KAAK,EAAE,iBAAiB,CAAC,EAAE,CAAC;YAC5B,IAAI,EAAE,UAAU;SACjB;QACD,4EAA4E;QAC5E,yEAAyE;QACzE,qEAAqE;QACrE,sEAAsE;QACtE,0EAA0E;QAC1E,EAAE;QACF,0EAA0E;QAC1E,2EAA2E;QAC3E,+DAA+D;QAC/D,4DAA4D;QAC5D,0CAA0C;QAC1C,gDAAgD;QAChD,oEAAoE;QACpE,2EAA2E;QAC3E,wEAAwE;QACxE,yEAAyE;QACzE,4EAA4E;QAC5E,8EAA8E;QAC9E,QAAQ,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI;YACnD,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAG,qDAAqD;QAC9E,aAAa,EAAE,QAAQ;QACvB,MAAM;QACN,aAAa;QACb,SAAS,EAAE,KAAK;QAChB,QAAQ,EAAE,WAAW;QACrB,8DAA8D;QAC9D,sEAAsE;QACtE,0DAA0D;QAC1D,2EAA2E;QAC3E,cAAc,EAAE,QAAQ;QACxB,UAAU,EAAE,cAAc;QAC1B,WAAW;QACX,qEAAqE;QACrE,wDAAwD;QACxD,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,uBAAuB;AAEvB,MAAM,OAAO,6BAA6B;IACxC;;;OAGG;IACH,QAAQ,CACN,MAAc,EACd,SAAqB,EACrB,IAaC;QAED,gEAAgE;QAChE,mEAAmE;QACnE,kEAAkE;QAClE,iDAAiD;QACjD,4BAA4B;QAC5B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1C,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,cAAc;oBACpB,OAAO,EACL,oGAAoG;0BAClG,kEAAkE;0BAClE,yBAAyB;oBAC7B,WAAW,EAAE,IAAI;iBAClB;aACF,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,8BAA8B,EAAE,WAAW,EAAE,IAAI,EAAE;aAC5F,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,WAAW,GAAG,CAAC,CAAC;QAEpB,kEAAkE;QAClE,+DAA+D;QAC/D,mEAAmE;QACnE,iEAAiE;QACjE,gEAAgE;QAChE,+DAA+D;QAC/D,kEAAkE;QAClE,mBAAmB;QACnB,EAAE;QACF,iEAAiE;QACjE,kEAAkE;QAClE,4BAA4B;QAC5B,MAAM,YAAY,GAA2B,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;QACvE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC5B,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC;YACvC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,yCAAyC;YACzC,+DAA+D;YAC/D,6CAA6C;YAC7C,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACxD,MAAM,aAAa,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;YAClD,kEAAkE;YAClE,+DAA+D;YAC/D,qEAAqE;YACrE,4CAA4C;YAC5C,IAAI,OAAO,GAAkB,EAAE,CAAC;YAChC,mEAAmE;YACnE,6CAA6C;YAC7C,MAAM,YAAY,GAAG,IAAI,sBAAsB,EAAE,CAAC;YAClD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC/C,OAAO,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;YACpF,CAAC;YACD,oEAAoE;YACpE,qEAAqE;YACrE,sEAAsE;YACtE,6DAA6D;YAC7D,oEAAoE;YACpE,oEAAoE;YACpE,oEAAoE;YACpE,uEAAuE;YACvE,IAAI,gBAAgB,GAAG,KAAK,CAAC;YAC7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACjD,MAAM,OAAO,GAAG,CAAC,GAAG,YAAY,EAAE,sBAAsB,CAAC,CAAC;gBAC1D,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;oBAC/C,OAAO,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;gBAC/E,CAAC;gBACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,gBAAgB,GAAG,IAAI,CAAC;YAClD,CAAC;YACD,MAAM,cAAc,GAAwB;gBAC1C,WAAW,EAAE,EAAE,CAAC,IAAI;gBACpB,QAAQ,EAAE,YAAY,CAAC,QAAQ;aAChC,CAAC;YAEF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzB,+DAA+D;gBAC/D,kEAAkE;gBAClE,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAC9D,IAAI,KAAK,KAAK,QAAQ;oBAAE,MAAM,EAAE,CAAC;;oBAAM,MAAM,EAAE,CAAC;gBAChD,OAAO,CAAC,IAAI,CAAC;oBACX,WAAW,EAAE,EAAE,CAAC,WAAW;oBAC3B,WAAW,EAAE,EAAE,CAAC,WAAW;oBAC3B,KAAK;oBACL,QAAQ,EAAE,MAAM;oBAChB,KAAK,EAAE,EAAE;oBACT,KAAK,EAAE,CAAC,kCAAkC,EAAE,CAAC,IAAI,GAAG,CAAC;oBACrD,cAAc;iBACf,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,oEAAoE;YACpE,oEAAoE;YACpE,gEAAgE;YAChE,sEAAsE;YACtE,kEAAkE;YAClE,qEAAqE;YACrE,yDAAyD;YACzD,sEAAsE;YACtE,qEAAqE;YACrE,sDAAsD;YACtD,EAAE;YACF,+DAA+D;YAC/D,iEAAiE;YACjE,+DAA+D;YAC/D,qEAAqE;YACrE,sEAAsE;YACtE,oEAAoE;YACpE,IAAI,QAAQ,GAAa,MAAM,CAAC;YAChC,MAAM,KAAK,GAAqB,EAAE,CAAC;YACnC,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,IAAI,cAAc,GAAG,KAAK,CAAC;YAC3B,IAAI,iBAAqC,CAAC;YAC1C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,eAAe,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;gBAC1E,MAAM,QAAQ,GAAG,EAAE,GAAG,YAAY,EAAE,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;gBAC7D,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;gBAE1F,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACvD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,KAAK;oBAAE,KAAK,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC3D,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;gBAEzB,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;oBAC7B,QAAQ,GAAG,OAAO,CAAC;oBACnB,iBAAiB,GAAG,SAAS,CAAC;oBAC9B,MAAM;gBACR,CAAC;gBACD,IAAI,GAAG,CAAC,QAAQ,KAAK,aAAa;oBAAE,cAAc,GAAG,IAAI,CAAC;YAC5D,CAAC;YACD,IAAI,QAAQ,KAAK,OAAO,IAAI,cAAc;gBAAE,QAAQ,GAAG,aAAa,CAAC;YACrE,IAAI,QAAQ,KAAK,OAAO,IAAI,iBAAiB,EAAE,CAAC;gBAC9C,KAAK,CAAC,IAAI,CAAC,2BAA2B,iBAAiB,GAAG,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CACR,4BAA4B,EAAE,CAAC,IAAI,6HAA6H,CACjK,CAAC;YACJ,CAAC;YAED,oEAAoE;YACpE,iEAAiE;YACjE,uDAAuD;YACvD,IAAI,KAA0C,CAAC;YAC/C,IAAI,QAAQ,KAAK,aAAa,EAAE,CAAC;gBAC/B,KAAK,GAAG,aAAa,CAAC;gBACtB,WAAW,EAAE,CAAC;YAChB,CAAC;iBAAM,IAAI,QAAQ,KAAK,EAAE,CAAC,WAAW,EAAE,CAAC;gBACvC,KAAK,GAAG,QAAQ,CAAC;gBACjB,MAAM,EAAE,CAAC;YACX,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,QAAQ,CAAC;gBACjB,MAAM,EAAE,CAAC;YACX,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACX,WAAW,EAAE,EAAE,CAAC,WAAW;gBAC3B,WAAW,EAAE,EAAE,CAAC,WAAW;gBAC3B,KAAK;gBACL,QAAQ;gBACR,KAAK;gBACL,KAAK;gBACL,cAAc;aACf,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC;IAC3E,CAAC;CACF"}

package/dist/rules/simulator/mapdiff.d.ts

@@ -0,0 +1,29 @@
+/**
+ * MapDiff implementation for Firestore rules simulation.
+ *
+ * Implements request.resource.data.diff(resource.data) which returns
+ * a MapDiff object with methods for comparing two document states.
+ *
+ * Semantics derived from production Firestore behavior:
+ * - Only compares top-level keys (nested map diff is unreliable in production)
+ * - Values are compared with Firestore Rules value equality
+ * - Returns Set-like objects with hasOnly(), hasAll(), hasAny(), size()
+ */
+import { FirestoreSet } from './firestore-set.js';
+export { FirestoreSet } from './firestore-set.js';
+export declare class MapDiff {
+    private before;
+    private after;
+    constructor(before: Record<string, unknown>, after: Record<string, unknown>);
+    /** Keys present in `after` but not in `before`. */
+    addedKeys(): FirestoreSet;
+    /** Keys present in `before` but not in `after`. */
+    removedKeys(): FirestoreSet;
+    /** Keys present in both but with different values. */
+    changedKeys(): FirestoreSet;
+    /** Keys that were added, removed, or changed. Union of added + removed + changed. */
+    affectedKeys(): FirestoreSet;
+    /** Keys present in both with identical values. */
+    unchangedKeys(): FirestoreSet;
+}
+//# sourceMappingURL=mapdiff.d.ts.map

package/dist/rules/simulator/mapdiff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapdiff.d.ts","sourceRoot":"","sources":["../../../src/rules/simulator/mapdiff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,qBAAa,OAAO;IAClB,OAAO,CAAC,MAAM,CAA0B;IACxC,OAAO,CAAC,KAAK,CAA0B;gBAE3B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAK3E,mDAAmD;IACnD,SAAS,IAAI,YAAY;IAQzB,mDAAmD;IACnD,WAAW,IAAI,YAAY;IAQ3B,sDAAsD;IACtD,WAAW,IAAI,YAAY;IAU3B,qFAAqF;IACrF,YAAY,IAAI,YAAY;IAW5B,kDAAkD;IAClD,aAAa,IAAI,YAAY;CAS9B"}

package/dist/rules/simulator/mapdiff.js

@@ -0,0 +1,72 @@
+/**
+ * MapDiff implementation for Firestore rules simulation.
+ *
+ * Implements request.resource.data.diff(resource.data) which returns
+ * a MapDiff object with methods for comparing two document states.
+ *
+ * Semantics derived from production Firestore behavior:
+ * - Only compares top-level keys (nested map diff is unreliable in production)
+ * - Values are compared with Firestore Rules value equality
+ * - Returns Set-like objects with hasOnly(), hasAll(), hasAny(), size()
+ */
+import { FirestoreSet } from './firestore-set.js';
+import { rulesValuesEqual } from './value-equality.js';
+export { FirestoreSet } from './firestore-set.js';
+export class MapDiff {
+    before;
+    after;
+    constructor(before, after) {
+        this.before = before;
+        this.after = after;
+    }
+    /** Keys present in `after` but not in `before`. */
+    addedKeys() {
+        const added = [];
+        for (const key of Object.keys(this.after)) {
+            if (!(key in this.before))
+                added.push(key);
+        }
+        return new FirestoreSet(added);
+    }
+    /** Keys present in `before` but not in `after`. */
+    removedKeys() {
+        const removed = [];
+        for (const key of Object.keys(this.before)) {
+            if (!(key in this.after))
+                removed.push(key);
+        }
+        return new FirestoreSet(removed);
+    }
+    /** Keys present in both but with different values. */
+    changedKeys() {
+        const changed = [];
+        for (const key of Object.keys(this.after)) {
+            if (key in this.before && !rulesValuesEqual(this.before[key], this.after[key])) {
+                changed.push(key);
+            }
+        }
+        return new FirestoreSet(changed);
+    }
+    /** Keys that were added, removed, or changed. Union of added + removed + changed. */
+    affectedKeys() {
+        const affected = [];
+        const allKeys = new Set([...Object.keys(this.before), ...Object.keys(this.after)]);
+        for (const key of allKeys) {
+            if (!(key in this.before) || !(key in this.after) || !rulesValuesEqual(this.before[key], this.after[key])) {
+                affected.push(key);
+            }
+        }
+        return new FirestoreSet(affected);
+    }
+    /** Keys present in both with identical values. */
+    unchangedKeys() {
+        const unchanged = [];
+        for (const key of Object.keys(this.before)) {
+            if (key in this.after && rulesValuesEqual(this.before[key], this.after[key])) {
+                unchanged.push(key);
+            }
+        }
+        return new FirestoreSet(unchanged);
+    }
+}
+//# sourceMappingURL=mapdiff.js.map

package/dist/rules/simulator/mapdiff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapdiff.js","sourceRoot":"","sources":["../../../src/rules/simulator/mapdiff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,OAAO,OAAO;IACV,MAAM,CAA0B;IAChC,KAAK,CAA0B;IAEvC,YAAY,MAA+B,EAAE,KAA8B;QACzE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,mDAAmD;IACnD,SAAS;QACP,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,mDAAmD;IACnD,WAAW;QACT,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,sDAAsD;IACtD,WAAW;QACT,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC/E,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAED,qFAAqF;IACrF,YAAY;QACV,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC1G,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QACD,OAAO,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAED,kDAAkD;IAClD,aAAa;QACX,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC7E,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QACD,OAAO,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC;CACF"}

package/dist/rules/simulator/project-after-state.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Item 0.D / Item 7 — single source of truth for the post-write document
+ * state under each WriteMode.
+ *
+ * Both `request.resource.data` (the data the rule sees) and
+ * `getAfter(path)` (the projected post-write doc) MUST agree. Routing
+ * everything through one function is the only way to make sure they
+ * never diverge as the merge semantics evolve.
+ *
+ * Per-mode semantics (matches admin SDK):
+ *   create               → after = payload (pre-state irrelevant; create
+ *                           fails if doc exists, but that's enforced by
+ *                           the test runner, not by this projection)
+ *   set { merge: false } → after = payload (full replace)
+ *   set { merge: true }  → after = recursive merge of pre and payload
+ *   update               → for each top-level key in payload:
+ *                           - if key contains '.', treat as field path:
+ *                             setNested(result, key.split('.'), value)
+ *                           - else: result[key] = value (entire replacement
+ *                             at that key, NOT recursive merge — this is
+ *                             the trap the 0.D hindsight describes)
+ *   delete               → after = null (doc is gone)
+ */
+import type { WriteMode } from '../test/spec.js';
+export type DocState = Record<string, unknown>;
+/**
+ * Project the after-state of a write. Returns null for `delete`.
+ *
+ * `existing` is the pre-write document state (typically `tc.resource`).
+ * `payload` is the write payload (typically `tc.data`).
+ */
+export declare function projectAfterState(mode: WriteMode, existing: DocState | null, payload: DocState): DocState | null;
+//# sourceMappingURL=project-after-state.d.ts.map

package/dist/rules/simulator/project-after-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-after-state.d.ts","sourceRoot":"","sources":["../../../src/rules/simulator/project-after-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AA8E/C;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,EACf,QAAQ,EAAE,QAAQ,GAAG,IAAI,EACzB,OAAO,EAAE,QAAQ,GAChB,QAAQ,GAAG,IAAI,CAWjB"}

package/dist/rules/simulator/project-after-state.js

@@ -0,0 +1,88 @@
+/** Field-path segments that must never be walked or written. Because the
+ *  projected doc is a plain JS object, a segment named `__proto__` (or, as
+ *  defence-in-depth, `constructor`/`prototype`) would reach the shared
+ *  `Object.prototype` and let a rule-permitted `update`/`set` payload
+ *  pollute it process-wide (a field name arrives via JSON transports that
+ *  preserve `__proto__` as a genuine own key). These are never valid
+ *  Firestore-map segments in this projection, so rejecting them is a
+ *  sandbox-only safety constraint, not a parity regression. */
+const UNSAFE_SEGMENTS = new Set(['__proto__', 'prototype', 'constructor']);
+function assertSafeSegment(seg) {
+    if (UNSAFE_SEGMENTS.has(seg)) {
+        throw new Error(`Invalid field-path segment '${seg}': the keys __proto__, prototype, ` +
+            'and constructor are reserved and cannot appear in a field path.');
+    }
+}
+/** Recursive merge for set({merge: true}) — payload wins on leaf collisions. */
+function recursiveMerge(existing, payload) {
+    const out = { ...existing };
+    for (const [k, v] of Object.entries(payload)) {
+        assertSafeSegment(k);
+        const cur = Object.hasOwn(out, k) ? out[k] : undefined;
+        if (v !== null && typeof v === 'object' && !Array.isArray(v) &&
+            cur !== null && typeof cur === 'object' && !Array.isArray(cur)) {
+            out[k] = recursiveMerge(cur, v);
+        }
+        else {
+            out[k] = v;
+        }
+    }
+    return out;
+}
+/** Set a value at a nested path (mutates `obj`). Used by update dot-paths.
+ *
+ *  A field path that traverses a non-map intermediate REPLACES that prefix with
+ *  a fresh map — this matches Firestore's updateDoc field-path semantics, where
+ *  `updateDoc(ref, {'a.b': 1})` on a string `a` overwrites `a` with `{b:1}`
+ *  (last-write-wins on the path prefix). (We intentionally do NOT throw here;
+ *  the RULES-B10 fix is the update *merge* in handler.ts, not this projection.) */
+function setNested(obj, path, value) {
+    let cur = obj;
+    for (let i = 0; i < path.length - 1; i++) {
+        const seg = path[i];
+        assertSafeSegment(seg);
+        // Own-property read only: bare `cur[seg]` would resolve an unvalidated
+        // segment to the shared object prototype.
+        const next = Object.hasOwn(cur, seg) ? cur[seg] : undefined;
+        if (next === null || typeof next !== 'object' || Array.isArray(next)) {
+            cur[seg] = {};
+        }
+        cur = cur[seg];
+    }
+    const leaf = path[path.length - 1];
+    assertSafeSegment(leaf);
+    cur[leaf] = value;
+}
+/** Update mode: top-level keys replace; dot-paths patch nested maps. */
+function updateMerge(existing, payload) {
+    const out = { ...existing };
+    for (const [k, v] of Object.entries(payload)) {
+        if (k.includes('.')) {
+            setNested(out, k.split('.'), v);
+        }
+        else {
+            assertSafeSegment(k);
+            out[k] = v;
+        }
+    }
+    return out;
+}
+/**
+ * Project the after-state of a write. Returns null for `delete`.
+ *
+ * `existing` is the pre-write document state (typically `tc.resource`).
+ * `payload` is the write payload (typically `tc.data`).
+ */
+export function projectAfterState(mode, existing, payload) {
+    switch (mode.kind) {
+        case 'create':
+            return payload;
+        case 'set':
+            return mode.merge ? recursiveMerge(existing ?? {}, payload) : payload;
+        case 'update':
+            return updateMerge(existing ?? {}, payload);
+        case 'delete':
+            return null;
+    }
+}
+//# sourceMappingURL=project-after-state.js.map

package/dist/rules/simulator/project-after-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-after-state.js","sourceRoot":"","sources":["../../../src/rules/simulator/project-after-state.ts"],"names":[],"mappings":"AA2BA;;;;;;;+DAO+D;AAC/D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;AAE3E,SAAS,iBAAiB,CAAC,GAAW;IACpC,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,+BAA+B,GAAG,oCAAoC;YACpE,iEAAiE,CACpE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,SAAS,cAAc,CAAC,QAAkB,EAAE,OAAiB;IAC3D,MAAM,GAAG,GAAa,EAAE,GAAG,QAAQ,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,iBAAiB,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvD,IACE,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACxD,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAC9D,CAAC;YACD,GAAG,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,GAAe,EAAE,CAAa,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;mFAMmF;AACnF,SAAS,SAAS,CAAC,GAAa,EAAE,IAAc,EAAE,KAAc;IAC9D,IAAI,GAAG,GAAa,GAAG,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACvB,uEAAuE;QACvE,0CAA0C;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC;QACD,GAAG,GAAG,GAAG,CAAC,GAAG,CAAa,CAAC;IAC7B,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxB,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;AACpB,CAAC;AAED,wEAAwE;AACxE,SAAS,WAAW,CAAC,QAAkB,EAAE,OAAiB;IACxD,MAAM,GAAG,GAAa,EAAE,GAAG,QAAQ,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,iBAAiB,CAAC,CAAC,CAAC,CAAC;YACrB,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAe,EACf,QAAyB,EACzB,OAAiB;IAEjB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACxE,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,QAAQ,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;QAC9C,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}

package/dist/rules/simulator/query-proof.d.ts

@@ -0,0 +1,80 @@
+/**
+ * RULES-B11 (rules-side) — query-proof evaluation for `list` operations.
+ *
+ * Production Firestore enforces "rules are NOT filters." For a query (`list`),
+ * the engine does not run the rule per-document and silently drop the docs that
+ * fail — it evaluates the rule ONCE against the query itself, and rejects the
+ * WHOLE query unless the rules can PROVE that every document the query could
+ * return is readable. A query the rules can't prove safe is denied outright (a
+ * `permission-denied` error), never silently truncated.
+ *
+ *   docs: https://firebase.google.com/docs/firestore/security/rules-query
+ *   "Rules are not filters … the query must be guaranteed to return only
+ *    documents that the rules allow the client to read. Otherwise the request
+ *    fails — even if the actual result set would have been allowed."
+ *
+ * THIS MODULE is the pure rules-side decision: given a collection's `list`
+ * allow-rule condition and the query's constraints, decide PROVABLE or REJECT.
+ * It is the function the firestore-track listener/read path
+ * (`sandbox/firestore/local-environment.ts:silentReadCollection`) should call
+ * INSTEAD of the current per-doc "rules-as-filters" loop — wiring that lives in
+ * T2's carve-out and is STOP-documented for hand-off (see the round-2 step doc).
+ *
+ * Scope of the proof here (the well-documented, decidable core):
+ *  - A `list` rule that does NOT depend on per-document data
+ *    (`resource.data.*`) — only `request.auth`, `request.query`, constants,
+ *    path variables — is doc-independent: if it evaluates ALLOW, EVERY doc is
+ *    equally allowed, so any query shape is provable.
+ *  - A rule that REQUIRES a per-document predicate (`resource.data.<field> ==
+ *    <const>`, conjoined into the condition) is provable ONLY IF the query
+ *    carries a `where(<field>, <op>, <const>)` constraint that guarantees the
+ *    same predicate. Otherwise the query could return a non-matching doc, so
+ *    prod rejects it — we return `provable: false`.
+ *
+ * Out of scope (documented as conservative REJECT, never a false ALLOW): rules
+ * with disjunctions over doc data, inequality/range proofs, function-inlined
+ * data predicates. When the rule's doc-dependence can't be discharged by a
+ * direct `where` equality match, we reject — the safe direction (prod also
+ * rejects an unprovable query).
+ */
+import type { Expression, FunctionDef } from '../grammar/FirestoreAST.js';
+/** A single `where(field, op, value)` constraint carried by the query. */
+export interface QueryWhereConstraint {
+    field: string;
+    op: string;
+    value: string | number | boolean | null;
+}
+/** The query constraints relevant to the proof. `where` is the load-bearing
+ *  one; limit/offset/orderBy are carried for completeness + future range
+ *  proofs (and already populate `request.query`). */
+export interface QueryConstraints {
+    where?: QueryWhereConstraint[];
+    limit?: number | null;
+    offset?: number | null;
+    orderBy?: string | null;
+}
+export type QueryProofResult = {
+    provable: true;
+    reason: string;
+} | {
+    provable: false;
+    reason: string;
+};
+/**
+ * Decide whether `listCondition` is PROVABLE for every doc the query could
+ * return, given its `constraints`. Pure — no evaluation context, no I/O.
+ *
+ * @param listCondition the `allow list/read` rule's condition AST (already the
+ *   specific list rule; OR-of-rules is the caller's concern — it asks per rule).
+ * @param constraints   the query's where/limit/offset/orderBy.
+ * @param fnMap         user-defined functions, for inlining doc-dependence checks.
+ */
+export declare function evaluateQueryProof(listCondition: Expression, constraints: QueryConstraints, fnMap?: Map<string, FunctionDef>): QueryProofResult;
+/**
+ * True if the expression depends on `resource.data` (the per-document data of
+ * the candidate doc) — directly or via an inlined user function. Mirrors the
+ * shape of `referencesRequestTime` in linter/ast-utils. `request.resource.data`
+ * (the WRITE payload) is NOT per-doc-read data, so it's intentionally excluded.
+ */
+export declare function referencesResourceData(expr: Expression, fnMap?: Map<string, FunctionDef>, visited?: Set<string>): boolean;
+//# sourceMappingURL=query-proof.d.ts.map

package/dist/rules/simulator/query-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-proof.d.ts","sourceRoot":"","sources":["../../../src/rules/simulator/query-proof.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAE1E,0EAA0E;AAC1E,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;CACzC;AAED;;qDAEqD;AACrD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAC/B,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,UAAU,EACzB,WAAW,EAAE,gBAAgB,EAC7B,KAAK,GAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAa,GAC1C,gBAAgB,CA6ClB;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,UAAU,EAChB,KAAK,GAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAa,EAC3C,OAAO,cAAoB,GAC1B,OAAO,CA+BT"}

package/dist/rules/simulator/query-proof.js

@@ -0,0 +1,142 @@
+/**
+ * Decide whether `listCondition` is PROVABLE for every doc the query could
+ * return, given its `constraints`. Pure — no evaluation context, no I/O.
+ *
+ * @param listCondition the `allow list/read` rule's condition AST (already the
+ *   specific list rule; OR-of-rules is the caller's concern — it asks per rule).
+ * @param constraints   the query's where/limit/offset/orderBy.
+ * @param fnMap         user-defined functions, for inlining doc-dependence checks.
+ */
+export function evaluateQueryProof(listCondition, constraints, fnMap = new Map()) {
+    // 1. Doc-independent rule → any query is provable. This is the common
+    //    `allow list: if request.auth != null` / `if true` case.
+    if (!referencesResourceData(listCondition, fnMap)) {
+        return {
+            provable: true,
+            reason: 'list rule does not depend on per-document data; every doc is equally readable',
+        };
+    }
+    // 2. Doc-dependent rule. Extract the per-doc equality predicates the rule
+    //    REQUIRES (top-level `&&` conjuncts of the form `resource.data.F == V`),
+    //    and check each is guaranteed by a matching `where` equality constraint.
+    const required = extractRequiredDataEqualities(listCondition);
+    if (required.length === 0) {
+        // The rule touches resource.data but not via a discharge-able top-level
+        // equality (e.g. inequality, disjunction, function-wrapped). Conservatively
+        // reject — prod also rejects a query it can't prove.
+        return {
+            provable: false,
+            reason: 'list rule depends on per-document data through a predicate the query cannot discharge ' +
+                '(only top-level `resource.data.field == value` conjunctions are provable here) — ' +
+                'prod rejects the whole query rather than filtering',
+        };
+    }
+    const wheres = constraints.where ?? [];
+    const unproven = required.filter(req => !wheres.some(w => w.field === req.field && w.op === '==' && valuesEqual(w.value, req.value)));
+    if (unproven.length > 0) {
+        const list = unproven.map(r => `resource.data.${r.field} == ${JSON.stringify(r.value)}`).join(', ');
+        return {
+            provable: false,
+            reason: `list rule requires [${list}] but the query has no matching where(...) ` +
+                `equality to guarantee it — prod rejects the query ("rules are not filters")`,
+        };
+    }
+    return {
+        provable: true,
+        reason: 'every per-document predicate the rule requires is guaranteed by a query where(...) constraint',
+    };
+}
+/**
+ * True if the expression depends on `resource.data` (the per-document data of
+ * the candidate doc) — directly or via an inlined user function. Mirrors the
+ * shape of `referencesRequestTime` in linter/ast-utils. `request.resource.data`
+ * (the WRITE payload) is NOT per-doc-read data, so it's intentionally excluded.
+ */
+export function referencesResourceData(expr, fnMap = new Map(), visited = new Set()) {
+    const check = (e) => {
+        switch (e.type) {
+            case 'memberAccess':
+                // `resource.data` (the bare `resource` identifier, not `request.resource`).
+                if (e.property === 'data' && e.object.type === 'identifier' && e.object.name === 'resource') {
+                    return true;
+                }
+                return check(e.object);
+            case 'bracketAccess':
+                return check(e.object) || check(e.index);
+            case 'functionCall':
+                if (fnMap.has(e.name) && !visited.has(e.name)) {
+                    visited.add(e.name);
+                    const fn = fnMap.get(e.name);
+                    if (referencesResourceData(fn.body, fnMap, visited))
+                        return true;
+                    if (fn.lets.some(b => referencesResourceData(b.value, fnMap, visited)))
+                        return true;
+                }
+                return e.args.some(check);
+            case 'binaryOp': return check(e.left) || check(e.right);
+            case 'unaryOp': return check(e.operand);
+            case 'methodCall': return check(e.object) || e.args.some(check);
+            case 'ternary': return check(e.condition) || check(e.consequent) || check(e.alternate);
+            case 'inExpr': return check(e.element) || check(e.collection);
+            case 'isExpr': return check(e.value);
+            case 'listLiteral': return e.elements.some(check);
+            case 'mapLiteral': return e.entries.some(en => check(en.key) || check(en.value));
+            default: return false;
+        }
+    };
+    return check(expr);
+}
+/**
+ * Pull out the per-doc EQUALITY predicates the rule requires: top-level `&&`
+ * conjuncts shaped `resource.data.<field> == <literal>` (either operand order).
+ * Only the conjunctive (AND) spine is walked — a disjunction (`||`) anywhere
+ * means the predicate isn't unconditionally required, so we don't extract from
+ * under it (the caller then conservatively rejects).
+ */
+function extractRequiredDataEqualities(expr) {
+    const out = [];
+    const walkAnd = (e) => {
+        if (e.type === 'binaryOp' && e.op === '&&') {
+            walkAnd(e.left);
+            walkAnd(e.right);
+            return;
+        }
+        const eq = asDataEquality(e);
+        if (eq)
+            out.push(eq);
+    };
+    walkAnd(expr);
+    return out;
+}
+/** Match `resource.data.<field> == <literal>` (either operand order) → constraint. */
+function asDataEquality(e) {
+    if (e.type !== 'binaryOp' || e.op !== '==')
+        return null;
+    const fromSide = (data, lit) => {
+        const field = dataFieldPath(data);
+        if (field !== null && lit.type === 'literal') {
+            return { field, op: '==', value: lit.value };
+        }
+        return null;
+    };
+    return fromSide(e.left, e.right) ?? fromSide(e.right, e.left);
+}
+/**
+ * If `e` is a single-segment `resource.data.<field>` access, return `<field>`;
+ * otherwise null. Nested paths (`resource.data.a.b`) aren't dischargeable by a
+ * flat `where('a.b', ...)` equality here, so they return null → reject.
+ */
+function dataFieldPath(e) {
+    if (e.type === 'memberAccess' &&
+        e.object.type === 'memberAccess' &&
+        e.object.property === 'data' &&
+        e.object.object.type === 'identifier' &&
+        e.object.object.name === 'resource') {
+        return e.property;
+    }
+    return null;
+}
+function valuesEqual(a, b) {
+    return a === b;
+}
+//# sourceMappingURL=query-proof.js.map

package/dist/rules/simulator/query-proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-proof.js","sourceRoot":"","sources":["../../../src/rules/simulator/query-proof.ts"],"names":[],"mappings":"AA8DA;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAChC,aAAyB,EACzB,WAA6B,EAC7B,QAAkC,IAAI,GAAG,EAAE;IAE3C,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI,CAAC,sBAAsB,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,+EAA+E;SACxF,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,QAAQ,GAAG,6BAA6B,CAAC,aAAa,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,wEAAwE;QACxE,4EAA4E;QAC5E,qDAAqD;QACrD,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,wFAAwF;gBACxF,mFAAmF;gBACnF,oDAAoD;SACvD,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAC9B,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CACpG,CAAC;IACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpG,OAAO;YACL,QAAQ,EAAE,KAAK;YACf,MAAM,EACJ,uBAAuB,IAAI,6CAA6C;gBACxE,6EAA6E;SAChF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,+FAA+F;KACxG,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAgB,EAChB,QAAkC,IAAI,GAAG,EAAE,EAC3C,UAAU,IAAI,GAAG,EAAU;IAE3B,MAAM,KAAK,GAAG,CAAC,CAAa,EAAW,EAAE;QACvC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,cAAc;gBACjB,4EAA4E;gBAC5E,IAAI,CAAC,CAAC,QAAQ,KAAK,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC5F,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACzB,KAAK,eAAe;gBAClB,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC3C,KAAK,cAAc;gBACjB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACpB,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC;oBAC9B,IAAI,sBAAsB,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC;wBAAE,OAAO,IAAI,CAAC;oBACjE,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;wBAAE,OAAO,IAAI,CAAC;gBACtF,CAAC;gBACD,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,KAAK,UAAU,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACxD,KAAK,SAAS,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACxC,KAAK,YAAY,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChE,KAAK,SAAS,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACvF,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC9D,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACrC,KAAK,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,KAAK,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YACjF,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC;QACxB,CAAC;IACH,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,6BAA6B,CAAC,IAAgB;IACrD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,CAAC,CAAa,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;YAC3C,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sFAAsF;AACtF,SAAS,cAAc,CAAC,CAAa;IACnC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACxD,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAE,GAAe,EAA+B,EAAE;QAClF,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7C,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,CAAa;IAClC,IACE,CAAC,CAAC,IAAI,KAAK,cAAc;QACzB,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAChC,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM;QAC5B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;QACrC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,EACnC,CAAC;QACD,OAAO,CAAC,CAAC,QAAQ,CAAC;IACpB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,CAAU;IACzC,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC"}

package/dist/rules/simulator/value-equality.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Firestore Rules value equality.
+ *
+ * Rules wrappers and FirestoreSet own equality; lists and maps compare
+ * structurally, with map key order ignored.
+ */
+export declare function rulesValuesEqual(a: unknown, b: unknown): boolean;
+//# sourceMappingURL=value-equality.d.ts.map

package/dist/rules/simulator/value-equality.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-equality.d.ts","sourceRoot":"","sources":["../../../src/rules/simulator/value-equality.ts"],"names":[],"mappings":"AAGA;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,OAAO,CAiBhE"}

package/dist/rules/simulator/value-equality.js

@@ -0,0 +1,40 @@
+import { FirestoreSet } from './firestore-set.js';
+import { RulesValue } from './wrappers/base.js';
+/**
+ * Firestore Rules value equality.
+ *
+ * Rules wrappers and FirestoreSet own equality; lists and maps compare
+ * structurally, with map key order ignored.
+ */
+export function rulesValuesEqual(a, b) {
+    if (Object.is(a, b))
+        return true;
+    if (a instanceof RulesValue)
+        return a.equals(b);
+    if (b instanceof RulesValue)
+        return b.equals(a);
+    if (a instanceof FirestoreSet || b instanceof FirestoreSet) {
+        return a instanceof FirestoreSet && a.equals(b);
+    }
+    if (Array.isArray(a) || Array.isArray(b)) {
+        if (!Array.isArray(a) || !Array.isArray(b))
+            return false;
+        if (a.length !== b.length)
+            return false;
+        return a.every((value, index) => rulesValuesEqual(value, b[index]));
+    }
+    if (!isRulesMapValue(a) || !isRulesMapValue(b))
+        return false;
+    const aKeys = Object.keys(a);
+    const bKeys = Object.keys(b);
+    if (aKeys.length !== bKeys.length)
+        return false;
+    return aKeys.every((key) => key in b && rulesValuesEqual(a[key], b[key]));
+}
+function isRulesMapValue(value) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+}
+//# sourceMappingURL=value-equality.js.map

package/dist/rules/simulator/value-equality.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-equality.js","sourceRoot":"","sources":["../../../src/rules/simulator/value-equality.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAU,EAAE,CAAU;IACrD,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,CAAC,YAAY,UAAU;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY,UAAU;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY,YAAY,IAAI,CAAC,YAAY,YAAY,EAAE,CAAC;QAC3D,OAAO,CAAC,YAAY,YAAY,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACxC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC"}