@ybotok/loam 0.1.0-beta.3 → 0.2.0-alpha.2

package/dist/commands/vouch/pack/print.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"print.js","sourceRoot":"","sources":["../../../../src/commands/vouch/pack/print.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,gCAAgC,CAAC;AAIhE,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAGhD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAWtC,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,GAAmB;IAC/C,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC;QAC9B,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;KAC5D,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACtE,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QACb,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACtC,OAAO;IACT,CAAC;IACD,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,yFAAyF;AACzF,SAAS,WAAW,CAAC,MAAkB;IACrC,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;QAC9B,QAAQ,EAAE,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC;QACxE,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;KACtE,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,SAAS,WAAW,CAAC,IAAc;IACjC,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;QACvE,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;QAChF,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnE,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACzE,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,MAAkB;IACnC,4EAA4E;IAC5E,2EAA2E;IAC3E,iDAAiD;IACjD,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CACT,0FAA0F;YACxF,qFAAqF;YACrF,iDAAiD,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,8DAA8D,CAAC,CAAC;QAC7F,cAAc,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAC;IAC3D,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,SAAS,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,GAAG,CACT,iEAAiE,MAAM,CAAC,OAAO,yDAAyD,CACzI,CAAC;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,cAAc,CAAC,MAAkB;IACxC,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO;IACtC,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC;QAC9C,OAAO;IACT,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC;IAC/C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,0CAA0C,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;QAC1E,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACjG,KAAK,MAAM,IAAI,IAAI,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAClG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,EAAU,EAAE,IAAmB;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjG,OAAO,GAAG,IAAI,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;AACpC,CAAC;AAED,4FAA4F;AAC5F,SAAS,SAAS,CAAC,IAAc;IAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;IAC9B,SAAS,CAAC,IAAI,CAAC,CAAC;IAChB,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxB,YAAY,CAAC,IAAI,CAAC,CAAC;IACnB,wEAAwE;IACxE,yEAAyE;IACzE,4EAA4E;IAC5E,8CAA8C;IAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,CAAC,GAAG,CAAC,uBAAuB,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;QAC7D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;QACrE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,MAAkB;IACrC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,0CAA0C,MAAM,CAAC,EAAE,6DAA6D,CAAC,CAAC;QAC9H,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,oBAAoB,MAAM,CAAC,QAAQ,CAAC,MAAM,OAAO,MAAM,CAAC,EAAE,qBAAqB,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;IAC3G,OAAO,CAAC,GAAG,CAAC,mFAAmF,CAAC,CAAC;IACjG,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,GAAG,CACT,mGAAmG;QACjG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,EAAE,+EAA+E,CACxH,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,IAAc;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;IACnJ,OAAO,CAAC,GAAG,CACT,KAAK,CAAC,KAAK,KAAK,IAAI;QAClB,CAAC,CAAC,qBAAqB,KAAK,mDAAmD,KAAK,CAAC,OAAO,kBAAkB;YAC1G,2EAA2E;QAC/E,CAAC,CAAC,qBAAqB,KAAK,iBAAiB,KAAK,CAAC,KAAK,CAAC,QAAQ,OAAO,KAAK,CAAC,KAAK,CAAC,EAAE,eAAe;YACjG,QAAQ,KAAK,CAAC,KAAK,CAAC,IAAI,yDAAyD,CACxF,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,iIAAiI,CAAC,CAAC;QAC/I,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,6BAA6B,KAAK,CAAC,IAAI,CAAC,MAAM,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC1F,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,CAAC,GAAG,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,MAAM,uBAAuB,CAAC,CAAC;QACvF,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,aAAa,OAAO,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,SAAS,CAAC,IAAc;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;IAChF,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,WAAW;YACd,uEAAuE;YACvE,wEAAwE;YACxE,uEAAuE;YACvE,qEAAqE;YACrE,6DAA6D;YAC7D,OAAO,CAAC,GAAG,CACT,IAAI,CAAC,UAAU,KAAK,SAAS;gBAC3B,CAAC,CAAC,0BAA0B,KAAK,gDAAgD;gBACjF,CAAC,CAAC,0BAA0B,KAAK,+DAA+D,CACnG,CAAC;YACF,OAAO;QACT,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;YAClD,OAAO;QACT,KAAK,MAAM,EAAE,CAAC;YACZ,uEAAuE;YACvE,sEAAsE;YACtE,qCAAqC;YACrC,OAAO,CAAC,GAAG,CACT,wBAAwB,KAAK,mDAAmD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAC5H,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YACtC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;YACvD,MAAM,OAAO,GAAG;gBACd,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjE,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3D,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAClE,CAAC;YACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1E,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAc;IAClC,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,CAAC,uCAAuC,CAAC,CAAC;YACrD,OAAO;QACT,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,CAAC,oEAAoE,CAAC,CAAC;YAClF,OAAO;QACT,KAAK,aAAa;YAChB,OAAO,CAAC,GAAG,CAAC,oEAAoE,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;YACzG,OAAO;QACT,KAAK,WAAW;YACd,OAAO,CAAC,GAAG,CACT,uBAAuB,IAAI,CAAC,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,yBAAyB;gBAC/H,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,oEAAoE,CAC/F,CAAC;YACF,OAAO;QACT,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;YACjD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC7D,uEAAuE;YACvE,kEAAkE;YAClE,OAAO,CAAC,GAAG,CAAC,eAAe,KAAK,iCAAiC,CAAC,CAAC;YACnE,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;YAChE,KAAK,MAAM,IAAI,IAAI,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;YAClE,KAAK,MAAM,IAAI,IAAI,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC;YAClE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAAc;IAClC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACtC,OAAO,CAAC,GAAG,CAAC,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,iGAAiG,CAAC,CAAC;IACzJ,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAClB,CAAC;AAED,yFAAyF;AACzF,SAAS,YAAY,CAAC,IAAc;IAClC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACnF,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;IACvE,MAAM,EAAE,GAAG,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7E,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,4EAA4E;IAC5E,iCAAiC;IACjC,OAAO,CAAC,GAAG,CACT,IAAI,CAAC,UAAU,KAAK,SAAS;QAC3B,CAAC,CAAC,mCAAmC,EAAE,GAAG,EAAE,GAAG;QAC/C,CAAC,CAAC,sCAAsC,EAAE,GAAG,EAAE,gDAAgD,CAClG,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS;QAAE,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,EAAE,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAClB,CAAC","sourcesContent":["/**\n * The reading pack's two renderings — the human view in the proposal's order\n * (per axis: the body diff, then the source worklist, then the sections\n * already covered; first vouch: the fleet map's claims, then everything), and\n * the `--json` envelope. `runPack` is the whole command surface of\n * `--pack`: vouch.ts hands over here as soon as the flag combination is\n * legal, so the write path's machinery — identity, prompt, lock, journal —\n * never loads for a run that cannot write. Exit 0 covers every computed pack\n * INCLUDING full-read fallbacks (\"read everything\" is an answer, not a\n * failure); only refusals exit 1.\n */\nimport { emitJson, fail } from \"../../../core/envelope/json.js\";\nimport type { DocsDir } from \"../../../core/kernel/ids/dirs.js\";\nimport type { PathableService } from \"../../../core/kernel/ids/service.js\";\nimport type { LandscapeEdge } from \"../../../core/vocabulary/maturity.js\";\nimport { plural } from \"../../policy/format.js\";\nimport type { PackAxis, PackReport } from \"./contract.js\";\nimport type { PackSample } from \"./sections.js\";\nimport { buildPack } from \"./pack.js\";\n\nexport interface RunPackRequest {\n  docsDir: DocsDir;\n  service: PathableService;\n  repoDir: string;\n  json: boolean;\n  /** `--sample <n>`: print the reading list for a SAMPLED vouch rather than the whole one. */\n  sample?: number;\n}\n\nexport async function runPack(req: RunPackRequest): Promise<void> {\n  const outcome = await buildPack({\n    docsDir: req.docsDir,\n    service: req.service,\n    repoDir: req.repoDir,\n    ...(req.sample === undefined ? {} : { sample: req.sample }),\n  });\n  if (!outcome.ok) return fail(req.json, outcome.code, outcome.message);\n  if (req.json) {\n    emitJson(packPayload(outcome.report));\n    return;\n  }\n  printPack(outcome.report);\n}\n\n/** The additive `--json` shape: `mode: \"pack\"` beside the write path's stamp payload. */\nfunction packPayload(report: PackReport): Record<string, unknown> {\n  return {\n    command: \"vouch\",\n    mode: \"pack\",\n    service: report.service,\n    packMode: report.packMode,\n    pendingCommit: report.pendingCommit,\n    spec: axisPayload(report.spec),\n    archSpec: report.archSpec === null ? null : axisPayload(report.archSpec),\n    ...(report.landscape === null ? {} : { landscape: report.landscape }),\n  };\n}\n\n/** One axis, stamp fields under their frontmatter spellings. */\nfunction axisPayload(axis: PackAxis): Record<string, unknown> {\n  return {\n    path: axis.path,\n    file: axis.file,\n    ...(axis.vouchedBy === undefined ? {} : { vouched_by: axis.vouchedBy }),\n    ...(axis.lastVerified === undefined ? {} : { last_verified: axis.lastVerified }),\n    body: axis.body,\n    sources: axis.sources,\n    skipped: axis.skipped,\n    ...(axis.headings === undefined ? {} : { headings: axis.headings }),\n    ...(axis.vouchScope === undefined ? {} : { vouchScope: axis.vouchScope }),\n    ...(axis.sample === undefined ? {} : { sample: axis.sample }),\n  };\n}\n\nfunction printPack(report: PackReport): void {\n  // Before anything else: a pack computed over a half-committed docs repo may\n  // be describing bytes the next journaled writer will replace, and a person\n  // must know that before they spend a read on it.\n  if (report.pendingCommit) {\n    console.log(\n      \"⚠ an interrupted docs-repo commit is pending — what is on disk (this pack included) may \" +\n        \"predate it. Any journaled docs-repo writer (`loam vouch`, `loam archive`) rolls it \" +\n        \"forward on its next run; re-run --pack after.\\n\",\n    );\n  }\n  if (report.packMode === \"first-vouch\") {\n    console.log(`${report.service} first-vouch reading pack — the whole document is the read\\n`);\n    printLandscape(report);\n  } else {\n    console.log(`${report.service} re-vouch reading pack\\n`);\n  }\n  for (const axis of [report.spec, ...(report.archSpec === null ? [] : [report.archSpec])]) {\n    printAxis(axis);\n  }\n  console.log(\n    `\\nWhen the read is done, a person runs \\`loam vouch --service ${report.service}\\` in the service's own repo — the pack stamps nothing.`,\n  );\n}\n\n/** The fleet map's claims — first, because the spec's author did not write them. */\nfunction printLandscape(report: PackReport): void {\n  if (report.landscape === null) return;\n  if (report.landscape.kind === \"silent\") {\n    console.log(`  ${report.landscape.reason}\\n`);\n    return;\n  }\n  const { inbound, outbound } = report.landscape;\n  if (inbound.length === 0 && outbound.length === 0) {\n    console.log(`  the fleet map draws no edge touching ${report.service}\\n`);\n    return;\n  }\n  console.log(\"  what the fleet map says:\");\n  for (const edge of inbound) console.log(`      ${edgeLine(edge.service, report.service, edge)}`);\n  for (const edge of outbound) console.log(`      ${edgeLine(report.service, edge.service, edge)}`);\n  console.log(\"\");\n}\n\nfunction edgeLine(from: string, to: string, edge: LandscapeEdge): string {\n  const label = edge.op !== null ? ` (${edge.op})` : edge.title !== null ? ` — ${edge.title}` : \"\";\n  return `${from} -> ${to}${label}`;\n}\n\n/** One axis in the proposal's order: (a) body, (b) source worklist, (c) already covered. */\nfunction printAxis(axis: PackAxis): void {\n  console.log(`${axis.path}\\n`);\n  printBody(axis);\n  printSources(axis);\n  printSkipped(axis);\n  printSampledStamp(axis);\n  printCovered(axis);\n  // Under `--sample` the sampled list REPLACES the full heading listing —\n  // printing both would make the list a person must not skip look like the\n  // one they may. The diff above is never filtered: a sample narrows what the\n  // stamp CLAIMS, never what a reader is shown.\n  if (axis.sample !== undefined) {\n    printSample(axis.sample);\n  } else if (axis.headings !== undefined) {\n    console.log(`  sections to read (${axis.headings.length}):`);\n    for (const heading of axis.headings) console.log(`      ${heading}`);\n    console.log(\"\");\n  }\n}\n\n/**\n * The forward sample: exactly what the `--sample <n>` vouch after this pack\n * will stand behind. The consequences are named in one line rather than\n * restated at length — `sample/print.ts` says them in full at the prompt,\n * which is the screen where somebody is about to commit to them.\n */\nfunction printSample(sample: PackSample): void {\n  if (sample.covers) {\n    console.log(`  sampled read: the sample reaches all ${sample.of} section(s) — the vouch after it is an ordinary full one.\\n`);\n    return;\n  }\n  console.log(`  sampled read — ${sample.headings.length} of ${sample.of} section(s), seed=${sample.seed}:`);\n  console.log(\"      the preamble above the first heading — always read, never part of the count\");\n  for (const heading of sample.headings) console.log(`      ${heading}`);\n  console.log(\n    `\\n  Reading only these is what --sample means, and the stamp will say so: \\`vouch_scope: sampled ` +\n      `${sample.headings.length}/${sample.of}\\`, then \\`sources.sampled-vouch\\` until somebody reads the whole document.\\n`,\n  );\n}\n\n/**\n * The last vouch's own scope, printed BEFORE the covered list it disqualifies\n * — which sections that person actually read (`sections.ts`'s `priorScope`\n * recomputes them from the stamped seed), and which have now survived a vouch\n * without anybody looking. Where the read set cannot be recomputed, no\n * covered set is named at all: an unreproducible sample licenses nothing.\n */\nfunction printSampledStamp(axis: PackAxis): void {\n  const scope = axis.vouchScope;\n  if (scope === undefined) return;\n  const whose = `${axis.vouchedBy === undefined ? \"\" : ` by ${axis.vouchedBy}`}${axis.lastVerified === undefined ? \"\" : ` on ${axis.lastVerified}`}`;\n  console.log(\n    scope.scope === null\n      ? `  ⚠ the last vouch${whose} carries a vouch_scope this loam cannot read (\\`${scope.stamped}\\`) — graded as ` +\n          \"SAMPLED, because an unreadable scope must never be taken for a full read.\"\n      : `  ⚠ the last vouch${whose} was SAMPLED: ${scope.scope.sections} of ${scope.scope.of} section(s), ` +\n          `seed=${scope.scope.seed}. \"Unchanged since then\" does not mean anybody read it.`,\n  );\n  if (scope.read === null) {\n    console.log(\"      which sections it read cannot be recomputed (the body moved, or the scope does not decode), so nothing here is covered.\\n\");\n    return;\n  }\n  console.log(`      read at that vouch (${scope.read.length}): ${scope.read.join(\" · \")}`);\n  if (scope.unread !== null && scope.unread.length > 0) {\n    console.log(`      NEVER read by anyone (${scope.unread.length}) — this is the read:`);\n    for (const heading of scope.unread) console.log(`          ${heading}`);\n  }\n  console.log(\"\");\n}\n\nfunction printBody(axis: PackAxis): void {\n  const since = axis.lastVerified === undefined ? \"the stamp\" : axis.lastVerified;\n  switch (axis.body.kind) {\n    case \"unchanged\":\n      // The qualification is the whole point after a sampled vouch: the text\n      // did not move, and most of it was still never read. Saying \"nothing to\n      // re-read\" over that would be this feature's worst failure — a partial\n      // read reported as a finished one — so the sentence stops at what it\n      // can actually claim and hands off to the scope block below.\n      console.log(\n        axis.vouchScope === undefined\n          ? `  body unchanged since ${since} — nothing of the document itself to re-read\\n`\n          : `  body unchanged since ${since} — but that vouch was sampled, so \"unchanged\" is not \"read\"\\n`,\n      );\n      return;\n    case \"full-read\":\n      console.log(`  full read: ${axis.body.reason}\\n`);\n      return;\n    case \"diff\": {\n      // \"The file's diff\", not \"the body's\": a hand edit to the header after\n      // the vouch rides along in git's hunks, and promising body-only would\n      // make truthful noise read as a bug.\n      console.log(\n        `  body changed since ${since} — the file's diff from its last vouched state (${axis.body.ancestorCommit.slice(0, 12)}):\\n`,\n      );\n      console.log(axis.body.diff.trimEnd());\n      const { changed, added, removed } = axis.body.sections;\n      const summary = [\n        ...(changed.length > 0 ? [`changed: ${changed.join(\", \")}`] : []),\n        ...(added.length > 0 ? [`added: ${added.join(\", \")}`] : []),\n        ...(removed.length > 0 ? [`removed: ${removed.join(\", \")}`] : []),\n      ];\n      if (summary.length > 0) console.log(`\\n  sections ${summary.join(\"; \")}`);\n      console.log(\"\");\n      return;\n    }\n  }\n}\n\nfunction printSources(axis: PackAxis): void {\n  switch (axis.sources.kind) {\n    case \"unchanged\":\n      console.log(\"  sources unchanged since the stamp\\n\");\n      return;\n    case \"unvouched\":\n      console.log(\"  sources carry no sources_digest yet — the vouch will stamp one\\n\");\n      return;\n    case \"unavailable\":\n      console.log(`  sources — the re-vouch will refuse until this is fixed:\\n      ${axis.sources.reason}\\n`);\n      return;\n    case \"uncounted\":\n      console.log(\n        `  sources changed — ${axis.sources.countThen === null ? \"an unknown number of\" : axis.sources.countThen} file(s) at the stamp, ` +\n          `${axis.sources.countNow} now, and the stamp cannot name which moved: re-read the sources\\n`,\n      );\n      return;\n    case \"delta\": {\n      const { added, changed, removed } = axis.sources;\n      const moved = added.length + changed.length + removed.length;\n      // movedSources' one-column annotated layout, so a reader who knows the\n      // stale finding's shape reads this without learning a second one.\n      console.log(`  sources — ${moved} path(s) moved since the stamp:`);\n      for (const path of added) console.log(`      added    ${path}`);\n      for (const path of changed) console.log(`      changed  ${path}`);\n      for (const path of removed) console.log(`      removed  ${path}`);\n      console.log(\"\");\n      return;\n    }\n  }\n}\n\n/**\n * The hole in the promise, said BEFORE the stamp rather than only on\n * vouch.ts's post-stamp screen: paths under the listed sources the digest\n * will not hash. Same sentence as that screen, so the pre-vouch and\n * post-vouch descriptions of one hole cannot drift apart.\n */\nfunction printSkipped(axis: PackAxis): void {\n  if (axis.skipped.length === 0) return;\n  console.log(`  ⚠ ${plural(axis.skipped.length, \"path\")} under those sources went unhashed — the vouch's digest says nothing about what is behind them:`);\n  for (const skip of axis.skipped) console.log(`      ${skip.path} — ${skip.reason}`);\n  console.log(\"\");\n}\n\n/** (c): what the previous vouch already covers, so the read can stop where it should. */\nfunction printCovered(axis: PackAxis): void {\n  if (axis.body.kind !== \"diff\" || axis.body.sections.unchanged.length === 0) return;\n  const by = axis.vouchedBy === undefined ? \"\" : ` by ${axis.vouchedBy}`;\n  const on = axis.lastVerified === undefined ? \"\" : ` on ${axis.lastVerified}`;\n  // The licence to skip rests entirely on somebody having read the section\n  // before. A sampled vouch did not read most of them, so after one this list\n  // is only \"text that did not move\" — it is still worth printing (a reader\n  // wants to know what is stable), but it must not be printed under a heading\n  // that says a person covered it.\n  console.log(\n    axis.vouchScope === undefined\n      ? `  unchanged — previously vouched${by}${on}:`\n      : `  unchanged since the sampled vouch${by}${on} — text that did not move, NOT a covered list:`,\n  );\n  for (const heading of axis.body.sections.unchanged) console.log(`      ${heading}`);\n  console.log(\"\");\n}\n"]}

