@nac3/forge-cli 1.9.3 → 1.11.0

package/dist/pending/types.d.ts

@@ -73,6 +73,10 @@ export interface PendingItem {
      *  deja una entrada aca. La de cierre (kind='resolution') resume
      *  como se resolvio. Append-only. */
     history?: PendingHistoryEntry[];
+    /** El expediente de la implementacion (Pablo 2026-10-11). Se completa al
+     *  cerrar: lo entregado, las fuentes afectadas y los casos de uso. Lo lee la
+     *  pestana Done. */
+    implementation?: PendingImplementation;
     /** PND-094 ext -- set when this item is a TASK of a workflow
      *  instance. Stages are NOT pendings; tasks are. An item with a
      *  `workflow` block is a "WFL" item. Ad-hoc corrective/evolutive
@@ -94,6 +98,52 @@ export interface PendingWorkflowLink {
      *  (not part of the instantiated canonical skeleton). */
     ad_hoc?: boolean;
 }
+/**
+ * El EXPEDIENTE de la implementacion (Pablo 2026-10-11). Un pending cerrado
+ * sin esto es una linea que dice "listo": no sirve para entender despues QUE se
+ * entrego, ni para que otro agente lo retome. La pestana Done lo muestra al
+ * lado del pedido original.
+ *
+ * Se arma en DOS mitades, por fuente:
+ *   - DETERMINISTA: `files` sale del commit que cerro el item (git show
+ *     --name-only). No se le pregunta al cerebro algo que el repositorio ya
+ *     sabe con certeza.
+ *   - DEL CEREBRO: `functional` y `use_cases` -- la descripcion funcional y los
+ *     casos de uso. Eso no esta en el diff y es lo que un humano necesita leer.
+ */
+export interface PendingImplementation {
+    /** Que se hizo, en una o dos frases (el resumen tecnico del cierre). */
+    summary?: string;
+    /** Descripcion FUNCIONAL completa: que puede hacer ahora el usuario que
+     *  antes no podia, y como se comporta. */
+    functional?: string;
+    /** Casos de uso concretos que quedaron cubiertos. */
+    use_cases?: string[];
+    /** Fuentes afectadas. Derivadas del/los commit/s cuando hay SHA; el cerebro
+     *  puede agregar las que un commit posterior no refleja. */
+    files?: string[];
+    /** SHAs que entregaron el trabajo (el del cierre + los que se declaren). */
+    commits?: string[];
+    /** La VERIFICACION (Pablo 2026-10-11). Que piezas de test cubren esto y como
+     *  salieron. Los archivos se derivan del commit (los que caen en tests/ o
+     *  terminan en .test.*); el resultado lo declara quien cierra, porque acaba
+     *  de correr la suite y el repositorio no guarda ese dato. */
+    tests?: PendingTests;
+    /** Epoch millis de la ultima vez que se completo este expediente. */
+    collected_at: number;
+}
+/** Resultado de la verificacion de un item cerrado. */
+export interface PendingTests {
+    /** Piezas de test relacionadas (rutas). */
+    files?: string[];
+    /** Como salio: green = todo pasa; red = quedo algo rojo; partial = cubierto
+     *  en parte; none = se cerro sin tests (valido, pero queda dicho). */
+    status?: 'green' | 'red' | 'partial' | 'none';
+    /** El detalle en una linea: "forge-operate 49 passed", "4 suites, 1 skip". */
+    summary?: string;
+    /** Epoch millis de cuando se corrio. */
+    at?: number;
+}
 /** Una entrada del history del item (gestion + ciclo iterativo). */
 export interface PendingHistoryEntry {
     /** Epoch millis. */

package/dist/pending/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/pending/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,6CAA6C;AAC7C,MAAM,MAAM,eAAe,GACvB,cAAc,GACd,WAAW,GACX,SAAS,GACT,KAAK,GACL,OAAO,CAAC;AAEZ,6BAA6B;AAC7B,MAAM,MAAM,kBAAkB,GAC1B,SAAS,GACT,WAAW,GACX,WAAW,GACX,UAAU,CAAC;AAEf;;4CAE4C;AAC5C,MAAM,MAAM,kBAAkB,GAC1B,eAAe,GACf,iBAAiB,GACjB,cAAc,GACd,kBAAkB,CAAC;AAEvB,6CAA6C;AAC7C,MAAM,WAAW,WAAW;IAC1B,uDAAuD;IACvD,EAAE,EAAE,MAAM,CAAC;IACX,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,QAAQ,EAAE,eAAe,CAAC;IAC1B,wDAAwD;IACxD,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC;iEAC6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;mCAC+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;oEACgE;IAChE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;6CAEyC;IACzC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;yCAGqC;IACrC,OAAO,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAChC;;;;iCAI6B;IAC7B,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CAChC;AAED,uEAAuE;AACvE,MAAM,WAAW,mBAAmB;IAClC,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,IAAI,EAAE,YAAY,GAAG,YAAY,GAAG,WAAW,CAAC;IAChD,4DAA4D;IAC5D,QAAQ,EAAE,MAAM,CAAC;IACjB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;IACd;6DACyD;IACzD,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,oEAAoE;AACpE,MAAM,WAAW,mBAAmB;IAClC,oBAAoB;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb;qDACiD;IACjD,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,YAAY,CAAC;CAC9D;AAED;qDACqD;AACrD,MAAM,WAAW,WAAW;IAC1B;6BACyB;IACzB,OAAO,EAAE,CAAC,CAAC;IACX;yDACqD;IACrD,YAAY,EAAE,MAAM,CAAC;IACrB;0DACsD;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB;oBACgB;IAChB,KAAK,EAAE,WAAW,EAAE,CAAC;CACtB;AAED,wCAAwC;AACxC,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,WAAW,CAOlE;AAED,wCAAwC;AACxC,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED,wDAAwD;AACxD,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAMxD;AAED,gEAAgE;AAChE,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAEnD"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/pending/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,6CAA6C;AAC7C,MAAM,MAAM,eAAe,GACvB,cAAc,GACd,WAAW,GACX,SAAS,GACT,KAAK,GACL,OAAO,CAAC;AAEZ,6BAA6B;AAC7B,MAAM,MAAM,kBAAkB,GAC1B,SAAS,GACT,WAAW,GACX,WAAW,GACX,UAAU,CAAC;AAEf;;4CAE4C;AAC5C,MAAM,MAAM,kBAAkB,GAC1B,eAAe,GACf,iBAAiB,GACjB,cAAc,GACd,kBAAkB,CAAC;AAEvB,6CAA6C;AAC7C,MAAM,WAAW,WAAW;IAC1B,uDAAuD;IACvD,EAAE,EAAE,MAAM,CAAC;IACX,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wCAAwC;IACxC,QAAQ,EAAE,eAAe,CAAC;IAC1B,wDAAwD;IACxD,YAAY,CAAC,EAAE,kBAAkB,CAAC;IAClC;iEAC6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;mCAC+B;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,iCAAiC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;oEACgE;IAChE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;6CAEyC;IACzC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;yCAGqC;IACrC,OAAO,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAChC;;wBAEoB;IACpB,cAAc,CAAC,EAAE,qBAAqB,CAAC;IACvC;;;;iCAI6B;IAC7B,QAAQ,CAAC,EAAE,mBAAmB,CAAC;CAChC;AAED,uEAAuE;AACvE,MAAM,WAAW,mBAAmB;IAClC,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,IAAI,EAAE,YAAY,GAAG,YAAY,GAAG,WAAW,CAAC;IAChD,4DAA4D;IAC5D,QAAQ,EAAE,MAAM,CAAC;IACjB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;IACd;6DACyD;IACzD,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,qBAAqB;IACpC,wEAAwE;IACxE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;8CAC0C;IAC1C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,qDAAqD;IACrD,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB;gEAC4D;IAC5D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,4EAA4E;IAC5E,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;kEAG8D;IAC9D,KAAK,CAAC,EAAE,YAAY,CAAC;IACrB,qEAAqE;IACrE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,uDAAuD;AACvD,MAAM,WAAW,YAAY;IAC3B,2CAA2C;IAC3C,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;0EACsE;IACtE,MAAM,CAAC,EAAE,OAAO,GAAG,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IAC9C,8EAA8E;IAC9E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,oEAAoE;AACpE,MAAM,WAAW,mBAAmB;IAClC,oBAAoB;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb;qDACiD;IACjD,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,YAAY,GAAG,YAAY,CAAC;CAC9D;AAED;qDACqD;AACrD,MAAM,WAAW,WAAW;IAC1B;6BACyB;IACzB,OAAO,EAAE,CAAC,CAAC;IACX;yDACqD;IACrD,YAAY,EAAE,MAAM,CAAC;IACrB;0DACsD;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB;oBACgB;IAChB,KAAK,EAAE,WAAW,EAAE,CAAC;CACtB;AAED,wCAAwC;AACxC,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,WAAW,CAOlE;AAED,wCAAwC;AACxC,wBAAgB,eAAe,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED,wDAAwD;AACxD,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAMxD;AAED,gEAAgE;AAChE,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAEnD"}

