@eviano/tribunal 0.1.2

package/dist/analyzers/hallucinatedSymbol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hallucinatedSymbol.js","sourceRoot":"","sources":["../../src/analyzers/hallucinatedSymbol.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGzD;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,aAAa,GAAG,kBAAkB,CAAC;AACzC,MAAM,SAAS,GAAG,eAAe,CAAC;AAClC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAE7B,SAAS,iBAAiB,CAAC,IAAY;IACrC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;IACnD,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;IACnD,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IACtD,OAAO,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;AAC1B,CAAC;AAOD,4FAA4F;AAC5F,SAAS,eAAe,CAAC,QAAgB;IACvC,IAAI,OAAO,GAAuB;QAChC,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO;KAClD,CAAC;IACF,MAAM,OAAO,GAAG,EAAE,CAAC,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAChF,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;YACpF,OAAO,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,cAAsB,EAAE,CAAa;IACxE,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,gBAAgB,CAAC;AACxG,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AASD,SAAS,cAAc,CAAC,IAAoB,EAAE,IAAiB;IAC7D,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;SAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBAAE,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;AACH,CAAC;AAED,wGAAwG;AACxG,SAAS,cAAc,CAAC,IAAY,EAAE,CAAa,EAAE,KAAa,EAAE,IAAiB;IACnF,MAAM,MAAM,GAAY,EAAE,KAAK,EAAE,IAAI,GAAG,EAAU,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IAC1F,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,kBAAkB,EAAE,CAAC;QACjD,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;QACxB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;QACxB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IACrG,IAAI,WAAW,GAAG,KAAK,CAAC;IAExB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3E,MAAM,SAAS,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QACrF,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC;QAEvF,IAAI,SAAS,EAAE,CAAC;YACd,WAAW,GAAG,IAAI,CAAC;YACnB,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY;oBAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1F,CAAC;iBAAM,IACL,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;gBAC7B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC3B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;gBAC1B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC,IAAI;gBACT,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAC1B,CAAC;gBACD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,WAAW,GAAG,IAAI,CAAC;YACnB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;oBACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ;wBAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5E,CAAC;qBAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;oBACnD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChD,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC5E,wBAAwB;gBACxB,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBACjE,IAAI,MAAM,EAAE,CAAC;oBACX,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;oBACvD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,KAAK;wBAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC/C,IAAI,GAAG,CAAC,SAAS;wBAAE,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;gBAC7C,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;gBAC1B,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,WAAW,GAAG,IAAI,CAAC;YACnB,IAAI,IAAI,CAAC,cAAc;gBAAE,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,2BAA2B;;gBACxE,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC,mBAAmB;QACpD,CAAC;IACH,CAAC;IAED,oFAAoF;IACpF,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,iCAAiC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC9F,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,EAAiB,EAAE,GAAW;IAC5C,OAAO,EAAE,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,QAAQ,CAAC,UAAuB,EAAE,KAAa,EAAE,GAAW;IACnE,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,EAAE;QAAE,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACtE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,EAAE,CACT,OAAgB,EAChB,IAAY,EACZ,IAAY,EACZ,OAAe,EACf,KAAa,EACb,MAAc;IAEd,OAAO,EAAE,QAAQ,EAAE,qBAAqB,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,SAAS,CAChB,EAAiB,EACjB,QAAgB,EAChB,UAAuB,EACvB,OAAe,EACf,CAAa;IAEb,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,SAAS;QACzF,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC;YAAE,SAAS;QAEhD,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;QACvC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAEjD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,UAAU,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CACX,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,4BAA4B,EACnE,IAAI,IAAI,uCAAuC,QAAQ,GAAG,CAAC,CAC9D,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CACX,EAAE,CAAC,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,2BAA2B,EAChE,YAAY,IAAI,gGAAgG,CAAC,CACpH,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC;QACjC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC;YAAE,SAAS;QAE3F,MAAM,GAAG,GAAG,cAAc,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACtD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;YACnD,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACrC,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACtC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CACX,EAAE,CAAC,YAAY,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,2BAA2B,EAChE,sBAAsB,QAAQ,qBAAqB,IAAI,wDAAwD,CAAC,CACnH,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CACX,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,8BAA8B,EACrE,IAAI,IAAI,0BAA0B,QAAQ,IAAI,CAAC,CAClD,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,EAAE,EAAE,qBAAqB;IACzB,KAAK,EAAE,sBAAsB;IAC7B,WAAW,EACT,8FAA8F;IAChG,IAAI,EAAE,mBAAmB;IACzB,GAAG,CAAC,GAAoB;QACtB,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACjC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YACrC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,GAAG,IAAI,IAAI;gBAAE,SAAS;YAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACtG,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,cAAc,EAAE,eAAe,EAAE,CAAC"}

