@cad0p/pi-steering 0.1.0

package/dist/evaluator-internals/predicates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicates.js","sourceRoot":"","sources":["../../src/evaluator-internals/predicates.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,uBAAuB;AAEvB;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAYzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAGpD,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,mEAAmE;IACnE,KAAK;IACL,0DAA0D;IAC1D,WAAW;CACuC,CAAC;AAerD,MAAM,oCAAoC,GAAyB,IAAI,CAAC;AACxE,KAAK,oCAAoC,CAAC;AAE1C;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,GAAW;IAEX,OAAQ,uBAA6C,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACtE,CAAC;AAED,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAA6C,EAC7C,IAAY;IAEZ,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;QAClD,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,kEAAkE;QAClE,+DAA+D;QAC/D,qDAAqD;QACrD,IAAI,aAAa,CAAC,GAAG,CAAC;YAAE,SAAS;QACjC,QAAQ,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,iBAAiB,IAAI,iCAAiC;YACpD,+DAA+D;YAC/D,mEAAmE;YACnE,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,sCAAsC;YAClE,6BAA6B,CAChC,CAAC;IACJ,CAAC;IACD,kEAAkE;IAClE,iEAAiE;IACjE,mEAAmE;IACnE,mDAAmD;IACnD,MAAM,QAAQ,GAAI,KAA2B,CAAC,GAAG,CAAC;IAClD,IACE,QAAQ,KAAK,SAAS;QACtB,OAAO,QAAQ,KAAK,QAAQ;QAC5B,QAAQ,KAAK,IAAI,EACjB,CAAC;QACD,sDAAsD;QACtD,gEAAgE;QAChE,+DAA+D;QAC/D,6DAA6D;QAC7D,+DAA+D;QAC/D,gEAAgE;QAChE,6BAA6B;QAC7B,IACE,KAAK,IAAI,QAAQ;YAChB,QAA8B,CAAC,GAAG,KAAK,SAAS,EACjD,CAAC;YACD,MAAM,IAAI,KAAK,CACb,kBAAkB,IAAI,sCAAsC;gBAC1D,6DAA6D;gBAC7D,iEAAiE;gBACjE,gBAAgB,CACnB,CAAC;QACJ,CAAC;QACD,uBAAuB,CACrB,QAAsC,EACtC,GAAG,IAAI,MAAM,CACd,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,WAAW;CAC6C,CAAC;AAc3D,MAAM,0BAA0B,GAAyB,IAAI,CAAC;AAC9D,KAAK,0BAA0B,CAAC;AAEhC,SAAS,aAAa,CAAC,GAAW;IAChC,OAAQ,aAAmC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE9C,SAAS,YAAY,CAAC,MAAc;IAClC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,MAAc;IAC7D,IAAI,OAAO,YAAY,MAAM;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3D,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAA4B,EAC5B,MAAc,EACd,GAAqB;IAErB,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IACrC,GAAG,CAAS;IACrB,YAAY,GAAW;QACrB,KAAK,CACH,8BAA8B,GAAG,eAAe;YAC9C,+CAA+C;YAC/C,mDAAmD,GAAG,IAAI,CAC7D,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,SAAS,WAAW,CAAC,KAAc,EAAE,SAAiB;IACpD,6CAA6C;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,YAAY,MAAM,EAAE,CAAC;QACzD,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC9C,OAAO,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC1C,CAAC;IACD,qDAAqD;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,mCAAmC;QACzE,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,kEAAkE;IAClE,qEAAqE;IACrE,kDAAkD;IAClD,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,SAAS,IAAK,KAAiC,EAC/C,CAAC;QACD,MAAM,GAAG,GAAG,KAA6B,CAAC;QAC1C,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC9C,OAAO,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/D,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC3C,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC9C,OAAO,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,oEAAoE;IACpE,mEAAmE;IACnE,qEAAqE;IACrE,8DAA8D;IAC9D,oEAAoE;IACpE,qEAAqE;IACrE,8DAA8D;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,uDAAuD;IACvD,iEAAiE;IACjE,8DAA8D;IAC9D,qDAAqD;IACrD,+DAA+D;IAC/D,wDAAwD;IACxD,mEAAmE;IACnE,oEAAoE;IACpE,qEAAqE;IACrE,mEAAmE;IACnE,gEAAgE;IAChE,6DAA6D;IAC7D,8CAA8C;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,qEAAqE;IACrE,qEAAqE;IACrE,+DAA+D;IAC/D,qEAAqE;IACrE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,cAAc,CAAC,KAAgB,EAAE,SAAS,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAS,gBAAgB,CACvB,KAAc,EACd,GAAqB,EACrB,QAAgB;IAEhB,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC;QACnB,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,EAChB,CAAC;QACD,MAAM,IAAI,KAAK,CACb,uBAAuB,QAAQ,mBAAmB;YAChD,0IAA0I;YAC1I,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACjC,CAAC;IACJ,CAAC;IACD,MAAM,EACJ,KAAK,EACL,EAAE,EAAE,KAAK,EACT,KAAK,EACL,KAAK,GACN,GAAG,KAKH,CAAC;IACF,kDAAkD;IAClD,4DAA4D;IAC5D,gEAAgE;IAChE,mEAAmE;IACnE,0DAA0D;IAC1D,eAAe;IACf,IAAI,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CACb,uBAAuB,QAAQ,KAAK;YAClC,oEAAoE;YACpE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACjC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,uBAAuB,QAAQ,KAAK;YAClC,mDAAmD;YACnD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACjC,CAAC;IACJ,CAAC;IAED,iEAAiE;IACjE,kEAAkE;IAClE,qEAAqE;IACrE,iCAAiC;IACjC,IAAI,UAAU,GAAkD,IAAI,CAAC;IACrE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IACE,KAAK,KAAK,YAAY;YACtB,KAAK,KAAK,SAAS;YACnB,KAAK,KAAK,WAAW,EACrB,CAAC;YACD,MAAM,IAAI,KAAK,CACb,uBAAuB,QAAQ,KAAK;gBAClC,uEAAuE;gBACvE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACjC,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,uBAAuB,QAAQ,KAAK;gBAClC,2DAA2D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,uDAAuD,CAC1I,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,uBAAuB,QAAQ,KAAK;gBAClC,wBAAwB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,wCAAwC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,6CAA6C,CAC1J,CAAC;QACJ,CAAC;QACD,UAAU,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAEjE,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC7E,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,0DAA0D;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,8DAA8D;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,WAAW,GAAG,yBAAyB,CAC3C,UAAU,EACV,KAAK,EACL,UAAU,EACV,GAAG,CACJ,CAAC;IACF,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,2DAA2D;QAC3D,qDAAqD;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,8DAA8D;IAC9D,4CAA4C;IAC5C,OAAO,WAAW,IAAI,WAAW,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAS,yBAAyB,CAChC,UAAkB,EAClB,KAA6C,EAC7C,UAAyD,EACzD,GAAqB;IAErB,IAAI,MAAM,GAAG,CAAC,QAAQ,CAAC;IAEvB,uDAAuD;IACvD,0DAA0D;IAC1D,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,OAAO,GACX,UAAU,KAAK,IAAI,IAAI,UAAU,KAAK,WAAW;YAC/C,CAAC,CAAC,gBAAgB,CAAC,UAAU,EAAE,GAAG,CAAC;YACnC,CAAC,CAAC,IAAI,CAAC;QACX,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,CAA0B,UAAU,CAAC,EAAE,CAAC;YACzE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC9B,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC;gBAAE,SAAS;YACjD,IAAI,KAAK,CAAC,SAAS,GAAG,MAAM;gBAAE,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC;QACzD,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,mEAAmE;IACnE,sDAAsD;IACtD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACxB,MAAM,WAAW,GAAG,qBAAqB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC3D,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,SAAS,GAAG,MAAM;gBAAE,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC;QACzD,CAAC;IACH,CAAC;IAED,OAAO,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAC5B,GAAqB,EACrB,UAAkB;IAElB,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,QAAQ,CAE5B,CAAC;IACd,OAAO,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED;;;;GAIG;AACH,MAAM,WAAW,GAAG;IAClB,SAAS,EAAE,CAAC;IACZ,UAAU,EAAE,CAAC;IACb,OAAO,EAAE,CAAC;CACF,CAAC;AAEX;;;;;;;GAOG;AACH,SAAS,gBAAgB,CACvB,KAA6C,EAC7C,GAAqB;IAErB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC;IACpB,CAAC;IACD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;IACrB,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,cAAc,CAAC;IAClC,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,CAAC;QAC/C,OAAO,GAAG,KAAK,MAAM,CAAC;IACxB,CAAC,CAAC;AACJ,CAAC;AAeD,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,SAAS,iBAAiB,CAAC,KAAc;IACvC,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,CAAC,CAAC,KAAK,YAAY,MAAM,CAAC;QAC1B,WAAW,IAAK,KAAiC,EACjD,CAAC;QACD,MAAM,CAAC,GAAI,KAAiC,CAAC,SAAS,CAAC;QACvD,OAAO,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IAC3C,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,cAAc,CACrB,OAAyB,EACzB,SAA4B;IAE5B,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,KAAK,OAAO,CAAC;IACxD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,KAAK,UAAU,mBAAmB,CAChC,OAAyB,EACzB,KAAc,EACd,GAAqB,EACrB,QAAgB,EAChB,MAAc,EACd,GAAW;IAEX,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACjC,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC3C,kEAAkE;QAClE,mEAAmE;QACnE,YAAY;QACZ,OAAO,CAAC,IAAI,CACV,uBAAuB,QAAQ,KAAK,MAAM,UAAU,GAAG,oBAAoB;YACzE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,kCAAkC;YAC3D,8DAA8D;YAC9D,qCAAqC,CACxC,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,GAAG,GACP,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5E,OAAO,CAAC,IAAI,CACV,uBAAuB,QAAQ,KAAK,MAAM,UAAU,GAAG,mBAAmB,GAAG,EAAE,CAChF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,SAAS,CAAC,QAAqC;IACtD,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC,CAAC,gBAAgB;QAC/C,IAAI,CAAC,KAAK,SAAS;YAAE,UAAU,GAAG,IAAI,CAAC;IACzC,CAAC;IACD,OAAO,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,KAAK,UAAU,gBAAgB,CAC7B,KAA0C,EAC1C,KAAsB,EACtB,GAAqB,EACrB,UAA4C,EAC5C,QAAgB,EAChB,MAAc;IAEd,+DAA+D;IAC/D,MAAM,cAAc,GACjB,KAAiC,CAAC,SAAS,KAAK,OAAO;QACtD,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO,CAAC;IAEd,oEAAoE;IACpE,gEAAgE;IAChE,+DAA+D;IAC/D,iEAAiE;IACjE,iEAAiE;IACjE,oEAAoE;IACpE,2CAA2C;IAC3C,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,sBAAsB,CAAC,GAAG,CAAC;YAAE,SAAS;QAE1C,sDAAsD;QACtD,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QAED,iEAAiE;QACjE,uDAAuD;QACvD,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QAED,6DAA6D;QAC7D,yDAAyD;QACzD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,KAAoB,CAAC;YAChC,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;YACjC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,GAAG,GACP,GAAG,YAAY,KAAK;oBAClB,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE;oBACtC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClB,OAAO,CAAC,IAAI,CACV,uBAAuB,QAAQ,KAAK,MAAM,iCAAiC;oBACzE,UAAU,GAAG,EAAE,CAClB,CAAC;gBACF,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3B,CAAC;YACD,SAAS;QACX,CAAC;QAED,gEAAgE;QAChE,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAChE,QAAQ,CAAC,IAAI,CACX,MAAM,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CACtE,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAErC,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,qEAAqE;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,kEAAkE;QAClE,mEAAmE;QACnE,OAAO,cAAc,KAAK,OAAO,CAAC;IACpC,CAAC;IACD,gEAAgE;IAChE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAA4C,EAC5C,KAAsB,EACtB,GAAqB,EACrB,UAA4C,EAC5C,QAAgB,EAChB,MAAc;IAEd,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAElC,iEAAiE;QACjE,8DAA8D;QAC9D,4DAA4D;QAC5D,gEAAgE;QAChE,wDAAwD;QACxD,IAAI,aAAa,CAAC,GAAG,CAAC;YAAE,SAAS;QAEjC,mEAAmE;QACnE,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtD,SAAS;QACX,CAAC;QAED,8DAA8D;QAC9D,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,uDAAuD;QACvD,wBAAwB;QACxB,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,KAA4C,CAAC;YAC5D,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CACrC,MAAM,EACN,KAAK,EACL,GAAG,EACH,UAAU,EACV,QAAQ,EACR,MAAM,CACP,CAAC;YACF,IAAI,CAAC,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,4DAA4D;QAC5D,gEAAgE;QAChE,sDAAsD;QACtD,iEAAiE;QACjE,8DAA8D;QAC9D,4DAA4D;QAC5D,kEAAkE;QAClE,iEAAiE;QACjE,yDAAyD;QACzD,+DAA+D;QAC/D,kCAAkC;QAClC,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACxB,MAAM,EAAE,GAAG,KAAoB,CAAC;YAChC,IAAI,OAAyB,CAAC;YAC9B,IAAI,CAAC;gBACH,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACnC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,GAAG,GACP,GAAG,YAAY,KAAK;oBAClB,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,EAAE;oBACtC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAClB,OAAO,CAAC,IAAI,CACV,uBAAuB,QAAQ,KAAK,MAAM,2BAA2B,GAAG,EAAE,CAC3E,CAAC;gBACF,OAAO,GAAG,SAAS,CAAC;YACtB,CAAC;YACD,kEAAkE;YAClE,mEAAmE;YACnE,kEAAkE;YAClE,kDAAkD;YAClD,4DAA4D;YAC5D,yDAAyD;YACzD,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC;gBAAE,OAAO,KAAK,CAAC;YACpD,SAAS;QACX,CAAC;QAED,qEAAqE;QACrE,oEAAoE;QACpE,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,MAAM,mBAAmB,CACvC,OAAO,EACP,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,GAAG,CACJ,CAAC;QACF,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/evaluator-internals/speculative-synthesis.d.ts

