@intentset/cli 0.10.0 → 0.13.0

package/dist/session.js.map

@@ -1 +1 @@
-{"version":3,"file":"session.js","sourceRoot":"","sources":["../src/session.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAGL,iBAAiB,EAEjB,aAAa,GACd,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAEL,cAAc,EAId,SAAS,EACT,SAAS,EACT,MAAM,EAEN,eAAe,EAEf,QAAQ,GACT,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAEL,aAAa,EAKb,cAAc,GACf,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAA0B,MAAM,aAAa,CAAC;AACvE,OAAO,EAAoB,WAAW,EAAE,QAAQ,EAAE,cAAc,EAAmB,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAa,MAAM,WAAW,CAAC;AAEhD,sGAAsG;AACtG,MAAM,CAAC,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAiDlD,MAAM,EAAE,GAAG,CAAC,KAAY,EAAE,KAAY,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAE1F,qHAAqH;AACrH,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,OAAuB,EAAE,EAAM;IAC1E,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QAC3F,EAAE,CAAC,MAAM,CACP,aAAa,OAAO,QAAQ,WAAW,OAAO,KAAK,KAAK;YACtD,oFAAoF,CACvF,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnB,EAAE,CAAC,MAAM,CAAC,aAAa,OAAO,4DAA4D,CAAC,CAAC;QAC5F,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;YAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAChF,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS;QAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IAC9F,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;QAAE,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAiB,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAoE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAE3G,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACpB,IAAI,QAAQ,GAAoB,EAAE,CAAC;QACnC,IAAI,YAAY,GAAkB,IAAI,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,EAAE,CAAC,MAAM,CAAC,aAAa,OAAO,gBAAgB,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC;gBAC7E,OAAO,CAAC,CAAC;YACX,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;YAChB,YAAY,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtC,OAAO,CAAC,QAAQ,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,iBAAiB,CACpC,KAAK,EACL,IAAI,CAAC,UAAU,EACf,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EACrB;YACE,KAAK;YACL,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,WAAW;YACjC,QAAQ;YACR,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;YAClD,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC7D,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;SACvF,CACF,CAAC;QACF,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;QACpB,OAAO,CAAC,YAAY,GAAG,YAAY,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAgB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;YAC5C,IAAI,IAAa,CAAC;YAClB,IAAI,CAAC;gBACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,EAAE,CAAC,MAAM,CAAC,aAAa,OAAO,cAAc,IAAI,0BAA2B,KAAe,CAAC,OAAO,IAAI,CAAC,CAAC;gBACxG,OAAO,CAAC,CAAC;YACX,CAAC;YACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;YAC9B,+DAA+D;YAC/D,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,gBAAgB,GAAqB;YACzC,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI;YAC5B,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,aAAa,EAAE,QAAQ,CAAC,MAAM;SAC/B,CAAC;QACF,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YACvD,gBAAgB,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAC9C,gBAAgB,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;YACjD,gBAAgB,CAAC,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;QACxD,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE;YAC5D,KAAK;YACL,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK;YAC1B,YAAY,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;SACnD,CAAC,CAAC;QACH,OAAO,CAAC,QAAQ,GAAG;YACjB,KAAK,EAAE,KAAK;YACZ,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,UAAU,EAAE,OAAO;YACnB,OAAO,EAAE,QAAQ;YACjB,KAAK;YACL,QAAQ,EAAE,gBAAgB;SAC3B,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,CAAC,WAAW,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACxE,MAAM,MAAM,GAAqB,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;IACrF,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;AAC5F,CAAC;AAED,8DAA8D;AAC9D,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,sBAAuB,KAAe,CAAC,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAQ,KAAe,CAAC,OAAO,CAAC;IAClC,CAAC;AACH,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,GAAW,EAAE,KAA2B;IAClF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,WAAW,CAAC,GAAG,CAAC;SACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SACxC,IAAI,CAAC,cAAc,CAAC;SACpB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAY;IAC/C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAa,CAAC;QACrD,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAChG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,OAAe,EAAE,WAAmB,EAAE,EAAE,CACrE,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,KAAK;YACL,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QACL,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,CACJ,yBAAyB,EACzB,GAAG,IAAI,CAAC,MAAM,cAAc,EAAE,0GAA0G,EACxI,kGAAkG,CACnG,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACjG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9F,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnE,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACxE,MAAM,CACJ,MAAM,CAAC,QAAQ,KAAK,IAAI;YACtB,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI;gBAC1B,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,6CAA6C,EACnD,GAAG,IAAI,CAAC,MAAM,cAAc,EAAE,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAC/E,mIAAmI,CACpI,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC"}
+{"version":3,"file":"session.js","sourceRoot":"","sources":["../src/session.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAGL,iBAAiB,EAEjB,aAAa,GACd,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAEL,cAAc,EAId,SAAS,EACT,SAAS,EACT,MAAM,EAEN,eAAe,EAEf,QAAQ,GACT,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAEL,aAAa,EAKb,cAAc,GACf,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAA0B,MAAM,aAAa,CAAC;AACvE,OAAO,EAAoB,WAAW,EAAE,QAAQ,EAAE,cAAc,EAAmB,MAAM,iBAAiB,CAAC;AAC3G,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,QAAQ,EAAa,MAAM,WAAW,CAAC;AAEhD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAiD5C,MAAM,EAAE,GAAG,CAAC,KAAY,EAAE,KAAY,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAE1F,qHAAqH;AACrH,MAAM,UAAU,WAAW,CAAC,OAAe,EAAE,OAAuB,EAAE,EAAM;IAC1E,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QAC3F,EAAE,CAAC,MAAM,CACP,aAAa,OAAO,QAAQ,WAAW,OAAO,KAAK,KAAK;YACtD,oFAAoF,CACvF,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnB,EAAE,CAAC,MAAM,CAAC,aAAa,OAAO,4DAA4D,CAAC,CAAC;QAC5F,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC;YAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;QAClF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;IAC9B,MAAM,QAAQ,GAAa,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IAChF,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS;QAAE,QAAQ,CAAC,iBAAiB,GAAG,IAAI,CAAC,iBAAiB,CAAC;IAC9F,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;QAAE,QAAQ,CAAC,WAAW,GAAG,IAAI,CAAC;IAC3D,MAAM,GAAG,GAAiB,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAoE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAE3G,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACpB,IAAI,QAAQ,GAAoB,EAAE,CAAC;QACnC,IAAI,YAAY,GAAkB,IAAI,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,EAAE,CAAC,MAAM,CAAC,aAAa,OAAO,gBAAgB,OAAO,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC;gBAC7E,OAAO,CAAC,CAAC;YACX,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;YAChB,YAAY,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtC,OAAO,CAAC,QAAQ,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,iBAAiB,CACpC,KAAK,EACL,IAAI,CAAC,UAAU,EACf,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EACrB;YACE,KAAK;YACL,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,WAAW;YACjC,QAAQ;YACR,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;YAClD,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC7D,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;SACvF,CACF,CAAC;QACF,OAAO,CAAC,IAAI,GAAG,IAAI,CAAC;QACpB,OAAO,CAAC,YAAY,GAAG,YAAY,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAgB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;YAC5C,IAAI,IAAa,CAAC;YAClB,IAAI,CAAC;gBACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,EAAE,CAAC,MAAM,CAAC,aAAa,OAAO,cAAc,IAAI,0BAA2B,KAAe,CAAC,OAAO,IAAI,CAAC,CAAC;gBACxG,OAAO,CAAC,CAAC;YACX,CAAC;YACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;YAC9B,+DAA+D;YAC/D,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,gBAAgB,GAAqB;YACzC,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI;YAC5B,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,aAAa,EAAE,QAAQ,CAAC,MAAM;SAC/B,CAAC;QACF,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YACvD,gBAAgB,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAC9C,gBAAgB,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;YACjD,gBAAgB,CAAC,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC;QACxD,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE;YAC5D,KAAK;YACL,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK;YAC1B,YAAY,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;SACnD,CAAC,CAAC;QACH,OAAO,CAAC,QAAQ,GAAG;YACjB,KAAK,EAAE,KAAK;YACZ,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,UAAU,EAAE,OAAO;YACnB,OAAO,EAAE,QAAQ;YACjB,KAAK;YACL,QAAQ,EAAE,gBAAgB;SAC3B,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,CAAC,WAAW,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACxE,MAAM,MAAM,GAAqB,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;IACrF,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;AAC5F,CAAC;AAED,8DAA8D;AAC9D,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,sBAAuB,KAAe,CAAC,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAQ,KAAe,CAAC,OAAO,CAAC;IAClC,CAAC;AACH,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,GAAW,EAAE,KAA2B;IAClF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,WAAW,CAAC,GAAG,CAAC;SACpB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;SACxC,IAAI,CAAC,cAAc,CAAC;SACpB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAY;IAC/C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAa,CAAC;QACrD,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAChG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,OAAe,EAAE,WAAmB,EAAE,EAAE,CACrE,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,KAAK;YACL,OAAO;YACP,WAAW;SACZ,CAAC,CAAC;QACL,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACpC,MAAM,CACJ,yBAAyB,EACzB,GAAG,IAAI,CAAC,MAAM,cAAc,EAAE,0GAA0G,EACxI,kGAAkG,CACnG,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,kCAAkC,MAAM,CAAC,WAAW,oCAAoC,CAAC,CAAC;QACzG,CAAC;aAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACxG,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9F,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnE,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACxE,MAAM,CACJ,MAAM,CAAC,QAAQ,KAAK,IAAI;YACtB,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI;gBAC1B,CAAC,CAAC,uBAAuB;gBACzB,CAAC,CAAC,6CAA6C,EACnD,GAAG,IAAI,CAAC,MAAM,cAAc,EAAE,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAC/E,mIAAmI,CACpI,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC"}

package/dist/subject.d.ts

@@ -2,6 +2,8 @@ import type { EvidenceBinding, Graph } from "@intentset/core";
 import { type BindingDecision, type Subject, type SubjectSource } from "@intentset/verification";
 import type { Repository } from "./repository.ts";
 import type { Tree } from "./tree.ts";
+/** Where run records are read from when no --evidence is given. Local output: not to be committed. */
+export declare const EVIDENCE_DIR = ".intentset/evidence";
 /** The binding in force: the option, else the configuration, else the default (Core §8). */
 export declare function bindingFor(repo: Repository, graph: Graph, given: EvidenceBinding | undefined): BindingDecision;
 /** The architecture's resolution over the tree, reading file contents from disk. */

package/dist/subject.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subject.d.ts","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACL,KAAK,eAAe,EAGpB,KAAK,OAAO,EACZ,KAAK,aAAa,EAEnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,eAAe,CAE9G;AAED,oFAAoF;AACpF,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,aAAa,CAanF;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,EAAE,aAAa,CAAC;IACtB,kEAAkE;IAClE,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,EAAE,GAAG,IAAI,CAAC;CACnD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAW/E"}
+{"version":3,"file":"subject.d.ts","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACL,KAAK,eAAe,EAGpB,KAAK,OAAO,EACZ,KAAK,aAAa,EAEnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,sGAAsG;AACtG,eAAO,MAAM,YAAY,wBAAwB,CAAC;AAWlD,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,eAAe,CAE9G;AAED,oFAAoF;AACpF,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,aAAa,CAanF;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,EAAE,aAAa,CAAC;IACtB,kEAAkE;IAClE,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,EAAE,GAAG,IAAI,CAAC;CACnD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAW/E"}

package/dist/subject.js

@@ -10,6 +10,16 @@ import { join } from "node:path";
 import { subjectSource } from "@intentset/architecture";
 import { hasSliceClaims, resolveBinding, subjectsFor, } from "@intentset/verification";
 import { changedSince } from "./git.js";
+/** Where run records are read from when no --evidence is given. Local output: not to be committed. */
+export const EVIDENCE_DIR = ".intentset/evidence";
+/**
+ * The run records under EVIDENCE_DIR are the toolchain's own output, never part of a subject, so a change to them
+ * says nothing about evidence and is left out of what `changedSince` answers: EVID005 would otherwise list the file
+ * `evidence import --out` has just written, until it is ignored or committed.
+ */
+function outsideEvidence(paths) {
+    return paths === null ? null : paths.filter((path) => path !== EVIDENCE_DIR && !path.startsWith(`${EVIDENCE_DIR}/`));
+}
 /** The binding in force: the option, else the configuration, else the default (Core §8). */
 export function bindingFor(repo, graph, given) {
     return resolveBinding(given ?? repo.config.evidence.binding, hasSliceClaims(graph));
@@ -38,7 +48,7 @@ export function subjectsOf(repo, graph, tree) {
         source,
         changedSince: (commit) => {
             if (!asked.has(commit))
-                asked.set(commit, changedSince(repo.root, commit));
+                asked.set(commit, outsideEvidence(changedSince(repo.root, commit)));
             return asked.get(commit) ?? null;
         },
     };

package/dist/subject.js.map

@@ -1 +1 @@
-{"version":3,"file":"subject.js","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAEL,cAAc,EACd,cAAc,EAGd,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAIxC,4FAA4F;AAC5F,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,KAAkC;IAC3F,OAAO,cAAc,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IAClE,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE;QACjD,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS;QACzC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AASD,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IACnE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,OAAO;QACL,QAAQ,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;QACpC,MAAM;QACN,YAAY,EAAE,CAAC,MAAM,EAAE,EAAE;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC3E,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"subject.js","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAEL,cAAc,EACd,cAAc,EAGd,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAIxC,sGAAsG;AACtG,MAAM,CAAC,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAElD;;;;GAIG;AACH,SAAS,eAAe,CAAC,KAAsB;IAC7C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC;AACvH,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,KAAkC;IAC3F,OAAO,cAAc,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IAClE,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE;QACjD,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS;QACzC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AASD,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IACnE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,OAAO;QACL,QAAQ,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;QACpC,MAAM;QACN,YAAY,EAAE,CAAC,MAAM,EAAE,EAAE;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC5F,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intentset/cli",
-  "version": "0.10.0",
+  "version": "0.13.0",
   "description": "The intentset command: validate, graph, architecture check, evidence, impact, review, publish, serve, context, mcp, guide.",
   "keywords": [
     "intentset",
@@ -39,14 +39,14 @@
     "intentset": "./dist/intentset.js"
   },
   "dependencies": {
-    "@intentset/core": "^0.10.0",
-    "@intentset/markset-adapter": "^0.10.0",
-    "@intentset/architecture": "^0.10.0",
-    "@intentset/verification": "^0.10.0",
-    "@intentset/publisher": "^0.10.0",
-    "@intentset/atlas": "^0.10.0",
-    "@intentset/mcp": "^0.10.0",
-    "@intentset/conformance-suite": "^0.10.0"
+    "@intentset/core": "^0.13.0",
+    "@intentset/markset-adapter": "^0.13.0",
+    "@intentset/architecture": "^0.13.0",
+    "@intentset/verification": "^0.13.0",
+    "@intentset/publisher": "^0.13.0",
+    "@intentset/atlas": "^0.13.0",
+    "@intentset/mcp": "^0.13.0",
+    "@intentset/conformance-suite": "^0.13.0"
   },
   "devDependencies": {
     "@modelcontextprotocol/sdk": "^1.32.0"

package/src/agents.ts

@@ -85,6 +85,10 @@ Update the records in the same change as the code.
   slice is a draft, the paths it plans may not exist yet.
 - A changed check: a verification record names the test that checks a claim. Change the test and its record
   together, and add one for a behavior or rule that has none.
+- Whether the work is built: a capability, behavior, rule, scenario, slice or contract says so in \`delivery\`.
+  Write \`delivery: built\` on a record you wrote from code that exists, \`delivery: planned\` on one that proposes
+  work, and change \`planned\` to \`built\` in the change that builds it. It states a fact about the code, not an
+  approval, so you may set it; a draft that says \`built\` is still a draft until a person approves it.
 
 Write each link once, on the record that points: a behavior is \`governedBy\` its rules, a scenario \`illustrates\`
 a behavior, a slice \`implements\` behaviors, a verification \`verifies\` what it checks. Never write the reverse.
@@ -134,8 +138,10 @@ level-one heading repeats its title. Plain Markdown is valid Markset. For the re
 callouts, tables and other constructs a record may use and the codes \`validate\` reports for them, read Markset's
 guide at ${MARKSET_GUIDE_URL}, or print it with \`${markset}\`.
 
-An existing record of the same type in this repository is the best template; a new behavior looks like this, one
-recognizable promise including how it fails:
+An existing record of the same type in this repository is the best template; in a repository with none yet,
+\`${run} init --example --root <an empty directory>\` writes one record of each type there to read. A capability sits
+under an outcome, an outcome under an intent, and an intent under the product, so the first capability brings those
+three with it. A new behavior looks like this, one recognizable promise including how it fails:
 
 \`\`\`markdown
 ---
@@ -147,6 +153,7 @@ intentset:
   type: behavior
   title: The promise in a few words, such as Schedule a student assessment
   status: draft
+  delivery: planned
   owner: <an owner from the registry>
   visibility: internal
   audiences: [engineering, product]
@@ -173,6 +180,40 @@ What must be true first.
 Success: what happens. Failure: what is rejected, and what is left unchanged.
 \`\`\`
 
+A verification record binds a check to what it verifies. An automated one names the test file and a selector the
+test's title holds as whole words (a \`describe\`'s name binds all of its tests), which is how \`evidence import\`
+matches a run to it:
+
+\`\`\`markdown
+---
+markset: 0
+intentset:
+  spec: '0.2'
+  profile: intentset/verification/0.2
+  id: TEST-AREA-NAME
+  type: verification
+  title: What the check proves, such as Unit test of scheduling an assessment
+  status: draft
+  owner: <an owner from the registry>
+  visibility: internal
+  audiences: [engineering]
+  links:
+    verifies: [BEH-AREA-NAME, RULE-AREA-LIMIT]
+  verification:
+    method: automated
+    locator: src/area/name.test.ts
+    selector: the test's title, or the describe's name
+---
+
+# What the check proves, such as Unit test of scheduling an assessment
+
+## Procedure
+The runner and the file, and the cases it covers, the failure cases included.
+
+## Expected result
+What a pass shows.
+\`\`\`
+
 A knowledge record explains behaviors, rules or capabilities to one audience, in that audience's words rather than
 the behavior's. It may carry \`tips\`: one plain sentence per explained ID, at most 160 characters, which the
 product shows beside the control that delivers that behavior once the knowledge is reviewed and published.

package/src/commands/context.ts

@@ -21,14 +21,31 @@ import {
   type ContextRole,
   compareStrings,
   contextFor,
+  type Diagnostic,
   type Graph,
+  ID_PATTERN,
   type LinkKind,
 } from "@intentset/core";
 import { count, formatDiagnostic, type Io, json, snapshotLine, TOOL } from "../output.ts";
 import type { Session } from "../session.ts";
-import { claimingSlices } from "../slices.ts";
+import { claimingSlices } from "@intentset/core";
 import { unresolved, validationLine, validationSummary } from "./shared.ts";
 
+/** A file no slice claims has no context to load; VSA009 is the claims rule the architecture check reports it under. */
+function unclaimed(path: string, session: Session): Diagnostic {
+  const slices = [...session.result.graph.artifacts.values()].filter((a) => a.meta.type === "slice").length;
+  return {
+    code: "VSA009",
+    severity: "error",
+    origin: "architecture",
+    artifact: null,
+    path,
+    message: `No slice claims ${path}, so there is no context to load for it (${count(slices, "slice")} in this graph).`,
+    remediation:
+      "Give the ID of the record whose context to load, or add the file to the claims of the slice that owns it (VSA §2).",
+  };
+}
+
 /**
  * The artifact a `context` argument names: itself when it is an ID, else the
  * one slice whose claims include it as a file path, relative to the working
@@ -81,9 +98,12 @@ export function contextCommand(
   }
   const via = "id" in target ? target.path : null;
   const id = "id" in target ? target.id : argument;
-  const bundle = contextFor(graph, id, { includeRestricted });
+  const bundle = "slices" in target && !ID_PATTERN.test(argument) ? null : contextFor(graph, id, { includeRestricted });
   if (bundle === null) {
-    const diagnostic = unresolved(id, session);
+    // An argument that is not an ID was a file path, and no slice claims it: say that, rather than reading the
+    // path as a malformed ID, since the agent gave the file it is about to edit and wants to know what owns it.
+    const diagnostic =
+      "slices" in target && !ID_PATTERN.test(argument) ? unclaimed(target.path, session) : unresolved(id, session);
     if (asJson) {
       io.stdout(
         json({
@@ -116,6 +136,7 @@ export function contextCommand(
         artifacts: bundle.artifacts.map((a) => ({
           ...a,
           sourceHash: full(a).sourceHash,
+          contentHash: full(a).contentHash,
           links: links(graph, full(a), visible),
           body: full(a).body,
         })),

package/src/commands/graph.ts

@@ -1,6 +1,6 @@
 /**
  * `intentset graph --format json` (spec/export.md, Core §12): the
- * `intentset/export/0.4` envelope over the validated repository, with the
+ * `intentset/export/0.5` envelope over the validated repository, with the
  * report sections `--report` asks for. Printed to stdout, or written to the
  * one file `--out` names, which may not be any file the repository reads.
  * A failing validation still exports, with `validation.status: "fail"`, and

package/src/commands/init.ts

@@ -54,14 +54,16 @@ export const EMPTY_REGISTRIES_TEXT = [
   "# Intentset registries (Core §4, §6, §7; VSA §3): the owners, audiences, release dimensions,",
   "# evidence sources and shared resources records may name. An empty registry reads as not",
   "# declared, and validate warns (CORE005) when a record names a value it could not check.",
-  "owners: []",
-  "audiences: []",
-  "releases: []",
-  "roles: []",
-  "editions: []",
-  "flags: []",
-  "evidenceSources: []",
-  "resources: []",
+  "# Every record names an owner and audiences from these lists, and a behavior names at least",
+  "# one release, one role and one edition, so fill each of those before the first record.",
+  "owners: []          # who owns records, a team or a person, such as team-shop",
+  "audiences: []       # who records are written for, such as engineering and product",
+  "releases: []        # labels of the releases behaviors are available in, such as v1",
+  "roles: []           # roles of the product's users, such as shopper; a product with none still names one",
+  "editions: []        # editions the product ships in, such as standard; likewise",
+  "flags: []           # feature flags a behavior may require; usually none",
+  "evidenceSources: [] # where a measure's reading comes from, such as product-analytics",
+  "resources: []       # resources slices share, such as a data layer, each with its owner and consumers",
   "",
 ].join("\n");
 

package/src/commands/list.ts

@@ -0,0 +1,346 @@
+/**
+ * `intentset list` (spec/list.md, ADR 0016): the records that match a selector, from the repository's tree or from
+ * an export, as a table, as the `intentset/list/0.1` result, or as IDs. The options compile to the selector `select`
+ * in core reads, or `--where` gives it whole. Never writes. Exit 0 whenever it answered, a failed validation included
+ * (the result says so); 1 with --check when a record matched or is undetermined; 2 for an invocation error.
+ */
+import { readFileSync } from "node:fs";
+import { resolve } from "node:path";
+import {
+  COUNT_FIELDS,
+  type CountField,
+  exportListMeta,
+  type ListOutput,
+  listOutput,
+  readExport,
+  readSelector,
+  type Selector,
+  type SelectorProblem,
+  select,
+} from "@intentset/core";
+import { count, type Io, json, snapshotLine } from "../output.ts";
+import type { Session } from "../session.ts";
+import { validationSummary } from "./shared.ts";
+
+export const LIST_FORMATS = ["table", "json", "ids"] as const;
+export type ListFormat = (typeof LIST_FORMATS)[number];
+
+/** Each field option and the selector field it fills. */
+const FIELD_OPTIONS: Record<string, string> = {
+  id: "ids",
+  type: "types",
+  status: "statuses",
+  delivery: "deliveries",
+  owner: "owners",
+  audience: "audiences",
+  visibility: "visibilities",
+  under: "under",
+  "has-extension": "hasExtension",
+  describing: "describing",
+  claims: "claims",
+};
+
+/** Each availability option and the dimension it fills. */
+const AVAILABILITY_OPTIONS: Record<string, string> = {
+  product: "products",
+  release: "releases",
+  "not-release": "notReleases",
+  role: "roles",
+  edition: "editions",
+  flag: "flags",
+};
+
+/** Every option that adds to the selector, `--has` included. */
+export const SELECTOR_OPTIONS = [...Object.keys(FIELD_OPTIONS), ...Object.keys(AVAILABILITY_OPTIONS), "has"];
+
+export interface ListOptions {
+  /** The selector options as given, in order, each repetition kept. */
+  given: Array<{ name: string; value: string }>;
+  where?: string;
+  from?: string;
+  countBy?: string;
+  format?: string;
+  json: boolean;
+  check: boolean;
+  includeRestricted: boolean;
+}
+
+const HAS_SHAPE =
+  "write it as [some:|none:|all:]<out|in>:<kind>[=<status>,...], such as out:governedBy=draft or none:in:verifies";
+
+/**
+ * The checks that need no repository, so a typo costs nothing: the format, the count field, and the selector,
+ * compiled from the options or read from --where. Returns the selector and format, or a message.
+ */
+export function listUsageProblem(
+  options: ListOptions,
+  io: Io,
+): { problem: string } | { selector: Selector; format: ListFormat; countBy: CountField | null } {
+  const format = options.format ?? (options.json ? "json" : "table");
+  if (!(LIST_FORMATS as readonly string[]).includes(format)) {
+    return { problem: `--format ${format}: the formats are ${LIST_FORMATS.join(", ")}` };
+  }
+  if (options.json && format !== "json") {
+    return { problem: `--json is --format json; it does not combine with --format ${format}` };
+  }
+  if (options.countBy !== undefined && !(COUNT_FIELDS as readonly string[]).includes(options.countBy)) {
+    return { problem: `--count-by ${options.countBy}: the fields are ${COUNT_FIELDS.join(", ")}` };
+  }
+  if (options.from !== undefined && options.includeRestricted) {
+    return { problem: "--include-restricted reads the tree; an export withheld what it withheld when it was written" };
+  }
+
+  let value: unknown;
+  let where: ((problem: SelectorProblem) => string) | undefined;
+  if (options.where !== undefined) {
+    if (options.given.length > 0) {
+      const first = options.given[0].name;
+      return { problem: `--where gives the whole selector; it does not combine with --${first}` };
+    }
+    const file = options.where;
+    try {
+      value = JSON.parse(readFileSync(resolve(io.cwd, file), "utf8"));
+    } catch (error) {
+      return { problem: `--where ${file}: ${(error as Error).message}` };
+    }
+    where = (p) => `--where ${file}: ${p.pointer === "" ? "the selector" : p.pointer}: ${p.message}`;
+  } else {
+    const compiled = compile(options.given);
+    if ("problem" in compiled) return compiled;
+    value = compiled.selector;
+    where = (p) => `${optionFor(p.pointer)}: ${p.message}`;
+  }
+  const read = readSelector(value);
+  if (!read.ok) return { problem: read.problems.map(where).join("\n  ") };
+  return {
+    selector: read.selector,
+    format: format as ListFormat,
+    countBy: (options.countBy ?? null) as CountField | null,
+  };
+}
+
+/** The options as a selector: a value may be a comma-separated list (one path for --claims), and repeats add values. */
+function compile(given: ListOptions["given"]): { selector: Record<string, unknown> } | { problem: string } {
+  const selector: Record<string, unknown> = {};
+  const availability: Record<string, string[]> = {};
+  const links: unknown[] = [];
+  const add = (target: Record<string, unknown>, key: string, values: string[]) => {
+    target[key] = [...((target[key] as string[] | undefined) ?? []), ...values];
+  };
+  for (const { name, value } of given) {
+    const values = name === "claims" ? [value] : value.split(",").map((part) => part.trim());
+    if (name === "has") {
+      const link = parseHas(value);
+      if (link === null) return { problem: `--has ${value}: ${HAS_SHAPE}` };
+      links.push(link);
+    } else if (Object.hasOwn(AVAILABILITY_OPTIONS, name)) {
+      add(availability, AVAILABILITY_OPTIONS[name], values);
+    } else {
+      add(selector, FIELD_OPTIONS[name], values);
+    }
+  }
+  if (Object.keys(availability).length > 0) selector.availability = availability;
+  if (links.length > 0) selector.links = links;
+  return { selector };
+}
+
+/** `[quantifier:]direction:kind[=status,...]`; the parts are checked by readSelector, the shape here. */
+function parseHas(value: string): Record<string, unknown> | null {
+  const equals = value.indexOf("=");
+  const head = equals === -1 ? value : value.slice(0, equals);
+  const parts = head.split(":");
+  if (parts.length < 2 || parts.length > 3 || parts.some((part) => part === "")) return null;
+  const [quantifier, direction, kind] = parts.length === 3 ? parts : ["some", ...parts];
+  const link: Record<string, unknown> = { direction, kind, quantifier };
+  if (equals !== -1)
+    link.match = {
+      statuses: value
+        .slice(equals + 1)
+        .split(",")
+        .map((part) => part.trim()),
+    };
+  return link;
+}
+
+/** The option a compiled selector's pointer came from, for a message in the command line's words. */
+function optionFor(pointer: string): string {
+  const [, field, second] = pointer.split("/");
+  if (field === "links") return "--has";
+  if (field === "availability") {
+    return `--${Object.keys(AVAILABILITY_OPTIONS).find((name) => AVAILABILITY_OPTIONS[name] === second) ?? "availability"}`;
+  }
+  return `--${Object.keys(FIELD_OPTIONS).find((name) => FIELD_OPTIONS[name] === field) ?? field}`;
+}
+
+/** The list from the repository's tree, over the session's validation. */
+export function listCommand(
+  session: Session,
+  checked: { selector: Selector; format: ListFormat; countBy: CountField | null },
+  options: ListOptions,
+  io: Io,
+): number {
+  const { repo, result, snapshot } = session;
+  const selection = select(result.graph, checked.selector, {
+    includeRestricted: options.includeRestricted,
+    registries: repo.registries,
+  });
+  const v = validationSummary(session, session.level);
+  const output = listOutput(
+    selection,
+    {
+      source: "tree",
+      snapshot: {
+        repository: repo.config.repository,
+        commit: snapshot.commit,
+        ...(snapshot.commitUnavailable === undefined ? {} : { commitUnavailable: snapshot.commitUnavailable }),
+        uncommitted: snapshot.uncommitted === true,
+        graphHash: snapshot.graphHash,
+      },
+      validation: { level: session.level, status: v.status, errors: v.errors, warnings: v.warnings },
+    },
+    checked.countBy,
+  );
+  return print(output, checked.format, options, io, "the repository's tree");
+}
+
+/** The list from an export, read as a consumer reads one (spec/export.md §5), with no repository I/O. */
+export function listFromExportCommand(
+  checked: { selector: Selector; format: ListFormat; countBy: CountField | null },
+  options: ListOptions & { from: string },
+  io: Io,
+): number {
+  let bytes: Uint8Array;
+  try {
+    bytes = readFileSync(resolve(io.cwd, options.from));
+  } catch (error) {
+    io.stderr(`intentset list: --from ${options.from}: ${(error as Error).message}\n`);
+    return 2;
+  }
+  // The file is one the caller named, so its size is not a reason to refuse it.
+  const read = readExport(bytes, { maxBytes: Math.max(bytes.length, 1) });
+  if (!read.ok) {
+    const problems = read.problems.slice(0, 5).map((p) => `  ${p.pointer || "/"} ${p.message}`);
+    io.stderr(`intentset list: --from ${options.from} is not an export this reader accepts (${read.category}):\n`);
+    io.stderr(`${problems.join("\n")}\n`);
+    return 2;
+  }
+  const output = listOutput(
+    select(read.envelope, checked.selector),
+    { source: "export", ...exportListMeta(read.envelope) },
+    checked.countBy,
+  );
+  return print(output, checked.format, options, io, `the export ${options.from}`);
+}
+
+function print(output: ListOutput, format: ListFormat, options: ListOptions, io: Io, source: string): number {
+  if (format === "json") io.stdout(json(output));
+  else if (format === "ids") {
+    io.stdout(output.rows.map((row) => `${row.id}\n`).join(""));
+    for (const line of cautions(output)) io.stderr(`intentset list: ${line}\n`);
+  } else io.stdout(renderTable(output, source));
+  const flagged = output.counts.matched + output.counts.undetermined;
+  return options.check && flagged > 0 ? 1 : 0;
+}
+
+/** What a reader of bare IDs should know, said on stderr so it never lands in a captured list. */
+function cautions(output: ListOutput): string[] {
+  const lines: string[] = [];
+  const { counts, validation } = output;
+  if (counts.undetermined > 0) {
+    lines.push(
+      `${count(counts.undetermined, "record")} undetermined, because the answer depends on a link to a withheld artifact: ${output.undetermined.join(", ")}`,
+    );
+  }
+  if (validation.status === "fail") {
+    lines.push(
+      `validation failed at ${validation.level} with ${count(validation.errors, "error")}, so the graph may be incomplete; run \`intentset validate\`.`,
+    );
+  }
+  return [...lines, ...output.notes];
+}
+
+function renderTable(output: ListOutput, source: string): string {
+  const { counts, validation, snapshot } = output;
+  const lines = [
+    snapshotLine({
+      commit: snapshot.commit,
+      ...(snapshot.commitUnavailable === undefined ? {} : { commitUnavailable: snapshot.commitUnavailable }),
+      uncommitted: snapshot.uncommitted,
+      graphHash: snapshot.graphHash,
+    }),
+    `Source: ${source}${snapshot.generatedAt === undefined ? "" : `, generated ${snapshot.generatedAt}`}`,
+    `Validation: ${validation.status} at ${validation.level}, ${count(validation.errors, "error")}, ${count(validation.warnings, "warning")}` +
+      (validation.status === "fail" ? ". The graph may be incomplete; run `intentset validate`." : ""),
+    `Selector: ${describeSelector(output.selector)}`,
+    `Considered ${counts.considered} (${counts.withheld} withheld), matched ${counts.matched}, undetermined ${counts.undetermined}`,
+    "",
+  ];
+  if (output.countBy !== null) {
+    const groups = output.countBy.groups.map((group) => [group.value ?? "(none)", String(group.count)]);
+    lines.push(...columns([[output.countBy.field, "count"], ...groups], [false, true]));
+    if (output.countBy.multiValued) {
+      lines.push(
+        "",
+        `A record counts once under each ${output.countBy.field} it names, so the counts can sum to more than ${counts.matched}.`,
+      );
+    }
+  } else if (output.rows.length === 0) {
+    lines.push("No record matches.");
+  } else {
+    const rows = output.rows.map((row) => [row.id, row.type, row.status, row.owner, row.title]);
+    lines.push(...columns([["ID", "type", "status", "owner", "title"], ...rows], []));
+  }
+  if (output.undetermined.length > 0) {
+    lines.push(
+      "",
+      `Undetermined, because the answer depends on a link to a withheld artifact (${output.undetermined.length}):`,
+      ...output.undetermined.map((id) => `  ${id}`),
+    );
+  }
+  if (output.notes.length > 0) lines.push("", ...output.notes.map((note) => `Note: ${note}`));
+  return `${lines.join("\n")}\n`;
+}
+
+/** Columns padded to their widest cell, the last left ragged; `right` aligns a column to the right. */
+function columns(table: string[][], right: boolean[]): string[] {
+  const widths = table[0].map((_, i) => Math.max(...table.map((row) => row[i].length)));
+  return table.map((row) =>
+    row
+      .map((cell, i) => {
+        if (i === row.length - 1 && !right[i]) return cell;
+        return right[i] ? cell.padStart(widths[i]) : cell.padEnd(widths[i]);
+      })
+      .join("  "),
+  );
+}
+
+/** The normalized selector in a line: fields joined with "and", values with "or". */
+export function describeSelector(selector: Selector): string {
+  const parts: string[] = [];
+  const values = (list: readonly string[]) => list.join(" or ");
+  for (const [field, label] of [
+    ["ids", "id"],
+    ["types", "type"],
+    ["statuses", "status"],
+    ["deliveries", "delivery"],
+    ["owners", "owner"],
+    ["audiences", "audience"],
+    ["visibilities", "visibility"],
+    ["under", "under"],
+    ["hasExtension", "extension"],
+  ] as const) {
+    const list = selector[field];
+    if (list !== undefined) parts.push(`${label} ${values(list)}`);
+  }
+  for (const [name, dimension] of Object.entries(AVAILABILITY_OPTIONS)) {
+    const list = selector.availability?.[dimension as keyof NonNullable<Selector["availability"]>];
+    if (list !== undefined) parts.push(`${name.replace("-", " ")} ${values(list)}`);
+  }
+  for (const link of selector.links ?? []) {
+    const match = link.match === undefined ? "" : ` matching ${describeSelector(link.match)}`;
+    parts.push(`${link.quantifier} ${link.direction} ${link.kind}${match}`);
+  }
+  if (selector.describing !== undefined) parts.push(`describing ${values(selector.describing)}`);
+  if (selector.claims !== undefined) parts.push(`claiming ${values(selector.claims)}`);
+  return parts.length === 0 ? "every record" : parts.join(", and ");
+}

package/src/commands/review.ts

@@ -42,7 +42,7 @@ import {
 import { count, formatDiagnostic, type Io, json, snapshotLine, TOOL } from "../output.ts";
 import { levelJson, levelSections } from "../reports.ts";
 import type { Session } from "../session.ts";
-import { activeSlices, claimingSlices, describingRecords, isSliceCode } from "../slices.ts";
+import { activeSlices, claimingSlices, describingRecords, isSliceCode } from "@intentset/core";
 import { pathText, REACHABILITY_NOTE } from "./impact.ts";
 
 export interface Attribution {