package/dist/analyzers/index.d.ts

@@ -0,0 +1,9 @@
+import type { Analyzer } from '../types.js';
+import { assertionFreeTest } from './assertionFreeTest.js';
+import { hallucinatedSymbol } from './hallucinatedSymbol.js';
+import { claimReconciliation } from './claimReconciliation.js';
+/**
+ * The analyzer registry. Analyzers are independent and side-effect free; order is display-only.
+ */
+export declare const analyzers: Analyzer[];
+export { assertionFreeTest, hallucinatedSymbol, claimReconciliation };

package/dist/analyzers/index.js

@@ -0,0 +1,9 @@
+import { assertionFreeTest } from './assertionFreeTest.js';
+import { hallucinatedSymbol } from './hallucinatedSymbol.js';
+import { claimReconciliation } from './claimReconciliation.js';
+/**
+ * The analyzer registry. Analyzers are independent and side-effect free; order is display-only.
+ */
+export const analyzers = [assertionFreeTest, hallucinatedSymbol, claimReconciliation];
+export { assertionFreeTest, hallucinatedSymbol, claimReconciliation };
+//# sourceMappingURL=index.js.map

package/dist/analyzers/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/analyzers/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAe,CAAC,iBAAiB,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;AAElG,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,CAAC"}

package/dist/claims.d.ts

@@ -0,0 +1,15 @@
+import type { Claim } from './types.js';
+export interface ParseClaimsOptions {
+    /**
+     * When true, claims are ONLY read from a ```tribunal fenced block. Use this for free-text sources
+     * like a PR body, where treating every prose line as a claim would be wrong. When false (a dedicated
+     * claims file), the whole text is parsed, but a fenced block still takes precedence if present.
+     */
+    requireFence?: boolean;
+}
+/**
+ * Extract machine-readable claims. This is deliberately a parser, not natural-language understanding:
+ * an agent (or human) declares claims in a fixed vocabulary, so an unparsed line can never become a
+ * false CONTRADICTED — it simply isn't a claim.
+ */
+export declare function parseClaims(text: string, opts?: ParseClaimsOptions): Claim[];

package/dist/claims.js

@@ -0,0 +1,32 @@
+const FENCE_RE = /```tribunal[^\n]*\n([\s\S]*?)```/i;
+/**
+ * Extract machine-readable claims. This is deliberately a parser, not natural-language understanding:
+ * an agent (or human) declares claims in a fixed vocabulary, so an unparsed line can never become a
+ * false CONTRADICTED — it simply isn't a claim.
+ */
+export function parseClaims(text, opts = {}) {
+    if (!text)
+        return [];
+    const fenced = text.match(FENCE_RE);
+    if (opts.requireFence && !fenced)
+        return [];
+    const body = fenced ? fenced[1] : text;
+    const claims = [];
+    for (const rawLine of body.split('\n')) {
+        let line = rawLine.trim();
+        if (!line || line.startsWith('#') || line.startsWith('//'))
+            continue;
+        line = line.replace(/^[-*]\s+/, '').trim(); // strip markdown list markers
+        if (!line)
+            continue;
+        const idx = line.indexOf(':');
+        const keyPart = idx >= 0 ? line.slice(0, idx) : line;
+        const arg = idx >= 0 ? line.slice(idx + 1).trim() : undefined;
+        const key = keyPart.trim().toLowerCase().replace(/[_\s]+/g, '-');
+        if (!key)
+            continue;
+        claims.push({ key, arg: arg || undefined, raw: line });
+    }
+    return claims;
+}
+//# sourceMappingURL=claims.js.map

package/dist/claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../src/claims.ts"],"names":[],"mappings":"AAEA,MAAM,QAAQ,GAAG,mCAAmC,CAAC;AAWrD;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,OAA2B,EAAE;IACrE,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,YAAY,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEvC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QACrE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,8BAA8B;QAC1E,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACrD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACjE,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/cli.js