@@ -0,0 +1,102 @@
+/**
+ * Unified speculative-entry synthesis for `when.happened`'s tool_call-
+ * scope speculative allow.
+ *
+ * Replaces the pre-PR-5 specialized speculative-allow path (a pair of
+ * helpers on the evaluator that matched observers against prior `&&`
+ * refs on a per-call boolean basis). For every bash command
+ * ref in an unconditionally-`&&`-reachable segment, for every observer
+ * writing an event AND matching the ref via the shared
+ * {@link matchesWatch} contract, we produce a synthetic entry that
+ * later `happened` evaluations merge with real entries via timestamp
+ * ordering.
+ *
+ * Pure function of `(refs, observers)`. The evaluator wires the
+ * output into per-ref `walkerState.events` before running predicates.
+ *
+ * ## Timestamp convention
+ *
+ *   speculativeTimestamp(ref_j) = SPECULATIVE_BASELINE + 1 + j
+ *
+ * where `SPECULATIVE_BASELINE = 2^52` — a literal chosen far above
+ * any epoch-ms timestamp pi writes on real entries (`Date.now()`
+ * returns < 2^48 for any date through ~year 10,890 AD). The speculative
+ * timestamp is thus strictly greater than ANY real entry's timestamp,
+ * regardless of type or scope. So a speculative `sync-done` at ts
+ * `2^52 + 1` beats a real `upstream-failed` at ts `Date.now()` in
+ * the since-invalidator comparison.
+ *
+ * Two properties follow (see the `unification-reconsider` review's
+ * "Timestamp reframing" section for the full walk-through):
+ *
+ *   1. **Strictly newer than every real entry across all types and
+ *      scopes.** The reserved-range literal sidesteps a per-type
+ *      max-plus-one approach — which would fail on a two-writes
+ *      scenario where the since-invalidator's latest real entry is
+ *      newer than the event type's latest real entry. A speculative
+ *      entry newer than ALL real entries is newer than any subset.
+ *
+ *   2. **Relative ordering among multiple speculative writes follows
+ *      AST order.** Ref at index `j` gets `BASELINE + 1 + j`; a later
+ *      ref at `k > j` gets `BASELINE + 1 + k`. So
+ *      `when.happened: { event: X, since: Y }` correctly reads X as
+ *      stale when Y is written later — the two-speculative-writes-
+ *      with-since-invalidator correctness case pinned by the
+ *      `A && B && cr` test in this commit pack.
+ *
+ * ## Safety
+ *
+ * **Chain reachability**: only refs with joiner `&&` in an
+ * unconditionally-reached segment qualify as eligible producers. The
+ * `&&` short-circuit guarantees any later ref that runs saw the
+ * producer complete successfully first.
+ *
+ * **Observer eligibility**: observers must declare
+ * `watch.inputMatches.command`. Any-bash-event observers would grant
+ * allow for every `foo && cr` regardless of what `foo` does. Non-bash
+ * `toolName` watches are rejected early (prior `&&` refs always
+ * originate from bash). Other filter fields are delegated to
+ * {@link matchesWatch} against a synthesized success event — the
+ * single-source-of-truth filter contract gates future new `watch`
+ * fields automatically.
+ *
+ * @internal — not part of the public pi-steering surface.
+ */
+import type { CommandRef } from "@cad0p/unbash-walker";
+import type { Observer } from "../schema.ts";
+/**
+ * Speculative baseline timestamp. All synthetic entries carry
+ * `SPECULATIVE_BASELINE + 1 + astIndex` so they order strictly above
+ * any real entry's `timestamp` (real entries are epoch-ms from
+ * `Date.now()`, well under `2^48` for any realistic date). See the
+ * file-level JSDoc's "Timestamp convention" section for the full
+ * rationale and the acknowledged numerical-convention caveat.
+ *
+ * @internal
+ */
+export declare const SPECULATIVE_BASELINE: number;
+/**
+ * Speculative session entry. Structurally a superset of real entries
+ * (`{ data, timestamp }`) plus a `speculative: true` marker so the
+ * built-in `happened` predicate and plugin filters over
+ * `walkerState.events` can distinguish synthetic writes from real
+ * ones. Default direction (include speculative) matches what
+ * `happened` wants; plugins wanting pure historical semantics filter
+ * with `.filter(e => !e.speculative)`.
+ */
+export interface SyntheticEntry<T = unknown> {
+    readonly data: T;
+    readonly timestamp: number;
+    readonly speculative: true;
+}
+/** Per-ref view: `walkerState.events[customType] → SyntheticEntry[]`. */
+type SyntheticEventsByType = Readonly<Record<string, readonly SyntheticEntry[]>>;
+/** Per-ref output keyed by {@link CommandRef} identity. */
+export type SpeculativeEventsByRef = ReadonlyMap<CommandRef, SyntheticEventsByType>;
+/**
+ * Compute per-ref speculative events. See file-level JSDoc for the
+ * timestamp convention, reachability model, and observer eligibility.
+ */
+export declare function synthesizeSpeculativeEntries(refs: readonly CommandRef[], observers: readonly Observer[]): SpeculativeEventsByRef;
+export {};
+//# sourceMappingURL=speculative-synthesis.d.ts.map

