@plures/praxis 1.4.0 → 2.0.0

package/dist/node/chunk-FWOXU4MM.js

@@ -1,487 +0,0 @@
-import {
-  getContractFromDescriptor
-} from "./chunk-PGVSB6NR.js";
-
-// src/dsl/index.ts
-function defineFact(tag) {
-  return {
-    tag,
-    create(payload) {
-      return { tag, payload };
-    },
-    is(fact) {
-      return fact.tag === tag;
-    }
-  };
-}
-function defineEvent(tag) {
-  return {
-    tag,
-    create(payload) {
-      return { tag, payload };
-    },
-    is(event) {
-      return event.tag === tag;
-    }
-  };
-}
-function defineRule(options) {
-  const contract = options.contract ?? options.meta?.contract;
-  const meta = contract ? { ...options.meta ?? {}, contract } : options.meta;
-  return {
-    id: options.id,
-    description: options.description,
-    impl: options.impl,
-    eventTypes: options.eventTypes,
-    contract,
-    meta
-  };
-}
-function defineConstraint(options) {
-  const contract = options.contract ?? options.meta?.contract;
-  const meta = contract ? { ...options.meta ?? {}, contract } : options.meta;
-  return {
-    id: options.id,
-    description: options.description,
-    impl: options.impl,
-    contract,
-    meta
-  };
-}
-function defineModule(options) {
-  return {
-    rules: options.rules ?? [],
-    constraints: options.constraints ?? [],
-    meta: options.meta
-  };
-}
-function filterEvents(events, definition) {
-  return events.filter(definition.is);
-}
-function filterFacts(facts, definition) {
-  return facts.filter(definition.is);
-}
-function findEvent(events, definition) {
-  return events.find(definition.is);
-}
-function findFact(facts, definition) {
-  return facts.find(definition.is);
-}
-
-// src/decision-ledger/facts-events.ts
-var ContractMissing = defineFact("ContractMissing");
-var ContractValidated = defineFact("ContractValidated");
-var AcknowledgeContractGap = defineEvent("ACKNOWLEDGE_CONTRACT_GAP");
-var ValidateContracts = defineEvent("VALIDATE_CONTRACTS");
-var ContractGapAcknowledged = defineFact("ContractGapAcknowledged");
-var ContractAdded = defineEvent("CONTRACT_ADDED");
-var ContractUpdated = defineEvent("CONTRACT_UPDATED");
-var ContractGapEmitted = defineEvent("CONTRACT_GAP_EMITTED");
-
-// src/decision-ledger/validation.ts
-function validateContracts(registry, options = {}) {
-  const {
-    incompleteSeverity = "warning",
-    requiredFields = ["behavior", "examples"],
-    artifactIndex
-  } = options;
-  const complete = [];
-  const incomplete = [];
-  const missing = [];
-  for (const rule of registry.getAllRules()) {
-    const contract = getContractFromDescriptor(rule);
-    if (!contract) {
-      missing.push(rule.id);
-      if (options.missingSeverity) {
-        incomplete.push({
-          ruleId: rule.id,
-          missing: ["contract"],
-          severity: options.missingSeverity,
-          message: `Rule '${rule.id}' has no contract`
-        });
-      }
-      continue;
-    }
-    const gaps = validateContract(contract, requiredFields, artifactIndex);
-    if (gaps.length > 0) {
-      incomplete.push({
-        ruleId: rule.id,
-        missing: gaps,
-        severity: incompleteSeverity,
-        message: `Rule '${rule.id}' contract is incomplete: missing ${gaps.join(", ")}`
-      });
-    } else {
-      complete.push({ ruleId: rule.id, contract });
-    }
-  }
-  for (const constraint of registry.getAllConstraints()) {
-    const contract = getContractFromDescriptor(constraint);
-    if (!contract) {
-      missing.push(constraint.id);
-      if (options.missingSeverity) {
-        incomplete.push({
-          ruleId: constraint.id,
-          missing: ["contract"],
-          severity: options.missingSeverity,
-          message: `Constraint '${constraint.id}' has no contract`
-        });
-      }
-      continue;
-    }
-    const gaps = validateContract(contract, requiredFields, artifactIndex);
-    if (gaps.length > 0) {
-      incomplete.push({
-        ruleId: constraint.id,
-        missing: gaps,
-        severity: incompleteSeverity,
-        message: `Constraint '${constraint.id}' contract is incomplete: missing ${gaps.join(", ")}`
-      });
-    } else {
-      complete.push({ ruleId: constraint.id, contract });
-    }
-  }
-  const total = registry.getAllRules().length + registry.getAllConstraints().length;
-  return {
-    complete,
-    incomplete,
-    missing,
-    total,
-    timestamp: (/* @__PURE__ */ new Date()).toISOString()
-  };
-}
-function validateContract(contract, requiredFields, artifactIndex) {
-  const missing = [];
-  if (requiredFields.includes("behavior") && isFieldEmpty(contract.behavior)) {
-    missing.push("behavior");
-  }
-  if (requiredFields.includes("examples") && (!contract.examples || contract.examples.length === 0)) {
-    missing.push("examples");
-  }
-  if (requiredFields.includes("invariants") && (!contract.invariants || contract.invariants.length === 0)) {
-    missing.push("invariants");
-  }
-  if (artifactIndex?.tests && !artifactIndex.tests.has(contract.ruleId)) {
-    missing.push("tests");
-  }
-  if (artifactIndex?.spec && !artifactIndex.spec.has(contract.ruleId)) {
-    missing.push("spec");
-  }
-  return missing;
-}
-function isFieldEmpty(value) {
-  return !value || value.trim() === "";
-}
-function formatValidationReport(report) {
-  const lines = [];
-  lines.push("Contract Validation Report");
-  lines.push("=".repeat(50));
-  lines.push("");
-  lines.push(`Total: ${report.total}`);
-  lines.push(`Complete: ${report.complete.length}`);
-  lines.push(`Incomplete: ${report.incomplete.length}`);
-  lines.push(`Missing: ${report.missing.length}`);
-  lines.push("");
-  if (report.complete.length > 0) {
-    lines.push("\u2713 Complete Contracts:");
-    for (const { ruleId, contract } of report.complete) {
-      lines.push(`  \u2713 ${ruleId} (v${contract.version || "1.0.0"})`);
-    }
-    lines.push("");
-  }
-  if (report.incomplete.length > 0) {
-    lines.push("\u2717 Incomplete Contracts:");
-    for (const gap of report.incomplete) {
-      const icon = gap.severity === "error" ? "\u2717" : gap.severity === "warning" ? "\u26A0" : "\u2139";
-      lines.push(`  ${icon} ${gap.ruleId} - Missing: ${gap.missing.join(", ")}`);
-      if (gap.message) {
-        lines.push(`     ${gap.message}`);
-      }
-    }
-    lines.push("");
-  }
-  if (report.missing.length > 0) {
-    lines.push("\u2717 No Contract:");
-    for (const ruleId of report.missing) {
-      lines.push(`  \u2717 ${ruleId}`);
-    }
-    lines.push("");
-  }
-  lines.push(`Validated at: ${report.timestamp}`);
-  return lines.join("\n");
-}
-function formatValidationReportJSON(report) {
-  return JSON.stringify(report, null, 2);
-}
-function formatValidationReportSARIF(report) {
-  const results = report.incomplete.map((gap) => {
-    const primaryMissing = gap.missing.length > 0 ? gap.missing[0] : "contract";
-    return {
-      ruleId: `decision-ledger/${primaryMissing}`,
-      level: gap.severity === "error" ? "error" : gap.severity === "warning" ? "warning" : "note",
-      message: {
-        text: gap.message || `Missing: ${gap.missing.join(", ")}`
-      },
-      locations: [
-        {
-          physicalLocation: {
-            artifactLocation: {
-              uri: "registry"
-            },
-            region: {
-              startLine: 1
-            }
-          }
-        }
-      ],
-      properties: {
-        ruleId: gap.ruleId,
-        missing: gap.missing
-      }
-    };
-  });
-  const sarif = {
-    version: "2.1.0",
-    $schema: "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
-    runs: [
-      {
-        tool: {
-          driver: {
-            name: "Praxis Decision Ledger",
-            version: "1.0.0",
-            informationUri: "https://github.com/plures/praxis",
-            rules: [
-              {
-                id: "decision-ledger/contract",
-                shortDescription: {
-                  text: "Rule or constraint missing contract"
-                }
-              },
-              {
-                id: "decision-ledger/behavior",
-                shortDescription: {
-                  text: "Contract missing behavior description"
-                }
-              },
-              {
-                id: "decision-ledger/examples",
-                shortDescription: {
-                  text: "Contract missing examples"
-                }
-              },
-              {
-                id: "decision-ledger/invariants",
-                shortDescription: {
-                  text: "Contract missing invariants"
-                }
-              },
-              {
-                id: "decision-ledger/tests",
-                shortDescription: {
-                  text: "Contract missing tests"
-                }
-              },
-              {
-                id: "decision-ledger/spec",
-                shortDescription: {
-                  text: "Contract missing spec"
-                }
-              }
-            ]
-          }
-        },
-        results
-      }
-    ]
-  };
-  return JSON.stringify(sarif, null, 2);
-}
-
-// src/decision-ledger/ledger.ts
-var BehaviorLedger = class _BehaviorLedger {
-  entries = [];
-  entryMap = /* @__PURE__ */ new Map();
-  /**
-   * Append a new entry to the ledger.
-   *
-   * @param entry The entry to append
-   * @throws Error if entry ID already exists
-   */
-  append(entry) {
-    if (this.entryMap.has(entry.id)) {
-      throw new Error(`Ledger entry with ID '${entry.id}' already exists`);
-    }
-    if (entry.supersedes) {
-      const superseded = this.entryMap.get(entry.supersedes);
-      if (superseded && superseded.status === "active") {
-        const updatedEntry = {
-          ...superseded,
-          status: "superseded"
-        };
-        this.entryMap.set(entry.supersedes, updatedEntry);
-      }
-    }
-    this.entries.push(entry);
-    this.entryMap.set(entry.id, entry);
-  }
-  /**
-   * Get an entry by ID.
-   *
-   * @param id The entry ID
-   * @returns The entry, or undefined if not found
-   */
-  getEntry(id) {
-    return this.entryMap.get(id);
-  }
-  /**
-   * Get all entries (in order of append) with current status.
-   *
-   * @returns Array of all entries with current status from the map
-   */
-  getAllEntries() {
-    return this.entries.map((entry) => this.entryMap.get(entry.id));
-  }
-  /**
-   * Get entries for a specific rule ID.
-   *
-   * @param ruleId The rule ID
-   * @returns Array of entries for this rule with current status
-   */
-  getEntriesForRule(ruleId) {
-    return this.entries.map((entry) => this.entryMap.get(entry.id)).filter((entry) => entry.contract.ruleId === ruleId);
-  }
-  /**
-   * Get the latest active entry for a rule.
-   *
-   * @param ruleId The rule ID
-   * @returns The latest active entry, or undefined if none
-   */
-  getLatestEntry(ruleId) {
-    const entries = this.getEntriesForRule(ruleId);
-    const activeEntries = entries.filter((entry) => entry.status === "active");
-    if (activeEntries.length === 0) {
-      return void 0;
-    }
-    return activeEntries[activeEntries.length - 1];
-  }
-  /**
-   * Get all active assumptions across all entries.
-   *
-   * @returns Map of assumption ID to assumption
-   */
-  getActiveAssumptions() {
-    const assumptions = /* @__PURE__ */ new Map();
-    for (const entry of this.entries) {
-      const currentEntry = this.entryMap.get(entry.id);
-      if (currentEntry.status !== "active") {
-        continue;
-      }
-      for (const assumption of currentEntry.contract.assumptions || []) {
-        if (assumption.status === "active") {
-          assumptions.set(assumption.id, assumption);
-        }
-      }
-    }
-    return assumptions;
-  }
-  /**
-   * Find assumptions that impact a specific artifact type.
-   *
-   * @param impactType The artifact type ('spec', 'tests', 'code')
-   * @returns Array of assumptions
-   */
-  findAssumptionsByImpact(impactType) {
-    const assumptions = [];
-    for (const entry of this.entries) {
-      const currentEntry = this.entryMap.get(entry.id);
-      if (currentEntry.status !== "active") {
-        continue;
-      }
-      for (const assumption of currentEntry.contract.assumptions || []) {
-        if (assumption.status === "active" && assumption.impacts.includes(impactType)) {
-          assumptions.push(assumption);
-        }
-      }
-    }
-    return assumptions;
-  }
-  /**
-   * Get ledger statistics.
-   */
-  getStats() {
-    const currentEntries = this.entries.map((e) => this.entryMap.get(e.id));
-    const active = currentEntries.filter((e) => e.status === "active").length;
-    const superseded = currentEntries.filter((e) => e.status === "superseded").length;
-    const deprecated = currentEntries.filter((e) => e.status === "deprecated").length;
-    const uniqueRules = new Set(currentEntries.map((e) => e.contract.ruleId)).size;
-    return {
-      totalEntries: this.entries.length,
-      activeEntries: active,
-      supersededEntries: superseded,
-      deprecatedEntries: deprecated,
-      uniqueRules
-    };
-  }
-  /**
-   * Export ledger as JSON.
-   *
-   * @returns JSON string with current entry status
-   */
-  toJSON() {
-    return JSON.stringify(
-      {
-        version: "1.0.0",
-        // Export entries with current status from the map
-        entries: this.entries.map((entry) => this.entryMap.get(entry.id)),
-        stats: this.getStats()
-      },
-      null,
-      2
-    );
-  }
-  /**
-   * Import ledger from JSON.
-   * 
-   * Note: The JSON must contain entries in the order they were originally appended.
-   * If a superseding entry appears before the entry it supersedes, the superseding
-   * logic will not work correctly. The toJSON method preserves this order.
-   *
-   * @param json The JSON string
-   * @returns A new BehaviorLedger instance
-   */
-  static fromJSON(json) {
-    const data = JSON.parse(json);
-    const ledger = new _BehaviorLedger();
-    for (const entry of data.entries || []) {
-      ledger.append(entry);
-    }
-    return ledger;
-  }
-};
-function createBehaviorLedger() {
-  return new BehaviorLedger();
-}
-
-export {
-  defineFact,
-  defineEvent,
-  defineRule,
-  defineConstraint,
-  defineModule,
-  filterEvents,
-  filterFacts,
-  findEvent,
-  findFact,
-  ContractMissing,
-  ContractValidated,
-  AcknowledgeContractGap,
-  ValidateContracts,
-  ContractGapAcknowledged,
-  ContractAdded,
-  ContractUpdated,
-  validateContracts,
-  formatValidationReport,
-  formatValidationReportJSON,
-  formatValidationReportSARIF,
-  BehaviorLedger,
-  createBehaviorLedger
-};