@ttsc/unplugin 0.31.0 → 0.31.2

package/lib/core/transform/validation/captureUniversalHostInputValidation.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"captureUniversalHostInputValidation.mjs","sources":["../../../../src/core/transform/validation/captureUniversalHostInputValidation.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAyBA;;;;;;;;;;;;;;;;;;;;;AAqBG;AACG,SAAU,mCAAmC,CACjD,MAAkC,EAClC,WAAmB,EAAA;IAQnB,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;AAClD,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,QAAQ,GAAG,6BAA6B,EAAE;AAChD,IAAA,MAAM,UAAU,GAA4B;QAC1C,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,KAAK,EAAE,IAAI,GAAG,EAAE;KACjB;AACD,IAAA,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM;AAC5B,IAAA,MAAM,gBAAgB,GACpB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,eAAe;AAClE,IAAA,MAAM,mBAAmB,GACvB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,kBAAkB;AACrE,IAAA,MAAM,aAAa,GACjB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,sBAAsB;AACzE,IAAA,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK,EAAE;QACxE,4BAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,yBAAyB;AAC/B,YAAA,MAAM,EAAE,qBAAqB;AAC9B,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE;QACjE,4BAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;YACd,IAAI,EACF,MAAM,KAAK;AACT,kBAAE;AACF,kBAAE,uBAAuB;AAC7B,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,KAAK;AACZ,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,KAAK,IAAI,0BAA0B,CAAC;QAC7C,UAAU;QACV,WAAW,EAAE,MAAM,CAAC,WAAW;AAC/B,QAAA,MAAM,EACJ,MAAM,CAAC,IAAI,KAAK;AACd,cAAE;AACF,cAAE;AACE,gBAAA,GAAG,MAAM;AACT,gBAAA,UAAU,EAAE;oBACV,GAAG,IAAI,GAAG,CAAC;AACT,wBAAA,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;AAC5B,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC;AACtC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC;AACzC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;qBACpC,CAAC;AACH,iBAAA;AACF,aAAA;QACP,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,EAAE;QACF,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzC,MAAM,WAAW,GACf,aAAa,GAAG,aAAa,CAAC,KAAK,yBAAyB;AAC9D,QAAA,MAAM,QAAQ,GAAG,gBAAgB,GAAG,aAAa,CAAC;;;;QAIlD,IAAI,QAAQ,GAAG,KAAK;AACpB,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;YAC1B,IAAI,CAAC,WAAW,EAAE;gBAChB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;gBACzC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,EAAE;oBACnC,4BAA4B,CAAC,QAAQ,EAAE;AACrC,wBAAA,MAAM,EAAE,MAAM;AACd,wBAAA,IAAI,EAAE,uBAAuB;AAC7B,wBAAA,IAAI,EAAE,KAAK;AACZ,qBAAA,CAAC;oBACF;gBACF;;;;;YAKF;QACF;aAAO;YACL,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;AACrD,YAAA,IAAI,QAAQ,KAAK,OAAO,EAAE;gBACxB,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,iBAAiB;AACvB,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;;;;AAIA,YAAA,QAAQ,GAAG,OAAO,KAAK,IAAI;QAC7B;AACA,QAAA,IAAI,mBAAmB,KAAK,SAAS,EAAE;AACrC,YAAA,IACE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACnC,mBAAmB,EACnB,aAAa,CACd;AACD,gBAAA,CAAC,qBAAqB,CACpB,mBAAmB,CAAC,aAAa,CAAC,EAClC,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,EACpC,KAAK,CAAC,eAAe,CACtB,EACD;gBACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACxC,mBAAmB,EACnB,aAAa;AAEb,0BAAE;AACF,0BAAE;AACA,8BAAE;AACF,8BAAE,wBAAwB;AAC9B,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;QACF;;;AAGA,QAAA,IAAI,WAAW;YAAE;AACjB,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvD,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;YACxC,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,mBAAmB;AACzB,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,QAAA,IAAI,MAAM,EAAE,SAAS,KAAK,KAAK,EAAE;YAC/B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;;;;YAIxB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;AAC1C,gBAAA,IAAI,EAAE,KAAK;gBACX,QAAQ;AACR,gBAAA,QAAQ,EAAE,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;;;;;AAK9C,gBAAA,SAAS,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,GAAG,SAAS;AACvE,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC;AACjD,QAAA,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE;YAC/B,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;AACnE,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;gBAC3B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,8BAA8B;oBACpC,IAAI,EAAE,KAAK,CAAC,OAAO;AACpB,iBAAA,CAAC;gBACF;YACF;;;;;;;AAOA,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnD,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;gBAClD,IAAI,EAAE,KAAK,CAAC,OAAO;AACnB,gBAAA,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;gBACtD,SAAS;AACT,gBAAA,MAAM,EAAE,IAAI;AACb,aAAA,CAAC;YACF;QACF;AACA,QAAA,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC;AAC1E,QAAA,IAAI,aAAa,KAAK,SAAS,EAAE;;;YAG/B,IAAI,MAAM,GAAG,KAAK;AAClB,YAAA,IAAI;AACF,gBAAA,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB;YAAE,OAAO,KAAK,EAAE;AACd,gBAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;gBAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAClD;AACA,YAAA,IAAI,MAAM;AAAE,gBAAA,UAAU,CAAC,aAAc,CAAC,GAAG,CAAC,aAAa,CAAC;iBACnD;gBACH,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,KAAK,CAAC,SAAS;AACtB,iBAAA,CAAC;YACJ;YACA;QACF;;;;AAIA,QAAA,MAAM,OAAO,GACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK;QAChB,IAAI,MAAM,GAAG,KAAK;AAClB,QAAA,IAAI;AACF,YAAA,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;YAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;QAClD;QACA,IAAI,CAAC,MAAM,EAAE;YACX,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;AACnD,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,YAAA,KAAK,GAAG,IAAI,GAAG,EAAU;YACzB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC;QAChD;;AAEA,QAAA,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;IACvB;;;;AAIA,IAAA,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;;;;QAIzE,MAAM,QAAQ,GAAG,mCAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;QACnE,MAAM,WAAW,GAAG;AAClB,cAAE,8BAA8B,CAAC,MAAM,CAAC,SAAS;AACjD,cAAE,6BAA6B,CAAC,SAAS,CAAC;QAC5C,IACE,WAAW,KAAK,SAAS;YACzB,CAAC,iBAAiB,CAChB,SAAS,EACT,MAAM,EACN,UAAU,EACV,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,CACvC,EACD;YACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,iBAAiB;AACvB,gBAAA,IAAI,EAAE,SAAS;AAChB,aAAA,CAAC;YACF;QACF;AACA,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QACjC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;AACvC,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,EAAE;QAC3D,OAAO,EAAE,QAAQ,EAAE;IACrB;AACA,IAAA,MAAM,CAAC,mBAAmB,GAAG,UAAU;AACvC,IAAA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE;AACjC;;;;"}
+{"version":3,"file":"captureUniversalHostInputValidation.mjs","sources":["../../../../src/core/transform/validation/captureUniversalHostInputValidation.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAyBA;;;;;;;;;;;;;;;;;;;;;AAqBG;AACG,SAAU,mCAAmC,CACjD,MAAkC,EAClC,WAAmB,EAAA;IAQnB,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;AAClD,IAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;AACxC,IAAA,MAAM,QAAQ,GAAG,6BAA6B,EAAE;AAChD,IAAA,MAAM,UAAU,GAA4B;QAC1C,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,KAAK,EAAE,IAAI,GAAG,EAAE;KACjB;AACD,IAAA,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM;AAC5B,IAAA,MAAM,gBAAgB,GACpB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,eAAe;AAClE,IAAA,MAAM,mBAAmB,GACvB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,kBAAkB;AACrE,IAAA,MAAM,aAAa,GACjB,MAAM,CAAC,IAAI,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,CAAC,sBAAsB;AACzE,IAAA,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,oBAAoB,KAAK,KAAK,EAAE;QACxE,4BAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,yBAAyB;AAC/B,YAAA,MAAM,EAAE,qBAAqB;AAC9B,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC,EAAE;QACjE,4BAA4B,CAAC,QAAQ,EAAE;AACrC,YAAA,MAAM,EAAE,MAAM;YACd,IAAI,EACF,MAAM,KAAK;AACT,kBAAE;AACF,kBAAE,uBAAuB;AAC7B,YAAA,MAAM,EAAE,MAAM;AACd,YAAA,IAAI,EAAE,KAAK;AACZ,SAAA,CAAC;IACJ;AACA,IAAA,KAAK,MAAM,KAAK,IAAI,0BAA0B,CAAC;QAC7C,UAAU;QACV,WAAW,EAAE,MAAM,CAAC,WAAW;AAC/B,QAAA,MAAM,EACJ,MAAM,CAAC,IAAI,KAAK;AACd,cAAE;AACF,cAAE;AACE,gBAAA,GAAG,MAAM;AACT,gBAAA,UAAU,EAAE;oBACV,GAAG,IAAI,GAAG,CAAC;AACT,wBAAA,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;AAC5B,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC;AACtC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,EAAE,CAAC;AACzC,wBAAA,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC;qBACpC,CAAC;AACH,iBAAA;AACF,aAAA;QACP,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;AAC5C,KAAA,CAAC,EAAE;QACF,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzC,MAAM,WAAW,GACf,aAAa,GAAG,aAAa,CAAC,KAAK,yBAAyB;AAC9D,QAAA,MAAM,QAAQ,GAAG,gBAAgB,GAAG,aAAa,CAAC;;;;QAIlD,IAAI,QAAQ,GAAG,KAAK;AACpB,QAAA,IAAI,QAAQ,KAAK,SAAS,EAAE;YAC1B,IAAI,CAAC,WAAW,EAAE;gBAChB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;gBACzC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,EAAE;oBACnC,4BAA4B,CAAC,QAAQ,EAAE;AACrC,wBAAA,MAAM,EAAE,MAAM;AACd,wBAAA,IAAI,EAAE,uBAAuB;AAC7B,wBAAA,IAAI,EAAE,KAAK;AACZ,qBAAA,CAAC;oBACF;gBACF;;;;;YAKF;QACF;aAAO;YACL,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;AACrD,YAAA,IAAI,QAAQ,KAAK,OAAO,EAAE;gBACxB,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,iBAAiB;AACvB,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;;;;AAIA,YAAA,QAAQ,GAAG,OAAO,KAAK,IAAI;QAC7B;AACA,QAAA,IAAI,mBAAmB,KAAK,SAAS,EAAE;AACrC,YAAA,IACE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACnC,mBAAmB,EACnB,aAAa,CACd;AACD,gBAAA,CAAC,qBAAqB,CACpB,mBAAmB,CAAC,aAAa,CAAC,EAClC,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC,EACpC,KAAK,CAAC,eAAe,CACtB,EACD;gBACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CACxC,mBAAmB,EACnB,aAAa;AAEb,0BAAE;AACF,0BAAE;AACA,8BAAE;AACF,8BAAE,wBAAwB;AAC9B,oBAAA,IAAI,EAAE,KAAK;AACZ,iBAAA,CAAC;gBACF;YACF;QACF;;;AAGA,QAAA,IAAI,WAAW;YAAE;AACjB,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvD,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;YACxC,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,mBAAmB;AACzB,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,UAAU,CAAC;AACvD,QAAA,IAAI,MAAM,EAAE,SAAS,KAAK,KAAK,EAAE;YAC/B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;;;;YAIxB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;AAC1C,gBAAA,IAAI,EAAE,KAAK;gBACX,QAAQ;AACR,gBAAA,QAAQ,EAAE,iBAAiB,CAAC,KAAK,EAAE,UAAU,CAAC;;;;;AAK9C,gBAAA,SAAS,EAAE,QAAQ,IAAI,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,GAAG,SAAS;AACvE,aAAA,CAAC;YACF;QACF;QACA,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC;AACjD,QAAA,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE;YAC/B,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;AACnE,YAAA,IAAI,SAAS,KAAK,SAAS,EAAE;gBAC3B,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,8BAA8B;oBACpC,IAAI,EAAE,KAAK,CAAC,OAAO;AACpB,iBAAA,CAAC;gBACF;YACF;;;;;;;AAOA,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnD,YAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;gBAClD,IAAI,EAAE,KAAK,CAAC,OAAO;AACnB,gBAAA,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC;gBACtD,SAAS;AACT,gBAAA,MAAM,EAAE,IAAI;AACb,aAAA,CAAC;YACF;QACF;AACA,QAAA,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC;AAC1E,QAAA,IAAI,aAAa,KAAK,SAAS,EAAE;;;YAG/B,IAAI,MAAM,GAAG,KAAK;AAClB,YAAA,IAAI;AACF,gBAAA,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB;YAAE,OAAO,KAAK,EAAE;AACd,gBAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;gBAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;YAClD;AACA,YAAA,IAAI,MAAM;AAAE,gBAAA,UAAU,CAAC,aAAc,CAAC,GAAG,CAAC,aAAa,CAAC;iBACnD;gBACH,4BAA4B,CAAC,QAAQ,EAAE;AACrC,oBAAA,MAAM,EAAE,MAAM;AACd,oBAAA,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,KAAK,CAAC,SAAS;AACtB,iBAAA,CAAC;YACJ;YACA;QACF;;;;AAIA,QAAA,MAAM,OAAO,GACX,CAAC,UAAU,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,MAAM;cAC1C,IAAI,CAAC;AACP,cAAE,IAAI,CAAC,KAAK;QAChB,IAAI,MAAM,GAAG,KAAK;AAClB,QAAA,IAAI;AACF,YAAA,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5D;QAAE,OAAO,KAAK,EAAE;AACd,YAAA,MAAM,IAAI,GAAI,KAA+B,CAAC,IAAI;YAClD,MAAM,GAAG,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS;QAClD;QACA,IAAI,CAAC,MAAM,EAAE;YACX,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,2BAA2B;AACjC,gBAAA,IAAI,EAAE,KAAK;AACZ,aAAA,CAAC;YACF;QACF;AACA,QAAA,IAAI,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;AACnD,QAAA,IAAI,KAAK,KAAK,SAAS,EAAE;AACvB,YAAA,KAAK,GAAG,IAAI,GAAG,EAAU;YACzB,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC;QAChD;;AAEA,QAAA,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;IACvB;;;;AAIA,IAAA,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;;;;QAIzE,MAAM,QAAQ,GAAG,mCAAmC,CAAC,MAAM,CAAC,MAAM,CAAC;QACnE,MAAM,WAAW,GAAG;AAClB,cAAE,8BAA8B,CAAC,MAAM,CAAC,SAAS;cAC/C,6BAA6B,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC;QACvE,IACE,WAAW,KAAK,SAAS;YACzB,CAAC,iBAAiB,CAChB,SAAS,EACT,MAAM,EACN,UAAU,EACV,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,SAAS,EACtC,MAAM,CAAC,WAAW,CACnB,EACD;YACA,4BAA4B,CAAC,QAAQ,EAAE;AACrC,gBAAA,MAAM,EAAE,MAAM;AACd,gBAAA,IAAI,EAAE,iBAAiB;AACvB,gBAAA,IAAI,EAAE,SAAS;AAChB,aAAA,CAAC;YACF;QACF;AACA,QAAA,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QACjC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;AACvC,QAAA,CAAC,UAAU,CAAC,gBAAgB,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC;IACzE;AACA,IAAA,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,EAAE;QAC3D,OAAO,EAAE,QAAQ,EAAE;IACrB;AACA,IAAA,MAAM,CAAC,mBAAmB,GAAG,UAAU;AACvC,IAAA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE;AACjC;;;;"}

package/lib/core/transform/validation/matchesCachedSource.d.cts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import { TtscGenerationProof } from "./TtscGenerationProof.cjs";
 /**
  * Validate a cached project transform against the current on-disk project
  * state.
@@ -8,17 +9,19 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  * no source comparison. A cache with a delivery epoch can use that comparison
  * alone for a stable generation's first delivery of each module in the current
  * pass, once the pass's own first delivery has proven the whole generation
- * still matches the filesystem. An incomplete generation may not take this
- * shortcut: otherwise a sibling output captured during a filesystem race could
- * still be served once. Later graph-bearing requests validate the file's
- * derived input set and project membership. A failed result is a diagnostic of
- * the whole loaded program, so its repair cannot be proved by one delivered
- * output's dependency closure. Failed and graph-free envelopes conservatively
- * validate the complete project and out-of-walk snapshots, reusing qualified
- * signatures. A mismatch rejects this generation for the delivery; its caller
- * chooses replacement or capture. Delivered text that differs while the disk
- * still holds the bytes the generation compiled is not one: it is reported and
- * served, since the compile read the disk (samchon/ttsc#1394).
+ * still matches the filesystem. Incomplete generations cannot claim complete
+ * proof. A coherent local success admitted only because its observer was
+ * unavailable may share first deliveries in its exact nonwatching pass through
+ * TtscGenerationProof; it cannot cross passes or earn persistent authority.
+ * Later graph-bearing requests validate the file's derived input set and
+ * project membership. A failed result is a diagnostic of the whole loaded
+ * program, so its repair cannot be proved by one delivered output's dependency
+ * closure. Failed and graph-free envelopes conservatively validate the complete
+ * project and out-of-walk snapshots, reusing qualified signatures. A mismatch
+ * rejects this generation for the delivery; its caller chooses replacement or
+ * capture. Delivered text that differs while the disk still holds the bytes the
+ * generation compiled is not one: it is reported and served, since the compile
+ * read the disk (samchon/ttsc#1394).
  *
  * Its place in the adapter's invalidation model, and the units beside it, are
  * mapped in the maintainer page
@@ -26,7 +29,7 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *
  * @evidence contracts/common.md#principled-implementation Delivered source, generation completeness, pass identity and notification authority choose between first-delivery proof, derived-input validation and complete snapshots; divergent editor text never substitutes for compiler disk inputs.
  * @evidence contracts/common.md#clear-and-simple-design This admission boundary chooses the required proof while dedicated validators own membership, universal inputs and content comparisons.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot earn a first-delivery shortcut; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority; only separately admitted coherent local success can share first deliveries of its exact nonwatching pass; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
  * @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
  * @evidence contracts/portability.md#os-neutral-implementation Project membership and path identity use recorded compiler case policy and injected native operations; OS names do not certify case sensitivity or watcher capabilities.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
@@ -36,13 +39,13 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *   while validators replace current signature/directory witnesses. No new
  *   independent handle or historical epoch collection is acquired here.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.
- *   Fresh-only rejection precedes native identity work. Baseline-bearing paths
+ *   Unsupported fresh-only rejection precedes source baseline work. Baseline-bearing paths
  *   hash delivered text and divergent paths read/hash host bytes; unrelated
  *   absent outputs can return before that hash after an initial K-output index.
  *   Epoch-qualified first checkpoints share the complete proof. Other paths
  *   pay derived-input or complete project/external/universal proof costs,
  *   including path/byte populations, native observations and clock refresh.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay remains mandatory for every delivery and shares only the current synchronous transaction with nested validators; immutable membership is indexed separately.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
  */
 export declare function matchesCachedSource(
 /** Generation retaining recorded baselines and distinct proof authority. */
@@ -52,4 +55,4 @@ file: string,
 /** Delivered text, compared with the recorded baseline rather than adopted. */
 source: string, 
 /** Current host pass, or undefined for persistent input validation. */
-epoch: number | undefined): boolean;
+epoch: number | undefined, proof?: TtscGenerationProof.Transaction): boolean;

