@stevenvo780/st-lang 0.3.0

package/dist/text-layer/compiler.js

@@ -0,0 +1,151 @@
+"use strict";
+// ============================================================
+// ST Text Layer — Compilador texto -> formula/claim
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createTextLayerState = createTextLayerState;
+exports.parseAnchorPath = parseAnchorPath;
+exports.registerPassage = registerPassage;
+exports.registerFormalization = registerFormalization;
+exports.registerClaim = registerClaim;
+exports.registerSupport = registerSupport;
+exports.registerConfidence = registerConfidence;
+exports.registerContext = registerContext;
+exports.compileClaimsToTheory = compileClaimsToTheory;
+function createTextLayerState() {
+    return {
+        passages: new Map(),
+        formalizations: new Map(),
+        claims: new Map(),
+        supports: [],
+        confidences: [],
+        contexts: [],
+    };
+}
+// Parsear anchor path: "archivo.md#heading" -> Anchor
+function parseAnchorPath(raw) {
+    const parts = raw.split('#');
+    const path = parts[0].trim();
+    const fragment = parts[1]?.trim();
+    let type = 'block';
+    if (fragment) {
+        if (fragment.startsWith('h'))
+            type = 'heading';
+        else if (fragment.startsWith('p'))
+            type = 'paragraph';
+        else if (fragment.startsWith('r'))
+            type = 'range';
+        else
+            type = 'block';
+    }
+    return { path, fragment, type };
+}
+// Registrar un passage
+function registerPassage(state, name, anchorPath) {
+    const anchor = parseAnchorPath(anchorPath);
+    state.passages.set(name, { name, anchor });
+    return [];
+}
+// Registrar una formalización
+function registerFormalization(state, name, passageName, formula) {
+    const diags = [];
+    if (!state.passages.has(passageName)) {
+        diags.push({
+            severity: 'warning',
+            message: `Passage '${passageName}' no encontrado al formalizar '${name}'`,
+        });
+    }
+    state.formalizations.set(name, { name, passage: passageName, formula });
+    return diags;
+}
+// Registrar un claim
+function registerClaim(state, name, formula, formalizationRef) {
+    const diags = [];
+    if (formalizationRef && !state.formalizations.has(formalizationRef) && !state.passages.has(formalizationRef)) {
+        diags.push({
+            severity: 'warning',
+            message: `Referencia '${formalizationRef}' no encontrada para claim '${name}'`,
+        });
+    }
+    state.claims.set(name, { name, formula, formalization: formalizationRef });
+    return diags;
+}
+// Registrar soporte
+function registerSupport(state, claimName, sourceName) {
+    const diags = [];
+    if (!state.claims.has(claimName)) {
+        diags.push({
+            severity: 'warning',
+            message: `Claim '${claimName}' no encontrado para registrar soporte`,
+        });
+    }
+    state.supports.push({ claimName, sourceName });
+    // Actualizar claim si existe
+    const claim = state.claims.get(claimName);
+    if (claim) {
+        claim.support = sourceName;
+    }
+    return diags;
+}
+// Registrar confianza
+function registerConfidence(state, claimName, value) {
+    const diags = [];
+    if (value < 0 || value > 1) {
+        diags.push({
+            severity: 'error',
+            message: `Confidence debe estar entre 0 y 1, recibido: ${value}`,
+        });
+    }
+    if (!state.claims.has(claimName)) {
+        diags.push({
+            severity: 'warning',
+            message: `Claim '${claimName}' no encontrado para registrar confianza`,
+        });
+    }
+    state.confidences.push({ claimName, value });
+    const claim = state.claims.get(claimName);
+    if (claim) {
+        claim.confidence = value;
+    }
+    return diags;
+}
+// Registrar contexto
+function registerContext(state, claimName, text) {
+    const diags = [];
+    if (!state.claims.has(claimName)) {
+        diags.push({
+            severity: 'warning',
+            message: `Claim '${claimName}' no encontrado para registrar contexto`,
+        });
+    }
+    state.contexts.push({ claimName, text });
+    const claim = state.claims.get(claimName);
+    if (claim) {
+        claim.context = text;
+    }
+    return diags;
+}
+// Compilar claims a la teoría
+function compileClaimsToTheory(state, theory) {
+    const diags = [];
+    for (const [name, claim] of state.claims) {
+        if (claim.formula) {
+            theory.claims.set(name, claim);
+        }
+        else if (claim.formalization) {
+            const fz = state.formalizations.get(claim.formalization);
+            if (fz) {
+                claim.formula = fz.formula;
+                theory.claims.set(name, claim);
+            }
+            else {
+                diags.push({
+                    severity: 'error',
+                    message: `Claim '${name}' refiere a formalizacion '${claim.formalization}' que no existe`,
+                });
+            }
+        }
+    }
+    return diags;
+}
+//# sourceMappingURL=compiler.js.map