package/dist/commands/vouch/pack/sections.js

@@ -0,0 +1,142 @@
+/**
+ * The reading pack's section-level derivations: pure text in, lists of
+ * headings out. Three of them, and the last two are why a sampled vouch does
+ * not quietly weaken this command —
+ *
+ *  - `sectionDelta`, the heading summary printed beside the raw git diff and
+ *    the source of the "already covered" list;
+ *  - `forwardSample`, what the next `--sample <n>` vouch will read;
+ *  - `priorScope`, what the last sampled vouch actually did read, so the
+ *    covered list cannot count sections nobody opened.
+ *
+ * It lives in the vouch command package rather than `core/document` because
+ * that package sits at its five-file limit and this command package already
+ * holds vouch's non-printing logic (`../vet/verify.ts` precedent); the one
+ * structural question — what is an H2 heading — is still answered by
+ * `core/document/parse.ts`'s `sectionHeadings`, fence- and BOM-aware, so this
+ * module can never disagree with the rest of loam about whether a `## ` line
+ * inside a code fence is structure.
+ */
+import { rawBody } from "../../../core/document/frontmatter.js";
+import { sectionHeadings } from "../../../core/document/parse.js";
+import { splitSections } from "../../../core/provenance/sample/sections.js";
+import { planSample, readVouchScope, sampledSections, scopeText } from "../../../core/provenance/sample/scope.js";
+import { contentDigest } from "../../../core/provenance/stamp.js";
+/** How the delta names the text above the first H2 — a section with no heading to call it by. */
+const PREAMBLE_LABEL = "(before the first heading)";
+/**
+ * CRLF/CR to LF, the `core/verify/pins/pin.ts` recipe: the old body comes out
+ * of a git blob (LF) while the new one comes off a checkout that may be CRLF,
+ * and a comparison that let the line endings vote would report every section
+ * changed on exactly the machines whose config differs from the repo's.
+ * A pure line-ending change is invisible here — the same cost the pins
+ * accept, and for a reading list it is the right one: there is nothing to
+ * re-read in a CR.
+ */
+function normalized(text) {
+    return text.replace(/\r\n|\r/g, "\n");
+}
+/**
+ * One body as heading -> section text. The heading LINE is the key and is not
+ * part of the value, so a section whose only change is its own heading reads
+ * as removed+added — which is what a reader must do about it: find it under
+ * its new name. A duplicated heading concatenates its sections under the one
+ * key rather than letting the last occurrence shadow the rest: the compare
+ * then sees all of the text, so an edit under either twin still reads as
+ * changed. Text before the first heading files under PREAMBLE_LABEL when any
+ * of it is more than whitespace.
+ */
+function sectionMap(body) {
+    const text = normalized(body);
+    const lines = text.split("\n");
+    const headings = sectionHeadings(text);
+    const map = new Map();
+    const file = (key, segment) => {
+        map.set(key, map.has(key) ? `${map.get(key)}\n${segment}` : segment);
+    };
+    const firstHeadingLine = headings[0]?.line ?? lines.length + 1;
+    const preamble = lines.slice(0, firstHeadingLine - 1).join("\n");
+    if (preamble.trim() !== "")
+        map.set(PREAMBLE_LABEL, preamble);
+    headings.forEach((heading, i) => {
+        const end = headings[i + 1]?.line ?? lines.length + 1;
+        file(heading.text, lines.slice(heading.line, end - 1).join("\n"));
+    });
+    return map;
+}
+/**
+ * What `loam vouch --sample <n>` would read of this file — computed through
+ * the same `planSample` the stamp uses, so a pack and the vouch that follows
+ * it cannot prescribe different samples of one document. Both digests are the
+ * ones the stamp will carry: `contentDigest` survives stamping because the
+ * body does, and the sources digest is the vetting's own.
+ */
+export function forwardSample(doc) {
+    const planned = planSample({
+        service: doc.service,
+        contentDigest: contentDigest(doc.raw),
+        sourcesDigest: doc.sourcesDigest,
+        body: rawBody(doc.raw),
+        n: doc.n,
+    });
+    return {
+        seed: planned.seed,
+        of: planned.of,
+        headings: planned.picked.map((section) => section.heading),
+        covers: planned.picked.length >= planned.of,
+    };
+}
+export function priorScope(fm, vouchedBody) {
+    // One reader, `readVouchScope`, decides what "sampled" means — so the pack
+    // cannot be the surface that quietly grades a mangled scope as a full vouch
+    // while `loam validate` grades it sampled.
+    const stamp = readVouchScope(fm);
+    if (stamp.kind === "none")
+        return null;
+    const stamped = scopeText(fm) ?? "";
+    const scope = stamp.kind === "sampled" ? stamp.scope : null;
+    const blind = { stamped, scope, read: null, unread: null };
+    if (scope === null || vouchedBody === null)
+        return blind;
+    const picked = sampledSections(vouchedBody, scope);
+    if (picked === null)
+        return blind;
+    // Partitioned by LINE, not by heading text: a body with two `## Notes`
+    // sections has two units, and matching on the text would report both as
+    // read when one was picked — turning a section nobody opened into a covered
+    // one, which is the exact misreading this function exists to prevent.
+    const read = new Set(picked.map((section) => section.line));
+    return {
+        stamped,
+        scope,
+        read: picked.map((section) => section.heading),
+        unread: splitSections(vouchedBody)
+            .filter((section) => !read.has(section.line))
+            .map((section) => section.heading),
+    };
+}
+/**
+ * Compare two bodies section by section. Exact text per heading after line
+ * endings are normalized — no reflow tolerance, because "unchanged" here
+ * licenses a person to NOT re-read a section, and the only claim safe to make
+ * at that stakes is byte equality.
+ */
+export function sectionDelta(oldBody, newBody) {
+    const before = sectionMap(oldBody);
+    const after = sectionMap(newBody);
+    const changed = [];
+    const added = [];
+    const unchanged = [];
+    for (const [heading, text] of after) {
+        const prior = before.get(heading);
+        if (prior === undefined)
+            added.push(heading);
+        else if (prior === text)
+            unchanged.push(heading);
+        else
+            changed.push(heading);
+    }
+    const removed = [...before.keys()].filter((heading) => !after.has(heading));
+    return { changed, added, removed, unchanged };
+}
+//# sourceMappingURL=sections.js.map