package/dist/pending/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/pending/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAmHH,wCAAwC;AACxC,MAAM,UAAU,gBAAgB,CAAC,YAAoB;IACnD,OAAO;QACL,OAAO,EAAO,CAAC;QACf,YAAY;QACZ,OAAO,EAAO,CAAC;QACf,KAAK,EAAS,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,oDAAoD,GAAG,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,mBAAmB,CAAC,CAAQ;IAC1C,MAAM,IAAI,KAAK,CAAC,6BAA6B,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AACrE,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/pending/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAuKH,wCAAwC;AACxC,MAAM,UAAU,gBAAgB,CAAC,YAAoB;IACnD,OAAO;QACL,OAAO,EAAO,CAAC;QACf,YAAY;QACZ,OAAO,EAAO,CAAC;QACf,KAAK,EAAS,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,oDAAoD,GAAG,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,mBAAmB,CAAC,CAAQ;IAC1C,MAAM,IAAI,KAAK,CAAC,6BAA6B,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AACrE,CAAC"}

package/dist/sizing/model.d.ts

@@ -0,0 +1,200 @@
+/**
+ * SIZING MODEL -- fixed architecture options with validity envelopes.
+ *
+ * Why this exists (Pablo, 2026-10-11, after the ADIP-KIKAN post mortem).
+ *
+ * docs/doctrine/concurrency-scale.md already said the right thing on its
+ * first line: "Every application Forge designs MUST be sized ... Scale is
+ * a RELEVAMIENTO input, not an afterthought bolted on when the app falls
+ * over." ADIP-KIKAN was built anyway with its whole working set resident
+ * in the Node heap. At its real volumetry (5.000 affiliates x 40 campaigns
+ * per year -> ~3,4M rows/year -> ~8 GB of live heap per year against a
+ * 2-4 GB V8 ceiling) that design hits a wall in months.
+ *
+ * So the lesson is NOT "write more doctrine". The doctrine was there and
+ * it was prose, and prose is advisory. Four concrete holes made the
+ * failure possible, and this module closes the first three:
+ *
+ *  1. The only volumetry Forge asked for was PEAK CONCURRENCY
+ *     (src/commands/triage.ts), used solely to pick a complexity tier.
+ *     Kikan has 100 concurrent users -- a low number -- and died of ROW
+ *     COUNT. Data volume x retention was never a question.
+ *  2. There was no HARDWARE envelope at all: no RAM, no runtime heap
+ *     ceiling, no disk. The architecture was chosen without knowing the
+ *     machine, and the ceiling that kills the process (V8's
+ *     heap_size_limit) is a property of the machine + runtime, not of the
+ *     business.
+ *  3. The architecture choice was FREE-FORM. Forge invented an approach
+ *     and wrote a rationale; there was no fixed option set with validity
+ *     ranges, so there was nothing to violate.
+ *  4. The only gate touching volumetry was SOFT (gates.md GS4), and soft
+ *     gates do not block. That one is closed by the hard gate in
+ *     src/sizing/store.ts + the G9 entry in docs/doctrine/gates.md.
+ *
+ * The shape of the fix, consistent with the project's own rule that rules
+ * are ENFORCEMENT and not prompt: the numbers are DERIVED here from
+ * declared inputs, each architecture option declares the envelope in
+ * which it is admissible, and choosing outside the envelope is a REJECTED
+ * call -- not a judgement the brain can argue its way out of.
+ *
+ * This module is pure: no I/O, no process state. Persistence and the gate
+ * live in ./store.ts.
+ *
+ * ASCII-only.
+ */
+/** One business entity and the event traffic it generates. */
+export interface EntityVolume {
+    /** Business name, as the owner says it: "afiliados", "clientes". */
+    name: string;
+    /** How many exist at the declared horizon. */
+    count: number;
+    /** Events per entity per year (a campaign, an order, a visit). */
+    events_per_year: number;
+    /**
+     * Rows each event leaves, summed over EVERY table it touches.
+     * This is the number people get wrong: in Kikan one campaign-affiliate
+     * event leaves ~15-20 rows (pending + dispatch items + messages +
+     * traces + run events), not one.
+     */
+    rows_per_event: number;
+}
+/**
+ * Retention per data CLASS. The distinction matters because it is the one
+ * Kikan never made: business data (the conversation with the family) and
+ * trace data (how the pipeline processed it) have completely different
+ * retention rights, and lumping them together is what makes a system
+ * grow forever.
+ *
+ * 0 means "kept forever" -- which is the inert default that burned Kikan
+ * (observability/logging.js shipped max_events 0 / max_days 0).
+ */
+export interface Retention {
+    business_days: number;
+    trace_days: number;
+}
+/** The machine and runtime the thing actually runs on. */
+export interface Hardware {
+    ram_mb: number;
+    /**
+     * Runtime heap ceiling in MB. For Node this is V8's heap_size_limit
+     * (~2048-4096 by default on 64-bit), NOT the RAM of the VM. Getting
+     * this wrong by using RAM is the specific mistake that makes an
+     * in-memory design look survivable.
+     */
+    heap_cap_mb: number;
+    disk_gb: number;
+    vcpus: number;
+}
+export interface SizingInput {
+    entities: EntityVolume[];
+    /** Average retained bytes per row in the RUNTIME (not on disk). */
+    bytes_per_row: number;
+    /** Fraction of rows that are trace/log rather than business (0..1). */
+    trace_share: number;
+    retention: Retention;
+    /** Peak simultaneous users / requests. */
+    peak_concurrency: number;
+    hardware: Hardware;
+    /** Years the sizing covers. */
+    horizon_years: number;
+    /**
+     * Reference to a MEASUREMENT that justifies a cache. Free text, but it
+     * must name where the number came from. Without it the cache options
+     * are inadmissible -- a cache added on a hunch is how you get two
+     * sources of truth for free.
+     */
+    measured_hotspot?: string;
+}
+export interface Derived {
+    rows_per_year: number;
+    rows_at_horizon: number;
+    /** Rows still alive after retention is applied. */
+    live_rows: number;
+    live_business_rows: number;
+    live_trace_rows: number;
+    /** Heap the live set would occupy if it were resident, in MB. */
+    heap_mb_if_resident: number;
+    /** That, as a percentage of the runtime heap ceiling. */
+    heap_pct_if_resident: number;
+    /** Disk at the horizon including an index/overhead factor, in GB. */
+    disk_gb_at_horizon: number;
+    disk_pct_at_horizon: number;
+    /** True when ANY data class is kept forever. */
+    unbounded: boolean;
+    /** Which classes are unbounded, for the message. */
+    unbounded_classes: string[];
+}
+export declare function derive(input: SizingInput): Derived;
+export declare const AXES: readonly ["state_residency", "pagination", "retention", "write_concurrency"];
+export type Axis = (typeof AXES)[number];
+export declare const AXIS_LABEL: Record<Axis, string>;
+/** What an envelope predicate gets to look at. */
+export interface EnvelopeCtx {
+    input: SizingInput;
+    derived: Derived;
+    /** The full choice set, so an envelope can depend on another axis. */
+    choices: Partial<Record<Axis, string>>;
+}
+export interface EnvelopeVerdict {
+    ok: boolean;
+    /** Why it is (in)admissible, in one sentence the owner can read. */
+    reason: string;
+}
+export interface ArchOption {
+    id: string;
+    axis: Axis;
+    label: string;
+    /** What the option actually is. */
+    what: string;
+    /** The envelope: when is this option allowed to be chosen. */
+    envelope: (ctx: EnvelopeCtx) => EnvelopeVerdict;
+}
+/**
+ * The share of the heap ceiling a resident working set may occupy.
+ *
+ * 25% and not 80%: the heap also holds every request in flight, the
+ * declarative catalog, the HTTP buffers and V8's own slack, and
+ * mark-compact pauses grow with the LIVE set long before the ceiling is
+ * reached -- the system gets unusable before it crashes. A quarter is the
+ * line where a resident set is a cache and not a liability.
+ */
+export declare const RESIDENT_HEAP_PCT_MAX = 25;
+/** Above this many rows an in-memory page slice stops being honest. */
+export declare const IN_MEMORY_PAGE_ROWS_MAX = 100000;
+/** Above this share of the disk, "keep everything forever" is a plan to run out. */
+export declare const RETENTION_NONE_DISK_PCT_MAX = 25;
+export declare const OPTIONS: readonly ArchOption[];
+export declare function optionsForAxis(axis: Axis): ArchOption[];
+export declare function findOption(id: string): ArchOption | undefined;
+export interface AxisVerdict {
+    axis: Axis;
+    chosen?: string;
+    ok: boolean;
+    reason: string;
+    /** Every option whose envelope admits this sizing. */
+    admissible: string[];
+}
+export interface SizingVerdict {
+    ok: boolean;
+    derived: Derived;
+    axes: AxisVerdict[];
+    /** Input problems that make the whole record unusable. */
+    input_errors: string[];
+    /** The choice set this sizing would admit, for a proposal. */
+    recommended: Record<Axis, string>;
+}
+/**
+ * Reject an input that decides nothing. A record of zeros would otherwise
+ * pass every envelope and the gate would become a formality -- which is
+ * exactly the failure mode being fixed, one level up.
+ */
+export declare function validateInput(input: SizingInput): string[];
+/** The choice set this sizing admits, preferring the safest option. */
+export declare function recommend(input: SizingInput, derived: Derived): Record<Axis, string>;
+/**
+ * Validate a full choice set. Fail-closed on every axis: an axis with no
+ * choice, an unknown option, or an option outside its envelope all fail.
+ */
+export declare function validateChoices(input: SizingInput, choices: Partial<Record<Axis, string>>): SizingVerdict;
+export declare function renderDerived(d: Derived): string[];
+//# sourceMappingURL=model.d.ts.map

