open-multi-agent-kit 0.80.6 → 0.80.7

package/dist/core/context-graph-memory-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-memory-store.js","sourceRoot":"","sources":["../../src/core/context-graph-memory-store.ts"],"names":[],"mappings":"AA6JA,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAS;IACjD,UAAU;IACV,eAAe;IACf,gBAAgB;IAChB,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;IACf,gBAAgB;CAChB,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAS,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;AACvH,MAAM,0BAA0B,GAAqC,CAAC,QAAQ,CAAC,CAAC;AAEhF,MAAM,UAAU,mBAAmB,CAAC,KAAkB,EAAiC;IACtF,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IAChG,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACxF,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;IACrF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAAA,CACxC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAwB,EAAoC;IAClG,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IACnC,IAAI,2BAA2B,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;IACpG,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACrG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAAA,CACxC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAmC,EAAU;IACzF,MAAM,iBAAiB,GAAG,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC3D,MAAM,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC1C,OAAO,OAAO,CAAC,iBAAiB,GAAG,CAAC,CAAC,GAAG,iBAAiB,CAAC,GAAG,kBAAkB,GAAG,MAAM,CAAC,CAAC;AAAA,CAC1F;AAED,MAAM,UAAU,kCAAkC,CACjD,UAAsC,EACtC,OAAO,GAA8B,EAAE,EACX;IAC5B,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,0BAA0B,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,CAAC,GAAG,UAAU,CAAC;SAChC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,qBAAqB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;SAC/G,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAC5B,MAAM,SAAS,GAA8B,EAAE,CAAC;IAEhD,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,SAAS;YACxC,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YACzE,IAAI,CAAC,YAAY;gBAAE,SAAS;YAC5B,SAAS,CAAC,IAAI,CAAC;gBACd,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,YAAY,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC;gBACjC,YAAY,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;gBACzC,YAAY;aACZ,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,OAAO,SAAS,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACR,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CACzG,CAAC;AAAA,CACF;AAED,MAAM,OAAO,+BAA+B;IAC1B,WAAW,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC3C,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IAChD,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE7D,KAAK,CAAC,aAAa,CAAC,UAA4B,EAA6B;QAC5E,gBAAgB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACnC,gBAAgB,CAAC,UAAU,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;QACjD,YAAY,CAAC,UAAU,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxC,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;IAAA,CAC/B;IAED,KAAK,CAAC,SAAS,CAAC,MAAoB,EAAyB;QAC5D,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACzC,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9D,mBAAmB,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC,CAAC;QAC1D,mBAAmB,CAAC,MAAM,CAAC,eAAe,EAAE,wBAAwB,CAAC,CAAC;QACtE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACrC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAAA,CAC3B;IAED,KAAK,CAAC,YAAY,CAAC,SAA0B,EAA4B;QACxE,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;QAC/C,qBAAqB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC1C,qBAAqB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC5C,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC5B,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACpE,mBAAmB,CAAC,SAAS,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;QAChE,mBAAmB,CAAC,SAAS,CAAC,eAAe,EAAE,2BAA2B,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;IAAA,CAC9B;IAED,KAAK,CAAC,UAAU,CAAC,OAAsB,EAA0B;QAChE,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAChC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;QAC3C,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACxC,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;QACvD,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAChE,mBAAmB,CAAC,OAAO,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;QAC5D,mBAAmB,CAAC,OAAO,CAAC,eAAe,EAAE,yBAAyB,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACrC,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC;IAAA,CAC5B;IAED,KAAK,CAAC,aAAa,CAAC,EAAU,EAAyC;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5C,OAAO,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAAA,CAC5D;IAED,KAAK,CAAC,cAAc,CAAC,KAAgC,EAA8B;QAClF,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC/C,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,0BAA0B,CAAC,CAAC;QACvE,MAAM,mBAAmB,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;aAC5C,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;aAC9D,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;aACrF,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;aACrD,MAAM,CACN,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,0BAA0B,KAAK,IAAI,IAAI,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAC3G;aACA,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;aAC3E,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;aAC/F,IAAI,CAAC,mBAAmB,CAAC;aACzB,GAAG,CAAC,cAAc,CAAC,CAAC;QACtB,OAAO,QAAQ,CAAC;IAAA,CAChB;IAED,KAAK,CAAC,aAAa,CAAC,KAAwB,EAA8B;QACzE,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC;YAC5C,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,0BAA0B,EAAE,KAAK,CAAC,0BAA0B;SAC5D,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU;aACrB,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,oBAAoB,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;aAC7E,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC;aAC1D,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7F,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAAA,CAC5B;IAEO,qBAAqB,CAAC,YAAoB,EAAE,KAAkB,EAAQ;QAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACtD,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,YAAY,EAAE,CAAC,CAAC;QACjF,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,YAAY,EAAE,CAAC,CAAC;IAAA,CAC9G;IAEO,gBAAgB,CAAC,KAAkB,EAAE,MAA8B,EAAe;QACzF,OAAO,IAAI,GAAG,CACb,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;aAC5B,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;aAC1F,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CACpC,CAAC;IAAA,CACF;CACD;AAED,SAAS,gBAAgB,CAAC,KAAkB,EAAQ;IACnD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,EAAE;QAAE,OAAO;IACxB,MAAM,IAAI,KAAK,CAAC,iCAAiC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAAA,CACvF;AAED,SAAS,qBAAqB,CAAC,QAAwB,EAAQ;IAC9D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,QAAQ,CAAC,EAAE;QAAE,OAAO;IACxB,IAAI,QAAQ,CAAC,MAAM,KAAK,oBAAoB;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,EAAE,CAAC,CAAC;IACxG,MAAM,IAAI,KAAK,CAAC,gCAAgC,QAAQ,EAAE,CAAC,CAAC;AAAA,CAC5D;AAED,SAAS,gBAAgB,CAAC,SAA0B,EAAQ;IAC3D,IAAI,SAAS,CAAC,aAAa,KAAK,UAAU,IAAI,SAAS,CAAC,aAAa,KAAK,UAAU;QAAE,OAAO;IAC7F,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/F,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IAChF,CAAC;AAAA,CACD;AAED,SAAS,qBAAqB,CAAC,UAAkB,EAAQ;IACxD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IACjE,CAAC;AAAA,CACD;AAED,SAAS,gBAAgB,CAAC,EAAU,EAAE,KAAa,EAAQ;IAC1D,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;AAAA,CAChE;AAED,SAAS,mBAAmB,CAAC,QAAgC,EAAE,KAAa,EAAQ;IACnF,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC;IAC3G,IAAI,EAAE,IAAI,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,iCAAiC,CAAC,CAAC;AAAA,CAC3E;AAED,SAAS,YAAY,CAAC,OAA8B,EAAE,KAAa,EAAU;IAC5E,MAAM,SAAS,GAAG,OAAO,YAAY,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,KAAK,EAAE,CAAC,CAAC;IACvF,OAAO,SAAS,CAAC;AAAA,CACjB;AAED,SAAS,gBAAgB,CAAC,QAAgC,EAAE,OAA0C,EAAW;IAChH,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAAA,CACpE;AAED,SAAS,sBAAsB,CAC9B,QAAgC,EAChC,eAAkD,EACxC;IACV,IAAI,eAAe,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC;IACpE,OAAO,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAAA,CACpF;AAED,SAAS,gBAAgB,CAAC,QAAgC,EAAE,SAAiB,EAAW;IACvF,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IAC1D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC;IAC3G,OAAO,IAAI,IAAI,SAAS,IAAI,SAAS,GAAG,EAAE,CAAC;AAAA,CAC3C;AAED,SAAS,kBAAkB,CAC1B,IAA4B,EAC5B,KAA6B,EACQ;IACrC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;IAC7G,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,oBAAoB,CAAC,CAAC;IACjH,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,SAAS,IAAI,WAAW;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO;QACN,IAAI,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE;QACzC,EAAE,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KAC9E,CAAC;AAAA,CACF;AAED,SAAS,qBAAqB,CAAC,SAA0B,EAAE,oBAAyC,EAAW;IAC9G,OAAO,SAAS,CAAC,UAAU,KAAK,IAAI,IAAI,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AAAA,CACtF;AAED,SAAS,WAAW,CAAC,IAAqB,EAAE,KAAsB,EAAW;IAC5E,OAAO,CACN,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;QAClC,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;QAClC,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;QAClC,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAC5E,CAAC;AAAA,CACF;AAED,SAAS,oBAAoB,CAC5B,SAA0B,EAC1B,KAAa,EACb,WAA8B,EACZ;IAClB,MAAM,UAAU,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;IAC/F,MAAM,eAAe,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,WAAW,GAChB,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,mBAAmB,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,OAAO;QACN,SAAS;QACT,KAAK,EAAE,OAAO,CAAC,aAAa,GAAG,WAAW,CAAC;QAC3C,aAAa;KACb,CAAC;AAAA,CACF;AAED,SAAS,sBAAsB,CAAC,SAA0B,EAAU;IACnE,OAAO;QACN,SAAS,CAAC,EAAE;QACZ,SAAS,CAAC,SAAS;QACnB,SAAS,CAAC,SAAS;QACnB,SAAS,CAAC,QAAQ;QAClB,sBAAsB,CAAC,SAAS,CAAC,MAAM,CAAC;KACxC;SACC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SACjC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb;AAED,SAAS,YAAY,CAAC,IAAY,EAAY;IAC7C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAAA,CACpC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAY;IACzC,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC;AAAA,CAChE;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAU;IAClD,OAAO,IAAI;SACT,OAAO,CAAC,0BAA0B,EAAE,OAAO,CAAC;SAC5C,SAAS,CAAC,MAAM,CAAC;SACjB,WAAW,EAAE,CAAC;AAAA,CAChB;AAED,SAAS,sBAAsB,CAAC,KAAsB,EAAU;IAC/D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC1F,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9F,IAAI,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxG,MAAM,MAAM,GAA4D,KAAK,CAAC;IAC9E,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;SACjC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;SAC1C,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,sBAAsB,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAAA,CAChC;AAED,SAAS,iBAAiB,CAAC,KAAsB,EAAuC;IACvF,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAAA,CAC5B;AAED,SAAS,mBAAmB,CAAC,IAAqB,EAAE,KAAsB,EAAU;IACnF,OAAO,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAAA,CACvC;AAED,SAAS,iBAAiB,CAAC,IAAqB,EAAE,KAAsB,EAAU;IACjF,OAAO,CACN,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;QACxB,KAAK,CAAC,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU;QACtD,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CACnD,CAAC;AAAA,CACF;AAED,SAAS,SAAS,CAAC,IAAiB,EAAE,KAAkB,EAAW;IAClE,OAAO,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;AAAA,CAChH;AAED,SAAS,iBAAiB,CAAC,MAAwD,EAAU;IAC5F,IAAI,MAAM,KAAK,sBAAsB;QAAE,OAAO,aAAa,CAAC;IAC5D,IAAI,MAAM,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,QAAQ,CAAC;AAAA,CAChB;AAED,SAAS,UAAU,CAAC,KAAkB,EAAe;IACpD,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAAA,CACxF;AAED,SAAS,aAAa,CAAC,QAAgC,EAA0B;IAChF,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;AAAA,CAChD;AAED,SAAS,eAAe,CAAC,UAAmD,EAAkC;IAC7G,OAAO,UAAU,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;AAAA,CAClD;AAED,SAAS,eAAe,CAAC,UAA4B,EAAoB;IACxE,OAAO,EAAE,GAAG,UAAU,EAAE,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;AAAA,CAC9D;AAED,SAAS,WAAW,CAAC,MAAoB,EAAgB;IACxD,OAAO;QACN,GAAG,MAAM;QACT,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC;QAC/B,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACzD,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC;QAC1C,eAAe,EAAE,aAAa,CAAC,MAAM,CAAC,eAAe,CAAC;KACtD,CAAC;AAAA,CACF;AAED,SAAS,cAAc,CAAC,SAA0B,EAAmB;IACpE,OAAO;QACN,GAAG,SAAS;QACZ,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC;QAClC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC;QACxC,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC;QAC7C,eAAe,EAAE,aAAa,CAAC,SAAS,CAAC,eAAe,CAAC;QACzD,UAAU,EAAE,eAAe,CAAC,SAAS,CAAC,UAAU,CAAC;KACjD,CAAC;AAAA,CACF;AAED,SAAS,cAAc,CAAC,KAAsB,EAAmB;IAChE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5G,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,iBAAiB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAoC,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,YAAY,CAAC,OAAsB,EAAiB;IAC5D,OAAO;QACN,GAAG,OAAO;QACV,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC;QAChC,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3C,eAAe,EAAE,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC;QACvD,UAAU,EAAE,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC;KAC/C,CAAC;AAAA,CACF;AAED,SAAS,OAAO,CAAC,KAAa,EAAU;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACpD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AAAA,CACb","sourcesContent":["export type MemoryGenerationStatus = \"active\" | \"archived\";\nexport type MemoryAssertionKind = \"observed\" | \"inferred\" | \"declared\";\nexport type MemoryAssertionStatus = \"active\" | \"superseded\" | \"retracted\";\n\nexport type AllowedMemoryCategory =\n\t| \"decision\"\n\t| \"verified_fact\"\n\t| \"resolved_error\"\n\t| \"user_preference\"\n\t| \"unresolved_task\"\n\t| \"test_evidence\"\n\t| \"build_evidence\";\n\nexport type ForbiddenMemoryCategory = \"raw_conversation\" | \"raw_shell_output\" | \"speculation\" | \"secret\";\nexport type MemoryCategory = AllowedMemoryCategory | ForbiddenMemoryCategory | (string & {});\n\nexport type MemoryJsonValue =\n\t| string\n\t| number\n\t| boolean\n\t| null\n\t| readonly MemoryJsonValue[]\n\t| { readonly [key: string]: MemoryJsonValue | undefined };\n\nexport type MemoryTemporalInstant = string | Date;\n\nexport interface MemoryTemporalInterval {\n\treadonly from: MemoryTemporalInstant;\n\treadonly to?: MemoryTemporalInstant;\n}\n\nexport interface MemoryScope {\n\treadonly workspaceId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface MemoryProvenance {\n\treadonly sourceKind: \"compiler\" | \"test\" | \"git\" | \"tool\" | \"user\" | \"document\" | \"llm\" | \"heuristic\";\n\treadonly sourceId: string;\n\treadonly observedAt?: MemoryTemporalInstant;\n\treadonly excerpt?: string;\n}\n\nexport interface MemoryGeneration {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly status: MemoryGenerationStatus;\n\treadonly createdAt: MemoryTemporalInstant;\n\treadonly label?: string;\n}\n\nexport interface MemoryEntity {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly generationId: string;\n\treadonly entityType: string;\n\treadonly name: string;\n\treadonly aliases?: readonly string[];\n\treadonly validTime: MemoryTemporalInterval;\n\treadonly transactionTime: MemoryTemporalInterval;\n}\n\nexport interface MemoryAssertion {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly generationId: string;\n\treadonly subjectId: string;\n\treadonly predicate: string;\n\treadonly object: MemoryJsonValue;\n\treadonly category: MemoryCategory;\n\treadonly assertionKind: MemoryAssertionKind;\n\treadonly status: MemoryAssertionStatus;\n\treadonly confidence: number;\n\treadonly functional?: boolean;\n\treadonly validTime: MemoryTemporalInterval;\n\treadonly transactionTime: MemoryTemporalInterval;\n\treadonly provenance?: readonly MemoryProvenance[];\n}\n\nexport interface MemoryEpisode {\n\treadonly id: string;\n\treadonly scope: MemoryScope;\n\treadonly generationId: string;\n\treadonly category: MemoryCategory;\n\treadonly title: string;\n\treadonly occurredAt: MemoryTemporalInstant;\n\treadonly validTime: MemoryTemporalInterval;\n\treadonly transactionTime: MemoryTemporalInterval;\n\treadonly provenance?: readonly MemoryProvenance[];\n}\n\nexport type MemoryScopeValidationReason = \"eligible\" | \"missing_workspace_id\" | \"missing_repo_sha\" | \"missing_branch\";\nexport type MemoryScopeValidationDecision =\n\t| { readonly ok: true; readonly reason: \"eligible\" }\n\t| { readonly ok: false; readonly reason: Exclude<MemoryScopeValidationReason, \"eligible\"> };\n\nexport type MemoryCategoryValidationReason = \"eligible\" | \"forbidden_category\" | \"unsupported_category\";\nexport type MemoryCategoryValidationDecision =\n\t| { readonly ok: true; readonly reason: \"eligible\" }\n\t| { readonly ok: false; readonly reason: Exclude<MemoryCategoryValidationReason, \"eligible\"> };\n\nexport interface ListMemoryAssertionsInput {\n\treadonly scope: MemoryScope;\n\treadonly categories?: readonly MemoryCategory[];\n\treadonly statuses?: readonly MemoryAssertionStatus[];\n\treadonly validAt?: MemoryTemporalInstant;\n\treadonly transactionAsOf?: MemoryTemporalInstant;\n\treadonly includeInactiveGenerations?: boolean;\n}\n\nexport interface MemorySearchInput {\n\treadonly scope: MemoryScope;\n\treadonly category: MemoryCategory;\n\treadonly query: string;\n\treadonly statuses?: readonly MemoryAssertionStatus[];\n\treadonly validAt?: MemoryTemporalInstant;\n\treadonly transactionAsOf?: MemoryTemporalInstant;\n\treadonly limit?: number;\n\treadonly includeInactiveGenerations?: boolean;\n}\n\nexport interface MemorySearchHit {\n\treadonly assertion: MemoryAssertion;\n\treadonly score: number;\n\treadonly matchedTokens: readonly string[];\n}\n\nexport interface FunctionalConflictOptions {\n\treadonly functionalPredicates?: readonly string[];\n\treadonly statuses?: readonly MemoryAssertionStatus[];\n}\n\nexport interface MemoryAssertionConflict {\n\treadonly subjectId: string;\n\treadonly predicate: string;\n\treadonly assertionIds: readonly [string, string];\n\treadonly objectValues: readonly [MemoryJsonValue, MemoryJsonValue];\n\treadonly validOverlap: MemoryTemporalInterval;\n}\n\nexport interface ConfidenceReinforcementInput {\n\treadonly currentConfidence: number;\n\treadonly evidenceConfidence: number;\n\treadonly weight?: number;\n}\n\nexport interface ContextGraphMemoryStore {\n\tputGeneration(generation: MemoryGeneration): Promise<MemoryGeneration>;\n\tputEntity(entity: MemoryEntity): Promise<MemoryEntity>;\n\tputAssertion(assertion: MemoryAssertion): Promise<MemoryAssertion>;\n\tputEpisode(episode: MemoryEpisode): Promise<MemoryEpisode>;\n\tgetGeneration(id: string): Promise<MemoryGeneration | undefined>;\n\tlistAssertions(input: ListMemoryAssertionsInput): Promise<MemoryAssertion[]>;\n\tmemory_search(input: MemorySearchInput): Promise<MemorySearchHit[]>;\n}\n\nconst ALLOWED_MEMORY_CATEGORIES = new Set<string>([\n\t\"decision\",\n\t\"verified_fact\",\n\t\"resolved_error\",\n\t\"user_preference\",\n\t\"unresolved_task\",\n\t\"test_evidence\",\n\t\"build_evidence\",\n]);\n\nconst FORBIDDEN_MEMORY_CATEGORIES = new Set<string>([\"raw_conversation\", \"raw_shell_output\", \"speculation\", \"secret\"]);\nconst DEFAULT_ASSERTION_STATUSES: readonly MemoryAssertionStatus[] = [\"active\"];\n\nexport function validateMemoryScope(scope: MemoryScope): MemoryScopeValidationDecision {\n\tif (scope.workspaceId.trim().length === 0) return { ok: false, reason: \"missing_workspace_id\" };\n\tif (scope.repoSha.trim().length === 0) return { ok: false, reason: \"missing_repo_sha\" };\n\tif (scope.branch.trim().length === 0) return { ok: false, reason: \"missing_branch\" };\n\treturn { ok: true, reason: \"eligible\" };\n}\n\nexport function validateMemoryCategory(category: MemoryCategory): MemoryCategoryValidationDecision {\n\tconst normalized = category.trim();\n\tif (FORBIDDEN_MEMORY_CATEGORIES.has(normalized)) return { ok: false, reason: \"forbidden_category\" };\n\tif (!ALLOWED_MEMORY_CATEGORIES.has(normalized)) return { ok: false, reason: \"unsupported_category\" };\n\treturn { ok: true, reason: \"eligible\" };\n}\n\nexport function reinforceAssertionConfidence(input: ConfidenceReinforcementInput): number {\n\tconst currentConfidence = clamp01(input.currentConfidence);\n\tconst evidenceConfidence = clamp01(input.evidenceConfidence);\n\tconst weight = clamp01(input.weight ?? 1);\n\treturn clamp01(currentConfidence + (1 - currentConfidence) * evidenceConfidence * weight);\n}\n\nexport function detectFunctionalAssertionConflicts(\n\tassertions: readonly MemoryAssertion[],\n\toptions: FunctionalConflictOptions = {},\n): MemoryAssertionConflict[] {\n\tconst functionalPredicates = new Set(options.functionalPredicates ?? []);\n\tconst statuses = new Set(options.statuses ?? DEFAULT_ASSERTION_STATUSES);\n\tconst candidates = [...assertions]\n\t\t.filter((candidate) => statuses.has(candidate.status) && isFunctionalAssertion(candidate, functionalPredicates))\n\t\t.sort(compareAssertionIds);\n\tconst conflicts: MemoryAssertionConflict[] = [];\n\n\tfor (const [leftIndex, left] of candidates.entries()) {\n\t\tfor (const right of candidates.slice(leftIndex + 1)) {\n\t\t\tif (!canConflict(left, right)) continue;\n\t\t\tconst validOverlap = getIntervalOverlap(left.validTime, right.validTime);\n\t\t\tif (!validOverlap) continue;\n\t\t\tconflicts.push({\n\t\t\t\tsubjectId: left.subjectId,\n\t\t\t\tpredicate: left.predicate,\n\t\t\t\tassertionIds: [left.id, right.id],\n\t\t\t\tobjectValues: [left.object, right.object],\n\t\t\t\tvalidOverlap,\n\t\t\t});\n\t\t}\n\t}\n\n\treturn conflicts.sort(\n\t\t(a, b) =>\n\t\t\ta.assertionIds[0].localeCompare(b.assertionIds[0]) || a.assertionIds[1].localeCompare(b.assertionIds[1]),\n\t);\n}\n\nexport class InMemoryContextGraphMemoryStore implements ContextGraphMemoryStore {\n\tprivate readonly generations = new Map<string, MemoryGeneration>();\n\tprivate readonly entities = new Map<string, MemoryEntity>();\n\tprivate readonly assertions = new Map<string, MemoryAssertion>();\n\tprivate readonly episodes = new Map<string, MemoryEpisode>();\n\n\tasync putGeneration(generation: MemoryGeneration): Promise<MemoryGeneration> {\n\t\tassertValidScope(generation.scope);\n\t\tassertNonEmptyId(generation.id, \"generation id\");\n\t\tparseInstant(generation.createdAt, \"generation createdAt\");\n\t\tconst record = cloneGeneration(generation);\n\t\tthis.generations.set(record.id, record);\n\t\treturn cloneGeneration(record);\n\t}\n\n\tasync putEntity(entity: MemoryEntity): Promise<MemoryEntity> {\n\t\tassertValidScope(entity.scope);\n\t\tassertNonEmptyId(entity.id, \"entity id\");\n\t\tthis.assertGenerationScope(entity.generationId, entity.scope);\n\t\tassertValidInterval(entity.validTime, \"entity validTime\");\n\t\tassertValidInterval(entity.transactionTime, \"entity transactionTime\");\n\t\tconst record = cloneEntity(entity);\n\t\tthis.entities.set(record.id, record);\n\t\treturn cloneEntity(record);\n\t}\n\n\tasync putAssertion(assertion: MemoryAssertion): Promise<MemoryAssertion> {\n\t\tassertValidScope(assertion.scope);\n\t\tassertNonEmptyId(assertion.id, \"assertion id\");\n\t\tassertAllowedCategory(assertion.category);\n\t\tassertValidConfidence(assertion.confidence);\n\t\tassertProvenance(assertion);\n\t\tthis.assertGenerationScope(assertion.generationId, assertion.scope);\n\t\tassertValidInterval(assertion.validTime, \"assertion validTime\");\n\t\tassertValidInterval(assertion.transactionTime, \"assertion transactionTime\");\n\t\tconst record = cloneAssertion(assertion);\n\t\tthis.assertions.set(record.id, record);\n\t\treturn cloneAssertion(record);\n\t}\n\n\tasync putEpisode(episode: MemoryEpisode): Promise<MemoryEpisode> {\n\t\tassertValidScope(episode.scope);\n\t\tassertNonEmptyId(episode.id, \"episode id\");\n\t\tassertAllowedCategory(episode.category);\n\t\tparseInstant(episode.occurredAt, \"episode occurredAt\");\n\t\tthis.assertGenerationScope(episode.generationId, episode.scope);\n\t\tassertValidInterval(episode.validTime, \"episode validTime\");\n\t\tassertValidInterval(episode.transactionTime, \"episode transactionTime\");\n\t\tconst record = cloneEpisode(episode);\n\t\tthis.episodes.set(record.id, record);\n\t\treturn cloneEpisode(record);\n\t}\n\n\tasync getGeneration(id: string): Promise<MemoryGeneration | undefined> {\n\t\tconst generation = this.generations.get(id);\n\t\treturn generation ? cloneGeneration(generation) : undefined;\n\t}\n\n\tasync listAssertions(input: ListMemoryAssertionsInput): Promise<MemoryAssertion[]> {\n\t\tassertValidScope(input.scope);\n\t\tfor (const category of input.categories ?? []) {\n\t\t\tassertAllowedCategory(category);\n\t\t}\n\t\tconst categories = input.categories ? new Set(input.categories) : undefined;\n\t\tconst statuses = new Set(input.statuses ?? DEFAULT_ASSERTION_STATUSES);\n\t\tconst activeGenerationIds = this.getGenerationIds(input.scope, \"active\");\n\t\tconst filtered = [...this.assertions.values()]\n\t\t\t.filter((assertion) => sameScope(assertion.scope, input.scope))\n\t\t\t.filter((assertion) => categories === undefined || categories.has(assertion.category))\n\t\t\t.filter((assertion) => statuses.has(assertion.status))\n\t\t\t.filter(\n\t\t\t\t(assertion) => input.includeInactiveGenerations === true || activeGenerationIds.has(assertion.generationId),\n\t\t\t)\n\t\t\t.filter((assertion) => matchesValidTime(assertion.validTime, input.validAt))\n\t\t\t.filter((assertion) => matchesTransactionTime(assertion.transactionTime, input.transactionAsOf))\n\t\t\t.sort(compareAssertionIds)\n\t\t\t.map(cloneAssertion);\n\t\treturn filtered;\n\t}\n\n\tasync memory_search(input: MemorySearchInput): Promise<MemorySearchHit[]> {\n\t\tassertAllowedCategory(input.category);\n\t\tconst queryTokens = uniqueTokens(input.query);\n\t\tconst assertions = await this.listAssertions({\n\t\t\tscope: input.scope,\n\t\t\tcategories: [input.category],\n\t\t\tstatuses: input.statuses,\n\t\t\tvalidAt: input.validAt,\n\t\t\ttransactionAsOf: input.transactionAsOf,\n\t\t\tincludeInactiveGenerations: input.includeInactiveGenerations,\n\t\t});\n\t\tconst hits = assertions\n\t\t\t.map((assertion) => scoreSearchAssertion(assertion, input.query, queryTokens))\n\t\t\t.filter((hit) => queryTokens.length === 0 || hit.score > 0)\n\t\t\t.sort(compareSearchHits);\n\t\tconst limit = input.limit === undefined ? hits.length : Math.max(0, Math.floor(input.limit));\n\t\treturn hits.slice(0, limit);\n\t}\n\n\tprivate assertGenerationScope(generationId: string, scope: MemoryScope): void {\n\t\tconst generation = this.generations.get(generationId);\n\t\tif (!generation) throw new Error(`memory generation not found: ${generationId}`);\n\t\tif (!sameScope(generation.scope, scope)) throw new Error(`memory generation scope mismatch: ${generationId}`);\n\t}\n\n\tprivate getGenerationIds(scope: MemoryScope, status: MemoryGenerationStatus): Set<string> {\n\t\treturn new Set(\n\t\t\t[...this.generations.values()]\n\t\t\t\t.filter((generation) => generation.status === status && sameScope(generation.scope, scope))\n\t\t\t\t.map((generation) => generation.id),\n\t\t);\n\t}\n}\n\nfunction assertValidScope(scope: MemoryScope): void {\n\tconst decision = validateMemoryScope(scope);\n\tif (decision.ok) return;\n\tthrow new Error(`invalid memory scope: missing ${formatScopeReason(decision.reason)}`);\n}\n\nfunction assertAllowedCategory(category: MemoryCategory): void {\n\tconst decision = validateMemoryCategory(category);\n\tif (decision.ok) return;\n\tif (decision.reason === \"forbidden_category\") throw new Error(`forbidden memory category: ${category}`);\n\tthrow new Error(`unsupported memory category: ${category}`);\n}\n\nfunction assertProvenance(assertion: MemoryAssertion): void {\n\tif (assertion.assertionKind !== \"observed\" && assertion.assertionKind !== \"inferred\") return;\n\tconst provenance = assertion.provenance ?? [];\n\tif (provenance.length === 0 || provenance.some((entry) => entry.sourceId.trim().length === 0)) {\n\t\tthrow new Error(\"provenance is required for observed and inferred assertions\");\n\t}\n}\n\nfunction assertValidConfidence(confidence: number): void {\n\tif (!Number.isFinite(confidence) || confidence < 0 || confidence > 1) {\n\t\tthrow new Error(\"assertion confidence must be between 0 and 1\");\n\t}\n}\n\nfunction assertNonEmptyId(id: string, label: string): void {\n\tif (id.trim().length === 0) throw new Error(`missing ${label}`);\n}\n\nfunction assertValidInterval(interval: MemoryTemporalInterval, label: string): void {\n\tconst from = parseInstant(interval.from, `${label}.from`);\n\tconst to = interval.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(interval.to, `${label}.to`);\n\tif (to <= from) throw new Error(`${label} must have to greater than from`);\n}\n\nfunction parseInstant(instant: MemoryTemporalInstant, label: string): number {\n\tconst timestamp = instant instanceof Date ? instant.getTime() : Date.parse(instant);\n\tif (!Number.isFinite(timestamp)) throw new Error(`invalid temporal instant: ${label}`);\n\treturn timestamp;\n}\n\nfunction matchesValidTime(interval: MemoryTemporalInterval, validAt: MemoryTemporalInstant | undefined): boolean {\n\tif (validAt === undefined) return true;\n\treturn intervalContains(interval, parseInstant(validAt, \"validAt\"));\n}\n\nfunction matchesTransactionTime(\n\tinterval: MemoryTemporalInterval,\n\ttransactionAsOf: MemoryTemporalInstant | undefined,\n): boolean {\n\tif (transactionAsOf === undefined) return interval.to === undefined;\n\treturn intervalContains(interval, parseInstant(transactionAsOf, \"transactionAsOf\"));\n}\n\nfunction intervalContains(interval: MemoryTemporalInterval, timestamp: number): boolean {\n\tconst from = parseInstant(interval.from, \"interval.from\");\n\tconst to = interval.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(interval.to, \"interval.to\");\n\treturn from <= timestamp && timestamp < to;\n}\n\nfunction getIntervalOverlap(\n\tleft: MemoryTemporalInterval,\n\tright: MemoryTemporalInterval,\n): MemoryTemporalInterval | undefined {\n\tconst leftFrom = parseInstant(left.from, \"left validTime.from\");\n\tconst leftTo = left.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(left.to, \"left validTime.to\");\n\tconst rightFrom = parseInstant(right.from, \"right validTime.from\");\n\tconst rightTo = right.to === undefined ? Number.POSITIVE_INFINITY : parseInstant(right.to, \"right validTime.to\");\n\tconst overlapFrom = Math.max(leftFrom, rightFrom);\n\tconst overlapTo = Math.min(leftTo, rightTo);\n\tif (overlapTo <= overlapFrom) return undefined;\n\treturn {\n\t\tfrom: new Date(overlapFrom).toISOString(),\n\t\tto: Number.isFinite(overlapTo) ? new Date(overlapTo).toISOString() : undefined,\n\t};\n}\n\nfunction isFunctionalAssertion(assertion: MemoryAssertion, functionalPredicates: ReadonlySet<string>): boolean {\n\treturn assertion.functional === true || functionalPredicates.has(assertion.predicate);\n}\n\nfunction canConflict(left: MemoryAssertion, right: MemoryAssertion): boolean {\n\treturn (\n\t\tsameScope(left.scope, right.scope) &&\n\t\tleft.subjectId === right.subjectId &&\n\t\tleft.predicate === right.predicate &&\n\t\tcanonicalJsonStringify(left.object) !== canonicalJsonStringify(right.object)\n\t);\n}\n\nfunction scoreSearchAssertion(\n\tassertion: MemoryAssertion,\n\tquery: string,\n\tqueryTokens: readonly string[],\n): MemorySearchHit {\n\tconst searchText = getAssertionSearchText(assertion);\n\tconst searchTokens = new Set(tokenize(searchText));\n\tconst matchedTokens = queryTokens.filter((token) => searchTokens.has(token));\n\tconst coverageScore = queryTokens.length === 0 ? 1 : matchedTokens.length / queryTokens.length;\n\tconst normalizedQuery = normalizeSearchText(query);\n\tconst phraseBonus =\n\t\tnormalizedQuery.length > 0 && normalizeSearchText(searchText).includes(normalizedQuery) ? 0.1 : 0;\n\treturn {\n\t\tassertion,\n\t\tscore: clamp01(coverageScore + phraseBonus),\n\t\tmatchedTokens,\n\t};\n}\n\nfunction getAssertionSearchText(assertion: MemoryAssertion): string {\n\treturn [\n\t\tassertion.id,\n\t\tassertion.subjectId,\n\t\tassertion.predicate,\n\t\tassertion.category,\n\t\tcanonicalJsonStringify(assertion.object),\n\t]\n\t\t.filter((part) => part.length > 0)\n\t\t.join(\"\\n\");\n}\n\nfunction uniqueTokens(text: string): string[] {\n\treturn [...new Set(tokenize(text))];\n}\n\nfunction tokenize(text: string): string[] {\n\treturn normalizeSearchText(text).match(/[\\p{L}\\p{N}]+/gu) ?? [];\n}\n\nfunction normalizeSearchText(text: string): string {\n\treturn text\n\t\t.replace(/([\\p{Ll}\\d])([\\p{Lu}])/gu, \"$1 $2\")\n\t\t.normalize(\"NFKC\")\n\t\t.toLowerCase();\n}\n\nfunction canonicalJsonStringify(value: MemoryJsonValue): string {\n\tif (value === null) return \"null\";\n\tif (typeof value === \"string\" || typeof value === \"boolean\") return JSON.stringify(value);\n\tif (typeof value === \"number\") return Number.isFinite(value) ? JSON.stringify(value) : \"null\";\n\tif (isMemoryJsonArray(value)) return `[${value.map((item) => canonicalJsonStringify(item)).join(\",\")}]`;\n\tconst record: { readonly [key: string]: MemoryJsonValue | undefined } = value;\n\tconst entries = Object.keys(record)\n\t\t.filter((key) => record[key] !== undefined)\n\t\t.sort()\n\t\t.map((key) => `${JSON.stringify(key)}:${canonicalJsonStringify(record[key] ?? null)}`);\n\treturn `{${entries.join(\",\")}}`;\n}\n\nfunction isMemoryJsonArray(value: MemoryJsonValue): value is readonly MemoryJsonValue[] {\n\treturn Array.isArray(value);\n}\n\nfunction compareAssertionIds(left: MemoryAssertion, right: MemoryAssertion): number {\n\treturn left.id.localeCompare(right.id);\n}\n\nfunction compareSearchHits(left: MemorySearchHit, right: MemorySearchHit): number {\n\treturn (\n\t\tright.score - left.score ||\n\t\tright.assertion.confidence - left.assertion.confidence ||\n\t\tleft.assertion.id.localeCompare(right.assertion.id)\n\t);\n}\n\nfunction sameScope(left: MemoryScope, right: MemoryScope): boolean {\n\treturn left.workspaceId === right.workspaceId && left.repoSha === right.repoSha && left.branch === right.branch;\n}\n\nfunction formatScopeReason(reason: Exclude<MemoryScopeValidationReason, \"eligible\">): string {\n\tif (reason === \"missing_workspace_id\") return \"workspaceId\";\n\tif (reason === \"missing_repo_sha\") return \"repoSha\";\n\treturn \"branch\";\n}\n\nfunction cloneScope(scope: MemoryScope): MemoryScope {\n\treturn { workspaceId: scope.workspaceId, repoSha: scope.repoSha, branch: scope.branch };\n}\n\nfunction cloneInterval(interval: MemoryTemporalInterval): MemoryTemporalInterval {\n\treturn { from: interval.from, to: interval.to };\n}\n\nfunction cloneProvenance(provenance: readonly MemoryProvenance[] | undefined): MemoryProvenance[] | undefined {\n\treturn provenance?.map((entry) => ({ ...entry }));\n}\n\nfunction cloneGeneration(generation: MemoryGeneration): MemoryGeneration {\n\treturn { ...generation, scope: cloneScope(generation.scope) };\n}\n\nfunction cloneEntity(entity: MemoryEntity): MemoryEntity {\n\treturn {\n\t\t...entity,\n\t\tscope: cloneScope(entity.scope),\n\t\taliases: entity.aliases ? [...entity.aliases] : undefined,\n\t\tvalidTime: cloneInterval(entity.validTime),\n\t\ttransactionTime: cloneInterval(entity.transactionTime),\n\t};\n}\n\nfunction cloneAssertion(assertion: MemoryAssertion): MemoryAssertion {\n\treturn {\n\t\t...assertion,\n\t\tscope: cloneScope(assertion.scope),\n\t\tobject: cloneJsonValue(assertion.object),\n\t\tvalidTime: cloneInterval(assertion.validTime),\n\t\ttransactionTime: cloneInterval(assertion.transactionTime),\n\t\tprovenance: cloneProvenance(assertion.provenance),\n\t};\n}\n\nfunction cloneJsonValue(value: MemoryJsonValue): MemoryJsonValue {\n\tif (value === null || typeof value === \"string\" || typeof value === \"number\" || typeof value === \"boolean\") {\n\t\treturn value;\n\t}\n\tif (isMemoryJsonArray(value)) return value.map((item) => cloneJsonValue(item));\n\tconst clone: Record<string, MemoryJsonValue> = {};\n\tfor (const key of Object.keys(value)) {\n\t\tconst item = value[key];\n\t\tif (item !== undefined) clone[key] = cloneJsonValue(item);\n\t}\n\treturn clone;\n}\n\nfunction cloneEpisode(episode: MemoryEpisode): MemoryEpisode {\n\treturn {\n\t\t...episode,\n\t\tscope: cloneScope(episode.scope),\n\t\tvalidTime: cloneInterval(episode.validTime),\n\t\ttransactionTime: cloneInterval(episode.transactionTime),\n\t\tprovenance: cloneProvenance(episode.provenance),\n\t};\n}\n\nfunction clamp01(value: number): number {\n\tif (!Number.isFinite(value) || value <= 0) return 0;\n\tif (value >= 1) return 1;\n\treturn value;\n}\n"]}

