code-auditor-mcp 4.1.1 → 5.0.1

package/dist/phase/phaseModel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phaseModel.js","sourceRoot":"","sources":["../../src/phase/phaseModel.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,IAAI,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAkB,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAC5F,OAAO,EAAE,SAAS,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAyBpG,OAAO,EAAE,8BAA8B,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC9H,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAoIjF;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,SAA4B,EAC5B,gBAAsD,EACtD,KAAkB;IAElB,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAE5M,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,GAAG,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAEpM,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,2EAA2E;IAC3E,8EAA8E;IAC9E,oEAAoE;IACpE,6EAA6E;IAC7E,8EAA8E;IAC9E,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAI,SAAgE,CAAC,IAAI,CAAC,CAAC;QAC1F,IAAI,SAAS;YAAE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;gBAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxF,CAAC;IAED,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,+EAA+E;IAC/E,MAAM,MAAM,GAA4B,EAAE,CAAC;IAE3C,+EAA+E;IAC/E,gDAAgD;IAChD,IAAI,KAAK,EAAE,WAAW,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACnF,KAAK,MAAM,CAAC,IAAI,MAAM,SAAS,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,UAAU,EAAE,uBAAuB,EAAE,CAAC,EAAE,CAAC;YAC5F,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,8BAA8B,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,4EAA4E;QAC5E,8EAA8E;QAC9E,6CAA6C;QAC7C,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,IAAI,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,iCAAiC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAC/C,IAAI,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,uEAAuE;YACvE,0DAA0D;YAC1D,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,gBAAgB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3G,CAAC;IACH,CAAC;IAED,OAAO,sBAAsB,CAAC,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,KAA2B,EAC3B,gBAAsD,EACtD,KAAkB,EAClB,SAA2C,EAAE;IAE7C,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7K,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,KAAK,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;IAClE,OAAO;QACL,QAAQ;QACR,eAAe;QACf,gBAAgB;QAChB,sBAAsB;QACtB,iBAAiB;QACjB,oBAAoB;QACpB,cAAc;KACf,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,SAAS,WAAW,CAAC,YAAkC;IACrD,IAAI,CAAC,YAAY;QAAE,OAAO,cAAc,CAAC;IACzC,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,uFAAuF;AACvF,SAAS,eAAe,CAAC,SAAyC,cAAc;IAC9E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAY,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,iFAAiF;IACjF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;QACb,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC7C,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACrB,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,iFAAiF;IACjF,iFAAiF;IACjF,6EAA6E;IAC7E,8CAA8C;IAC9C,IAAI,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;IAClF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sFAAsF;AACtF,KAAK,UAAU,UAAU,CACvB,KAA2B,EAC3B,KAAkB,EAClB,SAA2C,EAAE;IAE7C,MAAM,WAAW,GAAG,KAAK,EAAE,WAAW,CAAC;IACvC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD,MAAM,gBAAgB,GAAsB,EAAE,CAAC;IAE/C,MAAM,SAAS,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAClC,CAAC,CAAC,EAAqB,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAC7E,CAAC;IAEF,0EAA0E;IAC1E,4DAA4D;IAC5D,0EAA0E;IAC1E,yEAAyE;IACzE,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACtB,CAAC;IAED,4EAA4E;IAC5E,MAAM,cAAc,GAAG,CAAC,IAAc,EAAE,IAAY,EAAE,EAAE;QACtD,IAAI,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;YAChB,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC,CAAC;IAEF,2EAA2E;IAC3E,2EAA2E;IAC3E,+EAA+E;IAC/E,8EAA8E;IAC9E,2EAA2E;IAC3E,6EAA6E;IAC7E,EAAE;IACF,6EAA6E;IAC7E,wEAAwE;IACxE,0EAA0E;IAC1E,6EAA6E;IAC7E,uEAAuE;IACvE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,IAAI,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,MAAM,kBAAkB,CACtC,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,CAAC,EAC5D,WAAW,CACZ,CAAC;IAEF,+EAA+E;IAC/E,8DAA8D;IAC9D,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACxC,MAAM,GAAG,GAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAA2B,IAAI,EAAE,CAAC;YAC7D,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YACnB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,UAAU;YAAE,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9D,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,yEAAyE;IACzE,8EAA8E;IAC9E,0EAA0E;IAC1E,+EAA+E;IAC/E,mEAAmE;IACnE,+EAA+E;IAC/E,wEAAwE;IACxE,4CAA4C;IAC5C,IAAI,WAAW,IAAI,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;QACnF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,GAAI,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAyC,IAAI,EAAE,CAAC;YAC3F,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;YACpF,KAAK,CAAC,GAAG,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,wEAAwE;IACxE,8EAA8E;IAC9E,+EAA+E;IAC/E,MAAM,KAAK,EAAE,qBAAqB,EAAE,CAAC,KAAK,CAAC,CAAC;IAE5C,0EAA0E;IAC1E,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CACpC,CAAC,CAAC,EAAsC,EAAE,CACxC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAC5D,CAAC;IACF,6EAA6E;IAC7E,+EAA+E;IAC/E,wEAAwE;IACxE,iFAAiF;IACjF,4EAA4E;IAC5E,oEAAoE;IACpE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAgC,CAAC;IAEnE,MAAM,SAAS,GAAkB;QAC/B,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,cAAc,EAAE,KAAK,EAAE,oBAAoB;QAC3C,eAAe,EAAE,KAAK,EAAE,eAAe;QACvC,kBAAkB,EAAE,KAAK,EAAE,kBAAkB;QAC7C,WAAW,EAAE,KAAK,EAAE,WAAW;QAC/B,cAAc,EAAE,KAAK,EAAE,cAAc;QACrC,UAAU,EAAE,KAAK,EAAE,UAAU;QAC7B,oBAAoB,EAAE,KAAK,EAAE,oBAAoB;QACjD,kBAAkB;KACnB,CAAC;IACF,6EAA6E;IAC7E,kFAAkF;IAClF,gFAAgF;IAChF,iFAAiF;IACjF,4EAA4E;IAC5E,8EAA8E;IAC9E,gFAAgF;IAChF,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,cAAc,CAAC,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAiB,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACnH,CAAC;IAED,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,4EAA4E;IAC5E,0EAA0E;IAC1E,yEAAyE;IACzE,IAAI,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACvC,MAAM,OAAO,GAAI,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAAyC,IAAI,EAAE,CAAC;QACjG,KAAK,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,8EAA8E;IAC9E,0EAA0E;IAC1E,+EAA+E;IAC/E,6EAA6E;IAC7E,+EAA+E;IAC/E,+EAA+E;IAC/E,iCAAiC;IACjC,IAAI,sBAAsB,GAA4B,EAAE,CAAC;IACzD,IAAI,iBAAiB,GAA2B,EAAE,CAAC;IACnD,IAAI,oBAAoB,GAA0B,EAAE,CAAC;IACrD,IAAI,cAAc,GAA6C,EAAE,CAAC;IAClE,MAAM,sBAAsB,GAAG,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAuC,CAAC;IACtG,IAAI,sBAAsB,EAAE,CAAC;QAC3B,iBAAiB,GAAG,CAAC,GAAG,sBAAsB,CAAC,iBAAiB,CAAC,CAAC;QAClE,+EAA+E;QAC/E,MAAM,cAAc,GAAG;YACrB,WAAW,EAAG,KAAK,CAAC,GAAG,CAAC,wBAAwB,CAA4C,IAAI,EAAE;YAClG,UAAU,EAAE,sBAAsB;YAClC,aAAa,EAAG,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAwC,IAAI,EAAE;YAC3F,UAAU,EAAE,KAAK,EAAE,UAAU,IAAI,IAAI;YACrC,oBAAoB,EAAE,KAAK,EAAE,oBAAoB;YACjD,WAAW,EAAE,KAAK,EAAE,WAAW;YAC/B,QAAQ,EAAE,KAAK,EAAE,eAAe;SACjC,CAAC;QACF,sBAAsB,GAAG,8BAA8B,CACpD,KAAK,CAAC,GAAG,CAAC,8BAA8B,CAA2C,IAAI,EAAE,EAC1F,EAAE,GAAG,cAAc,EAAE,YAAY,EAAE,kBAAkB,EAAE,CACxD,CAAC;QACF,+EAA+E;QAC/E,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,MAAM,qBAAqB,GAAG,KAAK,CAAC,GAAG,CAAC,yBAAyB,CAA4C,CAAC;QAC9G,IAAI,qBAAqB,EAAE,CAAC;YAC1B,oBAAoB,GAAG,4BAA4B,CAAC,qBAAqB,EAAE,cAAc,CAAC,CAAC;YAC3F,wEAAwE;YACxE,6EAA6E;YAC7E,6EAA6E;YAC7E,0EAA0E;YAC1E,mBAAmB;YACnB,cAAc,GAAG,sBAAsB,CAAC,qBAAqB,EAAE;gBAC7D,GAAG,cAAc;gBACjB,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,IAAI,IAAI;aAClD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,CAAC;AACvI,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,mBAAmB,CAC1B,KAAiD;IAEjD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,KAA0B,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAChD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS,CAAC,iCAAiC;YACrE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAClD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,MAAM,KAAK,GAAa,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxB,IAAI,IAAI,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,6EAA6E;IAC7E,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IACtD,OAAO,MAA2C,CAAC;AACrD,CAAC;AAED;;;;;mEAKmE;AACnE,KAAK,UAAU,kBAAkB,CAC/B,KAAmB,EACnB,EAA2B,EAC3B,KAAa;IAEb,MAAM,OAAO,GAAG,IAAI,KAAK,CAAI,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,EAAE;QAC/E,OAAO,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;wDAIwD;AACxD,KAAK,UAAU,WAAW,CACxB,KAAgB,EAChB,SAAkC,EAClC,WAA+B,EAC/B,KAAkB;IAElB,IAAI,MAAM,GAAG,MAAM,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAChD,mEAAmE;IACnE,4DAA4D;IAC5D,IAAI,MAAM,IAAI,KAAK,EAAE,UAAU,EAAE,CAAC;QAChC,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA2B,CAAC;IACrD,MAAM,UAAU,GAAmB,EAAE,CAAC;IACtC,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;IACjE,CAAC;IAED,IAAI,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YACtD,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,CAAC;gBACH,MAAM,KAAK,EAAE,aAAa,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/C,iEAAiE;gBACjE,sEAAsE;gBACtE,uEAAuE;gBACvE,oEAAoE;gBACpE,sEAAsE;gBACtE,oEAAoE;gBACpE,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAc,CAAC;gBACvG,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACtC,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;gBACrB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACzB,MAAM,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC1E,IAAI,EAAE;oBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC9B,CAAC;YAAC,MAAM,CAAC;gBACP,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AACjE,CAAC;AAED;;;yBAGyB;AACzB,KAAK,UAAU,UAAU,CACvB,KAA6B,EAC7B,gBAAsD,EACtD,KAAkB;IAElB,MAAM,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAClC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACzD,CAAC;QACF,MAAM,GAAG,GAAG;YACV,KAAK,EAAE,SAAS;YAChB,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO;YAC3B,UAAU,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE;SAChD,CAAC;QACF,8EAA8E;QAC9E,6EAA6E;QAC7E,4EAA4E;QAC5E,yCAAyC;QACzC,QAAQ,CAAC,IAAI,CAAC,GAAI,MAAM,mBAAmB,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAY,CAAC,CAAwB,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/phase/producers.d.ts

