@timiagama/ecr 0.0.1 → 0.1.0

package/dist/corpus-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus-validator.js","sourceRoot":"","sources":["../src/corpus-validator.ts"],"names":[],"mappings":"AASA,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,4BAA4B,CAAC;AA2BpC,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,eAAe;IACnB;;;;;;;;;;;;;;;OAeG;IACI,cAAc,CACnB,SAAyC;QAEzC,MAAM,kBAAkB,GACtB,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC;QAE5C,MAAM,WAAW,GAA0B,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAEzD,yDAAyD;QACzD,MAAM,UAAU,GACd,IAAI,CAAC,eAAe,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,cAAc,GAClB,IAAI,CAAC,mBAAmB,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC;QAE5D,MAAM,uBAAuB,GAAY,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAEtE,mEAAmE;QACnE,iEAAiE;QACjE,IAAI,CAAC,uBAAuB,CAC1B,kBAAkB,EAClB,UAAU,EACV,IAAI,CAAC,wBAAwB,CAAC,kBAAkB,CAAC,EACjD,WAAW,CACZ,CAAC;QAEF,mDAAmD;QACnD,IAAI,CAAC,6BAA6B,CAChC,kBAAkB,EAClB,UAAU,EACV,cAAc,EACd,WAAW,CACZ,CAAC;QAEF,wEAAwE;QACxE,IAAI,CAAC,yCAAyC,CAC5C,kBAAkB,EAClB,UAAU,EACV,WAAW,CACZ,CAAC;QAEF,8EAA8E;QAC9E,IAAI,CAAC,+BAA+B,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAEzE,IAAI,uBAAuB,EAAE,CAAC;YAC5B,OAAO;gBACL,SAAS;gBACT,WAAW,EAAE,WAAW,CAAC,KAAK;aAC/B,CAAC;QACJ,CAAC;QAED,OAAO;YACL,SAAS;YACT,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,UAAU,EAAE,cAAc,CAAC;YACxD,WAAW,EAAE,WAAW,CAAC,KAAK;SAC/B,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,8BAA8B;IAC9B,4EAA4E;IAE5E;;;;;;;;;OASG;IACK,yBAAyB,CAC/B,SAAyC;QAEzC,MAAM,SAAS,GAAwB,EAAE,CAAC;QAE1C,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACzC,SAAS,CAAC,IAAI,CAAC;oBACb,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS;iBAClC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4EAA4E;IAC5E,+CAA+C;IAC/C,4EAA4E;IAE5E;;;;;;;;;;OAUG;IACK,eAAe,CACrB,kBAAgD,EAChD,WAAkC;QAElC,MAAM,UAAU,GAAuB,IAAI,GAAG,EAAiB,CAAC;QAChE,MAAM,eAAe,GAAkC,IAAI,GAAG,EAA4B,CAAC;QAE3F,KAAK,MAAM,QAAQ,IAAI,kBAAkB,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAU,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC;YAC9C,MAAM,WAAW,GAAuB,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAE9D,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GACZ,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAE7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1D,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,eAAe,EAAE,CAAC;YAC5C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;oBACrB,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE,oBAAoB,KAAK,+BAA+B;oBACjE,GAAG;oBACH,KAAK;oBACL,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;;;;;;;;;OAUG;IACK,mBAAmB,CACzB,kBAAgD,EAChD,WAAkC;QAElC,MAAM,cAAc,GAA2B,IAAI,GAAG,EAAqB,CAAC;QAC5E,MAAM,mBAAmB,GACvB,IAAI,GAAG,EAAgC,CAAC;QAE1C,KAAK,MAAM,QAAQ,IAAI,kBAAkB,EAAE,CAAC;YAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;gBAClD,sEAAsE;gBACtE,IAAI,OAAO,CAAC,YAAY,KAAK,CAAC,EAAE,CAAC;oBAC/B,SAAS;gBACX,CAAC;gBAED,MAAM,SAAS,GAAc,OAAO,CAAC,EAAE,CAAC;gBACxC,MAAM,WAAW,GAAuB,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAEtE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GACZ,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAErC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,mBAAmB,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,GAAG,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;oBAClE,CAAC;yBAAM,CAAC;wBACN,mBAAmB,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;oBAClE,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,mBAAmB,EAAE,CAAC;YACpD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,cAAc,GAAe;oBACjC,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,6BAA6B;oBACrC,OAAO,EAAE,wBAAwB,SAAS,+BAA+B;oBACzE,GAAG;oBACH,SAAS;oBACT,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;iBAC9B,CAAC;gBAEF,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,4EAA4E;IAC5E,qDAAqD;IACrD,4EAA4E;IAE5E;;;;;;;;OAQG;IACK,wBAAwB,CAC9B,kBAAgD;QAEhD,MAAM,eAAe,GAAuB,IAAI,GAAG,EAAiB,CAAC;QAErE,KAAK,MAAM,QAAQ,IAAI,kBAAkB,EAAE,CAAC;YAC1C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnD,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QAED,OAAO,eAAe,CAAC;IACzB,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACK,uBAAuB,CAC7B,kBAAgD,EAChD,UAAsC,EACtC,eAA2C,EAC3C,WAAkC;QAElC,KAAK,MAAM,QAAQ,IAAI,kBAAkB,EAAE,CAAC;YAC1C,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC;gBACtD,MAAM,YAAY,GAAY,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAEhE,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;wBACrB,QAAQ,EAAE,OAAO;wBACjB,MAAM,EAAE,oCAAoC;wBAC5C,OAAO,EAAE,kCAAkC,SAAS,CAAC,OAAO,kDAAkD;wBAC9G,GAAG,EAAE,QAAQ,CAAC,GAAG;wBACjB,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK;wBAC/B,IAAI,EAAE,EAAE,eAAe,EAAE,SAAS,CAAC,OAAO,EAAE;qBAC7C,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBAED,MAAM,cAAc,GAAuB,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBAClF,MAAM,eAAe,GAAW,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBAEvD,IAAI,cAAc,KAAK,SAAS,IAAI,eAAe,KAAK,cAAc,EAAE,CAAC;oBACvE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;wBACrB,QAAQ,EAAE,SAAS;wBACnB,MAAM,EAAE,iCAAiC;wBACzC,OAAO,EAAE,yBAAyB,SAAS,CAAC,OAAO,gBAAgB,eAAe,oCAAoC,cAAc,GAAG;wBACvI,GAAG,EAAE,QAAQ,CAAC,GAAG;wBACjB,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK;wBAC/B,IAAI,EAAE;4BACJ,WAAW,EAAE,SAAS,CAAC,OAAO;4BAC9B,eAAe;4BACf,cAAc;yBACf;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACK,6BAA6B,CACnC,kBAAgD,EAChD,UAAsC,EACtC,cAA8C,EAC9C,WAAkC;QAElC,KAAK,MAAM,QAAQ,IAAI,kBAAkB,EAAE,CAAC;YAC1C,KAAK,MAAM,eAAe,IAAI,QAAQ,CAAC,SAAS,CAAC,gBAAgB,EAAE,CAAC;gBAClE,MAAM,QAAQ,GAAW,eAAe,CAAC,IAAI,CAAC;gBAC9C,MAAM,gBAAgB,GAAY,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3D,MAAM,oBAAoB,GAAY,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAEnE,IAAI,CAAC,gBAAgB,IAAI,CAAC,oBAAoB,EAAE,CAAC;oBAC/C,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;wBACrB,QAAQ,EAAE,OAAO;wBACjB,MAAM,EAAE,iCAAiC;wBACzC,OAAO,EAAE,4BAA4B,QAAQ,4DAA4D;wBACzG,GAAG,EAAE,QAAQ,CAAC,GAAG;wBACjB,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK;wBAC/B,IAAI,EAAE;4BACJ,kBAAkB,EAAE,QAAQ;4BAC5B,MAAM,EAAE,eAAe,CAAC,MAAM;4BAC9B,IAAI,EAAE,eAAe,CAAC,IAAI;yBAC3B;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACK,yCAAyC,CAC/C,kBAAgD,EAChD,UAAsC,EACtC,WAAkC;QAElC,KAAK,MAAM,QAAQ,IAAI,kBAAkB,EAAE,CAAC;YAC1C,MAAM,oBAAoB,GACxB,IAAI,CAAC,8BAA8B,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAE1D,KAAK,MAAM,eAAe,IAAI,QAAQ,CAAC,SAAS,CAAC,gBAAgB,EAAE,CAAC;gBAClE,MAAM,QAAQ,GAAW,eAAe,CAAC,IAAI,CAAC;gBAE9C,+DAA+D;gBAC/D,8DAA8D;gBAC9D,YAAY;gBACZ,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC7B,SAAS;gBACX,CAAC;gBAED,mEAAmE;gBACnE,MAAM,WAAW,GACf,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBAE7C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,iEAAiE;oBACjE,2DAA2D;oBAC3D,SAAS;gBACX,CAAC;gBAED,yDAAyD;gBACzD,wDAAwD;gBACxD,oBAAoB;gBACpB,IAAI,WAAW,KAAK,QAAQ,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;oBAC7C,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC3C,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;wBACrB,QAAQ,EAAE,OAAO;wBACjB,MAAM,EAAE,iCAAiC;wBACzC,OAAO,EAAE,wBAAwB,QAAQ,+BAA+B,WAAW,0CAA0C;wBAC7H,GAAG,EAAE,QAAQ,CAAC,GAAG;wBACjB,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK;wBAC/B,IAAI,EAAE;4BACJ,QAAQ;4BACR,WAAW;4BACX,MAAM,EAAE,eAAe,CAAC,MAAM;4BAC9B,IAAI,EAAE,eAAe,CAAC,IAAI;yBAC3B;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACK,+BAA+B,CACrC,SAAyC,EACzC,UAAsC,EACtC,WAAkC;QAElC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;gBAC/C,MAAM,WAAW,GAAY,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC;gBAEvD,IACE,OAAO,CAAC,MAAM,KAAK,wBAAwB;oBAC3C,OAAO,CAAC,QAAQ,KAAK,SAAS;oBAC9B,OAAO,CAAC,IAAI,EAAE,MAAM,KAAK,wBAAwB;oBACjD,OAAO,WAAW,KAAK,QAAQ;oBAC/B,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,EAC5B,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,MAAM,QAAQ,GAAY,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAChD,MAAM,KAAK,GAAY,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;gBAE1C,kEAAkE;gBAClE,iEAAiE;gBACjE,kEAAkE;gBAClE,kEAAkE;gBAClE,iDAAiD;gBACjD,MAAM,OAAO,GACX,KAAK,KAAK,0BAA0B;oBAClC,CAAC,CAAC,wBAAwB,MAAM,CAAC,QAAQ,CAAC,uCAAuC;wBAC/E,uDAAuD,WAAW,cAAc;wBAChF,2EAA2E;wBAC3E,sCAAsC;oBACxC,CAAC,CAAC,wBAAwB,MAAM,CAAC,QAAQ,CAAC,oBAAoB,WAAW,KAAK;wBAC5E,uFAAuF,CAAC;gBAE9F,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;oBACrB,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,iCAAiC;oBACzC,OAAO;oBACP,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACxF,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACzC,QAAQ;wBACR,WAAW,EAAE,WAAW;wBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;wBAC3B,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI;qBACxB;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,uCAAuC;IACvC,4EAA4E;IAE5E;;;;;;OAMG;IACK,gBAAgB,CACtB,UAAsC,EACtC,cAA8C;QAE9C,MAAM,MAAM,GAA0B,EAAE,CAAC;QACzC,MAAM,UAAU,GAA8B,EAAE,CAAC;QAEjD,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;YACtC,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;QACtB,CAAC;QAED,KAAK,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,cAAc,EAAE,CAAC;YAC9C,UAAU,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC;QAC9B,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAChC,CAAC;IAED,4EAA4E;IAC5E,yCAAyC;IACzC,4EAA4E;IAE5E;;;;;;OAMG;IACK,8BAA8B,CACpC,SAA4B;QAE5B,MAAM,cAAc,GAAe,IAAI,GAAG,EAAS,CAAC;QAEpD,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YAC7C,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;QAED,OAAO,cAAc,CAAC;IACxB,CAAC;IAED;;;;;;;;;;;;;OAaG;IACK,eAAe,CACrB,SAAiB,EACjB,UAAsC;QAEtC,MAAM,cAAc,GAAW,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAEtD,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,KAAK,GAAW,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;QAE7D,OAAO,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,CAAC;CAEF;AAED,OAAO,EAAE,eAAe,EAAE,CAAC"}