package/dist/commands/vouch/pack/sections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sections.js","sourceRoot":"","sources":["../../../../src/commands/vouch/pack/sections.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,OAAO,EAAoB,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,eAAe,EAAE,SAAS,EAAmB,MAAM,0CAA0C,CAAC;AACnI,OAAO,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AAElE,iGAAiG;AACjG,MAAM,cAAc,GAAG,4BAA4B,CAAC;AAcpD;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,OAAe,EAAQ,EAAE;QAClD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACvE,CAAC,CAAC;IACF,MAAM,gBAAgB,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAC9D,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE;QAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtD,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAcD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,GAM7B;IACC,MAAM,OAAO,GAAG,UAAU,CAAC;QACzB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;QACrC,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;QACtB,CAAC,EAAE,GAAG,CAAC,CAAC;KACT,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;QAC1D,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,EAAE;KAC5C,CAAC;AACJ,CAAC;AAoCD,MAAM,UAAU,UAAU,CAAC,EAAe,EAAE,WAA0B;IACpE,2EAA2E;IAC3E,4EAA4E;IAC5E,2CAA2C;IAC3C,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,OAAO,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5D,MAAM,KAAK,GAAmB,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC3E,IAAI,KAAK,KAAK,IAAI,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACzD,MAAM,MAAM,GAAG,eAAe,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClC,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,sEAAsE;IACtE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,OAAO;QACL,OAAO;QACP,KAAK;QACL,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;QAC9C,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC;aAC/B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;aAC5C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;KACrC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe,EAAE,OAAe;IAC3D,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aACxC,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YAC5C,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5E,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChD,CAAC","sourcesContent":["/**\n * The reading pack's section-level derivations: pure text in, lists of\n * headings out. Three of them, and the last two are why a sampled vouch does\n * not quietly weaken this command —\n *\n *  - `sectionDelta`, the heading summary printed beside the raw git diff and\n *    the source of the \"already covered\" list;\n *  - `forwardSample`, what the next `--sample <n>` vouch will read;\n *  - `priorScope`, what the last sampled vouch actually did read, so the\n *    covered list cannot count sections nobody opened.\n *\n * It lives in the vouch command package rather than `core/document` because\n * that package sits at its five-file limit and this command package already\n * holds vouch's non-printing logic (`../vet/verify.ts` precedent); the one\n * structural question — what is an H2 heading — is still answered by\n * `core/document/parse.ts`'s `sectionHeadings`, fence- and BOM-aware, so this\n * module can never disagree with the rest of loam about whether a `## ` line\n * inside a code fence is structure.\n */\nimport { rawBody, type Frontmatter } from \"../../../core/document/frontmatter.js\";\nimport { sectionHeadings } from \"../../../core/document/parse.js\";\nimport { splitSections } from \"../../../core/provenance/sample/sections.js\";\nimport { planSample, readVouchScope, sampledSections, scopeText, type VouchScope } from \"../../../core/provenance/sample/scope.js\";\nimport { contentDigest } from \"../../../core/provenance/stamp.js\";\n\n/** How the delta names the text above the first H2 — a section with no heading to call it by. */\nconst PREAMBLE_LABEL = \"(before the first heading)\";\n\n/** The four verdicts, each a list of H2 heading lines as the document spells them. */\nexport interface SectionDelta {\n  /** Present in both bodies with different text — in the new body's order. */\n  changed: string[];\n  /** Present only in the new body, in its order. */\n  added: string[];\n  /** Present only in the old body, in its order. */\n  removed: string[];\n  /** Present in both with identical text — the \"already covered\" list. */\n  unchanged: string[];\n}\n\n/**\n * CRLF/CR to LF, the `core/verify/pins/pin.ts` recipe: the old body comes out\n * of a git blob (LF) while the new one comes off a checkout that may be CRLF,\n * and a comparison that let the line endings vote would report every section\n * changed on exactly the machines whose config differs from the repo's.\n * A pure line-ending change is invisible here — the same cost the pins\n * accept, and for a reading list it is the right one: there is nothing to\n * re-read in a CR.\n */\nfunction normalized(text: string): string {\n  return text.replace(/\\r\\n|\\r/g, \"\\n\");\n}\n\n/**\n * One body as heading -> section text. The heading LINE is the key and is not\n * part of the value, so a section whose only change is its own heading reads\n * as removed+added — which is what a reader must do about it: find it under\n * its new name. A duplicated heading concatenates its sections under the one\n * key rather than letting the last occurrence shadow the rest: the compare\n * then sees all of the text, so an edit under either twin still reads as\n * changed. Text before the first heading files under PREAMBLE_LABEL when any\n * of it is more than whitespace.\n */\nfunction sectionMap(body: string): Map<string, string> {\n  const text = normalized(body);\n  const lines = text.split(\"\\n\");\n  const headings = sectionHeadings(text);\n  const map = new Map<string, string>();\n  const file = (key: string, segment: string): void => {\n    map.set(key, map.has(key) ? `${map.get(key)}\\n${segment}` : segment);\n  };\n  const firstHeadingLine = headings[0]?.line ?? lines.length + 1;\n  const preamble = lines.slice(0, firstHeadingLine - 1).join(\"\\n\");\n  if (preamble.trim() !== \"\") map.set(PREAMBLE_LABEL, preamble);\n  headings.forEach((heading, i) => {\n    const end = headings[i + 1]?.line ?? lines.length + 1;\n    file(heading.text, lines.slice(heading.line, end - 1).join(\"\\n\"));\n  });\n  return map;\n}\n\n/** The forward-looking sample: what a `--sample <n>` vouch of this file would cover. */\nexport interface PackSample {\n  /** The seed the stamp will carry, derivable now because the body it hashes will not change. */\n  seed: string;\n  /** Every section the body has. */\n  of: number;\n  /** The sections to read, in document order. Headings only — the pack does not renumber lines. */\n  headings: string[];\n  /** True when `<n>` reached every section: the read is the whole file, and no scope is stamped. */\n  covers: boolean;\n}\n\n/**\n * What `loam vouch --sample <n>` would read of this file — computed through\n * the same `planSample` the stamp uses, so a pack and the vouch that follows\n * it cannot prescribe different samples of one document. Both digests are the\n * ones the stamp will carry: `contentDigest` survives stamping because the\n * body does, and the sources digest is the vetting's own.\n */\nexport function forwardSample(doc: {\n  service: string;\n  /** The file as read, frontmatter included — the same string the stamp is applied to. */\n  raw: string;\n  sourcesDigest: string;\n  n: number;\n}): PackSample {\n  const planned = planSample({\n    service: doc.service,\n    contentDigest: contentDigest(doc.raw),\n    sourcesDigest: doc.sourcesDigest,\n    body: rawBody(doc.raw),\n    n: doc.n,\n  });\n  return {\n    seed: planned.seed,\n    of: planned.of,\n    headings: planned.picked.map((section) => section.heading),\n    covers: planned.picked.length >= planned.of,\n  };\n}\n\n/**\n * What the LAST vouch actually covered, when it was a sampled one.\n *\n * This is the pack's answer to the one way sampling could quietly undo the\n * whole point of it: the \"already covered\" list licenses a person to NOT\n * re-read a section, on the strength of somebody having read it before. After\n * a sampled vouch that strength is not there — most of those sections were\n * never read by anyone — so the licence has to be withdrawn, and withdrawn\n * with the detail that makes it actionable rather than as a blanket warning.\n *\n * The detail is recomputable because the stamp records the seed: run the same\n * pick over the body that vouch was taken over and you get back the exact\n * list that person was shown. `read` is that list; `unread` is every other\n * section of that body — text that has now survived a vouch without anybody\n * looking at it, which is precisely what a re-voucher most needs to know.\n *\n * Three things come back null-but-still-sampled, and all three fail the same\n * way, closed: a scope that does not decode (mangled by hand), no vouched\n * body to recompute over (the document has changed since the stamp, so the\n * pick cannot be reproduced), and a body whose section count no longer\n * matches what the scope claims. In each case the pack reports the scope and\n * refuses to name a covered set — never the reverse.\n */\nexport interface PackVouchScope {\n  /** The `vouch_scope` value as a reader is shown it — verbatim where it is text at all. */\n  stamped: string;\n  /** Decoded, or null when the field is not one this loam wrote. */\n  scope: VouchScope | null;\n  /** The headings that vouch read, in document order — null when they cannot be recomputed. */\n  read: string[] | null;\n  /** The headings it did not read: present at that stamp, and never read by anyone. */\n  unread: string[] | null;\n}\n\nexport function priorScope(fm: Frontmatter, vouchedBody: string | null): PackVouchScope | null {\n  // One reader, `readVouchScope`, decides what \"sampled\" means — so the pack\n  // cannot be the surface that quietly grades a mangled scope as a full vouch\n  // while `loam validate` grades it sampled.\n  const stamp = readVouchScope(fm);\n  if (stamp.kind === \"none\") return null;\n  const stamped = scopeText(fm) ?? \"\";\n  const scope = stamp.kind === \"sampled\" ? stamp.scope : null;\n  const blind: PackVouchScope = { stamped, scope, read: null, unread: null };\n  if (scope === null || vouchedBody === null) return blind;\n  const picked = sampledSections(vouchedBody, scope);\n  if (picked === null) return blind;\n  // Partitioned by LINE, not by heading text: a body with two `## Notes`\n  // sections has two units, and matching on the text would report both as\n  // read when one was picked — turning a section nobody opened into a covered\n  // one, which is the exact misreading this function exists to prevent.\n  const read = new Set(picked.map((section) => section.line));\n  return {\n    stamped,\n    scope,\n    read: picked.map((section) => section.heading),\n    unread: splitSections(vouchedBody)\n      .filter((section) => !read.has(section.line))\n      .map((section) => section.heading),\n  };\n}\n\n/**\n * Compare two bodies section by section. Exact text per heading after line\n * endings are normalized — no reflow tolerance, because \"unchanged\" here\n * licenses a person to NOT re-read a section, and the only claim safe to make\n * at that stakes is byte equality.\n */\nexport function sectionDelta(oldBody: string, newBody: string): SectionDelta {\n  const before = sectionMap(oldBody);\n  const after = sectionMap(newBody);\n  const changed: string[] = [];\n  const added: string[] = [];\n  const unchanged: string[] = [];\n  for (const [heading, text] of after) {\n    const prior = before.get(heading);\n    if (prior === undefined) added.push(heading);\n    else if (prior === text) unchanged.push(heading);\n    else changed.push(heading);\n  }\n  const removed = [...before.keys()].filter((heading) => !after.has(heading));\n  return { changed, added, removed, unchanged };\n}\n"]}