package/dist/evaluator-internals/speculative-synthesis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculative-synthesis.d.ts","sourceRoot":"","sources":["../../src/evaluator-internals/speculative-synthesis.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAGvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE7C;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,QAAU,CAAC;AAE5C;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,GAAG,OAAO;IACzC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;CAC5B;AAED,yEAAyE;AACzE,KAAK,qBAAqB,GAAG,QAAQ,CACnC,MAAM,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC,CAC1C,CAAC;AAEF,2DAA2D;AAC3D,MAAM,MAAM,sBAAsB,GAAG,WAAW,CAC9C,UAAU,EACV,qBAAqB,CACtB,CAAC;AAEF;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,SAAS,UAAU,EAAE,EAC3B,SAAS,EAAE,SAAS,QAAQ,EAAE,GAC7B,sBAAsB,CA8ExB"}

package/dist/evaluator-internals/speculative-synthesis.js

@@ -0,0 +1,101 @@
+// SPDX-License-Identifier: MIT
+// Part of pi-steering.
+import { refToText } from "../internal/ref-text.js";
+import { matchesWatch } from "../internal/watch-matcher.js";
+/**
+ * Speculative baseline timestamp. All synthetic entries carry
+ * `SPECULATIVE_BASELINE + 1 + astIndex` so they order strictly above
+ * any real entry's `timestamp` (real entries are epoch-ms from
+ * `Date.now()`, well under `2^48` for any realistic date). See the
+ * file-level JSDoc's "Timestamp convention" section for the full
+ * rationale and the acknowledged numerical-convention caveat.
+ *
+ * @internal
+ */
+export const SPECULATIVE_BASELINE = 2 ** 52;
+/**
+ * Compute per-ref speculative events. See file-level JSDoc for the
+ * timestamp convention, reachability model, and observer eligibility.
+ */
+export function synthesizeSpeculativeEntries(refs, observers) {
+    const result = new Map();
+    // Reverse index `customType -> observers writing it`, pre-filtered
+    // to eligible observers. Stricter than `matchesWatch` on purpose —
+    // layered on top, not a reimplementation.
+    const observersByWrite = new Map();
+    for (const obs of observers) {
+        const watch = obs.watch;
+        if (!obs.writes || !watch)
+            continue;
+        if (watch.toolName !== undefined && watch.toolName !== "bash")
+            continue;
+        if (watch.inputMatches?.["command"] === undefined)
+            continue;
+        for (const event of obs.writes) {
+            const bucket = observersByWrite.get(event);
+            if (bucket)
+                bucket.push(obs);
+            else
+                observersByWrite.set(event, [obs]);
+        }
+    }
+    // Fast path: no producing observers → every ref gets empty events.
+    if (observersByWrite.size === 0) {
+        for (const ref of refs)
+            result.set(ref, EMPTY_EVENTS);
+        return result;
+    }
+    // Single left-to-right walk. Each ref sees the active `&&`-chain's
+    // speculative events; the switch below carries the joiner semantics.
+    let chainEvents = {};
+    let reachable = true;
+    for (let i = 0; i < refs.length; i++) {
+        const ref = refs[i];
+        result.set(ref, Object.keys(chainEvents).length === 0 ? EMPTY_EVENTS : chainEvents);
+        if (ref.joiner === ";") {
+            chainEvents = {};
+            reachable = true;
+            continue;
+        }
+        if (ref.joiner !== "&&" || !reachable) {
+            chainEvents = {};
+            reachable = false;
+            continue;
+        }
+        // Eligible producer: test every (customType, observer) against
+        // the shared `matchesWatch` with a synthesized success event.
+        // First matching observer per customType wins — a second match
+        // is redundant for `happened`'s presence + latest-timestamp
+        // verdict. Clone the chain before extending: earlier consumer
+        // refs hold frozen references to the old map.
+        const refText = refToText(ref);
+        let next = null;
+        for (const [customType, observersForType] of observersByWrite) {
+            for (const obs of observersForType) {
+                const matched = matchesWatch(obs.watch, {
+                    toolName: "bash",
+                    input: { command: refText },
+                    output: undefined,
+                    exitCode: 0,
+                });
+                if (!matched)
+                    continue;
+                if (next === null)
+                    next = { ...chainEvents };
+                const entry = {
+                    data: {},
+                    timestamp: SPECULATIVE_BASELINE + 1 + i,
+                    speculative: true,
+                };
+                const existing = next[customType];
+                next[customType] = existing ? [...existing, entry] : [entry];
+                break;
+            }
+        }
+        if (next !== null)
+            chainEvents = next;
+    }
+    return result;
+}
+const EMPTY_EVENTS = Object.freeze({});
+//# sourceMappingURL=speculative-synthesis.js.map