@@ -0,0 +1,450 @@
+/**
+ * Spec 68 §3.1 — one producer per (fact kind, format), enforced by a nested
+ * mapped type.
+ *
+ * `ProducerMap` is a mapped type over {@link FileFactKind}, and for each kind a
+ * second mapped type over that kind's {@link SupplyingFormats} — exhaustive by
+ * construction in both axes. A file fact kind with no entry (or a format named
+ * in `SupplyingFormats` with no producer) fails the type (residue check #1 in
+ * checks.ts); a second producer for one (kind, format) is a duplicate object
+ * key (single-producer check). There is no list to be omitted from — which is
+ * the defect class Spec 68 §0, row 2 exists to remove.
+ *
+ * The split is the fix for the naming rule in its second form: a fact kind is a
+ * *concept*, not a language. `file-symbols` is supplied by three formats that
+ * all run one format-agnostic extractor, so it has three (kind, format) entries
+ * sharing a `process`; a future `channel-operations` would have a `go`, a
+ * `rust` and a `typescript` entry with *different* extractors. A corpus
+ * processor (a derived fact, no format) lives in {@link CORPUS_PRODUCERS}, not
+ * here — the DAG (§5) walks that map's `needs` edges.
+ *
+ * Only kinds with a producer that returns *real* data appear. A planned kind
+ * without a working producer is absent from {@link FactShapes} and from these
+ * maps by construction; the migration map (spec68-rule-migration-map.md) holds
+ * the plan, the type holds only what runs.
+ */
+import type { FactKind, FileFactKind, CorpusFactKind, FileProcessor, CorpusProcessor, SupplyingFormats, ResolutionFact, MigrationHistory, MinedConvention, Format, SchemaValidationFact, ReachabilityFact, CallGraphFact, HotspotFact, CoverageFact, ClonePairHistoryFact, DefinedClassesFact, UnreadStyleSourceFact, ColorValuesFact, ReceiverProvenanceFact, QuerySiteFact, SchemaUsageFact, ResolvedQuery, LoopQueryFact } from './types.js';
+/**
+ * Exhaustive over both axes: every file fact kind, then every supplying format.
+ * `satisfies` is the single-producer check (a duplicate (kind, format) is a
+ * duplicate key; a missing kind or format fails the type).
+ */
+export type ProducerMap = {
+    readonly [K in FileFactKind]: {
+        readonly [F in SupplyingFormats[K]]: FileProcessor<K, F>;
+    };
+};
+/** Corpus producers are exhaustive over {@link CorpusFactKind} the same way. */
+export type CorpusProducerMap = {
+    readonly [K in CorpusFactKind]: CorpusProcessor<K, readonly FactKind[]>;
+};
+/**
+ * The fact kinds a producer currently serves, derived from the actual keys of
+ * both maps — never re-declared. Add a producer to either and this widens with
+ * it; `checks.ts` residue #1 stays `never` only while every kind is produced.
+ */
+export type ProducedFactKind = keyof typeof PRODUCERS | keyof typeof CORPUS_PRODUCERS;
+export declare const PRODUCERS: {
+    'file-symbols': {
+        typescript: FileProcessor<"file-symbols", "typescript">;
+        tsx: FileProcessor<"file-symbols", "tsx">;
+        javascript: FileProcessor<"file-symbols", "javascript">;
+    };
+    'function-index': {
+        typescript: FileProcessor<"function-index", "typescript">;
+        tsx: FileProcessor<"function-index", "tsx">;
+        javascript: FileProcessor<"function-index", "javascript">;
+    };
+    'query-site-candidates': {
+        typescript: FileProcessor<"query-site-candidates", "typescript">;
+        tsx: FileProcessor<"query-site-candidates", "tsx">;
+        javascript: FileProcessor<"query-site-candidates", "javascript">;
+    };
+    imports: {
+        typescript: FileProcessor<"imports", "typescript">;
+        tsx: FileProcessor<"imports", "tsx">;
+        javascript: FileProcessor<"imports", "javascript">;
+        go: FileProcessor<"imports", "go">;
+    };
+    'import-specifiers': {
+        typescript: FileProcessor<"import-specifiers", "typescript">;
+        tsx: FileProcessor<"import-specifiers", "tsx">;
+        javascript: FileProcessor<"import-specifiers", "javascript">;
+    };
+    'export-symbols': {
+        typescript: FileProcessor<"export-symbols", "typescript">;
+        tsx: FileProcessor<"export-symbols", "tsx">;
+        javascript: FileProcessor<"export-symbols", "javascript">;
+    };
+    'export-form': {
+        typescript: FileProcessor<"export-form", "typescript">;
+        tsx: FileProcessor<"export-form", "tsx">;
+        javascript: FileProcessor<"export-form", "javascript">;
+    };
+    'import-form': {
+        typescript: FileProcessor<"import-form", "typescript">;
+        tsx: FileProcessor<"import-form", "tsx">;
+        javascript: FileProcessor<"import-form", "javascript">;
+    };
+    'string-literals': {
+        typescript: FileProcessor<"string-literals", "typescript">;
+        tsx: FileProcessor<"string-literals", "tsx">;
+        javascript: FileProcessor<"string-literals", "javascript">;
+    };
+    'secret-candidates': {
+        typescript: FileProcessor<"secret-candidates", "typescript">;
+        tsx: FileProcessor<"secret-candidates", "tsx">;
+        javascript: FileProcessor<"secret-candidates", "javascript">;
+    };
+    'security-candidates': {
+        typescript: FileProcessor<"security-candidates", "typescript">;
+        tsx: FileProcessor<"security-candidates", "tsx">;
+        javascript: FileProcessor<"security-candidates", "javascript">;
+    };
+    'ddl-declarations': {
+        typescript: FileProcessor<"ddl-declarations", "typescript">;
+        tsx: FileProcessor<"ddl-declarations", "tsx">;
+        javascript: FileProcessor<"ddl-declarations", "javascript">;
+        sql: FileProcessor<"ddl-declarations", "sql">;
+    };
+    'schema-usage-candidates': {
+        typescript: FileProcessor<"schema-usage-candidates", "typescript">;
+        tsx: FileProcessor<"schema-usage-candidates", "tsx">;
+        javascript: FileProcessor<"schema-usage-candidates", "javascript">;
+    };
+    'schema-objects': {
+        typescript: FileProcessor<"schema-objects", "typescript">;
+        tsx: FileProcessor<"schema-objects", "tsx">;
+        javascript: FileProcessor<"schema-objects", "javascript">;
+    };
+    'style-declarations': {
+        css: FileProcessor<"style-declarations", "css">;
+        scss: FileProcessor<"style-declarations", "scss">;
+        typescript: FileProcessor<"style-declarations", "typescript">;
+        tsx: FileProcessor<"style-declarations", "tsx">;
+        javascript: FileProcessor<"style-declarations", "javascript">;
+        markup: FileProcessor<"style-declarations", "markup">;
+    };
+    'cross-language-entities': {
+        typescript: FileProcessor<"cross-language-entities", "typescript">;
+        tsx: FileProcessor<"cross-language-entities", "tsx">;
+        javascript: FileProcessor<"cross-language-entities", "javascript">;
+        go: FileProcessor<"cross-language-entities", "go">;
+    };
+    'data-access-calls-candidates': {
+        typescript: FileProcessor<"data-access-calls-candidates", "typescript">;
+        tsx: FileProcessor<"data-access-calls-candidates", "tsx">;
+        javascript: FileProcessor<"data-access-calls-candidates", "javascript">;
+        go: FileProcessor<"data-access-calls-candidates", "go">;
+    };
+    'loop-query-candidates': {
+        typescript: FileProcessor<"loop-query-candidates", "typescript">;
+        tsx: FileProcessor<"loop-query-candidates", "tsx">;
+        javascript: FileProcessor<"loop-query-candidates", "javascript">;
+    };
+    'dynamic-sql': {
+        typescript: FileProcessor<"dynamic-sql", "typescript">;
+        tsx: FileProcessor<"dynamic-sql", "tsx">;
+        javascript: FileProcessor<"dynamic-sql", "javascript">;
+    };
+    'react-component': {
+        typescript: FileProcessor<"react-component", "typescript">;
+        tsx: FileProcessor<"react-component", "tsx">;
+        javascript: FileProcessor<"react-component", "javascript">;
+    };
+    'file-header': {
+        typescript: FileProcessor<"file-header", "typescript">;
+        tsx: FileProcessor<"file-header", "tsx">;
+        javascript: FileProcessor<"file-header", "javascript">;
+    };
+    'code-block': {
+        typescript: FileProcessor<"code-block", "typescript">;
+        tsx: FileProcessor<"code-block", "tsx">;
+        javascript: FileProcessor<"code-block", "javascript">;
+    };
+    'json-document': {
+        json: FileProcessor<"json-document", "json">;
+    };
+    'file-imports': {
+        typescript: FileProcessor<"file-imports", "typescript">;
+        tsx: FileProcessor<"file-imports", "tsx">;
+        javascript: FileProcessor<"file-imports", "javascript">;
+        go: FileProcessor<"file-imports", "go">;
+    };
+    'type-declarations': {
+        go: FileProcessor<"type-declarations", "go">;
+    };
+    'go-functions': {
+        go: FileProcessor<"go-functions", "go">;
+    };
+    'go-switches': {
+        go: FileProcessor<"go-switches", "go">;
+    };
+    'error-bindings': {
+        go: FileProcessor<"error-bindings", "go">;
+    };
+    'concurrency-primitives': {
+        go: FileProcessor<"concurrency-primitives", "go">;
+    };
+    'channel-operations': {
+        go: FileProcessor<"channel-operations", "go">;
+    };
+    'go-package-bindings': {
+        go: FileProcessor<"go-package-bindings", "go">;
+    };
+    'within-file-provenance': {
+        typescript: FileProcessor<"within-file-provenance", "typescript">;
+        tsx: FileProcessor<"within-file-provenance", "tsx">;
+        javascript: FileProcessor<"within-file-provenance", "javascript">;
+        go: FileProcessor<"within-file-provenance", "go">;
+    };
+    'receiver-activity': {
+        typescript: FileProcessor<"receiver-activity", "typescript">;
+        tsx: FileProcessor<"receiver-activity", "tsx">;
+        javascript: FileProcessor<"receiver-activity", "javascript">;
+    };
+    'batch-functions': {
+        typescript: FileProcessor<"batch-functions", "typescript">;
+        tsx: FileProcessor<"batch-functions", "tsx">;
+        javascript: FileProcessor<"batch-functions", "javascript">;
+    };
+};
+export declare const CORPUS_PRODUCERS: {
+    resolution: {
+        id: string;
+        produces: "resolution";
+        needs: ["ddl-declarations", "schema-objects", "file-symbols"];
+        process(facts: {
+            readonly "file-symbols": import("./types.js").FileSymbols[];
+            readonly "ddl-declarations": import("./types.js").SchemaDeclaration[];
+            readonly "schema-objects": import("./types.js").SchemaObject[];
+        }, ctx?: import("./types.js").CorpusContext | undefined): ResolutionFact;
+    };
+    'migration-history': {
+        id: string;
+        produces: "migration-history";
+        needs: ["ddl-declarations"];
+        process(facts: {
+            readonly "ddl-declarations": import("./types.js").SchemaDeclaration[];
+        }): MigrationHistory;
+    };
+    'mined-conventions': {
+        id: string;
+        produces: "mined-conventions";
+        needs: ["function-index", "export-form", "import-form"];
+        process(facts: {
+            readonly "import-form": import("./types.js").ImportFormFact[];
+            readonly "function-index": import("./types.js").FunctionIndexFact[];
+            readonly "export-form": import("./types.js").ExportFormFact[];
+        }): MinedConvention[];
+    };
+    'schema-validations': {
+        id: string;
+        produces: "schema-validations";
+        needs: ["json-document"];
+        process(facts: {
+            readonly "json-document": import("./types.js").JsonDocumentFact[];
+        }): SchemaValidationFact[];
+    };
+    'color-values': {
+        id: string;
+        produces: "color-values";
+        needs: ["style-declarations"];
+        process(facts: {
+            readonly "style-declarations": import("./types.js").StyleDeclarationsFile[];
+        }): ColorValuesFact[];
+    };
+    reachability: {
+        id: string;
+        produces: "reachability";
+        needs: ["file-imports"];
+        process(facts: {
+            readonly "file-imports": import("./types.js").FileImportsFact[];
+        }, ctx: import("./types.js").CorpusContext | undefined): ReachabilityFact;
+    };
+    'call-graph': {
+        id: string;
+        produces: "call-graph";
+        needs: ["function-index"];
+        process(facts: {
+            readonly "function-index": import("./types.js").FunctionIndexFact[];
+        }, ctx: import("./types.js").CorpusContext | undefined): CallGraphFact;
+    };
+    hotspot: {
+        id: string;
+        produces: "hotspot";
+        needs: [];
+        process(_facts: {}, ctx: import("./types.js").CorpusContext | undefined): HotspotFact[];
+    };
+    coverage: {
+        id: string;
+        produces: "coverage";
+        needs: [];
+        process(_facts: {}, ctx: import("./types.js").CorpusContext | undefined): CoverageFact;
+    };
+    'clone-pair-history': {
+        id: string;
+        produces: "clone-pair-history";
+        needs: [];
+        process(_facts: {}, ctx: import("./types.js").CorpusContext | undefined): ClonePairHistoryFact;
+    };
+    'defined-classes': {
+        id: string;
+        produces: "defined-classes";
+        needs: ["style-declarations"];
+        process(facts: {
+            readonly "style-declarations": import("./types.js").StyleDeclarationsFile[];
+        }): DefinedClassesFact[];
+    };
+    'unread-style-sources': {
+        id: string;
+        produces: "unread-style-sources";
+        needs: ["style-declarations"];
+        process(facts: {
+            readonly "style-declarations": import("./types.js").StyleDeclarationsFile[];
+        }): UnreadStyleSourceFact[];
+    };
+    'receiver-provenance': {
+        id: string;
+        produces: "receiver-provenance";
+        needs: ["within-file-provenance", "import-specifiers", "export-symbols", "go-package-bindings"];
+        process(facts: {
+            readonly "import-specifiers": import("./types.js").ImportSpecifiersFact[];
+            readonly "export-symbols": import("./types.js").ExportSymbolFact[];
+            readonly "go-package-bindings": import("./types.js").GoPackageBindingFact[];
+            readonly "within-file-provenance": import("./types.js").WithinFileProvenanceFact[];
+        }, ctx?: import("./types.js").CorpusContext | undefined): ReceiverProvenanceFact;
+    };
+    'query-sites': {
+        id: string;
+        produces: "query-sites";
+        needs: ["query-site-candidates", "within-file-provenance", "receiver-provenance", "receiver-activity"];
+        process(facts: {
+            readonly "query-site-candidates": import("./types.js").QuerySiteCandidatesFact[];
+            readonly "within-file-provenance": import("./types.js").WithinFileProvenanceFact[];
+            readonly "receiver-activity": import("./types.js").ReceiverActivityFact[];
+            readonly "receiver-provenance": ReceiverProvenanceFact;
+        }, ctx: import("./types.js").CorpusContext | undefined): QuerySiteFact[];
+    };
+    'schema-usage': {
+        id: string;
+        produces: "schema-usage";
+        needs: ["schema-usage-candidates", "within-file-provenance", "receiver-provenance", "receiver-activity"];
+        process(facts: {
+            readonly "schema-usage-candidates": import("./types.js").SchemaUsageCandidatesFact[];
+            readonly "within-file-provenance": import("./types.js").WithinFileProvenanceFact[];
+            readonly "receiver-activity": import("./types.js").ReceiverActivityFact[];
+            readonly "receiver-provenance": ReceiverProvenanceFact;
+        }, ctx: import("./types.js").CorpusContext | undefined): SchemaUsageFact[];
+    };
+    'data-access-calls': {
+        id: string;
+        produces: "data-access-calls";
+        needs: ["data-access-calls-candidates", "within-file-provenance", "receiver-provenance", "receiver-activity"];
+        process(facts: {
+            readonly "data-access-calls-candidates": import("./types.js").DataAccessCallCandidate[];
+            readonly "within-file-provenance": import("./types.js").WithinFileProvenanceFact[];
+            readonly "receiver-activity": import("./types.js").ReceiverActivityFact[];
+            readonly "receiver-provenance": ReceiverProvenanceFact;
+        }, ctx: import("./types.js").CorpusContext | undefined): ResolvedQuery[];
+    };
+    'loop-queries': {
+        id: string;
+        produces: "loop-queries";
+        needs: ["loop-query-candidates", "within-file-provenance", "receiver-provenance", "receiver-activity"];
+        process(facts: {
+            readonly "loop-query-candidates": import("./types.js").LoopQueryRawCandidate[];
+            readonly "within-file-provenance": import("./types.js").WithinFileProvenanceFact[];
+            readonly "receiver-activity": import("./types.js").ReceiverActivityFact[];
+            readonly "receiver-provenance": ReceiverProvenanceFact;
+        }, ctx: import("./types.js").CorpusContext | undefined): LoopQueryFact[];
+    };
+};
+/**
+ * The producer that serves `kind` from `format`, or `undefined` when that
+ * format cannot supply the concept (which is not a defect — the caller skips
+ * the file and §8 reports the rule `notApplicable` for it). The dynamic format
+ * in a parsed file is a full {@link Format}, so the lookup is a guarded cast.
+ *
+ * @param kind - The fact kind whose producer is looked up.
+ * @param format - The format the parsed file declares.
+ * @returns The producer for `(kind, format)`, or `undefined` when unsupplied.
+ */
+export declare function fileProducerFor<K extends FileFactKind>(kind: K, format: Format): FileProcessor<K, SupplyingFormats[K]> | undefined;
+/**
+ * Spec 69 R1 (criterion 3) — every file processor with no statable oracle,
+ * named by its `${kind}.${format}` id with the reason. The run enumerates these
+ * so an unprovable fact is reported, never silently assumed complete. The list
+ * is static because `oracle` is a static property of the processor contract,
+ * not a per-run state: a processor that *could* state an oracle but does not is
+ * caught at compile time (the `oracle` field is required), so this is only ever
+ * the processors that genuinely have none.
+ *
+ * @returns The `${kind}.${format}` id and reason for every oracle-less processor.
+ */
+export declare function noOracleProcessors(): readonly {
+    processor: string;
+    reason: string;
+}[];
+/**
+ * The fact-kind vocabulary as a runtime value, kept in lockstep with
+ * {@link FactShapes} by the `satisfies` check: a kind added to FactShapes but
+ * missing here — or present here but absent from FactShapes — fails to compile.
+ * The producer-liveness test derives its expected producer count from this
+ * instead of a hand-maintained literal, so the number can only change in the
+ * same edit that changes the vocabulary.
+ */
+export declare const FACT_KINDS: {
+    'file-symbols': true;
+    'function-index': true;
+    'query-sites': true;
+    'query-site-candidates': true;
+    imports: true;
+    'import-specifiers': true;
+    'export-symbols': true;
+    'export-form': true;
+    'import-form': true;
+    'string-literals': true;
+    'secret-candidates': true;
+    'security-candidates': true;
+    'ddl-declarations': true;
+    'schema-usage': true;
+    'schema-usage-candidates': true;
+    'schema-objects': true;
+    'style-declarations': true;
+    'color-values': true;
+    'cross-language-entities': true;
+    'data-access-calls': true;
+    'data-access-calls-candidates': true;
+    'loop-queries': true;
+    'loop-query-candidates': true;
+    'dynamic-sql': true;
+    resolution: true;
+    'migration-history': true;
+    'mined-conventions': true;
+    'react-component': true;
+    'file-header': true;
+    'code-block': true;
+    'json-document': true;
+    'schema-validations': true;
+    'file-imports': true;
+    reachability: true;
+    'type-declarations': true;
+    'go-functions': true;
+    'go-package-bindings': true;
+    'within-file-provenance': true;
+    'receiver-activity': true;
+    'receiver-provenance': true;
+    'go-switches': true;
+    'error-bindings': true;
+    'concurrency-primitives': true;
+    'channel-operations': true;
+    'call-graph': true;
+    'batch-functions': true;
+    hotspot: true;
+    coverage: true;
+    'clone-pair-history': true;
+    'defined-classes': true;
+    'unread-style-sources': true;
+};
+//# sourceMappingURL=producers.d.ts.map