package/dist/text-layer/compiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../src/text-layer/compiler.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;;AAgB/D,oDASC;AAGD,0CAcC;AAGD,0CAQC;AAGD,sDAiBC;AAGD,sCAiBC;AAGD,0CAuBC;AAGD,gDA6BC;AAGD,0CAsBC;AAGD,sDAwBC;AA3LD,SAAgB,oBAAoB;IAClC,OAAO;QACL,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,SAAgB,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IAElC,IAAI,IAAI,GAAmB,OAAO,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,SAAS,CAAC;aAC1C,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,WAAW,CAAC;aACjD,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC;;YAC7C,IAAI,GAAG,OAAO,CAAC;IACtB,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,uBAAuB;AACvB,SAAgB,eAAe,CAC7B,KAAqB,EACrB,IAAY,EACZ,UAAkB;IAElB,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC3C,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,8BAA8B;AAC9B,SAAgB,qBAAqB,CACnC,KAAqB,EACrB,IAAY,EACZ,WAAmB,EACnB,OAAgB;IAEhB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,YAAY,WAAW,kCAAkC,IAAI,GAAG;SAC1E,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qBAAqB;AACrB,SAAgB,aAAa,CAC3B,KAAqB,EACrB,IAAY,EACZ,OAAiB,EACjB,gBAAyB;IAEzB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,gBAAgB,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC7G,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,eAAe,gBAAgB,+BAA+B,IAAI,GAAG;SAC/E,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC3E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oBAAoB;AACpB,SAAgB,eAAe,CAC7B,KAAqB,EACrB,SAAiB,EACjB,UAAkB;IAElB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,UAAU,SAAS,wCAAwC;SACrE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;IAE/C,6BAA6B;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,OAAO,GAAG,UAAU,CAAC;IAC7B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sBAAsB;AACtB,SAAgB,kBAAkB,CAChC,KAAqB,EACrB,SAAiB,EACjB,KAAa;IAEb,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,gDAAgD,KAAK,EAAE;SACjE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,UAAU,SAAS,0CAA0C;SACvE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAE7C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qBAAqB;AACrB,SAAgB,eAAe,CAC7B,KAAqB,EACrB,SAAiB,EACjB,IAAY;IAEZ,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,UAAU,SAAS,yCAAyC;SACtE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8BAA8B;AAC9B,SAAgB,qBAAqB,CACnC,KAAqB,EACrB,MAAc;IAEd,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YACzD,IAAI,EAAE,EAAE,CAAC;gBACP,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;gBAC3B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC;oBACT,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,UAAU,IAAI,8BAA8B,KAAK,CAAC,aAAa,iBAAiB;iBAC1F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/types/index.d.ts