package/dist/core/context-graph-ontology-generation.d.ts

@@ -0,0 +1,104 @@
+import { type JsonObject } from "./exact-cache-policy.ts";
+export declare const ONTOLOGY_GENERATION_ID_VERSION = "v1";
+export declare const ONTOLOGY_GENERATION_CACHE_KEY_VERSION = "v1";
+export declare const ONTOLOGY_GENERATION_STATUSES: readonly ["draft", "active", "superseded", "failed"];
+export type OntologyGenerationStatus = (typeof ONTOLOGY_GENERATION_STATUSES)[number];
+export type UaGraphFreshnessReason = "fresh" | "metadata_missing" | "schema_mismatch" | "graph_commit_mismatch" | "meta_commit_mismatch" | "branch_mismatch" | "graph_hash_mismatch" | "dirty_covered_paths";
+export interface CurrentRepositoryMetadata {
+    readonly repoSha: string;
+    readonly branch: string;
+    readonly ontologySchemaVersion?: string;
+    readonly schemaVersion?: string;
+    readonly uaGraphSha256?: string;
+    readonly graphSha256?: string;
+}
+export interface UaGraphMetadata {
+    readonly schemaVersion: string;
+    readonly branch: string;
+    readonly graphRepoSha?: string;
+    readonly graphCommitSha?: string;
+    readonly repoSha?: string;
+    readonly metadataRepoSha?: string;
+    readonly metaRepoSha?: string;
+    readonly uaGraphSha256?: string;
+    readonly graphSha256?: string;
+    readonly coveredPaths?: readonly string[];
+}
+export interface UaGraphFreshnessDiagnostic {
+    readonly reason: Exclude<UaGraphFreshnessReason, "fresh">;
+    readonly field: string;
+    readonly expected?: string;
+    readonly actual?: string;
+    readonly dirtyCoveredPaths?: readonly string[];
+}
+export interface UaGraphFreshnessEvaluation {
+    readonly fresh: boolean;
+    readonly reasons: readonly UaGraphFreshnessReason[];
+    readonly diagnostics: readonly UaGraphFreshnessDiagnostic[];
+    readonly dirtyCoveredPaths: readonly string[];
+}
+export interface OntologyGenerationIdentityInput {
+    readonly schemaVersion: string;
+    readonly registryVersion: string;
+    readonly uaGraphSha256: string;
+    readonly workspaceId: string;
+    readonly repositoryId: string;
+    readonly repoSha: string;
+    readonly branch: string;
+}
+export interface OntologyGenerationIdMaterial extends JsonObject {
+    readonly schemaVersion: string;
+    readonly registryVersion: string;
+    readonly uaGraphSha256: string;
+    readonly workspaceId: string;
+    readonly repositoryId: string;
+    readonly repoSha: string;
+    readonly branch: string;
+}
+export interface OntologyGenerationCacheKeyMaterial extends JsonObject {
+    readonly kind: "ontology-generation";
+    readonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;
+    readonly schemaVersion: string;
+    readonly registryVersion: string;
+    readonly generationId: string;
+    readonly workspaceId: string;
+    readonly repositoryId: string;
+    readonly repoSha: string;
+    readonly branch: string;
+    readonly uaGraphSha256: string;
+}
+export interface OntologyGenerationCacheKey {
+    readonly kind: "ontology-generation";
+    readonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;
+    readonly key: string;
+    readonly hash: string;
+    readonly material: OntologyGenerationCacheKeyMaterial;
+}
+export interface OntologyGenerationValidationIssue {
+    readonly code: string;
+    readonly severity: "error" | "warning" | "info";
+    readonly message: string;
+}
+export type OntologyGenerationActivationReason = "eligible" | "stale_source_graph" | "generation_failed" | "generation_superseded" | "validation_errors";
+export type OntologyGenerationActivationDecision = {
+    readonly ok: true;
+    readonly reason: "eligible";
+    readonly nextStatus: "active";
+} | {
+    readonly ok: false;
+    readonly reason: Exclude<OntologyGenerationActivationReason, "eligible">;
+    readonly blockers: readonly string[];
+    readonly diagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[];
+};
+export interface OntologyGenerationActivationInput {
+    readonly status: OntologyGenerationStatus;
+    readonly freshness: UaGraphFreshnessEvaluation;
+    readonly validationIssues?: readonly OntologyGenerationValidationIssue[];
+}
+export declare function evaluateUaGraphFreshnessFromMetadata(currentMetadata: CurrentRepositoryMetadata, graphMetadata: UaGraphMetadata, dirtyPaths: readonly string[]): UaGraphFreshnessEvaluation;
+export declare function createOntologyGenerationIdMaterial(input: OntologyGenerationIdentityInput): OntologyGenerationIdMaterial;
+export declare function computeOntologyGenerationId(input: OntologyGenerationIdentityInput): string;
+export declare function createOntologyGenerationCacheKeyMaterial(input: OntologyGenerationIdentityInput): OntologyGenerationCacheKeyMaterial;
+export declare function createOntologyGenerationCacheKey(input: OntologyGenerationIdentityInput): OntologyGenerationCacheKey;
+export declare function canActivateOntologyGeneration(input: OntologyGenerationActivationInput): OntologyGenerationActivationDecision;
+//# sourceMappingURL=context-graph-ontology-generation.d.ts.map