package/dist/evaluator-internals/speculative-synthesis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"speculative-synthesis.js","sourceRoot":"","sources":["../../src/evaluator-internals/speculative-synthesis.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,uBAAuB;AAoEvB,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAG5D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAI,EAAE,CAAC;AA4B5C;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAA2B,EAC3B,SAA8B;IAE9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqC,CAAC;IAE5D,mEAAmE;IACnE,mEAAmE;IACnE,0CAA0C;IAC1C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAsB,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,KAAK;YAAE,SAAS;QACpC,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACxE,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC,SAAS,CAAC,KAAK,SAAS;YAAE,SAAS;QAC5D,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;gBACxB,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACtD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,mEAAmE;IACnE,qEAAqE;IACrE,IAAI,WAAW,GAA8C,EAAE,CAAC;IAChE,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,CAAC,GAAG,CACR,GAAG,EACH,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CACnE,CAAC;QAEF,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YACvB,WAAW,GAAG,EAAE,CAAC;YACjB,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACtC,WAAW,GAAG,EAAE,CAAC;YACjB,SAAS,GAAG,KAAK,CAAC;YAClB,SAAS;QACX,CAAC;QAED,+DAA+D;QAC/D,8DAA8D;QAC9D,+DAA+D;QAC/D,4DAA4D;QAC5D,8DAA8D;QAC9D,8CAA8C;QAC9C,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,GAAqD,IAAI,CAAC;QAClE,KAAK,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAC,IAAI,gBAAgB,EAAE,CAAC;YAC9D,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;gBACnC,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE;oBACtC,QAAQ,EAAE,MAAM;oBAChB,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;oBAC3B,MAAM,EAAE,SAAS;oBACjB,QAAQ,EAAE,CAAC;iBACZ,CAAC,CAAC;gBACH,IAAI,CAAC,OAAO;oBAAE,SAAS;gBACvB,IAAI,IAAI,KAAK,IAAI;oBAAE,IAAI,GAAG,EAAE,GAAG,WAAW,EAAE,CAAC;gBAC7C,MAAM,KAAK,GAAmB;oBAC5B,IAAI,EAAE,EAAE;oBACR,SAAS,EAAE,oBAAoB,GAAG,CAAC,GAAG,CAAC;oBACvC,WAAW,EAAE,IAAI;iBAClB,CAAC;gBACF,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;gBAClC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC7D,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,IAAI,KAAK,IAAI;YAAE,WAAW,GAAG,IAAI,CAAC;IACxC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,YAAY,GAA0B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC"}