@@ -0,0 +1,178 @@
+export type LogicStatus = 'valid' | 'invalid' | 'satisfiable' | 'unsatisfiable' | 'provable' | 'refutable' | 'unknown' | 'error';
+export type Severity = 'error' | 'warning' | 'info' | 'hint';
+export interface Diagnostic {
+    severity: Severity;
+    message: string;
+    file?: string;
+    line?: number;
+    column?: number;
+    endLine?: number;
+    endColumn?: number;
+    code?: string;
+    suggestion?: string;
+}
+export type FormulaKind = 'atom' | 'not' | 'and' | 'or' | 'implies' | 'biconditional' | 'forall' | 'exists' | 'predicate' | 'equals' | 'modal_necessity' | 'modal_possibility';
+export interface Formula {
+    kind: FormulaKind;
+    name?: string;
+    args?: Formula[];
+    variable?: string;
+    terms?: string[];
+    source?: SourceLocation;
+}
+export interface SourceLocation {
+    file?: string;
+    line: number;
+    column: number;
+    endLine?: number;
+    endColumn?: number;
+}
+export type Valuation = Record<string, boolean>;
+export interface Model {
+    type: 'propositional' | 'first_order' | 'modal' | 'belnap';
+    valuation?: Valuation;
+    domain?: string[];
+    interpretation?: Record<string, unknown>;
+    worlds?: World[];
+    designation?: string;
+}
+export interface World {
+    name: string;
+    valuation: Valuation;
+    accessible: string[];
+}
+export interface Judgment {
+    name: string;
+    formula: Formula;
+    status: LogicStatus;
+    justification?: string;
+    source?: SourceLocation;
+}
+export interface Theory {
+    profile: string;
+    axioms: Map<string, Formula>;
+    theorems: Map<string, Formula>;
+    claims: Map<string, Claim>;
+    judgments: Judgment[];
+}
+export interface ProofStep {
+    stepNumber: number;
+    formula: Formula;
+    justification: string;
+    premises: number[];
+}
+export interface Proof {
+    goal: Formula;
+    steps: ProofStep[];
+    status: 'complete' | 'incomplete' | 'failed';
+    derivedFrom?: string[];
+}
+export interface RunResult {
+    status: LogicStatus;
+    output?: string;
+    proof?: Proof;
+    model?: Model;
+    truthTable?: TruthTableResult;
+    diagnostics: Diagnostic[];
+    formula?: Formula;
+}
+export interface TruthTableResult {
+    variables: string[];
+    rows: TruthTableRow[];
+    isTautology: boolean;
+    isContradiction: boolean;
+    isSatisfiable: boolean;
+}
+export interface TruthTableRow {
+    valuation: Valuation;
+    result: boolean;
+}
+export interface LogicProfile {
+    name: string;
+    description: string;
+    checkWellFormed(formula: Formula): Diagnostic[];
+    checkValid(formula: Formula): RunResult;
+    checkSatisfiable(formula: Formula): RunResult;
+    prove(goal: Formula, theory: Theory): RunResult;
+    derive(goal: Formula, premises: string[], theory: Theory): RunResult;
+    countermodel(formula: Formula): RunResult;
+    explain(formula: Formula): RunResult;
+    truthTable?(formula: Formula): TruthTableResult;
+    checkEquivalent?(a: Formula, b: Formula): RunResult;
+}
+export interface Anchor {
+    path: string;
+    fragment?: string;
+    type: 'block' | 'paragraph' | 'heading' | 'range';
+}
+export interface Passage {
+    name: string;
+    anchor: Anchor;
+    rawText?: string;
+    source?: SourceLocation;
+}
+export interface Formalization {
+    name: string;
+    passage: string;
+    formula: Formula;
+    source?: SourceLocation;
+}
+export interface Claim {
+    name: string;
+    formula?: Formula;
+    formalization?: string;
+    support?: string;
+    confidence?: number;
+    context?: string;
+    source?: SourceLocation;
+}
+export interface Support {
+    claimName: string;
+    sourceName: string;
+}
+export interface Confidence {
+    claimName: string;
+    value: number;
+}
+export interface Context {
+    claimName: string;
+    text: string;
+}
+export type ProtocolMethod = 'parse' | 'check' | 'run' | 'render' | 'hover' | 'symbols' | 'goto_definition' | 'completion';
+export interface ProtocolRequest {
+    id: number;
+    method: ProtocolMethod;
+    params: Record<string, unknown>;
+}
+export interface ProtocolResponse {
+    id: number;
+    result?: unknown;
+    error?: {
+        code: number;
+        message: string;
+    };
+    diagnostics?: Diagnostic[];
+}
+export interface SymbolInfo {
+    name: string;
+    kind: 'axiom' | 'theorem' | 'claim' | 'passage' | 'variable' | 'formula';
+    location: SourceLocation;
+}
+export interface HoverInfo {
+    content: string;
+    range?: SourceLocation;
+}
+export interface CompletionItem {
+    label: string;
+    kind: string;
+    detail?: string;
+    insertText: string;
+}
+export interface ExecutionOutput {
+    stdout: string;
+    stderr: string;
+    exitCode: number;
+    diagnostics: Diagnostic[];
+    results: RunResult[];
+}
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAMA,MAAM,MAAM,WAAW,GACnB,OAAO,GACP,SAAS,GACT,aAAa,GACb,eAAe,GACf,UAAU,GACV,WAAW,GACX,SAAS,GACT,OAAO,CAAC;AAIZ,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAI7D,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,QAAQ,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAID,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,KAAK,GACL,KAAK,GACL,IAAI,GACJ,SAAS,GACT,eAAe,GACf,QAAQ,GACR,QAAQ,GACR,WAAW,GACX,QAAQ,GACR,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAID,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAIhD,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,eAAe,GAAG,aAAa,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC3D,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAID,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,WAAW,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB;AAID,MAAM,WAAW,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3B,SAAS,EAAE,QAAQ,EAAE,CAAC;CACvB;AAID,MAAM,WAAW,SAAS;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,EAAE,UAAU,GAAG,YAAY,GAAG,QAAQ,CAAC;IAC7C,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAID,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,IAAI,EAAE,aAAa,EAAE,CAAC;IACtB,WAAW,EAAE,OAAO,CAAC;IACrB,eAAe,EAAE,OAAO,CAAC;IACzB,aAAa,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,SAAS,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;CACjB;AAID,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IAEpB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE,CAAC;IAChD,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IACxC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAChD,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACrE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1C,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;IACrC,UAAU,CAAC,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB,CAAC;IAChD,eAAe,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACrD;AAID,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,OAAO,CAAC;CACnD;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,MAAM,WAAW,OAAO;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,OAAO;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAID,MAAM,MAAM,cAAc,GACtB,OAAO,GACP,OAAO,GACP,KAAK,GACL,QAAQ,GACR,OAAO,GACP,SAAS,GACT,iBAAiB,GACjB,YAAY,CAAC;AAEjB,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;IACzE,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,OAAO,EAAE,SAAS,EAAE,CAAC;CACtB"}