package/dist/core/context-graph-ontology-generation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-ontology-generation.d.ts","sourceRoot":"","sources":["../../src/core/context-graph-ontology-generation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,KAAK,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE7E,eAAO,MAAM,8BAA8B,OAAO,CAAC;AACnD,eAAO,MAAM,qCAAqC,OAAO,CAAC;AAE1D,eAAO,MAAM,4BAA4B,sDAAuD,CAAC;AAEjG,MAAM,MAAM,wBAAwB,GAAG,CAAC,OAAO,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;AAErF,MAAM,MAAM,sBAAsB,GAC/B,OAAO,GACP,kBAAkB,GAClB,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,iBAAiB,GACjB,qBAAqB,GACrB,qBAAqB,CAAC;AAEzB,MAAM,WAAW,yBAAyB;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,sBAAsB,EAAE,OAAO,CAAC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,SAAS,0BAA0B,EAAE,CAAC;IAC5D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,+BAA+B;IAC/C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,4BAA6B,SAAQ,UAAU;IAC/D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kCAAmC,SAAQ,UAAU;IACrE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,OAAO,qCAAqC,CAAC;IAC/D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,0BAA0B;IAC1C,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,OAAO,qCAAqC,CAAC;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,kCAAkC,CAAC;CACtD;AAED,MAAM,WAAW,iCAAiC;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,kCAAkC,GAC3C,UAAU,GACV,oBAAoB,GACpB,mBAAmB,GACnB,uBAAuB,GACvB,mBAAmB,CAAC;AAEvB,MAAM,MAAM,oCAAoC,GAC7C;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAA;CAAE,GACjF;IACA,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,kCAAkC,EAAE,UAAU,CAAC,CAAC;IACzE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,0BAA0B,EAAE,GAAG,SAAS,iCAAiC,EAAE,CAAC;CAC3G,CAAC;AAEL,MAAM,WAAW,iCAAiC;IACjD,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,iCAAiC,EAAE,CAAC;CACzE;AAED,wBAAgB,oCAAoC,CACnD,eAAe,EAAE,yBAAyB,EAC1C,aAAa,EAAE,eAAe,EAC9B,UAAU,EAAE,SAAS,MAAM,EAAE,GAC3B,0BAA0B,CA2D5B;AAED,wBAAgB,kCAAkC,CACjD,KAAK,EAAE,+BAA+B,GACpC,4BAA4B,CAU9B;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,+BAA+B,GAAG,MAAM,CAE1F;AAED,wBAAgB,wCAAwC,CACvD,KAAK,EAAE,+BAA+B,GACpC,kCAAkC,CAcpC;AAED,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,+BAA+B,GAAG,0BAA0B,CAUnH;AAED,wBAAgB,6BAA6B,CAC5C,KAAK,EAAE,iCAAiC,GACtC,oCAAoC,CAqBtC","sourcesContent":["import { hashCanonicalJson, type JsonObject } from \"./exact-cache-policy.ts\";\n\nexport const ONTOLOGY_GENERATION_ID_VERSION = \"v1\";\nexport const ONTOLOGY_GENERATION_CACHE_KEY_VERSION = \"v1\";\n\nexport const ONTOLOGY_GENERATION_STATUSES = [\"draft\", \"active\", \"superseded\", \"failed\"] as const;\n\nexport type OntologyGenerationStatus = (typeof ONTOLOGY_GENERATION_STATUSES)[number];\n\nexport type UaGraphFreshnessReason =\n\t| \"fresh\"\n\t| \"metadata_missing\"\n\t| \"schema_mismatch\"\n\t| \"graph_commit_mismatch\"\n\t| \"meta_commit_mismatch\"\n\t| \"branch_mismatch\"\n\t| \"graph_hash_mismatch\"\n\t| \"dirty_covered_paths\";\n\nexport interface CurrentRepositoryMetadata {\n\treadonly repoSha: string;\n\treadonly branch: string;\n\treadonly ontologySchemaVersion?: string;\n\treadonly schemaVersion?: string;\n\treadonly uaGraphSha256?: string;\n\treadonly graphSha256?: string;\n}\n\nexport interface UaGraphMetadata {\n\treadonly schemaVersion: string;\n\treadonly branch: string;\n\treadonly graphRepoSha?: string;\n\treadonly graphCommitSha?: string;\n\treadonly repoSha?: string;\n\treadonly metadataRepoSha?: string;\n\treadonly metaRepoSha?: string;\n\treadonly uaGraphSha256?: string;\n\treadonly graphSha256?: string;\n\treadonly coveredPaths?: readonly string[];\n}\n\nexport interface UaGraphFreshnessDiagnostic {\n\treadonly reason: Exclude<UaGraphFreshnessReason, \"fresh\">;\n\treadonly field: string;\n\treadonly expected?: string;\n\treadonly actual?: string;\n\treadonly dirtyCoveredPaths?: readonly string[];\n}\n\nexport interface UaGraphFreshnessEvaluation {\n\treadonly fresh: boolean;\n\treadonly reasons: readonly UaGraphFreshnessReason[];\n\treadonly diagnostics: readonly UaGraphFreshnessDiagnostic[];\n\treadonly dirtyCoveredPaths: readonly string[];\n}\n\nexport interface OntologyGenerationIdentityInput {\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly uaGraphSha256: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface OntologyGenerationIdMaterial extends JsonObject {\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly uaGraphSha256: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface OntologyGenerationCacheKeyMaterial extends JsonObject {\n\treadonly kind: \"ontology-generation\";\n\treadonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly generationId: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n\treadonly uaGraphSha256: string;\n}\n\nexport interface OntologyGenerationCacheKey {\n\treadonly kind: \"ontology-generation\";\n\treadonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;\n\treadonly key: string;\n\treadonly hash: string;\n\treadonly material: OntologyGenerationCacheKeyMaterial;\n}\n\nexport interface OntologyGenerationValidationIssue {\n\treadonly code: string;\n\treadonly severity: \"error\" | \"warning\" | \"info\";\n\treadonly message: string;\n}\n\nexport type OntologyGenerationActivationReason =\n\t| \"eligible\"\n\t| \"stale_source_graph\"\n\t| \"generation_failed\"\n\t| \"generation_superseded\"\n\t| \"validation_errors\";\n\nexport type OntologyGenerationActivationDecision =\n\t| { readonly ok: true; readonly reason: \"eligible\"; readonly nextStatus: \"active\" }\n\t| {\n\t\t\treadonly ok: false;\n\t\t\treadonly reason: Exclude<OntologyGenerationActivationReason, \"eligible\">;\n\t\t\treadonly blockers: readonly string[];\n\t\t\treadonly diagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[];\n\t  };\n\nexport interface OntologyGenerationActivationInput {\n\treadonly status: OntologyGenerationStatus;\n\treadonly freshness: UaGraphFreshnessEvaluation;\n\treadonly validationIssues?: readonly OntologyGenerationValidationIssue[];\n}\n\nexport function evaluateUaGraphFreshnessFromMetadata(\n\tcurrentMetadata: CurrentRepositoryMetadata,\n\tgraphMetadata: UaGraphMetadata,\n\tdirtyPaths: readonly string[],\n): UaGraphFreshnessEvaluation {\n\tconst diagnostics: UaGraphFreshnessDiagnostic[] = [];\n\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"schema_mismatch\",\n\t\t\"schemaVersion\",\n\t\tfirstNonEmptyString(currentMetadata.ontologySchemaVersion, currentMetadata.schemaVersion),\n\t\tgraphMetadata.schemaVersion,\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"graph_commit_mismatch\",\n\t\t\"graphRepoSha\",\n\t\tcurrentMetadata.repoSha,\n\t\tfirstNonEmptyString(graphMetadata.graphRepoSha, graphMetadata.graphCommitSha, graphMetadata.repoSha),\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"meta_commit_mismatch\",\n\t\t\"metadataRepoSha\",\n\t\tcurrentMetadata.repoSha,\n\t\tfirstNonEmptyString(graphMetadata.metadataRepoSha, graphMetadata.metaRepoSha, graphMetadata.repoSha),\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"branch_mismatch\",\n\t\t\"branch\",\n\t\tcurrentMetadata.branch,\n\t\tgraphMetadata.branch,\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"graph_hash_mismatch\",\n\t\t\"uaGraphSha256\",\n\t\tfirstNonEmptyString(currentMetadata.uaGraphSha256, currentMetadata.graphSha256),\n\t\tfirstNonEmptyString(graphMetadata.uaGraphSha256, graphMetadata.graphSha256),\n\t);\n\n\tconst dirtyCoveredPaths = findDirtyCoveredPaths(graphMetadata.coveredPaths ?? [], dirtyPaths);\n\tif (dirtyCoveredPaths.length > 0) {\n\t\tdiagnostics.push({\n\t\t\treason: \"dirty_covered_paths\",\n\t\t\tfield: \"coveredPaths\",\n\t\t\tdirtyCoveredPaths,\n\t\t\tactual: dirtyCoveredPaths.join(\",\"),\n\t\t});\n\t}\n\n\tif (diagnostics.length === 0) {\n\t\treturn { fresh: true, reasons: [\"fresh\"], diagnostics: [], dirtyCoveredPaths: [] };\n\t}\n\n\treturn {\n\t\tfresh: false,\n\t\treasons: uniqueReasons(diagnostics),\n\t\tdiagnostics,\n\t\tdirtyCoveredPaths,\n\t};\n}\n\nexport function createOntologyGenerationIdMaterial(\n\tinput: OntologyGenerationIdentityInput,\n): OntologyGenerationIdMaterial {\n\treturn {\n\t\tschemaVersion: requireNonEmptyString(\"schemaVersion\", input.schemaVersion),\n\t\tregistryVersion: requireNonEmptyString(\"registryVersion\", input.registryVersion),\n\t\tuaGraphSha256: requireNonEmptyString(\"uaGraphSha256\", input.uaGraphSha256),\n\t\tworkspaceId: requireNonEmptyString(\"workspaceId\", input.workspaceId),\n\t\trepositoryId: requireNonEmptyString(\"repositoryId\", input.repositoryId),\n\t\trepoSha: requireNonEmptyString(\"repoSha\", input.repoSha),\n\t\tbranch: requireNonEmptyString(\"branch\", input.branch),\n\t};\n}\n\nexport function computeOntologyGenerationId(input: OntologyGenerationIdentityInput): string {\n\treturn hashCanonicalJson(createOntologyGenerationIdMaterial(input));\n}\n\nexport function createOntologyGenerationCacheKeyMaterial(\n\tinput: OntologyGenerationIdentityInput,\n): OntologyGenerationCacheKeyMaterial {\n\tconst material = createOntologyGenerationIdMaterial(input);\n\treturn {\n\t\tkind: \"ontology-generation\",\n\t\tversion: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,\n\t\tschemaVersion: material.schemaVersion,\n\t\tregistryVersion: material.registryVersion,\n\t\tgenerationId: computeOntologyGenerationId(input),\n\t\tworkspaceId: material.workspaceId,\n\t\trepositoryId: material.repositoryId,\n\t\trepoSha: material.repoSha,\n\t\tbranch: material.branch,\n\t\tuaGraphSha256: material.uaGraphSha256,\n\t};\n}\n\nexport function createOntologyGenerationCacheKey(input: OntologyGenerationIdentityInput): OntologyGenerationCacheKey {\n\tconst material = createOntologyGenerationCacheKeyMaterial(input);\n\tconst hash = hashCanonicalJson(material);\n\treturn {\n\t\tkind: \"ontology-generation\",\n\t\tversion: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,\n\t\tkey: `ontology-generation:${ONTOLOGY_GENERATION_CACHE_KEY_VERSION}:${hash}`,\n\t\thash,\n\t\tmaterial,\n\t};\n}\n\nexport function canActivateOntologyGeneration(\n\tinput: OntologyGenerationActivationInput,\n): OntologyGenerationActivationDecision {\n\tif (input.status === \"failed\") {\n\t\treturn denyActivation(\"generation_failed\", [\"failed generations are immutable and cannot be activated\"]);\n\t}\n\tif (input.status === \"superseded\") {\n\t\treturn denyActivation(\"generation_superseded\", [\"superseded generations cannot be reactivated\"]);\n\t}\n\tif (!input.freshness.fresh) {\n\t\treturn denyActivation(\"stale_source_graph\", input.freshness.reasons, input.freshness.diagnostics);\n\t}\n\n\tconst errors = (input.validationIssues ?? []).filter((issue) => issue.severity === \"error\");\n\tif (errors.length > 0) {\n\t\treturn denyActivation(\n\t\t\t\"validation_errors\",\n\t\t\terrors.map((issue) => issue.code),\n\t\t\terrors,\n\t\t);\n\t}\n\n\treturn { ok: true, reason: \"eligible\", nextStatus: \"active\" };\n}\n\nfunction addRequiredComparisonDiagnostic(\n\tdiagnostics: UaGraphFreshnessDiagnostic[],\n\treason: Exclude<UaGraphFreshnessReason, \"fresh\" | \"dirty_covered_paths\" | \"metadata_missing\">,\n\tfield: string,\n\texpected: string | undefined,\n\tactual: string | undefined,\n): void {\n\tconst normalizedExpected = normalizeMetadataValue(expected);\n\tconst normalizedActual = normalizeMetadataValue(actual);\n\tif (normalizedExpected === undefined || normalizedActual === undefined) {\n\t\tdiagnostics.push({ reason: \"metadata_missing\", field, expected: normalizedExpected, actual: normalizedActual });\n\t\treturn;\n\t}\n\tif (normalizedExpected !== normalizedActual) {\n\t\tdiagnostics.push({ reason, field, expected: normalizedExpected, actual: normalizedActual });\n\t}\n}\n\nfunction findDirtyCoveredPaths(coveredPaths: readonly string[], dirtyPaths: readonly string[]): readonly string[] {\n\tconst normalizedCoveredPaths = coveredPaths.map(normalizePath).filter((path) => path.length > 0);\n\treturn [\n\t\t...new Set(\n\t\t\tdirtyPaths\n\t\t\t\t.map(normalizePath)\n\t\t\t\t.filter((path) => path.length > 0)\n\t\t\t\t.filter((dirtyPath) => normalizedCoveredPaths.some((coveredPath) => pathsOverlap(coveredPath, dirtyPath))),\n\t\t),\n\t].sort();\n}\n\nfunction pathsOverlap(coveredPath: string, dirtyPath: string): boolean {\n\treturn (\n\t\tdirtyPath === coveredPath || dirtyPath.startsWith(`${coveredPath}/`) || coveredPath.startsWith(`${dirtyPath}/`)\n\t);\n}\n\nfunction uniqueReasons(diagnostics: readonly UaGraphFreshnessDiagnostic[]): readonly UaGraphFreshnessReason[] {\n\treturn [...new Set(diagnostics.map((diagnostic) => diagnostic.reason))];\n}\n\nfunction firstNonEmptyString(...values: readonly (string | undefined)[]): string | undefined {\n\treturn values.find((value) => normalizeMetadataValue(value) !== undefined);\n}\n\nfunction normalizeMetadataValue(value: string | undefined): string | undefined {\n\tif (value === undefined) return undefined;\n\tconst normalized = value.trim();\n\treturn normalized.length === 0 ? undefined : normalized;\n}\n\nfunction normalizePath(path: string): string {\n\treturn path.trim().replace(/\\\\/g, \"/\").replace(/\\/+/g, \"/\").replace(/^\\.\\//, \"\").replace(/\\/$/, \"\");\n}\n\nfunction requireNonEmptyString(name: string, value: string): string {\n\tconst normalized = value.trim();\n\tif (normalized.length === 0) {\n\t\tthrow new TypeError(`${name} must be a non-empty string`);\n\t}\n\treturn normalized;\n}\n\nfunction denyActivation(\n\treason: Exclude<OntologyGenerationActivationReason, \"eligible\">,\n\tblockers: readonly string[],\n\tdiagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[],\n): OntologyGenerationActivationDecision {\n\treturn diagnostics === undefined ? { ok: false, reason, blockers } : { ok: false, reason, blockers, diagnostics };\n}\n"]}