package/dist/document-identity-rule.d.ts

@@ -0,0 +1,198 @@
+/**
+ * Document Identity Rule (ECR101)
+ *
+ * Validates the document identity constraint defined in the ECR specification:
+ *   - 1#9.3 -- Document Identity Rule [ECR101]
+ *   - 1#9.8 -- Per-Document Structural Invariants ("Exactly one valid H1 DocID")
+ *
+ * This rule consumes heading node data from an AST traversal and validates
+ * the "exactly one H1 with a valid DocID and title" constraint. It delegates
+ * identifier parsing to {@link IdentifierGrammar} and emits {@link Diagnostic}
+ * objects for any violations.
+ */
+import type { DocID, Diagnostic, PositionRange } from './types.js';
+import { IdentifierGrammar } from './identifier-grammar.js';
+/**
+ * Canonical rule identifier for the Document Identity Rule.
+ *
+ * Referenced as [ECR101] in the ECR specification (1#9.3).
+ */
+export declare const DOCUMENT_IDENTITY_RULE_ID: string;
+/**
+ * Data extracted from a single heading AST node, provided by the
+ * document traversal layer.
+ *
+ * The rule does not parse Markdown itself; it operates on heading
+ * data supplied by the visitor/traversal infrastructure.
+ */
+export interface HeadingNodeData {
+    /** Markdown heading depth (1 for H1, 2 for H2, etc.). */
+    readonly depth: number;
+    /** Plain text content of the heading node (e.g. `"3.1 - Scenario Authoring"`). */
+    readonly text: string;
+    /**
+     * Positional range of the heading node within the source document.
+     * Optional; depends on whether the Markdown parser provides positional metadata.
+     */
+    readonly range?: PositionRange;
+}
+/**
+ * Represents the successfully extracted document identity from a valid H1 heading.
+ */
+export interface DocumentIdentity {
+    /** The DocID extracted from the H1 heading. */
+    readonly docId: DocID;
+    /** The title extracted from the H1 heading (display/diagnostic metadata only). */
+    readonly title: string;
+    /** Positional range of the H1 heading, when available. */
+    readonly range?: PositionRange;
+}
+/**
+ * The complete result produced by finalising the Document Identity Rule
+ * after all headings have been evaluated.
+ *
+ * Contains zero or more diagnostics and, when the rule passes,
+ * the extracted document identity.
+ */
+export interface DocumentIdentityRuleResult {
+    /** Diagnostics emitted during evaluation (errors for violations, info/warnings as applicable). */
+    readonly diagnostics: readonly Diagnostic[];
+    /**
+     * The extracted document identity.
+     * Present only when exactly one valid H1 heading was found.
+     */
+    readonly identity?: DocumentIdentity;
+}
+/**
+ * Configuration options for constructing a {@link DocumentIdentityRule} instance.
+ */
+export interface DocumentIdentityRuleOptions {
+    /**
+     * The opaque, host-provided URI identifying the document being validated.
+     * Attached to all emitted diagnostics.
+     */
+    readonly uri: string;
+    /**
+     * The {@link IdentifierGrammar} instance used for DocID parsing
+     * and separator validation.
+     */
+    readonly grammar: IdentifierGrammar;
+    /**
+     * The document's raw Markdown, for the heading source-form check of 1#9.11
+     * rule 1. When absent, as in unit tests that supply only parsed heading
+     * text, the check is skipped.
+     */
+    readonly sourceText?: string;
+}
+/**
+ * Validates the Document Identity Rule as defined in the ECR specification (1#9.3, 1#9.8).
+ *
+ * The rule enforces that a document contains exactly one H1 heading whose
+ * text matches `DocID <dash> Title`, where DocID conforms to the identifier
+ * grammar and Title is non-empty.
+ *
+ * Usage:
+ * 1. Construct a rule instance with the document URI and an {@link IdentifierGrammar}.
+ * 2. Call {@link evaluateHeading} for every heading node encountered during AST traversal.
+ * 3. Call {@link finalise} after all headings have been evaluated to obtain
+ *    the complete result including any "missing H1" diagnostics.
+ *
+ * @example
+ * ```ts
+ * const grammar = new IdentifierGrammar();
+ * const rule = new DocumentIdentityRule({ uri: 'file:///doc.md', grammar });
+ *
+ * rule.evaluateHeading({ depth: 1, text: '3.1 - My Document', range: someRange });
+ * rule.evaluateHeading({ depth: 2, text: '3.1#1 - Section', range: anotherRange });
+ *
+ * const result: DocumentIdentityRuleResult = rule.finalise();
+ * ```
+ */
+export declare class DocumentIdentityRule {
+    /** The opaque, host-provided URI identifying the document being validated. */
+    private readonly uri;
+    /** The grammar instance used for identifier parsing and separator validation. */
+    private readonly grammar;
+    /** All H1 headings encountered during evaluation, in traversal order. */
+    private readonly collectedH1Headings;
+    /** Checks the H1's source line against the document recipe. */
+    private readonly headingSourceForm;
+    /**
+     * Constructs a new Document Identity Rule evaluator.
+     *
+     * @param options - Configuration including the document URI and grammar instance
+     */
+    constructor(options: DocumentIdentityRuleOptions);
+    /**
+     * Evaluates a single heading node against the document identity constraint.
+     *
+     * For H1 headings (depth === 1), the rule records the heading for
+     * analysis during {@link finalise}. Headings with depth \> 1 are
+     * ignored by this rule.
+     *
+     * @param headingNodeData - Data extracted from a heading AST node
+     */
+    evaluateHeading(headingNodeData: HeadingNodeData): void;
+    /**
+     * Finalises the rule evaluation and produces the complete result.
+     *
+     * This method must be called after all heading nodes have been supplied
+     * via {@link evaluateHeading}. It analyses all collected H1 headings
+     * and emits appropriate diagnostics:
+     *
+     * - Zero H1 headings: emits a "missing H1" error diagnostic
+     * - Multiple H1 headings: emits a "multiple H1" error diagnostic
+     * - Exactly one H1 with invalid separator: emits a separator error diagnostic
+     * - Exactly one H1 with invalid format: emits a format error diagnostic
+     * - Exactly one valid H1: extracts the document identity
+     *
+     * @returns The complete rule result including all diagnostics and,
+     *          when valid, the extracted document identity
+     */
+    finalise(): DocumentIdentityRuleResult;
+    /**
+     * Builds the result for the case where no H1 headings were found.
+     *
+     * @returns A rule result containing a "missing H1" error diagnostic
+     */
+    private buildMissingH1Result;
+    /**
+     * Builds the result for the case where multiple H1 headings were found.
+     *
+     * @returns A rule result containing a "multiple H1" error diagnostic
+     */
+    private buildMultipleH1Result;
+    /**
+     * Builds the result for the case where exactly one H1 heading was found.
+     *
+     * Validates the separator and heading format, emitting appropriate
+     * diagnostics for violations or extracting the document identity on success.
+     *
+     * @returns A rule result containing diagnostics and/or the extracted identity
+     */
+    private buildSingleH1Result;
+    /**
+     * Validates the separator used in an H1 heading.
+     *
+     * Delegates to {@link IdentifierGrammar.validateSeparator} and, when an
+     * invalid separator is detected, returns an error diagnostic describing
+     * the violation.
+     *
+     * @param heading - The collected H1 heading to validate
+     * @returns A diagnostic if the separator is invalid, or `undefined` if valid
+     */
+    private validateHeadingSeparator;
+    /**
+     * Creates a diagnostic object for the Document Identity Rule.
+     *
+     * All diagnostics share the same rule ID ({@link DOCUMENT_IDENTITY_RULE_ID}),
+     * severity (error), and document URI.
+     *
+     * @param message - Human-readable description of the issue
+     * @param range - Optional positional range of the heading within the source document
+     * @param data - Optional machine-readable detail, such as a `cause`
+     * @returns A fully populated diagnostic object
+     */
+    private createDiagnostic;
+}
+//# sourceMappingURL=document-identity-rule.d.ts.map

