@voxgig/sdkgen 4.17.6 → 4.18.0

package/bin/voxgig-sdkgen

@@ -8,7 +8,7 @@ const { Shape, One, Skip } = require('shape')
 
 const { SdkGen } = require('../dist/sdkgen.js')
 
-const VERSION = '4.17.6'
+const VERSION = '4.18.0'
 const KONSOLE = console
 
 

package/dist/cmp/AgentGuideContent.js

@@ -156,6 +156,36 @@ npm run generate
 Note: the \`voxgig-sdkgen\` CLI only *scaffolds* (\`target add\` /
 \`feature add\`). Generation itself runs via \`npm run generate\` (backed by
 \`@voxgig/model\`) — there is no \`generate\` CLI subcommand.
+
+### Two silent failure modes
+
+Generation has two ways of going wrong that **nothing reports**. Neither
+breaks a build or a test, so the only symptom is a tree that disagrees with
+the model — which is easy to commit past.
+
+**\`voxgig-model --no-config\` writes a REDUCED model.** The
+\`.model-config\` build is what registers the generator actions, and an SDK
+project loads \`apidef\` and \`sdkgen\` through exactly that mechanism:
+
+\`\`\`
+sys: model: action: { apidef: load: 'build/apidef.js', sdkgen: load: 'build/sdkgen.js' }
+sys: model: order: action: 'apidef,sdkgen'
+\`\`\`
+
+\`--no-config\` skips it, so those actions never run — and the model build
+still *writes* the model file, now missing whatever they contribute (the
+name case variants, and whole subtrees). A reduced model is a valid model,
+so nothing downstream complains. To inspect the model layer **without side
+effects**, use \`npm run dry-generate\` (\`-y\`, writes nothing). Never
+\`--no-config\` in anything whose output might be committed.
+
+**Regeneration never DELETES.** A file the generator has stopped emitting
+stays in the tree, and \`git status\` is silent because it is committed and
+unchanged. Narrowing a feature's plugin selection, or dropping a target, can
+leave whole modules behind that nothing references and no test covers.
+
+To find either, the target trees must be deleted and regenerated — a
+regeneration in place cannot see stale output at all.
 `;
 }
 // (b) adding a new generated feature.

package/dist/cmp/AgentGuideContent.js.map