package/dist/commands/vouch/prompt/confirm.js

@@ -0,0 +1,46 @@
+/**
+ * The one question loam asks a person, and the only thing that may answer it.
+ *
+ * Its own package for the reason `../vet/verify.ts` is: `vouch.ts` is the flag
+ * boundary and is at its line limit, and this is a distinct phase of the run —
+ * everything before it decides whether asking is even legal, everything after
+ * it writes. A single-file package is the shape that seam has here.
+ */
+import { createInterface } from "node:readline/promises";
+import { promptClaim } from "../sample/print.js";
+/**
+ * Ask, on a terminal, and answer only on an explicit yes.
+ *
+ * The question states what is about to be claimed rather than asking for
+ * assent to a verb: "vouch?" invites a reflex, and the whole value of this
+ * command is that the reflex is the thing being interrupted. Default is no —
+ * a bare Enter, a closed stdin and a Ctrl-C all mean the same thing, because
+ * the only answer that may stamp a document is one somebody typed.
+ *
+ * A sampled run asks a NARROWER question, in the sample's own terms: the k
+ * sections just listed, what the stamp will say about the rest, and what
+ * `loam validate` will report until somebody reads the whole document. Asking
+ * "have you read the code?" of a person who was handed four headings would
+ * collect assent to a claim nobody made — and the assent is the entire
+ * artifact this command produces.
+ */
+export async function confirmVouch(prompt) {
+    const { service, vouchedBy, docsDir, servicePath, sample } = prompt;
+    const rl = createInterface({ input: process.stdin, output: process.stdout });
+    try {
+        console.log(`\nVouching for '${service}' records that YOU read the code and say ` +
+            `${docsDir}/${servicePath}/ describes it.\n` +
+            `It will be stamped \`status: verified\`, \`vouched_by: ${vouchedBy}\`.\n` +
+            "loam has not checked this and cannot: every other check it runs is internal " +
+            "consistency, which well-written prose satisfies on its own.\n" +
+            (sample === undefined ? "" : `${promptClaim(sample, service)}\n`));
+        const answer = await rl.question(sample === undefined
+            ? "Have you read the code? [y/N] "
+            : "Have you read the sampled sections and the code? [y/N] ");
+        return /^y(es)?$/i.test(answer.trim());
+    }
+    finally {
+        rl.close();
+    }
+}
+//# sourceMappingURL=confirm.js.map

