npm - @specverse/engines - Versions diffs - 5.0.2 → 5.1.0 - Mend

@specverse/engines 5.0.2 → 5.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (57) hide show

package/dist/ai/commands/fill.d.ts.map +1 -1
package/dist/ai/commands/fill.js +16 -7
package/dist/ai/commands/fill.js.map +1 -1
package/dist/ai/commands/template.d.ts.map +1 -1
package/dist/ai/commands/template.js +17 -8
package/dist/ai/commands/template.js.map +1 -1
package/dist/bundles/deriveCatalog.d.ts +18 -0
package/dist/bundles/deriveCatalog.d.ts.map +1 -0
package/dist/bundles/deriveCatalog.js +263 -0
package/dist/bundles/deriveCatalog.js.map +1 -0
package/dist/bundles/index.d.ts +15 -0
package/dist/bundles/index.d.ts.map +1 -0
package/dist/bundles/index.js +15 -0
package/dist/bundles/index.js.map +1 -0
package/dist/bundles/types.d.ts +53 -0
package/dist/bundles/types.d.ts.map +1 -0
package/dist/bundles/types.js +22 -0
package/dist/bundles/types.js.map +1 -0
package/dist/bundles/validate.d.ts +55 -0
package/dist/bundles/validate.d.ts.map +1 -0
package/dist/bundles/validate.js +471 -0
package/dist/bundles/validate.js.map +1 -0
package/dist/inference/quint-transpiler.js +2 -2
package/dist/inference/quint-transpiler.js.map +1 -1
package/dist/libs/instance-factories/applications/templates/react/runtime-package-json-generator.js +1 -1
package/dist/libs/instance-factories/cli/templates/commander/command-generator.js +43 -0
package/dist/libs/instance-factories/tools/templates/mcp/mcp-server-generator.js +11 -4
package/libs/instance-factories/applications/templates/react/runtime-package-json-generator.ts +1 -1
package/libs/instance-factories/cli/templates/commander/command-generator.ts +43 -0
package/libs/instance-factories/tools/templates/mcp/mcp-server-generator.ts +10 -3
package/package.json +9 -5
package/assets/examples/09-api/ai-spec.yaml +0 -194
package/assets/examples/09-api/converted.yaml +0 -95
package/assets/examples/09-api/diagram-architecture.mmd +0 -10
package/assets/examples/09-api/diagram-er.mmd +0 -10
package/assets/examples/09-api/documentation.html +0 -104
package/assets/examples/09-api/documentation.md +0 -95
package/assets/examples/09-api/inferred-spec.yaml +0 -420
package/assets/examples/09-api/openapi.json +0 -61
package/assets/examples/10-api/README.md +0 -216
package/assets/examples/10-api/ai-spec.yaml +0 -194
package/assets/examples/10-api/converted.yaml +0 -96
package/assets/examples/10-api/diagram-architecture.mmd +0 -10
package/assets/examples/10-api/diagram-er.mmd +0 -10
package/assets/examples/10-api/documentation.html +0 -104
package/assets/examples/10-api/documentation.md +0 -95
package/assets/examples/10-api/inferred-spec.yaml +0 -7
package/assets/examples/10-api/metadata.yaml +0 -89
package/assets/examples/10-api/openapi.json +0 -61
package/assets/examples/10-api/package-integration-test.js +0 -177
package/assets/examples/10-api/usage-example.js +0 -323
package/assets/examples/10-api/usage-example.ts +0 -363
package/assets/examples/10-api/workflow-test.js +0 -113
package/assets/examples/validate-examples-with-expected-failures.cjs +0 -328
package/assets/examples/validate-examples.cjs +0 -225
package/assets/prompts/MOVED.md +0 -35
package/assets/prompts/SUMMARY-v8-PROMOTION.md +0 -445

package/assets/examples/09-api/diagram-architecture.mmd DELETED Viewed

@@ -1,10 +0,0 @@
-graph TB
-  subgraph "Client Layer"
-  end
-  subgraph "Controller Layer"
-  end
-  subgraph "Service Layer"
-  end
-  subgraph "Model Layer"
-    Product[(Product)]
-  end

package/assets/examples/09-api/diagram-er.mmd DELETED Viewed

@@ -1,10 +0,0 @@
-erDiagram
-  Product {
-    uuid id "NOT NULL"
-    string name "NOT NULL"
-    string summary
-    string price "NOT NULL"
-    boolean inStock
-    string category "NOT NULL"
-    string contactEmail
-  }

package/assets/examples/09-api/documentation.html DELETED Viewed

