@dzhechkov/harness-core 0.4.4 → 0.5.0

package/dist/codex-hooks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codex-hooks.js","sourceRoot":"","sources":["../src/codex-hooks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,gGAAgG;AAChG,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAExC,0FAA0F;AAC1F,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC,qGAAqG;AACrG,MAAM,CAAC,MAAM,eAAe,GAAG,wBAAwB,CAAC;AAaxD,sEAAsE;AACtE,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IAC9C,OAAO;QACL,SAAS;QACT,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC;QACvC,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC;QAC1C,SAAS;QACT,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,mBAAmB,CAAC;QAChD,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,qBAAqB,CAAC;QACpD,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC;QAC1C,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,qBAAqB,CAAC;KACjD,CAAC;AACJ,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,eAAe,CAAC,KAAsB;IACpD,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;AAChF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAsB;IACpD,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAC1B,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,gFAAgF;AAEhF,mGAAmG;AACnG,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,IAAI,IAAI,GAAG,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAgB,EAAE,UAAkB;IACnE,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CACb,4FAA4F,QAAQ,IAAI,UAAU,EAAE,CACrH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;AAC/D,CAAC;AAgBD,wDAAwD;AACxD,MAAM,CAAC,MAAM,mBAAmB,GAA6B;IAC3D,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE;IACnF,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,QAAQ,EAAE;CACpE,CAAC;AAcF;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAgC;IAClE,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC;QACxF,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,KAAK,GAA4B;YACrC,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;SACxE,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,cAAc,CAAC,OAAgC;IAC7D,MAAM,GAAG,GAA8B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAwCD,MAAM,UAAU,sBAAsB,CAAC,IAA0B;IAC/D,OAAO;QACL,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;QACjC,aAAa,EAAE,sBAAsB;QACrC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC9B,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACxC,OAAO;gBACL,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,GAAG,CAAC,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC;gBACzC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChD,CAAC;QACJ,CAAC,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QAC3C,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,CAAC,GAAG,MAA2B,CAAC;QACtC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,SAAS,CAAC;QACnE,OAAO,CAAC,CAAC;IACX,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,MAAM,CAAC,GAAG,KAA+D,CAAC;IAC1E,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACjF,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,QAAuC;IACtF,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACpE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAC9B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAClF,CAAC;AACJ,CAAC;AAgBD;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAwB;IACzD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC7C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAkC,GAAa,CAAC,OAAO,EAAE,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;IAClE,CAAC;IACD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC7G,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,0DAA0D,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,IAAI,EAAE,CAA4B,CAAC,EAAE,CAAC;QACzF,KAAK,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,CAAC;IACD,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,KAAK,OAAO;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACzE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAuB;IAC5D,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AACrF,CAAC;AAgBD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,KAA0B;IAE1B,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC1D,kGAAkG;IAClG,6FAA6F;IAC7F,mCAAmC;IACnC,MAAM,YAAY,GAAsB;QACtC,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,EAAE;QACb,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,sBAAsB;QACrC,QAAQ,EAAE,EAAE;QACZ,OAAO,EAAE;YACP,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;YAClC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;SACvG;KACF,CAAC;IACF,MAAM,IAAI,GAAG,uBAAuB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QACzF,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC;QAC3D,aAAa,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC;QAC3F,WAAW,EAAE,OAAO;KACrB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAkB,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAClF,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE;YACJ,QAAQ;YACR,IAAI,EAAE,sBAAsB,CAAC,QAAQ,CAAC;YACtC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,cAAc,EAAE,IAAI,CAAC,cAAc;SACpC;KACF,CAAC;AACJ,CAAC;AAUD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,WAA+B,EAC/B,QAAuC;IAEvC,MAAM,MAAM,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC1D,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YACpC,IAAI,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACtC,OAAO,IAAI,CAAC,CAAC;gBACb,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,gBAAgB,CAAC,KAAK,CAAC;gBAAE,cAAc,IAAI,CAAC,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAkB,EAAE,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IACtE,OAAO;QACL,EAAE,EAAE,IAAI;QACR,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,sBAAsB,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,CAAC,EAAE,cAAc,EAAE;KAC5G,CAAC;AACJ,CAAC;AAaD,2FAA2F;AAC3F,MAAM,UAAU,cAAc,CAC5B,WAA+B,EAC/B,OAAgC,EAChC,QAAuC;IAEvC,MAAM,MAAM,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAEvE,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAuB,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,IAAI,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACtC,mFAAmF;gBACnF,MAAM,EAAE,GAAG,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC;gBACvG,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,gBAAgB,IAAI,CAAC,CAAC;YACtB,IAAI,gBAAgB,CAAC,KAAK,CAAC;gBAAE,cAAc,IAAI,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QAC/B,UAAU,EAAE,OAAO;QACnB,UAAU,EAAE,OAAO;QACnB,gBAAgB;QAChB,cAAc;QACd,OAAO;KACR,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,iFAAiF;AACjF,gFAAgF;AAEhF,yFAAyF;AACzF,MAAM,UAAU,cAAc,CAAC,KAAqB;IAClD,OAAO,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,oBAAoB,CAAC;AACxE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,YAAoB,EACpB,KAAqB,EACrB,UAAkB,EAClB,SAAiB;IAEjB,OAAO,GAAG,YAAY,IAAI,cAAc,CAAC,KAAK,CAAC,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;AAC/E,CAAC;AAOD,uFAAuF;AACvF,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;AAClE,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,8DAA8D,CAAC;AAC7F,MAAM,CAAC,MAAM,YAAY,GAAG,oCAAoC,CAAC;AAEjE;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAA6B;IAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI;SACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;SAC3F,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,GAAG,cAAc,KAAK,IAAI,KAAK,YAAY,IAAI,CAAC;AACzD,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,IAA6B;IAChF,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC7C,IAAI,KAAK,IAAI,CAAC,IAAI,GAAG,GAAG,KAAK,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7E,OAAO,GAAG,MAAM,GAAG,KAAK,GAAG,KAAK,EAAE,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,KAAK,EAAE,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,CAAC;IAC7F,OAAO,GAAG,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,EAAE,CAAC;AACrD,CAAC;AAcD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAuC,EACvC,OAAgC;IAEhC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAU,CAAC,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAuD,EAAE,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACtF,IAAI,EAAE,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/discrimination-gate.d.ts