package/dist/commands/vouch/prompt/confirm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confirm.js","sourceRoot":"","sources":["../../../../src/commands/vouch/prompt/confirm.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAmBjD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,MAAmB;IACpD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IACpE,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7E,IAAI,CAAC;QACH,OAAO,CAAC,GAAG,CACT,mBAAmB,OAAO,2CAA2C;YACnE,GAAG,OAAO,IAAI,WAAW,mBAAmB;YAC5C,0DAA0D,SAAS,OAAO;YAC1E,8EAA8E;YAC9E,+DAA+D;YAC/D,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CACpE,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAC9B,MAAM,KAAK,SAAS;YAClB,CAAC,CAAC,gCAAgC;YAClC,CAAC,CAAC,yDAAyD,CAC9D,CAAC;QACF,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC;AACH,CAAC","sourcesContent":["/**\n * The one question loam asks a person, and the only thing that may answer it.\n *\n * Its own package for the reason `../vet/verify.ts` is: `vouch.ts` is the flag\n * boundary and is at its line limit, and this is a distinct phase of the run —\n * everything before it decides whether asking is even legal, everything after\n * it writes. A single-file package is the shape that seam has here.\n */\nimport { createInterface } from \"node:readline/promises\";\nimport type { SamplePlan } from \"../sample/plan.js\";\nimport { promptClaim } from \"../sample/print.js\";\n\n/** What the confirmation needs in order to state the claim it is asking about. */\nexport interface VouchPrompt {\n  service: string;\n  vouchedBy: string;\n  docsDir: string;\n  /**\n   * The service's directory, repo-relative — `services/<subsystem>/…/<id>`, or\n   * `services/<id>` unfiled. Passed in rather than joined here: the question\n   * names the documents a person is about to put their name to, and naming a\n   * directory that does not exist would ask them to vouch for something they\n   * cannot open.\n   */\n  servicePath: string;\n  /** Present under `--sample <n>`: the question then names the sections, not the document. */\n  sample?: SamplePlan;\n}\n\n/**\n * Ask, on a terminal, and answer only on an explicit yes.\n *\n * The question states what is about to be claimed rather than asking for\n * assent to a verb: \"vouch?\" invites a reflex, and the whole value of this\n * command is that the reflex is the thing being interrupted. Default is no —\n * a bare Enter, a closed stdin and a Ctrl-C all mean the same thing, because\n * the only answer that may stamp a document is one somebody typed.\n *\n * A sampled run asks a NARROWER question, in the sample's own terms: the k\n * sections just listed, what the stamp will say about the rest, and what\n * `loam validate` will report until somebody reads the whole document. Asking\n * \"have you read the code?\" of a person who was handed four headings would\n * collect assent to a claim nobody made — and the assent is the entire\n * artifact this command produces.\n */\nexport async function confirmVouch(prompt: VouchPrompt): Promise<boolean> {\n  const { service, vouchedBy, docsDir, servicePath, sample } = prompt;\n  const rl = createInterface({ input: process.stdin, output: process.stdout });\n  try {\n    console.log(\n      `\\nVouching for '${service}' records that YOU read the code and say ` +\n        `${docsDir}/${servicePath}/ describes it.\\n` +\n        `It will be stamped \\`status: verified\\`, \\`vouched_by: ${vouchedBy}\\`.\\n` +\n        \"loam has not checked this and cannot: every other check it runs is internal \" +\n        \"consistency, which well-written prose satisfies on its own.\\n\" +\n        (sample === undefined ? \"\" : `${promptClaim(sample, service)}\\n`),\n    );\n    const answer = await rl.question(\n      sample === undefined\n        ? \"Have you read the code? [y/N] \"\n        : \"Have you read the sampled sections and the code? [y/N] \",\n    );\n    return /^y(es)?$/i.test(answer.trim());\n  } finally {\n    rl.close();\n  }\n}\n"]}