@@ -0,0 +1,116 @@
+#!/usr/bin/env node
+import { runTribunal } from './index.js';
+import { exitCode, renderJson, renderMarkdown } from './report/render.js';
+import { parseClaims } from './claims.js';
+import { readFileSync } from 'node:fs';
+const HELP = `tribunal — a deterministic, no-LLM CI gate for agent-authored PRs
+
+Usage:
+  tribunal check [options]
+
+Options:
+  --base <ref>     Base ref for a range diff (e.g. the PR base branch).
+  --head <ref>     Head ref for a range diff. Defaults to working tree vs HEAD.
+  --diff <file>    Read a unified diff from a file instead of invoking git.
+  --claims <file>  Read machine-readable claims from a file (whole file, or a tribunal fenced block).
+  --pr-body <file> Read claims ONLY from a \`\`\`tribunal fenced block in a PR-body file.
+  --cwd <dir>      Repo root to run in (default: current directory).
+  --format <fmt>   Output format: md (default) or json.
+  --hard-fail      Exit non-zero when there is at least one CONTRADICTED finding.
+                   Off by default (report-only). Gates ONLY on CONTRADICTED.
+  -h, --help       Show this help.
+
+Tribunal gates only on CONTRADICTED (a syntactic certainty). UNVERIFIED never blocks,
+and no LLM is in the verification path.
+`;
+function parseArgs(argv) {
+    const opts = { command: '', cwd: process.cwd(), format: 'md', hardFail: false };
+    const rest = [...argv];
+    while (rest.length) {
+        const a = rest.shift();
+        switch (a) {
+            case '-h':
+            case '--help':
+                opts.command = 'help';
+                break;
+            case '--base':
+                opts.base = rest.shift();
+                break;
+            case '--head':
+                opts.head = rest.shift();
+                break;
+            case '--diff':
+                opts.diffFile = rest.shift();
+                break;
+            case '--claims':
+                opts.claimsFile = rest.shift();
+                break;
+            case '--pr-body':
+                opts.prBodyFile = rest.shift();
+                break;
+            case '--cwd':
+                opts.cwd = rest.shift() ?? opts.cwd;
+                break;
+            case '--format': {
+                const f = rest.shift();
+                if (f === 'md' || f === 'json')
+                    opts.format = f;
+                else
+                    throw new Error(`Unknown format: ${f} (expected md or json)`);
+                break;
+            }
+            case '--hard-fail':
+                opts.hardFail = true;
+                break;
+            default:
+                if (!a.startsWith('-') && !opts.command)
+                    opts.command = a;
+                else
+                    throw new Error(`Unknown argument: ${a}`);
+        }
+    }
+    return opts;
+}
+function main() {
+    let opts;
+    try {
+        opts = parseArgs(process.argv.slice(2));
+    }
+    catch (err) {
+        process.stderr.write(`${err.message}\n\n${HELP}`);
+        process.exit(2);
+    }
+    if (opts.command === 'help' || opts.command === '') {
+        process.stdout.write(HELP);
+        process.exit(0);
+    }
+    if (opts.command !== 'check') {
+        process.stderr.write(`Unknown command: ${opts.command}\n\n${HELP}`);
+        process.exit(2);
+    }
+    let claims;
+    if (opts.claimsFile)
+        claims = parseClaims(readFileSync(opts.claimsFile, 'utf8'));
+    else if (opts.prBodyFile)
+        claims = parseClaims(readFileSync(opts.prBodyFile, 'utf8'), { requireFence: true });
+    const src = {
+        repoRoot: opts.cwd,
+        base: opts.base,
+        head: opts.head,
+        diffText: opts.diffFile ? readFileSync(opts.diffFile, 'utf8') : undefined,
+        claims,
+    };
+    let report;
+    try {
+        report = runTribunal(src);
+    }
+    catch (err) {
+        process.stderr.write(`tribunal: ${err.message}\n`);
+        process.exit(2);
+    }
+    const out = opts.format === 'json' ? renderJson(report) : renderMarkdown(report, opts.hardFail);
+    process.stdout.write(`${out}\n`);
+    process.exit(exitCode(report, opts.hardFail));
+}
+main();
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAE1E,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAcvC,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;CAmBZ,CAAC;AAEF,SAAS,SAAS,CAAC,IAAc;IAC/B,MAAM,IAAI,GAAe,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5F,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACvB,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,EAAG,CAAC;QACxB,QAAQ,CAAC,EAAE,CAAC;YACV,KAAK,IAAI,CAAC;YACV,KAAK,QAAQ;gBACX,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;gBACtB,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACzB,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACzB,MAAM;YACR,KAAK,QAAQ;gBACX,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC7B,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC/B,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC/B,MAAM;YACR,KAAK,OAAO;gBACV,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC;gBACpC,MAAM;YACR,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,MAAM;oBAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;;oBAC3C,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;gBACnE,MAAM;YACR,CAAC;YACD,KAAK,aAAa;gBAChB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACrB,MAAM;YACR;gBACE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;oBAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;;oBACrD,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,IAAI;IACX,IAAI,IAAgB,CAAC;IACrB,IAAI,CAAC;QACH,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAI,GAAa,CAAC,OAAO,OAAO,IAAI,EAAE,CAAC,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;QACnD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAC7B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,IAAI,CAAC,OAAO,OAAO,IAAI,EAAE,CAAC,CAAC;QACpE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,MAA2B,CAAC;IAChC,IAAI,IAAI,CAAC,UAAU;QAAE,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;SAC5E,IAAI,IAAI,CAAC,UAAU;QAAE,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IAE9G,MAAM,GAAG,GAAe;QACtB,QAAQ,EAAE,IAAI,CAAC,GAAG;QAClB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;QACzE,MAAM;KACP,CAAC;IAEF,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,aAAc,GAAa,CAAC,OAAO,IAAI,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;IACjC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/diff/gitDiff.d.ts