package/dist/document-identity-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-identity-rule.d.ts","sourceRoot":"","sources":["../src/document-identity-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,UAAU,EAAsB,aAAa,EAAE,MAAM,YAAY,CAAC;AAKvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAQ5D;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,EAAE,MAAiB,CAAC;AAM1D;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC;AAMD;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,kFAAkF;IAClF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;CAChC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,0BAA0B;IACzC,kGAAkG;IAClG,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C;;;OAGG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CACtC;AAMD;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAsCD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,qBAAa,oBAAoB;IAC/B,8EAA8E;IAC9E,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAS;IAE7B,iFAAiF;IACjF,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;IAE5C,yEAAyE;IACzE,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAuB;IAE3D,+DAA+D;IAC/D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAoB;IAEtD;;;;OAIG;gBACgB,OAAO,EAAE,2BAA2B;IAOvD;;;;;;;;OAQG;IACI,eAAe,CAAC,eAAe,EAAE,eAAe,GAAG,IAAI;IAa9D;;;;;;;;;;;;;;;OAeG;IACI,QAAQ,IAAI,0BAA0B;IAkB7C;;;;OAIG;IACH,OAAO,CAAC,oBAAoB;IAQ5B;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAa7B;;;;;;;OAOG;IACH,OAAO,CAAC,mBAAmB;IA2D3B;;;;;;;;;OASG;IACH,OAAO,CAAC,wBAAwB;IA8BhC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB;CAgBzB"}