@@ -1 +1 @@
-{"version":3,"file":"AgentGuideContent.js","sourceRoot":"","sources":["../../src/cmp/AgentGuideContent.ts"],"names":[],"mappings":";AAAA,8EAA8E;AAC9E,8EAA8E;AAC9E,6EAA6E;AAC7E,uEAAuE;AACvE,2EAA2E;AAC3E,EAAE;AACF,gFAAgF;AAChF,gEAAgE;AAChE,gFAAgF;AAChF,sBAAsB;;;QAgRpB,OAAO;QACP,iBAAiB;QACjB,eAAe;QACf,WAAW;QACX,WAAW;QACX,kBAAkB;QAClB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,cAAc;QACd,WAAW;QACX,eAAe;QACf,cAAc;QACd,gBAAgB;QAChB,YAAY;QACZ,aAAa;AA7Rf,4DAAyD;AAEzD,uCAA+B;AAE/B,oCAGiB;AASjB,MAAM,QAAQ,GAA4B;IACxC,EAAE,EAAG,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE;IAC9C,EAAE,EAAG,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE;IAC9C,EAAE,EAAG,EAAE,OAAO,EAAE,IAAI,EAAE;IACtB,EAAE,EAAG,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE;IACnD,GAAG,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE;IACnD,EAAE,EAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE;IACjD,GAAG,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE;IAChD,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,2CAA2C,EAAE;IACxF,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,iEAAiE,EAAE;IAC9G,SAAS,EAAE;QACT,OAAO,EAAE,UAAU;QACnB,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,yFAAyF;KAChG;CACF,CAAA;QA8OC,QAAQ;AA3OV,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;AAC5C,CAAC;AAGD,2EAA2E;AAC3E,+EAA+E;AAC/E,0DAA0D;AAC1D,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACvB,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,CAAC,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACpC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QACxB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACzB,CAAC;SACI,CAAC;QACJ,IAAI,CAAC,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QAChC,IAAI,CAAC,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAChC,CAAC;IACD,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,yBAAyB,IAAI,4BAA4B,CAAA;IAClE,CAAC;IACD,OAAO,uCAAuC,GAAG,IAAI,GAAG,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,CAAA;AAChG,CAAC;AAGD,+EAA+E;AAE/E,wEAAwE;AACxE,6DAA6D;AAC7D,SAAS,eAAe,CAAC,MAAW;IAClC,OAAO,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,KAAK,CAAA;AACjD,CAAC;AAED,6EAA6E;AAC7E,0EAA0E;AAC1E,8DAA8D;AAC9D,SAAS,WAAW,CAAC,MAAW;IAC9B,OAAO,MAAM,EAAE,UAAU,KAAK,KAAK,CAAA;AACrC,CAAC;AAED,SAAS,WAAW,CAAC,MAAW;IAC9B,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAA;AACxD,CAAC;AAED,oEAAoE;AACpE,sEAAsE;AACtE,SAAS,kBAAkB,CAAC,MAAW,EAAE,OAAY;IACnD,MAAM,GAAG,GAAG,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,IAAI,IAAI,EAAE,CAAA;IAC7C,IAAI,KAAK,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC;QAC3B,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,aAAa,CAAA;IACvD,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,GAAG,WAAW,GAAG,GAAG,CAAA;AACzC,CAAC;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,SAAS,YAAY,CAAC,OAAY;IAChC,OAAO,IAAA,eAAI,EAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;SACjC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC;SACjC,MAAM,CAAC,OAAO,CAAC,CAAA;AACpB,CAAC;AAGD,yEAAyE;AAEzE,SAAS,aAAa,CAAC,KAAU;IAC/B,MAAM,MAAM,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,SAAS,CAAC,IAAI,EAAE,CAAA;IAC9D,OAAO,IAAA,eAAI,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAA;AACjE,CAAC;AAED,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,SAAS,cAAc,CAAC,KAAU,EAAE,MAAY;IAC9C,MAAM,OAAO,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,UAAU,CAAC,IAAI,EAAE,CAAA;IAChE,OAAO,IAAA,eAAI,EAAC,OAAO,CAAC;SACjB,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC;SAC3C,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,MAAM,IAAI,IAAA,8BAAc,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,cAAc,CAAC,KAAU;IAChC,MAAM,MAAM,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,SAAS,CAAC,IAAI,EAAE,CAAA;IAC9D,OAAO,IAAA,eAAI,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAA;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,KAAU;IAC7B,OAAO,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAA;AAC/D,CAAC;AAGD,+EAA+E;AAE/E,mCAAmC;AACnC,SAAS,eAAe;IACtB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2BR,CAAA;AACD,CAAC;AAGD,sCAAsC;AACtC,SAAS,cAAc;IACrB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;CAwBR,CAAA;AACD,CAAC;AAGD,wEAAwE;AACxE,SAAS,gBAAgB;IACvB,OAAO;;;;;;;;;;;;;;;;;;;;CAoBR,CAAA;AACD,CAAC;AAGD,0CAA0C;AAC1C,SAAS,YAAY;IACnB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiCR,CAAA;AACD,CAAC;AAGD,0EAA0E;AAC1E,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,KAAK;;;;;CAKlB,CAAA;AACD,CAAC"}
+{"version":3,"file":"AgentGuideContent.js","sourceRoot":"","sources":["../../src/cmp/AgentGuideContent.ts"],"names":[],"mappings":";AAAA,8EAA8E;AAC9E,8EAA8E;AAC9E,6EAA6E;AAC7E,uEAAuE;AACvE,2EAA2E;AAC3E,EAAE;AACF,gFAAgF;AAChF,gEAAgE;AAChE,gFAAgF;AAChF,sBAAsB;;;QA8SpB,OAAO;QACP,iBAAiB;QACjB,eAAe;QACf,WAAW;QACX,WAAW;QACX,kBAAkB;QAClB,YAAY;QACZ,aAAa;QACb,cAAc;QACd,cAAc;QACd,WAAW;QACX,eAAe;QACf,cAAc;QACd,gBAAgB;QAChB,YAAY;QACZ,aAAa;AA3Tf,4DAAyD;AAEzD,uCAA+B;AAE/B,oCAGiB;AASjB,MAAM,QAAQ,GAA4B;IACxC,EAAE,EAAG,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE;IAC9C,EAAE,EAAG,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE;IAC9C,EAAE,EAAG,EAAE,OAAO,EAAE,IAAI,EAAE;IACtB,EAAE,EAAG,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE;IACnD,GAAG,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,IAAI,EAAE;IACnD,EAAE,EAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,IAAI,EAAE;IACjD,GAAG,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE;IAChD,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,2CAA2C,EAAE;IACxF,QAAQ,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,iEAAiE,EAAE;IAC9G,SAAS,EAAE;QACT,OAAO,EAAE,UAAU;QACnB,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,yFAAyF;KAChG;CACF,CAAA;QA4QC,QAAQ;AAzQV,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;AAC5C,CAAC;AAGD,2EAA2E;AAC3E,+EAA+E;AAC/E,0DAA0D;AAC1D,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACvB,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,CAAC,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACpC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QACxB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACzB,CAAC;SACI,CAAC;QACJ,IAAI,CAAC,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QAChC,IAAI,CAAC,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAChC,CAAC;IACD,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,yBAAyB,IAAI,4BAA4B,CAAA;IAClE,CAAC;IACD,OAAO,uCAAuC,GAAG,IAAI,GAAG,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,CAAA;AAChG,CAAC;AAGD,+EAA+E;AAE/E,wEAAwE;AACxE,6DAA6D;AAC7D,SAAS,eAAe,CAAC,MAAW;IAClC,OAAO,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,KAAK,KAAK,CAAA;AACjD,CAAC;AAED,6EAA6E;AAC7E,0EAA0E;AAC1E,8DAA8D;AAC9D,SAAS,WAAW,CAAC,MAAW;IAC9B,OAAO,MAAM,EAAE,UAAU,KAAK,KAAK,CAAA;AACrC,CAAC;AAED,SAAS,WAAW,CAAC,MAAW;IAC9B,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAA;AACxD,CAAC;AAED,oEAAoE;AACpE,sEAAsE;AACtE,SAAS,kBAAkB,CAAC,MAAW,EAAE,OAAY;IACnD,MAAM,GAAG,GAAG,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,IAAI,IAAI,EAAE,CAAA;IAC7C,IAAI,KAAK,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC;QAC3B,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,aAAa,CAAA;IACvD,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,GAAG,WAAW,GAAG,GAAG,CAAA;AACzC,CAAC;AAED,8EAA8E;AAC9E,0CAA0C;AAC1C,SAAS,YAAY,CAAC,OAAY;IAChC,OAAO,IAAA,eAAI,EAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;SACjC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC;SACjC,MAAM,CAAC,OAAO,CAAC,CAAA;AACpB,CAAC;AAGD,yEAAyE;AAEzE,SAAS,aAAa,CAAC,KAAU;IAC/B,MAAM,MAAM,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,SAAS,CAAC,IAAI,EAAE,CAAA;IAC9D,OAAO,IAAA,eAAI,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAA;AACjE,CAAC;AAED,uEAAuE;AACvE,oEAAoE;AACpE,qEAAqE;AACrE,SAAS,cAAc,CAAC,KAAU,EAAE,MAAY;IAC9C,MAAM,OAAO,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,UAAU,CAAC,IAAI,EAAE,CAAA;IAChE,OAAO,IAAA,eAAI,EAAC,OAAO,CAAC;SACjB,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC;SAC3C,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,MAAM,IAAI,IAAA,8BAAc,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,cAAc,CAAC,KAAU;IAChC,MAAM,MAAM,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,SAAS,CAAC,IAAI,EAAE,CAAA;IAC9D,OAAO,IAAA,eAAI,EAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAA;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,KAAU;IAC7B,OAAO,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAA;AAC/D,CAAC;AAGD,+EAA+E;AAE/E,mCAAmC;AACnC,SAAS,eAAe;IACtB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAyDR,CAAA;AACD,CAAC;AAGD,sCAAsC;AACtC,SAAS,cAAc;IACrB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;CAwBR,CAAA;AACD,CAAC;AAGD,wEAAwE;AACxE,SAAS,gBAAgB;IACvB,OAAO;;;;;;;;;;;;;;;;;;;;CAoBR,CAAA;AACD,CAAC;AAGD,0CAA0C;AAC1C,SAAS,YAAY;IACnB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiCR,CAAA;AACD,CAAC;AAGD,0EAA0E;AAC1E,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,KAAK;;;;;CAKlB,CAAA;AACD,CAAC"}

package/dist/cmp/FeatureDocs.d.ts

@@ -8,9 +8,14 @@ type FeatureDoc = {
         name: string;
         value: string;
     }>;
+    extras: Array<{
+        name: string;
+        type: string;
+    }>;
 };
+declare function sentinelName(v: any): string;
 declare function renderValue(v: any): string;
 declare function featureDocs(model: any, target?: any): FeatureDoc[];
 declare function honoursActivationOrder(target: any): boolean;
-export { featureDocs, renderValue, honoursActivationOrder, };
+export { featureDocs, renderValue, sentinelName, honoursActivationOrder, };
 export type { FeatureDoc };

package/dist/cmp/FeatureDocs.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.featureDocs = featureDocs;
 exports.renderValue = renderValue;
+exports.sentinelName = sentinelName;
 exports.honoursActivationOrder = honoursActivationOrder;
 const applicability_1 = require("../helpers/applicability");
 const jostraca_1 = require("jostraca");
@@ -14,6 +15,23 @@ const types_1 = require("../types");
 function isWrapping(feat) {
     return 'wrap' === feat.transport;
 }