@@ -1,7 +1,36 @@
 /** The outcome of running one property test in the base (pre-feature) worktree. */
-export type BaseOutcome = 'pass' | 'fail' | 'error';
-/** Per-property verdict after classification. */
-export type DiscriminationVerdict = 'DISCRIMINATES' | 'DISCRIMINATES_VIA_ERROR' | 'NON_DISCRIMINATING' | 'CANNOT_ISOLATE';
+export type BaseOutcome = 'pass' | 'fail' | 'error' | 'absent';
+/** The outcome of the TIP control run — the same test against the LIVE tree (feature present). */
+export type TipOutcome = 'pass' | 'fail' | 'error';
+/** Per-property verdict after classification. Seven values (ADR-001) — the pre-epoch four collapsed
+ *  absence, both-rev breakage, and a tip-red test into `DISCRIMINATES_VIA_ERROR`'s near-pass. */
+export type DiscriminationVerdict = 'DISCRIMINATES' | 'DISCRIMINATES_VIA_ERROR' | 'NON_DISCRIMINATING' | 'CANNOT_ISOLATE' | 'TEST_FILE_ABSENT' | 'LOAD_ERROR_AT_BOTH_REVS' | 'FAILS_AT_TIP';
+/** Runner identity for the evidence model. ADR-001's spelling is normative for the PUBLISHED type;
+ *  mutation-gate's internal `RunnerKind` says `'unknown'` and is mapped here (H2) rather than renamed —
+ *  mutation-gate stays untouched beyond the `detectRunnerKind` extraction. */
+export type EvidenceRunner = 'vitest' | 'node-test' | 'unrecognised';
+/** How the run went, as read off the output shape (mutation-gate's `RunFailureClassification.kind`
+ *  plus `'none'` for a green run — `classifyRunFailure` classifies RED runs only, H3). */
+export type EvidenceFailureKind = 'assertions' | 'file-load' | 'none' | 'unrecognised';
+/** RECOGNIZED PROCESS-OUTPUT EVIDENCE for one run. Present in TYPE optionally (old callers still
+ *  compile) but required in EFFECT for every trust verdict — that asymmetry IS the ADR-001 fix. */
+export interface ExecutionEvidence {
+    /** null = timeout / spawn failure. No evidence bar accepts null ⇒ reason 'timeout'. */
+    readonly exitCode: number | null;
+    readonly runner: EvidenceRunner;
+    readonly failureKind: EvidenceFailureKind;
+    /** parsed from the runner's own summary; null = unparseable (never assumed to be ≥ 1). */
+    readonly testsExecuted: number | null;
+    /** target identity: the named test file appears in the recognized output. */
+    readonly targetSeen: boolean;
+    /** the classifier's evidence string when it has one (quotable in 08_qe_report.md, K7). */
+    readonly evidenceLine?: string;
+}
+/** Why a row degraded to CANNOT_ISOLATE. Typed so the operator repair is machine-derivable — the
+ *  pre-epoch gate had one untyped bucket that read like "meh, no test", hiding a broken instrument. */
+export type CannotIsolateReason = 'no-execution-evidence' | 'unrecognised-runner-output' | 'no-tests-executed' | 'inconsistent-evidence' | 'tip-control-missing' | 'tip-evidence-missing' | 'timeout';
+export declare const DISCRIMINATION_VERDICTS: readonly DiscriminationVerdict[];
+export declare const CANNOT_ISOLATE_REASONS: readonly CannotIsolateReason[];
 /** A property test mapped from the ADR Confirmation `Required automated check`. */
 export interface PropertyTestRef {
     /** repo-relative path to the NEW test file written for the feature. */
@@ -9,6 +38,15 @@ export interface PropertyTestRef {
     /** optional test-name filter (e.g. vitest `-t`) to run just the property case. */
     readonly name?: string;
 }
+/** One observed row fed back by the executor. */
+export interface ClassifyResultRow {
+    readonly file: string;
+    readonly name?: string;
+    readonly outcome: BaseOutcome;
+    readonly evidence?: ExecutionEvidence;
+    readonly tipOutcome?: TipOutcome;
+    readonly tipEvidence?: ExecutionEvidence;
+}
 export interface DiscriminationPlanInput {
     /** the git ref of pre-feature HEAD — the "base" the property test must fail against. */
     readonly baseRef: string;
@@ -42,29 +80,43 @@ export interface DiscriminationPlan {
 export interface ClassifyInput {
     readonly propertyTests: readonly PropertyTestRef[];
     /** observed base outcome per target file (+optional name), same identity the plan used. */
-    readonly results: readonly {
-        readonly file: string;
-        readonly name?: string;
-        readonly outcome: BaseOutcome;
-    }[];
+    readonly results: readonly ClassifyResultRow[];
 }
 export interface PerTestVerdict {
     readonly file: string;
     readonly name?: string;
     readonly verdict: DiscriminationVerdict;
+    /** present iff verdict === 'CANNOT_ISOLATE'. */
+    readonly reason?: CannotIsolateReason;
 }
 export interface DiscriminationFinding {
-    /** high only for a proven false green; the rest are advisory. Never a hard blocker (owner decides). */
+    /** high for every unestablished/false-green state; info only for the VIA_ERROR inference.
+     *  Never a hard blocker (dz's rule — a false gate kills trust; the owner decides). */
     readonly severity: 'high' | 'info';
+    /** which non-clean verdict this finding reports. */
+    readonly verdict: DiscriminationVerdict;
+    /** the targets carrying that verdict. */
+    readonly files: readonly string[];
     readonly title: string;
+    /** names THIS verdict's operator action, so nothing rides on the primaryAction tie-break. */
     readonly detail: string;
 }
+/** The INSTRUMENT axis, orthogonal to the product axis a single scalar was forced to carry. */
+export type MeasurementValid = boolean | 'partial';
+/** The single most urgent operator repair, derived from the worst-ranked verdict present. */
+export type PrimaryAction = 'none' | 'strengthen-test' | 'create-missing-test' | 'fix-runner-invocation' | 'fix-red-feature-test' | 'map-a-test';
 export interface DiscriminationResult {
     readonly perTest: readonly PerTestVerdict[];
-    /** the gate's overall verdict (worst case across targets). */
+    /** compat scalar: worst-of via RANK. A total order can only answer "worst thing present" —
+     *  everything it destroys travels in findings[] / measurementValid / primaryAction. */
     readonly aggregate: DiscriminationVerdict;
-    /** the Step-8 finding to fold into 08_qe_report.md — null when everything discriminates cleanly. */
+    /** @deprecated compat alias for ONE release — always `findings[0] ?? null` (worst first).
+     *  Removal in the next minor is a recorded release obligation (ADR-002 Decision item 6). */
     readonly finding: DiscriminationFinding | null;
+    /** one per distinct non-clean verdict present, worst-first. */
+    readonly findings: readonly DiscriminationFinding[];
+    readonly measurementValid: MeasurementValid;
+    readonly primaryAction: PrimaryAction;
 }
 /**
  * Plan the discrimination check. Pure: validates inputs, drops unsafe refs (never silently), and emits the
@@ -72,10 +124,31 @@ export interface DiscriminationResult {
  */
 export declare function planDiscriminationCheck(input: DiscriminationPlanInput): DiscriminationPlan;
 /**
- * Classify observed base outcomes into per-test and aggregate verdicts + a Step-8 finding. A green-at-base
- * property test is the load-bearing failure this gate exists to catch: it is surfaced as a HIGH finding but
- * NEVER auto-aborts (dz's rule — a false gate kills trust; the owner decides). CANNOT_ISOLATE folds into the
- * existing "property untested" finding rather than minting a new severity concept.
+ * Classify ONE captured run into RECOGNIZED PROCESS-OUTPUT EVIDENCE. This is the function the
+ * pre-epoch gate did not have: it answers "did a runner I can read demonstrably execute THIS file?"
+ * instead of trusting the caller's outcome word. Three branches, exactly as ADR-001 specifies:
+ *
+ *   exitCode === null  the run timed out or never spawned — nothing is known. No bar accepts it,
+ *                      so the row degrades to CANNOT_ISOLATE reason 'timeout' (same posture as
+ *                      mutation-gate.ts:549 — a hung runner is a loud non-answer, never a pass).
+ *   exitCode === 0     green: runner from the output SHAPE, failureKind 'none', testsExecuted from
+ *                      the green summary.
+ *   exitCode !== 0     red: delegate to classifyRunFailure — the SAME classifier that replaced
+ *                      mutation-gate's ad-hoc regexes, so load-vs-assert is decided once per repo.
+ *
+ * `targetSeen` is a plain substring test over the SGR-stripped output: the bar is target IDENTITY
+ * ("the output names the file we asked about"), not authorship. No resistance to an output-imitating
+ * runner is claimed (ADR-001 Consequences, hole b) — the honest, narrowed contract.
+ */
+export declare function classifyExecutionEvidence(rawOutput: string, exitCode: number | null, targetFile: string): ExecutionEvidence;
+/**
+ * Classify observed base outcomes (+ evidence + the tip control) into per-test verdicts, the compat
+ * aggregate, the full findings[] list, and the two orthogonal axes.
+ *
+ * Every constituent is evidence-gated FIRST; verdict combination is consulted only over EVIDENCED
+ * constituents. Old callers that pass bare outcome values (no evidence, no tipOutcome) therefore
+ * degrade to a loud CANNOT_ISOLATE — never to a near-pass and never to a false DISCRIMINATES. That
+ * runtime behavior change for compiling callers is the ADR-002 headline, not a side effect.
  */
 export declare function classifyDiscrimination(input: ClassifyInput): DiscriminationResult;
 //# sourceMappingURL=discrimination-gate.d.ts.map

package/dist/discrimination-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discrimination-gate.d.ts","sourceRoot":"","sources":["../src/discrimination-gate.ts"],"names":[],"mappings":"AAcA,mFAAmF;AACnF,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,MAAM,GACN,OAAO,CAAC;AAEZ,iDAAiD;AACjD,MAAM,MAAM,qBAAqB,GAC7B,eAAe,GACf,yBAAyB,GACzB,oBAAoB,GACpB,gBAAgB,CAAC;AAErB,mFAAmF;AACnF,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kFAAkF;IAClF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,uBAAuB;IACtC,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iFAAiF;IACjF,QAAQ,CAAC,aAAa,EAAE,SAAS,eAAe,EAAE,CAAC;IACnD,yEAAyE;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uCAAuC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,8FAA8F;IAC9F,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjF;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,SAAS,eAAe,EAAE,CAAC;IACnD,2FAA2F;IAC3F,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;KAAE,EAAE,CAAC;CAC/G;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC;CACzC;AAED,MAAM,WAAW,qBAAqB;IACpC,uGAAuG;IACvG,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C,oGAAoG;IACpG,QAAQ,CAAC,OAAO,EAAE,qBAAqB,GAAG,IAAI,CAAC;CAChD;AAsBD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,uBAAuB,GAAG,kBAAkB,CA0C1F;AAiBD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,aAAa,GAAG,oBAAoB,CAyDjF"}
+{"version":3,"file":"discrimination-gate.d.ts","sourceRoot":"","sources":["../src/discrimination-gate.ts"],"names":[],"mappings":"AA6BA,mFAAmF;AACnF,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,MAAM,GACN,OAAO,GACP,QAAQ,CAAC;AAEb,kGAAkG;AAClG,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEnD;iGACiG;AACjG,MAAM,MAAM,qBAAqB,GAC7B,eAAe,GACf,yBAAyB,GACzB,oBAAoB,GACpB,gBAAgB,GAChB,kBAAkB,GAClB,yBAAyB,GACzB,cAAc,CAAC;AAEnB;;8EAE8E;AAC9E,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,WAAW,GAAG,cAAc,CAAC;AAErE;0FAC0F;AAC1F,MAAM,MAAM,mBAAmB,GAAG,YAAY,GAAG,WAAW,GAAG,MAAM,GAAG,cAAc,CAAC;AAEvF;mGACmG;AACnG,MAAM,WAAW,iBAAiB;IAChC,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC;IAC1C,0FAA0F;IAC1F,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,6EAA6E;IAC7E,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED;uGACuG;AACvG,MAAM,MAAM,mBAAmB,GAC3B,uBAAuB,GACvB,4BAA4B,GAC5B,mBAAmB,GACnB,uBAAuB,GACvB,qBAAqB,GACrB,sBAAsB,GACtB,SAAS,CAAC;AAwBd,eAAO,MAAM,uBAAuB,EAA8C,SAAS,qBAAqB,EAAE,CAAC;AAYnH,eAAO,MAAM,sBAAsB,EAA6C,SAAS,mBAAmB,EAAE,CAAC;AAE/G,mFAAmF;AACnF,MAAM,WAAW,eAAe;IAC9B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kFAAkF;IAClF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,iDAAiD;AACjD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;CAC1C;AAED,MAAM,WAAW,uBAAuB;IACtC,wFAAwF;IACxF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iFAAiF;IACjF,QAAQ,CAAC,aAAa,EAAE,SAAS,eAAe,EAAE,CAAC;IACnD,yEAAyE;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uCAAuC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;IAC7C,8FAA8F;IAC9F,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjF;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,SAAS,eAAe,EAAE,CAAC;IACnD,2FAA2F;IAC3F,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAChD;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC;IACxC,gDAAgD;IAChD,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC;CACvC;AAED,MAAM,WAAW,qBAAqB;IACpC;0FACsF;IACtF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC;IACxC,yCAAyC;IACzC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6FAA6F;IAC7F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,+FAA+F;AAC/F,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,SAAS,CAAC;AAEnD,6FAA6F;AAC7F,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,iBAAiB,GACjB,qBAAqB,GACrB,uBAAuB,GACvB,sBAAsB,GACtB,YAAY,CAAC;AAEjB,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C;2FACuF;IACvF,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;IAC1C;gGAC4F;IAC5F,QAAQ,CAAC,OAAO,EAAE,qBAAqB,GAAG,IAAI,CAAC;IAC/C,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACpD,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAsBD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,uBAAuB,GAAG,kBAAkB,CA0C1F;AAsCD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,MAAM,GACjB,iBAAiB,CA2BnB;AAkLD;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,aAAa,GAAG,oBAAoB,CA2EjF"}

package/dist/discrimination-gate.js

@@ -1,3 +1,16 @@
+// EPOCH: before the wave1-instrument-repair release, DISCRIMINATES_VIA_ERROR could mask absent files,
+// both-rev load errors, and tip-red tests, and DISCRIMINATES could be minted without execution evidence;
+// the 47 pre-epoch reports under features/ are historical and are not relabeled.
+//
+// Read that sentence as a dating stamp on every §42 verdict this repo has ever recorded. The pre-epoch
+// gate classified an OUTCOME VALUE ('fail' ⇒ DISCRIMINATES) with no proof that a runner ever executed
+// the named test: MEASURED pre-fix, `dz discrimination-check --test <a real test> --runner false --base
+// HEAD --json` returned `"aggregate": "DISCRIMINATES"` (features/wave1-instrument-repair/07_code_changes/
+// acid-red-runs.md, acid A6), and a file that never existed returned `DISCRIMINATES_VIA_ERROR` (acid A1).
+// This module now gates every trust verdict on RECOGNIZED PROCESS-OUTPUT EVIDENCE (ADR-001): the runner's
+// output must match a measured shape AND name the target. Scope honesty: that bar is "a recognized runner
+// demonstrably executed the named test", NOT resistance to an output-imitating runner.
+//
 // §42 test-discrimination gate for feature-adr Step-8.
 //
 // Grounded in cve-bench/scripts/evaluate.mjs (RuvNet), whose §42 loop proves a regression test actually
@@ -11,6 +24,41 @@
 // sandboxed workflow), which feeds the observed per-target outcome back into `classifyDiscrimination`. Same
 // pure-engine + injected-data shape as challenge-panel.ts and routing-outcomes.ts, so it is deterministic and
 // unit-testable without a git repo or a test runner.
+import { classifyRunFailure, countFailingTests, detectRunnerKind } from './mutation-gate.js';
+/**
+ * The CLOSED verdict vocabulary, as DATA (QE F6).
+ *
+ * Derived from an exhaustive `Record<DiscriminationVerdict, true>`, so the exactness is enforced by
+ * `tsc` at BUILD time in both directions: adding a union member fails with "Property '<new>' is
+ * missing", removing one fails with "does not exist in type". A runtime sweep can only show which
+ * values are REACHABLE — it can never see an eighth value that nothing happens to construct, which
+ * is exactly the hole the ADR-002 Confirmation-1 gate had. This list closes it and is exported so
+ * the release gate can compare "declared" against "reachable" instead of a hand-written literal.
+ *
+ * (The test directory is excluded from this package's tsconfig, so a `satisfies` written in a test
+ * file would never be compiled. The guard has to live here to be real.)
+ */
+const DISCRIMINATION_VERDICT_SET = {
+    DISCRIMINATES: true,
+    DISCRIMINATES_VIA_ERROR: true,
+    NON_DISCRIMINATING: true,
+    CANNOT_ISOLATE: true,
+    TEST_FILE_ABSENT: true,
+    LOAD_ERROR_AT_BOTH_REVS: true,
+    FAILS_AT_TIP: true,
+};
+export const DISCRIMINATION_VERDICTS = Object.keys(DISCRIMINATION_VERDICT_SET);
+/** The closed degradation vocabulary, same exhaustive-record discipline. */
+const CANNOT_ISOLATE_REASON_SET = {
+    'no-execution-evidence': true,
+    'unrecognised-runner-output': true,
+    'no-tests-executed': true,
+    'inconsistent-evidence': true,
+    'tip-control-missing': true,
+    'tip-evidence-missing': true,
+    timeout: true,
+};
+export const CANNOT_ISOLATE_REASONS = Object.keys(CANNOT_ISOLATE_REASON_SET);
 /** git-ref-safe characters only; rejects shell metacharacters and traversal that would break out of a token. */
 const SAFE_REF = /^[A-Za-z0-9_][A-Za-z0-9_./~^@{}-]{0,199}$/;
 /**
@@ -82,83 +130,327 @@ export function planDiscriminationCheck(input) {
     commands.push(`git worktree remove --force {{WORKTREE}}`);
     return { runnable: true, baseRef, targets, rejected, commands };
 }
-function verdictFor(outcome) {
-    if (outcome === 'fail')
-        return 'DISCRIMINATES';
-    if (outcome === 'error')
-        return 'DISCRIMINATES_VIA_ERROR';
-    if (outcome === 'pass')
-        return 'NON_DISCRIMINATING';
-    return 'CANNOT_ISOLATE'; // no observed result for this target
+// ── Evidence production (ADR-001's root-disease fix) ─────────────────────────────────────────
+/** ANSI SGR sequences. vitest colours its summary even when piped (MEASURED), which would hide the
+ *  target path and the green summary from every check below. Terminal encoding, not a runner shape —
+ *  the runner-shape regex family stays single-sourced in mutation-gate.ts (ADR-001 driver). */
+// eslint-disable-next-line no-control-regex
+const SGR = /\x1b\[[0-9;]*m/g;
+/**
+ * Tests EXECUTED in a GREEN run, from the runner's own summary. The green counterpart of
+ * mutation-gate's `countFailingTests`: `classifyRunFailure` classifies RED runs only (its green
+ * branch returns a red-worded `'unrecognised'`, mutation-gate.ts:404-411), so the ADR's pass bar
+ * — "≥ 1 test actually executed" — cannot be answered by delegating a green run to it (H3).
+ * Returns null when nothing parses; null NEVER counts as ≥ 1 (a `--passWithNoTests` / `--runner true`
+ * green is not an established false green — misdiagnosing it sends the operator to strengthen a test
+ * when the RUNNER is broken).
+ */
+function countExecutedTests(rawOutput) {
+    const output = rawOutput.replace(SGR, '');
+    // node --test / TAP: `# pass N` is authoritative; `# tests N` is the total when pass is absent.
+    const tapPass = /^#\s*pass\s+(\d+)\s*$/m.exec(output);
+    if (tapPass && tapPass[1] !== undefined)
+        return Number(tapPass[1]);
+    const tapTests = /^#\s*tests\s+(\d+)\s*$/m.exec(output);
+    if (tapTests && tapTests[1] !== undefined)
+        return Number(tapTests[1]);
+    // vitest: the `Tests` line, NOT `Test Files` (a file count under-reports the executed tests).
+    const vitest = /^\s*Tests\s+[^|\n]*?(\d+)\s+passed/m.exec(output);
+    if (vitest && vitest[1] !== undefined)
+        return Number(vitest[1]);
+    return null;
+}
+/** mutation-gate's internal `'unknown'` is the PUBLISHED `'unrecognised'` here (H2). */
+function toEvidenceRunner(kind) {
+    return kind === 'unknown' ? 'unrecognised' : kind;
+}
+/**
+ * Classify ONE captured run into RECOGNIZED PROCESS-OUTPUT EVIDENCE. This is the function the
+ * pre-epoch gate did not have: it answers "did a runner I can read demonstrably execute THIS file?"
+ * instead of trusting the caller's outcome word. Three branches, exactly as ADR-001 specifies:
+ *
+ *   exitCode === null  the run timed out or never spawned — nothing is known. No bar accepts it,
+ *                      so the row degrades to CANNOT_ISOLATE reason 'timeout' (same posture as
+ *                      mutation-gate.ts:549 — a hung runner is a loud non-answer, never a pass).
+ *   exitCode === 0     green: runner from the output SHAPE, failureKind 'none', testsExecuted from
+ *                      the green summary.
+ *   exitCode !== 0     red: delegate to classifyRunFailure — the SAME classifier that replaced
+ *                      mutation-gate's ad-hoc regexes, so load-vs-assert is decided once per repo.
+ *
+ * `targetSeen` is a plain substring test over the SGR-stripped output: the bar is target IDENTITY
+ * ("the output names the file we asked about"), not authorship. No resistance to an output-imitating
+ * runner is claimed (ADR-001 Consequences, hole b) — the honest, narrowed contract.
+ */
+export function classifyExecutionEvidence(rawOutput, exitCode, targetFile) {
+    if (exitCode === null) {
+        return { exitCode: null, runner: 'unrecognised', failureKind: 'unrecognised', testsExecuted: null, targetSeen: false };
+    }
+    const raw = typeof rawOutput === 'string' ? rawOutput : '';
+    const targetSeen = typeof targetFile === 'string' && targetFile.length > 0 && raw.replace(SGR, '').includes(targetFile);
+    if (exitCode === 0) {
+        return {
+            exitCode,
+            runner: toEvidenceRunner(detectRunnerKind(raw)),
+            failureKind: 'none',
+            testsExecuted: countExecutedTests(raw),
+            targetSeen,
+        };
+    }
+    const red = classifyRunFailure(raw);
+    const base = {
+        exitCode,
+        runner: toEvidenceRunner(red.runner),
+        failureKind: red.kind,
+        testsExecuted: countFailingTests(raw),
+        targetSeen,
+    };
+    // exactOptionalPropertyTypes: an absent evidence line is OMITTED, never set to undefined.
+    return red.evidence !== undefined ? { ...base, evidenceLine: red.evidence } : base;
+}
+const EVIDENCED = { evidenced: true };
+function degraded(reason) {
+    return { evidenced: false, reason };
+}
+/**
+ * Is this observation EVIDENCED? Applied to the base observation and (independently) to the tip
+ * control, BEFORE any verdict combination — uniform precedence, uniquely implementable: no verdict,
+ * trust OR alarm, fires from an unevidenced runner constituent.
+ *
+ * PARSE-NEVER-SYNTHESIZE: an outcome value CONTRADICTED by its own evidence (`fail` + `file-load`,
+ * `error` + `assertions`, `pass` + a non-zero exit, and — symmetrically — any RED outcome with
+ * exit 0) is REJECTED as 'inconsistent-evidence' and never
+ * reinterpreted to the evidence-implied outcome. Guessing which half to trust would re-open exactly
+ * the value-trusting hole this rewrite closes — a caller whose value and observation disagree is a
+ * broken executor, and a broken executor is a non-answer.
+ */
+function gateObservation(outcome, evidence) {
+    if (!evidence || typeof evidence !== 'object')
+        return degraded('no-execution-evidence');
+    if (evidence.exitCode === null)
+        return degraded('timeout');
+    if (evidence.runner === 'unrecognised')
+        return degraded('unrecognised-runner-output');
+    if (outcome === 'pass') {
+        if (evidence.exitCode !== 0)
+            return degraded('inconsistent-evidence');
+        if (evidence.failureKind !== 'none')
+            return degraded('inconsistent-evidence');
+        // null testsExecuted is NOT ≥ 1: an unparseable summary proves no test ran (driver 3).
+        if (evidence.testsExecuted === null || evidence.testsExecuted < 1)
+            return degraded('no-tests-executed');
+        if (!evidence.targetSeen)
+            return degraded('no-execution-evidence');
+        return EVIDENCED;
+    }
+    if (outcome === 'fail') {
+        // QE F1: a RED outcome with exit 0 is an inconsistent tuple, symmetrically with `pass` + a
+        // non-zero exit. The exit code is the runner's own primary verdict; a caller reporting "it
+        // failed" over a process that exited SUCCESSFULLY is a broken executor, and accepting it let a
+        // fabricated evidence object mint DISCRIMINATES (MEASURED: `{outcome:'fail', evidence:
+        // {exitCode:0, runner:'vitest', failureKind:'assertions', testsExecuted:1, targetSeen:true}}`
+        // returned aggregate DISCRIMINATES, measurementValid true).
+        if (evidence.exitCode === 0)
+            return degraded('inconsistent-evidence');
+        if (evidence.failureKind === 'file-load' || evidence.failureKind === 'none')
+            return degraded('inconsistent-evidence');
+        // a RECOGNIZED runner whose red output carries no classifiable failure: the redness has no
+        // readable source, so it is the same non-answer as an unreadable runner.
+        if (evidence.failureKind === 'unrecognised')
+            return degraded('unrecognised-runner-output');
+        if (!evidence.targetSeen)
+            return degraded('no-execution-evidence');
+        return EVIDENCED;
+    }
+    // outcome === 'error' — the bar is recognized FILE-LOAD redness. targetSeen is not required: a
+    // module that dies at import can legitimately be reported by the importing suite's name.
+    // QE F1: same exit-code symmetry as the fail branch — a run that exited 0 did not error.
+    if (evidence.exitCode === 0)
+        return degraded('inconsistent-evidence');
+    if (evidence.failureKind === 'assertions' || evidence.failureKind === 'none')
+        return degraded('inconsistent-evidence');
+    if (evidence.failureKind === 'unrecognised')
+        return degraded('unrecognised-runner-output');
+    return EVIDENCED;
+}
+function cannotIsolate(reason) {
+    return { verdict: 'CANNOT_ISOLATE', reason };
 }
-/** Severity rank for aggregation — a proven false green is the worst outcome the gate reports. */
+/**
+ * One row → one verdict. Reading order IS the matrix's precedence: absence (layer-1 stat, the one
+ * principled evidence exemption — no runner ran, so none is applicable), then the base gate, then
+ * — only for an EVIDENCED base error — the tip control.
+ *
+ * The tip is consulted ONLY under an evidenced base error. Without a classified tip redness,
+ * LOAD_ERROR_AT_BOTH_REVS and FAILS_AT_TIP cannot be told apart, so claiming either would synthesize.
+ */
+function classifyRow(row) {
+    if (row === undefined)
+        return cannotIsolate('no-execution-evidence');
+    if (row.outcome === 'absent')
+        return { verdict: 'TEST_FILE_ABSENT' };
+    const baseGate = gateObservation(row.outcome, row.evidence);
+    if (!baseGate.evidenced)
+        return cannotIsolate(baseGate.reason);
+    if (row.outcome === 'fail')
+        return { verdict: 'DISCRIMINATES' };
+    if (row.outcome === 'pass')
+        return { verdict: 'NON_DISCRIMINATING' };
+    // EVIDENCED base error — the only cell where the tip control decides.
+    if (row.tipOutcome === undefined)
+        return cannotIsolate('tip-control-missing');
+    const tipGate = gateObservation(row.tipOutcome, row.tipEvidence);
+    if (!tipGate.evidenced) {
+        // a tip that TIMED OUT is named as such; every other unevidenced tip is 'tip-evidence-missing'.
+        return cannotIsolate(tipGate.reason === 'timeout' ? 'timeout' : 'tip-evidence-missing');
+    }
+    if (row.tipOutcome === 'pass')
+        return { verdict: 'DISCRIMINATES_VIA_ERROR' };
+    if (row.tipOutcome === 'error')
+        return { verdict: 'LOAD_ERROR_AT_BOTH_REVS' };
+    return { verdict: 'FAILS_AT_TIP' };
+}
+/**
+ * Severity rank for the compat aggregate. The unestablished band's ordering (5 > 4 > 3 > 2) is
+ * unchanged from the original decision: absence of the instrument's subject (a broken promise —
+ * the historically exploited channel) outranks an active misconfiguration, which outranks positive
+ * evidence of a currently-red named check, which outranks mere absence of an observation.
+ */
 const RANK = {
-    NON_DISCRIMINATING: 3,
+    NON_DISCRIMINATING: 6,
+    TEST_FILE_ABSENT: 5,
+    LOAD_ERROR_AT_BOTH_REVS: 4,
+    FAILS_AT_TIP: 3,
     CANNOT_ISOLATE: 2,
     DISCRIMINATES_VIA_ERROR: 1,
     DISCRIMINATES: 0,
 };
+/** Verdicts that mean the instrument MEASURED (even when the news is bad). */
+const ESTABLISHED = ['DISCRIMINATES', 'DISCRIMINATES_VIA_ERROR', 'NON_DISCRIMINATING'];
+const SEVERITY_OF = {
+    NON_DISCRIMINATING: 'high',
+    TEST_FILE_ABSENT: 'high',
+    LOAD_ERROR_AT_BOTH_REVS: 'high',
+    FAILS_AT_TIP: 'high',
+    CANNOT_ISOLATE: 'high', // was info pre-epoch: a degraded reading that reads advisory gets ignored.
+    DISCRIMINATES_VIA_ERROR: 'info',
+    DISCRIMINATES: 'info',
+};
+const TITLE_OF = {
+    NON_DISCRIMINATING: 'non-discriminating property test (false green)',
+    TEST_FILE_ABSENT: 'named property test is not a regular file',
+    LOAD_ERROR_AT_BOTH_REVS: 'property test could not execute at EITHER rev (zero signal)',
+    FAILS_AT_TIP: "the feature's own property test is RED with the feature present",
+    CANNOT_ISOLATE: 'discrimination could not be established (degraded reading)',
+    DISCRIMINATES_VIA_ERROR: 'discrimination inferred via load error',
+    DISCRIMINATES: '',
+};
+const ACTION_OF = {
+    NON_DISCRIMINATING: 'strengthen-test',
+    TEST_FILE_ABSENT: 'create-missing-test',
+    LOAD_ERROR_AT_BOTH_REVS: 'fix-runner-invocation',
+    FAILS_AT_TIP: 'fix-red-feature-test',
+    CANNOT_ISOLATE: 'fix-runner-invocation',
+    DISCRIMINATES_VIA_ERROR: 'none',
+    DISCRIMINATES: 'none',
+};
+function describe(p) {
+    const named = p.name ? `${p.file} (${p.name})` : p.file;
+    return p.reason ? `${named} [reason: ${p.reason}]` : named;
+}
+function detailFor(verdict, rows, extra) {
+    const list = rows.map(describe).join(', ');
+    const tail = extra.length > 0 ? ` ${extra.join(' ')}` : '';
+    switch (verdict) {
+        case 'NON_DISCRIMINATING':
+            return `${rows.length} property test(s) PASS at pre-feature base WITH execution evidence — they do not exercise the ADR safety property and would stay green if the fix regressed: ${list}. Action: strengthen-test (make the assertion fail without the feature diff). (Advisory — the pipeline continues; the owner decides.)`;
+        case 'TEST_FILE_ABSENT':
+            return `the named check is not a regular file in the working tree (stat + isFile, before any worktree): ${list}.${tail} Action: create-missing-test — an ADR Confirmation naming a file that does not exist is a broken promise, never a pass.`;
+        case 'LOAD_ERROR_AT_BOTH_REVS':
+            return `the test errored at the pre-feature base AND at tip: ${list}. The instrument could not execute it at either rev, so the reading carries ZERO signal about discrimination. Action: fix-runner-invocation (wrong runner for this file type, or a broken config).`;
+        case 'FAILS_AT_TIP':
+            return `the test errored at base and fails BY ASSERTION at tip: ${list}. The feature's own property test is red with the feature present, so discrimination is unestablishable. Action: fix-red-feature-test — grade the feature code accordingly.`;
+        case 'CANNOT_ISOLATE':
+            return `no ESTABLISHED observation for: ${list}. A degraded reading is not a pass and not a failure — it means the instrument did not measure. Action: map-a-test when no test was mapped/ran, otherwise fix-runner-invocation.`;
+        case 'DISCRIMINATES_VIA_ERROR':
+            return `the property test could not LOAD at pre-feature base and PASSES at tip, both with execution evidence: ${list}. Discrimination is INFERRED from that pair, not proven by an assertion — acceptable, but a green-path assertion would be stronger.`;
+        default:
+            return '';
+    }
+}
 /**
- * Classify observed base outcomes into per-test and aggregate verdicts + a Step-8 finding. A green-at-base
- * property test is the load-bearing failure this gate exists to catch: it is surfaced as a HIGH finding but
- * NEVER auto-aborts (dz's rule — a false gate kills trust; the owner decides). CANNOT_ISOLATE folds into the
- * existing "property untested" finding rather than minting a new severity concept.
+ * Classify observed base outcomes (+ evidence + the tip control) into per-test verdicts, the compat
+ * aggregate, the full findings[] list, and the two orthogonal axes.
+ *
+ * Every constituent is evidence-gated FIRST; verdict combination is consulted only over EVIDENCED
+ * constituents. Old callers that pass bare outcome values (no evidence, no tipOutcome) therefore
+ * degrade to a loud CANNOT_ISOLATE — never to a near-pass and never to a false DISCRIMINATES. That
+ * runtime behavior change for compiling callers is the ADR-002 headline, not a side effect.
  */
 export function classifyDiscrimination(input) {
     const results = Array.isArray(input.results) ? input.results : [];
     const byKey = new Map();
     for (const r of results) {
         if (r && typeof r.file === 'string')
-            byKey.set(`${r.file}|${r.name ?? ''}`, r.outcome);
+            byKey.set(`${r.file}|${r.name ?? ''}`, r);
     }
     const propertyTests = Array.isArray(input.propertyTests) ? input.propertyTests : [];
     if (propertyTests.length === 0) {
-        return {
-            perTest: [],
-            aggregate: 'CANNOT_ISOLATE',
-            finding: {
-                severity: 'info',
-                title: 'discrimination gate: no property test to check',
-                detail: 'No test was mapped to the ADR safety property, so discrimination could not be evaluated — this is the existing "property untested" finding.',
-            },
+        // No mapped test at all: the instrument has no subject. HIGH, because a degraded reading that
+        // renders as advisory is the one an operator skips.
+        const finding = {
+            severity: 'high',
+            verdict: 'CANNOT_ISOLATE',
+            files: [],
+            title: 'discrimination gate: no property test to check',
+            detail: 'No test was mapped to the ADR safety property, so discrimination could not be evaluated — this is the existing "property untested" finding. Action: map-a-test.',
         };
+        return { perTest: [], aggregate: 'CANNOT_ISOLATE', finding, findings: [finding], measurementValid: false, primaryAction: 'map-a-test' };
     }
+    let missingRow = false;
     const perTest = propertyTests.map((t) => {
         const file = typeof t.file === 'string' ? t.file : '';
         const name = typeof t.name === 'string' ? t.name : undefined;
-        const outcome = byKey.get(`${file}|${name ?? ''}`);
-        const verdict = verdictFor(outcome);
-        return name !== undefined ? { file, name, verdict } : { file, verdict };
+        const row = byKey.get(`${file}|${name ?? ''}`);
+        if (row === undefined)
+            missingRow = true;
+        const rv = classifyRow(row);
+        // exactOptionalPropertyTypes: `name`/`reason` are OMITTED when absent, never set to undefined.
+        const base = name !== undefined ? { file, name, verdict: rv.verdict } : { file, verdict: rv.verdict };
+        return rv.reason !== undefined ? { ...base, reason: rv.reason } : base;
     });
     let aggregate = 'DISCRIMINATES';
     for (const p of perTest)
         if (RANK[p.verdict] > RANK[aggregate])
             aggregate = p.verdict;
-    const falseGreens = perTest.filter((p) => p.verdict === 'NON_DISCRIMINATING');
-    let finding = null;
-    if (falseGreens.length > 0) {
-        finding = {
-            severity: 'high',
-            title: 'non-discriminating property test (false green)',
-            detail: `${falseGreens.length} property test(s) PASS at pre-feature base — they do not exercise the ADR safety property and would stay green even if the fix regressed: ` +
-                falseGreens.map((p) => (p.name ? `${p.file} (${p.name})` : p.file)).join(', ') +
-                '. Strengthen the assertion so it fails without the feature diff. (Advisory — the pipeline continues; the owner decides.)',
-        };
-    }
-    else if (aggregate === 'CANNOT_ISOLATE') {
-        finding = {
-            severity: 'info',
-            title: 'discrimination gate: could not run a mapped test',
-            detail: 'One or more mapped property tests produced no observed base outcome — folds into the existing "property untested" finding.',
-        };
-    }
-    else if (aggregate === 'DISCRIMINATES_VIA_ERROR') {
-        finding = {
-            severity: 'info',
-            title: 'discrimination inferred via load error',
-            detail: 'The property test could not load at pre-feature base (it references feature code that does not exist yet), so discrimination is INFERRED, not proven by an assertion. Acceptable, but a green-path assertion would be stronger.',
+    // findings[]: ONE per distinct non-clean verdict present, worst-first. The scalar aggregate can
+    // only name the worst state; a corpus with a false green AND an absent file must report BOTH.
+    const distinct = [...new Set(perTest.map((p) => p.verdict))]
+        .filter((v) => v !== 'DISCRIMINATES')
+        .sort((a, b) => RANK[b] - RANK[a]);
+    const findings = distinct.map((verdict) => {
+        const rows = perTest.filter((p) => p.verdict === verdict);
+        // the CLI reports a directory-at-the-path out of band (absent rows never consult the evidence
+        // gate, matrix row 1), so its `not-a-regular-file` note rides into the finding detail here.
+        const extra = verdict === 'TEST_FILE_ABSENT'
+            ? [
+                ...new Set(rows
+                    .map((p) => byKey.get(`${p.file}|${p.name ?? ''}`)?.evidence?.evidenceLine)
+                    .filter((l) => typeof l === 'string' && l.length > 0)),
+            ]
+            : [];
+        return {
+            severity: SEVERITY_OF[verdict],
+            verdict,
+            files: rows.map((p) => p.file),
+            title: TITLE_OF[verdict],
+            detail: detailFor(verdict, rows, extra),
         };
-    }
-    return { perTest, aggregate, finding };
+    });
+    const established = perTest.filter((p) => ESTABLISHED.includes(p.verdict)).length;
+    const measurementValid = established === perTest.length ? true : established === 0 ? false : 'partial';
+    // primaryAction: the worst-ranked verdict's action. CANNOT_ISOLATE splits — a target with no
+    // mapped/observed row is a MAPPING repair; every other degradation is an INVOCATION repair.
+    const primaryAction = aggregate === 'CANNOT_ISOLATE' && missingRow ? 'map-a-test' : ACTION_OF[aggregate];
+    return { perTest, aggregate, finding: findings[0] ?? null, findings, measurementValid, primaryAction };
 }
 //# sourceMappingURL=discrimination-gate.js.map