package/lib/core/transform/validation/matchesCachedSource.d.mts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.mjs";
+import { TtscGenerationProof } from "./TtscGenerationProof.mjs";
 /**
  * Validate a cached project transform against the current on-disk project
  * state.
@@ -8,17 +9,19 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  * no source comparison. A cache with a delivery epoch can use that comparison
  * alone for a stable generation's first delivery of each module in the current
  * pass, once the pass's own first delivery has proven the whole generation
- * still matches the filesystem. An incomplete generation may not take this
- * shortcut: otherwise a sibling output captured during a filesystem race could
- * still be served once. Later graph-bearing requests validate the file's
- * derived input set and project membership. A failed result is a diagnostic of
- * the whole loaded program, so its repair cannot be proved by one delivered
- * output's dependency closure. Failed and graph-free envelopes conservatively
- * validate the complete project and out-of-walk snapshots, reusing qualified
- * signatures. A mismatch rejects this generation for the delivery; its caller
- * chooses replacement or capture. Delivered text that differs while the disk
- * still holds the bytes the generation compiled is not one: it is reported and
- * served, since the compile read the disk (samchon/ttsc#1394).
+ * still matches the filesystem. Incomplete generations cannot claim complete
+ * proof. A coherent local success admitted only because its observer was
+ * unavailable may share first deliveries in its exact nonwatching pass through
+ * TtscGenerationProof; it cannot cross passes or earn persistent authority.
+ * Later graph-bearing requests validate the file's derived input set and
+ * project membership. A failed result is a diagnostic of the whole loaded
+ * program, so its repair cannot be proved by one delivered output's dependency
+ * closure. Failed and graph-free envelopes conservatively validate the complete
+ * project and out-of-walk snapshots, reusing qualified signatures. A mismatch
+ * rejects this generation for the delivery; its caller chooses replacement or
+ * capture. Delivered text that differs while the disk still holds the bytes the
+ * generation compiled is not one: it is reported and served, since the compile
+ * read the disk (samchon/ttsc#1394).
  *
  * Its place in the adapter's invalidation model, and the units beside it, are
  * mapped in the maintainer page
@@ -26,7 +29,7 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *
  * @evidence contracts/common.md#principled-implementation Delivered source, generation completeness, pass identity and notification authority choose between first-delivery proof, derived-input validation and complete snapshots; divergent editor text never substitutes for compiler disk inputs.
  * @evidence contracts/common.md#clear-and-simple-design This admission boundary chooses the required proof while dedicated validators own membership, universal inputs and content comparisons.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot earn a first-delivery shortcut; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority; only separately admitted coherent local success can share first deliveries of its exact nonwatching pass; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
  * @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
  * @evidence contracts/portability.md#os-neutral-implementation Project membership and path identity use recorded compiler case policy and injected native operations; OS names do not certify case sensitivity or watcher capabilities.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
@@ -36,13 +39,13 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *   while validators replace current signature/directory witnesses. No new
  *   independent handle or historical epoch collection is acquired here.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.
- *   Fresh-only rejection precedes native identity work. Baseline-bearing paths
+ *   Unsupported fresh-only rejection precedes source baseline work. Baseline-bearing paths
  *   hash delivered text and divergent paths read/hash host bytes; unrelated
  *   absent outputs can return before that hash after an initial K-output index.
  *   Epoch-qualified first checkpoints share the complete proof. Other paths
  *   pay derived-input or complete project/external/universal proof costs,
  *   including path/byte populations, native observations and clock refresh.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay remains mandatory for every delivery and shares only the current synchronous transaction with nested validators; immutable membership is indexed separately.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
  */
 export declare function matchesCachedSource(
 /** Generation retaining recorded baselines and distinct proof authority. */
@@ -52,4 +55,4 @@ file: string,
 /** Delivered text, compared with the recorded baseline rather than adopted. */
 source: string, 
 /** Current host pass, or undefined for persistent input validation. */
-epoch: number | undefined): boolean;
+epoch: number | undefined, proof?: TtscGenerationProof.Transaction): boolean;

