@stevenvo780/st-lang 4.14.0 → 4.15.0

package/dist/tooling/lsp/types.d.ts

@@ -1,26 +1,33 @@
+/** Mensaje base JSON-RPC 2.0. */
 export interface JsonRpcMessage {
     jsonrpc: '2.0';
 }
+/** Identificador de una petición JSON-RPC: número, string o null (para notificaciones). */
 export type JsonRpcId = number | string | null;
+/** Petición JSON-RPC 2.0 con id, método y parámetros opcionales. */
 export interface JsonRpcRequest extends JsonRpcMessage {
     id: JsonRpcId;
     method: string;
     params?: unknown;
 }
+/** Notificación JSON-RPC 2.0 (sin id, no requiere respuesta). */
 export interface JsonRpcNotification extends JsonRpcMessage {
     method: string;
     params?: unknown;
 }
+/** Respuesta JSON-RPC 2.0: resultado exitoso o error. */
 export interface JsonRpcResponse extends JsonRpcMessage {
     id: JsonRpcId;
     result?: unknown;
     error?: JsonRpcResponseError;
 }
+/** Error en una respuesta JSON-RPC 2.0: código numérico, mensaje y datos opcionales. */
 export interface JsonRpcResponseError {
     code: number;
     message: string;
     data?: unknown;
 }