package/dist/types/index.js

@@ -0,0 +1,6 @@
+"use strict";
+// ============================================================
+// ST Types — Todos los tipos base del lenguaje
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D"}

package/package.json

@@ -0,0 +1,79 @@
+{
+  "name": "@stevenvo780/st-lang",
+  "version": "0.3.0",
+  "description": "ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor de lógica proposicional, derivaciones, tablas de verdad, contramodelos y capa textual para formalización de documentos.",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "require": "./dist/index.js",
+      "default": "./dist/index.js"
+    },
+    "./api": {
+      "types": "./dist/api.d.ts",
+      "require": "./dist/api.js",
+      "default": "./dist/api.js"
+    },
+    "./types": {
+      "types": "./dist/types/index.d.ts",
+      "require": "./dist/types/index.js",
+      "default": "./dist/types/index.js"
+    },
+    "./protocol": {
+      "types": "./dist/protocol/handler.d.ts",
+      "require": "./dist/protocol/handler.js",
+      "default": "./dist/protocol/handler.js"
+    }
+  },
+  "bin": {
+    "st": "./bin/st"
+  },
+  "files": [
+    "dist",
+    "bin",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "start": "node dist/cli/index.js",
+    "test": "node --experimental-vm-modules dist/tests/runner.js",
+    "clean": "rm -rf dist",
+    "prepublishOnly": "npm run clean && npm run build && npm test",
+    "prepack": "npm run build"
+  },
+  "keywords": [
+    "logic",
+    "formal",
+    "propositional",
+    "language",
+    "cli",
+    "repl",
+    "truth-table",
+    "derivation",
+    "countermodel",
+    "proof",
+    "text-layer",
+    "education"
+  ],
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/stevenvo780/ST.git",
+    "directory": "st-lang"
+  },
+  "homepage": "https://github.com/stevenvo780/ST#readme",
+  "bugs": {
+    "url": "https://github.com/stevenvo780/ST/issues"
+  },
+  "devDependencies": {
+    "typescript": "^5.4.0",
+    "@types/node": "^20.0.0"
+  },
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "sideEffects": false
+}