package/lib/core/transform/validation/matchesCachedSource.d.ts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform";
+import { TtscGenerationProof } from "./TtscGenerationProof";
 /**
  * Validate a cached project transform against the current on-disk project
  * state.
@@ -8,17 +9,19 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  * no source comparison. A cache with a delivery epoch can use that comparison
  * alone for a stable generation's first delivery of each module in the current
  * pass, once the pass's own first delivery has proven the whole generation
- * still matches the filesystem. An incomplete generation may not take this
- * shortcut: otherwise a sibling output captured during a filesystem race could
- * still be served once. Later graph-bearing requests validate the file's
- * derived input set and project membership. A failed result is a diagnostic of
- * the whole loaded program, so its repair cannot be proved by one delivered
- * output's dependency closure. Failed and graph-free envelopes conservatively
- * validate the complete project and out-of-walk snapshots, reusing qualified
- * signatures. A mismatch rejects this generation for the delivery; its caller
- * chooses replacement or capture. Delivered text that differs while the disk
- * still holds the bytes the generation compiled is not one: it is reported and
- * served, since the compile read the disk (samchon/ttsc#1394).
+ * still matches the filesystem. Incomplete generations cannot claim complete
+ * proof. A coherent local success admitted only because its observer was
+ * unavailable may share first deliveries in its exact nonwatching pass through
+ * TtscGenerationProof; it cannot cross passes or earn persistent authority.
+ * Later graph-bearing requests validate the file's derived input set and
+ * project membership. A failed result is a diagnostic of the whole loaded
+ * program, so its repair cannot be proved by one delivered output's dependency
+ * closure. Failed and graph-free envelopes conservatively validate the complete
+ * project and out-of-walk snapshots, reusing qualified signatures. A mismatch
+ * rejects this generation for the delivery; its caller chooses replacement or
+ * capture. Delivered text that differs while the disk still holds the bytes the
+ * generation compiled is not one: it is reported and served, since the compile
+ * read the disk (samchon/ttsc#1394).
  *
  * Its place in the adapter's invalidation model, and the units beside it, are
  * mapped in the maintainer page
@@ -26,7 +29,7 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *
  * @evidence contracts/common.md#principled-implementation Delivered source, generation completeness, pass identity and notification authority choose between first-delivery proof, derived-input validation and complete snapshots; divergent editor text never substitutes for compiler disk inputs.
  * @evidence contracts/common.md#clear-and-simple-design This admission boundary chooses the required proof while dedicated validators own membership, universal inputs and content comparisons.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot earn a first-delivery shortcut; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority; only separately admitted coherent local success can share first deliveries of its exact nonwatching pass; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
  * @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
  * @evidence contracts/portability.md#os-neutral-implementation Project membership and path identity use recorded compiler case policy and injected native operations; OS names do not certify case sensitivity or watcher capabilities.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
@@ -36,13 +39,13 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *   while validators replace current signature/directory witnesses. No new
  *   independent handle or historical epoch collection is acquired here.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.
- *   Fresh-only rejection precedes native identity work. Baseline-bearing paths
+ *   Unsupported fresh-only rejection precedes source baseline work. Baseline-bearing paths
  *   hash delivered text and divergent paths read/hash host bytes; unrelated
  *   absent outputs can return before that hash after an initial K-output index.
  *   Epoch-qualified first checkpoints share the complete proof. Other paths
  *   pay derived-input or complete project/external/universal proof costs,
  *   including path/byte populations, native observations and clock refresh.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay remains mandatory for every delivery and shares only the current synchronous transaction with nested validators; immutable membership is indexed separately.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
  */
 export declare function matchesCachedSource(
 /** Generation retaining recorded baselines and distinct proof authority. */
@@ -52,4 +55,4 @@ file: string,
 /** Delivered text, compared with the recorded baseline rather than adopted. */
 source: string, 
 /** Current host pass, or undefined for persistent input validation. */
-epoch: number | undefined): boolean;
+epoch: number | undefined, proof?: TtscGenerationProof.Transaction): boolean;