+/** Códigos de error estándar JSON-RPC 2.0 y extensiones LSP (RequestCancelled). */
 export declare const JSON_RPC_ERROR_CODES: {
     readonly ParseError: -32700;
     readonly InvalidRequest: -32600;
@@ -30,24 +37,30 @@ export declare const JSON_RPC_ERROR_CODES: {
     readonly ServerNotInitialized: -32002;
     readonly RequestCancelled: -32800;
 };
+/** Posición LSP (0-based): línea y carácter dentro de un documento de texto. */
 export interface Position {
     line: number;
     character: number;
 }
+/** Rango LSP: par de posiciones inicio/fin que delimitan una región del texto. */
 export interface Range {
     start: Position;
     end: Position;
 }
+/** Ubicación LSP: URI del documento y rango dentro de él. */
 export interface Location {
     uri: string;
     range: Range;
 }
+/** Identificador de documento de texto LSP: solo su URI. */
 export interface TextDocumentIdentifier {
     uri: string;
 }
+/** Identificador de documento con número de versión para sincronización incremental. */
 export interface VersionedTextDocumentIdentifier extends TextDocumentIdentifier {
     version: number;
 }
+/** Ítem de documento de texto LSP: URI, languageId, versión y contenido completo. */
 export interface TextDocumentItem {
     uri: string;
     languageId: string;

package/dist/tooling/lsp/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/tooling/lsp/types.ts"],"names":[],"mappings":"AASA,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;AAE/C,MAAM,WAAW,cAAe,SAAQ,cAAc;IACpD,EAAE,EAAE,SAAS,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,cAAc;IACzD,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,EAAE,EAAE,SAAS,CAAC;IACd,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,oBAAoB,CAAC;CAC9B;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,eAAO,MAAM,oBAAoB;;;;;;;;CAQvB,CAAC;AAIX,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACf;AAED,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,+BAAgC,SAAQ,sBAAsB;IAC7E,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,8BAA8B;IAC7C,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,0BAA0B;IACzC,YAAY,EAAE,sBAAsB,CAAC;IACrC,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAID,oBAAY,kBAAkB;IAC5B,KAAK,IAAI;IACT,OAAO,IAAI;IACX,WAAW,IAAI;IACf,IAAI,IAAI;CACT;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,wBAAwB;IACvC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,aAAa,EAAE,CAAC;CAC9B;AAID,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,WAAW,GAAG,UAAU,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,EAAE,aAAa,CAAC;IACxB,KAAK,CAAC,EAAE,KAAK,CAAC;CACf;AAID,oBAAY,kBAAkB;IAC5B,IAAI,IAAI;IACR,MAAM,IAAI;IACV,QAAQ,IAAI;IACZ,WAAW,IAAI;IACf,KAAK,IAAI;IACT,QAAQ,IAAI;IACZ,KAAK,IAAI;IACT,SAAS,IAAI;IACb,MAAM,IAAI;IACV,QAAQ,KAAK;IACb,IAAI,KAAK;IACT,KAAK,KAAK;IACV,IAAI,KAAK;IACT,OAAO,KAAK;IACZ,OAAO,KAAK;IACZ,KAAK,KAAK;IACV,IAAI,KAAK;IACT,SAAS,KAAK;IACd,MAAM,KAAK;IACX,UAAU,KAAK;IACf,QAAQ,KAAK;IACb,MAAM,KAAK;IACX,KAAK,KAAK;IACV,QAAQ,KAAK;IACb,aAAa,KAAK;CACnB;AAED,oBAAY,gBAAgB;IAC1B,SAAS,IAAI;IACb,OAAO,IAAI;CACZ;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAID,oBAAY,oBAAoB;IAC9B,IAAI,IAAI;IACR,IAAI,IAAI;IACR,WAAW,IAAI;CAChB;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,kBAAkB,CAAC;IACjC,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACjD;AAED,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,kBAAkB,CAAC,EAAE;QAAE,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,eAAe,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IACjF,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAClC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/tooling/lsp/types.ts"],"names":[],"mappings":"AASA,iCAAiC;AACjC,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,KAAK,CAAC;CAChB;AAED,2FAA2F;AAC3F,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;AAE/C,oEAAoE;AACpE,MAAM,WAAW,cAAe,SAAQ,cAAc;IACpD,EAAE,EAAE,SAAS,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,iEAAiE;AACjE,MAAM,WAAW,mBAAoB,SAAQ,cAAc;IACzD,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,yDAAyD;AACzD,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,EAAE,EAAE,SAAS,CAAC;IACd,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,oBAAoB,CAAC;CAC9B;AAED,wFAAwF;AACxF,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,mFAAmF;AACnF,eAAO,MAAM,oBAAoB;;;;;;;;CAQvB,CAAC;AAIX,gFAAgF;AAChF,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,kFAAkF;AAClF,MAAM,WAAW,KAAK;IACpB,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACf;AAED,6DAA6D;AAC7D,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,KAAK,CAAC;CACd;AAED,4DAA4D;AAC5D,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,MAAM,CAAC;CACb;AAED,wFAAwF;AACxF,MAAM,WAAW,+BAAgC,SAAQ,sBAAsB;IAC7E,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qFAAqF;AACrF,MAAM,WAAW,gBAAgB;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,8BAA8B;IAC7C,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,0BAA0B;IACzC,YAAY,EAAE,sBAAsB,CAAC;IACrC,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAID,oBAAY,kBAAkB;IAC5B,KAAK,IAAI;IACT,OAAO,IAAI;IACX,WAAW,IAAI;IACf,IAAI,IAAI;CACT;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,KAAK,CAAC;IACb,QAAQ,CAAC,EAAE,kBAAkB,CAAC;IAC9B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,wBAAwB;IACvC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,aAAa,EAAE,CAAC;CAC9B;AAID,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,WAAW,GAAG,UAAU,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,KAAK;IACpB,QAAQ,EAAE,aAAa,CAAC;IACxB,KAAK,CAAC,EAAE,KAAK,CAAC;CACf;AAID,oBAAY,kBAAkB;IAC5B,IAAI,IAAI;IACR,MAAM,IAAI;IACV,QAAQ,IAAI;IACZ,WAAW,IAAI;IACf,KAAK,IAAI;IACT,QAAQ,IAAI;IACZ,KAAK,IAAI;IACT,SAAS,IAAI;IACb,MAAM,IAAI;IACV,QAAQ,KAAK;IACb,IAAI,KAAK;IACT,KAAK,KAAK;IACV,IAAI,KAAK;IACT,OAAO,KAAK;IACZ,OAAO,KAAK;IACZ,KAAK,KAAK;IACV,IAAI,KAAK;IACT,SAAS,KAAK;IACd,MAAM,KAAK;IACX,UAAU,KAAK;IACf,QAAQ,KAAK;IACb,MAAM,KAAK;IACX,KAAK,KAAK;IACV,QAAQ,KAAK;IACb,aAAa,KAAK;CACnB;AAED,oBAAY,gBAAgB;IAC1B,SAAS,IAAI;IACb,OAAO,IAAI;CACZ;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC;IACvC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC;AAID,oBAAY,oBAAoB;IAC9B,IAAI,IAAI;IACR,IAAI,IAAI;IACR,WAAW,IAAI;CAChB;AAED,MAAM,WAAW,gBAAgB;IAC/B,YAAY,EAAE,kBAAkB,CAAC;IACjC,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACjD;AAED,MAAM,WAAW,kBAAkB;IACjC,gBAAgB,CAAC,EAAE,oBAAoB,CAAC;IACxC,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,kBAAkB,CAAC,EAAE;QAAE,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;QAAC,eAAe,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IACjF,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAClC"}

package/dist/tooling/lsp/types.js

@@ -9,6 +9,7 @@
 // posiciones 1-based — la conversion se hace explicitamente en server.ts.
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TextDocumentSyncKind = exports.InsertTextFormat = exports.CompletionItemKind = exports.DiagnosticSeverity = exports.JSON_RPC_ERROR_CODES = void 0;
+/** Códigos de error estándar JSON-RPC 2.0 y extensiones LSP (RequestCancelled). */
 exports.JSON_RPC_ERROR_CODES = {
     ParseError: -32700,
     InvalidRequest: -32600,

package/dist/tooling/lsp/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/tooling/lsp/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yDAAyD;AACzD,+DAA+D;AAC/D,EAAE;AACF,gEAAgE;AAChE,kEAAkE;AAClE,kEAAkE;AAClE,0EAA0E;;;AA+B7D,QAAA,oBAAoB,GAAG;IAClC,UAAU,EAAE,CAAC,KAAK;IAClB,cAAc,EAAE,CAAC,KAAK;IACtB,cAAc,EAAE,CAAC,KAAK;IACtB,aAAa,EAAE,CAAC,KAAK;IACrB,aAAa,EAAE,CAAC,KAAK;IACrB,oBAAoB,EAAE,CAAC,KAAK;IAC5B,gBAAgB,EAAE,CAAC,KAAK;CAChB,CAAC;AA4CX,gEAAgE;AAEhE,IAAY,kBAKX;AALD,WAAY,kBAAkB;IAC5B,6DAAS,CAAA;IACT,iEAAW,CAAA;IACX,yEAAe,CAAA;IACf,2DAAQ,CAAA;AACV,CAAC,EALW,kBAAkB,kCAAlB,kBAAkB,QAK7B;AA4BD,gEAAgE;AAEhE,IAAY,kBA0BX;AA1BD,WAAY,kBAAkB;IAC5B,2DAAQ,CAAA;IACR,+DAAU,CAAA;IACV,mEAAY,CAAA;IACZ,yEAAe,CAAA;IACf,6DAAS,CAAA;IACT,mEAAY,CAAA;IACZ,6DAAS,CAAA;IACT,qEAAa,CAAA;IACb,+DAAU,CAAA;IACV,oEAAa,CAAA;IACb,4DAAS,CAAA;IACT,8DAAU,CAAA;IACV,4DAAS,CAAA;IACT,kEAAY,CAAA;IACZ,kEAAY,CAAA;IACZ,8DAAU,CAAA;IACV,4DAAS,CAAA;IACT,sEAAc,CAAA;IACd,gEAAW,CAAA;IACX,wEAAe,CAAA;IACf,oEAAa,CAAA;IACb,gEAAW,CAAA;IACX,8DAAU,CAAA;IACV,oEAAa,CAAA;IACb,8EAAkB,CAAA;AACpB,CAAC,EA1BW,kBAAkB,kCAAlB,kBAAkB,QA0B7B;AAED,IAAY,gBAGX;AAHD,WAAY,gBAAgB;IAC1B,iEAAa,CAAA;IACb,6DAAW,CAAA;AACb,CAAC,EAHW,gBAAgB,gCAAhB,gBAAgB,QAG3B;AAWD,gEAAgE;AAEhE,IAAY,oBAIX;AAJD,WAAY,oBAAoB;IAC9B,+DAAQ,CAAA;IACR,+DAAQ,CAAA;IACR,6EAAe,CAAA;AACjB,CAAC,EAJW,oBAAoB,oCAApB,oBAAoB,QAI/B"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/tooling/lsp/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yDAAyD;AACzD,+DAA+D;AAC/D,EAAE;AACF,gEAAgE;AAChE,kEAAkE;AAClE,kEAAkE;AAClE,0EAA0E;;;AAqC1E,mFAAmF;AACtE,QAAA,oBAAoB,GAAG;IAClC,UAAU,EAAE,CAAC,KAAK;IAClB,cAAc,EAAE,CAAC,KAAK;IACtB,cAAc,EAAE,CAAC,KAAK;IACtB,aAAa,EAAE,CAAC,KAAK;IACrB,aAAa,EAAE,CAAC,KAAK;IACrB,oBAAoB,EAAE,CAAC,KAAK;IAC5B,gBAAgB,EAAE,CAAC,KAAK;CAChB,CAAC;AAkDX,gEAAgE;AAEhE,IAAY,kBAKX;AALD,WAAY,kBAAkB;IAC5B,6DAAS,CAAA;IACT,iEAAW,CAAA;IACX,yEAAe,CAAA;IACf,2DAAQ,CAAA;AACV,CAAC,EALW,kBAAkB,kCAAlB,kBAAkB,QAK7B;AA4BD,gEAAgE;AAEhE,IAAY,kBA0BX;AA1BD,WAAY,kBAAkB;IAC5B,2DAAQ,CAAA;IACR,+DAAU,CAAA;IACV,mEAAY,CAAA;IACZ,yEAAe,CAAA;IACf,6DAAS,CAAA;IACT,mEAAY,CAAA;IACZ,6DAAS,CAAA;IACT,qEAAa,CAAA;IACb,+DAAU,CAAA;IACV,oEAAa,CAAA;IACb,4DAAS,CAAA;IACT,8DAAU,CAAA;IACV,4DAAS,CAAA;IACT,kEAAY,CAAA;IACZ,kEAAY,CAAA;IACZ,8DAAU,CAAA;IACV,4DAAS,CAAA;IACT,sEAAc,CAAA;IACd,gEAAW,CAAA;IACX,wEAAe,CAAA;IACf,oEAAa,CAAA;IACb,gEAAW,CAAA;IACX,8DAAU,CAAA;IACV,oEAAa,CAAA;IACb,8EAAkB,CAAA;AACpB,CAAC,EA1BW,kBAAkB,kCAAlB,kBAAkB,QA0B7B;AAED,IAAY,gBAGX;AAHD,WAAY,gBAAgB;IAC1B,iEAAa,CAAA;IACb,6DAAW,CAAA;AACb,CAAC,EAHW,gBAAgB,gCAAhB,gBAAgB,QAG3B;AAWD,gEAAgE;AAEhE,IAAY,oBAIX;AAJD,WAAY,oBAAoB;IAC9B,+DAAQ,CAAA;IACR,+DAAQ,CAAA;IACR,6EAAe,CAAA;AACjB,CAAC,EAJW,oBAAoB,oCAApB,oBAAoB,QAI/B"}

package/dist/tooling/test-harness/combinators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"combinators.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/combinators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,mBAAmB,EACnB,QAAQ,EACR,SAAS,EACV,MAAM,SAAS,CAAC;AAgCjB,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,EACjC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,EACjB,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,EACjB,IAAI,CAAC,EAAE,mBAAmB,GACzB,SAAS,CAAC;IAAE,CAAC,EAAE,EAAE,CAAC;IAAC,CAAC,EAAE,EAAE,CAAA;CAAE,CAAC,CA4B7B;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAC/B,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EACnB,MAAM,EAAE,CAAC,EAAE,GACV,SAAS,CAAC;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAenC;AAcD,wBAAgB,MAAM,CAAC,CAAC,EACtB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EACnB,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,GAChC,SAAS,CAAC,CAAC,CAAC,CAKd;AAED,wBAAgB,YAAY,CAAC,CAAC,EAC5B,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EACnB,IAAI,EAAE,MAAM,EAAE,GACb,SAAS,CAAC,CAAC,CAAC,CAEd;AAED,wBAAgB,GAAG,CAAC,CAAC,EACnB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EACnB,KAAK,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,GAClC,SAAS,CAAC,CAAC,CAAC,CASd;AAED,wBAAgB,SAAS,CAAC,CAAC,EACzB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GACnB,SAAS,CAAC,CAAC,CAAC,CAEd"}
+{"version":3,"file":"combinators.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/combinators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAe,mBAAmB,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AA4BrF,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,EACjC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,EACjB,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,EACjB,IAAI,CAAC,EAAE,mBAAmB,GACzB,SAAS,CAAC;IAAE,CAAC,EAAE,EAAE,CAAC;IAAC,CAAC,EAAE,EAAE,CAAA;CAAE,CAAC,CA0B7B;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAC/B,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EACnB,MAAM,EAAE,CAAC,EAAE,GACV,SAAS,CAAC;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,CAenC;AAcD,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAK9F;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAEjF;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAS7F;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAE7E"}

package/dist/tooling/test-harness/combinators.js

@@ -58,7 +58,7 @@ function crossProduct(s1, s2, opts) {
             cases.push({
                 name: `${ca.name} × ${cb.name}`,
                 input: { a: ca.input, b: cb.input },
-                tags: mergedTags.length > 0 ? mergedTags : undefined
+                tags: mergedTags.length > 0 ? mergedTags : undefined,
             });
         }
     }