package/dist/evaluator.d.ts

@@ -0,0 +1,101 @@
+/**
+ * v2 steering evaluator.
+ *
+ * Assembles the per-tool_call pipeline on top of:
+ *
+ *   - `unbash-walker`           — AST parse + command extraction +
+ *                                 wrapper expansion + per-ref walker
+ *                                 state (cwd today; branch/others once
+ *                                 plugins register them).
+ *   - {@link matchesPatternOrFn} / {@link evaluateWhen} — shared
+ *                                 predicate resolution (see
+ *                                 `./evaluator-internals/predicates.ts`).
+ *   - {@link extractOverride}   — inline override-comment detection
+ *                                 ported from v1 (see
+ *                                 `./evaluator-internals/override.ts`).
+ *   - {@link createExecCache} / {@link createFindEntries} — per-call
+ *                                 exec memoization + session-entry
+ *                                 filtering (see
+ *                                 `./evaluator-internals/context.ts`).
+ *
+ * Public surface is deliberately small: {@link buildEvaluator} returns
+ * an {@link EvaluatorRuntime} whose sole method, {@link
+ * EvaluatorRuntime.evaluate}, drives one `tool_call` event through
+ * every applicable rule. Phase 3c wires it into the pi extension's
+ * `tool_call` listener.
+ *
+ * Rule ordering (per ADR "Precedence: first-wins everywhere"):
+ *
+ *   1. `config.rules`       — user's top-level rules, first-match-wins.
+ *   2. `resolved.rules`     — plugin-shipped rules (already deduped /
+ *                              disabled-filtered by the plugin merger).
+ *
+ * First rule that fires AND isn't overridden wins and returns a block.
+ *
+ * Internal shape: each applicable rule is fed to {@link
+ * evaluateCandidate}, the single predicate-chain used for every tool.
+ * Bash rules loop over extracted command refs (one candidate per ref);
+ * write / edit produce exactly one candidate. The per-tool axes of
+ * variation live in the {@link Candidate} input — the body of
+ * `evaluateCandidate` stays tool-agnostic.
+ */
+import type { ExtensionContext, ToolCallEvent, ToolCallEventResult } from "@earendil-works/pi-coding-agent";
+import { type EvaluatorHost } from "./evaluator-internals/context.ts";
+import type { ResolvedPluginState } from "./plugin-merger.ts";
+import type { SteeringConfig } from "./schema.ts";
+/**
+ * Names of trackers the evaluator wires in directly (not via a plugin).
+ * `resolvePlugins` accepts this list as `knownBuiltinTrackers`: plugin
+ * `trackerExtensions` targeting these names are kept (so plugins can
+ * compose modifiers onto them) without emitting an `extension-orphan`
+ * diagnostic.
+ *
+ * All call sites (`buildSessionRuntime`, `loadHarness`,
+ * `loadSteeringConfig`, the `pi-steering list` CLI) import this
+ * constant so a future addition (e.g. an `argv` tracker) lights up
+ * uniformly across production and the test harness.
+ */
+export declare const EVALUATOR_BUILTIN_TRACKERS: readonly ["cwd", "env"];
+/**
+ * Runtime-facing evaluator handle. Phase 3c holds an instance per
+ * session and calls {@link evaluate} from the pi `tool_call`
+ * listener.
+ */
+export interface EvaluatorRuntime {
+    /**
+     * Evaluate a single `tool_call` event against every rule in
+     * `config.rules` + `resolved.rules`. Returns:
+     *   - `{ block: true, reason }` — a rule matched + wasn't overridden.
+     *   - `undefined`               — no rule fires; tool call proceeds.
+     */
+    evaluate(event: ToolCallEvent, ctx: ExtensionContext, agentLoopIndex: number): Promise<ToolCallEventResult | void>;
+}
+/**
+ * Construct an {@link EvaluatorRuntime}.
+ *
+ * Arguments:
+ *   - `config`    — the user-facing {@link SteeringConfig}. Top-level
+ *                    rules and `defaultNoOverride` live here.
+ *   - `resolved`  — merged plugin state from
+ *                    {@link resolvePlugins}. Source of plugin rules,
+ *                    predicate handlers, and the composed tracker
+ *                    registry for the walker.
+ *   - `host`      — narrow surface exposing pi's `exec` + `appendEntry`
+ *                    (typically `pi` itself in production; tests pass
+ *                    a stub). Kept separate from `ExtensionContext`
+ *                    because the ctx shape does not expose these.
+ *
+ * Observers (`config.observers + resolved.observers`, user-first
+ * deduplicated via {@link mergeObserversUserFirst}) are threaded into
+ * {@link prepareBashState} where the walker-level synthesis pass
+ * turns them into per-ref speculative events on
+ * `walkerState.events`. The built-in `when.happened` predicate merges
+ * those with real entries via timestamp ordering. If future versions
+ * add a dynamic-reload path (observers added at runtime), this merged
+ * list must be rebuilt on change — otherwise `when.happened` with
+ * `in: "tool_call"` scope consults a stale observer list. Today
+ * there is no dynamic-reload path.
+ */
+export declare function buildEvaluator(config: SteeringConfig, resolved: ResolvedPluginState, host: EvaluatorHost): EvaluatorRuntime;
+export type { EvaluatorHost } from "./evaluator-internals/context.ts";
+//# sourceMappingURL=evaluator.d.ts.map

package/dist/evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator.d.ts","sourceRoot":"","sources":["../src/evaluator.ts"],"names":[],"mappings":"AAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EACV,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACpB,MAAM,iCAAiC,CAAC;AAgBzC,OAAO,EAKL,KAAK,aAAa,EACnB,MAAM,kCAAkC,CAAC;AAc1C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,KAAK,EAKV,cAAc,EAEf,MAAM,aAAa,CAAC;AAMrB;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,0BAA0B,yBAA0B,CAAC;AAMlE;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;;;OAKG;IACH,QAAQ,CACN,KAAK,EAAE,aAAa,EACpB,GAAG,EAAE,gBAAgB,EACrB,cAAc,EAAE,MAAM,GACrB,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAAC;CACxC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,mBAAmB,EAC7B,IAAI,EAAE,aAAa,GAClB,gBAAgB,CA8GlB;AA4zBD,YAAY,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC"}