@ybotok/loam 0.2.0-alpha.4 → 0.2.0-alpha.6

package/dist/commands/show/service.js.map

@@ -1 +1 @@
-{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../src/commands/show/service.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAStE,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,OAAgB,EAChB,EAAmB,EACnB,IAAa,EACb,OAAqB;IAErB,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG;QACV,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;KACjC,CAAC;IAEF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK;QACrB,CAAC,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE9D,2EAA2E;IAC3E,iEAAiE;IACjE,2EAA2E;IAC3E,cAAc;IACd,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI;QACzC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI;QACvC,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,IAAI;QACvD,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC;QACjC,wEAAwE;QACxE,0EAA0E;QAC1E,2EAA2E;QAC3E,0EAA0E;QAC1E,yEAAyE;QACzE,iDAAiD;QACjD,WAAW,EAAE,KAAK;KACnB,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAY,EAAE,CACvC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAEzE,MAAM,eAAe,GAAG,CAAC,CAAc,EAA2B,EAAE,CAAC,CAAC;QACpE,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM;QAC7B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC,CAAC;IAEH,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC;YACP,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,SAAS;YACf,EAAE;YACF,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC;YAClC,GAAG;YACH,IAAI;YACJ,WAAW,EAAE,UAAU;YACvB,KAAK,EAAE;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;gBAC/B,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;gBACzC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;aACpC;YACD,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;YACvC,QAAQ,EAAE;gBACR,YAAY,EAAE,QAAQ,CAAC,MAAM;gBAC7B,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC;gBAClC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;gBACtC,sEAAsE;gBACtE,8DAA8D;gBAC9D,gDAAgD;gBAChD,WAAW,EAAE,SAAS;aACvB;YACD,OAAO,EAAE;gBACP,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;aACzD;YACD,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAClE,SAAS,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE;SACjC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,MAAM,KAAK,GACT,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,CAAC;QAClE,CAAC,CAAC,UAAU,CAAC,MAAM;QACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,YAAY,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAEtF,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC7F,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;QAChG,wEAAwE;QACxE,yEAAyE;QACzE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,8CAA8C,CAAC,CAAC;QAC9G,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,8BAA8B,SAAS,8CAA8C,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACtE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,WAAW;QACnC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;IAC5G,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,oBAAoB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,CAAC,EAAiB,EAAU,EAAE,CAC7C,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;IACnF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,CACT,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,oBAAoB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAChG,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAChG,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,oBAAoB,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3G,MAAM,eAAe,GAAG,CAAC,CAAc,EAAU,EAAE;QACjD,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,OAAO,CAAC,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,GAAG,MAAM,EAAE,CAAC;IACxF,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,+DAA+D,EAAE,SAAS,CAAC,CAAC;QACxF,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;YACvB,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;gBAC5F,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,mCAAmC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,OAAgB,EAChB,OAAe,EACf,OAAqB;IAErB,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjE,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAEpD,MAAM,OAAO,GAAW,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAW,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,CAAC,OAAe,EAAQ,EAAE,CAAC,CAAC;YACvC,OAAO;YACP,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,IAAI;YAChB,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI;SACvB,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;aAChE,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,OAAO;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["/**\n * One service as `loam show` presents it: its spec, its contract, and the\n * fleet edges into and out of it.\n *\n * Split from `./feature.ts` because a service and a feature answer different\n * questions — what a repository holds now, against what a change proposes —\n * and only the service view has to reach the landscape for its edges.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { emitJson, repoPath } from \"../../core/envelope/json.js\";\nimport { listField, readFrontmatter, stringField } from \"../../core/document/frontmatter.js\";\nimport { scopeText } from \"../../core/provenance/sample/scope.js\";\nimport { loadFile } from \"../../core/c4/likec4.js\";\nimport { serviceResolver } from \"../../core/c4/resolve/service.js\";\nimport { readOpenapi } from \"../../core/openapi/doc.js\";\nimport type { PathableService } from \"../../core/kernel/ids/service.js\";\nimport { landscapePath } from \"../../core/repo/paths.js\";\nimport { locateServicePaths } from \"../../core/repo/service-target.js\";\nimport { listServices } from \"../../core/repo/repo.js\";\nimport { countMarkdown } from \"../../core/repo/tree/fs.js\";\nimport { parseRequirements } from \"../../core/document/parse.js\";\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { plural } from \"../policy/format.js\";\nimport { edgeNote, errorText, mark, scenarioCount } from \"./marks.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\n\nexport interface Edge {\n  service: string;\n  op: string | null;\n  title: string | null;\n}\n\nexport async function showService(\n  docsDir: DocsDir,\n  id: PathableService,\n  json: boolean,\n  context: FleetContext,\n): Promise<void> {\n  const paths = await locateServicePaths(docsDir, id, context);\n  const has = {\n    model: existsSync(paths.model),\n    spec: existsSync(paths.spec),\n    // The architecture-obligations axis. It was invisible here and in `list`,\n    // which made the whole axis unnavigable: a service could carry twenty arch\n    // requirements — the outbox, the retries, the alerts — and every command a\n    // reader uses to find out what a service documents showed none of them.\n    archSpec: existsSync(paths.archSpec),\n    openapi: existsSync(paths.openapi),\n    runbook: existsSync(paths.runbook),\n    health: existsSync(paths.health),\n  };\n\n  const model = has.model\n    ? await loadFile(paths.model)\n    : { errors: [], elements: [], relationships: [] };\n  const reqs = has.spec ? parseRequirements(await readFile(paths.spec, \"utf8\")) : [];\n  const archReqs = has.archSpec ? parseRequirements(await readFile(paths.archSpec, \"utf8\")) : [];\n  const adrs = await countMarkdown(paths.adrsDir);\n  // `readOpenapi`, not `operationIds`: a contract that exists but does not parse\n  // came back from operationIds as an EMPTY operation list, indistinguishable\n  // from a service with no endpoints. `show` is what a reader opens to find out\n  // what a service offers, and answering \"nothing\" over a YAML error is the\n  // worst possible lie for that question. `x-loam-remove` entries are filtered\n  // out for the same reason validate filters them: they are deletion markers\n  // from a delta, not operations anybody can call.\n  const api = await readOpenapi(paths.openapi);\n  const ops = api.ops.filter((o) => !o.remove).map((o) => o.id);\n\n  // Both axes: the sample is per file, so an arch.spec.md read from a sample\n  // beside a fully-read spec.md still means part of this service's\n  // documentation was not read, and a badge derived from spec.md alone would\n  // not say so.\n  const [fm, archFm] = await Promise.all([readFrontmatter(paths.spec), readFrontmatter(paths.archSpec)]);\n  const scope = scopeText(fm);\n  const archScope = scopeText(archFm);\n  const provenance = {\n    status: stringField(fm, \"status\") ?? null,\n    owner: stringField(fm, \"owner\") ?? null,\n    last_verified: stringField(fm, \"last_verified\") ?? null,\n    sources: listField(fm, \"sources\"),\n    // Additive, under its frontmatter spelling like its siblings: `show` is\n    // where a person goes to find out what a service's documents claim, and a\n    // `status: verified` that a person reached by reading four sections of the\n    // spec is a materially different claim. Verbatim rather than decoded — an\n    // unreadable value is still a stamped partial read, and showing it as it\n    // stands is what lets a reader see the mangling.\n    vouch_scope: scope,\n  };\n\n  const governs = (op: string): string[] =>\n    reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);\n\n  const { inbound, outbound } = await landscapeEdges(docsDir, id, context);\n\n  const requirementJson = (r: Requirement): Record<string, unknown> => ({\n    id: r.id,\n    name: r.name,\n    kind: r.kind,\n    scenarios: r.scenarios.length,\n    operations: r.operations,\n    covers: r.covers,\n  });\n\n  if (json) {\n    emitJson({\n      command: \"show\",\n      type: \"service\",\n      id,\n      path: repoPath(docsDir, paths.dir),\n      has,\n      adrs,\n      frontmatter: provenance,\n      model: {\n        elements: model.elements.length,\n        relationships: model.relationships.length,\n        errors: model.errors.map(errorText),\n      },\n      requirements: reqs.map(requirementJson),\n      archSpec: {\n        requirements: archReqs.length,\n        scenarios: scenarioCount(archReqs),\n        entries: archReqs.map(requirementJson),\n        // The second axis carries its own scope: one `--sample` run can stamp\n        // one of the pair sampled and read the other in full, and the\n        // `frontmatter` block above is spec.md's alone.\n        vouch_scope: archScope,\n      },\n      openapi: {\n        unreadable: api.unreadable,\n        ...(api.error === undefined ? {} : { error: api.error }),\n      },\n      operations: ops.map((op) => ({ id: op, governedBy: governs(op) })),\n      landscape: { inbound, outbound },\n    });\n    return;\n  }\n\n  // The badge qualifies the status rather than replacing it: the document\n  // still says `verified` and this screen still says so, with what that vouch\n  // actually covered attached. A bare `verified` over a sampled stamp is the\n  // one reading this whole feature exists to prevent — and either axis earns\n  // the qualifier, since either one is part of this service nobody read.\n  const shown =\n    provenance.status === null || (scope === null && archScope === null)\n      ? provenance.status\n      : `${provenance.status} (sampled)`;\n  const badge = [shown, provenance.owner].filter((s) => s !== null).join(\" · \");\n  console.log(`${id}   ${repoPath(docsDir, paths.dir)}${badge ? `   ${badge}` : \"\"}\\n`);\n\n  if (provenance.sources.length > 0 || provenance.last_verified !== null || archScope !== null) {\n    console.log(\"  provenance\");\n    if (provenance.last_verified !== null) console.log(`    verified  ${provenance.last_verified}`);\n    // Per axis and named, because they can disagree: one file read in full,\n    // the other from a sample, is an ordinary outcome of one `--sample` run.\n    if (scope !== null) console.log(`    scope     spec.md ${scope} — the rest of it was not read at that vouch`);\n    if (archScope !== null) {\n      console.log(`    scope     arch.spec.md ${archScope} — the rest of it was not read at that vouch`);\n    }\n    for (const s of provenance.sources) console.log(`    sources   ${s}`);\n    console.log(\"\");\n  }\n\n  console.log(\"  artifacts\");\n  const modelNote =\n    model.errors.length > 0\n      ? `${model.errors.length} error(s)`\n      : `${plural(model.elements.length, \"element\")} · ${plural(model.relationships.length, \"relationship\")}`;\n  console.log(`    ${mark(has.model)} model.likec4    ${has.model ? modelNote : \"\"}`.trimEnd());\n  const specNote = (rs: Requirement[]): string =>\n    `${plural(rs.length, \"requirement\")} · ${plural(scenarioCount(rs), \"scenario\")}`;\n  console.log(`    ${mark(has.spec)} spec.md         ${has.spec ? specNote(reqs) : \"\"}`.trimEnd());\n  console.log(\n    `    ${mark(has.archSpec)} arch.spec.md    ${has.archSpec ? specNote(archReqs) : \"\"}`.trimEnd(),\n  );\n  const apiNote = api.unreadable ? \"does not parse\" : plural(ops.length, \"operation\");\n  console.log(`    ${mark(has.openapi)} openapi.yaml    ${has.openapi ? apiNote : \"\"}`.trimEnd());\n  console.log(`    ${mark(has.runbook)} runbook.md`);\n  console.log(`    ${mark(has.health)} health.yaml`);\n  console.log(`    ${mark(adrs > 0)} adrs/           ${adrs > 0 ? plural(adrs, \"decision\") : \"\"}`.trimEnd());\n\n  const requirementLine = (r: Requirement): string => {\n    const govern = r.operations.length > 0 ? `  → ${r.operations.join(\", \")}` : \"\";\n    const covers = r.covers.length > 0 ? `  covers ${r.covers.join(\", \")}` : \"\";\n    return `    ${r.name}  (${plural(r.scenarios.length, \"scenario\")})${govern}${covers}`;\n  };\n  if (reqs.length > 0) {\n    console.log(\"\\n  requirements\");\n    for (const r of reqs) console.log(requirementLine(r));\n  }\n  if (archReqs.length > 0) {\n    console.log(\"\\n  arch requirements\");\n    for (const r of archReqs) console.log(requirementLine(r));\n  }\n\n  if (api.unreadable) {\n    console.log(\"\\n  operations\");\n    console.log(`    ✗ openapi.yaml does not parse — nothing here lists what ${id} offers`);\n    if (api.error !== undefined) console.log(`      ${api.error}`);\n  } else if (ops.length > 0) {\n    console.log(\"\\n  operations\");\n    for (const op of ops) {\n      const by = governs(op);\n      if (by.length > 0) console.log(`    ✓ ${op}  governed by ${by.map((n) => `\"${n}\"`).join(\", \")}`);\n      else console.log(`    ⚠ ${op}  not governed by any requirement`);\n    }\n  }\n\n  if (inbound.length > 0 || outbound.length > 0) {\n    console.log(\"\\n  landscape\");\n    for (const e of inbound) console.log(`    ← ${e.service}${edgeNote(e)}`);\n    for (const e of outbound) console.log(`    → ${e.service}${edgeNote(e)}`);\n  }\n\n  if (model.errors.length > 0) {\n    console.log(\"\\n  model errors\");\n    for (const e of model.errors) console.log(`    ✗ ${errorText(e)}`);\n  }\n}\n\n/** Inbound/outbound edges for a service, read off the living landscape. */\nexport async function landscapeEdges(\n  docsDir: DocsDir,\n  service: string,\n  context: FleetContext,\n): Promise<{ inbound: Edge[]; outbound: Edge[] }> {\n  const path = landscapePath(docsDir);\n  if (!existsSync(path)) return { inbound: [], outbound: [] };\n  const land = await loadFile(path);\n  if (land.errors.length > 0) return { inbound: [], outbound: [] };\n  // Edges are filed under the service an element is BOUND to, not under what the\n  // box is titled — otherwise renaming a box empties this list without a word —\n  // and an edge into a modelled container belongs to the service that owns it.\n  const known = new Set((await listServices(docsDir, context)).map((s) => s.id));\n  const svcOf = serviceResolver(land.elements, known);\n\n  const inbound: Edge[] = [];\n  const outbound: Edge[] = [];\n  for (const r of land.relationships) {\n    const edge = (service: string): Edge => ({\n      service,\n      op: r.op ?? null,\n      title: r.title ?? null,\n    });\n    if (svcOf(r.target) === service) inbound.push(edge(svcOf(r.source)));\n    else if (svcOf(r.source) === service) outbound.push(edge(svcOf(r.target)));\n  }\n  return { inbound, outbound };\n}\n\n/* ------------------------------------------------------------------ */\n/* Feature                                                             */\n/* ------------------------------------------------------------------ */\n"]}
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../../src/commands/show/service.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAkB,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AASpD,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,OAAgB,EAChB,EAAmB,EACnB,IAAa,EACb,OAAqB;IAErB,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG;QACV,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5B,0EAA0E;QAC1E,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC;QACpC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;QAClC,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;KACjC,CAAC;IAEF,8EAA8E;IAC9E,0EAA0E;IAC1E,2EAA2E;IAC3E,wEAAwE;IACxE,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,MAAM,KAAK,GACT,IAAI,KAAK,IAAI;QACX,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE;QACjD,CAAC,CAAC,IAAI,CAAC,aAAa;YAClB,CAAC,CAAC,oEAAoE;gBACpE,sEAAsE;gBACtE,mEAAmE;gBACnE,eAAe;gBACf;oBACE,MAAM,EAAE;wBACN;4BACE,OAAO,EACL,4EAA4E;gCAC5E,iFAAiF;yBACpF;qBACF;oBACD,QAAQ,EAAE,EAAE;oBACZ,aAAa,EAAE,EAAE;iBAClB;YACH,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;IACjB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnF,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChD,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE9D,2EAA2E;IAC3E,iEAAiE;IACjE,2EAA2E;IAC3E,cAAc;IACd,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC5B,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,WAAW,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI;QACzC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI;QACvC,aAAa,EAAE,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,IAAI,IAAI;QACvD,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC;QACjC,wEAAwE;QACxE,0EAA0E;QAC1E,2EAA2E;QAC3E,0EAA0E;QAC1E,yEAAyE;QACzE,iDAAiD;QACjD,WAAW,EAAE,KAAK;KACnB,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAY,EAAE,CACvC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAEzE,MAAM,eAAe,GAAG,CAAC,CAAc,EAA2B,EAAE,CAAC,CAAC;QACpE,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM;QAC7B,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC,CAAC;IAEH,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC;YACP,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,SAAS;YACf,EAAE;YACF,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC;YAClC,GAAG;YACH,IAAI;YACJ,WAAW,EAAE,UAAU;YACvB,KAAK,EAAE;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM;gBAC/B,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;gBACzC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;aACpC;YACD,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC;YACvC,QAAQ,EAAE;gBACR,YAAY,EAAE,QAAQ,CAAC,MAAM;gBAC7B,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC;gBAClC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC;gBACtC,sEAAsE;gBACtE,8DAA8D;gBAC9D,gDAAgD;gBAChD,WAAW,EAAE,SAAS;aACvB;YACD,OAAO,EAAE;gBACP,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;aACzD;YACD,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAClE,SAAS,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE;SACjC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,wEAAwE;IACxE,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,MAAM,KAAK,GACT,UAAU,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,CAAC;QAClE,CAAC,CAAC,UAAU,CAAC,MAAM;QACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,YAAY,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAEtF,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC7F,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC5B,IAAI,UAAU,CAAC,aAAa,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC;QAChG,wEAAwE;QACxE,yEAAyE;QACzE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,8CAA8C,CAAC,CAAC;QAC9G,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,8BAA8B,SAAS,8CAA8C,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACtE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3B,MAAM,SAAS,GACb,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,WAAW;QACnC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC;IAC5G,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,oBAAoB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,CAAC,EAAiB,EAAU,EAAE,CAC7C,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;IACnF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,CACT,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,oBAAoB,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAChG,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAChG,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,oBAAoB,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3G,MAAM,eAAe,GAAG,CAAC,CAAc,EAAU,EAAE;QACjD,MAAM,MAAM,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,OAAO,OAAO,CAAC,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,GAAG,MAAM,EAAE,CAAC;IACxF,CAAC,CAAC;IACF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,+DAA+D,EAAE,SAAS,CAAC,CAAC;QACxF,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;YACvB,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,iBAAiB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;gBAC5F,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,mCAAmC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,OAAgB,EAChB,OAAe,EACf,OAAqB;IAErB,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjE,+EAA+E;IAC/E,8EAA8E;IAC9E,6EAA6E;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,iBAAiB,CAAC;QAC9C,EAAE,EAAE,OAAO;QACX,MAAM,EAAE,IAAI;QACZ,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1C,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC;KAC7C,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE","sourcesContent":["/**\n * One service as `loam show` presents it: its spec, its contract, and the\n * fleet edges into and out of it.\n *\n * Split from `./feature.ts` because a service and a feature answer different\n * questions — what a repository holds now, against what a change proposes —\n * and only the service view has to reach the landscape for its edges.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { FleetContext } from \"../../core/fleet-context.js\";\nimport { emitJson, repoPath } from \"../../core/envelope/json.js\";\nimport { listField, readFrontmatter, stringField } from \"../../core/document/frontmatter.js\";\nimport { scopeText } from \"../../core/provenance/sample/scope.js\";\nimport { loadFile, type LoadedDoc } from \"../../core/c4/likec4.js\";\nimport { serviceResolver } from \"../../core/c4/resolve/service.js\";\nimport { landscapeEvidence } from \"../../core/vocabulary/maturity.js\";\nimport { readOpenapi } from \"../../core/openapi/doc.js\";\nimport type { PathableService } from \"../../core/kernel/ids/service.js\";\nimport { landscapePath } from \"../../core/repo/paths.js\";\nimport { locateServicePaths } from \"../../core/repo/service-target.js\";\nimport { listServices } from \"../../core/repo/repo.js\";\nimport { countMarkdown } from \"../../core/repo/tree/fs.js\";\nimport { parseRequirements } from \"../../core/document/parse.js\";\nimport { type Requirement } from \"../../core/document/spec.js\";\nimport { plural } from \"../policy/format.js\";\nimport { edgeNote, mark, scenarioCount } from \"./marks.js\";\nimport { errorText } from \"../../core/c4/likec4.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\n\nexport interface Edge {\n  service: string;\n  op: string | null;\n  title: string | null;\n}\n\nexport async function showService(\n  docsDir: DocsDir,\n  id: PathableService,\n  json: boolean,\n  context: FleetContext,\n): Promise<void> {\n  const paths = await locateServicePaths(docsDir, id, context);\n  const has = {\n    model: existsSync(paths.model),\n    spec: existsSync(paths.spec),\n    // The architecture-obligations axis. It was invisible here and in `list`,\n    // which made the whole axis unnavigable: a service could carry twenty arch\n    // requirements — the outbox, the retries, the alerts — and every command a\n    // reader uses to find out what a service documents showed none of them.\n    archSpec: existsSync(paths.archSpec),\n    openapi: existsSync(paths.openapi),\n    runbook: existsSync(paths.runbook),\n    health: existsSync(paths.health),\n  };\n\n  // Through the ONE reader of `model.likec4`, so the counts here are the counts\n  // `validate` prints: a model that EXTENDS the fleet map is a slice of the\n  // project it extends, and opening the file alone would show a screenful of\n  // parse errors for a document that is perfectly valid where it is read.\n  const read = has.model ? await context.serviceModel(docsDir, paths) : null;\n  const model: LoadedDoc =\n    read === null\n      ? { errors: [], elements: [], relationships: [] }\n      : read.mapUnreadable\n        ? // The map did not parse, so an extending model could not be read at\n          // all. `show` must say that rather than print zeroes: \"0 elements\" is\n          // what a service with no architecture looks like, and this one may\n          // have plenty.\n          {\n            errors: [\n              {\n                message:\n                  \"architecture/landscape.likec4 does not parse, and this model extends it — \" +\n                  \"nothing here could be read. `loam validate --all` reports the map's own errors.\",\n              },\n            ],\n            elements: [],\n            relationships: [],\n          }\n        : read.doc;\n  const reqs = has.spec ? parseRequirements(await readFile(paths.spec, \"utf8\")) : [];\n  const archReqs = has.archSpec ? parseRequirements(await readFile(paths.archSpec, \"utf8\")) : [];\n  const adrs = await countMarkdown(paths.adrsDir);\n  // `readOpenapi`, not `operationIds`: a contract that exists but does not parse\n  // came back from operationIds as an EMPTY operation list, indistinguishable\n  // from a service with no endpoints. `show` is what a reader opens to find out\n  // what a service offers, and answering \"nothing\" over a YAML error is the\n  // worst possible lie for that question. `x-loam-remove` entries are filtered\n  // out for the same reason validate filters them: they are deletion markers\n  // from a delta, not operations anybody can call.\n  const api = await readOpenapi(paths.openapi);\n  const ops = api.ops.filter((o) => !o.remove).map((o) => o.id);\n\n  // Both axes: the sample is per file, so an arch.spec.md read from a sample\n  // beside a fully-read spec.md still means part of this service's\n  // documentation was not read, and a badge derived from spec.md alone would\n  // not say so.\n  const [fm, archFm] = await Promise.all([readFrontmatter(paths.spec), readFrontmatter(paths.archSpec)]);\n  const scope = scopeText(fm);\n  const archScope = scopeText(archFm);\n  const provenance = {\n    status: stringField(fm, \"status\") ?? null,\n    owner: stringField(fm, \"owner\") ?? null,\n    last_verified: stringField(fm, \"last_verified\") ?? null,\n    sources: listField(fm, \"sources\"),\n    // Additive, under its frontmatter spelling like its siblings: `show` is\n    // where a person goes to find out what a service's documents claim, and a\n    // `status: verified` that a person reached by reading four sections of the\n    // spec is a materially different claim. Verbatim rather than decoded — an\n    // unreadable value is still a stamped partial read, and showing it as it\n    // stands is what lets a reader see the mangling.\n    vouch_scope: scope,\n  };\n\n  const governs = (op: string): string[] =>\n    reqs.filter((r) => r.operations.includes(op)).map((r) => r.name);\n\n  const { inbound, outbound } = await landscapeEdges(docsDir, id, context);\n\n  const requirementJson = (r: Requirement): Record<string, unknown> => ({\n    id: r.id,\n    name: r.name,\n    kind: r.kind,\n    scenarios: r.scenarios.length,\n    operations: r.operations,\n    covers: r.covers,\n  });\n\n  if (json) {\n    emitJson({\n      command: \"show\",\n      type: \"service\",\n      id,\n      path: repoPath(docsDir, paths.dir),\n      has,\n      adrs,\n      frontmatter: provenance,\n      model: {\n        elements: model.elements.length,\n        relationships: model.relationships.length,\n        errors: model.errors.map(errorText),\n      },\n      requirements: reqs.map(requirementJson),\n      archSpec: {\n        requirements: archReqs.length,\n        scenarios: scenarioCount(archReqs),\n        entries: archReqs.map(requirementJson),\n        // The second axis carries its own scope: one `--sample` run can stamp\n        // one of the pair sampled and read the other in full, and the\n        // `frontmatter` block above is spec.md's alone.\n        vouch_scope: archScope,\n      },\n      openapi: {\n        unreadable: api.unreadable,\n        ...(api.error === undefined ? {} : { error: api.error }),\n      },\n      operations: ops.map((op) => ({ id: op, governedBy: governs(op) })),\n      landscape: { inbound, outbound },\n    });\n    return;\n  }\n\n  // The badge qualifies the status rather than replacing it: the document\n  // still says `verified` and this screen still says so, with what that vouch\n  // actually covered attached. A bare `verified` over a sampled stamp is the\n  // one reading this whole feature exists to prevent — and either axis earns\n  // the qualifier, since either one is part of this service nobody read.\n  const shown =\n    provenance.status === null || (scope === null && archScope === null)\n      ? provenance.status\n      : `${provenance.status} (sampled)`;\n  const badge = [shown, provenance.owner].filter((s) => s !== null).join(\" · \");\n  console.log(`${id}   ${repoPath(docsDir, paths.dir)}${badge ? `   ${badge}` : \"\"}\\n`);\n\n  if (provenance.sources.length > 0 || provenance.last_verified !== null || archScope !== null) {\n    console.log(\"  provenance\");\n    if (provenance.last_verified !== null) console.log(`    verified  ${provenance.last_verified}`);\n    // Per axis and named, because they can disagree: one file read in full,\n    // the other from a sample, is an ordinary outcome of one `--sample` run.\n    if (scope !== null) console.log(`    scope     spec.md ${scope} — the rest of it was not read at that vouch`);\n    if (archScope !== null) {\n      console.log(`    scope     arch.spec.md ${archScope} — the rest of it was not read at that vouch`);\n    }\n    for (const s of provenance.sources) console.log(`    sources   ${s}`);\n    console.log(\"\");\n  }\n\n  console.log(\"  artifacts\");\n  const modelNote =\n    model.errors.length > 0\n      ? `${model.errors.length} error(s)`\n      : `${plural(model.elements.length, \"element\")} · ${plural(model.relationships.length, \"relationship\")}`;\n  console.log(`    ${mark(has.model)} model.likec4    ${has.model ? modelNote : \"\"}`.trimEnd());\n  const specNote = (rs: Requirement[]): string =>\n    `${plural(rs.length, \"requirement\")} · ${plural(scenarioCount(rs), \"scenario\")}`;\n  console.log(`    ${mark(has.spec)} spec.md         ${has.spec ? specNote(reqs) : \"\"}`.trimEnd());\n  console.log(\n    `    ${mark(has.archSpec)} arch.spec.md    ${has.archSpec ? specNote(archReqs) : \"\"}`.trimEnd(),\n  );\n  const apiNote = api.unreadable ? \"does not parse\" : plural(ops.length, \"operation\");\n  console.log(`    ${mark(has.openapi)} openapi.yaml    ${has.openapi ? apiNote : \"\"}`.trimEnd());\n  console.log(`    ${mark(has.runbook)} runbook.md`);\n  console.log(`    ${mark(has.health)} health.yaml`);\n  console.log(`    ${mark(adrs > 0)} adrs/           ${adrs > 0 ? plural(adrs, \"decision\") : \"\"}`.trimEnd());\n\n  const requirementLine = (r: Requirement): string => {\n    const govern = r.operations.length > 0 ? `  → ${r.operations.join(\", \")}` : \"\";\n    const covers = r.covers.length > 0 ? `  covers ${r.covers.join(\", \")}` : \"\";\n    return `    ${r.name}  (${plural(r.scenarios.length, \"scenario\")})${govern}${covers}`;\n  };\n  if (reqs.length > 0) {\n    console.log(\"\\n  requirements\");\n    for (const r of reqs) console.log(requirementLine(r));\n  }\n  if (archReqs.length > 0) {\n    console.log(\"\\n  arch requirements\");\n    for (const r of archReqs) console.log(requirementLine(r));\n  }\n\n  if (api.unreadable) {\n    console.log(\"\\n  operations\");\n    console.log(`    ✗ openapi.yaml does not parse — nothing here lists what ${id} offers`);\n    if (api.error !== undefined) console.log(`      ${api.error}`);\n  } else if (ops.length > 0) {\n    console.log(\"\\n  operations\");\n    for (const op of ops) {\n      const by = governs(op);\n      if (by.length > 0) console.log(`    ✓ ${op}  governed by ${by.map((n) => `\"${n}\"`).join(\", \")}`);\n      else console.log(`    ⚠ ${op}  not governed by any requirement`);\n    }\n  }\n\n  if (inbound.length > 0 || outbound.length > 0) {\n    console.log(\"\\n  landscape\");\n    for (const e of inbound) console.log(`    ← ${e.service}${edgeNote(e)}`);\n    for (const e of outbound) console.log(`    → ${e.service}${edgeNote(e)}`);\n  }\n\n  if (model.errors.length > 0) {\n    console.log(\"\\n  model errors\");\n    for (const e of model.errors) console.log(`    ✗ ${errorText(e)}`);\n  }\n}\n\n/** Inbound/outbound edges for a service, read off the living landscape. */\nexport async function landscapeEdges(\n  docsDir: DocsDir,\n  service: string,\n  context: FleetContext,\n): Promise<{ inbound: Edge[]; outbound: Edge[] }> {\n  const path = landscapePath(docsDir);\n  if (!existsSync(path)) return { inbound: [], outbound: [] };\n  const land = await loadFile(path);\n  if (land.errors.length > 0) return { inbound: [], outbound: [] };\n  // Edges are filed under the service an element is BOUND to, not under what the\n  // box is titled — otherwise renaming a box empties this list without a word —\n  // and an edge into a modelled container belongs to the service that owns it.\n  const known = new Set((await listServices(docsDir, context)).map((s) => s.id));\n  // The ONE shared partition (core/vocabulary/maturity.ts `landscapeEvidence`),\n  // not a fourth line-for-line copy of it. This loop was that copy, and it kept\n  // the rule the others have dropped: an edge whose two endpoints resolve to the\n  // same service is its own internal wiring, so `show` printed `← <id>` for a\n  // service nobody calls while `context` — which reads the shared derivation —\n  // printed nothing. `Edge` is that module's `LandscapeEdge` field for field.\n  const { inbound, outbound } = landscapeEvidence({\n    id: service,\n    parses: true,\n    relationships: land.relationships,\n    elementIds: land.elements.map((e) => e.id),\n    svcOf: serviceResolver(land.elements, known),\n  });\n  return { inbound, outbound };\n}\n\n/* ------------------------------------------------------------------ */\n/* Feature                                                             */\n/* ------------------------------------------------------------------ */\n"]}

package/dist/commands/subsystem/sync.js

@@ -1,30 +1,83 @@
 /**
- * `loam subsystem sync` — the ONE repair for `subsystem.views-stale`:
- * recompute the generated views file from the tree, write it when it
- * differs, remove it when the tree has no subsystems, and say which.
+ * `loam subsystem sync` — the writer of everything under the tree that exists
+ * only to be RENDERED, which is the renderer's reading of the tree twice over:
  *
- * The write goes through the same lock + journaled transaction every docs
- * writer uses (`commitStaged`), so a predecessor's interrupted commit is
- * recovered first and a sync killed mid-swap is rolled forward by the next
- * writer. Idempotent by construction: the expected bytes are a pure function
- * of the tree and the committed landscape, so a second run reports `current`
- * and writes nothing.
+ *  - `architecture/subsystems.likec4`, the GENERATED views file. Recomputed from
+ *    the tree on every run, compared, written when it differs, removed when the
+ *    tree has no subsystems. The ONE repair for `subsystem.views-stale`. Left
+ *    exactly as it is when the `architecture/` project does not parse and the
+ *    file already exists — `action: "blocked"`, below.
+ *  - `services/<…>/<id>/likec4.config.json`, one LikeC4 project file beside
+ *    every model that STANDS ALONE. Never compared, never rewritten. Created
+ *    where a standalone model has none, and DELETED where an extending model has
+ *    one: measured at the 1.59.2 pin, that nested project claims the model out of
+ *    the root project and the fleet loses the service's interior
+ *    (`core/repo/tree/render/projects.ts` carries the measurement). This is the
+ *    repair `service.likec4-config-stray` has always named and, until now, did
+ *    not perform.
+ *  - the ROOT `likec4.config.json`'s `exclude` list, and ONLY that key. Derived
+ *    from the shapes on disk on every run and rewritten when it differs, because
+ *    the two shapes need opposite answers from it: a standalone model must be
+ *    excluded (inside the root project every kind it declares is a duplicate)
+ *    and an extending model must not be (the root project is the only place it
+ *    parses). `planExclude` below states the gate that keeps an old repository
+ *    untouched, and `core/c4/service-model/renderer.ts` states which half of the
+ *    list is loam's and which is the team's. One entry loam did NOT write is
+ *    taken anyway, and only this one: an entry naming a directory that HIDES an
+ *    extending model — a subsystem-wide `services/platform/**` survived every
+ *    sync while `service.model-excluded` named this command as the repair.
  *
- * The expected bytes come from `./txn/views.ts` — the same module every
+ * The rules differ because the files answer to different owners. The
+ * views file is a pure function of the tree and the committed landscape, so
+ * every byte of it is loam's and a hand edit is by definition stale. The
+ * project file's bytes are a function of the service id ALONE — the identity
+ * no verb ever changes — so nothing can make it stale, and the keys LikeC4
+ * lets a team add to it (`title`, styles, a contact) are the team's; a compare
+ * would fight them, and a rewrite would take them. `core/repo/tree/render/projects.ts`
+ * records the measurement behind the file and the naming rule; here, presence
+ * is the one question asked of it, through the SAME predicate `validate --all`
+ * grades with (`missingProjects`), so the grader can never name a gap this
+ * writer would not fill.
+ *
+ * Nothing under `services/` is written, and no `exclude` is recomputed, unless
+ * the ROOT `likec4.config.json` exists. Without it the tree is not a loadable
+ * workspace at all — every model would merge into one project and report every
+ * declaration as a duplicate — and a nested project beside a missing root is a
+ * promise about a renderer that cannot be opened. `loam doctor` prints the root
+ * file; sync says so and writes nothing for the services until it is there.
+ *
+ * Every write goes through the same lock + journaled transaction every docs
+ * writer uses (`commitStaged`), and both kinds land in ONE commit: a
+ * predecessor's interrupted commit is recovered first and a sync killed
+ * mid-swap is rolled forward by the next writer. Idempotent by construction:
+ * the expected views bytes are a pure function of the tree, and a project
+ * file, once present, is never a gap again — so a second run reports
+ * `current` and writes nothing.
+ *
+ * The expected views bytes come from `./txn/views.ts` — the same module every
  * writer verb renders from, so sync and the transactions cannot disagree
- * about what the file should say.
+ * about what the file should say. The subsystem verbs' own commit window
+ * (`./txn/txn.ts`) does NOT write project files, and records why. What this run
+ * SAYS it did is `./txn/report.ts`: the third answer about the same three files,
+ * and the phase that is not part of the commit.
  */
 import { existsSync } from "node:fs";
 import { readFile } from "node:fs/promises";
-import { emitJson, fail } from "../../core/envelope/json.js";
-import { subsystemViewsPath } from "../../core/repo/paths.js";
+import { resolve } from "node:path";
+import { readModelShapes } from "../../core/c4/service-model/shape.js";
+import { fail, repoPath } from "../../core/envelope/json.js";
+import { LIKEC4_ROOT_PROJECT, rootProjectPath, serviceRenderPaths, subsystemViewsPath, } from "../../core/repo/paths.js";
 import { listFleetTree } from "../../core/repo/repo.js";
+import { renderServiceProject, surveyProjects, } from "../../core/repo/tree/render/projects.js";
 import { stageWrites } from "../../core/staging/commit.js";
 import { InterruptedCommitError } from "../../core/staging/interrupted.js";
 import { acquireDocsLockWaiting, DocsBusyError, LOCK_WAIT_MS } from "../../core/staging/lock.js";
 import { recoverInterruptedCommit } from "../../core/staging/recovery/recover.js";
 import { commitStaged } from "../../core/staging/txn/transaction.js";
+import { planWrite } from "../../core/staging/writes.js";
 import { viewsAgree } from "../../core/repo/tree/render/views.js";
+import { NO_EXCLUDE, planExclude } from "./txn/exclude.js";
+import { reportSync } from "./txn/report.js";
 import { expectedViews } from "./txn/views.js";
 export async function runSync(docsDir, json) {
     let releaseLock;
@@ -53,7 +106,7 @@ export async function runSync(docsDir, json) {
         const tree = await listFleetTree(docsDir);
         const expected = await expectedViews(docsDir, tree);
         const path = subsystemViewsPath(docsDir);
-        const expectedBytes = expected === null ? null : Buffer.from(expected, "utf8");
+        const expectedBytes = expected.content === null ? null : Buffer.from(expected.content, "utf8");
         // Content, not bytes: `viewsAgree` records why, beside the generator. A
         // Windows clone hands this file back CRLF with not one fact changed, and a
         // byte compare made `sync` answer `updated` and rewrite it LF — after which
@@ -61,43 +114,135 @@ export async function runSync(docsDir, json) {
         // CRLF back. `validate` stopped demanding that rewrite; `sync` must stop
         // offering it, or the two disagree about the same file.
         const actual = existsSync(path) ? await readFile(path, "utf8") : null;
-        if (viewsAgree(actual, expected)) {
-            report(json, { action: "current", subsystems: tree.subsystems.length, recovered });
+        // The render cannot be trusted against a file that already exists when the
+        // map is unreadable: without the element join and the style census it is a
+        // title and a description, and writing it would take the `include` lines,
+        // the boundary comment and the palette reference off a file whose only fault
+        // is a sibling document that does not parse.
+        const blocked = !expected.known && actual !== null;
+        const agree = blocked || viewsAgree(actual, expected.content);
+        // ONE read of every model's bytes for the whole run, and the same scan the
+        // grader uses: it decides which directories are owed a project file AND
+        // which the root project must exclude, and those are opposite answers for
+        // the two shapes (`core/repo/tree/render/projects.ts`).
+        const shapes = await readModelShapes(tree.services.map((svc) => serviceRenderPaths(svc.dir).model));
+        const plan = planProjects(docsDir, tree.services, shapes);
+        const exclude = plan.root ? await planExclude(docsDir, tree.services, plan.models) : NO_EXCLUDE;
+        // The plan IS the report: every gap is created and every stray removed in
+        // the one commit below, and the early return is the branch where both lists
+        // are empty.
+        const projects = () => ({
+            root: plan.root,
+            // SORTED BY PATH, which is what the contract says these keys hold and what
+            // the survey's own order is not: `surveyProjects` sorts by service id, so
+            // `services/svc-a/…` came out before `services/platform/svc-d/…` and a
+            // consumer told the list was "sorted" got an order no path sort produces
+            // (re-verification 2026-09-04, area C item 6). The text view prints the
+            // same array, so the two orders cannot drift apart.
+            created: plan.gaps.map((gap) => repoPath(docsDir, gap.path)).sort(),
+            removed: plan.strays.map((stray) => repoPath(docsDir, stray.path)).sort(),
+            current: plan.current,
+            modelled: plan.modelled,
+            exclude,
+        });
+        // `action` still describes the views file alone: a run that only created
+        // project files answers `current` for it, exactly as before the projects
+        // existed, so nothing reading the key sees a new meaning. `blocked` is the
+        // one exception and it is about that same file: it was left as it is.
+        const action = blocked
+            ? "blocked"
+            : agree
+                ? "current"
+                : actual === null
+                    ? "created"
+                    : expectedBytes === null
+                        ? "removed"
+                        : "updated";
+        const say = () => reportSync(json, {
+            action,
+            subsystems: tree.subsystems.length,
+            recovered,
+            projects: projects(),
+            mapUnreadable: !expected.known,
+        });
+        if (agree && plan.gaps.length === 0 && plan.strays.length === 0 && exclude.write === null) {
+            say();
             return;
         }
-        const action = actual === null ? "created" : expectedBytes === null ? "removed" : "updated";
-        const staged = await stageWrites([{ path, content: expectedBytes }]);
+        const writes = agree ? [] : [{ path, content: expectedBytes }];
+        // `planWrite` marks a non-existent target exclusive — a no-clobber create
+        // that fails EEXIST rather than replacing a file another writer landed in
+        // the same instant. That IS the create-only rule, enforced by the write
+        // path rather than by the `existsSync` the predicate already ran: a file
+        // that appears between the check and the swap is somebody's, and stays.
+        for (const gap of plan.gaps) {
+            writes.push(planWrite(gap.path, renderServiceProject(gap.service.id, LIKEC4_ROOT_PROJECT)));
+        }
+        // The one file this verb DELETES, and it rides the same journal as the rest,
+        // so a run killed mid-swap is rolled forward rather than half-done.
+        // `content: null` is the delete the views file already uses.
+        for (const stray of plan.strays)
+            writes.push({ path: stray.path, content: null });
+        // The root project's `exclude`, in the SAME transaction as the files it
+        // decides the fate of: a run that wrote the per-service projects and died
+        // before the exclude would leave a tree where the renderer loads a
+        // standalone model twice — once in the root project, where every kind it
+        // declares is a duplicate — which is worse than either end state.
+        if (exclude.write !== null)
+            writes.push(exclude.write);
+        // One lock, one journal, one commit for both kinds of file — a sync killed
+        // between the views swap and the project creates would otherwise leave a
+        // half-state no later run could tell from a team's deliberate deletion.
+        const staged = await stageWrites(writes);
         const committed = await commitStaged({ root: docsDir, command: "subsystem", rerun: "loam subsystem sync", target: "subsystems" }, staged, "synced");
         if (!committed.ok) {
             fail(json, committed.code, committed.message);
             return;
         }
-        report(json, { action, subsystems: tree.subsystems.length, recovered });
+        say();
     }
     finally {
         await releaseLock();
     }
 }
-function report(json, out) {
-    if (json) {
-        emitJson({
-            command: "subsystem",
-            path: "architecture/subsystems.likec4",
-            action: out.action,
-            subsystems: out.subsystems,
-            ...(out.recovered === null ? {} : { recovered: out.recovered }),
-        });
-        return;
-    }
-    if (out.recovered !== null && out.recovered.outcome !== "consistent") {
-        console.log(`note: recovered an interrupted \`loam ${out.recovered.command}\` commit first (${out.recovered.outcome}).`);
-    }
-    const sentence = {
-        current: `architecture/subsystems.likec4 is current (${out.subsystems} subsystem(s)) — nothing to write.`,
-        created: `wrote architecture/subsystems.likec4 — ${out.subsystems} subsystem view(s).`,
-        updated: `updated architecture/subsystems.likec4 — ${out.subsystems} subsystem view(s).`,
-        removed: `removed architecture/subsystems.likec4 — the tree has no subsystems, so the generated file must be absent.`,
+/**
+ * What the project half of this run owes, from ONE predicate. `surveyProjects`
+ * is the shared spelling of "has a model, a legal id, and no file", and it
+ * hands back the sizes of the two domains it counted against — every model it
+ * walked, and the standalone models a file is owed for — so `current` is a
+ * subtraction rather than a second reading of the same two paths. A loop here
+ * re-spelling "has a model" was the drift the shared predicate exists to
+ * prevent, and it would have kept counting a directory the survey had
+ * skipped. Without the root file the gaps are real but stay unfilled —
+ * writing them would promise a renderer nobody can open — and `current` is 0
+ * because "already had a file" is only a fact about a workspace that exists.
+ */
+function planProjects(docsDir, services, shapes) {
+    const root = existsSync(rootProjectPath(docsDir));
+    // A model that EXTENDS the map is owed no file, and the survey is where that
+    // is decided — one predicate for the writer and the grader, so `validate --all`
+    // can never name a gap this run would not fill. An unreadable model classifies
+    // as standalone (`readModelShapes`), which is the conservative arm: it gets a
+    // project file, which is what every model got before shapes existed.
+    const survey = surveyProjects(services, serviceRenderPaths, (model) => shapes.get(resolve(model)) !== "extending");
+    if (!root)
+        return { root, gaps: [], strays: [], current: 0, modelled: survey.modelled, models: survey.models };
+    return {
+        root,
+        gaps: survey.gaps,
+        // The removal is gated on the root file for the same reason the create is:
+        // without it the docs root is not a LikeC4 workspace, so nothing there is
+        // claiming anything out of a root project that does not exist, and deleting
+        // a team's file over a renderer nobody can open is a writer acting on a
+        // hazard it cannot see.
+        strays: survey.strays,
+        // Over the STANDALONE domain, which is the one `gaps` was drawn from: a
+        // model that extends the map is owed no file, so it can neither be a gap nor
+        // "already have one", and subtracting from `modelled` counted every
+        // extending model as the latter.
+        current: survey.standalone - survey.gaps.length,
+        modelled: survey.modelled,
+        models: survey.models,
     };
-    console.log(sentence[out.action]);
 }
 //# sourceMappingURL=sync.js.map

package/dist/commands/subsystem/sync.js.map

@@ -1 +1 @@
-{"version":3,"file":"sync.js","sourceRoot":"","sources":["../../../src/commands/subsystem/sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAE5C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EAAuB,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AACjG,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAK/C,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,OAAgB,EAAE,IAAa;IAC3D,IAAI,WAAgC,CAAC;IACrC,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,GAAG,YAAY,aAAa,CAAC;YAAE,MAAM,GAAG,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,IAAI,CAAC;QACH,uEAAuE;QACvE,2DAA2D;QAC3D,IAAI,SAAgC,CAAC;QACrC,IAAI,CAAC;YACH,SAAS,GAAG,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACtD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,GAAG,YAAY,sBAAsB,CAAC;gBAAE,MAAM,GAAG,CAAC;YACxD,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YAC9C,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,aAAa,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/E,wEAAwE;QACxE,2EAA2E;QAC3E,4EAA4E;QAC5E,yEAAyE;QACzE,yEAAyE;QACzE,wDAAwD;QACxD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtE,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YACnF,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAe,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QACxG,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;QACrE,MAAM,SAAS,GAAG,MAAM,YAAY,CAClC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,YAAY,EAAE,EAC3F,MAAM,EACN,QAAQ,CACT,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;YAC9C,OAAO;QACT,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC1E,CAAC;YAAS,CAAC;QACT,MAAM,WAAW,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CACb,IAAa,EACb,GAAiF;IAEjF,IAAI,IAAI,EAAE,CAAC;QACT,QAAQ,CAAC;YACP,OAAO,EAAE,WAAW;YACpB,IAAI,EAAE,gCAAgC;YACtC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;SAChE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;QACrE,OAAO,CAAC,GAAG,CACT,yCAAyC,GAAG,CAAC,SAAS,CAAC,OAAO,oBAAoB,GAAG,CAAC,SAAS,CAAC,OAAO,IAAI,CAC5G,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAA+B;QAC3C,OAAO,EAAE,8CAA8C,GAAG,CAAC,UAAU,oCAAoC;QACzG,OAAO,EAAE,0CAA0C,GAAG,CAAC,UAAU,qBAAqB;QACtF,OAAO,EAAE,4CAA4C,GAAG,CAAC,UAAU,qBAAqB;QACxF,OAAO,EAAE,4GAA4G;KACtH,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AACpC,CAAC","sourcesContent":["/**\n * `loam subsystem sync` — the ONE repair for `subsystem.views-stale`:\n * recompute the generated views file from the tree, write it when it\n * differs, remove it when the tree has no subsystems, and say which.\n *\n * The write goes through the same lock + journaled transaction every docs\n * writer uses (`commitStaged`), so a predecessor's interrupted commit is\n * recovered first and a sync killed mid-swap is rolled forward by the next\n * writer. Idempotent by construction: the expected bytes are a pure function\n * of the tree and the committed landscape, so a second run reports `current`\n * and writes nothing.\n *\n * The expected bytes come from `./txn/views.ts` — the same module every\n * writer verb renders from, so sync and the transactions cannot disagree\n * about what the file should say.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\nimport { emitJson, fail } from \"../../core/envelope/json.js\";\nimport { subsystemViewsPath } from \"../../core/repo/paths.js\";\nimport { listFleetTree } from \"../../core/repo/repo.js\";\nimport { stageWrites } from \"../../core/staging/commit.js\";\nimport { type CommitRecovery, InterruptedCommitError } from \"../../core/staging/interrupted.js\";\nimport { acquireDocsLockWaiting, DocsBusyError, LOCK_WAIT_MS } from \"../../core/staging/lock.js\";\nimport { recoverInterruptedCommit } from \"../../core/staging/recovery/recover.js\";\nimport { commitStaged } from \"../../core/staging/txn/transaction.js\";\nimport { viewsAgree } from \"../../core/repo/tree/render/views.js\";\nimport { expectedViews } from \"./txn/views.js\";\n\n/** What one sync did to the file. */\ntype SyncAction = \"current\" | \"created\" | \"updated\" | \"removed\";\n\nexport async function runSync(docsDir: DocsDir, json: boolean): Promise<void> {\n  let releaseLock: () => Promise<void>;\n  try {\n    releaseLock = await acquireDocsLockWaiting(docsDir, LOCK_WAIT_MS);\n  } catch (err) {\n    if (!(err instanceof DocsBusyError)) throw err;\n    fail(json, \"docs-busy\", err.message);\n    return;\n  }\n  try {\n    // A predecessor's journal is recovered (or refused) before the tree is\n    // read: the views file itself may be the half-written one.\n    let recovered: CommitRecovery | null;\n    try {\n      recovered = await recoverInterruptedCommit(docsDir);\n    } catch (err) {\n      if (!(err instanceof InterruptedCommitError)) throw err;\n      fail(json, \"commit-interrupted\", err.message);\n      return;\n    }\n\n    const tree = await listFleetTree(docsDir);\n    const expected = await expectedViews(docsDir, tree);\n    const path = subsystemViewsPath(docsDir);\n    const expectedBytes = expected === null ? null : Buffer.from(expected, \"utf8\");\n    // Content, not bytes: `viewsAgree` records why, beside the generator. A\n    // Windows clone hands this file back CRLF with not one fact changed, and a\n    // byte compare made `sync` answer `updated` and rewrite it LF — after which\n    // git shows the file permanently modified and the next checkout puts the\n    // CRLF back. `validate` stopped demanding that rewrite; `sync` must stop\n    // offering it, or the two disagree about the same file.\n    const actual = existsSync(path) ? await readFile(path, \"utf8\") : null;\n    if (viewsAgree(actual, expected)) {\n      report(json, { action: \"current\", subsystems: tree.subsystems.length, recovered });\n      return;\n    }\n    const action: SyncAction = actual === null ? \"created\" : expectedBytes === null ? \"removed\" : \"updated\";\n    const staged = await stageWrites([{ path, content: expectedBytes }]);\n    const committed = await commitStaged(\n      { root: docsDir, command: \"subsystem\", rerun: \"loam subsystem sync\", target: \"subsystems\" },\n      staged,\n      \"synced\",\n    );\n    if (!committed.ok) {\n      fail(json, committed.code, committed.message);\n      return;\n    }\n    report(json, { action, subsystems: tree.subsystems.length, recovered });\n  } finally {\n    await releaseLock();\n  }\n}\n\nfunction report(\n  json: boolean,\n  out: { action: SyncAction; subsystems: number; recovered: CommitRecovery | null },\n): void {\n  if (json) {\n    emitJson({\n      command: \"subsystem\",\n      path: \"architecture/subsystems.likec4\",\n      action: out.action,\n      subsystems: out.subsystems,\n      ...(out.recovered === null ? {} : { recovered: out.recovered }),\n    });\n    return;\n  }\n  if (out.recovered !== null && out.recovered.outcome !== \"consistent\") {\n    console.log(\n      `note: recovered an interrupted \\`loam ${out.recovered.command}\\` commit first (${out.recovered.outcome}).`,\n    );\n  }\n  const sentence: Record<SyncAction, string> = {\n    current: `architecture/subsystems.likec4 is current (${out.subsystems} subsystem(s)) — nothing to write.`,\n    created: `wrote architecture/subsystems.likec4 — ${out.subsystems} subsystem view(s).`,\n    updated: `updated architecture/subsystems.likec4 — ${out.subsystems} subsystem view(s).`,\n    removed: `removed architecture/subsystems.likec4 — the tree has no subsystems, so the generated file must be absent.`,\n  };\n  console.log(sentence[out.action]);\n}\n"]}
+{"version":3,"file":"sync.js","sourceRoot":"","sources":["../../../src/commands/subsystem/sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,eAAe,EAAmB,MAAM,sCAAsC,CAAC;AAExF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,kBAAkB,GACnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAEL,oBAAoB,EACpB,cAAc,GAEf,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EAAuB,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAChG,OAAO,EAAE,sBAAsB,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AACjG,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AACrE,OAAO,EAAE,SAAS,EAAqB,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAuB,UAAU,EAAmB,MAAM,iBAAiB,CAAC;AACnF,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AA0B/C,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,OAAgB,EAAE,IAAa;IAC3D,IAAI,WAAgC,CAAC;IACrC,IAAI,CAAC;QACH,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,CAAC,GAAG,YAAY,aAAa,CAAC;YAAE,MAAM,GAAG,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,IAAI,CAAC;QACH,uEAAuE;QACvE,2DAA2D;QAC3D,IAAI,SAAgC,CAAC;QACrC,IAAI,CAAC;YACH,SAAS,GAAG,MAAM,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACtD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,CAAC,GAAG,YAAY,sBAAsB,CAAC;gBAAE,MAAM,GAAG,CAAC;YACxD,IAAI,CAAC,IAAI,EAAE,oBAAoB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YAC9C,OAAO;QACT,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QACzC,MAAM,aAAa,GAAG,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC/F,wEAAwE;QACxE,2EAA2E;QAC3E,4EAA4E;QAC5E,yEAAyE;QACzE,yEAAyE;QACzE,wDAAwD;QACxD,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtE,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,6EAA6E;QAC7E,6CAA6C;QAC7C,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,MAAM,KAAK,IAAI,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC9D,2EAA2E;QAC3E,wEAAwE;QACxE,0EAA0E;QAC1E,wDAAwD;QACxD,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QAChG,0EAA0E;QAC1E,4EAA4E;QAC5E,aAAa;QACb,MAAM,QAAQ,GAAG,GAAmB,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,2EAA2E;YAC3E,0EAA0E;YAC1E,uEAAuE;YACvE,yEAAyE;YACzE,wEAAwE;YACxE,oDAAoD;YACpD,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE;YACnE,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE;YACzE,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO;SACR,CAAC,CAAC;QACH,yEAAyE;QACzE,yEAAyE;QACzE,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,MAAM,GAAe,OAAO;YAChC,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,KAAK;gBACL,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,MAAM,KAAK,IAAI;oBACf,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,aAAa,KAAK,IAAI;wBACtB,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,SAAS,CAAC;QACpB,MAAM,GAAG,GAAG,GAAS,EAAE,CACrB,UAAU,CAAC,IAAI,EAAE;YACf,MAAM;YACN,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM;YAClC,SAAS;YACT,QAAQ,EAAE,QAAQ,EAAE;YACpB,aAAa,EAAE,CAAC,QAAQ,CAAC,KAAK;SAC/B,CAAC,CAAC;QACL,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1F,GAAG,EAAE,CAAC;YACN,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAAmB,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC;QAC/E,0EAA0E;QAC1E,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,wEAAwE;QACxE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,6EAA6E;QAC7E,oEAAoE;QACpE,6DAA6D;QAC7D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAClF,wEAAwE;QACxE,0EAA0E;QAC1E,mEAAmE;QACnE,yEAAyE;QACzE,kEAAkE;QAClE,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvD,2EAA2E;QAC3E,yEAAyE;QACzE,wEAAwE;QACxE,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,MAAM,YAAY,CAClC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,YAAY,EAAE,EAC3F,MAAM,EACN,QAAQ,CACT,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;YAC9C,OAAO;QACT,CAAC;QACD,GAAG,EAAE,CAAC;IACR,CAAC;YAAS,CAAC;QACT,MAAM,WAAW,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,YAAY,CACnB,OAAgB,EAChB,QAAkC,EAClC,MAAuC;IAEvC,MAAM,IAAI,GAAG,UAAU,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAClD,6EAA6E;IAC7E,gFAAgF;IAChF,+EAA+E;IAC/E,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,kBAAkB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC;IACnH,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/G,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,2EAA2E;QAC3E,0EAA0E;QAC1E,4EAA4E;QAC5E,wEAAwE;QACxE,wBAAwB;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,wEAAwE;QACxE,6EAA6E;QAC7E,oEAAoE;QACpE,iCAAiC;QACjC,OAAO,EAAE,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM;QAC/C,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * `loam subsystem sync` — the writer of everything under the tree that exists\n * only to be RENDERED, which is the renderer's reading of the tree twice over:\n *\n *  - `architecture/subsystems.likec4`, the GENERATED views file. Recomputed from\n *    the tree on every run, compared, written when it differs, removed when the\n *    tree has no subsystems. The ONE repair for `subsystem.views-stale`. Left\n *    exactly as it is when the `architecture/` project does not parse and the\n *    file already exists — `action: \"blocked\"`, below.\n *  - `services/<…>/<id>/likec4.config.json`, one LikeC4 project file beside\n *    every model that STANDS ALONE. Never compared, never rewritten. Created\n *    where a standalone model has none, and DELETED where an extending model has\n *    one: measured at the 1.59.2 pin, that nested project claims the model out of\n *    the root project and the fleet loses the service's interior\n *    (`core/repo/tree/render/projects.ts` carries the measurement). This is the\n *    repair `service.likec4-config-stray` has always named and, until now, did\n *    not perform.\n *  - the ROOT `likec4.config.json`'s `exclude` list, and ONLY that key. Derived\n *    from the shapes on disk on every run and rewritten when it differs, because\n *    the two shapes need opposite answers from it: a standalone model must be\n *    excluded (inside the root project every kind it declares is a duplicate)\n *    and an extending model must not be (the root project is the only place it\n *    parses). `planExclude` below states the gate that keeps an old repository\n *    untouched, and `core/c4/service-model/renderer.ts` states which half of the\n *    list is loam's and which is the team's. One entry loam did NOT write is\n *    taken anyway, and only this one: an entry naming a directory that HIDES an\n *    extending model — a subsystem-wide `services/platform/**` survived every\n *    sync while `service.model-excluded` named this command as the repair.\n *\n * The rules differ because the files answer to different owners. The\n * views file is a pure function of the tree and the committed landscape, so\n * every byte of it is loam's and a hand edit is by definition stale. The\n * project file's bytes are a function of the service id ALONE — the identity\n * no verb ever changes — so nothing can make it stale, and the keys LikeC4\n * lets a team add to it (`title`, styles, a contact) are the team's; a compare\n * would fight them, and a rewrite would take them. `core/repo/tree/render/projects.ts`\n * records the measurement behind the file and the naming rule; here, presence\n * is the one question asked of it, through the SAME predicate `validate --all`\n * grades with (`missingProjects`), so the grader can never name a gap this\n * writer would not fill.\n *\n * Nothing under `services/` is written, and no `exclude` is recomputed, unless\n * the ROOT `likec4.config.json` exists. Without it the tree is not a loadable\n * workspace at all — every model would merge into one project and report every\n * declaration as a duplicate — and a nested project beside a missing root is a\n * promise about a renderer that cannot be opened. `loam doctor` prints the root\n * file; sync says so and writes nothing for the services until it is there.\n *\n * Every write goes through the same lock + journaled transaction every docs\n * writer uses (`commitStaged`), and both kinds land in ONE commit: a\n * predecessor's interrupted commit is recovered first and a sync killed\n * mid-swap is rolled forward by the next writer. Idempotent by construction:\n * the expected views bytes are a pure function of the tree, and a project\n * file, once present, is never a gap again — so a second run reports\n * `current` and writes nothing.\n *\n * The expected views bytes come from `./txn/views.ts` — the same module every\n * writer verb renders from, so sync and the transactions cannot disagree\n * about what the file should say. The subsystem verbs' own commit window\n * (`./txn/txn.ts`) does NOT write project files, and records why. What this run\n * SAYS it did is `./txn/report.ts`: the third answer about the same three files,\n * and the phase that is not part of the commit.\n */\nimport { existsSync } from \"node:fs\";\nimport { readFile } from \"node:fs/promises\";\nimport { resolve } from \"node:path\";\nimport { readModelShapes, type ModelShape } from \"../../core/c4/service-model/shape.js\";\nimport type { DocsDir } from \"../../core/kernel/ids/dirs.js\";\nimport { fail, repoPath } from \"../../core/envelope/json.js\";\nimport {\n  LIKEC4_ROOT_PROJECT,\n  rootProjectPath,\n  serviceRenderPaths,\n  subsystemViewsPath,\n} from \"../../core/repo/paths.js\";\nimport { listFleetTree } from \"../../core/repo/repo.js\";\nimport {\n  type ProjectGap,\n  renderServiceProject,\n  surveyProjects,\n  type SurveyedModel,\n} from \"../../core/repo/tree/render/projects.js\";\nimport type { WalkedService } from \"../../core/repo/tree/walk.js\";\nimport { stageWrites } from \"../../core/staging/commit.js\";\nimport { type CommitRecovery, InterruptedCommitError } from \"../../core/staging/interrupted.js\";\nimport { acquireDocsLockWaiting, DocsBusyError, LOCK_WAIT_MS } from \"../../core/staging/lock.js\";\nimport { recoverInterruptedCommit } from \"../../core/staging/recovery/recover.js\";\nimport { commitStaged } from \"../../core/staging/txn/transaction.js\";\nimport { planWrite, type PlannedWrite } from \"../../core/staging/writes.js\";\nimport { viewsAgree } from \"../../core/repo/tree/render/views.js\";\nimport { NO_EXCLUDE, planExclude } from \"./txn/exclude.js\";\nimport { type ProjectsReport, reportSync, type SyncAction } from \"./txn/report.js\";\nimport { expectedViews } from \"./txn/views.js\";\n\n/**\n * The per-service project half of one sync, before the write: what the\n * predicate found, and the two counts the report needs beside it.\n */\ninterface ProjectPlan {\n  /** Whether the root project file exists — the gate on every service write. */\n  root: boolean;\n  /** The files this run will create. Empty whenever `root` is false. */\n  gaps: ProjectGap<WalkedService>[];\n  /** The files this run will DELETE — a project file beside an extending model. Empty whenever `root` is false. */\n  strays: ProjectGap<WalkedService>[];\n  /**\n   * Services owed a project file that ALREADY had one — so STANDALONE models\n   * only; 0 whenever `root` is false. An extending model is owed none, and\n   * counting it here said a file was in place beside a model that must not have\n   * one (`service.likec4-config-stray` grades exactly that state).\n   */\n  current: number;\n  /** Model-bearing services, root or no root — what the root-missing note is owed to. */\n  modelled: number;\n  /** Every model this run considered, with its shape — the exclude list is derived from the same walk. */\n  models: SurveyedModel<WalkedService>[];\n}\n\nexport async function runSync(docsDir: DocsDir, json: boolean): Promise<void> {\n  let releaseLock: () => Promise<void>;\n  try {\n    releaseLock = await acquireDocsLockWaiting(docsDir, LOCK_WAIT_MS);\n  } catch (err) {\n    if (!(err instanceof DocsBusyError)) throw err;\n    fail(json, \"docs-busy\", err.message);\n    return;\n  }\n  try {\n    // A predecessor's journal is recovered (or refused) before the tree is\n    // read: the views file itself may be the half-written one.\n    let recovered: CommitRecovery | null;\n    try {\n      recovered = await recoverInterruptedCommit(docsDir);\n    } catch (err) {\n      if (!(err instanceof InterruptedCommitError)) throw err;\n      fail(json, \"commit-interrupted\", err.message);\n      return;\n    }\n\n    const tree = await listFleetTree(docsDir);\n    const expected = await expectedViews(docsDir, tree);\n    const path = subsystemViewsPath(docsDir);\n    const expectedBytes = expected.content === null ? null : Buffer.from(expected.content, \"utf8\");\n    // Content, not bytes: `viewsAgree` records why, beside the generator. A\n    // Windows clone hands this file back CRLF with not one fact changed, and a\n    // byte compare made `sync` answer `updated` and rewrite it LF — after which\n    // git shows the file permanently modified and the next checkout puts the\n    // CRLF back. `validate` stopped demanding that rewrite; `sync` must stop\n    // offering it, or the two disagree about the same file.\n    const actual = existsSync(path) ? await readFile(path, \"utf8\") : null;\n    // The render cannot be trusted against a file that already exists when the\n    // map is unreadable: without the element join and the style census it is a\n    // title and a description, and writing it would take the `include` lines,\n    // the boundary comment and the palette reference off a file whose only fault\n    // is a sibling document that does not parse.\n    const blocked = !expected.known && actual !== null;\n    const agree = blocked || viewsAgree(actual, expected.content);\n    // ONE read of every model's bytes for the whole run, and the same scan the\n    // grader uses: it decides which directories are owed a project file AND\n    // which the root project must exclude, and those are opposite answers for\n    // the two shapes (`core/repo/tree/render/projects.ts`).\n    const shapes = await readModelShapes(tree.services.map((svc) => serviceRenderPaths(svc.dir).model));\n    const plan = planProjects(docsDir, tree.services, shapes);\n    const exclude = plan.root ? await planExclude(docsDir, tree.services, plan.models) : NO_EXCLUDE;\n    // The plan IS the report: every gap is created and every stray removed in\n    // the one commit below, and the early return is the branch where both lists\n    // are empty.\n    const projects = (): ProjectsReport => ({\n      root: plan.root,\n      // SORTED BY PATH, which is what the contract says these keys hold and what\n      // the survey's own order is not: `surveyProjects` sorts by service id, so\n      // `services/svc-a/…` came out before `services/platform/svc-d/…` and a\n      // consumer told the list was \"sorted\" got an order no path sort produces\n      // (re-verification 2026-09-04, area C item 6). The text view prints the\n      // same array, so the two orders cannot drift apart.\n      created: plan.gaps.map((gap) => repoPath(docsDir, gap.path)).sort(),\n      removed: plan.strays.map((stray) => repoPath(docsDir, stray.path)).sort(),\n      current: plan.current,\n      modelled: plan.modelled,\n      exclude,\n    });\n    // `action` still describes the views file alone: a run that only created\n    // project files answers `current` for it, exactly as before the projects\n    // existed, so nothing reading the key sees a new meaning. `blocked` is the\n    // one exception and it is about that same file: it was left as it is.\n    const action: SyncAction = blocked\n      ? \"blocked\"\n      : agree\n        ? \"current\"\n        : actual === null\n          ? \"created\"\n          : expectedBytes === null\n            ? \"removed\"\n            : \"updated\";\n    const say = (): void =>\n      reportSync(json, {\n        action,\n        subsystems: tree.subsystems.length,\n        recovered,\n        projects: projects(),\n        mapUnreadable: !expected.known,\n      });\n    if (agree && plan.gaps.length === 0 && plan.strays.length === 0 && exclude.write === null) {\n      say();\n      return;\n    }\n    const writes: PlannedWrite[] = agree ? [] : [{ path, content: expectedBytes }];\n    // `planWrite` marks a non-existent target exclusive — a no-clobber create\n    // that fails EEXIST rather than replacing a file another writer landed in\n    // the same instant. That IS the create-only rule, enforced by the write\n    // path rather than by the `existsSync` the predicate already ran: a file\n    // that appears between the check and the swap is somebody's, and stays.\n    for (const gap of plan.gaps) {\n      writes.push(planWrite(gap.path, renderServiceProject(gap.service.id, LIKEC4_ROOT_PROJECT)));\n    }\n    // The one file this verb DELETES, and it rides the same journal as the rest,\n    // so a run killed mid-swap is rolled forward rather than half-done.\n    // `content: null` is the delete the views file already uses.\n    for (const stray of plan.strays) writes.push({ path: stray.path, content: null });\n    // The root project's `exclude`, in the SAME transaction as the files it\n    // decides the fate of: a run that wrote the per-service projects and died\n    // before the exclude would leave a tree where the renderer loads a\n    // standalone model twice — once in the root project, where every kind it\n    // declares is a duplicate — which is worse than either end state.\n    if (exclude.write !== null) writes.push(exclude.write);\n    // One lock, one journal, one commit for both kinds of file — a sync killed\n    // between the views swap and the project creates would otherwise leave a\n    // half-state no later run could tell from a team's deliberate deletion.\n    const staged = await stageWrites(writes);\n    const committed = await commitStaged(\n      { root: docsDir, command: \"subsystem\", rerun: \"loam subsystem sync\", target: \"subsystems\" },\n      staged,\n      \"synced\",\n    );\n    if (!committed.ok) {\n      fail(json, committed.code, committed.message);\n      return;\n    }\n    say();\n  } finally {\n    await releaseLock();\n  }\n}\n\n/**\n * What the project half of this run owes, from ONE predicate. `surveyProjects`\n * is the shared spelling of \"has a model, a legal id, and no file\", and it\n * hands back the sizes of the two domains it counted against — every model it\n * walked, and the standalone models a file is owed for — so `current` is a\n * subtraction rather than a second reading of the same two paths. A loop here\n * re-spelling \"has a model\" was the drift the shared predicate exists to\n * prevent, and it would have kept counting a directory the survey had\n * skipped. Without the root file the gaps are real but stay unfilled —\n * writing them would promise a renderer nobody can open — and `current` is 0\n * because \"already had a file\" is only a fact about a workspace that exists.\n */\nfunction planProjects(\n  docsDir: DocsDir,\n  services: readonly WalkedService[],\n  shapes: ReadonlyMap<string, ModelShape>,\n): ProjectPlan {\n  const root = existsSync(rootProjectPath(docsDir));\n  // A model that EXTENDS the map is owed no file, and the survey is where that\n  // is decided — one predicate for the writer and the grader, so `validate --all`\n  // can never name a gap this run would not fill. An unreadable model classifies\n  // as standalone (`readModelShapes`), which is the conservative arm: it gets a\n  // project file, which is what every model got before shapes existed.\n  const survey = surveyProjects(services, serviceRenderPaths, (model) => shapes.get(resolve(model)) !== \"extending\");\n  if (!root) return { root, gaps: [], strays: [], current: 0, modelled: survey.modelled, models: survey.models };\n  return {\n    root,\n    gaps: survey.gaps,\n    // The removal is gated on the root file for the same reason the create is:\n    // without it the docs root is not a LikeC4 workspace, so nothing there is\n    // claiming anything out of a root project that does not exist, and deleting\n    // a team's file over a renderer nobody can open is a writer acting on a\n    // hazard it cannot see.\n    strays: survey.strays,\n    // Over the STANDALONE domain, which is the one `gaps` was drawn from: a\n    // model that extends the map is owed no file, so it can neither be a gap nor\n    // \"already have one\", and subtracting from `modelled` counted every\n    // extending model as the latter.\n    current: survey.standalone - survey.gaps.length,\n    modelled: survey.modelled,\n    models: survey.models,\n  };\n}\n"]}

package/dist/commands/subsystem/txn/exclude.js

@@ -0,0 +1,132 @@
+/**
+ * The ROOT `likec4.config.json`'s `exclude` list, as `loam subsystem sync`
+ * derives it from the shapes on disk.
+ *
+ * It sits beside `./views.ts` for that module's reason and by the same seam:
+ * both answer "what should this renderer-only file say, given the tree?", both
+ * are pure derivations one command writes, and keeping them together is what
+ * stops the writer and the grader spelling one rule twice. The difference is
+ * ownership, and it is stated in `core/c4/service-model/renderer.ts`: every byte
+ * of the generated views file is loam's, while this file is the team's and loam
+ * maintains exactly the `services/` entries in it. What an entry COVERS is
+ * `core/c4/root-project/exclude.ts`'s question, asked of the directory the entry
+ * names rather than of its spelling.
+ *
+ * It is a module rather than three functions in `../sync.ts` because that file
+ * reached its line limit carrying them, and this is the phase boundary inside
+ * it: `sync.ts` is the lock, the transaction and the report; this is one of the
+ * three things it decides to write.
+ */
+import { readFile } from "node:fs/promises";
+import { excludingEntry, parseRootProject, readRootExclude } from "../../../core/c4/root-project/exclude.js";
+import { standaloneExclude } from "../../../core/c4/service-model/renderer.js";
+import { serviceTreePath } from "../../../core/kernel/ids/dirs.js";
+import { rootProjectPath } from "../../../core/repo/paths.js";
+import { planWrite } from "../../../core/staging/writes.js";
+/** The answer for a run that has no root file to read, and the shape every other arm fills. */
+export const NO_EXCLUDE = {
+    updated: false,
+    entries: [],
+    added: [],
+    removed: [],
+    write: null,
+    unreadable: false,
+};
+/**
+ * The root project's `exclude` list, recomputed from the shapes on disk.
+ *
+ * WHAT MAKES THIS SAFE TO RUN ON EVERY SYNC is the split `standaloneExclude`
+ * enforces: the `services/` half of the list is loam's and every other entry is
+ * the team's, kept in order. The scaffold's node_modules glob, `features/**`, a
+ * team's own `drafts/**` all survive; only the entries that decide whether a
+ * model is renderable are derived. A standalone model MUST be excluded (inside
+ * the root project every kind it declares is a duplicate blamed on the map as
+ * well) and an extending model must NOT be (the root project is the only place
+ * it parses), so a service that migrates from one shape to the other has its
+ * entry added or dropped on the next sync instead of quietly blanking a project.
+ *
+ * THE GATE keeps an old repository untouched. A fleet whose models all stand
+ * alone and whose root already says `services/**` is already correct, and
+ * rewriting it into one entry per service would be a diff with no fact behind
+ * it — so the rewrite happens only when at least one model extends the map (the
+ * blanket exclusion is then wrong) or some standalone model is not covered at
+ * all (the renderer is merging it into the map right now). Comparing the parsed
+ * ARRAYS rather than the bytes is the second half of the same rule: a file whose
+ * `exclude` already says what this run would write is left exactly as the team
+ * formatted it.
+ *
+ * A root config loam cannot read an `exclude` list out of is REPORTED and never
+ * rewritten. Guessing at the JSON a team hand-wrote is how a writer destroys a
+ * file it did not understand.
+ */
+export async function planExclude(docsDir, services, models) {
+    const current = await readRootExclude(docsDir);
+    if (current === null)
+        return { ...NO_EXCLUDE, unreadable: true };
+    const standalone = models.filter((m) => m.standalone).map((m) => serviceTreePath(m.service));
+    // Both halves of the shape scan travel, not just the standalone one: an entry
+    // is loam's to take back either because loam wrote it (a tree the enumeration
+    // returns) or because it HIDES a model that only parses in the root project,
+    // and only the extending list can answer the second question. Without it a
+    // subsystem-wide `services/platform/**` survived every sync while
+    // `service.model-excluded` named that same sync as the repair.
+    const extending = models.filter((m) => !m.standalone).map((m) => serviceTreePath(m.service));
+    const wanted = standaloneExclude(current, {
+        standalone,
+        extending,
+        enumerated: services.map((svc) => serviceTreePath(svc)),
+    });
+    const uncovered = standalone.some((tree) => excludingEntry(current, tree) === null);
+    if (extending.length === 0 && !uncovered)
+        return { ...NO_EXCLUDE, entries: [...current] };
+    if (current.length === wanted.length && current.every((entry, i) => entry === wanted[i])) {
+        return { ...NO_EXCLUDE, entries: wanted };
+    }
+    const bytes = await rewrittenRootProject(docsDir, wanted);
+    if (bytes === null)
+        return { ...NO_EXCLUDE, entries: [...current], unreadable: true };
+    return {
+        updated: true,
+        entries: wanted,
+        added: wanted.filter((entry) => !current.includes(entry)),
+        removed: current.filter((entry) => !wanted.includes(entry)),
+        // `planWrite` decides create-vs-overwrite from the filesystem, so the root
+        // file — which by definition already exists here — is staged as an
+        // OVERWRITE, and `swapStaged` compares it against its pre-image immediately
+        // before the rename: a team member editing the same file during the sync
+        // stops the commit instead of having their bytes buried.
+        write: planWrite(rootProjectPath(docsDir), bytes),
+        unreadable: false,
+    };
+}
+/**
+ * The root project file with its `exclude` replaced and NOTHING else touched —
+ * every other key kept, in the order the team wrote them, re-serialised as
+ * 2-space JSON with a trailing newline (`core/docs.ts`'s own form, so a
+ * scaffolded file round-trips byte for byte).
+ *
+ * Null when the file stopped being a JSON object between `readRootExclude` and
+ * here, which is a concurrent edit rather than a state loam may write over.
+ */
+async function rewrittenRootProject(docsDir, exclude) {
+    let text;
+    try {
+        text = await readFile(rootProjectPath(docsDir), "utf8");
+    }
+    catch {
+        // Unreadable is not "excludes nothing": the caller reports it and writes
+        // nothing at all.
+        return null;
+    }
+    // The SAME parse the grader read the list with — `parseRootProject`, which
+    // tolerates the byte-order mark PowerShell's `Out-File` writes. Two parses
+    // would mean a run that read an `exclude` here and then declared the file
+    // unreadable at the write, which is exactly what a BOM produced before
+    // (re-verification 2026-09-04, area C item 3). Re-read rather than carried:
+    // the point of this read is that it happens immediately before the swap.
+    const parsed = parseRootProject(text);
+    if (parsed === null)
+        return null;
+    return `${JSON.stringify({ ...parsed, exclude: [...exclude] }, null, 2)}\n`;
+}
+//# sourceMappingURL=exclude.js.map