@@ -75,7 +75,7 @@ function parameterize(suite, params) {
             cases.push({
                 name: `${c.name} [param=${formatParam(p)}]`,
                 input: { input: c.input, param: p },
-                tags: c.tags
+                tags: c.tags,
             });
         }
     }
@@ -100,7 +100,7 @@ function formatParam(p) {
 function filter(suite, pred) {
     return {
         name: suite.name,
-        cases: suite.cases.filter(pred)
+        cases: suite.cases.filter(pred),
     };
 }
 function filterByTags(suite, tags) {
@@ -113,7 +113,7 @@ function tag(suite, tagFn) {
             const extra = tagFn(c);
             const merged = Array.from(new Set([...(c.tags ?? []), ...extra]));
             return { ...c, tags: merged.length > 0 ? merged : undefined };
-        })
+        }),
     };
 }
 function makeSuite(name, cases) {

package/dist/tooling/test-harness/combinators.js.map

@@ -1 +1 @@
-{"version":3,"file":"combinators.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/combinators.ts"],"names":[],"mappings":";;AAqCA,oCAgCC;AAED,oCAkBC;AAcD,wBAQC;AAED,oCAKC;AAED,kBAYC;AAED,8BAKC;AApID,SAAS,QAAQ,CAAI,CAAc;IACjC,OAAO,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,SAAS,CAAI,CAAc,EAAE,MAAgB;IACpD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,CAAW,EACX,CAAW,EACX,IAAiB;IAEjB,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACjC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,YAAY,CAC1B,EAAiB,EACjB,EAAiB,EACjB,IAA0B;IAE1B,MAAM,IAAI,GAAgB,IAAI,EAAE,OAAO,IAAI,WAAW,CAAC;IACvD,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;gBAAE,SAAS;YAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAC3B,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAC5C,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,GAAG,KAAK,CAAC;gBAChB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC3B,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,GAAG,GAAG,IAAI,CAAC;wBACX,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,GAAG;oBAAE,SAAS;YACrB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,EAAE;gBAC/B,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE;gBACnC,IAAI,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;aACrD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC;AAED,SAAgB,YAAY,CAC1B,KAAmB,EACnB,MAAW;IAEX,MAAM,KAAK,GAAuC,EAAE,CAAC;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAM,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,WAAW,WAAW,CAAC,CAAC,CAAC,GAAG;gBAC3C,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;gBACnC,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,WAAW,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAgB,MAAM,CACpB,KAAmB,EACnB,IAAiC;IAEjC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAC1B,KAAmB,EACnB,IAAc;IAEd,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAgB,GAAG,CACjB,KAAmB,EACnB,KAAmC;IAEnC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAClE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;QAChE,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CACvB,IAAY,EACZ,KAAoB;IAEpB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC"}
+{"version":3,"file":"combinators.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/combinators.ts"],"names":[],"mappings":";;AA4BA,oCA8BC;AAED,oCAkBC;AAcD,wBAKC;AAED,oCAEC;AAED,kBASC;AAED,8BAEC;AAlHD,SAAS,QAAQ,CAAI,CAAc;IACjC,OAAO,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,SAAS,CAAI,CAAc,EAAE,MAAgB;IACpD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACpC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,CAAW,EAAE,CAAW,EAAE,IAAiB;IAChE,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACtC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACjC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,YAAY,CAC1B,EAAiB,EACjB,EAAiB,EACjB,IAA0B;IAE1B,MAAM,IAAI,GAAgB,IAAI,EAAE,OAAO,IAAI,WAAW,CAAC;IACvD,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;gBAAE,SAAS;YAC/D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,GAAG,KAAK,CAAC;gBAChB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC3B,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC3B,GAAG,GAAG,IAAI,CAAC;wBACX,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,GAAG;oBAAE,SAAS;YACrB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,EAAE;gBAC/B,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE;gBACnC,IAAI,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;aACrD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC;AACpD,CAAC;AAED,SAAgB,YAAY,CAC1B,KAAmB,EACnB,MAAW;IAEX,MAAM,KAAK,GAAuC,EAAE,CAAC;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,WAAW,WAAW,CAAC,CAAC,CAAC,GAAG;gBAC3C,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;gBACnC,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,WAAW,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAgB,MAAM,CAAI,KAAmB,EAAE,IAAiC;IAC9E,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAAI,KAAmB,EAAE,IAAc;IACjE,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAgB,GAAG,CAAI,KAAmB,EAAE,KAAmC;IAC7E,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAClE,OAAO,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;QAChE,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,SAAgB,SAAS,CAAI,IAAY,EAAE,KAAoB;IAC7D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC"}

package/dist/tooling/test-harness/coverage.js

@@ -26,7 +26,7 @@ async function runWithCoverage(suite, runner) {
         passing,
         failing,
         errored,
-        tagDistribution
+        tagDistribution,
     };
 }
 //# sourceMappingURL=coverage.js.map