@@ -0,0 +1,19 @@
+import type { AnalyzerContext, ChangedFile, Claim } from '../types.js';
+export interface DiffSource {
+    repoRoot: string;
+    /** Base ref for a range diff (e.g. the PR base branch). */
+    base?: string;
+    /** Head ref for a range diff. Defaults to working tree / HEAD. */
+    head?: string;
+    /** Raw unified diff text. When set, git is not invoked (useful for tests and piped diffs). */
+    diffText?: string;
+    /** Machine-readable claims parsed from the PR body / claims file. */
+    claims?: Claim[];
+}
+/** Resolve the set of changed files from either a raw diff or `git diff`. */
+export declare function getChangedFiles(src: DiffSource): ChangedFile[];
+/**
+ * Build an AnalyzerContext that reads file contents from the working tree (assumed to be the head
+ * checkout). For range diffs in CI, check out `head` before running.
+ */
+export declare function makeContext(src: DiffSource): AnalyzerContext;

package/dist/diff/gitDiff.js

@@ -0,0 +1,64 @@
+import { execFileSync } from 'node:child_process';
+import { existsSync, readFileSync } from 'node:fs';
+import { join, resolve } from 'node:path';
+import { parseUnifiedDiff } from './parseUnifiedDiff.js';
+/** Resolve the set of changed files from either a raw diff or `git diff`. */
+export function getChangedFiles(src) {
+    if (src.diffText != null)
+        return parseUnifiedDiff(src.diffText);
+    const args = ['diff', '--no-color', '--unified=0'];
+    if (src.base && src.head)
+        args.push(`${src.base}...${src.head}`);
+    else if (src.base)
+        args.push(src.base);
+    else
+        args.push('HEAD');
+    const out = execFileSync('git', args, {
+        cwd: src.repoRoot,
+        encoding: 'utf8',
+        maxBuffer: 64 * 1024 * 1024,
+    });
+    return parseUnifiedDiff(out);
+}
+/**
+ * Build an AnalyzerContext that reads file contents from the working tree (assumed to be the head
+ * checkout). For range diffs in CI, check out `head` before running.
+ */
+export function makeContext(src) {
+    const repoRoot = resolve(src.repoRoot);
+    const changedFiles = getChangedFiles(src);
+    // Base-tree reads require a base ref and real git history (not the piped-diff path).
+    const canReadBase = src.diffText == null && !!src.base;
+    return {
+        repoRoot,
+        base: src.base,
+        claims: src.claims,
+        readFile(path) {
+            const full = join(repoRoot, path);
+            if (!existsSync(full))
+                return null;
+            try {
+                return readFileSync(full, 'utf8');
+            }
+            catch {
+                return null;
+            }
+        },
+        readBaseFile: canReadBase
+            ? (path) => {
+                try {
+                    return execFileSync('git', ['show', `${src.base}:${path}`], {
+                        cwd: repoRoot,
+                        encoding: 'utf8',
+                        maxBuffer: 64 * 1024 * 1024,
+                    });
+                }
+                catch {
+                    return null; // path did not exist at base
+                }
+            }
+            : undefined,
+        changedFiles,
+    };
+}
+//# sourceMappingURL=gitDiff.js.map