package/dist/document-identity-rule.js

@@ -0,0 +1,244 @@
+/**
+ * Document Identity Rule (ECR101)
+ *
+ * Validates the document identity constraint defined in the ECR specification:
+ *   - 1#9.3 -- Document Identity Rule [ECR101]
+ *   - 1#9.8 -- Per-Document Structural Invariants ("Exactly one valid H1 DocID")
+ *
+ * This rule consumes heading node data from an AST traversal and validates
+ * the "exactly one H1 with a valid DocID and title" constraint. It delegates
+ * identifier parsing to {@link IdentifierGrammar} and emits {@link Diagnostic}
+ * objects for any violations.
+ */
+import { IdentifierGrammar } from './identifier-grammar.js';
+import { HEADING_SOURCE_FORM_CAUSE, HeadingSourceForm } from './heading-source-form.js';
+// ---------------------------------------------------------------------------
+// Rule identifier constant
+// ---------------------------------------------------------------------------
+/**
+ * Canonical rule identifier for the Document Identity Rule.
+ *
+ * Referenced as [ECR101] in the ECR specification (1#9.3).
+ */
+export const DOCUMENT_IDENTITY_RULE_ID = 'ECR101';
+// ---------------------------------------------------------------------------
+// Diagnostic severity constant
+// ---------------------------------------------------------------------------
+/**
+ * The severity used for all Document Identity Rule diagnostics.
+ *
+ * Per 1#9.8, violation of any per-document structural invariant is an ERROR.
+ */
+const DIAGNOSTIC_SEVERITY = 'error';
+/**
+ * Matches heading text that begins with a number, i.e. one that at least
+ * attempts a DocID.
+ */
+const STARTS_WITH_DIGIT_PATTERN = /^\s*\d/;
+// ---------------------------------------------------------------------------
+// Rule class
+// ---------------------------------------------------------------------------
+/**
+ * Validates the Document Identity Rule as defined in the ECR specification (1#9.3, 1#9.8).
+ *
+ * The rule enforces that a document contains exactly one H1 heading whose
+ * text matches `DocID <dash> Title`, where DocID conforms to the identifier
+ * grammar and Title is non-empty.
+ *
+ * Usage:
+ * 1. Construct a rule instance with the document URI and an {@link IdentifierGrammar}.
+ * 2. Call {@link evaluateHeading} for every heading node encountered during AST traversal.
+ * 3. Call {@link finalise} after all headings have been evaluated to obtain
+ *    the complete result including any "missing H1" diagnostics.
+ *
+ * @example
+ * ```ts
+ * const grammar = new IdentifierGrammar();
+ * const rule = new DocumentIdentityRule({ uri: 'file:///doc.md', grammar });
+ *
+ * rule.evaluateHeading({ depth: 1, text: '3.1 - My Document', range: someRange });
+ * rule.evaluateHeading({ depth: 2, text: '3.1#1 - Section', range: anotherRange });
+ *
+ * const result: DocumentIdentityRuleResult = rule.finalise();
+ * ```
+ */
+export class DocumentIdentityRule {
+    /** The opaque, host-provided URI identifying the document being validated. */
+    uri;
+    /** The grammar instance used for identifier parsing and separator validation. */
+    grammar;
+    /** All H1 headings encountered during evaluation, in traversal order. */
+    collectedH1Headings;
+    /** Checks the H1's source line against the document recipe. */
+    headingSourceForm;
+    /**
+     * Constructs a new Document Identity Rule evaluator.
+     *
+     * @param options - Configuration including the document URI and grammar instance
+     */
+    constructor(options) {
+        this.uri = options.uri;
+        this.grammar = options.grammar;
+        this.collectedH1Headings = [];
+        this.headingSourceForm = new HeadingSourceForm(options.sourceText);
+    }
+    /**
+     * Evaluates a single heading node against the document identity constraint.
+     *
+     * For H1 headings (depth === 1), the rule records the heading for
+     * analysis during {@link finalise}. Headings with depth \> 1 are
+     * ignored by this rule.
+     *
+     * @param headingNodeData - Data extracted from a heading AST node
+     */
+    evaluateHeading(headingNodeData) {
+        if (headingNodeData.depth !== 1) {
+            return;
+        }
+        const collectedHeading = {
+            text: headingNodeData.text,
+            ...(headingNodeData.range !== undefined ? { range: headingNodeData.range } : {}),
+        };
+        this.collectedH1Headings.push(collectedHeading);
+    }
+    /**
+     * Finalises the rule evaluation and produces the complete result.
+     *
+     * This method must be called after all heading nodes have been supplied
+     * via {@link evaluateHeading}. It analyses all collected H1 headings
+     * and emits appropriate diagnostics:
+     *
+     * - Zero H1 headings: emits a "missing H1" error diagnostic
+     * - Multiple H1 headings: emits a "multiple H1" error diagnostic
+     * - Exactly one H1 with invalid separator: emits a separator error diagnostic
+     * - Exactly one H1 with invalid format: emits a format error diagnostic
+     * - Exactly one valid H1: extracts the document identity
+     *
+     * @returns The complete rule result including all diagnostics and,
+     *          when valid, the extracted document identity
+     */
+    finalise() {
+        const headingCount = this.collectedH1Headings.length;
+        if (headingCount === 0) {
+            return this.buildMissingH1Result();
+        }
+        if (headingCount > 1) {
+            return this.buildMultipleH1Result();
+        }
+        return this.buildSingleH1Result();
+    }
+    // -------------------------------------------------------------------------
+    // Private helpers
+    // -------------------------------------------------------------------------
+    /**
+     * Builds the result for the case where no H1 headings were found.
+     *
+     * @returns A rule result containing a "missing H1" error diagnostic
+     */
+    buildMissingH1Result() {
+        const diagnostic = this.createDiagnostic('Document is missing an H1 heading with a valid DocID.');
+        return { diagnostics: [diagnostic] };
+    }
+    /**
+     * Builds the result for the case where multiple H1 headings were found.
+     *
+     * @returns A rule result containing a "multiple H1" error diagnostic
+     */
+    buildMultipleH1Result() {
+        const firstHeading = this.collectedH1Headings[0];
+        const headingCount = String(this.collectedH1Headings.length);
+        const diagnostic = this.createDiagnostic(`Document contains ${headingCount} H1 headings, but exactly one is required.`, firstHeading?.range);
+        return { diagnostics: [diagnostic] };
+    }
+    /**
+     * Builds the result for the case where exactly one H1 heading was found.
+     *
+     * Validates the separator and heading format, emitting appropriate
+     * diagnostics for violations or extracting the document identity on success.
+     *
+     * @returns A rule result containing diagnostics and/or the extracted identity
+     */
+    buildSingleH1Result() {
+        const heading = this.collectedH1Headings[0];
+        if (heading === undefined) {
+            return this.buildMissingH1Result();
+        }
+        const separatorDiagnostic = this.validateHeadingSeparator(heading);
+        if (separatorDiagnostic !== undefined) {
+            return { diagnostics: [separatorDiagnostic] };
+        }
+        const headingParseResult = this.grammar.parseHeading(heading.text);
+        if (!headingParseResult.valid) {
+            const formatDiagnostic = this.createDiagnostic(`H1 heading does not match the required format: DocID <dash> Title.`, heading.range);
+            return { diagnostics: [formatDiagnostic] };
+        }
+        const identity = {
+            docId: headingParseResult.docId,
+            title: headingParseResult.title,
+            ...(heading.range !== undefined ? { range: heading.range } : {}),
+        };
+        // An H1 no recipe can find is reported, but its identity is still
+        // established. Withholding it would skip every other rule for the
+        // document and turn each citation of it elsewhere into an unresolved
+        // target -- one mistake reported many times over. The document fails
+        // either way, and the guarantee covers only corpora that pass.
+        const obstruction = this.headingSourceForm.findObstruction(heading.range, 1, identity.docId);
+        if (obstruction !== undefined) {
+            return {
+                diagnostics: [
+                    this.createDiagnostic(HeadingSourceForm.explain(obstruction, 1, identity.docId), heading.range, { cause: HEADING_SOURCE_FORM_CAUSE, obstruction, docId: identity.docId }),
+                ],
+                identity,
+            };
+        }
+        return { diagnostics: [], identity };
+    }
+    /**
+     * Validates the separator used in an H1 heading.
+     *
+     * Delegates to {@link IdentifierGrammar.validateSeparator} and, when an
+     * invalid separator is detected, returns an error diagnostic describing
+     * the violation.
+     *
+     * @param heading - The collected H1 heading to validate
+     * @returns A diagnostic if the separator is invalid, or `undefined` if valid
+     */
+    validateHeadingSeparator(heading) {
+        const separatorResult = this.grammar.validateSeparator(heading.text);
+        if (separatorResult.valid) {
+            return undefined;
+        }
+        // An H1 with no number at all is the usual case in an unconverted
+        // document, and deserves a message that says so.
+        if (!STARTS_WITH_DIGIT_PATTERN.test(heading.text)) {
+            return this.createDiagnostic(`H1 "${heading.text.trim()}" is not numbered. The H1 carries the document's DocID, ` +
+                `for example "3.1 - ${heading.text.trim()}".`, heading.range);
+        }
+        const diagnostic = this.createDiagnostic(`H1 heading has no recognisable separator. ` +
+            `Expected: a number, a dash (-, – or —), then the title.`, heading.range);
+        return diagnostic;
+    }
+    /**
+     * Creates a diagnostic object for the Document Identity Rule.
+     *
+     * All diagnostics share the same rule ID ({@link DOCUMENT_IDENTITY_RULE_ID}),
+     * severity (error), and document URI.
+     *
+     * @param message - Human-readable description of the issue
+     * @param range - Optional positional range of the heading within the source document
+     * @param data - Optional machine-readable detail, such as a `cause`
+     * @returns A fully populated diagnostic object
+     */
+    createDiagnostic(message, range, data) {
+        const diagnostic = {
+            ruleId: DOCUMENT_IDENTITY_RULE_ID,
+            severity: DIAGNOSTIC_SEVERITY,
+            message,
+            uri: this.uri,
+            ...(range !== undefined ? { range } : {}),
+            ...(data !== undefined ? { data } : {}),
+        };
+        return diagnostic;
+    }
+}
+//# sourceMappingURL=document-identity-rule.js.map