package/dist/tooling/test-harness/generators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":"AAAA,wBAAiB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAMpD;AAED,wBAAiB,KAAK,CACpB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE,MAAM,GACZ,SAAS,CAAC,MAAM,CAAC,CAYnB;AAaD,wBAAiB,UAAU,CACzB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV,SAAS,CAAC,MAAM,CAAC,CAOnB;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,CAUxD;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAEhD"}
+{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":"AAAA,wBAAiB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAMpD;AAED,wBAAiB,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAYnF;AAaD,wBAAiB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAOvF;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,CAUxD;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAEhD"}

package/dist/tooling/test-harness/generators.js.map

@@ -1 +1 @@
-{"version":3,"file":"generators.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":";;AAAA,oBAMC;AAED,sBAgBC;AAaD,gCAWC;AAED,oBAUC;AAED,0BAEC;AAhED,QAAe,CAAC,CAAC,IAAI,CAAC,GAAW;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,QAAe,CAAC,CAAC,KAAK,CACpB,KAAa,EACb,GAAW,EACX,IAAa;IAEb,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,QAAe,CAAC,CAAC,UAAU,CACzB,IAAY,EACZ,KAAa,EACb,GAAW;IAEX,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO;IACvB,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAgB,IAAI,CAAI,GAAgB,EAAE,CAAS;IACjD,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QAClB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,OAAO,CAAI,GAAgB;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC"}
+{"version":3,"file":"generators.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":";;AAAA,oBAMC;AAED,sBAYC;AAaD,gCAOC;AAED,oBAUC;AAED,0BAEC;AAxDD,QAAe,CAAC,CAAC,IAAI,CAAC,GAAW;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,QAAe,CAAC,CAAC,KAAK,CAAC,KAAa,EAAE,GAAW,EAAE,IAAa;IAC9D,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,QAAe,CAAC,CAAC,UAAU,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IAClE,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO;IACvB,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAgB,IAAI,CAAI,GAAgB,EAAE,CAAS;IACjD,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QAClB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,OAAO,CAAI,GAAgB;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC"}

package/dist/tooling/test-harness/index.d.ts

@@ -1,4 +1,4 @@
-export type { CombineMode, CoverageReport, CrossProductOptions, Snapshot, SnapshotComparison, TestCase, TestSuite } from './types';
+export type { CombineMode, CoverageReport, CrossProductOptions, Snapshot, SnapshotComparison, TestCase, TestSuite, } from './types';
 export { crossProduct, filter, filterByTags, makeSuite, parameterize, tag } from './combinators';
 export { nats, randomInts, range, take, toArray } from './generators';
 export { runWithCoverage } from './coverage';

package/dist/tooling/test-harness/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,SAAS,EACV,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,YAAY,EACZ,MAAM,EACN,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,GAAG,EACJ,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,IAAI,EACJ,UAAU,EACV,KAAK,EACL,IAAI,EACJ,OAAO,EACR,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACb,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,aAAa,EACb,YAAY,EACZ,YAAY,EACb,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,SAAS,GACV,MAAM,SAAS,CAAC;AAEjB,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAEjG,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEtE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEzE,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC"}

package/dist/tooling/test-harness/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":";;;AAUA,6CAOuB;AANrB,2GAAA,YAAY,OAAA;AACZ,qGAAA,MAAM,OAAA;AACN,2GAAA,YAAY,OAAA;AACZ,wGAAA,SAAS,OAAA;AACT,2GAAA,YAAY,OAAA;AACZ,kGAAA,GAAG,OAAA;AAGL,2CAMsB;AALpB,kGAAA,IAAI,OAAA;AACJ,wGAAA,UAAU,OAAA;AACV,mGAAA,KAAK,OAAA;AACL,kGAAA,IAAI,OAAA;AACJ,qGAAA,OAAO,OAAA;AAGT,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AAExB,uCAIoB;AAHlB,2GAAA,eAAe,OAAA;AACf,wGAAA,YAAY,OAAA;AACZ,wGAAA,YAAY,OAAA;AAGd,uCAIoB;AAHlB,yGAAA,aAAa,OAAA;AACb,wGAAA,YAAY,OAAA;AACZ,wGAAA,YAAY,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":";;;AAUA,6CAAiG;AAAxF,2GAAA,YAAY,OAAA;AAAE,qGAAA,MAAM,OAAA;AAAE,2GAAA,YAAY,OAAA;AAAE,wGAAA,SAAS,OAAA;AAAE,2GAAA,YAAY,OAAA;AAAE,kGAAA,GAAG,OAAA;AAEzE,2CAAsE;AAA7D,kGAAA,IAAI,OAAA;AAAE,wGAAA,UAAU,OAAA;AAAE,mGAAA,KAAK,OAAA;AAAE,kGAAA,IAAI,OAAA;AAAE,qGAAA,OAAO,OAAA;AAE/C,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AAExB,uCAAyE;AAAhE,2GAAA,eAAe,OAAA;AAAE,wGAAA,YAAY,OAAA;AAAE,wGAAA,YAAY,OAAA;AAEpD,uCAAuE;AAA9D,yGAAA,aAAa,OAAA;AAAE,wGAAA,YAAY,OAAA;AAAE,wGAAA,YAAY,OAAA"}

package/dist/tooling/test-harness/snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAuD5D,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAEpE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAMtE;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,OAAO,GACf,kBAAkB,CAUpB"}
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAuD5D,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAEpE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAMtE;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,kBAAkB,CAUpF"}

package/dist/tooling/test-harness/snapshot.js

@@ -69,7 +69,7 @@ function takeSnapshot(input, output) {
     return {
         input,
         output,
-        hash: snapshotHash(input, output)
+        hash: snapshotHash(input, output),
     };
 }
 function compareSnapshot(snap, current) {
@@ -80,7 +80,7 @@ function compareSnapshot(snap, current) {
     }
     return {
         match: false,
-        diff: `expected: ${expected}\nactual:   ${actual}`
+        diff: `expected: ${expected}\nactual:   ${actual}`,
     };
 }
 //# sourceMappingURL=snapshot.js.map

package/dist/tooling/test-harness/snapshot.js.map

@@ -1 +1 @@
-{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":";;AAuDA,oCAEC;AAED,oCAMC;AAED,0CAaC;AA9ED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE;QACnC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,WAAW;YAAE,OAAO,eAAe,CAAC;QACrD,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,cAAc,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC/D,IAAI,OAAO,CAAC,KAAK,UAAU;YAAE,OAAO,UAAU,CAAC,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QACjE,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,WAAW,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC5D,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAW,CAAC;YAAE,OAAO,WAAW,CAAC;QAC9C,IAAI,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC;QACtB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAA8B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAChB,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO,KAAK,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO;QACL,KAAK;QACL,MAAM;QACN,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAgB,eAAe,CAC7B,IAAc,EACd,OAAgB;IAEhB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzB,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,aAAa,QAAQ,eAAe,MAAM,EAAE;KACnD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":";;AAuDA,oCAEC;AAED,oCAMC;AAED,0CAUC;AA3ED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE;QACnC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,WAAW;YAAE,OAAO,eAAe,CAAC;QACrD,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,cAAc,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC/D,IAAI,OAAO,CAAC,KAAK,UAAU;YAAE,OAAO,UAAU,CAAC,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QACjE,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,WAAW,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC5D,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,WAAW,CAAC;QACpC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAA8B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAChB,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO,KAAK,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO;QACL,KAAK;QACL,MAAM;QACN,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAgB,eAAe,CAAC,IAAc,EAAE,OAAgB;IAC9D,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzB,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,aAAa,QAAQ,eAAe,MAAM,EAAE;KACnD,CAAC;AACJ,CAAC"}

package/dist/type-theory/cubical/types.d.ts

@@ -1,3 +1,8 @@
+/**
+ * Término de la Teoría de Tipos Cubical (CTT-Lite).
+ * Cubre el intervalo I con extremos i0/i1, operaciones ∧/∨/~, caminos PathP,
+ * abstracción/aplicación de path, glue (univalencia computacional) y MLTT base (Π, λ, app, universo).
+ */
 export type CubicalTerm = {
     kind: 'i0';
 } | {
@@ -54,24 +59,44 @@ export type CubicalTerm = {
     fn: CubicalTerm;
     arg: CubicalTerm;
 };
+/** Extremo inferior del intervalo `i0 : I`. */
 export declare const cI0: () => CubicalTerm;
+/** Extremo superior del intervalo `i1 : I`. */
 export declare const cI1: () => CubicalTerm;
+/** Variable de intervalo `name : I`. */
 export declare const cIVar: (name: string) => CubicalTerm;
+/** Mínimo de intervalo `left ∧ right` (conexión). */
 export declare const cIMin: (left: CubicalTerm, right: CubicalTerm) => CubicalTerm;
+/** Máximo de intervalo `left ∨ right` (conexión). */
 export declare const cIMax: (left: CubicalTerm, right: CubicalTerm) => CubicalTerm;
+/** Negación de intervalo `~arg` (involución: `~i0 = i1`). */
 export declare const cINeg: (arg: CubicalTerm) => CubicalTerm;
+/** `PathP family left right` — tipo de caminos dependientes sobre la familia `family`. */
 export declare const cPathP: (family: CubicalTerm, left: CubicalTerm, right: CubicalTerm) => CubicalTerm;
+/** Abstracción de camino `λi. body` donde `bind` es la variable de intervalo. */
 export declare const cPLam: (bind: string, body: CubicalTerm) => CubicalTerm;
+/** Aplicación de camino `path @ arg` (evaluación en un punto del intervalo). */
 export declare const cPApp: (path: CubicalTerm, arg: CubicalTerm) => CubicalTerm;
+/** Glue: construcción precursora de univalencia computacional con equivalencia `equiv` y parcial `partial`. */
 export declare const cGlue: (equiv: CubicalTerm, partial: CubicalTerm) => CubicalTerm;
+/** Variable del cálculo de tipos. */
 export declare const cVar: (name: string) => CubicalTerm;
+/** Universo de tipos de nivel `level` (default 0). */
 export declare const cUniverse: (level?: number) => CubicalTerm;
+/** Tipo Π dependiente `Π (bind : domain). codomain`. */
 export declare const cPi: (bind: string, domain: CubicalTerm, codomain: CubicalTerm) => CubicalTerm;
+/** Abstracción dependiente `λ (bind : domain). body`. */
 export declare const cLam: (bind: string, domain: CubicalTerm, body: CubicalTerm) => CubicalTerm;
+/** Aplicación de término `fn arg`. */
 export declare const cApp: (fn: CubicalTerm, arg: CubicalTerm) => CubicalTerm;
+/** Flecha no dependiente `from → to` (azúcar para `cPi('_', from, to)`). */
 export declare const cArrow: (from: CubicalTerm, to: CubicalTerm) => CubicalTerm;
+/** Devuelve `true` si el término `t` es una expresión pura del intervalo I (i0, i1, iVar, iMin, iMax, iNeg). */
 export declare function isIntervalExpr(t: CubicalTerm): boolean;
+/** Devuelve `true` si `name` ocurre libre en `term`. */
 export declare function occursFreeCubical(name: string, term: CubicalTerm): boolean;
+/** Acumula en `acc` (o devuelve un nuevo Set) el conjunto de variables libres del término. */
 export declare function freeVarsCubical(term: CubicalTerm, acc?: Set<string>): Set<string>;
+/** Serializa un término CTT-Lite a su representación textual estándar. */
 export declare function termToStringCubical(t: CubicalTerm): string;
 //# sourceMappingURL=types.d.ts.map

package/dist/type-theory/cubical/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/type-theory/cubical/types.ts"],"names":[],"mappings":"AAuBA,MAAM,MAAM,WAAW,GAEnB;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GACd;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GACd;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,GAElC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAC7E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,GAErD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAE1D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,WAAW,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,CAAC;AAIvD,eAAO,MAAM,GAAG,QAAO,WAA+B,CAAC;AACvD,eAAO,MAAM,GAAG,QAAO,WAA+B,CAAC;AACvD,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,WAAuC,CAAC;AAC7E,eAAO,MAAM,KAAK,GAAI,MAAM,WAAW,EAAE,OAAO,WAAW,KAAG,WAI5D,CAAC;AACH,eAAO,MAAM,KAAK,GAAI,MAAM,WAAW,EAAE,OAAO,WAAW,KAAG,WAI5D,CAAC;AACH,eAAO,MAAM,KAAK,GAAI,KAAK,WAAW,KAAG,WAAsC,CAAC;AAEhF,eAAO,MAAM,MAAM,GACjB,QAAQ,WAAW,EACnB,MAAM,WAAW,EACjB,OAAO,WAAW,KACjB,WAKD,CAAC;AACH,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,EAAE,MAAM,WAAW,KAAG,WAItD,CAAC;AACH,eAAO,MAAM,KAAK,GAAI,MAAM,WAAW,EAAE,KAAK,WAAW,KAAG,WAI1D,CAAC;AAEH,eAAO,MAAM,KAAK,GAAI,OAAO,WAAW,EAAE,SAAS,WAAW,KAAG,WAI/D,CAAC;AAEH,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,KAAG,WAAsC,CAAC;AAC3E,eAAO,MAAM,SAAS,GAAI,cAAS,KAAG,WAA4C,CAAC;AACnF,eAAO,MAAM,GAAG,GAAI,MAAM,MAAM,EAAE,QAAQ,WAAW,EAAE,UAAU,WAAW,KAAG,WAK7E,CAAC;AACH,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,EAAE,QAAQ,WAAW,EAAE,MAAM,WAAW,KAAG,WAK1E,CAAC;AACH,eAAO,MAAM,IAAI,GAAI,IAAI,WAAW,EAAE,KAAK,WAAW,KAAG,WAAyC,CAAC;AACnG,eAAO,MAAM,MAAM,GAAI,MAAM,WAAW,EAAE,IAAI,WAAW,KAAG,WAAiC,CAAC;AAI9F,wBAAgB,cAAc,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CActD;AAID,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAwC1E;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,GAAG,CAAC,MAAM,CAAC,CAyD5F;AAID,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAoC1D"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/type-theory/cubical/types.ts"],"names":[],"mappings":"AAuBA;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAEnB;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GACd;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,GACd;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,GAElC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAC7E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,GAErD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAE1D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,WAAW,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,CAAC;AAIvD,+CAA+C;AAC/C,eAAO,MAAM,GAAG,QAAO,WAA+B,CAAC;AACvD,+CAA+C;AAC/C,eAAO,MAAM,GAAG,QAAO,WAA+B,CAAC;AACvD,wCAAwC;AACxC,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,WAAuC,CAAC;AAC7E,qDAAqD;AACrD,eAAO,MAAM,KAAK,GAAI,MAAM,WAAW,EAAE,OAAO,WAAW,KAAG,WAI5D,CAAC;AACH,qDAAqD;AACrD,eAAO,MAAM,KAAK,GAAI,MAAM,WAAW,EAAE,OAAO,WAAW,KAAG,WAI5D,CAAC;AACH,6DAA6D;AAC7D,eAAO,MAAM,KAAK,GAAI,KAAK,WAAW,KAAG,WAAsC,CAAC;AAEhF,0FAA0F;AAC1F,eAAO,MAAM,MAAM,GACjB,QAAQ,WAAW,EACnB,MAAM,WAAW,EACjB,OAAO,WAAW,KACjB,WAKD,CAAC;AACH,iFAAiF;AACjF,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,EAAE,MAAM,WAAW,KAAG,WAItD,CAAC;AACH,gFAAgF;AAChF,eAAO,MAAM,KAAK,GAAI,MAAM,WAAW,EAAE,KAAK,WAAW,KAAG,WAI1D,CAAC;AAEH,+GAA+G;AAC/G,eAAO,MAAM,KAAK,GAAI,OAAO,WAAW,EAAE,SAAS,WAAW,KAAG,WAI/D,CAAC;AAEH,qCAAqC;AACrC,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,KAAG,WAAsC,CAAC;AAC3E,sDAAsD;AACtD,eAAO,MAAM,SAAS,GAAI,cAAS,KAAG,WAA4C,CAAC;AACnF,wDAAwD;AACxD,eAAO,MAAM,GAAG,GAAI,MAAM,MAAM,EAAE,QAAQ,WAAW,EAAE,UAAU,WAAW,KAAG,WAK7E,CAAC;AACH,yDAAyD;AACzD,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,EAAE,QAAQ,WAAW,EAAE,MAAM,WAAW,KAAG,WAK1E,CAAC;AACH,sCAAsC;AACtC,eAAO,MAAM,IAAI,GAAI,IAAI,WAAW,EAAE,KAAK,WAAW,KAAG,WAAyC,CAAC;AACnG,4EAA4E;AAC5E,eAAO,MAAM,MAAM,GAAI,MAAM,WAAW,EAAE,IAAI,WAAW,KAAG,WAAiC,CAAC;AAI9F,gHAAgH;AAChH,wBAAgB,cAAc,CAAC,CAAC,EAAE,WAAW,GAAG,OAAO,CActD;AAID,wDAAwD;AACxD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAwC1E;AAED,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,GAAG,CAAC,MAAM,CAAC,CAyD5F;AAID,0EAA0E;AAC1E,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAoC1D"}

package/dist/type-theory/cubical/types.js

@@ -28,26 +28,33 @@ exports.occursFreeCubical = occursFreeCubical;
 exports.freeVarsCubical = freeVarsCubical;
 exports.termToStringCubical = termToStringCubical;
 // ── Constructores convenientes ──────────────────────────────
+/** Extremo inferior del intervalo `i0 : I`. */
 const cI0 = () => ({ kind: 'i0' });
 exports.cI0 = cI0;
+/** Extremo superior del intervalo `i1 : I`. */
 const cI1 = () => ({ kind: 'i1' });
 exports.cI1 = cI1;
+/** Variable de intervalo `name : I`. */
 const cIVar = (name) => ({ kind: 'iVar', name });
 exports.cIVar = cIVar;
+/** Mínimo de intervalo `left ∧ right` (conexión). */
 const cIMin = (left, right) => ({
     kind: 'iMin',
     left,
     right,
 });
 exports.cIMin = cIMin;
+/** Máximo de intervalo `left ∨ right` (conexión). */
 const cIMax = (left, right) => ({
     kind: 'iMax',
     left,
     right,
 });
 exports.cIMax = cIMax;
+/** Negación de intervalo `~arg` (involución: `~i0 = i1`). */
 const cINeg = (arg) => ({ kind: 'iNeg', arg });
 exports.cINeg = cINeg;
+/** `PathP family left right` — tipo de caminos dependientes sobre la familia `family`. */
 const cPathP = (family, left, right) => ({
     kind: 'pathP',
     family,
@@ -55,28 +62,34 @@ const cPathP = (family, left, right) => ({
     right,
 });
 exports.cPathP = cPathP;
+/** Abstracción de camino `λi. body` donde `bind` es la variable de intervalo. */
 const cPLam = (bind, body) => ({
     kind: 'pLam',
     bind,
     body,
 });
 exports.cPLam = cPLam;
+/** Aplicación de camino `path @ arg` (evaluación en un punto del intervalo). */
 const cPApp = (path, arg) => ({
     kind: 'pApp',
     path,
     arg,
 });
 exports.cPApp = cPApp;
+/** Glue: construcción precursora de univalencia computacional con equivalencia `equiv` y parcial `partial`. */
 const cGlue = (equiv, partial) => ({
     kind: 'glue',
     equiv,
     partial,
 });
 exports.cGlue = cGlue;
+/** Variable del cálculo de tipos. */
 const cVar = (name) => ({ kind: 'var', name });
 exports.cVar = cVar;
+/** Universo de tipos de nivel `level` (default 0). */
 const cUniverse = (level = 0) => ({ kind: 'universe', level });
 exports.cUniverse = cUniverse;
+/** Tipo Π dependiente `Π (bind : domain). codomain`. */
 const cPi = (bind, domain, codomain) => ({
     kind: 'pi',
     bind,
@@ -84,6 +97,7 @@ const cPi = (bind, domain, codomain) => ({
     codomain,
 });
 exports.cPi = cPi;
+/** Abstracción dependiente `λ (bind : domain). body`. */
 const cLam = (bind, domain, body) => ({
     kind: 'lam',
     bind,
@@ -91,11 +105,14 @@ const cLam = (bind, domain, body) => ({
     body,
 });
 exports.cLam = cLam;
+/** Aplicación de término `fn arg`. */
 const cApp = (fn, arg) => ({ kind: 'app', fn, arg });
 exports.cApp = cApp;
+/** Flecha no dependiente `from → to` (azúcar para `cPi('_', from, to)`). */
 const cArrow = (from, to) => (0, exports.cPi)('_', from, to);
 exports.cArrow = cArrow;
 // ── Discriminador de fragmentos del intervalo ───────────────
+/** Devuelve `true` si el término `t` es una expresión pura del intervalo I (i0, i1, iVar, iMin, iMax, iNeg). */
 function isIntervalExpr(t) {
     switch (t.kind) {
         case 'i0':
@@ -112,6 +129,7 @@ function isIntervalExpr(t) {
     }
 }
 // ── Inspección estructural ───────────────────────────────────
+/** Devuelve `true` si `name` ocurre libre en `term`. */
 function occursFreeCubical(name, term) {
     switch (term.kind) {
         case 'i0':
@@ -156,6 +174,7 @@ function occursFreeCubical(name, term) {
             return occursFreeCubical(name, term.fn) || occursFreeCubical(name, term.arg);
     }
 }
+/** Acumula en `acc` (o devuelve un nuevo Set) el conjunto de variables libres del término. */
 function freeVarsCubical(term, acc = new Set()) {
     switch (term.kind) {
         case 'i0':
@@ -218,6 +237,7 @@ function freeVarsCubical(term, acc = new Set()) {
     return acc;
 }
 // ── Serialización ────────────────────────────────────────────
+/** Serializa un término CTT-Lite a su representación textual estándar. */
 function termToStringCubical(t) {
     switch (t.kind) {
         case 'i0':

package/dist/type-theory/cubical/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/type-theory/cubical/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4DAA4D;AAC5D,+DAA+D;AAC/D,EAAE;AACF,mEAAmE;AACnE,oEAAoE;AACpE,qBAAqB;AACrB,EAAE;AACF,iEAAiE;AACjE,6CAA6C;AAC7C,6DAA6D;AAC7D,kEAAkE;AAClE,+CAA+C;AAC/C,4DAA4D;AAC5D,EAAE;AACF,gEAAgE;AAChE,iEAAiE;AACjE,oEAAoE;AACpE,+BAA+B;AAC/B,EAAE;AACF,uCAAuC;AACvC,0DAA0D;;;AAsF1D,wCAcC;AAID,8CAwCC;AAED,0CAyDC;AAID,kDAoCC;AA5ND,+DAA+D;AAExD,MAAM,GAAG,GAAG,GAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAA1C,QAAA,GAAG,OAAuC;AAChD,MAAM,GAAG,GAAG,GAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAA1C,QAAA,GAAG,OAAuC;AAChD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAAhE,QAAA,KAAK,SAA2D;AACtE,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,KAAkB,EAAe,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AACI,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,KAAkB,EAAe,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AACI,MAAM,KAAK,GAAG,CAAC,GAAgB,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAAnE,QAAA,KAAK,SAA8D;AAEzE,MAAM,MAAM,GAAG,CACpB,MAAmB,EACnB,IAAiB,EACjB,KAAkB,EACL,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,OAAO;IACb,MAAM;IACN,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AATU,QAAA,MAAM,UAShB;AACI,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAiB,EAAe,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,IAAI;CACL,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AACI,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,GAAgB,EAAe,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AAEI,MAAM,KAAK,GAAG,CAAC,KAAkB,EAAE,OAAoB,EAAe,EAAE,CAAC,CAAC;IAC/E,IAAI,EAAE,MAAM;IACZ,KAAK;IACL,OAAO;CACR,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AAEI,MAAM,IAAI,GAAG,CAAC,IAAY,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAA9D,QAAA,IAAI,QAA0D;AACpE,MAAM,SAAS,GAAG,CAAC,KAAK,GAAG,CAAC,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;AAAtE,QAAA,SAAS,aAA6D;AAC5E,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAAmB,EAAE,QAAqB,EAAe,EAAE,CAAC,CAAC;IAC7F,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,MAAM;IACN,QAAQ;CACT,CAAC,CAAC;AALU,QAAA,GAAG,OAKb;AACI,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAmB,EAAE,IAAiB,EAAe,EAAE,CAAC,CAAC;IAC1F,IAAI,EAAE,KAAK;IACX,IAAI;IACJ,MAAM;IACN,IAAI;CACL,CAAC,CAAC;AALU,QAAA,IAAI,QAKd;AACI,MAAM,IAAI,GAAG,CAAC,EAAe,EAAE,GAAgB,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AAAtF,QAAA,IAAI,QAAkF;AAC5F,MAAM,MAAM,GAAG,CAAC,IAAiB,EAAE,EAAe,EAAe,EAAE,CAAC,IAAA,WAAG,EAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAAjF,QAAA,MAAM,UAA2E;AAE9F,+DAA+D;AAE/D,SAAgB,cAAc,CAAC,CAAc;IAC3C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3D,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/B;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,SAAgB,iBAAiB,CAAC,IAAY,EAAE,IAAiB;IAC/D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,UAAU;YACb,OAAO,KAAK,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAC5B,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACnF,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,KAAK,OAAO;YACV,OAAO,CACL,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;gBACpC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CACpC,CAAC;QACJ,KAAK,MAAM;YACT,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACjF,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACtF,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,KAAK;YACR,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,SAAgB,eAAe,CAAC,IAAiB,EAAE,MAAmB,IAAI,GAAG,EAAE;IAC7E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,UAAU;YACb,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM;QACR,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjC,MAAM;QACR,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM;QACR,KAAK,OAAO;YACV,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAClC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjC,MAAM;QACR,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM;QACR,CAAC;QACD,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM;QACR,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACnC,MAAM;QACR,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM;QACR,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM;QACR,CAAC;QACD,KAAK,KAAK;YACR,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC9B,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM;IACV,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gEAAgE;AAEhE,SAAgB,mBAAmB,CAAC,CAAc;IAChD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,IAAI;YACP,OAAO,IAAI,CAAC;QACd,KAAK,IAAI;YACP,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC9E,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC9E,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,OAAO;YACV,OAAO,SAAS,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACpH,KAAK,MAAM;YACT,OAAO,UAAU,CAAC,CAAC,IAAI,MAAM,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9D,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5E,KAAK,MAAM;YACT,OAAO,QAAQ,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;QACpF,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;QACpD,KAAK,IAAI;YACP,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YACnF,CAAC;YACD,OAAO,OAAO,CAAC,CAAC,IAAI,MAAM,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAClG,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,CAAC,IAAI,MAAM,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9F,KAAK,KAAK;YACR,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1E,CAAC;AACH,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/type-theory/cubical/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4DAA4D;AAC5D,+DAA+D;AAC/D,EAAE;AACF,mEAAmE;AACnE,oEAAoE;AACpE,qBAAqB;AACrB,EAAE;AACF,iEAAiE;AACjE,6CAA6C;AAC7C,6DAA6D;AAC7D,kEAAkE;AAClE,+CAA+C;AAC/C,4DAA4D;AAC5D,EAAE;AACF,gEAAgE;AAChE,iEAAiE;AACjE,oEAAoE;AACpE,+BAA+B;AAC/B,EAAE;AACF,uCAAuC;AACvC,0DAA0D;;;AA4G1D,wCAcC;AAKD,8CAwCC;AAGD,0CAyDC;AAKD,kDAoCC;AAhPD,+DAA+D;AAE/D,+CAA+C;AACxC,MAAM,GAAG,GAAG,GAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAA1C,QAAA,GAAG,OAAuC;AACvD,+CAA+C;AACxC,MAAM,GAAG,GAAG,GAAgB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAA1C,QAAA,GAAG,OAAuC;AACvD,wCAAwC;AACjC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAAhE,QAAA,KAAK,SAA2D;AAC7E,qDAAqD;AAC9C,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,KAAkB,EAAe,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AACH,qDAAqD;AAC9C,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,KAAkB,EAAe,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AACH,6DAA6D;AACtD,MAAM,KAAK,GAAG,CAAC,GAAgB,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;AAAnE,QAAA,KAAK,SAA8D;AAEhF,0FAA0F;AACnF,MAAM,MAAM,GAAG,CACpB,MAAmB,EACnB,IAAiB,EACjB,KAAkB,EACL,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,OAAO;IACb,MAAM;IACN,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AATU,QAAA,MAAM,UAShB;AACH,iFAAiF;AAC1E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAiB,EAAe,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,IAAI;CACL,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AACH,gFAAgF;AACzE,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAE,GAAgB,EAAe,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,MAAM;IACZ,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AAEH,+GAA+G;AACxG,MAAM,KAAK,GAAG,CAAC,KAAkB,EAAE,OAAoB,EAAe,EAAE,CAAC,CAAC;IAC/E,IAAI,EAAE,MAAM;IACZ,KAAK;IACL,OAAO;CACR,CAAC,CAAC;AAJU,QAAA,KAAK,SAIf;AAEH,qCAAqC;AAC9B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAA9D,QAAA,IAAI,QAA0D;AAC3E,sDAAsD;AAC/C,MAAM,SAAS,GAAG,CAAC,KAAK,GAAG,CAAC,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;AAAtE,QAAA,SAAS,aAA6D;AACnF,wDAAwD;AACjD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAAmB,EAAE,QAAqB,EAAe,EAAE,CAAC,CAAC;IAC7F,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,MAAM;IACN,QAAQ;CACT,CAAC,CAAC;AALU,QAAA,GAAG,OAKb;AACH,yDAAyD;AAClD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAmB,EAAE,IAAiB,EAAe,EAAE,CAAC,CAAC;IAC1F,IAAI,EAAE,KAAK;IACX,IAAI;IACJ,MAAM;IACN,IAAI;CACL,CAAC,CAAC;AALU,QAAA,IAAI,QAKd;AACH,sCAAsC;AAC/B,MAAM,IAAI,GAAG,CAAC,EAAe,EAAE,GAAgB,EAAe,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AAAtF,QAAA,IAAI,QAAkF;AACnG,4EAA4E;AACrE,MAAM,MAAM,GAAG,CAAC,IAAiB,EAAE,EAAe,EAAe,EAAE,CAAC,IAAA,WAAG,EAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAAjF,QAAA,MAAM,UAA2E;AAE9F,+DAA+D;AAE/D,gHAAgH;AAChH,SAAgB,cAAc,CAAC,CAAc;IAC3C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3D,KAAK,MAAM;YACT,OAAO,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/B;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,wDAAwD;AACxD,SAAgB,iBAAiB,CAAC,IAAY,EAAE,IAAiB;IAC/D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,UAAU;YACb,OAAO,KAAK,CAAC;QACf,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAC5B,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACnF,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,KAAK,OAAO;YACV,OAAO,CACL,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;gBACpC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CACpC,CAAC;QACJ,KAAK,MAAM;YACT,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACjF,KAAK,MAAM;YACT,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACtF,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,KAAK;YACR,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,8FAA8F;AAC9F,SAAgB,eAAe,CAAC,IAAiB,EAAE,MAAmB,IAAI,GAAG,EAAE;IAC7E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,UAAU;YACb,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM;QACR,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjC,MAAM;QACR,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM;QACR,KAAK,OAAO;YACV,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAClC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjC,MAAM;QACR,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM;QACR,CAAC;QACD,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM;QACR,KAAK,MAAM;YACT,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACjC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;YACnC,MAAM;QACR,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM;QACR,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,MAAM;QACR,CAAC;QACD,KAAK,KAAK;YACR,eAAe,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC9B,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM;IACV,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gEAAgE;AAEhE,0EAA0E;AAC1E,SAAgB,mBAAmB,CAAC,CAAc;IAChD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,IAAI;YACP,OAAO,IAAI,CAAC;QACd,KAAK,IAAI;YACP,OAAO,IAAI,CAAC;QACd,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC9E,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC9E,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1C,KAAK,OAAO;YACV,OAAO,SAAS,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACpH,KAAK,MAAM;YACT,OAAO,UAAU,CAAC,CAAC,IAAI,MAAM,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9D,KAAK,MAAM;YACT,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5E,KAAK,MAAM;YACT,OAAO,QAAQ,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;QACpF,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;QACpD,KAAK,IAAI;YACP,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC7D,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;YACnF,CAAC;YACD,OAAO,OAAO,CAAC,CAAC,IAAI,MAAM,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAClG,KAAK,KAAK;YACR,OAAO,OAAO,CAAC,CAAC,IAAI,MAAM,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9F,KAAK,KAAK;YACR,OAAO,IAAI,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1E,CAAC;AACH,CAAC"}

package/dist/type-theory/curry-howard/types.d.ts

@@ -1,3 +1,4 @@
+/** Tipo proposicional / tipo simple en la correspondencia Curry-Howard: átomo, flecha →, producto ∧, suma ∨ y ⊥. */
 export type PropType = {
     kind: 'atom';
     name: string;
@@ -16,6 +17,7 @@ export type PropType = {
 } | {
     kind: 'bottom';
 };
+/** Término del λ-cálculo con tipos simples (Curry-Howard): variable, aplicación, abstracción, pares, sumas y absurdo. */
 export type LambdaTerm = {
     kind: 'var';
     name: string;
@@ -58,7 +60,13 @@ export type LambdaTerm = {
     proofOfFalse: LambdaTerm;
     resultType: PropType;
 };
+/**
+ * Reglas de deducción natural del sistema proposicional (Curry-Howard).
+ * `'axiom'` = hipótesis del contexto; `'→I'`/`'→E'` = implicación; `'∧I'`/`'∧E-*'` = conjunción;
+ * `'∨I-*'`/`'∨E'` = disyunción; `'⊥E'` = ex falso quodlibet.
+ */
 export type ProofRule = 'axiom' | '→I' | '→E' | '∧I' | '∧E-L' | '∧E-R' | '∨I-L' | '∨I-R' | '∨E' | '⊥E';
+/** Árbol de prueba en deducción natural: cada nodo lleva la regla, la conclusión y sub-árboles (premisas). */
 export interface ProofTree {
     rule: ProofRule;
     conclusion: PropType;
@@ -69,23 +77,42 @@ export interface ProofTree {
     }[];
     assumption?: string;
 }
+/** Contexto de tipado: mapa de nombres de variables a tipos proposicionales. */
 export type Context = Record<string, PropType>;
+/** Tipo atómico (variable proposicional). */
 export declare const atom: (name: string) => PropType;
+/** Tipo flecha `from → to` (implicación). */
 export declare const arrow: (from: PropType, to: PropType) => PropType;
+/** Tipo producto `left ∧ right` (conjunción). */
 export declare const product: (left: PropType, right: PropType) => PropType;
+/** Tipo suma `left ∨ right` (disyunción). */
 export declare const sum: (left: PropType, right: PropType) => PropType;
+/** Tipo bottom `⊥` (falsedad / tipo vacío). */
 export declare const bottom: () => PropType;
+/** Variable λ. */
 export declare const vr: (name: string) => LambdaTerm;
+/** Aplicación de función (modus ponens). */
 export declare const app: (fn: LambdaTerm, arg: LambdaTerm) => LambdaTerm;
+/** Abstracción λ (implicación-intro): `λparam:paramType. body`. */
 export declare const abs: (param: string, paramType: PropType, body: LambdaTerm) => LambdaTerm;
+/** Par `⟨f, s⟩` (conjunción-intro). */
 export declare const pair: (f: LambdaTerm, s: LambdaTerm) => LambdaTerm;
+/** Proyección izquierda `fst(p)` (∧E-L). */
 export declare const fst: (p: LambdaTerm) => LambdaTerm;
+/** Proyección derecha `snd(p)` (∧E-R). */
 export declare const snd: (p: LambdaTerm) => LambdaTerm;
+/** Inyección izquierda `inl(left)` (∨I-L); requiere el tipo del lado derecho. */
 export declare const inl: (left: LambdaTerm, rightType: PropType) => LambdaTerm;
+/** Inyección derecha `inr(right)` (∨I-R); requiere el tipo del lado izquierdo. */
 export declare const inr: (right: LambdaTerm, leftType: PropType) => LambdaTerm;
+/** Eliminación de disyunción `case scrutinee of inl(lb)→leftBody | inr(rb)→rightBody` (∨E). */
 export declare const cse: (scrutinee: LambdaTerm, leftBind: string, leftBody: LambdaTerm, rightBind: string, rightBody: LambdaTerm) => LambdaTerm;
+/** Ex falso: dado `proofOfFalse : ⊥`, produce cualquier tipo `resultType` (⊥E). */
 export declare const absurd: (proofOfFalse: LambdaTerm, resultType: PropType) => LambdaTerm;
+/** Igualdad estructural entre dos tipos proposicionales. */
 export declare function eqType(a: PropType, b: PropType): boolean;
+/** Serializa un tipo proposicional a texto con notación estándar (→, ∧, ∨, ⊥). */
 export declare function typeToString(t: PropType): string;
+/** Serializa un término λ a texto con notación estándar (λ, fst, snd, inl, inr, case, absurd). */
 export declare function termToString(t: LambdaTerm): string;
 //# sourceMappingURL=types.d.ts.map

package/dist/type-theory/curry-howard/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/type-theory/curry-howard/types.ts"],"names":[],"mappings":"AAgBA,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEvB,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,UAAU,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,UAAU,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GACtD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,UAAU,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,UAAU,CAAC;CACvB,GACD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,QAAQ,CAAA;CAAE,CAAC;AAMvE,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,IAAI,GACJ,IAAI,CAAC;AAET,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,QAAQ,CAAC;IACrB,QAAQ,EAAE,SAAS,EAAE,CAAC;IAGtB,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,EAAE,CAAC;IAEhD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAG/C,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,KAAG,QAAoC,CAAC;AACzE,eAAO,MAAM,KAAK,GAAI,MAAM,QAAQ,EAAE,IAAI,QAAQ,KAAG,QAAyC,CAAC;AAC/F,eAAO,MAAM,OAAO,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,QAIxD,CAAC;AACH,eAAO,MAAM,GAAG,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,QAA0C,CAAC;AACjG,eAAO,MAAM,MAAM,QAAO,QAAgC,CAAC;AAE3D,eAAO,MAAM,EAAE,GAAI,MAAM,MAAM,KAAG,UAAqC,CAAC;AACxE,eAAO,MAAM,GAAG,GAAI,IAAI,UAAU,EAAE,KAAK,UAAU,KAAG,UAAwC,CAAC;AAC/F,eAAO,MAAM,GAAG,GAAI,OAAO,MAAM,EAAE,WAAW,QAAQ,EAAE,MAAM,UAAU,KAAG,UAKzE,CAAC;AACH,eAAO,MAAM,IAAI,GAAI,GAAG,UAAU,EAAE,GAAG,UAAU,KAAG,UAIlD,CAAC;AACH,eAAO,MAAM,GAAG,GAAI,GAAG,UAAU,KAAG,UAAwC,CAAC;AAC7E,eAAO,MAAM,GAAG,GAAI,GAAG,UAAU,KAAG,UAAwC,CAAC;AAC7E,eAAO,MAAM,GAAG,GAAI,MAAM,UAAU,EAAE,WAAW,QAAQ,KAAG,UAI1D,CAAC;AACH,eAAO,MAAM,GAAG,GAAI,OAAO,UAAU,EAAE,UAAU,QAAQ,KAAG,UAI1D,CAAC;AACH,eAAO,MAAM,GAAG,GACd,WAAW,UAAU,EACrB,UAAU,MAAM,EAChB,UAAU,UAAU,EACpB,WAAW,MAAM,EACjB,WAAW,UAAU,KACpB,UAOD,CAAC;AACH,eAAO,MAAM,MAAM,GAAI,cAAc,UAAU,EAAE,YAAY,QAAQ,KAAG,UAItE,CAAC;AAGH,wBAAgB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAoBxD;AAGD,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,CAehD;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,CAyBlD"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/type-theory/curry-howard/types.ts"],"names":[],"mappings":"AAgBA,oHAAoH;AACpH,MAAM,MAAM,QAAQ,GAChB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACpD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEvB,yHAAyH;AACzH,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,UAAU,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,UAAU,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GACtD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,UAAU,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,UAAU,CAAC;CACvB,GACD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,IAAI,GACJ,IAAI,GACJ,IAAI,GACJ,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,GACN,IAAI,GACJ,IAAI,CAAC;AAET,8GAA8G;AAC9G,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,QAAQ,CAAC;IACrB,QAAQ,EAAE,SAAS,EAAE,CAAC;IAGtB,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,EAAE,CAAC;IAEhD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,gFAAgF;AAChF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAG/C,6CAA6C;AAC7C,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,KAAG,QAAoC,CAAC;AACzE,6CAA6C;AAC7C,eAAO,MAAM,KAAK,GAAI,MAAM,QAAQ,EAAE,IAAI,QAAQ,KAAG,QAAyC,CAAC;AAC/F,iDAAiD;AACjD,eAAO,MAAM,OAAO,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,QAIxD,CAAC;AACH,6CAA6C;AAC7C,eAAO,MAAM,GAAG,GAAI,MAAM,QAAQ,EAAE,OAAO,QAAQ,KAAG,QAA0C,CAAC;AACjG,+CAA+C;AAC/C,eAAO,MAAM,MAAM,QAAO,QAAgC,CAAC;AAE3D,kBAAkB;AAClB,eAAO,MAAM,EAAE,GAAI,MAAM,MAAM,KAAG,UAAqC,CAAC;AACxE,4CAA4C;AAC5C,eAAO,MAAM,GAAG,GAAI,IAAI,UAAU,EAAE,KAAK,UAAU,KAAG,UAAwC,CAAC;AAC/F,mEAAmE;AACnE,eAAO,MAAM,GAAG,GAAI,OAAO,MAAM,EAAE,WAAW,QAAQ,EAAE,MAAM,UAAU,KAAG,UAKzE,CAAC;AACH,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,GAAG,UAAU,EAAE,GAAG,UAAU,KAAG,UAIlD,CAAC;AACH,4CAA4C;AAC5C,eAAO,MAAM,GAAG,GAAI,GAAG,UAAU,KAAG,UAAwC,CAAC;AAC7E,0CAA0C;AAC1C,eAAO,MAAM,GAAG,GAAI,GAAG,UAAU,KAAG,UAAwC,CAAC;AAC7E,iFAAiF;AACjF,eAAO,MAAM,GAAG,GAAI,MAAM,UAAU,EAAE,WAAW,QAAQ,KAAG,UAI1D,CAAC;AACH,kFAAkF;AAClF,eAAO,MAAM,GAAG,GAAI,OAAO,UAAU,EAAE,UAAU,QAAQ,KAAG,UAI1D,CAAC;AACH,+FAA+F;AAC/F,eAAO,MAAM,GAAG,GACd,WAAW,UAAU,EACrB,UAAU,MAAM,EAChB,UAAU,UAAU,EACpB,WAAW,MAAM,EACjB,WAAW,UAAU,KACpB,UAOD,CAAC;AACH,mFAAmF;AACnF,eAAO,MAAM,MAAM,GAAI,cAAc,UAAU,EAAE,YAAY,QAAQ,KAAG,UAItE,CAAC;AAGH,4DAA4D;AAC5D,wBAAgB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAoBxD;AAGD,kFAAkF;AAClF,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,CAehD;AAED,kGAAkG;AAClG,wBAAgB,YAAY,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,CAyBlD"}