package/lib/core/transform/validation/matchesCachedSource.js

@@ -11,6 +11,7 @@ var pathIdentityKey = require('../filesystem/pathIdentityKey.js');
 var hostInputStateHash = require('../inputs/hostInputStateHash.js');
 var toProjectKey = require('../project/toProjectKey.js');
 var hashText = require('../utils/hashText.js');
+var TtscGenerationProof = require('./TtscGenerationProof.js');
 var matchesCompleteInputSnapshot = require('./matchesCompleteInputSnapshot.js');
 var matchesNarrowPersistentInputs = require('./matchesNarrowPersistentInputs.js');
 var nativeInputPredicatesHold = require('./nativeInputPredicatesHold.js');
@@ -25,17 +26,19 @@ var notificationsProveProgramUnchanged = require('./notificationsProveProgramUnc
  * no source comparison. A cache with a delivery epoch can use that comparison
  * alone for a stable generation's first delivery of each module in the current
  * pass, once the pass's own first delivery has proven the whole generation
- * still matches the filesystem. An incomplete generation may not take this
- * shortcut: otherwise a sibling output captured during a filesystem race could
- * still be served once. Later graph-bearing requests validate the file's
- * derived input set and project membership. A failed result is a diagnostic of
- * the whole loaded program, so its repair cannot be proved by one delivered
- * output's dependency closure. Failed and graph-free envelopes conservatively
- * validate the complete project and out-of-walk snapshots, reusing qualified
- * signatures. A mismatch rejects this generation for the delivery; its caller
- * chooses replacement or capture. Delivered text that differs while the disk
- * still holds the bytes the generation compiled is not one: it is reported and
- * served, since the compile read the disk (samchon/ttsc#1394).
+ * still matches the filesystem. Incomplete generations cannot claim complete
+ * proof. A coherent local success admitted only because its observer was
+ * unavailable may share first deliveries in its exact nonwatching pass through
+ * TtscGenerationProof; it cannot cross passes or earn persistent authority.
+ * Later graph-bearing requests validate the file's derived input set and
+ * project membership. A failed result is a diagnostic of the whole loaded
+ * program, so its repair cannot be proved by one delivered output's dependency
+ * closure. Failed and graph-free envelopes conservatively validate the complete
+ * project and out-of-walk snapshots, reusing qualified signatures. A mismatch
+ * rejects this generation for the delivery; its caller chooses replacement or
+ * capture. Delivered text that differs while the disk still holds the bytes the
+ * generation compiled is not one: it is reported and served, since the compile
+ * read the disk (samchon/ttsc#1394).
  *
  * Its place in the adapter's invalidation model, and the units beside it, are
  * mapped in the maintainer page
@@ -43,7 +46,7 @@ var notificationsProveProgramUnchanged = require('./notificationsProveProgramUnc
  *
  * @evidence contracts/common.md#principled-implementation Delivered source, generation completeness, pass identity and notification authority choose between first-delivery proof, derived-input validation and complete snapshots; divergent editor text never substitutes for compiler disk inputs.
  * @evidence contracts/common.md#clear-and-simple-design This admission boundary chooses the required proof while dedicated validators own membership, universal inputs and content comparisons.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot earn a first-delivery shortcut; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority; only separately admitted coherent local success can share first deliveries of its exact nonwatching pass; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
  * @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
  * @evidence contracts/portability.md#os-neutral-implementation Project membership and path identity use recorded compiler case policy and injected native operations; OS names do not certify case sensitivity or watcher capabilities.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
@@ -53,13 +56,13 @@ var notificationsProveProgramUnchanged = require('./notificationsProveProgramUnc
  *   while validators replace current signature/directory witnesses. No new
  *   independent handle or historical epoch collection is acquired here.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.
- *   Fresh-only rejection precedes native identity work. Baseline-bearing paths
+ *   Unsupported fresh-only rejection precedes source baseline work. Baseline-bearing paths
  *   hash delivered text and divergent paths read/hash host bytes; unrelated
  *   absent outputs can return before that hash after an initial K-output index.
  *   Epoch-qualified first checkpoints share the complete proof. Other paths
  *   pay derived-input or complete project/external/universal proof costs,
  *   including path/byte populations, native observations and clock refresh.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay remains mandatory for every delivery and shares only the current synchronous transaction with nested validators; immutable membership is indexed separately.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
  */
 function matchesCachedSource(
 /** Generation retaining recorded baselines and distinct proof authority. */
@@ -69,10 +72,11 @@ file,
 /** Delivered text, compared with the recorded baseline rather than adopted. */
 source, 
 /** Current host pass, or undefined for persistent input validation. */
-epoch) {
-    if (!nativeInputPredicatesHold.nativeInputPredicatesHold(cached))
+epoch, proof) {
+    if (!nativeInputPredicatesHold.nativeInputPredicatesHold(cached, proof))
         return false;
-    if (cached.freshDeliveryOnly === true)
+    const pass = TtscGenerationProof.TtscGenerationProof.sharesPass(cached, file, epoch);
+    if (cached.freshDeliveryOnly === true && !pass)
         return false;
     const identities = envelopeDerivation.envelopeDerivation(cached).identityContext;
     const currentKey = toProjectKey.toProjectKey(cached.projectRoot, file, identities);
@@ -90,7 +94,7 @@ epoch) {
         if (!outputs.has(identity)) {
             // While the watchers prove the program unchanged, the module is still
             // outside it, and no walk is needed to say so (samchon/ttsc#1398).
-            if (notificationsProveProgramUnchanged.notificationsProveProgramUnchanged(cached)) {
+            if (notificationsProveProgramUnchanged.notificationsProveProgramUnchanged(cached, proof)) {
                 return true;
             }
             // Root discovery deliberately never hashed this unrelated module. Its
@@ -98,7 +102,7 @@ epoch) {
             // whole program must still be current before we reuse that absence: a
             // changed config or importer can bring this file into the next program.
             refreshFilesystemClockReference.refreshFilesystemClockReference(TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.get(cached), resultFilesystem.resultFilesystem(cached.result));
-            return matchesCompleteInputSnapshot.matchesCompleteInputSnapshot(cached);
+            return matchesCompleteInputSnapshot.matchesCompleteInputSnapshot(cached, proof);
         }
     }
     if (expected !== hashText.hashText(source)) {
@@ -113,6 +117,8 @@ epoch) {
         }
         reportDivergentDelivery.reportDivergentDelivery(cached, file);
     }
+    if (pass)
+        return true;
     if (epoch !== undefined && cached.projectSnapshotComplete === true) {
         if (cached.deliveryEpoch !== epoch) {
             // The pass's first delivery. The generation was settled against an
@@ -122,7 +128,7 @@ epoch) {
             // settled against it. That proof is what a per-pass recompile used to buy
             // (samchon/ttsc#1300), at a walk instead of a compile.
             refreshFilesystemClockReference.refreshFilesystemClockReference(TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.get(cached), resultFilesystem.resultFilesystem(cached.result));
-            if (!matchesCompleteInputSnapshot.matchesCompleteInputSnapshot(cached)) {
+            if (!matchesCompleteInputSnapshot.matchesCompleteInputSnapshot(cached, proof)) {
                 return false;
             }
             cached.deliveryEpoch = epoch;
@@ -140,7 +146,7 @@ epoch) {
         cached.projectDirectories !== undefined &&
         cached.projectMutationTracker !== undefined &&
         cached.hostInputMutationTracker !== undefined) {
-        const narrow = matchesNarrowPersistentInputs.matchesNarrowPersistentInputs(cached, file);
+        const narrow = matchesNarrowPersistentInputs.matchesNarrowPersistentInputs(cached, file, proof);
         if (narrow !== undefined) {
             return narrow;
         }
@@ -148,7 +154,7 @@ epoch) {
         // produced. Losing the proof is not evidence of a change, so fall through
         // to the snapshot the entry still carries.
     }
-    return matchesCompleteInputSnapshot.matchesCompleteInputSnapshot(cached);
+    return matchesCompleteInputSnapshot.matchesCompleteInputSnapshot(cached, proof);
 }
 
 exports.matchesCachedSource = matchesCachedSource;

package/lib/core/transform/validation/matchesCachedSource.js.map

@@ -1 +1 @@
-{"version":3,"file":"matchesCachedSource.js","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":["nativeInputPredicatesHold","envelopeDerivation","toProjectKey","pathIdentityKey","matchesProjectRootFile","resultFilesystem","createEnvelopeKeyIndex","notificationsProveProgramUnchanged","refreshFilesystemClockReference","TRANSFORM_CLOCK_REFERENCE_DIRECTORIES","matchesCompleteInputSnapshot","hashText","hostInputStateHash","reportDivergentDelivery","matchesNarrowPersistentInputs"],"mappings":";;;;;;;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CG;SACa,mBAAmB;AACjC;AACA,MAAkC;AAClC;AACA,IAAY;AACZ;AACA,MAAc;AACd;AACA,KAAyB,EAAA;AAEzB,IAAA,IAAI,CAACA,mDAAyB,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;AACpD,IAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI;AAAE,QAAA,OAAO,KAAK;IACnD,MAAM,UAAU,GAAGC,qCAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,MAAM,UAAU,GAAGC,yBAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;IACrE,MAAM,QAAQ,GAAGC,+BAAe,CAAC,IAAI,EAAE,UAAU,CAAC;IAClD,MAAM,QAAQ,GACZ,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC;AAC/B,SAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU;AAClE,cAAE,MAAM,CAAC,WAAW,CAAC,UAAU;cAC7B,SAAS,CAAC;AACd,QAAA,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC;IACxC,IACE,QAAQ,KAAK,SAAS;AACtB,QAAA,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAChC,CAACC,6CAAsB,CACrB,IAAI,EACJ,MAAM,CAAC,gBAAgB,EACvB,KAAK,EACLC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CACzC,EACD;AACA,QAAA,MAAM,KAAK,GAAGJ,qCAAkB,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,KAAKK,6CAAsB,CAC3D,KAAK,EACL,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CACrE,CACF,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;;;AAG1B,YAAA,IAAIC,qEAAkC,CAAC,MAAM,CAAC,EAAE;AAC9C,gBAAA,OAAO,IAAI;YACb;;;;;AAKA,YAAAC,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,OAAOK,yDAA4B,CAAC,MAAM,CAAC;QAC7C;IACF;AACA,IAAA,IAAI,QAAQ,KAAKC,iBAAQ,CAAC,MAAM,CAAC,EAAE;;;;;;QAMjC,IACE,QAAQ,KAAK,SAAS;AACtB,YAAAC,qCAAkB,CAAC,IAAI,EAAEP,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,EACtE;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAAQ,+CAAuB,CAAC,MAAM,EAAE,IAAI,CAAC;IACvC;IACA,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,uBAAuB,KAAK,IAAI,EAAE;AAClE,QAAA,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,EAAE;;;;;;;AAOlC,YAAAL,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,IAAI,CAACK,yDAA4B,CAAC,MAAM,CAAC,EAAE;AACzC,gBAAA,OAAO,KAAK;YACd;AACA,YAAA,MAAM,CAAC,aAAa,GAAG,KAAK;AAC5B,YAAA,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE;AAC3B,YAAA,OAAO,IAAI;QACb;QACA,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;AACtC,YAAA,OAAO,IAAI;QACb;IACF;AACA,IAAAF,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;AAChC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QACjC,MAAM,CAAC,uBAAuB,KAAK,IAAI;QACvC,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACvC,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,wBAAwB,KAAK,SAAS,EAC7C;QACA,MAAM,MAAM,GAAGS,2DAA6B,CAAC,MAAM,EAAE,IAAI,CAAC;AAC1D,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,MAAM;QACf;;;;IAIF;AACA,IAAA,OAAOJ,yDAA4B,CAAC,MAAM,CAAC;AAC7C;;;;"}
+{"version":3,"file":"matchesCachedSource.js","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":["nativeInputPredicatesHold","TtscGenerationProof","envelopeDerivation","toProjectKey","pathIdentityKey","matchesProjectRootFile","resultFilesystem","createEnvelopeKeyIndex","notificationsProveProgramUnchanged","refreshFilesystemClockReference","TRANSFORM_CLOCK_REFERENCE_DIRECTORIES","matchesCompleteInputSnapshot","hashText","hostInputStateHash","reportDivergentDelivery","matchesNarrowPersistentInputs"],"mappings":";;;;;;;;;;;;;;;;;;;AAkBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8CG;SACa,mBAAmB;AACjC;AACA,MAAkC;AAClC;AACA,IAAY;AACZ;AACA,MAAc;AACd;AACA,KAAyB,EACzB,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAACA,mDAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;AAC3D,IAAA,MAAM,IAAI,GAAGC,uCAAmB,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAChE,IAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,CAAC,IAAI;AAAE,QAAA,OAAO,KAAK;IAC5D,MAAM,UAAU,GAAGC,qCAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,MAAM,UAAU,GAAGC,yBAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;IACrE,MAAM,QAAQ,GAAGC,+BAAe,CAAC,IAAI,EAAE,UAAU,CAAC;IAClD,MAAM,QAAQ,GACZ,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC;AAC/B,SAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU;AAClE,cAAE,MAAM,CAAC,WAAW,CAAC,UAAU;cAC7B,SAAS,CAAC;AACd,QAAA,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC;IACxC,IACE,QAAQ,KAAK,SAAS;AACtB,QAAA,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAChC,CAACC,6CAAsB,CACrB,IAAI,EACJ,MAAM,CAAC,gBAAgB,EACvB,KAAK,EACLC,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CACzC,EACD;AACA,QAAA,MAAM,KAAK,GAAGJ,qCAAkB,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,KAAKK,6CAAsB,CAC3D,KAAK,EACL,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CACrE,CACF,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;;;AAG1B,YAAA,IAAIC,qEAAkC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AACrD,gBAAA,OAAO,IAAI;YACb;;;;;AAKA,YAAAC,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,OAAOK,yDAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;QACpD;IACF;AACA,IAAA,IAAI,QAAQ,KAAKC,iBAAQ,CAAC,MAAM,CAAC,EAAE;;;;;;QAMjC,IACE,QAAQ,KAAK,SAAS;AACtB,YAAAC,qCAAkB,CAAC,IAAI,EAAEP,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,EACtE;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAAQ,+CAAuB,CAAC,MAAM,EAAE,IAAI,CAAC;IACvC;AACA,IAAA,IAAI,IAAI;AAAE,QAAA,OAAO,IAAI;IACrB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,uBAAuB,KAAK,IAAI,EAAE;AAClE,QAAA,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,EAAE;;;;;;;AAOlC,YAAAL,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;YACD,IAAI,CAACK,yDAA4B,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AAChD,gBAAA,OAAO,KAAK;YACd;AACA,YAAA,MAAM,CAAC,aAAa,GAAG,KAAK;AAC5B,YAAA,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE;AAC3B,YAAA,OAAO,IAAI;QACb;QACA,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;AACtC,YAAA,OAAO,IAAI;QACb;IACF;AACA,IAAAF,+DAA+B,CAC7BC,2EAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjDJ,iCAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;AAChC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QACjC,MAAM,CAAC,uBAAuB,KAAK,IAAI;QACvC,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACvC,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,wBAAwB,KAAK,SAAS,EAC7C;QACA,MAAM,MAAM,GAAGS,2DAA6B,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AACjE,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,MAAM;QACf;;;;IAIF;AACA,IAAA,OAAOJ,yDAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;AACpD;;;;"}

package/lib/core/transform/validation/matchesCachedSource.mjs

@@ -9,6 +9,7 @@ import { pathIdentityKey } from '../filesystem/pathIdentityKey.mjs';
 import { hostInputStateHash } from '../inputs/hostInputStateHash.mjs';
 import { toProjectKey } from '../project/toProjectKey.mjs';
 import { hashText } from '../utils/hashText.mjs';
+import { TtscGenerationProof } from './TtscGenerationProof.mjs';
 import { matchesCompleteInputSnapshot } from './matchesCompleteInputSnapshot.mjs';
 import { matchesNarrowPersistentInputs } from './matchesNarrowPersistentInputs.mjs';
 import { nativeInputPredicatesHold } from './nativeInputPredicatesHold.mjs';
@@ -23,17 +24,19 @@ import { notificationsProveProgramUnchanged } from './notificationsProveProgramU
  * no source comparison. A cache with a delivery epoch can use that comparison
  * alone for a stable generation's first delivery of each module in the current
  * pass, once the pass's own first delivery has proven the whole generation
- * still matches the filesystem. An incomplete generation may not take this
- * shortcut: otherwise a sibling output captured during a filesystem race could
- * still be served once. Later graph-bearing requests validate the file's
- * derived input set and project membership. A failed result is a diagnostic of
- * the whole loaded program, so its repair cannot be proved by one delivered
- * output's dependency closure. Failed and graph-free envelopes conservatively
- * validate the complete project and out-of-walk snapshots, reusing qualified
- * signatures. A mismatch rejects this generation for the delivery; its caller
- * chooses replacement or capture. Delivered text that differs while the disk
- * still holds the bytes the generation compiled is not one: it is reported and
- * served, since the compile read the disk (samchon/ttsc#1394).
+ * still matches the filesystem. Incomplete generations cannot claim complete
+ * proof. A coherent local success admitted only because its observer was
+ * unavailable may share first deliveries in its exact nonwatching pass through
+ * TtscGenerationProof; it cannot cross passes or earn persistent authority.
+ * Later graph-bearing requests validate the file's derived input set and
+ * project membership. A failed result is a diagnostic of the whole loaded
+ * program, so its repair cannot be proved by one delivered output's dependency
+ * closure. Failed and graph-free envelopes conservatively validate the complete
+ * project and out-of-walk snapshots, reusing qualified signatures. A mismatch
+ * rejects this generation for the delivery; its caller chooses replacement or
+ * capture. Delivered text that differs while the disk still holds the bytes the
+ * generation compiled is not one: it is reported and served, since the compile
+ * read the disk (samchon/ttsc#1394).
  *
  * Its place in the adapter's invalidation model, and the units beside it, are
  * mapped in the maintainer page
@@ -41,7 +44,7 @@ import { notificationsProveProgramUnchanged } from './notificationsProveProgramU
  *
  * @evidence contracts/common.md#principled-implementation Delivered source, generation completeness, pass identity and notification authority choose between first-delivery proof, derived-input validation and complete snapshots; divergent editor text never substitutes for compiler disk inputs.
  * @evidence contracts/common.md#clear-and-simple-design This admission boundary chooses the required proof while dedicated validators own membership, universal inputs and content comparisons.
- * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot earn a first-delivery shortcut; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
+ * @evidence contracts/common.md#prohibited-implementation-shortcuts An incomplete generation cannot claim complete snapshot authority; only separately admitted coherent local success can share first deliveries of its exact nonwatching pass; inherited object members cannot invent a project baseline, and losing watcher proof falls back to recorded-state validation.
  * @evidence contracts/common.md#meaningful-documentation Separate native paragraphs explain disk-versus-delivered authority, epoch qualification, fallback and related maintainer guidance before tags.
  * @evidence contracts/portability.md#os-neutral-implementation Project membership and path identity use recorded compiler case policy and injected native operations; OS names do not certify case sensitivity or watcher capabilities.
  * @evidence contracts/performance.md#bound-retention-and-release-resources
@@ -51,13 +54,13 @@ import { notificationsProveProgramUnchanged } from './notificationsProveProgramU
  *   while validators replace current signature/directory witnesses. No new
  *   independent handle or historical epoch collection is acquired here.
  * @evidence contracts/performance.md#efficient-algorithms Every admission first replays all generation-owned typed config predicates; this mandatory cost includes native queries, file bytes or directory membership independently of watcher/epoch qualification.
- *   Fresh-only rejection precedes native identity work. Baseline-bearing paths
+ *   Unsupported fresh-only rejection precedes source baseline work. Baseline-bearing paths
  *   hash delivered text and divergent paths read/hash host bytes; unrelated
  *   absent outputs can return before that hash after an initial K-output index.
  *   Epoch-qualified first checkpoints share the complete proof. Other paths
  *   pay derived-input or complete project/external/universal proof costs,
  *   including path/byte populations, native observations and clock refresh.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay remains mandatory for every delivery and shares only the current synchronous transaction with nested validators; immutable membership is indexed separately.  A complete generation earns one whole-snapshot proof per new delivery epoch; later first deliveries share it, while repeated or persistent deliveries revalidate their authoritative dependency scope.
  */
 function matchesCachedSource(
 /** Generation retaining recorded baselines and distinct proof authority. */
@@ -67,10 +70,11 @@ file,
 /** Delivered text, compared with the recorded baseline rather than adopted. */
 source, 
 /** Current host pass, or undefined for persistent input validation. */
-epoch) {
-    if (!nativeInputPredicatesHold(cached))
+epoch, proof) {
+    if (!nativeInputPredicatesHold(cached, proof))
         return false;
-    if (cached.freshDeliveryOnly === true)
+    const pass = TtscGenerationProof.sharesPass(cached, file, epoch);
+    if (cached.freshDeliveryOnly === true && !pass)
         return false;
     const identities = envelopeDerivation(cached).identityContext;
     const currentKey = toProjectKey(cached.projectRoot, file, identities);
@@ -88,7 +92,7 @@ epoch) {
         if (!outputs.has(identity)) {
             // While the watchers prove the program unchanged, the module is still
             // outside it, and no walk is needed to say so (samchon/ttsc#1398).
-            if (notificationsProveProgramUnchanged(cached)) {
+            if (notificationsProveProgramUnchanged(cached, proof)) {
                 return true;
             }
             // Root discovery deliberately never hashed this unrelated module. Its
@@ -96,7 +100,7 @@ epoch) {
             // whole program must still be current before we reuse that absence: a
             // changed config or importer can bring this file into the next program.
             refreshFilesystemClockReference(TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.get(cached), resultFilesystem(cached.result));
-            return matchesCompleteInputSnapshot(cached);
+            return matchesCompleteInputSnapshot(cached, proof);
         }
     }
     if (expected !== hashText(source)) {
@@ -111,6 +115,8 @@ epoch) {
         }
         reportDivergentDelivery(cached, file);
     }
+    if (pass)
+        return true;
     if (epoch !== undefined && cached.projectSnapshotComplete === true) {
         if (cached.deliveryEpoch !== epoch) {
             // The pass's first delivery. The generation was settled against an
@@ -120,7 +126,7 @@ epoch) {
             // settled against it. That proof is what a per-pass recompile used to buy
             // (samchon/ttsc#1300), at a walk instead of a compile.
             refreshFilesystemClockReference(TRANSFORM_CLOCK_REFERENCE_DIRECTORIES.get(cached), resultFilesystem(cached.result));
-            if (!matchesCompleteInputSnapshot(cached)) {
+            if (!matchesCompleteInputSnapshot(cached, proof)) {
                 return false;
             }
             cached.deliveryEpoch = epoch;
@@ -138,7 +144,7 @@ epoch) {
         cached.projectDirectories !== undefined &&
         cached.projectMutationTracker !== undefined &&
         cached.hostInputMutationTracker !== undefined) {
-        const narrow = matchesNarrowPersistentInputs(cached, file);
+        const narrow = matchesNarrowPersistentInputs(cached, file, proof);
         if (narrow !== undefined) {
             return narrow;
         }
@@ -146,7 +152,7 @@ epoch) {
         // produced. Losing the proof is not evidence of a change, so fall through
         // to the snapshot the entry still carries.
     }
-    return matchesCompleteInputSnapshot(cached);
+    return matchesCompleteInputSnapshot(cached, proof);
 }
 
 export { matchesCachedSource };

package/lib/core/transform/validation/matchesCachedSource.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"matchesCachedSource.mjs","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;AAiBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CG;SACa,mBAAmB;AACjC;AACA,MAAkC;AAClC;AACA,IAAY;AACZ;AACA,MAAc;AACd;AACA,KAAyB,EAAA;AAEzB,IAAA,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC;AAAE,QAAA,OAAO,KAAK;AACpD,IAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI;AAAE,QAAA,OAAO,KAAK;IACnD,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;IACrE,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC;IAClD,MAAM,QAAQ,GACZ,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC;AAC/B,SAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU;AAClE,cAAE,MAAM,CAAC,WAAW,CAAC,UAAU;cAC7B,SAAS,CAAC;AACd,QAAA,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC;IACxC,IACE,QAAQ,KAAK,SAAS;AACtB,QAAA,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,sBAAsB,CACrB,IAAI,EACJ,MAAM,CAAC,gBAAgB,EACvB,KAAK,EACL,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CACzC,EACD;AACA,QAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,sBAAsB,CAC3D,KAAK,EACL,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CACrE,CACF,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;;;AAG1B,YAAA,IAAI,kCAAkC,CAAC,MAAM,CAAC,EAAE;AAC9C,gBAAA,OAAO,IAAI;YACb;;;;;AAKA,YAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,OAAO,4BAA4B,CAAC,MAAM,CAAC;QAC7C;IACF;AACA,IAAA,IAAI,QAAQ,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE;;;;;;QAMjC,IACE,QAAQ,KAAK,SAAS;AACtB,YAAA,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,EACtE;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC;IACvC;IACA,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,uBAAuB,KAAK,IAAI,EAAE;AAClE,QAAA,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,EAAE;;;;;;;AAOlC,YAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,EAAE;AACzC,gBAAA,OAAO,KAAK;YACd;AACA,YAAA,MAAM,CAAC,aAAa,GAAG,KAAK;AAC5B,YAAA,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE;AAC3B,YAAA,OAAO,IAAI;QACb;QACA,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;AACtC,YAAA,OAAO,IAAI;QACb;IACF;AACA,IAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;AAChC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QACjC,MAAM,CAAC,uBAAuB,KAAK,IAAI;QACvC,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACvC,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,wBAAwB,KAAK,SAAS,EAC7C;QACA,MAAM,MAAM,GAAG,6BAA6B,CAAC,MAAM,EAAE,IAAI,CAAC;AAC1D,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,MAAM;QACf;;;;IAIF;AACA,IAAA,OAAO,4BAA4B,CAAC,MAAM,CAAC;AAC7C;;;;"}
+{"version":3,"file":"matchesCachedSource.mjs","sources":["../../../../src/core/transform/validation/matchesCachedSource.ts"],"sourcesContent":[null],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAkBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8CG;SACa,mBAAmB;AACjC;AACA,MAAkC;AAClC;AACA,IAAY;AACZ;AACA,MAAc;AACd;AACA,KAAyB,EACzB,KAAuC,EAAA;AAEvC,IAAA,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,KAAK,CAAC;AAAE,QAAA,OAAO,KAAK;AAC3D,IAAA,MAAM,IAAI,GAAG,mBAAmB,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AAChE,IAAA,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,IAAI,CAAC,IAAI;AAAE,QAAA,OAAO,KAAK;IAC5D,MAAM,UAAU,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,eAAe;AAC7D,IAAA,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC;IACrE,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC;IAClD,MAAM,QAAQ,GACZ,MAAM,CAAC,YAAY,GAAG,QAAQ,CAAC;AAC/B,SAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU;AAClE,cAAE,MAAM,CAAC,WAAW,CAAC,UAAU;cAC7B,SAAS,CAAC;AACd,QAAA,MAAM,CAAC,mBAAmB,GAAG,QAAQ,CAAC;IACxC,IACE,QAAQ,KAAK,SAAS;AACtB,QAAA,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,sBAAsB,CACrB,IAAI,EACJ,MAAM,CAAC,gBAAgB,EACvB,KAAK,EACL,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CACzC,EACD;AACA,QAAA,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACxC,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,sBAAsB,CAC3D,KAAK,EACL,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CACrE,CACF,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;;;AAG1B,YAAA,IAAI,kCAAkC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AACrD,gBAAA,OAAO,IAAI;YACb;;;;;AAKA,YAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,YAAA,OAAO,4BAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;QACpD;IACF;AACA,IAAA,IAAI,QAAQ,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE;;;;;;QAMjC,IACE,QAAQ,KAAK,SAAS;AACtB,YAAA,kBAAkB,CAAC,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,EACtE;AACA,YAAA,OAAO,KAAK;QACd;AACA,QAAA,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC;IACvC;AACA,IAAA,IAAI,IAAI;AAAE,QAAA,OAAO,IAAI;IACrB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,uBAAuB,KAAK,IAAI,EAAE;AAClE,QAAA,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,EAAE;;;;;;;AAOlC,YAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;YACD,IAAI,CAAC,4BAA4B,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;AAChD,gBAAA,OAAO,KAAK;YACd;AACA,YAAA,MAAM,CAAC,aAAa,GAAG,KAAK;AAC5B,YAAA,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE;AAC3B,YAAA,OAAO,IAAI;QACb;QACA,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;AACtC,YAAA,OAAO,IAAI;QACb;IACF;AACA,IAAA,+BAA+B,CAC7B,qCAAqC,CAAC,GAAG,CAAC,MAAM,CAAC,EACjD,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAChC;AACD,IAAA,IACE,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;AAChC,QAAA,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QACjC,MAAM,CAAC,uBAAuB,KAAK,IAAI;QACvC,MAAM,CAAC,kBAAkB,KAAK,SAAS;QACvC,MAAM,CAAC,sBAAsB,KAAK,SAAS;AAC3C,QAAA,MAAM,CAAC,wBAAwB,KAAK,SAAS,EAC7C;QACA,MAAM,MAAM,GAAG,6BAA6B,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC;AACjE,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,OAAO,MAAM;QACf;;;;IAIF;AACA,IAAA,OAAO,4BAA4B,CAAC,MAAM,EAAE,KAAK,CAAC;AACpD;;;;"}

package/lib/core/transform/validation/matchesCompleteInputSnapshot.d.cts

@@ -1,4 +1,5 @@
 import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTransform.cjs";
+import type { TtscGenerationProof } from "./TtscGenerationProof.cjs";
 /**
  * Prove one generation from its own recorded snapshot, with no help from live
  * notifications.
@@ -29,11 +30,11 @@ import type { TtscCachedProjectTransform } from "../cache/TtscCachedProjectTrans
  *   target scans, signature entry materialization/adoption and native identity
  *   work add population/path/digit costs; unresolved content and predicate
  *   replay add bytes/listings. Early rejection skips subsequent domains.
- * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicate replay is not cached by this coordinator and remains mandatory even when the following existing shortcut shares other proof.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
+ * @evidence contracts/performance.md#reuse-equivalent-work Typed config predicates remain mandatory on every delivery. An exact-generation synchronous transaction may share their current replay across nested validators, but no pass or notification shortcut authorizes a later delivery to skip them.  Qualified separable signatures avoid repeated content reads under the caller's refreshed clock. Successful aggregate proof adopts earned project/external signatures and clears unverified flags; it neither clears recorded changes/failed flags nor makes later quiet notifications sufficient without their other admission conditions.
  */
 export declare function matchesCompleteInputSnapshot(
 /**
  * Generation with a complete capture baseline and caller-refreshed clock
  * proof.
  */
-cached: TtscCachedProjectTransform): boolean;
+cached: TtscCachedProjectTransform, proof?: TtscGenerationProof.Transaction): boolean;