package/dist/document-identity-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"document-identity-rule.js","sourceRoot":"","sources":["../src/document-identity-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAOH,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,yBAAyB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGxF,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAW,QAAQ,CAAC;AAmG1D,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,mBAAmB,GAAuB,OAAO,CAAC;AAExD;;;GAGG;AACH,MAAM,yBAAyB,GAAW,QAAQ,CAAC;AAEnD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,OAAO,oBAAoB;IAC/B,8EAA8E;IAC7D,GAAG,CAAS;IAE7B,iFAAiF;IAChE,OAAO,CAAoB;IAE5C,yEAAyE;IACxD,mBAAmB,CAAuB;IAE3D,+DAA+D;IAC9C,iBAAiB,CAAoB;IAEtD;;;;OAIG;IACH,YAAmB,OAAoC;QACrD,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;QACvB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAC/B,IAAI,CAAC,mBAAmB,GAAG,EAAE,CAAC;QAC9B,IAAI,CAAC,iBAAiB,GAAG,IAAI,iBAAiB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACrE,CAAC;IAED;;;;;;;;OAQG;IACI,eAAe,CAAC,eAAgC;QACrD,IAAI,eAAe,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO;QACT,CAAC;QAED,MAAM,gBAAgB,GAAuB;YAC3C,IAAI,EAAE,eAAe,CAAC,IAAI;YAC1B,GAAG,CAAC,eAAe,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjF,CAAC;QAEF,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAClD,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACI,QAAQ;QACb,MAAM,YAAY,GAAW,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAE7D,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACrC,CAAC;QAED,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC,qBAAqB,EAAE,CAAC;QACtC,CAAC;QAED,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;IACpC,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAE5E;;;;OAIG;IACK,oBAAoB;QAC1B,MAAM,UAAU,GAAe,IAAI,CAAC,gBAAgB,CAClD,uDAAuD,CACxD,CAAC;QAEF,OAAO,EAAE,WAAW,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IACvC,CAAC;IAED;;;;OAIG;IACK,qBAAqB;QAC3B,MAAM,YAAY,GAAmC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAEjF,MAAM,YAAY,GAAW,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAErE,MAAM,UAAU,GAAe,IAAI,CAAC,gBAAgB,CAClD,qBAAqB,YAAY,4CAA4C,EAC7E,YAAY,EAAE,KAAK,CACpB,CAAC;QAEF,OAAO,EAAE,WAAW,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;IACvC,CAAC;IAED;;;;;;;OAOG;IACK,mBAAmB;QACzB,MAAM,OAAO,GAAmC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAE5E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACrC,CAAC;QAED,MAAM,mBAAmB,GACvB,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QAEzC,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,EAAE,WAAW,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAChD,CAAC;QAED,MAAM,kBAAkB,GACtB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAE1C,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,gBAAgB,GAAe,IAAI,CAAC,gBAAgB,CACxD,oEAAoE,EACpE,OAAO,CAAC,KAAK,CACd,CAAC;YAEF,OAAO,EAAE,WAAW,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC7C,CAAC;QAED,MAAM,QAAQ,GAAqB;YACjC,KAAK,EAAE,kBAAkB,CAAC,KAAK;YAC/B,KAAK,EAAE,kBAAkB,CAAC,KAAK;YAC/B,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjE,CAAC;QAEF,kEAAkE;QAClE,kEAAkE;QAClE,qEAAqE;QACrE,qEAAqE;QACrE,+DAA+D;QAC/D,MAAM,WAAW,GAAmC,IAAI,CAAC,iBAAiB,CAAC,eAAe,CACxF,OAAO,CAAC,KAAK,EACb,CAAC,EACD,QAAQ,CAAC,KAAK,CACf,CAAC;QAEF,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO;gBACL,WAAW,EAAE;oBACX,IAAI,CAAC,gBAAgB,CACnB,iBAAiB,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,EACzD,OAAO,CAAC,KAAK,EACb,EAAE,KAAK,EAAE,yBAAyB,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CACzE;iBACF;gBACD,QAAQ;aACT,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;IACvC,CAAC;IAED;;;;;;;;;OASG;IACK,wBAAwB,CAC9B,OAA2B;QAE3B,MAAM,eAAe,GACnB,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAE/C,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,kEAAkE;QAClE,iDAAiD;QACjD,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,OAAO,IAAI,CAAC,gBAAgB,CAC1B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,0DAA0D;gBACpF,sBAAsB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAC7C,OAAO,CAAC,KAAK,CACd,CAAC;QACJ,CAAC;QAED,MAAM,UAAU,GAAe,IAAI,CAAC,gBAAgB,CAClD,4CAA4C;YAC5C,yDAAyD,EACzD,OAAO,CAAC,KAAK,CACd,CAAC;QAEF,OAAO,UAAU,CAAC;IACpB,CAAC;IAGD;;;;;;;;;;OAUG;IACK,gBAAgB,CACtB,OAAe,EACf,KAAqB,EACrB,IAAwC;QAExC,MAAM,UAAU,GAAe;YAC7B,MAAM,EAAE,yBAAyB;YACjC,QAAQ,EAAE,mBAAmB;YAC7B,OAAO;YACP,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC,CAAC;QAEF,OAAO,UAAU,CAAC;IACpB,CAAC;CACF"}