package/dist/sizing/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/sizing/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAMH,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IAC3B,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;IACb,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,kEAAkE;IAClE,eAAe,EAAE,MAAM,CAAC;IACxB;;;;;OAKG;IACH,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,0DAA0D;AAC1D,MAAM,WAAW,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,mEAAmE;IACnE,aAAa,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,SAAS,CAAC;IACrB,0CAA0C;IAC1C,gBAAgB,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,QAAQ,CAAC;IACnB,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAMD,MAAM,WAAW,OAAO;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,mDAAmD;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,iEAAiE;IACjE,mBAAmB,EAAE,MAAM,CAAC;IAC5B,yDAAyD;IACzD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qEAAqE;IACrE,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gDAAgD;IAChD,SAAS,EAAE,OAAO,CAAC;IACnB,oDAAoD;IACpD,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAOD,wBAAgB,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CA6ClD;AAiBD,eAAO,MAAM,IAAI,8EAA+E,CAAC;AACjG,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzC,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAK3C,CAAC;AAEF,kDAAkD;AAClD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,sEAAsE;IACtE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,QAAQ,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,eAAe,CAAC;CACjD;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,qBAAqB,KAAK,CAAC;AAExC,uEAAuE;AACvE,eAAO,MAAM,uBAAuB,SAAU,CAAC;AAE/C,oFAAoF;AACpF,eAAO,MAAM,2BAA2B,KAAK,CAAC;AAK9C,eAAO,MAAM,OAAO,EAAE,SAAS,UAAU,EAqLxC,CAAC;AAEF,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,EAAE,CAEvD;AAED,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAE7D;AAMD,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,IAAI,CAAC;IACX,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,sDAAsD;IACtD,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,WAAW,EAAE,CAAC;IACpB,0DAA0D;IAC1D,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;CACnC;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,EAAE,CA2C1D;AAED,uEAAuE;AACvE,wBAAgB,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAapF;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,GACrC,aAAa,CAiCf;AAMD,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,EAAE,CAWlD"}