package/dist/core/context-graph-ontology-generation.js

@@ -0,0 +1,135 @@
+import { hashCanonicalJson } from "./exact-cache-policy.js";
+export const ONTOLOGY_GENERATION_ID_VERSION = "v1";
+export const ONTOLOGY_GENERATION_CACHE_KEY_VERSION = "v1";
+export const ONTOLOGY_GENERATION_STATUSES = ["draft", "active", "superseded", "failed"];
+export function evaluateUaGraphFreshnessFromMetadata(currentMetadata, graphMetadata, dirtyPaths) {
+    const diagnostics = [];
+    addRequiredComparisonDiagnostic(diagnostics, "schema_mismatch", "schemaVersion", firstNonEmptyString(currentMetadata.ontologySchemaVersion, currentMetadata.schemaVersion), graphMetadata.schemaVersion);
+    addRequiredComparisonDiagnostic(diagnostics, "graph_commit_mismatch", "graphRepoSha", currentMetadata.repoSha, firstNonEmptyString(graphMetadata.graphRepoSha, graphMetadata.graphCommitSha, graphMetadata.repoSha));
+    addRequiredComparisonDiagnostic(diagnostics, "meta_commit_mismatch", "metadataRepoSha", currentMetadata.repoSha, firstNonEmptyString(graphMetadata.metadataRepoSha, graphMetadata.metaRepoSha, graphMetadata.repoSha));
+    addRequiredComparisonDiagnostic(diagnostics, "branch_mismatch", "branch", currentMetadata.branch, graphMetadata.branch);
+    addRequiredComparisonDiagnostic(diagnostics, "graph_hash_mismatch", "uaGraphSha256", firstNonEmptyString(currentMetadata.uaGraphSha256, currentMetadata.graphSha256), firstNonEmptyString(graphMetadata.uaGraphSha256, graphMetadata.graphSha256));
+    const dirtyCoveredPaths = findDirtyCoveredPaths(graphMetadata.coveredPaths ?? [], dirtyPaths);
+    if (dirtyCoveredPaths.length > 0) {
+        diagnostics.push({
+            reason: "dirty_covered_paths",
+            field: "coveredPaths",
+            dirtyCoveredPaths,
+            actual: dirtyCoveredPaths.join(","),
+        });
+    }
+    if (diagnostics.length === 0) {
+        return { fresh: true, reasons: ["fresh"], diagnostics: [], dirtyCoveredPaths: [] };
+    }
+    return {
+        fresh: false,
+        reasons: uniqueReasons(diagnostics),
+        diagnostics,
+        dirtyCoveredPaths,
+    };
+}
+export function createOntologyGenerationIdMaterial(input) {
+    return {
+        schemaVersion: requireNonEmptyString("schemaVersion", input.schemaVersion),
+        registryVersion: requireNonEmptyString("registryVersion", input.registryVersion),
+        uaGraphSha256: requireNonEmptyString("uaGraphSha256", input.uaGraphSha256),
+        workspaceId: requireNonEmptyString("workspaceId", input.workspaceId),
+        repositoryId: requireNonEmptyString("repositoryId", input.repositoryId),
+        repoSha: requireNonEmptyString("repoSha", input.repoSha),
+        branch: requireNonEmptyString("branch", input.branch),
+    };
+}
+export function computeOntologyGenerationId(input) {
+    return hashCanonicalJson(createOntologyGenerationIdMaterial(input));
+}
+export function createOntologyGenerationCacheKeyMaterial(input) {
+    const material = createOntologyGenerationIdMaterial(input);
+    return {
+        kind: "ontology-generation",
+        version: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,
+        schemaVersion: material.schemaVersion,
+        registryVersion: material.registryVersion,
+        generationId: computeOntologyGenerationId(input),
+        workspaceId: material.workspaceId,
+        repositoryId: material.repositoryId,
+        repoSha: material.repoSha,
+        branch: material.branch,
+        uaGraphSha256: material.uaGraphSha256,
+    };
+}
+export function createOntologyGenerationCacheKey(input) {
+    const material = createOntologyGenerationCacheKeyMaterial(input);
+    const hash = hashCanonicalJson(material);
+    return {
+        kind: "ontology-generation",
+        version: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,
+        key: `ontology-generation:${ONTOLOGY_GENERATION_CACHE_KEY_VERSION}:${hash}`,
+        hash,
+        material,
+    };
+}
+export function canActivateOntologyGeneration(input) {
+    if (input.status === "failed") {
+        return denyActivation("generation_failed", ["failed generations are immutable and cannot be activated"]);
+    }
+    if (input.status === "superseded") {
+        return denyActivation("generation_superseded", ["superseded generations cannot be reactivated"]);
+    }
+    if (!input.freshness.fresh) {
+        return denyActivation("stale_source_graph", input.freshness.reasons, input.freshness.diagnostics);
+    }
+    const errors = (input.validationIssues ?? []).filter((issue) => issue.severity === "error");
+    if (errors.length > 0) {
+        return denyActivation("validation_errors", errors.map((issue) => issue.code), errors);
+    }
+    return { ok: true, reason: "eligible", nextStatus: "active" };
+}
+function addRequiredComparisonDiagnostic(diagnostics, reason, field, expected, actual) {
+    const normalizedExpected = normalizeMetadataValue(expected);
+    const normalizedActual = normalizeMetadataValue(actual);
+    if (normalizedExpected === undefined || normalizedActual === undefined) {
+        diagnostics.push({ reason: "metadata_missing", field, expected: normalizedExpected, actual: normalizedActual });
+        return;
+    }
+    if (normalizedExpected !== normalizedActual) {
+        diagnostics.push({ reason, field, expected: normalizedExpected, actual: normalizedActual });
+    }
+}
+function findDirtyCoveredPaths(coveredPaths, dirtyPaths) {
+    const normalizedCoveredPaths = coveredPaths.map(normalizePath).filter((path) => path.length > 0);
+    return [
+        ...new Set(dirtyPaths
+            .map(normalizePath)
+            .filter((path) => path.length > 0)
+            .filter((dirtyPath) => normalizedCoveredPaths.some((coveredPath) => pathsOverlap(coveredPath, dirtyPath)))),
+    ].sort();
+}
+function pathsOverlap(coveredPath, dirtyPath) {
+    return (dirtyPath === coveredPath || dirtyPath.startsWith(`${coveredPath}/`) || coveredPath.startsWith(`${dirtyPath}/`));
+}
+function uniqueReasons(diagnostics) {
+    return [...new Set(diagnostics.map((diagnostic) => diagnostic.reason))];
+}
+function firstNonEmptyString(...values) {
+    return values.find((value) => normalizeMetadataValue(value) !== undefined);
+}
+function normalizeMetadataValue(value) {
+    if (value === undefined)
+        return undefined;
+    const normalized = value.trim();
+    return normalized.length === 0 ? undefined : normalized;
+}
+function normalizePath(path) {
+    return path.trim().replace(/\\/g, "/").replace(/\/+/g, "/").replace(/^\.\//, "").replace(/\/$/, "");
+}
+function requireNonEmptyString(name, value) {
+    const normalized = value.trim();
+    if (normalized.length === 0) {
+        throw new TypeError(`${name} must be a non-empty string`);
+    }
+    return normalized;
+}
+function denyActivation(reason, blockers, diagnostics) {
+    return diagnostics === undefined ? { ok: false, reason, blockers } : { ok: false, reason, blockers, diagnostics };
+}
+//# sourceMappingURL=context-graph-ontology-generation.js.map

package/dist/core/context-graph-ontology-generation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-ontology-generation.js","sourceRoot":"","sources":["../../src/core/context-graph-ontology-generation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAmB,MAAM,yBAAyB,CAAC;AAE7E,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC;AACnD,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC;AAE1D,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAU,CAAC;AAwHjG,MAAM,UAAU,oCAAoC,CACnD,eAA0C,EAC1C,aAA8B,EAC9B,UAA6B,EACA;IAC7B,MAAM,WAAW,GAAiC,EAAE,CAAC;IAErD,+BAA+B,CAC9B,WAAW,EACX,iBAAiB,EACjB,eAAe,EACf,mBAAmB,CAAC,eAAe,CAAC,qBAAqB,EAAE,eAAe,CAAC,aAAa,CAAC,EACzF,aAAa,CAAC,aAAa,CAC3B,CAAC;IACF,+BAA+B,CAC9B,WAAW,EACX,uBAAuB,EACvB,cAAc,EACd,eAAe,CAAC,OAAO,EACvB,mBAAmB,CAAC,aAAa,CAAC,YAAY,EAAE,aAAa,CAAC,cAAc,EAAE,aAAa,CAAC,OAAO,CAAC,CACpG,CAAC;IACF,+BAA+B,CAC9B,WAAW,EACX,sBAAsB,EACtB,iBAAiB,EACjB,eAAe,CAAC,OAAO,EACvB,mBAAmB,CAAC,aAAa,CAAC,eAAe,EAAE,aAAa,CAAC,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,CACpG,CAAC;IACF,+BAA+B,CAC9B,WAAW,EACX,iBAAiB,EACjB,QAAQ,EACR,eAAe,CAAC,MAAM,EACtB,aAAa,CAAC,MAAM,CACpB,CAAC;IACF,+BAA+B,CAC9B,WAAW,EACX,qBAAqB,EACrB,eAAe,EACf,mBAAmB,CAAC,eAAe,CAAC,aAAa,EAAE,eAAe,CAAC,WAAW,CAAC,EAC/E,mBAAmB,CAAC,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,WAAW,CAAC,CAC3E,CAAC;IAEF,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,aAAa,CAAC,YAAY,IAAI,EAAE,EAAE,UAAU,CAAC,CAAC;IAC9F,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CAAC;YAChB,MAAM,EAAE,qBAAqB;YAC7B,KAAK,EAAE,cAAc;YACrB,iBAAiB;YACjB,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC;SACnC,CAAC,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;IACpF,CAAC;IAED,OAAO;QACN,KAAK,EAAE,KAAK;QACZ,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC;QACnC,WAAW;QACX,iBAAiB;KACjB,CAAC;AAAA,CACF;AAED,MAAM,UAAU,kCAAkC,CACjD,KAAsC,EACP;IAC/B,OAAO;QACN,aAAa,EAAE,qBAAqB,CAAC,eAAe,EAAE,KAAK,CAAC,aAAa,CAAC;QAC1E,eAAe,EAAE,qBAAqB,CAAC,iBAAiB,EAAE,KAAK,CAAC,eAAe,CAAC;QAChF,aAAa,EAAE,qBAAqB,CAAC,eAAe,EAAE,KAAK,CAAC,aAAa,CAAC;QAC1E,WAAW,EAAE,qBAAqB,CAAC,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC;QACpE,YAAY,EAAE,qBAAqB,CAAC,cAAc,EAAE,KAAK,CAAC,YAAY,CAAC;QACvE,OAAO,EAAE,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC;QACxD,MAAM,EAAE,qBAAqB,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC;KACrD,CAAC;AAAA,CACF;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAsC,EAAU;IAC3F,OAAO,iBAAiB,CAAC,kCAAkC,CAAC,KAAK,CAAC,CAAC,CAAC;AAAA,CACpE;AAED,MAAM,UAAU,wCAAwC,CACvD,KAAsC,EACD;IACrC,MAAM,QAAQ,GAAG,kCAAkC,CAAC,KAAK,CAAC,CAAC;IAC3D,OAAO;QACN,IAAI,EAAE,qBAAqB;QAC3B,OAAO,EAAE,qCAAqC;QAC9C,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,YAAY,EAAE,2BAA2B,CAAC,KAAK,CAAC;QAChD,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,aAAa,EAAE,QAAQ,CAAC,aAAa;KACrC,CAAC;AAAA,CACF;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAsC,EAA8B;IACpH,MAAM,QAAQ,GAAG,wCAAwC,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzC,OAAO;QACN,IAAI,EAAE,qBAAqB;QAC3B,OAAO,EAAE,qCAAqC;QAC9C,GAAG,EAAE,uBAAuB,qCAAqC,IAAI,IAAI,EAAE;QAC3E,IAAI;QACJ,QAAQ;KACR,CAAC;AAAA,CACF;AAED,MAAM,UAAU,6BAA6B,CAC5C,KAAwC,EACD;IACvC,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,cAAc,CAAC,mBAAmB,EAAE,CAAC,0DAA0D,CAAC,CAAC,CAAC;IAC1G,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QACnC,OAAO,cAAc,CAAC,uBAAuB,EAAE,CAAC,8CAA8C,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QAC5B,OAAO,cAAc,CAAC,oBAAoB,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACnG,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC5F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,cAAc,CACpB,mBAAmB,EACnB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EACjC,MAAM,CACN,CAAC;IACH,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AAAA,CAC9D;AAED,SAAS,+BAA+B,CACvC,WAAyC,EACzC,MAA6F,EAC7F,KAAa,EACb,QAA4B,EAC5B,MAA0B,EACnB;IACP,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IACxD,IAAI,kBAAkB,KAAK,SAAS,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxE,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAChH,OAAO;IACR,CAAC;IACD,IAAI,kBAAkB,KAAK,gBAAgB,EAAE,CAAC;QAC7C,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC7F,CAAC;AAAA,CACD;AAED,SAAS,qBAAqB,CAAC,YAA+B,EAAE,UAA6B,EAAqB;IACjH,MAAM,sBAAsB,GAAG,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjG,OAAO;QACN,GAAG,IAAI,GAAG,CACT,UAAU;aACR,GAAG,CAAC,aAAa,CAAC;aAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;aACjC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,CAC3G;KACD,CAAC,IAAI,EAAE,CAAC;AAAA,CACT;AAED,SAAS,YAAY,CAAC,WAAmB,EAAE,SAAiB,EAAW;IACtE,OAAO,CACN,SAAS,KAAK,WAAW,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,WAAW,GAAG,CAAC,IAAI,WAAW,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC,CAC/G,CAAC;AAAA,CACF;AAED,SAAS,aAAa,CAAC,WAAkD,EAAqC;IAC7G,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAAA,CACxE;AAED,SAAS,mBAAmB,CAAC,GAAG,MAAuC,EAAsB;IAC5F,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC;AAAA,CAC3E;AAED,SAAS,sBAAsB,CAAC,KAAyB,EAAsB;IAC9E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAChC,OAAO,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;AAAA,CACxD;AAED,SAAS,aAAa,CAAC,IAAY,EAAU;IAC5C,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAAA,CACpG;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,KAAa,EAAU;IACnE,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,6BAA6B,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,UAAU,CAAC;AAAA,CAClB;AAED,SAAS,cAAc,CACtB,MAA+D,EAC/D,QAA2B,EAC3B,WAAkG,EAC3D;IACvC,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAAA,CAClH","sourcesContent":["import { hashCanonicalJson, type JsonObject } from \"./exact-cache-policy.ts\";\n\nexport const ONTOLOGY_GENERATION_ID_VERSION = \"v1\";\nexport const ONTOLOGY_GENERATION_CACHE_KEY_VERSION = \"v1\";\n\nexport const ONTOLOGY_GENERATION_STATUSES = [\"draft\", \"active\", \"superseded\", \"failed\"] as const;\n\nexport type OntologyGenerationStatus = (typeof ONTOLOGY_GENERATION_STATUSES)[number];\n\nexport type UaGraphFreshnessReason =\n\t| \"fresh\"\n\t| \"metadata_missing\"\n\t| \"schema_mismatch\"\n\t| \"graph_commit_mismatch\"\n\t| \"meta_commit_mismatch\"\n\t| \"branch_mismatch\"\n\t| \"graph_hash_mismatch\"\n\t| \"dirty_covered_paths\";\n\nexport interface CurrentRepositoryMetadata {\n\treadonly repoSha: string;\n\treadonly branch: string;\n\treadonly ontologySchemaVersion?: string;\n\treadonly schemaVersion?: string;\n\treadonly uaGraphSha256?: string;\n\treadonly graphSha256?: string;\n}\n\nexport interface UaGraphMetadata {\n\treadonly schemaVersion: string;\n\treadonly branch: string;\n\treadonly graphRepoSha?: string;\n\treadonly graphCommitSha?: string;\n\treadonly repoSha?: string;\n\treadonly metadataRepoSha?: string;\n\treadonly metaRepoSha?: string;\n\treadonly uaGraphSha256?: string;\n\treadonly graphSha256?: string;\n\treadonly coveredPaths?: readonly string[];\n}\n\nexport interface UaGraphFreshnessDiagnostic {\n\treadonly reason: Exclude<UaGraphFreshnessReason, \"fresh\">;\n\treadonly field: string;\n\treadonly expected?: string;\n\treadonly actual?: string;\n\treadonly dirtyCoveredPaths?: readonly string[];\n}\n\nexport interface UaGraphFreshnessEvaluation {\n\treadonly fresh: boolean;\n\treadonly reasons: readonly UaGraphFreshnessReason[];\n\treadonly diagnostics: readonly UaGraphFreshnessDiagnostic[];\n\treadonly dirtyCoveredPaths: readonly string[];\n}\n\nexport interface OntologyGenerationIdentityInput {\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly uaGraphSha256: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface OntologyGenerationIdMaterial extends JsonObject {\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly uaGraphSha256: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n}\n\nexport interface OntologyGenerationCacheKeyMaterial extends JsonObject {\n\treadonly kind: \"ontology-generation\";\n\treadonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;\n\treadonly schemaVersion: string;\n\treadonly registryVersion: string;\n\treadonly generationId: string;\n\treadonly workspaceId: string;\n\treadonly repositoryId: string;\n\treadonly repoSha: string;\n\treadonly branch: string;\n\treadonly uaGraphSha256: string;\n}\n\nexport interface OntologyGenerationCacheKey {\n\treadonly kind: \"ontology-generation\";\n\treadonly version: typeof ONTOLOGY_GENERATION_CACHE_KEY_VERSION;\n\treadonly key: string;\n\treadonly hash: string;\n\treadonly material: OntologyGenerationCacheKeyMaterial;\n}\n\nexport interface OntologyGenerationValidationIssue {\n\treadonly code: string;\n\treadonly severity: \"error\" | \"warning\" | \"info\";\n\treadonly message: string;\n}\n\nexport type OntologyGenerationActivationReason =\n\t| \"eligible\"\n\t| \"stale_source_graph\"\n\t| \"generation_failed\"\n\t| \"generation_superseded\"\n\t| \"validation_errors\";\n\nexport type OntologyGenerationActivationDecision =\n\t| { readonly ok: true; readonly reason: \"eligible\"; readonly nextStatus: \"active\" }\n\t| {\n\t\t\treadonly ok: false;\n\t\t\treadonly reason: Exclude<OntologyGenerationActivationReason, \"eligible\">;\n\t\t\treadonly blockers: readonly string[];\n\t\t\treadonly diagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[];\n\t  };\n\nexport interface OntologyGenerationActivationInput {\n\treadonly status: OntologyGenerationStatus;\n\treadonly freshness: UaGraphFreshnessEvaluation;\n\treadonly validationIssues?: readonly OntologyGenerationValidationIssue[];\n}\n\nexport function evaluateUaGraphFreshnessFromMetadata(\n\tcurrentMetadata: CurrentRepositoryMetadata,\n\tgraphMetadata: UaGraphMetadata,\n\tdirtyPaths: readonly string[],\n): UaGraphFreshnessEvaluation {\n\tconst diagnostics: UaGraphFreshnessDiagnostic[] = [];\n\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"schema_mismatch\",\n\t\t\"schemaVersion\",\n\t\tfirstNonEmptyString(currentMetadata.ontologySchemaVersion, currentMetadata.schemaVersion),\n\t\tgraphMetadata.schemaVersion,\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"graph_commit_mismatch\",\n\t\t\"graphRepoSha\",\n\t\tcurrentMetadata.repoSha,\n\t\tfirstNonEmptyString(graphMetadata.graphRepoSha, graphMetadata.graphCommitSha, graphMetadata.repoSha),\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"meta_commit_mismatch\",\n\t\t\"metadataRepoSha\",\n\t\tcurrentMetadata.repoSha,\n\t\tfirstNonEmptyString(graphMetadata.metadataRepoSha, graphMetadata.metaRepoSha, graphMetadata.repoSha),\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"branch_mismatch\",\n\t\t\"branch\",\n\t\tcurrentMetadata.branch,\n\t\tgraphMetadata.branch,\n\t);\n\taddRequiredComparisonDiagnostic(\n\t\tdiagnostics,\n\t\t\"graph_hash_mismatch\",\n\t\t\"uaGraphSha256\",\n\t\tfirstNonEmptyString(currentMetadata.uaGraphSha256, currentMetadata.graphSha256),\n\t\tfirstNonEmptyString(graphMetadata.uaGraphSha256, graphMetadata.graphSha256),\n\t);\n\n\tconst dirtyCoveredPaths = findDirtyCoveredPaths(graphMetadata.coveredPaths ?? [], dirtyPaths);\n\tif (dirtyCoveredPaths.length > 0) {\n\t\tdiagnostics.push({\n\t\t\treason: \"dirty_covered_paths\",\n\t\t\tfield: \"coveredPaths\",\n\t\t\tdirtyCoveredPaths,\n\t\t\tactual: dirtyCoveredPaths.join(\",\"),\n\t\t});\n\t}\n\n\tif (diagnostics.length === 0) {\n\t\treturn { fresh: true, reasons: [\"fresh\"], diagnostics: [], dirtyCoveredPaths: [] };\n\t}\n\n\treturn {\n\t\tfresh: false,\n\t\treasons: uniqueReasons(diagnostics),\n\t\tdiagnostics,\n\t\tdirtyCoveredPaths,\n\t};\n}\n\nexport function createOntologyGenerationIdMaterial(\n\tinput: OntologyGenerationIdentityInput,\n): OntologyGenerationIdMaterial {\n\treturn {\n\t\tschemaVersion: requireNonEmptyString(\"schemaVersion\", input.schemaVersion),\n\t\tregistryVersion: requireNonEmptyString(\"registryVersion\", input.registryVersion),\n\t\tuaGraphSha256: requireNonEmptyString(\"uaGraphSha256\", input.uaGraphSha256),\n\t\tworkspaceId: requireNonEmptyString(\"workspaceId\", input.workspaceId),\n\t\trepositoryId: requireNonEmptyString(\"repositoryId\", input.repositoryId),\n\t\trepoSha: requireNonEmptyString(\"repoSha\", input.repoSha),\n\t\tbranch: requireNonEmptyString(\"branch\", input.branch),\n\t};\n}\n\nexport function computeOntologyGenerationId(input: OntologyGenerationIdentityInput): string {\n\treturn hashCanonicalJson(createOntologyGenerationIdMaterial(input));\n}\n\nexport function createOntologyGenerationCacheKeyMaterial(\n\tinput: OntologyGenerationIdentityInput,\n): OntologyGenerationCacheKeyMaterial {\n\tconst material = createOntologyGenerationIdMaterial(input);\n\treturn {\n\t\tkind: \"ontology-generation\",\n\t\tversion: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,\n\t\tschemaVersion: material.schemaVersion,\n\t\tregistryVersion: material.registryVersion,\n\t\tgenerationId: computeOntologyGenerationId(input),\n\t\tworkspaceId: material.workspaceId,\n\t\trepositoryId: material.repositoryId,\n\t\trepoSha: material.repoSha,\n\t\tbranch: material.branch,\n\t\tuaGraphSha256: material.uaGraphSha256,\n\t};\n}\n\nexport function createOntologyGenerationCacheKey(input: OntologyGenerationIdentityInput): OntologyGenerationCacheKey {\n\tconst material = createOntologyGenerationCacheKeyMaterial(input);\n\tconst hash = hashCanonicalJson(material);\n\treturn {\n\t\tkind: \"ontology-generation\",\n\t\tversion: ONTOLOGY_GENERATION_CACHE_KEY_VERSION,\n\t\tkey: `ontology-generation:${ONTOLOGY_GENERATION_CACHE_KEY_VERSION}:${hash}`,\n\t\thash,\n\t\tmaterial,\n\t};\n}\n\nexport function canActivateOntologyGeneration(\n\tinput: OntologyGenerationActivationInput,\n): OntologyGenerationActivationDecision {\n\tif (input.status === \"failed\") {\n\t\treturn denyActivation(\"generation_failed\", [\"failed generations are immutable and cannot be activated\"]);\n\t}\n\tif (input.status === \"superseded\") {\n\t\treturn denyActivation(\"generation_superseded\", [\"superseded generations cannot be reactivated\"]);\n\t}\n\tif (!input.freshness.fresh) {\n\t\treturn denyActivation(\"stale_source_graph\", input.freshness.reasons, input.freshness.diagnostics);\n\t}\n\n\tconst errors = (input.validationIssues ?? []).filter((issue) => issue.severity === \"error\");\n\tif (errors.length > 0) {\n\t\treturn denyActivation(\n\t\t\t\"validation_errors\",\n\t\t\terrors.map((issue) => issue.code),\n\t\t\terrors,\n\t\t);\n\t}\n\n\treturn { ok: true, reason: \"eligible\", nextStatus: \"active\" };\n}\n\nfunction addRequiredComparisonDiagnostic(\n\tdiagnostics: UaGraphFreshnessDiagnostic[],\n\treason: Exclude<UaGraphFreshnessReason, \"fresh\" | \"dirty_covered_paths\" | \"metadata_missing\">,\n\tfield: string,\n\texpected: string | undefined,\n\tactual: string | undefined,\n): void {\n\tconst normalizedExpected = normalizeMetadataValue(expected);\n\tconst normalizedActual = normalizeMetadataValue(actual);\n\tif (normalizedExpected === undefined || normalizedActual === undefined) {\n\t\tdiagnostics.push({ reason: \"metadata_missing\", field, expected: normalizedExpected, actual: normalizedActual });\n\t\treturn;\n\t}\n\tif (normalizedExpected !== normalizedActual) {\n\t\tdiagnostics.push({ reason, field, expected: normalizedExpected, actual: normalizedActual });\n\t}\n}\n\nfunction findDirtyCoveredPaths(coveredPaths: readonly string[], dirtyPaths: readonly string[]): readonly string[] {\n\tconst normalizedCoveredPaths = coveredPaths.map(normalizePath).filter((path) => path.length > 0);\n\treturn [\n\t\t...new Set(\n\t\t\tdirtyPaths\n\t\t\t\t.map(normalizePath)\n\t\t\t\t.filter((path) => path.length > 0)\n\t\t\t\t.filter((dirtyPath) => normalizedCoveredPaths.some((coveredPath) => pathsOverlap(coveredPath, dirtyPath))),\n\t\t),\n\t].sort();\n}\n\nfunction pathsOverlap(coveredPath: string, dirtyPath: string): boolean {\n\treturn (\n\t\tdirtyPath === coveredPath || dirtyPath.startsWith(`${coveredPath}/`) || coveredPath.startsWith(`${dirtyPath}/`)\n\t);\n}\n\nfunction uniqueReasons(diagnostics: readonly UaGraphFreshnessDiagnostic[]): readonly UaGraphFreshnessReason[] {\n\treturn [...new Set(diagnostics.map((diagnostic) => diagnostic.reason))];\n}\n\nfunction firstNonEmptyString(...values: readonly (string | undefined)[]): string | undefined {\n\treturn values.find((value) => normalizeMetadataValue(value) !== undefined);\n}\n\nfunction normalizeMetadataValue(value: string | undefined): string | undefined {\n\tif (value === undefined) return undefined;\n\tconst normalized = value.trim();\n\treturn normalized.length === 0 ? undefined : normalized;\n}\n\nfunction normalizePath(path: string): string {\n\treturn path.trim().replace(/\\\\/g, \"/\").replace(/\\/+/g, \"/\").replace(/^\\.\\//, \"\").replace(/\\/$/, \"\");\n}\n\nfunction requireNonEmptyString(name: string, value: string): string {\n\tconst normalized = value.trim();\n\tif (normalized.length === 0) {\n\t\tthrow new TypeError(`${name} must be a non-empty string`);\n\t}\n\treturn normalized;\n}\n\nfunction denyActivation(\n\treason: Exclude<OntologyGenerationActivationReason, \"eligible\">,\n\tblockers: readonly string[],\n\tdiagnostics?: readonly UaGraphFreshnessDiagnostic[] | readonly OntologyGenerationValidationIssue[],\n): OntologyGenerationActivationDecision {\n\treturn diagnostics === undefined ? { ok: false, reason, blockers } : { ok: false, reason, blockers, diagnostics };\n}\n"]}