package/dist/ecr.d.ts

@@ -0,0 +1,103 @@
+/**
+ * ECR Public API -- Ecr Facade
+ *
+ * Top-level public API for the ECR structural linter.
+ *
+ * Derived from section 1#13 (Public Interface Contract) and
+ * section 1#10 (Output Schema) of the ECR Structural Specification (doc 1).
+ *
+ * This module provides the {@link Ecr} facade, which delegates
+ * per-document validation to {@link PerDocumentVisitor} and
+ * corpus-wide integrity checks to {@link CorpusValidator}.
+ *
+ * Per-document results are returned exactly as the visitor produces
+ * them: every severity is set by the rule that reports the finding.
+ *
+ * The facade applies one orchestration-level policy:
+ *
+ * **Cross-document duplicate SectionID detection**: The corpus
+ *    validator only sees SectionIDs that survive per-document
+ *    extraction (i.e., those that pass ECR102). A heading like
+ *    `## 3.1#1 - X` inside a document with DocID `4.1` fails ECR102
+ *    (it names another document) and is never extracted — yet its
+ *    SectionID text is still globally significant. The facade
+ *    performs an additional cross-document duplicate check by
+ *    collecting SectionIDs from both extracted sections and
+ *    per-document diagnostics that carry a `sectionId` field.
+ */
+import type { LintResult, CorpusResult } from "./types.js";
+/**
+ * A single document supplied to corpus validation.
+ *
+ * Each entry provides the Markdown text and an opaque, host-provided URI
+ * that identifies the document instance.
+ */
+export interface CorpusDocumentInput {
+    /** Opaque, host-provided URI identifying the document instance. */
+    readonly uri: string;
+    /** Raw Markdown text of the document. */
+    readonly markdownText: string;
+    /** Optional version tag for the document instance. */
+    readonly version?: number;
+}
+/**
+ * Top-level public API for the ECR structural linter.
+ *
+ * Provides two operations:
+ * - Single-document linting via {@link Ecr.lintDocument}
+ * - Corpus-wide validation via {@link Ecr.validateCorpus}
+ *
+ * This class is stateless across invocations. Successive calls with
+ * identical inputs produce identical results.
+ */
+export declare class Ecr {
+    /**
+     * Lint a single Markdown document against per-document ECR structural invariants.
+     *
+     * Creates a {@link PerDocumentVisitor} for the given document and delegates
+     * the linting operation to it.
+     *
+     * @param uri - Opaque, host-provided URI identifying the document instance.
+     * @param markdownText - Raw Markdown text of the document.
+     * @param version - Optional version tag propagated through to the result.
+     * @returns Structured lint result containing diagnostics and optionally extracted artefacts.
+     */
+    lintDocument(uri: string, markdownText: string, version?: number): LintResult;
+    /**
+     * Validate a corpus of Markdown documents.
+     *
+     * Executes per-document linting on every document (Pass 1), then performs
+     * corpus-wide integrity checks on successfully linted documents (Pass 2).
+     *
+     * After the standard corpus validation, the facade performs an additional
+     * cross-document duplicate SectionID check that considers SectionIDs from
+     * per-document diagnostics (not just extracted sections), ensuring that
+     * headings rejected by ECR102 (e.g., wrong DocID prefix) still participate
+     * in global uniqueness enforcement.
+     *
+     * @param documents - Collection of documents to validate.
+     * @returns Corpus result containing per-document results, corpus-wide diagnostics, and an optional global identifier index.
+     */
+    validateCorpus(documents: readonly CorpusDocumentInput[]): CorpusResult;
+    /**
+     * Detects duplicate SectionIDs across documents by examining both
+     * extracted sections and per-document diagnostics.
+     *
+     * The standard {@link CorpusValidator} only checks extracted sections
+     * (those that pass ECR102). This method extends coverage to include
+     * SectionIDs mentioned in per-document diagnostics — for example,
+     * a heading `## 3.1#1 - X` inside a document with DocID `4.1` fails
+     * ECR102 (it names another document) but the SectionID `3.1#1` is still
+     * present in the diagnostic's `sectionId` field. If document `3.1` also
+     * defines `3.1#1`, that is a corpus-level duplicate.
+     *
+     * This method only emits diagnostics for duplicates NOT already
+     * detected by the standard corpus validator (i.e., duplicates involving
+     * at least one SectionID from a diagnostic rather than an extracted section).
+     *
+     * @param entries - The per-document lint entries from Pass 1
+     * @returns Additional corpus-level diagnostics for duplicate SectionIDs
+     */
+    private detectCrossDocumentDuplicateSectionIds;
+}
+//# sourceMappingURL=ecr.d.ts.map

package/dist/ecr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ecr.d.ts","sourceRoot":"","sources":["../src/ecr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,YAAY,EAIb,MAAM,YAAY,CAAC;AASpB;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,mEAAmE;IACnE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB,yCAAyC;IACzC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAE9B,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAeD;;;;;;;;;GASG;AACH,qBAAa,GAAG;IACd;;;;;;;;;;OAUG;IACI,YAAY,CACjB,GAAG,EAAE,MAAM,EACX,YAAY,EAAE,MAAM,EACpB,OAAO,CAAC,EAAE,MAAM,GACf,UAAU;IASb;;;;;;;;;;;;;;OAcG;IACI,cAAc,CACnB,SAAS,EAAE,SAAS,mBAAmB,EAAE,GACxC,YAAY;IAkDf;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CAAC,sCAAsC;CAuG/C"}