package/dist/diff/gitDiff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gitDiff.js","sourceRoot":"","sources":["../../src/diff/gitDiff.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAczD,6EAA6E;AAC7E,MAAM,UAAU,eAAe,CAAC,GAAe;IAC7C,IAAI,GAAG,CAAC,QAAQ,IAAI,IAAI;QAAE,OAAO,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEhE,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IACnD,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;SAC5D,IAAI,GAAG,CAAC,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;;QAClC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEvB,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE;QACpC,GAAG,EAAE,GAAG,CAAC,QAAQ;QACjB,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;KAC5B,CAAC,CAAC;IACH,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,GAAe;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,YAAY,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAC1C,qFAAqF;IACrF,MAAM,WAAW,GAAG,GAAG,CAAC,QAAQ,IAAI,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IACvD,OAAO;QACL,QAAQ;QACR,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,CAAC,IAAY;YACnB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnC,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACpC,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,YAAY,EAAE,WAAW;YACvB,CAAC,CAAC,CAAC,IAAY,EAAiB,EAAE;gBAC9B,IAAI,CAAC;oBACH,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,EAAE;wBAC1D,GAAG,EAAE,QAAQ;wBACb,QAAQ,EAAE,MAAM;wBAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;qBAC5B,CAAC,CAAC;gBACL,CAAC;gBAAC,MAAM,CAAC;oBACP,OAAO,IAAI,CAAC,CAAC,6BAA6B;gBAC5C,CAAC;YACH,CAAC;YACH,CAAC,CAAC,SAAS;QACb,YAAY;KACb,CAAC;AACJ,CAAC"}

package/dist/diff/parseUnifiedDiff.d.ts

@@ -0,0 +1,9 @@
+import type { ChangedFile } from '../types.js';
+/**
+ * Parse a unified `git diff` into the set of files changed and, for each, the 1-based line numbers in
+ * the NEW file that were added or modified. Works for any `--unified=N` (including 0).
+ *
+ * We deliberately track only new-file line numbers: analyzers reason about the post-change tree, so a
+ * "touched" node is one whose new-file line range overlaps `addedLines`.
+ */
+export declare function parseUnifiedDiff(diff: string): ChangedFile[];

package/dist/diff/parseUnifiedDiff.js