package/dist/commands/vouch/report.js

@@ -0,0 +1,101 @@
+/**
+ * What a successful vouch prints: the machine envelope, and the screen the
+ * person who just vouched is looking at.
+ *
+ * Split out of `vouch.ts` when `--sample` arrived and that file reached its
+ * line limit, on the phase seam the command already had: everything above it
+ * decides whether to write, everything here describes what was written. The
+ * two renderings stay in one module because they report the SAME stamp, and
+ * the one failure this file exists to prevent is a text screen and a payload
+ * that disagree about what a document now says.
+ */
+import { emitJson, repoPath } from "../../core/envelope/json.js";
+import { plural, sayRecovered } from "../policy/format.js";
+import { scopeJson } from "./sample/print.js";
+/**
+ * The plan entry for one stamped file, joined by FILENAME — never by position.
+ * The two axes are stamped by two separate calls, and pairing them by index
+ * would hang one file's headings off the other file's scope.
+ */
+function plannedAxis(report, spec) {
+    return report.sample?.axes.find((axis) => axis.file === spec.file);
+}
+export function emitStampJson(report) {
+    const { spec, archSpec: arch } = report.outcome.stamped;
+    emitJson({
+        command: "vouch",
+        service: report.service,
+        path: repoPath(report.docsDir, spec.path),
+        ...(report.outcome.recovered === null ? {} : { recovered: report.outcome.recovered }),
+        status: report.outcome.status,
+        last_verified: report.outcome.lastVerified,
+        vouched_by: report.outcome.vouchedBy,
+        sources: spec.sources,
+        sources_digest: spec.digest,
+        content_digest: spec.contentDigest,
+        files: spec.files,
+        skipped: spec.skipped,
+        // Additive, and beside `status` rather than inside it: `verified` is a
+        // frozen string and a sampled read is a qualification of it, not a fourth
+        // status. Null — never omitted — for a file read in full, so a consumer
+        // can tell "this loam says it was full" from "this loam has never heard
+        // of scopes".
+        vouchScope: scopeJson(spec.vouchScope, plannedAxis(report, spec)),
+        // The architecture axis, same keys: null when the service has no
+        // arch.spec.md, so a consumer can tell "none present" from an older
+        // loam that never reported the axis. status/last_verified are not
+        // repeated — the vouch is one act, and they hold for every file in it.
+        archSpec: arch === null
+            ? null
+            : {
+                path: repoPath(report.docsDir, arch.path),
+                sources: arch.sources,
+                sources_digest: arch.digest,
+                content_digest: arch.contentDigest,
+                files: arch.files,
+                skipped: arch.skipped,
+                // Per file, because the sample is per file: one `--sample 3` run
+                // can stamp a sampled spec.md beside a fully-read arch.spec.md,
+                // and one scope for the pair would be false about one of them.
+                vouchScope: scopeJson(arch.vouchScope, plannedAxis(report, arch)),
+            },
+    });
+}
+export function printStamp(report) {
+    const { outcome, service } = report;
+    const { spec, archSpec: arch } = outcome.stamped;
+    // spec.md first, arch.spec.md behind it when present — the order the
+    // person who vouched reads them in, and the order the axes are declared.
+    if (outcome.recovered !== null)
+        console.log(`${sayRecovered(outcome.recovered)}\n`);
+    for (const [i, s] of [spec, ...(arch === null ? [] : [arch])].entries()) {
+        console.log(`${i > 0 ? "\n" : ""}${service} vouched — ${repoPath(report.docsDir, s.path)}\n`);
+        console.log(`  status          ${outcome.status}`);
+        console.log(`  last_verified   ${outcome.lastVerified}`);
+        console.log(`  vouched_by      ${outcome.vouchedBy}`);
+        console.log(`  sources_digest  ${s.digest}  (${plural(s.files, "file")} from ${plural(s.sources.length, "source")})`);
+        console.log(`  content_digest  ${s.contentDigest}`);
+        // On the same screen as the digests, in the same column, because this is
+        // the field that says the promise beside it is partial. A reader who scans
+        // the stamp and stops must not be able to miss it.
+        if (s.vouchScope !== null) {
+            console.log(`  vouch_scope     sampled ${s.vouchScope.sections}/${s.vouchScope.of} seed=${s.vouchScope.seed}  ` +
+                `(${plural(s.vouchScope.of - s.vouchScope.sections, "section")} unread)`);
+        }
+        // Said at the moment of stamping, not only later by `loam validate`:
+        // this is the one screen the person who vouched is actually looking at,
+        // and what it lists is the part of the tree their promise does not cover.
+        if (s.skipped.length > 0) {
+            console.log(`\n  ⚠ ${plural(s.skipped.length, "path")} under those sources went unhashed:`);
+            for (const skip of s.skipped)
+                console.log(`      ${skip.path} — ${skip.reason}`);
+        }
+    }
+    const sampled = [spec, arch].some((s) => s !== null && s.vouchScope !== null);
+    console.log(`\n\`loam validate\` will now say when that code moves out from under the spec — or when the spec moves under its own stamp.`);
+    if (sampled) {
+        console.log(`It will also report \`sources.sampled-vouch\` for '${service}' until a person vouches for the whole document ` +
+            `(\`loam vouch --service ${service}\`, no --sample), which clears the scope.`);
+    }
+}
+//# sourceMappingURL=report.js.map