package/dist/phase/producers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"producers.d.ts","sourceRoot":"","sources":["../../src/phase/producers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,aAAa,EACb,eAAe,EACf,gBAAgB,EAKhB,cAAc,EAId,gBAAgB,EAChB,eAAe,EACf,MAAM,EACN,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,WAAW,EACX,YAAY,EACZ,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,sBAAsB,EACtB,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,EACd,MAAM,YAAY,CAAC;AAoFpB;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,CAAC,IAAI,YAAY,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;KAAE;CAC3F,CAAC;AAEF,gFAAgF;AAChF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,EAAE,CAAC,IAAI,cAAc,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CACxE,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,OAAO,SAAS,GAAG,MAAM,OAAO,gBAAgB,CAAC;AA+FtF,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA4OC,CAAC;AAUxB,eAAO,MAAM,gBAAgB;;;;;;;;;kEAKH,cAAc;;;;;;;;YAwGpB,gBAAgB;;;;;;;;;;YAyBhB,eAAe,EAAE;;;;;;;;YAWjB,oBAAoB,EAAE;;;;;;;;YActB,eAAe,EAAE;;;;;;;;iEA+BZ,gBAAgB;;;;;;;;iEAwBhB,aAAa;;;;;;kFAwCZ,WAAW,EAAE;;;;;;kFAoBb,YAAY;;;;;;kFA6BZ,oBAAoB;;;;;;;;YAmD1B,kBAAkB,EAAE;;;;;;;;YAmCpB,qBAAqB,EAAE;;;;;;;;;;;kEA4BjB,sBAAsB;;;;;;;;;;;iEAiCvB,aAAa,EAAE;;;;;;;;;;;iEA0Bf,eAAe,EAAE;;;;;;;;;;;iEA4BjB,aAAa,EAAE;;;;;;;;;;;iEAwBf,aAAa,EAAE;;CAaX,CAAC;AAE9B;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,CAAC,SAAS,YAAY,EACpD,IAAI,EAAE,CAAC,EACP,MAAM,EAAE,MAAM,GACb,aAAa,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAGnD;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,IAAI,SAAS;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,CAQrF;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoDW,CAAC"}