@@ -1,104 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-    <meta charset="UTF-8">
-    <meta name="viewport" content="width=device-width, initial-scale=1.0">
-    <title>SpecVerseFundamentals Documentation</title>
-    <style>
-        body {
-            font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, sans-serif;
-            line-height: 1.6;
-            color: #333;
-            max-width: 900px;
-            margin: 0 auto;
-            padding: 20px;
-        }
-        h1, h2, h3, h4, h5 {
-            color: #2c3e50;
-            margin-top: 1.5em;
-        }
-        h1 { border-bottom: 2px solid #3498db; padding-bottom: 0.3em; }
-        h2 { border-bottom: 1px solid #ecf0f1; padding-bottom: 0.2em; }
-        table {
-            border-collapse: collapse;
-            width: 100%;
-            margin: 1em 0;
-        }
-        th, td {
-            border: 1px solid #ddd;
-            padding: 8px;
-            text-align: left;
-        }
-        th {
-            background-color: #f8f9fa;
-            font-weight: bold;
-        }
-        code {
-            background-color: #f4f4f4;
-            padding: 2px 4px;
-            border-radius: 3px;
-            font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
-        }
-        pre {
-            background-color: #f4f4f4;
-            padding: 1em;
-            border-radius: 5px;
-            overflow-x: auto;
-        }
-        .toc {
-            background-color: #f8f9fa;
-            padding: 1em;
-            border-radius: 5px;
-            margin: 1em 0;
-        }
-        .toc ul {
-            list-style-type: none;
-            padding-left: 1em;
-        }
-        .toc a {
-            text-decoration: none;
-            color: #3498db;
-        }
-        .toc a:hover {
-            text-decoration: underline;
-        }
-        hr {
-            border: none;
-            border-top: 1px solid #ecf0f1;
-            margin: 2em 0;
-        }
-    </style>
-</head>
-<body>
-    <h1>SpecVerseFundamentals</h1><p>Example 01-01: Basic model definition with attributes</p><p><strong>Version:</strong> 1.0.0
-<strong>Generated:</strong> 2025-09-29T17:21:55.606Z</p><h2>Table of Contents</h2><ul><li><a href="#overview">Overview</a></li>
-<li><a href="#models">Models</a></li>
-  - <a href="#product">Product</a></p><h2>Overview</h2><h3>Component Statistics</h3><p><tr><td>Component Type</td><td>Count</td></tr>
-<tr><td>Models</td><td>1</td></tr>
-<tr><td>Controllers</td><td>0</td></tr>
-<tr><td>Services</td><td>0</td></tr>
-<tr><td>Views</td><td>0</td></tr>
-<tr><td>Events</td><td>0</td></tr></p><h3>Imports</h3><p>
-<h3>Exports</h3><p><strong>SpecVerseFundamentals:</strong>
-<li><strong>models:</strong> Product</li></ul><h2>Models</h2><h3>Product</h3><p>Simple product with basic attributes</p><h4>Attributes</h4><p><tr><td>Name</td><td>Type</td><td>Required</td><td>Unique</td><td>Description</td></tr>
-<tr><td>id</td><td>UUID</td><td>✓</td></tr>
-<tr><td>name</td><td>String</td><td>✓</td></tr>
-<tr><td>summary</td><td>String</td></tr>
-<tr><td>price</td><td>Money</td><td>✓</td></tr>
-<tr><td>inStock</td><td>Boolean</td><td>Default: true</td></tr>
-<tr><td>category</td><td>String</td><td>✓</td></tr>
-<tr><td>contactEmail</td><td>Email</td></tr></p><h4>Behaviors</h4><h5>attachProfile</h5><p>Attach a profile to this model instance</p><p><strong>Parameters:</strong>
-<li><code>profileName</code>: String (required)</li></ul><p><strong>Returns:</strong> Boolean</p><p><strong>Preconditions:</strong>
-<li>Profile exists and is compatible with this model</li></ul><p><strong>Postconditions:</strong>
-<li>Profile is attached</li>
-<li>Profile attributes are available</li></ul><h5>detachProfile</h5><p>Detach a profile from this model instance</p><p><strong>Parameters:</strong>
-<li><code>profileName</code>: String (required)</li></ul><p><strong>Returns:</strong> Boolean</p><p><strong>Preconditions:</strong>
-<li>Profile is currently attached</li></ul><p><strong>Postconditions:</strong>
-<li>Profile is detached</li>
-<li>Profile attributes are no longer available</li></ul><h5>hasProfile</h5><p>Check if a profile is attached to this model instance</p><p><strong>Parameters:</strong>
-<li><code>profileName</code>: String (required)</li></ul><p><strong>Returns:</strong> Boolean</p><p>---
-</p>
-</body>
-</html>

package/assets/examples/09-api/documentation.md DELETED Viewed

@@ -1,95 +0,0 @@
-# SpecVerseFundamentals
-Example 01-01: Basic model definition with attributes
-**Version:** 1.0.0
-**Generated:** 2025-09-29T17:21:55.605Z
-## Table of Contents
-- [Overview](#overview)
-- [Models](#models)
-  - [Product](#product)
-## Overview
-### Component Statistics
-| Component Type | Count |
-|----------------|-------|
-| Models | 1 |
-| Controllers | 0 |
-| Services | 0 |
-| Views | 0 |
-| Events | 0 |
-### Imports
-### Exports
-**SpecVerseFundamentals:**
-- **models:** Product
-## Models
-### Product
-Simple product with basic attributes
-#### Attributes
-| Name | Type | Required | Unique | Description |
-|------|------|----------|--------|-------------|
-| id | UUID | ✓ |  |  |
-| name | String | ✓ |  |  |
-| summary | String |  |  |  |
-| price | Money | ✓ |  |  |
-| inStock | Boolean |  |  | Default: true |
-| category | String | ✓ |  |  |
-| contactEmail | Email |  |  |  |
-#### Behaviors
-##### attachProfile
-Attach a profile to this model instance
-**Parameters:**
-- `profileName`: String (required)
-**Returns:** Boolean
-**Preconditions:**
-- Profile exists and is compatible with this model
-**Postconditions:**
-- Profile is attached
-- Profile attributes are available
-##### detachProfile
-Detach a profile from this model instance
-**Parameters:**
-- `profileName`: String (required)
-**Returns:** Boolean
-**Preconditions:**
-- Profile is currently attached
-**Postconditions:**
-- Profile is detached
-- Profile attributes are no longer available
-##### hasProfile
-Check if a profile is attached to this model instance
-**Parameters:**
-- `profileName`: String (required)
-**Returns:** Boolean
----

package/assets/examples/09-api/inferred-spec.yaml DELETED Viewed

@@ -1,420 +0,0 @@
-name: GeneratedComponent
-version: 3.1.0
-description: Auto-generated component with 1 models
-controllers:
-  ProductController:
-    model: Product
-    description: Auto-generated CURED controller for Product
-    cured:
-      create:
-        parameters:
-          data: Product required
-        returns: Product
-        requires:
-          - Product data is valid
-          - id is not empty
-          - name is not empty
-          - price is not empty
-          - category is not empty
-        ensures:
-          - Product created with unique ID
-          - Product persisted to storage
-        publishes:
-          - ProductCreated
-      retrieve:
-        parameters:
-          id: UUID required
-        returns: Product
-        requires:
-          - Product with ID exists
-        ensures:
-          - Returns complete Product details
-      retrieve_many:
-        parameters:
-          filters: ProductFilter optional
-          limit: Integer default=20
-          offset: Integer default=0
-        returns: Array[Product]
-        ensures:
-          - Returns paginated list of Products
-          - Applies filters if specified
-      update:
-        parameters:
-          id: UUID required
-          updates: Object required
-        returns: Product
-        requires:
-          - Product with ID exists
-          - Update data is valid
-        ensures:
-          - Product attributes updated
-          - Version number incremented
-        publishes:
-          - ProductUpdated
-      destroy:
-        parameters:
-          id: UUID required
-          soft: Boolean default=true
-        returns: Boolean
-        requires:
-          - Product with ID exists
-        ensures:
-          - Product marked as deleted
-        publishes:
-          - ProductDeleted
-services:
-  ProductProcessingService:
-    description: Handles complex business logic and processing for Product
-    subscribes_to:
-      ProductCreated: handleProductCreation
-      ProductUpdated: handleProductUpdate
-    operations:
-      handleProductCreation:
-        parameters:
-          event: ProductCreatedEvent required
-        returns: Void
-        requires:
-          - Event data is valid
-        ensures:
-          - Product creation processing completed
-          - Related systems notified
-      handleProductUpdate:
-        parameters:
-          event: ProductUpdatedEvent required
-        returns: Void
-        requires:
-          - Event data is valid
-        ensures:
-          - Product update processing completed
-          - Change propagated to dependent systems
-      validateProduct:
-        parameters:
-          data: Product required
-          validationContext: Object optional
-        returns: ValidationResult
-        requires:
-          - Product data is provided
-        ensures:
-          - Complete validation performed
-          - Business rules checked
-      processProductBusinessRules:
-        parameters:
-          id: UUID required
-          ruleContext: Object required
-        returns: BusinessRuleResult
-        requires:
-          - Product exists
-          - Rule context is valid
-        ensures:
-          - All applicable business rules processed
-          - Results documented
-  NotificationService:
-    description: Handles notifications for all model events
-    subscribes_to:
-      ProductCreated: handleCreationNotification
-      ProductUpdated: handleUpdateNotification
-      ProductDeleted: handleDeletionNotification
-    operations:
-      sendNotification:
-        description: Send notification for an event
-        parameters:
-          eventType: String required
-          eventData: Object required
-          recipients: Array required
-        returns: Boolean
-        ensures:
-          - Notification sent to all recipients
-      sendEmail:
-        description: Send email notification
-        parameters:
-          to: String required
-          subject: String required
-          body: String required
-        returns: Boolean
-        ensures:
-          - Email sent successfully
-  AuditService:
-    description: Tracks all model changes for audit purposes
-    subscribes_to:
-      ProductCreated: recordCreation
-      ProductUpdated: recordUpdate
-      ProductDeleted: recordDeletion
-    operations:
-      recordChange:
-        description: Record a model change for audit
-        parameters:
-          entityType: String required
-          entityId: UUID required
-          changeType: String required
-          oldValues: Object optional
-          newValues: Object optional
-          userId: UUID required
-        returns: AuditRecord
-        ensures:
-          - Change recorded in audit log
-      getAuditHistory:
-        description: Get audit history for an entity
-        parameters:
-          entityType: String required
-          entityId: UUID required
-          limit: Integer default=50
-        returns: Array[AuditRecord]
-        ensures:
-          - Returns chronological audit history
-events:
-  ProductCreated:
-    description: Product was created
-    attributes:
-      id: UUID required
-      timestamp: DateTime required
-      createdBy: UUID required
-      version: Integer default=1
-      name: String required
-  ProductUpdated:
-    description: Product was updated
-    attributes:
-      id: UUID required
-      changedFields: Array required
-      previousValues: Object optional
-      newValues: Object required
-      timestamp: DateTime required
-      updatedBy: UUID required
-      version: Integer required
-      name: String optional
-  ProductDeleted:
-    description: Product was deleted
-    attributes:
-      id: UUID required
-      deletedBy: UUID required
-      timestamp: DateTime required
-      soft: Boolean default=true
-      reason: String optional
-      name: String optional
-views:
-  ProductListView:
-    type: list
-    model: Product
-    description: List view for Products with filtering and pagination
-    subscribes_to:
-      - ProductCreated
-      - ProductUpdated
-      - ProductDeleted
-    components:
-      searchBar:
-        type: SearchInput
-        properties:
-          placeholder: Search products...
-          debounce: 300
-      filters:
-        type: FilterPanel
-        properties:
-          model: Product
-          filterFields:
-            - name
-            - summary
-            - inStock
-            - category
-      productList:
-        type: List
-        properties:
-          model: Product
-          itemTemplate: ProductCard
-          pagination: true
-          sortable: true
-          selectable: true
-      actionToolbar:
-        type: ActionToolbar
-        properties:
-          actions:
-            - name: create
-              label: Create Product
-              icon: plus
-            - name: delete
-              label: Delete Selected
-              icon: trash
-              bulk: true
-            - name: export
-              label: Export
-              icon: download
-  ProductDetailView:
-    type: detail
-    model: Product
-    description: Detailed view for a single Product with related data
-    subscribes_to:
-      - ProductUpdated
-    components:
-      detailHeader:
-        type: DetailHeader
-        properties:
-          model: Product
-          showBreadcrumb: true
-          actions:
-            - name: edit
-              label: Edit
-              icon: edit
-            - name: delete
-              label: Delete
-              icon: trash
-      detailsPanel:
-        type: DetailsPanel
-        properties:
-          model: Product
-          layout: card
-          showMetadata: true
-  ProductFormView:
-    type: form
-    model: Product
-    description: Form view for creating and editing Product
-    subscribes_to:
-      - ProductCreated
-      - ProductUpdated
-    components:
-      formHeader:
-        type: FormHeader
-        properties:
-          model: Product
-          showProgress: true
-      basic informationSection:
-        type: FormSection
-        properties:
-          title: Basic Information
-          fields:
-            - name: id
-              type: TextInput
-              label: Id
-              required: true
-            - name: name
-              type: TextInput
-              label: Name
-              required: true
-      additional detailsSection:
-        type: FormSection
-        properties:
-          title: Additional Details
-          fields:
-            - name: summary
-              type: TextInput
-              label: Summary
-              required: false
-            - name: price
-              type: CurrencyInput
-              label: Price
-              required: true
-            - name: inStock
-              type: Checkbox
-              label: In Stock
-              required: false
-            - name: category
-              type: TextInput
-              label: Category
-              required: true
-            - name: contactEmail
-              type: EmailInput
-              label: Contact Email
-              required: false
-      formControls:
-        type: FormControls
-        properties:
-          submitLabel: Save Product
-          cancelLabel: Cancel
-          showValidation: true
-  ProductEnhancedListView:
-    type: list
-    model: Product
-    description: Enhanced list view for Product with advanced filtering
-    subscribes_to:
-      - ProductCreated
-      - ProductUpdated
-      - ProductDeleted
-    components:
-      advancedSearch:
-        type: AdvancedSearchInput
-        properties:
-          placeholder: Search Products...
-          debounce: 300
-          enableSuggestions: true
-      advancedFilters:
-        type: FilterPanel
-        properties:
-          model: Product
-          collapsible: true
-      productTable:
-        type: DataTable
-        properties:
-          model: Product
-          pagination:
-            enabled: true
-            pageSize: 25
-            showSizeSelector: true
-          selection:
-            enabled: true
-            multiSelect: true
-          sorting:
-            enabled: true
-            multiColumn: true
-  ProductAnalyticsView:
-    type: dashboard
-    model: Product
-    description: Analytics and reporting dashboard for Product
-    subscribes_to:
-      - ProductCreated
-      - ProductUpdated
-      - ProductDeleted
-    components:
-      keyMetrics:
-        type: MetricsSummary
-        properties:
-          title: Product Key Metrics
-          refreshInterval: 300000
-      trendsChart:
-        type: TimeSeriesChart
-        properties:
-          title: Product Trends Over Time
-          chartType: line
-          dateRange: last30Days
-models:
-  Product:
-    description: Auto-generated model specification for Product
-    attributes:
-      id: UUID required
-      name: String required
-      summary: String
-      price: Money required
-      inStock: Boolean default=true
-      category: String required
-      contactEmail: Email
-    relationships: {}
-commonDefinitions:
-  ProductCreateRequest:
-    type: object
-    description: Request to create Product
-    properties:
-      name: String required
-      summary: String
-      price: Money required
-      inStock: Boolean default=true
-      category: String required
-      contactEmail: Email
-  ProductUpdateRequest:
-    type: object
-    description: Request to update Product
-    properties:
-      id: UUID required
-      name: String
-      summary: String
-      price: Money
-      inStock: Boolean default=true
-      category: String
-      contactEmail: Email
-  ProductFilter:
-    type: object
-    description: Filter criteria for Product listings
-    properties:
-      id: UUID optional
-      nameContains: String optional
-      summaryContains: String optional
-      priceMin: Money optional
-      priceMax: Money optional
-      inStock: Boolean optional
-      categoryContains: String optional
-      contactEmail: Email optional

package/assets/examples/09-api/openapi.json DELETED Viewed

@@ -1,61 +0,0 @@
-{
-  "openapi": "3.0.3",
-  "info": {
-    "title": "SpecVerseFundamentals",
-    "description": "Example 01-01: Basic model definition with attributes",
-    "version": "1.0.0"
-  },
-  "servers": [
-    {
-      "url": "https://api.example.com"
-    }
-  ],
-  "paths": {},
-  "components": {
-    "schemas": {
-      "Product": {
-        "type": "object",
-        "description": "Simple product with basic attributes",
-        "properties": {
-          "id": {
-            "type": "string",
-            "description": ""
-          },
-          "name": {
-            "type": "string",
-            "description": ""
-          },
-          "summary": {
-            "type": "string",
-            "description": ""
-          },
-          "price": {
-            "type": "string",
-            "description": ""
-          },
-          "inStock": {
-            "type": "boolean",
-            "description": "Default: true",
-            "default": "true"
-          },
-          "category": {
-            "type": "string",
-            "description": ""
-          },
-          "contactEmail": {
-            "type": "string",
-            "description": ""
-          }
-        },
-        "required": [
-          "id",
-          "name",
-          "price",
-          "category"
-        ]
-      }
-    },
-    "responses": {},
-    "parameters": {}
-  }
-}