package/dist/commands/vouch/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../../src/commands/vouch/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAEjE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAG3D,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAW9C;;;;GAIG;AACH,SAAS,WAAW,CAAC,MAAmB,EAAE,IAAiB;IACzD,OAAO,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAmB;IAC/C,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;IACxD,QAAQ,CAAC;QACP,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;QACzC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACrF,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;QAC7B,aAAa,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY;QAC1C,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,SAAS;QACpC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,cAAc,EAAE,IAAI,CAAC,MAAM;QAC3B,cAAc,EAAE,IAAI,CAAC,aAAa;QAClC,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,uEAAuE;QACvE,0EAA0E;QAC1E,wEAAwE;QACxE,wEAAwE;QACxE,cAAc;QACd,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACjE,iEAAiE;QACjE,oEAAoE;QACpE,kEAAkE;QAClE,uEAAuE;QACvE,QAAQ,EACN,IAAI,KAAK,IAAI;YACX,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC;gBACzC,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,cAAc,EAAE,IAAI,CAAC,MAAM;gBAC3B,cAAc,EAAE,IAAI,CAAC,aAAa;gBAClC,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,iEAAiE;gBACjE,gEAAgE;gBAChE,+DAA+D;gBAC/D,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;aAClE;KACR,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,MAAmB;IAC5C,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IACpC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IACjD,qEAAqE;IACrE,yEAAyE;IACzE,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,cAAc,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9F,OAAO,CAAC,GAAG,CAAC,qBAAqB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACnD,OAAO,CAAC,GAAG,CAAC,qBAAqB,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,qBAAqB,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QACtD,OAAO,CAAC,GAAG,CACT,qBAAqB,CAAC,CAAC,MAAM,MAAM,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CACzG,CAAC;QACF,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;QACpD,yEAAyE;QACzE,2EAA2E;QAC3E,mDAAmD;QACnD,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAC1B,OAAO,CAAC,GAAG,CACT,6BAA6B,CAAC,CAAC,UAAU,CAAC,QAAQ,IAAI,CAAC,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI;gBACjG,IAAI,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAC3E,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,wEAAwE;QACxE,0EAA0E;QAC1E,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,qCAAqC,CAAC,CAAC;YAC5F,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CACT,6HAA6H,CAC9H,CAAC;IACF,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,GAAG,CACT,sDAAsD,OAAO,kDAAkD;YAC7G,2BAA2B,OAAO,2CAA2C,CAChF,CAAC;IACJ,CAAC;AACH,CAAC","sourcesContent":["/**\n * What a successful vouch prints: the machine envelope, and the screen the\n * person who just vouched is looking at.\n *\n * Split out of `vouch.ts` when `--sample` arrived and that file reached its\n * line limit, on the phase seam the command already had: everything above it\n * decides whether to write, everything here describes what was written. The\n * two renderings stay in one module because they report the SAME stamp, and\n * the one failure this file exists to prevent is a text screen and a payload\n * that disagree about what a document now says.\n */\nimport { emitJson, repoPath } from \"../../core/envelope/json.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\nimport { plural, sayRecovered } from \"../policy/format.js\";\nimport type { StampedSpec, VouchOutcome } from \"./contract.js\";\nimport type { PlannedAxis, SamplePlan } from \"./sample/plan.js\";\nimport { scopeJson } from \"./sample/print.js\";\n\nexport interface StampReport {\n  service: string;\n  docsDir: DocsDir;\n  /** The successful arm — the only one that has a stamp to describe. */\n  outcome: Extract<VouchOutcome, { ok: true }>;\n  /** The reading list this run was answered against, when it was a sampled one. */\n  sample?: SamplePlan;\n}\n\n/**\n * The plan entry for one stamped file, joined by FILENAME — never by position.\n * The two axes are stamped by two separate calls, and pairing them by index\n * would hang one file's headings off the other file's scope.\n */\nfunction plannedAxis(report: StampReport, spec: StampedSpec): PlannedAxis | undefined {\n  return report.sample?.axes.find((axis) => axis.file === spec.file);\n}\n\nexport function emitStampJson(report: StampReport): void {\n  const { spec, archSpec: arch } = report.outcome.stamped;\n  emitJson({\n    command: \"vouch\",\n    service: report.service,\n    path: repoPath(report.docsDir, spec.path),\n    ...(report.outcome.recovered === null ? {} : { recovered: report.outcome.recovered }),\n    status: report.outcome.status,\n    last_verified: report.outcome.lastVerified,\n    vouched_by: report.outcome.vouchedBy,\n    sources: spec.sources,\n    sources_digest: spec.digest,\n    content_digest: spec.contentDigest,\n    files: spec.files,\n    skipped: spec.skipped,\n    // Additive, and beside `status` rather than inside it: `verified` is a\n    // frozen string and a sampled read is a qualification of it, not a fourth\n    // status. Null — never omitted — for a file read in full, so a consumer\n    // can tell \"this loam says it was full\" from \"this loam has never heard\n    // of scopes\".\n    vouchScope: scopeJson(spec.vouchScope, plannedAxis(report, spec)),\n    // The architecture axis, same keys: null when the service has no\n    // arch.spec.md, so a consumer can tell \"none present\" from an older\n    // loam that never reported the axis. status/last_verified are not\n    // repeated — the vouch is one act, and they hold for every file in it.\n    archSpec:\n      arch === null\n        ? null\n        : {\n            path: repoPath(report.docsDir, arch.path),\n            sources: arch.sources,\n            sources_digest: arch.digest,\n            content_digest: arch.contentDigest,\n            files: arch.files,\n            skipped: arch.skipped,\n            // Per file, because the sample is per file: one `--sample 3` run\n            // can stamp a sampled spec.md beside a fully-read arch.spec.md,\n            // and one scope for the pair would be false about one of them.\n            vouchScope: scopeJson(arch.vouchScope, plannedAxis(report, arch)),\n          },\n  });\n}\n\nexport function printStamp(report: StampReport): void {\n  const { outcome, service } = report;\n  const { spec, archSpec: arch } = outcome.stamped;\n  // spec.md first, arch.spec.md behind it when present — the order the\n  // person who vouched reads them in, and the order the axes are declared.\n  if (outcome.recovered !== null) console.log(`${sayRecovered(outcome.recovered)}\\n`);\n  for (const [i, s] of [spec, ...(arch === null ? [] : [arch])].entries()) {\n    console.log(`${i > 0 ? \"\\n\" : \"\"}${service} vouched — ${repoPath(report.docsDir, s.path)}\\n`);\n    console.log(`  status          ${outcome.status}`);\n    console.log(`  last_verified   ${outcome.lastVerified}`);\n    console.log(`  vouched_by      ${outcome.vouchedBy}`);\n    console.log(\n      `  sources_digest  ${s.digest}  (${plural(s.files, \"file\")} from ${plural(s.sources.length, \"source\")})`,\n    );\n    console.log(`  content_digest  ${s.contentDigest}`);\n    // On the same screen as the digests, in the same column, because this is\n    // the field that says the promise beside it is partial. A reader who scans\n    // the stamp and stops must not be able to miss it.\n    if (s.vouchScope !== null) {\n      console.log(\n        `  vouch_scope     sampled ${s.vouchScope.sections}/${s.vouchScope.of} seed=${s.vouchScope.seed}  ` +\n          `(${plural(s.vouchScope.of - s.vouchScope.sections, \"section\")} unread)`,\n      );\n    }\n    // Said at the moment of stamping, not only later by `loam validate`:\n    // this is the one screen the person who vouched is actually looking at,\n    // and what it lists is the part of the tree their promise does not cover.\n    if (s.skipped.length > 0) {\n      console.log(`\\n  ⚠ ${plural(s.skipped.length, \"path\")} under those sources went unhashed:`);\n      for (const skip of s.skipped) console.log(`      ${skip.path} — ${skip.reason}`);\n    }\n  }\n  const sampled = [spec, arch].some((s) => s !== null && s.vouchScope !== null);\n  console.log(\n    `\\n\\`loam validate\\` will now say when that code moves out from under the spec — or when the spec moves under its own stamp.`,\n  );\n  if (sampled) {\n    console.log(\n      `It will also report \\`sources.sampled-vouch\\` for '${service}' until a person vouches for the whole document ` +\n        `(\\`loam vouch --service ${service}\\`, no --sample), which clears the scope.`,\n    );\n  }\n}\n"]}