@fougere/compiler 0.9.2-alpha.0 → 0.10.0-alpha.0

package/dist/scan/statement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statement.d.ts","sourceRoot":"","sources":["../../src/scan/statement.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAyIhD,2FAA2F;AAG3F,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAiBtD"}
+{"version":3,"file":"statement.d.ts","sourceRoot":"","sources":["../../src/scan/statement.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AA0IhD,2FAA2F;AAG3F,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAiBtD"}

package/dist/scan/statement.js

@@ -1,6 +1,6 @@
 import { nameOf } from '@fougere/core/descriptor';
 import { relative } from 'node:path';
-import { operationsOf } from './contract.js';
+import { operationsOf } from './Live.js';
 /**
  * A file becomes the specifier the PROJECT already uses for it: `@fronds/blog/…`, the import scope
  * a handler names its neighbour by, and which the Nuxt module registers as an alias for every

package/dist/scan/statement.js.map

@@ -1 +1 @@
-{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../src/scan/statement.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAwB,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAA2B,YAAY,EAAE,MAAM,eAAe,CAAC;AAEtE;;;;GAIG;AACH,SAAS,WAAW,CAAC,QAAgB,EAAE,KAAsB;IAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAE/E,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED,qFAAqF;AACrF,MAAM,OAAO;IACM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnC,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IAClC,WAAW,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,KAAK,GAAa,EAAE,CAAC;IACtC,wFAAwF;IAChF,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEzD,OAAO,CAAC,QAAgB,EAAE,KAAsB,EAAE,KAAY;QAC5D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,KAAK;gBAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEvC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACjC,IAAI,KAAK;YAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAEvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,kFAAkF;IAClF,KAAK,CAAC,KAAW,EAAE,QAAgB,EAAE,IAAY;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CACb,kCAAkC,IAAI,aAAa,QAAQ,kCAAkC,CAC9F,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,OAAO,KAAK,YAAY,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,KAAW,IAAwB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5E,UAAU,CAAC,IAAY,IAAsB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEzE,QAAQ,CAAC,KAAW,EAAE,KAAa;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAI,KAA2B,CAAC,IAAI,CAAC;QAC/C,IAAI,IAAI;YAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;CACF;AAED,2FAA2F;AAC3F,SAAS,OAAO,CAAC,KAAa,EAAE,IAAc,EAAE,GAAG,KAAe;IAChE,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;KACzB,CAAC;IAEF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1E,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB,EAAE,OAAgB;IACvD,MAAM,IAAI,GAAG,CAAC,KAAe,EAAU,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClE,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,wFAAwF;IACxF,wFAAwF;IACxF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,WAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAC9D,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,IAAY,CAAC,EAClD,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACxD,mFAAmF;QACnF,qFAAqF;QACrF,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,YAAY,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CACpG,CAAC,CAAC,EAAE,CAAC,CAAC;IACT,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAChE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,IAAY,CAAC,EAClD,CAAC,CAAC,IAAI;QACN,qFAAqF;QACrF,gFAAgF;QAChF,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,EAAE,CAAC,CAAC;IACT,CAAC;IACD,yFAAyF;IACzF,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAChF,wFAAwF;IACxF,wFAAwF;IACxF,sFAAsF;IACtF,iCAAiC;IACjC,IAAI,KAAK,CAAC,mBAAmB,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,CAAC;QAC/E,OAAO,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,KAAK,GAAI,KAAK,CAAC,MAAM,CAAC,OAA8B,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAE3D,OAAO,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;AAC3F,CAAC;AAED,2FAA2F;AAC3F,kFAAkF;AAClF,yDAAyD;AACzD,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAuC,EAAE,OAAO,CAAC,CAAC,CAAC;IAEjG,OAAO;QACL,wFAAwF;QACxF,IAAI;QACJ,wFAAwF;QACxF,mFAAmF;QACnF,wCAAwC;QACxC,OAAO,CAAC,MAAM,EAAE;QAChB,EAAE;QACF,kBAAkB;QAClB,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;QACxB,IAAI;QACJ,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}
+{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../src/scan/statement.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAwB,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,OAAO,EAAE,YAAY,EAAa,MAAM,WAAW,CAAC;AAEpD;;;;GAIG;AACH,SAAS,WAAW,CAAC,QAAgB,EAAE,KAAsB;IAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAE/E,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,EAAE,CAAC;AAC7C,CAAC;AAED,qFAAqF;AACrF,MAAM,OAAO;IACM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnC,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IAClC,WAAW,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,KAAK,GAAa,EAAE,CAAC;IACtC,wFAAwF;IAChF,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEzD,OAAO,CAAC,QAAgB,EAAE,KAAsB,EAAE,KAAY;QAC5D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,KAAK;gBAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAEvC,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACjC,IAAI,KAAK;YAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAEvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,kFAAkF;IAClF,KAAK,CAAC,KAAW,EAAE,QAAgB,EAAE,IAAY;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CACb,kCAAkC,IAAI,aAAa,QAAQ,kCAAkC,CAC9F,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,OAAO,KAAK,YAAY,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1F,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,KAAW,IAAwB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5E,UAAU,CAAC,IAAY,IAAsB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEzE,QAAQ,CAAC,KAAW,EAAE,KAAa;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAI,KAA2B,CAAC,IAAI,CAAC;QAC/C,IAAI,IAAI;YAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;CACF;AAED,2FAA2F;AAC3F,SAAS,OAAO,CAAC,KAAa,EAAE,IAAc,EAAE,GAAG,KAAe;IAChE,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;KACzB,CAAC;IAEF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1E,CAAC;AAED,SAAS,OAAO,CAAC,KAAsB,EAAE,OAAgB;IACvD,MAAM,IAAI,GAAG,CAAC,KAAe,EAAU,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClE,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,wFAAwF;IACxF,wFAAwF;IACxF,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtD,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,WAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAC9D,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,IAAY,CAAC,EAClD,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACxD,mFAAmF;QACnF,qFAAqF;QACrF,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,YAAY,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CACpG,CAAC,CAAC,EAAE,CAAC,CAAC;IACT,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAChE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,IAAY,CAAC,EAClD,CAAC,CAAC,IAAI;QACN,qFAAqF;QACrF,gFAAgF;QAChF,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,EAAE,CAAC,CAAC;IACT,CAAC;IACD,yFAAyF;IACzF,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAChF,wFAAwF;IACxF,wFAAwF;IACxF,sFAAsF;IACtF,iCAAiC;IACjC,IAAI,KAAK,CAAC,mBAAmB,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,CAAC;QAC/E,OAAO,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,KAAK,GAAI,KAAK,CAAC,MAAM,CAAC,OAA8B,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAE3D,OAAO,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;AAC3F,CAAC;AAED,2FAA2F;AAC3F,kFAAkF;AAClF,yDAAyD;AACzD,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAuC,EAAE,OAAO,CAAC,CAAC,CAAC;IAEjG,OAAO;QACL,wFAAwF;QACxF,IAAI;QACJ,wFAAwF;QACxF,mFAAmF;QACnF,wCAAwC;QACxC,OAAO,CAAC,MAAM,EAAE;QAChB,EAAE;QACF,kBAAkB;QAClB,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;QACxB,IAAI;QACJ,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/compiler",
-  "version": "0.9.2-alpha.0",
+  "version": "0.10.0-alpha.0",
   "description": "The scan: Fougere reading a project's source to produce the descriptors core boots from. Needs a filesystem and a TypeScript program.",
   "keywords": [
     "fougere",
@@ -33,14 +33,14 @@
     "@typescript/typescript6": "^6.0.2"
   },
   "peerDependencies": {
-    "@fougere/core": "^0.9.2-alpha.0",
-    "@fougere/container": "^0.9.2-alpha.0"
+    "@fougere/core": "^0.10.0-alpha.0",
+    "@fougere/container": "^0.10.0-alpha.0"
   },
   "devDependencies": {
     "vitest": "^4.1.0",
-    "@fougere/schema": "0.9.2-alpha.0",
-    "@fougere/core": "0.9.2-alpha.0",
-    "@fougere/container": "0.9.2-alpha.0"
+    "@fougere/core": "0.10.0-alpha.0",
+    "@fougere/schema": "0.10.0-alpha.0",
+    "@fougere/container": "0.10.0-alpha.0"
   },
   "publishConfig": {
     "access": "public"

package/src/boot.ts

@@ -1,4 +1,4 @@
-import { Logger, applyConfig, createApp, migrating, seeding, type App, type CreateAppOptions, type Extension, type FougereConfig, type Transport } from '@fougere/core';
+import { Logger, applyConfig, createApp, type App, type CreateAppOptions, type Extension, type FougereConfig, type Transport } from '@fougere/core';
 import { loadConfig } from '@fougere/core/node';
 import { scanProject } from './scan/scanner.js';
 

package/src/index.ts

@@ -4,6 +4,9 @@ export { scanProject, frondAliases, watchPathsOf } from './scan/scanner.js';
 export { RUNTIME_PACKAGES } from './scan/bundling.js';
 export { emitScan } from './scan/emit.js';
 export { emitStatement } from './scan/statement.js';
+// The third projection of one scan: the facades as TYPES, so a client can narrow a refusal.
+export { emitFacade, facadeModule, type Served } from './scan/Served.js';
+export { emitNames, type NamesOptions } from './scan/names.js';
 export { adaptersOf } from './scan/adapters.js';
 export { crossFrondImports } from './imports.js';
 export { handlerDeclarations } from './declarations.js';

package/src/scan/Aliases.ts

@@ -0,0 +1,16 @@
+import type { Live } from './Live.js';
+
+/**
+ * What the writer needs of an emitter's imports, and nothing more.
+ *
+ * The two emitters index theirs differently — one by value against a relative path, one
+ * by file against the package specifier a project already uses — and neither is wrong for
+ * the module it writes. What they agree on is this: a value already imported has an
+ * alias, a class can be imported by name, and an entity can be found by its class name.
+ */
+export interface Aliases {
+  aliasOf(value: Live): string | undefined;
+  named(value: Live, filePath: string, name: string): string;
+  /** The entity class this name belongs to — what a `Partial<X>` names as its source. */
+  classNamed(name: string): Live | undefined;
+}

package/src/scan/FacadeOptions.ts

@@ -0,0 +1,4 @@
+export interface FacadeOptions {
+  /** Where the generated file will sit. Handler imports are written relative to it. */
+  outFile: string;
+}

package/src/scan/{contract.ts → Live.ts}

@@ -1,25 +1,10 @@
-/** An operation contract, written down — the half two emitters say the same way. */
 import { type OperationContract } from '@fougere/core/descriptor';
 import { ANONYMOUS_SCHEMA_NAME, Card, type SchemaView } from '@fougere/schema';
+import type { Aliases } from './Aliases.js';
 
 /** A value that ends up as an import in the module being written. */
 export type Live = object;
 
-/**
- * What the writer needs of an emitter's imports, and nothing more.
- *
- * The two emitters index theirs differently — one by value against a relative path, one
- * by file against the package specifier a project already uses — and neither is wrong for
- * the module it writes. What they agree on is this: a value already imported has an
- * alias, a class can be imported by name, and an entity can be found by its class name.
- */
-export interface Aliases {
-  aliasOf(value: Live): string | undefined;
-  named(value: Live, filePath: string, name: string): string;
-  /** The entity class this name belongs to — what a `Partial<X>` names as its source. */
-  classNamed(name: string): Live | undefined;
-}
-
 export const lit = (value: unknown): string => JSON.stringify(value ?? null);
 
 /** What a schema slot becomes in the generated module. */
@@ -62,6 +47,9 @@ export function contractOf(
   if (contract.description !== undefined) parts.push(`description: ${lit(contract.description)}`);
   if (contract.cardinality !== undefined) parts.push(`cardinality: ${lit(contract.cardinality)}`);
   if (contract.signature !== undefined) parts.push(`signature: ${lit(contract.signature)}`);
+  // Written down like every other member: a scan on disk is what an edge deployment reads, and
+  // a contract that loses a field there answers differently depending on how it was booted.
+  if (contract.errors !== undefined) parts.push(`errors: ${lit(contract.errors)}`);
 
   return `[${lit(op)}, { ${parts.join(', ')} }]`;
 }

package/src/scan/Served.ts

@@ -0,0 +1,135 @@
+import { dirname, relative } from 'node:path';
+import { refusalsOf, type ScanResult } from '@fougere/core';
+import { servedSurfaces } from '@fougere/core/descriptor';
+import type { FacadeOptions } from './FacadeOptions.js';
+
+/**
+ * The specifier a handler is reached by, from where the generated file sits.
+ *
+ * The type is written WITHOUT `typeof`: that names the CONSTRUCTOR, whose `keyof` is
+ * `'prototype'`, and every operation would fail to compile against it.
+ */
+function specifierOf(filePath: string, outFile: string): string {
+  const path = relative(dirname(outFile), filePath).replace(/\.tsx?$/, '.js');
+
+  return path.startsWith('.') ? path : `./${path}`;
+}
+
+/**
+ * A union of enum MEMBERS — BOTH halves of what a call can come back refusing.
+ *
+ * `refusalsOf` is core's own table, read here rather than restated: what an op declares is
+ * walked from its throw sites, and what the framework adds follows from `kind` and `input`.
+ * Writing only the first half would tell a page that an op refuses nothing, when every op can
+ * meet a draining facade.
+ *
+ * `ErrorCode` is a string enum, so `'CONFLICT'` is not assignable to it — a literal would read
+ * as the right thing and refuse to narrow `FougereError<Code>`, which is the whole point.
+ */
+function codesOf(contract: { kind?: 'query' | 'command'; input?: unknown; errors?: readonly string[] }): string {
+  const codes = refusalsOf(contract);
+  if (codes.length === 0) return 'never';
+
+  return codes.map((code) => `ErrorCode.${code}`).join(' | ');
+}
+
+/**
+ * An augmentation of `FougereOperations`, keyed the way a facade is ADDRESSED — `post.publish`, and
+ * `public:post.publish` for a named surface.
+ *
+ * It AUGMENTS rather than declares, so a page reaches the keys through the package it already
+ * imports: `useQuery('checkout', 'pay')` narrows against them without naming this file. The
+ * interface it fills is empty in `@fougere/core/contract` — the facade is addressed the same way
+ * on both sides of the wire, and a backend project builds without a front-end package.
+ *
+ * The prefix is `facadeKeyOf`'s own spelling, because it is the same distinction: a surface is a
+ * second facade in front of the same handler, serving a subset of its operations. What each op can
+ * refuse does not change with the surface — the code that throws is the same — but WHICH ops
+ * exist does, and a client pointed at `/_fougere/call/public` must not be offered the rest.
+ *
+ * A browser reaches the default surface unless it is handed another endpoint, which is why the
+ * unprefixed keys are the ones a composable narrows against.
+ */
+export function emitFacade(scan: ScanResult, options: FacadeOptions): string {
+  const served: Served[] = [];
+
+  for (const frond of scan.fronds) {
+    for (const handler of frond.handlers) {
+      // NOT `handler.surface`: a surface is also declared in `frond.config.ts`, which names an
+      // address without opening a directory for it. `servedSurfaces` is the one reader of both,
+      // and it answers `undefined` for the default the way `facadeKeyOf` spells it.
+      for (const surface of servedSurfaces(frond, handler)) {
+        served.push({
+          at: surface ? `${surface}:${handler.address}` : handler.address,
+          handler: `import('${specifierOf(handler.filePath, options.outFile)}').default`,
+          ops: [...(handler.operations ?? [])].map(([name, contract]) => ({ name, codes: codesOf(contract) })),
+        });
+      }
+    }
+  }
+
+  return facadeModule(served, 'what the scan found');
+}
+
+/** One address, who answers there, and what each of its operations can refuse. */
+export interface Served {
+  at: string;
+  /**
+   * The TYPE EXPRESSION the handler is reached by, whole — `import('./x.js').default` for a
+   * scanned class, `import('./x.js').PostHandler` for the synthetic interface `sync` writes.
+   *
+   * The expression and not a specifier: a scan's handler is a default export and a synced one
+   * is named, and a producer that hands over only the path leaves the reader to guess which.
+   */
+  handler: string;
+  ops: { name: string; codes: string }[];
+}
+
+/**
+ * The module itself — written once, from a scan or from a card.
+ *
+ * `fougere sync` has the same three facts about a frond in ANOTHER repository: the card names
+ * the addresses, the operations, and what each one refuses. What it does not have is the
+ * handler's class, so it writes a synthetic interface and points here at that instead. Two
+ * producers, one spelling — a second copy of this format would drift the day one gained a
+ * member.
+ */
+export function facadeModule(served: readonly Served[], source: string): string {
+  const rows = served.flatMap((one) => one.ops.map((op) => `  '${one.at}.${op.name}': { errors: ${op.codes} };`));
+  const handlers = new Map(served.map((one) => [one.at, one.handler]));
+
+  // A named surface shares its handler's class name, so two of them would declare one const.
+  // A browser reaches the DEFAULT surface unless it was handed another endpoint, which is the
+  // one a page names; the prefixed keys stay in `FougereOperations` for whoever reads them.
+  const facades = [...handlers].filter(([at]) => !at.includes(':')).sort();
+
+  return [
+    `// Generated by Fougere from ${source} — do not edit, and do not commit.`,
+    '// Rewritten whenever the app boots, so it cannot drift from the handlers it was read off.',
+    '',
+    "import type { ErrorCode, FacadeName } from '@fougere/core/contract';",
+    '',
+    "declare module '@fougere/core/contract' {",
+    '  /** Every facade this app serves, and what each one refuses beyond what `kind` implies. */',
+    '  interface FougereOperations {',
+    ...(rows.length > 0 ? rows.sort().map((row) => `  ${row}`) : ['    // This app serves no facade.']),
+    '  }',
+    '',
+    '  /** The class that answers at each address — its operations, and what each one answers. */',
+    '  interface FougereHandlers {',
+    ...[...handlers].sort().map(([at, type]) => `    '${at}': ${type};`),
+    '  }',
+    '}',
+    '',
+    '// One facade per address. A page IMPORTS it, so a project that never generated this file',
+    "// fails to resolve rather than falling back to `string` in silence. The value is the",
+    '// address and nothing else: the handler is reached as a TYPE, and no server code travels.',
+    '//',
+    '// Named after the ADDRESS, never after the class: what a page holds is a facade, and calling',
+    "// it `PostHandler` would be a value claiming to be a class it is not. A page whose rows are",
+    '// already called `post` aliases it on the import, the way any other collision is settled.',
+    ...facades.map(([at, type]) =>
+      `export const ${at}: FacadeName<${type}, '${at}'> = { address: '${at}' };`),
+    '',
+  ].join('\n');
+}

package/src/scan/emit.ts

@@ -3,7 +3,8 @@ import { type ScanResult } from '@fougere/core';
 import { nameOf, type CollectorEntry, type EntityEntry, type FrondDescriptor, type HandlerEntry, type MiddlewareEntry, type PresenterEntry, type ProviderEntry, type SeedEntry } from '@fougere/core/descriptor';
 import { dirname, relative } from 'node:path';
 
-import { type Aliases, type Live, lit, operationsOf, schemaRef } from './contract.js';
+import { type Aliases } from './Aliases.js';
+import { lit, operationsOf, schemaRef, type Live } from './Live.js';
 
 export interface EmitOptions {
   /** Where the generated module will sit. Imports are written relative to it. */

package/src/scan/handler-parser.ts

@@ -1,7 +1,9 @@
 /** Handler signature parser — extracts method signatures from handler source files. */
 import { type Param, type Signature, type TypeRef } from '@fougere/core/descriptor';
+import { type ErrorCode } from '@fougere/core';
 
 import type ts from '@typescript/typescript6';
+import { refusalsIn } from './refusals.js';
 import { readFileSync, existsSync, statSync } from 'node:fs';
 import { join, dirname, resolve as resolvePath } from 'node:path';
 
@@ -120,7 +122,8 @@ export async function seedTypeProgram(filePaths: readonly string[], projectRoot?
 
   for (const filePath of filePaths) {
     const absolute = resolvePath(filePath);
-    const configured = compilerProjectOf(absolute, projectRoot);
+    const typescript = getTS();
+  const configured = compilerProjectOf(absolute, projectRoot);
     const group = grouped.get(configured.key) ?? { options: configured.options, paths: [] };
     group.paths.push(absolute);
     grouped.set(configured.key, group);
@@ -133,8 +136,8 @@ export async function seedTypeProgram(filePaths: readonly string[], projectRoot?
   }
 }
 
-function checkedSourceOf(filePath: string, projectRoot?: string): { source: ts.SourceFile; checker: ts.TypeChecker } {
-  const typescript = getTS();
+/** The program a file belongs to, built once and widened as more files are asked for. */
+function projectOf(filePath: string, projectRoot?: string): { program: ts.Program; absolute: string } {
   const absolute = resolvePath(filePath);
   const configured = compilerProjectOf(absolute, projectRoot);
   let project = typeProjects.get(configured.key);
@@ -153,9 +156,15 @@ function checkedSourceOf(filePath: string, projectRoot?: string): { source: ts.S
     project.program = builtProgram(configured.key, [...project.roots], project.options);
   }
 
-  const source = project.program.getSourceFile(absolute);
+  return { program: project.program, absolute };
+}
+
+function checkedSourceOf(filePath: string, projectRoot?: string): { source: ts.SourceFile; checker: ts.TypeChecker } {
+  const { program, absolute } = projectOf(filePath, projectRoot);
+  const source = program.getSourceFile(absolute);
   if (!source) throw new Error(`TypeScript did not include '${absolute}' in its program.`);
-  return { source, checker: project.program.getTypeChecker() };
+
+  return { source, checker: program.getTypeChecker() };
 }
 
 /** A file, opened. Five places read and parsed one, each spelling the same two calls. */
@@ -455,7 +464,7 @@ function extractClassMethods(
     // `private`/`protected` is a statement about the surface, and the AST carries it —
     // it was read past. Every helper a handler names by intent (`mustOwn`, `readMany`,
     // `refuse`) became a callable op: measured on the bench, `list.readMany` executed
-    // and `list.mayPublish` validated its argument. A door is what the author declares
+    // and `list.mayPublish` validated its argument. A facade is what the author declares
     // public, and TypeScript already has the word for it. `#name` is private too, but
     // it is not an identifier, so it never reached here in the first place.
     if (member.modifiers?.some((m) => m.kind === ts.SyntaxKind.PrivateKeyword || m.kind === ts.SyntaxKind.ProtectedKeyword)) continue;
@@ -519,7 +528,7 @@ function inheritedFromBase(
     if (skip.has(property.name)) continue;
 
     // `private`/`protected` is a statement about the surface, and the declaration carries
-    // it. A door is what the author declares public.
+    // it. A facade is what the author declares public.
     const declaration = property.declarations?.[0];
     if (declaration && typescript.canHaveModifiers(declaration)
       && typescript.getModifiers(declaration)?.some((m) => m.kind === typescript.SyntaxKind.PrivateKeyword
@@ -635,6 +644,24 @@ export async function parseAllHandlerMethods(filePath: string, projectRoot?: str
   return parseClassMethods(filePath, CONSTRUCTOR_ONLY, projectRoot);
 }
 
+/**
+ * What every operation of a file's program can refuse, walked from the refusals upward.
+ *
+ * It reads the SAME program the signatures came from, so nothing is opened twice and a
+ * dependency resolves through the checker rather than by name.
+ */
+export async function parseRefusals(
+  filePath: string,
+  isOperation: (name: string) => boolean,
+  projectRoot?: string,
+): Promise<Map<string, ErrorCode[]>> {
+  const typescript = await loadTS();
+  const { program } = projectOf(filePath, projectRoot);
+  const { byMethod } = refusalsIn(typescript, program, isOperation);
+
+  return new Map([...byMethod].map(([method, codes]) => [method, [...codes].sort()]));
+}
+
 /** Parse a presenter source file and extract all method signatures. */
 export async function parsePresenterMethods(filePath: string, projectRoot?: string): Promise<Signature[]> {
   await loadTS();

package/src/scan/names.ts

@@ -0,0 +1,101 @@
+/**
+ * The names this project contains, as TYPES — what an operator may write in a config file.
+ *
+ * A fourth projection of one scan, beside the facade, the emitted module and the stated frond.
+ * It exists because `fougere.config.ts` and `frond.config.ts` designate classes, entities and
+ * fronds by STRING, and a string is the one thing in this framework that nothing reads back:
+ * `ports: { Payment: 'StripePayment' }` survives renaming `StripePayment`, and says so at boot.
+ *
+ * Ports are written as a RELATION rather than one more union. Two unions would admit
+ * `ports: { Payment: 'FileStorage' }` — both names exist, and nothing would say that one does
+ * not answer the other.
+ *
+ * Documented: [ports](https://fougere.dev/docs/business/ports).
+ */
+import { basesOf, type FrondDescriptor } from '@fougere/core/descriptor';
+import { type ScanResult } from '@fougere/core';
+
+export interface NamesOptions {
+  /** The keys of `sources:`, which the config states and no scan can find. */
+  sources?: readonly string[];
+}
+
+/** Sorted, deduplicated, and quoted — the union as it is written. */
+function union(names: Iterable<string>): string {
+  const all = [...new Set(names)].sort();
+
+  return all.length > 0 ? all.map((name) => `'${name}'`).join(' | ') : 'never';
+}
+
+/**
+ * The classes a frond declares, whatever convention directory they came from.
+ *
+ * `basesOf` asks whether a name is answered, which the boot settles against its container. A
+ * scan has no container, so what stands in for it is the project itself: a port is a class this
+ * scan read. That is the same line drawn from the other side — `RepositoryBase` is returned by a
+ * call and declared in no file, so it is excluded here for the reason the boot excludes it.
+ */
+function declaredIn(frond: FrondDescriptor): Set<string> {
+  return new Set([
+    ...frond.providers.map((one) => one.ctor.name),
+    ...frond.handlers.map((one) => one.ctor.name),
+    ...frond.middlewares.map((one) => one.ctor.name),
+  ]);
+}
+
+export function emitNames(scan: ScanResult, options: NamesOptions = {}): string {
+  const fronds = new Set<string>();
+  const entities = new Set<string>();
+  const handlers = new Set<string>();
+  const providers = new Set<string>();
+  const middlewares = new Set<string>();
+  const ports = new Map<string, Set<string>>();
+
+  for (const frond of scan.fronds) {
+    fronds.add(frond.name);
+    // BOTH spellings, because the boot admits both: `sources:` lowercases what it is
+    // given (`lowerFirst`), so `['Ledger']` and `['ledger']` name one entity. A union of
+    // one form would be stricter than what runs, and refuse code that works.
+    for (const entity of frond.entities) {
+      entities.add(entity.name);
+      entities.add(entity.entityClass.name);
+    }
+    for (const handler of frond.handlers) handlers.add(handler.ctor.name);
+    for (const provider of frond.providers) providers.add(provider.ctor.name);
+    for (const middleware of frond.middlewares) middlewares.add(middleware.ctor.name);
+
+    const declared = declaredIn(frond);
+    for (const [port, answering] of basesOf(frond.providers, (name) => declared.has(name))) {
+      const known = ports.get(port) ?? new Set<string>();
+      for (const one of answering) known.add(one.ctor.name);
+      ports.set(port, known);
+    }
+  }
+
+  return [
+    '// Generated by Fougere from what the scan found — do not edit, and do not commit.',
+    '// Rewritten whenever the app boots, so it cannot drift from the project it was read off.',
+    '',
+    "declare module '@fougere/core' {",
+    '  /** Every name this project declares, by kind. A config may write no other. */',
+    '  interface FougereNames {',
+    `    frond: ${union(fronds)};`,
+    `    entity: ${union(entities)};`,
+    `    handler: ${union(handlers)};`,
+    `    provider: ${union(providers)};`,
+    `    middleware: ${union(middlewares)};`,
+    `    source: ${union(options.sources ?? [])};`,
+    '  }',
+    '',
+    '  /** Each port, and what extends it — so a config cannot answer one with the other. */',
+    '  interface FougerePorts {',
+    ...(ports.size > 0
+      ? [...ports].sort().map(([port, answering]) => `    ${port}: ${union(answering)};`)
+      : ['    // This project declares no port.']),
+    '  }',
+    '}',
+    '',
+    'export {};',
+    '',
+  ].join('\n');
+}

package/src/scan/refusals.ts

@@ -0,0 +1,167 @@
+/**
+ * What an operation can refuse, read by walking UP from every refusal to whoever reaches it.
+ *
+ * Reading a handler's own body answers "at least these", which is not a contract: a guard moved
+ * into a helper — a refactor with no change of behaviour — would silently shrink what an app
+ * promises. Measured on `site/fronds/blog`, the body of `publish` holds ONE throw and the walk
+ * finds four, because the three that matter live in module functions beside it.
+ *
+ * Walking up rather than down, for the same reason a router indexes forward: there are a handful
+ * of refusal sites and many operations, so the search starts from the few. An address resolved
+ * through a port lands on the base's method and the union of what its realizations refuse, which
+ * OVER-approximates — the honest direction for a contract, where a code that cannot happen costs
+ * a dead branch and a code that can costs a surprise in production.
+ *
+ * It stops at the frond. What another frond refuses is published by ITS card.
+ */
+import type ts from '@typescript/typescript6';
+import { ErrorCode } from '@fougere/core';
+
+/** Where a refusal was written, and which one. */
+interface Site {
+  /** `ClassName.method`, or `<fn>.name` for a module function. */
+  at: string;
+  code: ErrorCode;
+}
+
+export interface Refusals {
+  /** `Handler.method` → the codes any path from it can reach. */
+  byMethod: Map<string, Set<ErrorCode>>;
+  /** How many refusal sites the walk started from — zero is a claim, not a failure. */
+  sites: number;
+}
+
+/** A refusal this package raises about itself never reaches a caller, so it is not a contract. */
+const MASKED = new Set(['INTERNAL_ERROR']);
+
+/**
+ * The name a call and a declaration agree on. A method carries its class so two `list` methods
+ * are two subjects; a module function has no owner and says so rather than borrowing one.
+ */
+function nameOf(typescript: typeof ts, node: ts.Node): string | undefined {
+  const named = node as { name?: ts.Node };
+  const own = named.name && 'getText' in named.name ? (named.name as ts.Identifier).getText() : undefined;
+  if (!own) return undefined;
+
+  const owner = typescript.isMethodDeclaration(node) || typescript.isMethodSignature(node)
+    ? (node.parent as { name?: ts.Identifier })?.name?.getText()
+    : undefined;
+
+  return `${owner ?? '<fn>'}.${own}`;
+}
+
+/** The method or function a node sits inside — where a refusal is charged. */
+function holderOf(typescript: typeof ts, node: ts.Node): string | undefined {
+  let at: ts.Node | undefined = node;
+  while (at && !typescript.isMethodDeclaration(at) && !typescript.isFunctionDeclaration(at)) at = at.parent;
+
+  return at ? nameOf(typescript, at) : undefined;
+}
+
+/**
+ * `new FougereError({ code: ErrorCode.CONFLICT })` → `CONFLICT`, and nothing for a computed one.
+ *
+ * The member is read as TEXT, so it is judged against the enum before it travels: a walk reaches
+ * files the project never compiles, and a name that is not a code would otherwise be published on
+ * a card as one.
+ */
+function codeIn(typescript: typeof ts, node: ts.NewExpression): ErrorCode | undefined {
+  if (node.expression.getText() !== 'FougereError') return undefined;
+  const first = node.arguments?.[0];
+  if (!first || !typescript.isObjectLiteralExpression(first)) return undefined;
+
+  const written = first.properties.find((one) => one.name?.getText() === 'code');
+  const value = written && typescript.isPropertyAssignment(written) ? written.initializer.getText() : undefined;
+  if (!value?.startsWith('ErrorCode.')) return undefined;
+
+  const member = value.slice('ErrorCode.'.length);
+
+  return member in ErrorCode ? ErrorCode[member as keyof typeof ErrorCode] : undefined;
+}
+
+/**
+ * Read one program: every refusal, and every edge from a caller to what it calls.
+ *
+ * The checker is what makes an edge exact — `this.posts.findById()` resolves to the declaration
+ * on `PostRepository`, which is the same node a refusal inside it was charged to. No name
+ * matching, and no guess about what a dependency holds.
+ */
+export function refusalsIn(typescript: typeof ts, program: ts.Program, isOperation: (name: string) => boolean): Refusals {
+  const checker = program.getTypeChecker();
+  const sites: Site[] = [];
+  /** callee → the callers that reach it. */
+  const callers = new Map<string, Set<string>>();
+
+  for (const file of program.getSourceFiles()) {
+    if (file.isDeclarationFile || file.fileName.includes('node_modules')) continue;
+
+    const visit = (node: ts.Node): void => {
+      if (typescript.isNewExpression(node)) {
+        const code = codeIn(typescript, node);
+        const at = code ? holderOf(typescript, node) : undefined;
+        if (code && at && !MASKED.has(code)) sites.push({ at, code });
+      }
+
+      if (typescript.isCallExpression(node)) {
+        const callee = calleeOf(typescript, checker, node);
+        const caller = callee ? holderOf(typescript, node) : undefined;
+        if (callee && caller && callee !== caller) {
+          (callers.get(callee) ?? callers.set(callee, new Set()).get(callee)!).add(caller);
+        }
+      }
+
+      typescript.forEachChild(node, visit);
+    };
+    visit(file);
+  }
+
+  return { sites: sites.length, byMethod: reached(sites, callers, isOperation) };
+}
+
+/** The declaration a call resolves to, named the way a refusal site is. */
+function calleeOf(typescript: typeof ts, checker: ts.TypeChecker, node: ts.CallExpression): string | undefined {
+  const target = node.expression;
+  const found = checker.getSymbolAtLocation(target)
+    ?? (typescript.isPropertyAccessExpression(target) ? checker.getSymbolAtLocation(target.name) : undefined);
+
+  // An IMPORTED function resolves to its import specifier, which is callable in no sense the
+  // test below admits — so the edge was dropped and the refusal never climbed out of its file.
+  // Measured on `site/fronds/blog`: moving three guards into a neighbouring module, which
+  // `fougere check` asks for, cut what `publish` promises from five codes to two.
+  const symbol = found && found.flags & typescript.SymbolFlags.Alias ? checker.getAliasedSymbol(found) : found;
+
+  const declared = symbol?.declarations?.[0];
+  if (!declared) return undefined;
+
+  const callable = typescript.isMethodDeclaration(declared)
+    || typescript.isMethodSignature(declared)
+    || typescript.isFunctionDeclaration(declared);
+
+  return callable ? nameOf(typescript, declared) : undefined;
+}
+
+/** From each refusal, climb its callers until an operation holds it. */
+function reached(
+  sites: readonly Site[],
+  callers: Map<string, Set<string>>,
+  isOperation: (name: string) => boolean,
+): Map<string, Set<ErrorCode>> {
+  const found = new Map<string, Set<ErrorCode>>();
+
+  for (const site of sites) {
+    const walked = new Set([site.at]);
+    const queue = [site.at];
+
+    while (queue.length > 0) {
+      const at = queue.shift()!;
+      if (isOperation(at)) (found.get(at) ?? found.set(at, new Set()).get(at)!).add(site.code);
+      for (const caller of callers.get(at) ?? []) {
+        if (walked.has(caller)) continue;
+        walked.add(caller);
+        queue.push(caller);
+      }
+    }
+  }
+
+  return found;
+}