@@ -0,0 +1,63 @@
+/**
+ * Parse a unified `git diff` into the set of files changed and, for each, the 1-based line numbers in
+ * the NEW file that were added or modified. Works for any `--unified=N` (including 0).
+ *
+ * We deliberately track only new-file line numbers: analyzers reason about the post-change tree, so a
+ * "touched" node is one whose new-file line range overlaps `addedLines`.
+ */
+export function parseUnifiedDiff(diff) {
+    const files = [];
+    let current = null;
+    let newLine = 0;
+    for (const line of diff.split('\n')) {
+        if (line.startsWith('diff --git')) {
+            current = { path: '', status: 'modified', addedLines: new Set() };
+            files.push(current);
+            const m = line.match(/^diff --git a\/(.+?) b\/(.+)$/);
+            if (m)
+                current.path = m[2];
+            continue;
+        }
+        if (!current)
+            continue;
+        if (line.startsWith('new file mode')) {
+            current.status = 'added';
+        }
+        else if (line.startsWith('deleted file mode')) {
+            current.status = 'deleted';
+        }
+        else if (line.startsWith('rename to ')) {
+            current.path = line.slice('rename to '.length).trim();
+            current.status = 'renamed';
+        }
+        else if (line.startsWith('+++ ')) {
+            const p = line.slice(4).trim();
+            if (p !== '/dev/null')
+                current.path = p.replace(/^b\//, '');
+        }
+        else if (line.startsWith('--- ')) {
+            // old-file header; ignore
+        }
+        else if (line.startsWith('@@')) {
+            const m = line.match(/^@@ -\d+(?:,\d+)? \+(\d+)(?:,\d+)? @@/);
+            if (m)
+                newLine = parseInt(m[1], 10);
+        }
+        else if (line.startsWith('+') && !line.startsWith('+++')) {
+            current.addedLines.add(newLine);
+            newLine++;
+        }
+        else if (line.startsWith('-') && !line.startsWith('---')) {
+            // removed line: does not advance the new-file counter
+        }
+        else if (line.startsWith('\\')) {
+            // ""
+        }
+        else if (line.startsWith(' ')) {
+            // context line (present when unified > 0)
+            newLine++;
+        }
+    }
+    return files;
+}
+//# sourceMappingURL=parseUnifiedDiff.js.map

package/dist/diff/parseUnifiedDiff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseUnifiedDiff.js","sourceRoot":"","sources":["../../src/diff/parseUnifiedDiff.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,IAAI,OAAO,GAAuB,IAAI,CAAC;IACvC,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAClC,OAAO,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;YAC1E,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YACtD,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,IAAI,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;YACrC,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC;QAC3B,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAChD,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;QAC7B,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC;QAC7B,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,WAAW;gBAAE,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,0BAA0B;QAC5B,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC9D,IAAI,CAAC;gBAAE,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3D,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3D,sDAAsD;QACxD,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,gCAAgC;QAClC,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,0CAA0C;YAC1C,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,16 @@
+import { type DiffSource } from './diff/gitDiff.js';
+import type { Analyzer, AnalyzerContext, Report } from './types.js';
+export type { Analyzer, AnalyzerContext, ChangedFile, Claim, Finding, Report, Verdict } from './types.js';
+export { analyzers, assertionFreeTest, hallucinatedSymbol, claimReconciliation } from './analyzers/index.js';
+export { recognizedClaims } from './analyzers/claimReconciliation.js';
+export { parseClaims, type ParseClaimsOptions } from './claims.js';
+export { parseUnifiedDiff } from './diff/parseUnifiedDiff.js';
+export { getChangedFiles, makeContext, type DiffSource } from './diff/gitDiff.js';
+export { buildReport, exitCode, renderJson, renderMarkdown } from './report/render.js';
+export interface RunOptions {
+    analyzers?: Analyzer[];
+}
+/** Run analyzers over an AnalyzerContext and aggregate into a Report. */
+export declare function runAnalyzers(ctx: AnalyzerContext, opts?: RunOptions): Report;
+/** Convenience: build a context from a DiffSource and run the analyzers. */
+export declare function runTribunal(src: DiffSource, opts?: RunOptions): Report;

package/dist/index.js

@@ -0,0 +1,25 @@
+/**
+ * Tribunal — public API.
+ *
+ * A deterministic, no-LLM-in-the-verification-path gate for agent-authored PRs. See docs/SPEC.md.
+ */
+import { analyzers as defaultAnalyzers } from './analyzers/index.js';
+import { makeContext } from './diff/gitDiff.js';
+import { buildReport } from './report/render.js';
+export { analyzers, assertionFreeTest, hallucinatedSymbol, claimReconciliation } from './analyzers/index.js';
+export { recognizedClaims } from './analyzers/claimReconciliation.js';
+export { parseClaims } from './claims.js';
+export { parseUnifiedDiff } from './diff/parseUnifiedDiff.js';
+export { getChangedFiles, makeContext } from './diff/gitDiff.js';
+export { buildReport, exitCode, renderJson, renderMarkdown } from './report/render.js';
+/** Run analyzers over an AnalyzerContext and aggregate into a Report. */
+export function runAnalyzers(ctx, opts = {}) {
+    const list = opts.analyzers ?? defaultAnalyzers;
+    const findings = list.flatMap((a) => a.run(ctx));
+    return buildReport(findings, list.length);
+}
+/** Convenience: build a context from a DiffSource and run the analyzers. */
+export function runTribunal(src, opts = {}) {
+    return runAnalyzers(makeContext(src), opts);
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,SAAS,IAAI,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EAAE,WAAW,EAAmB,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAIjD,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC7G,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,OAAO,EAAE,WAAW,EAA2B,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,WAAW,EAAmB,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAMvF,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,GAAoB,EAAE,OAAmB,EAAE;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,gBAAgB,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,WAAW,CAAC,GAAe,EAAE,OAAmB,EAAE;IAChE,OAAO,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;AAC9C,CAAC"}

package/dist/report/render.d.ts

@@ -0,0 +1,10 @@
+import type { Finding, Report } from '../types.js';
+export declare function buildReport(findings: Finding[], analyzersRun: number): Report;
+/**
+ * The build is gated ONLY on CONTRADICTED, and ONLY when `--hard-fail` is set. This is the fails-safe
+ * guarantee from the Trust Contract: absence of CONTRADICTED never blocks, and UNVERIFIED never blocks.
+ */
+export declare function exitCode(report: Report, hardFail: boolean): number;
+export declare function renderJson(report: Report): string;
+/** Markdown intended for a PR comment: blocking findings first, PASS collapsed to a count. */
+export declare function renderMarkdown(report: Report, hardFail: boolean): string;

package/dist/report/render.js

@@ -0,0 +1,70 @@
+const VERDICT_EMOJI = {
+    CONTRADICTED: '🔴',
+    UNVERIFIED: '🟡',
+    PASS: '🟢',
+};
+export function buildReport(findings, analyzersRun) {
+    const counts = { PASS: 0, UNVERIFIED: 0, CONTRADICTED: 0 };
+    for (const f of findings)
+        counts[f.verdict]++;
+    return { findings, counts, analyzersRun };
+}
+/**
+ * The build is gated ONLY on CONTRADICTED, and ONLY when `--hard-fail` is set. This is the fails-safe
+ * guarantee from the Trust Contract: absence of CONTRADICTED never blocks, and UNVERIFIED never blocks.
+ */
+export function exitCode(report, hardFail) {
+    return hardFail && report.counts.CONTRADICTED > 0 ? 1 : 0;
+}
+export function renderJson(report) {
+    return JSON.stringify(report, null, 2);
+}
+/** Markdown intended for a PR comment: blocking findings first, PASS collapsed to a count. */
+export function renderMarkdown(report, hardFail) {
+    const { counts } = report;
+    const blocking = report.findings.filter((f) => f.verdict === 'CONTRADICTED');
+    const unverified = report.findings.filter((f) => f.verdict === 'UNVERIFIED');
+    const lines = [];
+    lines.push('## ⚖️ Tribunal');
+    lines.push('');
+    lines.push(`${VERDICT_EMOJI.CONTRADICTED} **${counts.CONTRADICTED} contradicted** · ` +
+        `${VERDICT_EMOJI.UNVERIFIED} ${counts.UNVERIFIED} unverified · ` +
+        `${VERDICT_EMOJI.PASS} ${counts.PASS} pass`);
+    lines.push('');
+    if (blocking.length > 0) {
+        lines.push('### 🔴 Contradicted — these are deterministic, blocking findings');
+        lines.push('');
+        for (const f of blocking)
+            lines.push(renderFinding(f));
+        lines.push('');
+    }
+    if (unverified.length > 0) {
+        lines.push('### 🟡 Unverified — could not be decided; not blocking');
+        lines.push('');
+        for (const f of unverified)
+            lines.push(renderFinding(f));
+        lines.push('');
+    }
+    if (blocking.length === 0 && unverified.length === 0) {
+        lines.push('No issues found in changed files. ✅');
+        lines.push('');
+    }
+    const gate = counts.CONTRADICTED > 0
+        ? hardFail
+            ? '**Result: FAIL** — at least one contradicted finding and `--hard-fail` is on.'
+            : '**Result: pass (report-only)** — contradictions found, but `--hard-fail` is off.'
+        : '**Result: pass** — no contradictions.';
+    lines.push('---');
+    lines.push(gate);
+    lines.push('');
+    lines.push('<sub>Tribunal gates only on 🔴 CONTRADICTED (a syntactic certainty). 🟡 UNVERIFIED never blocks. ' +
+        'No LLM is in the verification path.</sub>');
+    return lines.join('\n');
+}
+function renderFinding(f) {
+    const loc = f.endLine && f.endLine !== f.line ? `${f.line}-${f.endLine}` : `${f.line}`;
+    const where = f.claim ? `claim: \`${f.claim}\`` : `\`${f.file}:${loc}\``;
+    const head = `- ${VERDICT_EMOJI[f.verdict]} **${f.title}** — ${where} _(${f.analyzer})_`;
+    return `${head}\n  ${f.detail}`;
+}
+//# sourceMappingURL=render.js.map

package/dist/report/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/report/render.ts"],"names":[],"mappings":"AAEA,MAAM,aAAa,GAA4B;IAC7C,YAAY,EAAE,IAAI;IAClB,UAAU,EAAE,IAAI;IAChB,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,UAAU,WAAW,CAAC,QAAmB,EAAE,YAAoB;IACnE,MAAM,MAAM,GAA4B,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;IACpF,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc,EAAE,QAAiB;IACxD,OAAO,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAc;IACvC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,QAAiB;IAC9D,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC;IAE7E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,GAAG,aAAa,CAAC,YAAY,MAAM,MAAM,CAAC,YAAY,oBAAoB;QACxE,GAAG,aAAa,CAAC,UAAU,IAAI,MAAM,CAAC,UAAU,gBAAgB;QAChE,GAAG,aAAa,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,OAAO,CAC9C,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QAC/E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrD,KAAK,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,IAAI,GACR,MAAM,CAAC,YAAY,GAAG,CAAC;QACrB,CAAC,CAAC,QAAQ;YACR,CAAC,CAAC,+EAA+E;YACjF,CAAC,CAAC,kFAAkF;QACtF,CAAC,CAAC,uCAAuC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,mGAAmG;QACjG,2CAA2C,CAC9C,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvF,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,GAAG,IAAI,CAAC;IACzE,MAAM,IAAI,GAAG,KAAK,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,QAAQ,KAAK,MAAM,CAAC,CAAC,QAAQ,IAAI,CAAC;IACzF,OAAO,GAAG,IAAI,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC;AAClC,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,71 @@
+/**
+ * Core types for Tribunal.
+ *
+ * The whole tool is organized around one vocabulary: every check yields one of three verdicts, and
+ * the build is gated ONLY on CONTRADICTED. See docs/SPEC.md §3 (the Trust Contract).
+ */
+/**
+ * - `PASS`         — the check was evaluated and the code is consistent with it.
+ * - `UNVERIFIED`   — the check could not be decided deterministically. Loud, but NEVER blocks.
+ * - `CONTRADICTED` — a syntactic certainty that the code violates the check. The only blocking verdict.
+ */
+export type Verdict = 'PASS' | 'UNVERIFIED' | 'CONTRADICTED';
+export interface Finding {
+    /** Analyzer id, e.g. `assertion-free-test`. */
+    analyzer: string;
+    verdict: Verdict;
+    /** Repo-relative path of the file the finding is about. */
+    file: string;
+    /** 1-based line of the relevant node. */
+    line: number;
+    /** 1-based end line, when the finding spans a range (e.g. a whole test block). */
+    endLine?: number;
+    /** Short headline, e.g. "Test asserts nothing". */
+    title: string;
+    /** Human explanation + evidence for why this verdict was reached. */
+    detail: string;
+    /** For claim-reconciliation analyzers: the agent claim being checked. */
+    claim?: string;
+}
+export type ChangeStatus = 'added' | 'modified' | 'deleted' | 'renamed';
+export interface ChangedFile {
+    /** Repo-relative path in the new tree. */
+    path: string;
+    status: ChangeStatus;
+    /** 1-based line numbers in the NEW file that the diff added or modified. */
+    addedLines: Set<number>;
+}
+/** A machine-readable claim extracted from the PR body / claims file. Parsing, never NLU. */
+export interface Claim {
+    /** Normalized key, e.g. `added-test`, `no-public-api-change`. */
+    key: string;
+    /** Optional argument after a colon, e.g. `no-default-flip: timeoutMs`. */
+    arg?: string;
+    /** The original line, for display. */
+    raw: string;
+}
+export interface AnalyzerContext {
+    repoRoot: string;
+    changedFiles: ChangedFile[];
+    /** Read the current (new-tree) content of a repo-relative path, or null if unavailable. */
+    readFile(path: string): string | null;
+    /** Read the base-tree (pre-change) content of a path, or null if unavailable / absent at base. */
+    readBaseFile?(path: string): string | null;
+    /** The base ref the diff is taken against, when known. */
+    base?: string;
+    /** Machine-readable claims extracted from the PR body / claims file. */
+    claims?: Claim[];
+}
+export interface Analyzer {
+    id: string;
+    title: string;
+    description: string;
+    kind: 'claim-independent' | 'claim-reconciliation';
+    run(ctx: AnalyzerContext): Finding[];
+}
+export interface Report {
+    findings: Finding[];
+    counts: Record<Verdict, number>;
+    /** Number of analyzers that executed. */
+    analyzersRun: number;
+}

package/dist/types.js

@@ -0,0 +1,8 @@
+/**
+ * Core types for Tribunal.
+ *
+ * The whole tool is organized around one vocabulary: every check yields one of three verdicts, and
+ * the build is gated ONLY on CONTRADICTED. See docs/SPEC.md §3 (the Trust Contract).
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}