+// A struct.validate sentinel as a reader's word for it: '`$FUNCTION`' ->
+// 'function'. A union renders its members, so netsim's latency reads
+// 'number | map'. Anything unrecognised renders verbatim rather than being
+// dropped — a doc table that silently omits an option is the failure this
+// whole path exists to fix.
+function sentinelName(v) {
+    if (Array.isArray(v)) {
+        const members = v.slice(1).map((m) => sentinelName(m))
+            .filter((m) => 'one' !== m);
+        return 0 === members.length ? 'any' : members.join(' | ');
+    }
+    if ('string' !== typeof v) {
+        return 'any';
+    }
+    const bare = v.replace(/[`$]/g, '').trim().toLowerCase();
+    return '' === bare ? 'any' : bare;
+}
 function renderValue(v) {
     if (null == v) {
         return '';
@@ -47,6 +65,14 @@ function featureDocs(model, target) {
             name: k,
             value: renderValue(opts[k]),
         }));
+        const extra = (f.config && f.config.optspec) || {};
+        const extras = Object.keys(extra)
+            // A name in both is documented by its DEFAULT; `config.optspec`
+            // only sharpened its type (netsim's `latency`, a number that is
+            // also a { min, max } map), and a reader wants the default.
+            .filter((k) => null == opts[k])
+            .sort()
+            .map((k) => ({ name: k, type: sentinelName(extra[k]) }));
         return {
             name: f.name,
             Name: f.Name || f.name,
@@ -54,6 +80,7 @@ function featureDocs(model, target) {
             transport: f.transport || 'none',
             wraps: isWrapping(f),
             options,
+            extras,
         };
     })
         .sort((a, b) => a.name.localeCompare(b.name));

package/dist/cmp/FeatureDocs.js.map

@@ -1 +1 @@
-{"version":3,"file":"FeatureDocs.js","sourceRoot":"","sources":["../../src/cmp/FeatureDocs.ts"],"names":[],"mappings":";;QAoGE,WAAW;QACX,WAAW;QACX,sBAAsB;AAtGxB,4DAAyD;AAEzD,uCAA+B;AAE/B,oCAA4C;AAqB5C,wEAAwE;AACxE,kBAAkB;AAClB,wEAAwE;AACxE,yDAAyD;AACzD,wDAAwD;AACxD,SAAS,UAAU,CAAC,IAAS;IAC3B,OAAO,MAAM,KAAK,IAAI,CAAC,SAAS,CAAA;AAClC,CAAC;AAGD,SAAS,WAAW,CAAC,CAAM;IACzB,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QAAC,OAAO,EAAE,CAAA;IAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAAC,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IAAC,CAAC;IACpF,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC3B,OAAO,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IACxE,CAAC;IACD,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,IAAI,CAAC,GAAG,CAAA;IAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;AAClB,CAAC;AAGD,uEAAuE;AACvE,8BAA8B;AAC9B,uEAAuE;AACvE,uEAAuE;AACvE,2EAA2E;AAC3E,SAAS,WAAW,CAAC,KAAU,EAAE,MAAY;IAC3C,MAAM,OAAO,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,UAAU,CAAC,CAAA;IAE1D,OAAO,IAAA,eAAI,EAAC,OAAO,CAAC;SACjB,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC;SAC3D,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,MAAM,IAAI,IAAA,8BAAc,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC;SAC/D,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QACjD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnD,IAAI,EAAE,CAAC;YACP,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAC5B,CAAC,CAAC,CAAA;QACH,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI;YACtB,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;YACpB,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,MAAM;YAChC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;YACpB,OAAO;SACR,CAAA;IACH,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAa,EAAE,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AACzE,CAAC;AAKD,0EAA0E;AAC1E,+CAA+C;AAC/C,EAAE;AACF,6EAA6E;AAC7E,2EAA2E;AAC3E,2EAA2E;AAC3E,wEAAwE;AACxE,wEAAwE;AACxE,yEAAyE;AACzE,aAAa;AACb,EAAE;AACF,iDAAiD;AACjD,MAAM,mBAAmB,GAAG,CAAC,MAAM,CAAC,CAAA;AAEpC,SAAS,sBAAsB,CAAC,MAAW;IACzC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;AACpD,CAAC"}
+{"version":3,"file":"FeatureDocs.js","sourceRoot":"","sources":["../../src/cmp/FeatureDocs.ts"],"names":[],"mappings":";;QA0IE,WAAW;QACX,WAAW;QACX,YAAY;QACZ,sBAAsB;AA7IxB,4DAAyD;AAEzD,uCAA+B;AAE/B,oCAA4C;AA4B5C,wEAAwE;AACxE,kBAAkB;AAClB,wEAAwE;AACxE,yDAAyD;AACzD,wDAAwD;AACxD,SAAS,UAAU,CAAC,IAAS;IAC3B,OAAO,MAAM,KAAK,IAAI,CAAC,SAAS,CAAA;AAClC,CAAC;AAGD,yEAAyE;AACzE,qEAAqE;AACrE,2EAA2E;AAC3E,0EAA0E;AAC1E,4BAA4B;AAC5B,SAAS,YAAY,CAAC,CAAM;IAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;aACxD,MAAM,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAA;QACrC,OAAO,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC3D,CAAC;IAED,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IACxD,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;AACnC,CAAC;AAGD,SAAS,WAAW,CAAC,CAAM;IACzB,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QAAC,OAAO,EAAE,CAAA;IAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAAC,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IAAC,CAAC;IACpF,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC3B,OAAO,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC/B,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IACxE,CAAC;IACD,IAAI,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;QAAC,OAAO,IAAI,CAAC,GAAG,CAAA;IAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;AAClB,CAAC;AAGD,uEAAuE;AACvE,8BAA8B;AAC9B,uEAAuE;AACvE,uEAAuE;AACvE,2EAA2E;AAC3E,SAAS,WAAW,CAAC,KAAU,EAAE,MAAY;IAC3C,MAAM,OAAO,GAAG,IAAA,oBAAY,EAAC,KAAK,EAAE,QAAQ,WAAG,UAAU,CAAC,CAAA;IAE1D,OAAO,IAAA,eAAI,EAAC,OAAO,CAAC;SACjB,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC;SAC3D,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,IAAI,IAAI,MAAM,IAAI,IAAA,8BAAc,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC;SAC/D,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QACjD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACnD,IAAI,EAAE,CAAC;YACP,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAC5B,CAAC,CAAC,CAAA;QAEH,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QAClD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YAC/B,gEAAgE;YAChE,gEAAgE;YAChE,4DAA4D;aAC3D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;aAC9B,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC1D,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI;YACtB,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;YACpB,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,MAAM;YAChC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;YACpB,OAAO;YACP,MAAM;SACP,CAAA;IACH,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAa,EAAE,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AACzE,CAAC;AAKD,0EAA0E;AAC1E,+CAA+C;AAC/C,EAAE;AACF,6EAA6E;AAC7E,2EAA2E;AAC3E,2EAA2E;AAC3E,wEAAwE;AACxE,wEAAwE;AACxE,yEAAyE;AACzE,aAAa;AACb,EAAE;AACF,iDAAiD;AACjD,MAAM,mBAAmB,GAAG,CAAC,MAAM,CAAC,CAAA;AAEpC,SAAS,sBAAsB,CAAC,MAAW;IACzC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;AACpD,CAAC"}

package/dist/cmp/ReadmeRefFeatures.js

@@ -69,13 +69,14 @@ ${f.title}.
         (0, jostraca_1.Content)(`**Configuration**
 
 `);
-        // THE TABLE IS THE MODEL'S OPTIONS, AND THE MODEL IS INCOMPLETE. Several
-        // features accept runtime-only options the model never declares — cost
-        // reads `actor` and `sink`, audit reads `sink` — so a table derived from
-        // `config.options` cannot list them. Deriving from a second hand-written
-        // list would reintroduce exactly the drift this module exists to avoid,
-        // so the honest fix is upstream: declare them in the feature model. Until
-        // then, say so rather than imply the table is exhaustive.
+        // THE TABLE IS THE MODEL'S OPTIONS, and the model now carries both
+        // halves of them. It used to carry one: `config.options` is a DEFAULTS
+        // map, so the options with no default — cost's `sink`, audit's `sink`,
+        // every injected clock — could not appear in it, and this table had to
+        // admit it was not exhaustive. `config.optspec` declares those with a
+        // type instead of a default, and they are listed below the defaults.
+        // Same declaration the generated option spec validates against, so a
+        // documented option and a validated option cannot be different sets.
         if (0 < f.options.length) {
             (0, jostraca_1.Content)(`| Option | Default |
 |---|---|
@@ -87,17 +88,26 @@ ${f.title}.
             (0, jostraca_1.Content)(`
 `);
         }
-        else {
+        else if (0 === f.extras.length) {
             (0, jostraca_1.Content)(`\`active\` only — this feature takes no further options.
 
 `);
         }
-        (0, jostraca_1.Content)(`Options above are those the model carries a default for. A feature may
-also accept callback options — a \`sink\` to receive each record, for
-instance — which have no default and are covered in the full feature
-reference.
+        if (0 < f.extras.length) {
+            (0, jostraca_1.Content)(`| Option | Type |
+|---|---|
+`);
+            for (const o of f.extras) {
+                (0, jostraca_1.Content)(`| \`${o.name}\` | ${o.type} |
+`);
+            }
+            (0, jostraca_1.Content)(`
+These take no default: the feature behaves one way when you supply them and
+another when you do not.
 
-**Usage**
+`);
+        }
+        (0, jostraca_1.Content)(`**Usage**
 
 Set \`feature.${f.name}.active\` to true in the client options${0 < f.options.length ?
             ', and override any option above in the same entry' : ''}. Every option keeps

package/dist/cmp/ReadmeRefFeatures.js.map

@@ -1 +1 @@
-{"version":3,"file":"ReadmeRefFeatures.js","sourceRoot":"","sources":["../../src/cmp/ReadmeRefFeatures.ts"],"names":[],"mappings":";;;AAAA,uCAAuC;AAEvC,+CAAmE;AAInE,yDAAyD;AACzD,EAAE;AACF,4EAA4E;AAC5E,2EAA2E;AAC3E,yEAAyE;AACzE,8EAA8E;AAC9E,+EAA+E;AAC/E,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,2EAA2E;AAC3E,MAAM,iBAAiB,GAAG,IAAA,cAAG,EAAC,SAAS,iBAAiB,CAAC,KAAU;IACjE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAA;IAC9B,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAA;IAEtB,MAAM,QAAQ,GAAiB,IAAA,yBAAW,EAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAEzD,IAAI,CAAC,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAM;IACR,CAAC;IAED,2EAA2E;IAC3E,2EAA2E;IAC3E,uBAAuB;IACvB,IAAA,kBAAO,EAAC;;;;;;;EAOR,IAAA,oCAAsB,EAAC,MAAM,CAAC,CAAC,CAAC;QAChC,8IAA8I,CAAC,CAAC;QAChJ,kKAAkK;;CAEnK,CAAC,CAAA;IAEA,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IAE/C,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,IAAA,kBAAO,EAAC;;EAEV,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;qCACf,IAAA,oCAAsB,EAAC,MAAM,CAAC,CAAC,CAAC;YACnE,sIAAsI,CAAC,CAAC;YACxI,wFAAwF;;EAExF,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzF;;;;CAIC,CAAC,CAAC,CAAC;;;CAGH;EACC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;CAGjD,CAAC,CAAA;IACA,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAA,kBAAO,EAAC,UAAU,CAAC,CAAC,IAAI;;EAE1B,CAAC,CAAC,KAAK;;CAER,CAAC,CAAA;QAEE,IAAA,kBAAO,EAAC;;CAEX,CAAC,CAAA;QAEE,yEAAyE;QACzE,uEAAuE;QACvE,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,0EAA0E;QAC1E,0DAA0D;QAG1D,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACzB,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;YACI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,KAAK;CAC7C,CAAC,CAAA;YACI,CAAC;YACD,IAAA,kBAAO,EAAC;CACb,CAAC,CAAA;QACE,CAAC;aACI,CAAC;YACJ,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;QAED,IAAA,kBAAO,EAAC;;;;;;;gBAOI,CAAC,CAAC,IAAI,0CACpB,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACpB,mDAAmD,CAAC,CAAC,CAAC,EAAE;;;;;CAK3D,CAAC,CAAA;QAEE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACZ,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;aACI,CAAC;YACJ,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;QAED,IAAI,MAAM,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;YAC3B,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;QAED,IAAA,kBAAO,EAAC;;CAEX,CAAC,CAAA;IACA,CAAC;AACH,CAAC,CAAC,CAAA;QAIA,iBAAiB"}
+{"version":3,"file":"ReadmeRefFeatures.js","sourceRoot":"","sources":["../../src/cmp/ReadmeRefFeatures.ts"],"names":[],"mappings":";;;AAAA,uCAAuC;AAEvC,+CAAmE;AAInE,yDAAyD;AACzD,EAAE;AACF,4EAA4E;AAC5E,2EAA2E;AAC3E,yEAAyE;AACzE,8EAA8E;AAC9E,+EAA+E;AAC/E,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,2EAA2E;AAC3E,MAAM,iBAAiB,GAAG,IAAA,cAAG,EAAC,SAAS,iBAAiB,CAAC,KAAU;IACjE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAA;IAC9B,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAA;IAEtB,MAAM,QAAQ,GAAiB,IAAA,yBAAW,EAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAEzD,IAAI,CAAC,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1B,OAAM;IACR,CAAC;IAED,2EAA2E;IAC3E,2EAA2E;IAC3E,uBAAuB;IACvB,IAAA,kBAAO,EAAC;;;;;;;EAOR,IAAA,oCAAsB,EAAC,MAAM,CAAC,CAAC,CAAC;QAChC,8IAA8I,CAAC,CAAC;QAChJ,kKAAkK;;CAEnK,CAAC,CAAA;IAEA,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IAE/C,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,IAAA,kBAAO,EAAC;;EAEV,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;qCACf,IAAA,oCAAsB,EAAC,MAAM,CAAC,CAAC,CAAC;YACnE,sIAAsI,CAAC,CAAC;YACxI,wFAAwF;;EAExF,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzF;;;;CAIC,CAAC,CAAC,CAAC;;;CAGH;EACC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;CAGjD,CAAC,CAAA;IACA,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAA,kBAAO,EAAC,UAAU,CAAC,CAAC,IAAI;;EAE1B,CAAC,CAAC,KAAK;;CAER,CAAC,CAAA;QAEE,IAAA,kBAAO,EAAC;;CAEX,CAAC,CAAA;QAEE,mEAAmE;QACnE,uEAAuE;QACvE,uEAAuE;QACvE,uEAAuE;QACvE,sEAAsE;QACtE,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QAGrE,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACzB,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;YACI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,KAAK;CAC7C,CAAC,CAAA;YACI,CAAC;YACD,IAAA,kBAAO,EAAC;CACb,CAAC,CAAA;QACE,CAAC;aACI,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;QAED,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACxB,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;YACI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzB,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,IAAI;CAC1C,CAAC,CAAA;YACI,CAAC;YACD,IAAA,kBAAO,EAAC;;;;CAIb,CAAC,CAAA;QACE,CAAC;QAED,IAAA,kBAAO,EAAC;;gBAEI,CAAC,CAAC,IAAI,0CACpB,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACpB,mDAAmD,CAAC,CAAC,CAAC,EAAE;;;;;CAK3D,CAAC,CAAA;QAEE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACZ,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;aACI,CAAC;YACJ,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;QAED,IAAI,MAAM,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;YAC3B,IAAA,kBAAO,EAAC;;CAEb,CAAC,CAAA;QACE,CAAC;QAED,IAAA,kBAAO,EAAC;;CAEX,CAAC,CAAA;IACA,CAAC;AACH,CAAC,CAAC,CAAA;QAIA,iBAAiB"}

package/dist/helpers/applicability.js

@@ -94,6 +94,13 @@ function targetFeatures(model, target) {
 const TAGS = [
     // A vendored sekreto port lives in this target's feature container.
     'sekreto',
+    // The target emits the generated `Schema` module: the model's option spec
+    // and, when a feature asks for them, per-entity struct.validate specs.
+    // `validate` needs this, and the porting order is the reason it is a tag
+    // rather than an assumption — every target vendors a struct with
+    // `validate` in it, but only a target whose Main emits Schema has
+    // anything for that function to check against.
+    'schema',
 ];
 exports.TAGS = TAGS;
 // The tags named by `needs`/`provides` that are not in the vocabulary.

package/dist/helpers/applicability.js.map

@@ -1 +1 @@
-{"version":3,"file":"applicability.js","sourceRoot":"","sources":["../../src/helpers/applicability.ts"],"names":[],"mappings":";AAAA,6CAA6C;AAC7C,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,2EAA2E;AAC3E,+DAA+D;AAC/D,yEAAyE;AACzE,wEAAwE;AACxE,oBAAoB;AACpB,EAAE;AACF,yEAAyE;AACzE,0EAA0E;AAC1E,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,6BAA6B;AAC7B,EAAE;AACF,0EAA0E;AAC1E,sEAAsE;AACtE,2EAA2E;AAC3E,qEAAqE;;;QAiGnE,cAAc;QACd,cAAc;QACN,WAAW;QACnB,WAAW;AAlGb,2CAAkD;AAGlD,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,0EAA0E;AAC1E,0EAA0E;AAC1E,wDAAwD;AACxD,EAAE;AACF,yEAAyE;AACzE,8CAA8C;AAC9C,SAAS,IAAI,CAAC,GAAQ;IACpB,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAA;IACtD,CAAC;IAED,IAAI,IAAI,IAAI,GAAG,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;QAC3C,OAAO,EAAE,CAAA;IACX,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;AACtE,CAAC;AAGD,0CAA0C;AAC1C,SAAS,cAAc,CAAC,OAAY,EAAE,MAAW;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,CAAA;IAE5C,sEAAsE;IACtE,wEAAwE;IACxE,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAA;IACb,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAA;IAEhD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/D,CAAC;AAGD,6DAA6D;AAC7D,gEAAgE;AAChE,2DAA2D;AAC3D,EAAE;AACF,qEAAqE;AACrE,qDAAqD;AACrD,SAAS,cAAc,CAAC,KAAU,EAAE,MAAW;IAC7C,MAAM,OAAO,GAAG,IAAA,qBAAY,EAAC,KAAK,EAAE,QAAQ,YAAG,UAAU,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,CAAA;IAErF,MAAM,CAAC,GAAG,QAAQ,KAAK,OAAO,MAAM,CAAC,CAAC;QACpC,CAAC,IAAA,qBAAY,EAAC,KAAK,EAAE,QAAQ,YAAG,SAAS,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,CAAA;IAER,sEAAsE;IACtE,qEAAqE;IACrE,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,OAAO,OAAO,CAAA;IAChB,CAAC;IAED,sEAAsE;IACtE,oEAAoE;IACpE,qEAAqE;IACrE,+DAA+D;IAC/D,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAA8B,CAAC,EAAE,CAAC;QACvE,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAGD,0EAA0E;AAC1E,yEAAyE;AACzE,0EAA0E;AAC1E,yEAAyE;AACzE,sBAAsB;AACtB,EAAE;AACF,wEAAwE;AACxE,MAAM,IAAI,GAAG;IACX,oEAAoE;IACpE,SAAS;CACV,CAAA;QAcC,IAAI;AAXN,uEAAuE;AACvE,SAAS,WAAW,CAAC,GAAQ;IAC3B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AAC3D,CAAC"}
+{"version":3,"file":"applicability.js","sourceRoot":"","sources":["../../src/helpers/applicability.ts"],"names":[],"mappings":";AAAA,6CAA6C;AAC7C,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,2EAA2E;AAC3E,+DAA+D;AAC/D,yEAAyE;AACzE,wEAAwE;AACxE,oBAAoB;AACpB,EAAE;AACF,yEAAyE;AACzE,0EAA0E;AAC1E,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,6BAA6B;AAC7B,EAAE;AACF,0EAA0E;AAC1E,sEAAsE;AACtE,2EAA2E;AAC3E,qEAAqE;;;QAyGnE,cAAc;QACd,cAAc;QACN,WAAW;QACnB,WAAW;AA1Gb,2CAAkD;AAGlD,yEAAyE;AACzE,yEAAyE;AACzE,wEAAwE;AACxE,0EAA0E;AAC1E,0EAA0E;AAC1E,wDAAwD;AACxD,EAAE;AACF,yEAAyE;AACzE,8CAA8C;AAC9C,SAAS,IAAI,CAAC,GAAQ;IACpB,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAA;IACtD,CAAC;IAED,IAAI,IAAI,IAAI,GAAG,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;QAC3C,OAAO,EAAE,CAAA;IACX,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;AACtE,CAAC;AAGD,0CAA0C;AAC1C,SAAS,cAAc,CAAC,OAAY,EAAE,MAAW;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,CAAA;IAE5C,sEAAsE;IACtE,wEAAwE;IACxE,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAA;IACb,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAA;IAEhD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/D,CAAC;AAGD,6DAA6D;AAC7D,gEAAgE;AAChE,2DAA2D;AAC3D,EAAE;AACF,qEAAqE;AACrE,qDAAqD;AACrD,SAAS,cAAc,CAAC,KAAU,EAAE,MAAW;IAC7C,MAAM,OAAO,GAAG,IAAA,qBAAY,EAAC,KAAK,EAAE,QAAQ,YAAG,UAAU,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,CAAA;IAErF,MAAM,CAAC,GAAG,QAAQ,KAAK,OAAO,MAAM,CAAC,CAAC;QACpC,CAAC,IAAA,qBAAY,EAAC,KAAK,EAAE,QAAQ,YAAG,SAAS,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAChF,MAAM,CAAA;IAER,sEAAsE;IACtE,qEAAqE;IACrE,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,OAAO,OAAO,CAAA;IAChB,CAAC;IAED,sEAAsE;IACtE,oEAAoE;IACpE,qEAAqE;IACrE,+DAA+D;IAC/D,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAA8B,CAAC,EAAE,CAAC;QACvE,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAGD,0EAA0E;AAC1E,yEAAyE;AACzE,0EAA0E;AAC1E,yEAAyE;AACzE,sBAAsB;AACtB,EAAE;AACF,wEAAwE;AACxE,MAAM,IAAI,GAAG;IACX,oEAAoE;IACpE,SAAS;IAET,0EAA0E;IAC1E,uEAAuE;IACvE,yEAAyE;IACzE,iEAAiE;IACjE,kEAAkE;IAClE,+CAA+C;IAC/C,QAAQ;CACT,CAAA;QAcC,IAAI;AAXN,uEAAuE;AACvE,SAAS,WAAW,CAAC,GAAQ;IAC3B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AAC3D,CAAC"}

package/dist/helpers/canonSpec.d.ts

@@ -0,0 +1,12 @@
+declare function sentinel(name: string): string;
+declare const SPEC_STRING: any[];
+declare function optionalSpec(spec: any): any;
+declare function canonToSpec(type: unknown, optional?: boolean): any;
+declare function entityDataSpec(ent: any): Record<string, any>;
+declare function entityOpSpec(ent: any, opname: string): Record<string, any> | null;
+declare function entitySpecs(ent: any): {
+    data: Record<string, any>;
+    op: Record<string, any>;
+};
+declare function byExampleSpec(val: any): any;
+export { byExampleSpec, canonToSpec, optionalSpec, entityDataSpec, entityOpSpec, entitySpecs, sentinel, SPEC_STRING, };

package/dist/helpers/canonSpec.js

@@ -0,0 +1,259 @@
+"use strict";
+// Canonical type-sentinel -> struct.validate SPEC mapper.
+//
+// The sibling of canonType: that table turns a field's canon sentinel into a
+// language TYPE NAME (what the generated source declares); this one turns the
+// same sentinel into a struct.validate SPEC VALUE (what the generated runtime
+// checks a payload against). One vocabulary, two renderings, and — as with
+// canonType — a SINGLE mapping that components must not copy locally.
+//
+// WHY THIS IS ALMOST NOTHING. apidef stores `$STRING`, `$INTEGER`, `$NUMBER`,
+// `$BOOLEAN`, `$NULL`, `$ARRAY`, `$OBJECT`, `$ANY` on `fields[].type`, and
+// struct.validate's own vocabulary is `$STRING $NUMBER $INTEGER $DECIMAL
+// $BOOLEAN $NULL $NIL $MAP $LIST $FUNCTION $INSTANCE $ANY $CHILD $ONE $EXACT`.
+// Six of the eight scalar names are the IDENTICAL string. Only three things
+// have to be adapted, and each is a real difference rather than a translation:
+//
+//   1. CONTAINERS ARE NAMED DIFFERENTLY. apidef speaks OpenAPI ($ARRAY,
+//      $OBJECT), struct speaks its own value model ($LIST, $MAP).
+//
+//   2. UNIONS ARE SHAPED DIFFERENTLY. apidef nests the members —
+//      ['`$ONE`', [a, b]] — and struct wants them flat: ['`$ONE`', a, b].
+//      The nested form does not fail loudly, which is the trap: struct reads
+//      the inner LIST as a single alternative, so `['`$ONE`', ['`$STRING`',
+//      '`$INTEGER`']]` rejects the string 'x' with "expected [string,integer]".
+//
+//   3. STRUCT'S `$STRING` REJECTS THE EMPTY STRING. That is right for an
+//      option (an empty apikey is a missing apikey) and wrong for API data,
+//      where '' is an ordinary value a server returns. A field spec therefore
+//      widens to ['`$ONE`', '`$STRING`', ['`$EXACT`', '']].
+//
+// OPTIONALITY. struct requires every key its spec names, so an optional field
+// is the union of its type with `$NIL` (which matches an ABSENT value; `$NULL`
+// matches a stored JSON null). `req: false` on a field, and `optional: true`
+// on an opRequestShape item, both land here.
+//
+// WHAT THIS CANNOT EXPRESS, because the model does not carry it (the same
+// KNOWN GAPS canonType records): array ELEMENT types, nested object schemas,
+// enums, string formats, and any numeric or length bound. A spec built here
+// checks the shape the model knows about and nothing more — which is why
+// record specs are `$OPEN` (below) rather than closed.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SPEC_STRING = void 0;
+exports.byExampleSpec = byExampleSpec;
+exports.canonToSpec = canonToSpec;
+exports.optionalSpec = optionalSpec;
+exports.entityDataSpec = entityDataSpec;
+exports.entityOpSpec = entityOpSpec;
+exports.entitySpecs = entitySpecs;
+exports.sentinel = sentinel;
+const jostraca_1 = require("jostraca");
+const canonType_1 = require("./canonType");
+const opShape_1 = require("./opShape");
+// Backtick-wrapped, the way the model and struct both write an injection.
+// Built rather than written literally so the backticks cannot be lost to an
+// editor, a copy-paste, or a template literal.
+const BT = String.fromCharCode(96);
+function sentinel(name) {
+    return BT + '$' + name + BT;
+}
+const S_ONE = sentinel('ONE');
+const S_EXACT = sentinel('EXACT');
+const S_NIL = sentinel('NIL');
+const S_ANY = sentinel('ANY');
+const S_STRING = sentinel('STRING');
+const S_NULL = sentinel('NULL');
+const S_OPEN = sentinel('OPEN');
+// Canon sentinel key -> the struct.validate sentinel that checks it.
+// STRING is deliberately absent: it needs the empty-string widening above and
+// is handled in canonToSpec, so a caller cannot get the bare form by accident.
+const CANON_STRUCT = {
+    INTEGER: sentinel('INTEGER'),
+    NUMBER: sentinel('NUMBER'),
+    BOOLEAN: sentinel('BOOLEAN'),
+    NULL: sentinel('NULL'),
+    // The container renaming (difference 1 above).
+    ARRAY: sentinel('LIST'),
+    OBJECT: sentinel('MAP'),
+    ANY: S_ANY,
+};
+// A string that may be empty (difference 3 above).
+const SPEC_STRING = [S_ONE, S_STRING, [S_EXACT, '']];
+exports.SPEC_STRING = SPEC_STRING;
+// Flatten a spec into the alternatives of a union, so that widening a value
+// that is ALREADY a union does not nest one `$ONE` inside another.
+function alternatives(spec) {
+    if (Array.isArray(spec) && S_ONE === spec[0]) {
+        return spec.slice(1);
+    }
+    return [spec];
+}
+// A spec that also admits an ABSENT value.
+//
+// struct requires every key its spec names, so this is how "optional" is
+// spelled. Flattened through `alternatives`, so widening something that is
+// already a union (an empty-string-tolerant `$STRING`, an apidef `$ONE`)
+// adds one member rather than nesting a union inside a union — which struct
+// reads as a single alternative and rejects.
+function optionalSpec(spec) {
+    // `$ANY` already admits an absent value, so widening it would only make
+    // the spec longer and its error messages worse.
+    if (S_ANY === spec) {
+        return spec;
+    }
+    return [S_ONE, ...alternatives(spec), S_NIL];
+}
+// Map one field/param type sentinel to a struct.validate spec value.
+//
+// Unknown or missing sentinel -> `$ANY`, never a throw: this mirrors
+// canonToType's contract, and for the same reason. A sentinel this table has
+// not met is a model the generator should still emit for, and an over-strict
+// spec would reject live traffic at runtime rather than fail a build.
+//
+// `optional` widens the result with `$NIL` so an absent key passes.
+function canonToSpec(type, optional) {
+    let spec;
+    if (Array.isArray(type)) {
+        // The union sentinel. Members are mapped individually and SPLICED IN
+        // flat (difference 2 above); a member may itself be a union.
+        if ('ONE' === (0, canonType_1.canonKey)(type[0]) && Array.isArray(type[1])) {
+            const members = [];
+            for (const member of type[1]) {
+                for (const alt of alternatives(canonToSpec(member))) {
+                    if (members.indexOf(alt) < 0 || 'string' !== typeof alt) {
+                        members.push(alt);
+                    }
+                }
+            }
+            // A NULLABLE FIELD NEEDS `$NIL`, NOT JUST `$NULL`.
+            //
+            // apidef writes a nullable field as ['`$ONE`', [<type>, '`$NULL`']],
+            // and `$NULL` on its own does match a stored null. Inside a union it
+            // does not: struct resolves each alternative through a lookup that
+            // reads a stored null as "no value", so the value that reaches the
+            // `$NULL` validator is undefined and every nullable field rejected the
+            // one value it exists to allow. `$NIL` matches that no-value, so the
+            // pair covers both readings.
+            //
+            // THE COST, stated because it is real and not an oversight: `$NIL` is
+            // also how an OPTIONAL field is spelled, and struct cannot tell a
+            // stored null from an absent key inside a union — the lookup collapses
+            // them before any alternative sees the value. So a REQUIRED nullable
+            // field (`string | null`, `req: true`) also passes when the key is
+            // missing. The alternative is worse: drop `$NIL` and a nullable field
+            // rejects null, which is the one value it is declared to hold, for
+            // EVERY such field rather than weakening presence on a subset. Closing
+            // the gap needs a presence check outside struct, i.e. a second
+            // validation mechanism beside the one this whole module exists to
+            // reuse. Revisit if struct gains a spelling that separates them.
+            if (0 <= members.indexOf(S_NULL) && members.indexOf(S_NIL) < 0) {
+                members.push(S_NIL);
+            }
+            spec = 0 === members.length ? S_ANY : [S_ONE, ...members];
+        }
+        else {
+            // An array-shaped sentinel that is not a union is a shape this mapper
+            // has not met. `$ANY` over a guess.
+            spec = S_ANY;
+        }
+    }
+    else {
+        const key = (0, canonType_1.canonKey)(type);
+        spec = 'STRING' === key ? SPEC_STRING : (CANON_STRUCT[key] ?? S_ANY);
+    }
+    return optional ? optionalSpec(spec) : spec;
+}
+// The spec for one entity RECORD: every active field, keyed by name.
+//
+// OPEN, ALWAYS. apidef records the properties a spec declared, which is not a
+// promise that a response carries nothing else — a server that adds a field is
+// not breaking its clients, and a closed spec would turn that into a client
+// error for every caller at once. The declared fields are type-checked; the
+// rest pass. A caller who wants the closed reading drops `$OPEN` at runtime
+// (the validate feature's `strict` option does exactly that).
+function entityDataSpec(ent) {
+    const spec = { [S_OPEN]: true };
+    const fields = (ent && ent.fields) ? (0, jostraca_1.each)(ent.fields) : [];
+    for (const f of fields) {
+        if (null == f || null == f.name || false === f.active) {
+            continue;
+        }
+        spec[f.name] = canonToSpec(f.type, false === f.req);
+    }
+    return spec;
+}
+// The spec for one operation's REQUEST payload.
+//
+// The members and their optionality are opRequestShape's answer, not a second
+// reading of the model: the partiality policy that decides what a generated
+// `<Name>CreateData` requires is the same policy that decides what a create
+// call must carry, and two copies of it would drift the moment one is edited.
+function entityOpSpec(ent, opname) {
+    const { items } = (0, opShape_1.opRequestShape)(ent, opname);
+    if (0 === items.length) {
+        return null;
+    }
+    const spec = { [S_OPEN]: true };
+    for (const it of items) {
+        spec[it.name] = canonToSpec(it.type, it.optional);
+    }
+    return spec;
+}
+// Every spec one entity needs at runtime: its record shape, and one per op it
+// declares. An entity with no fields and no ops yields `{ data: {$OPEN} }`,
+// which validates everything — the honest answer for a model that says
+// nothing, and cheaper for the runtime than a missing-key branch.
+function entitySpecs(ent) {
+    const op = {};
+    const ops = (ent && ent.op) || {};
+    for (const opname of Object.keys(ops).sort()) {
+        const opspec = entityOpSpec(ent, opname);
+        if (null != opspec) {
+            op[opname] = opspec;
+        }
+    }
+    return { data: entityDataSpec(ent), op };
+}
+// A DEFAULT VALUE, read as a type.
+//
+// A feature declares its options as defaults (`ttl: 5000`, `currency: 'USD'`,
+// `methods: ['GET']`) — a map written to document what happens when you say
+// nothing, not to state a type. struct.validate reads it by example, and by
+// example is SHARPER than the author meant: `unit: 0` says "an integer", so
+// cost's own `unit: 0.002` failed its own feature's spec; `header: ''` says
+// "a non-empty string", which the default itself is not.
+//
+// So the default is kept for its KIND and widened to that kind's sentinel.
+// Nothing is lost by dropping the value: a feature's defaults are applied by
+// the feature's own code (`this._options.currency || 'USD'`), never by this
+// spec — each feature entry is optional, and struct fills in nothing through
+// an optional union.
+//
+// This applies to a DEFAULTS map only. `main.kit.optspec` is written as a
+// spec, so its concrete values are the author's own choice of constraint and
+// are passed through untouched.
+function byExampleSpec(val) {
+    if (null == val) {
+        return S_ANY;
+    }
+    if (Array.isArray(val)) {
+        return sentinel('LIST');
+    }
+    const t = typeof val;
+    if ('string' === t) {
+        return SPEC_STRING;
+    }
+    if ('number' === t) {
+        // `$NUMBER` admits integer and decimal alike; `$INTEGER` would re-impose
+        // exactly the trap this function exists to remove.
+        return sentinel('NUMBER');
+    }
+    if ('boolean' === t) {
+        return sentinel('BOOLEAN');
+    }
+    if ('function' === t) {
+        return S_ANY;
+    }
+    return sentinel('MAP');
+}
+//# sourceMappingURL=canonSpec.js.map

package/dist/helpers/canonSpec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonSpec.js","sourceRoot":"","sources":["../../src/helpers/canonSpec.ts"],"names":[],"mappings":";AAAA,0DAA0D;AAC1D,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,8EAA8E;AAC9E,2EAA2E;AAC3E,sEAAsE;AACtE,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,yEAAyE;AACzE,+EAA+E;AAC/E,4EAA4E;AAC5E,+EAA+E;AAC/E,EAAE;AACF,wEAAwE;AACxE,kEAAkE;AAClE,EAAE;AACF,iEAAiE;AACjE,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,gFAAgF;AAChF,EAAE;AACF,yEAAyE;AACzE,4EAA4E;AAC5E,8EAA8E;AAC9E,4DAA4D;AAC5D,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,6CAA6C;AAC7C,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,yEAAyE;AACzE,uDAAuD;;;QA8PrD,aAAa;QACb,WAAW;QACX,YAAY;QACZ,cAAc;QACd,YAAY;QACZ,WAAW;QACX,QAAQ;AAlQV,uCAA+B;AAE/B,2CAAsC;AACtC,uCAA0C;AAG1C,0EAA0E;AAC1E,4EAA4E;AAC5E,+CAA+C;AAC/C,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAA;AAElC,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,EAAE,GAAG,GAAG,GAAG,IAAI,GAAG,EAAE,CAAA;AAC7B,CAAC;AAGD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;AAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAA;AACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;AAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;AAC7B,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;AACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;AAC/B,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;AAG/B,qEAAqE;AACrE,8EAA8E;AAC9E,+EAA+E;AAC/E,MAAM,YAAY,GAA2B;IAC3C,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC;IAC5B,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC;IAC1B,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC;IAC5B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC;IAEtB,+CAA+C;IAC/C,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC;IACvB,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC;IAEvB,GAAG,EAAE,KAAK;CACX,CAAA;AAGD,mDAAmD;AACnD,MAAM,WAAW,GAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAA;QAwNzD,WAAW;AArNb,4EAA4E;AAC5E,mEAAmE;AACnE,SAAS,YAAY,CAAC,IAAS;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACtB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAA;AACf,CAAC;AAGD,2CAA2C;AAC3C,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,yEAAyE;AACzE,4EAA4E;AAC5E,6CAA6C;AAC7C,SAAS,YAAY,CAAC,IAAS;IAC7B,wEAAwE;IACxE,gDAAgD;IAChD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IAED,OAAO,CAAC,KAAK,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAA;AAC9C,CAAC;AAGD,qEAAqE;AACrE,EAAE;AACF,qEAAqE;AACrE,6EAA6E;AAC7E,6EAA6E;AAC7E,sEAAsE;AACtE,EAAE;AACF,oEAAoE;AACpE,SAAS,WAAW,CAAC,IAAa,EAAE,QAAkB;IACpD,IAAI,IAAS,CAAA;IAEb,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,qEAAqE;QACrE,6DAA6D;QAC7D,IAAI,KAAK,KAAK,IAAA,oBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,MAAM,OAAO,GAAU,EAAE,CAAA;YACzB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7B,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;oBACpD,IAAI,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;wBACxD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;YAED,mDAAmD;YACnD,EAAE;YACF,qEAAqE;YACrE,qEAAqE;YACrE,mEAAmE;YACnE,mEAAmE;YACnE,uEAAuE;YACvE,qEAAqE;YACrE,6BAA6B;YAC7B,EAAE;YACF,sEAAsE;YACtE,kEAAkE;YAClE,uEAAuE;YACvE,qEAAqE;YACrE,mEAAmE;YACnE,sEAAsE;YACtE,mEAAmE;YACnE,uEAAuE;YACvE,+DAA+D;YAC/D,kEAAkE;YAClE,iEAAiE;YACjE,IAAI,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/D,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACrB,CAAC;YAED,IAAI,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,CAAA;QAC3D,CAAC;aACI,CAAC;YACJ,sEAAsE;YACtE,oCAAoC;YACpC,IAAI,GAAG,KAAK,CAAA;QACd,CAAC;IACH,CAAC;SACI,CAAC;QACJ,MAAM,GAAG,GAAG,IAAA,oBAAQ,EAAC,IAAI,CAAC,CAAA;QAC1B,IAAI,GAAG,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAA;IACtE,CAAC;IAED,OAAO,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC7C,CAAC;AAGD,qEAAqE;AACrE,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,8DAA8D;AAC9D,SAAS,cAAc,CAAC,GAAQ;IAC9B,MAAM,IAAI,GAAwB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAA;IAEpD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,KAAK,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;YACtD,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,GAAG,CAAC,CAAA;IACrD,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC;AAGD,gDAAgD;AAChD,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAC9E,SAAS,YAAY,CAAC,GAAQ,EAAE,MAAc;IAC5C,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,wBAAc,EAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IAC7C,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,IAAI,CAAA;IACb,CAAC;IAED,MAAM,IAAI,GAAwB,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAA;IACpD,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAA;IACnD,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC;AAGD,8EAA8E;AAC9E,4EAA4E;AAC5E,uEAAuE;AACvE,kEAAkE;AAClE,SAAS,WAAW,CAAC,GAAQ;IAC3B,MAAM,EAAE,GAAwB,EAAE,CAAA;IAElC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;IACjC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QACxC,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACnB,EAAE,CAAC,MAAM,CAAC,GAAG,MAAM,CAAA;QACrB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAA;AAC1C,CAAC;AAGD,mCAAmC;AACnC,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,4EAA4E;AAC5E,yDAAyD;AACzD,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,6EAA6E;AAC7E,qBAAqB;AACrB,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAC7E,gCAAgC;AAChC,SAAS,aAAa,CAAC,GAAQ;IAC7B,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAA;IACzB,CAAC;IAED,MAAM,CAAC,GAAG,OAAO,GAAG,CAAA;IAEpB,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,WAAW,CAAA;IACpB,CAAC;IACD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,yEAAyE;QACzE,mDAAmD;QACnD,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC3B,CAAC;IACD,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAA;IAC5B,CAAC;IACD,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;AACxB,CAAC"}

package/dist/helpers/optspec.d.ts

@@ -0,0 +1,4 @@
+declare function featureOptionSpec(feat: any): Record<string, any>;
+declare function optionSpec(model: any, targetname?: string): Record<string, any>;
+declare function entitySpecMap(model: any, targetname?: string): Record<string, any> | null;
+export { optionSpec, featureOptionSpec, entitySpecMap, };