@specverse/engine-realize 3.5.3

package/libs/instance-factories/tools/templates/vscode/static/syntaxes/specverse.tmLanguage.json

@@ -0,0 +1,138 @@
+{
+  "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
+  "name": "SpecVerse Specly",
+  "scopeName": "source.specly",
+  "fileTypes": [
+    "specly"
+  ],
+  "version": "1.0.0",
+  "patterns": [
+    {
+      "name": "comment.line.number-sign.specly",
+      "match": "#.*$"
+    },
+    {
+      "name": "keyword.control.container.specly",
+      "match": "\\\\b(components|deployments):"
+    },
+    {
+      "name": "keyword.control.section.specly",
+      "match": "\\\\b(component|deployment|version|description|tags|import|export|models|controllers|services|views|events):"
+    },
+    {
+      "name": "keyword.control.subsection.specly",
+      "match": "\\\\b(manifests|name|type|required|unique|isArray|auto|min|max|default|verified|searchable|values|parameters|returns|requires|ensures|publishes|steps|primitives|commands|constraints|from|file|package|namespace|select|as|extends|profiles|metadata|attributes|relationships|lifecycles|behaviors|profile-attachment|target|cascade|dependent|eager|lazy|through|flow|states|transitions|actions|conditions|priority|id|fields|label|audit|timestamps|users|timestampNames|created|updated|userNames|softDelete|enabled|fieldNames|deletedAt|isDeleted|status|field|lifecycle|baseType|typeAlias|validation|pattern|format|model|subscribes_to|cured|create|retrieve|retrieve_many|update|evolve|delete|validate|operations|previousVersions|compatibility|deprecated|deprecationMessage|layout|uiComponents|properties|$ref|environment|instances|communications|storage|security|infrastructure|monitoring|advertises|uses|scale|config|rateLimit|timeout|requestMs|keepAliveMs|resources|autoscaling|capabilities|consumer|concurrency|prefetch|autoAck|persistence|consistency|encryption|backup|replication|scope|policies|auditLevel|healthCheck|loadBalancing|redundancy|retention|alerting|sampling|arguments|positional|flags|alias|exitCodes|subcommands|implies|when_modified_by|adds|sets|validates|appliesTo|source|aggregation|computation|filter|dimensions|specVersion|deploymentSource|deploymentName|deploymentVersion|defaultMappings|controller|service|view|communication|capabilityMappings|capability|instanceFactory|configuration|instanceMappings|instanceName|manifestTemplates|template|conditionalMappings|condition|region|featureFlags|fallback|degradedMode|warnings|errors|requiredAcknowledgment|conflicts|instanceFactories|reason|severity|library|componentSource|componentVersion|overrides|localExtensions|technology|framework|adapter|provider|libraries|environmentVariables|defaultPath|modelName|behaviorName|implementationMethod|implementationPath|implementationType|capabilityType|channelBinding|channelName|strategy|namespaces|isolation|resourceLimits|securityPolicy|crossNamespacePolicy|category|specverse|node|provides|runtime|language|database|dependencies|optional|dev|peer|codeTemplates|engine|generator|prompt|outputPattern|validators|postProcessors|configurationSchema|configurationDocs|author|repository|homepage|license|keywords|documentation|requirements|example|files|path|middleware|global|preHandler|postHandler|onResponse|onError|interceptors|route|guards|pipes|dependencyInjection|defaultScope|scopeOptions|mount|unmount|beforeUpdate|afterUpdate|contentNegotiation|serializers|contentType|handler|parsers|eventRouting|mechanism|exchangeType|topicStrategy|partitionStrategy|routingKeyPattern|groupIdPattern|queuePattern|autoCommit|deadLetterQueue|namingPattern|webhookVerification|signatureHeader|algorithm|verificationMethod|styling|method|fileExtension|classNameStrategy|preprocessor|scoped|migrations|to|breaking|migrationSteps|step|automated|command|codemod|estimatedDuration|rollbackStrategy|automatic|backupRequired|deprecations|api|replacement|peerDependencies|columns|placeholder|chartType|dataSource|options|value|minLength|maxLength|additionalProperties|regions|width|minWidth|maxWidth|height|minHeight|maxHeight|flex|order|align|spacing|responsive|mobile|tablet|desktop|authenticated|authorized|realtime|sortable|filterable|paginated|pagination|exportable|printable|bookmarkable|cacheable|editable|refreshInterval|theme|locale|transactional|propagation|readOnly|retry|circuitBreaker|idempotency|keyField|ttlSeconds|cache|keyFields|requestsPerMinute|burstSize|byIP|byUser|byApiKey|maxAttempts|backoffMs|backoffMultiplier|maxBackoffMs|retryableErrors|failureThreshold|successThreshold|timeoutMs|halfOpenAfterMs|requests|cpu|memory|ephemeralStorage|limits|minReplicas|maxReplicas|targetCPU|targetMemory|customMetrics|averageValue|scaleDown|stabilizationWindowSeconds|selectPolicy|scaleUp):"
+    },
+    {
+      "name": "keyword.control.cured.specly",
+      "match": "\\b(create|retrieve|retrieve_many|update|evolve|delete|validate):"
+    },
+    {
+      "name": "keyword.control.executable.specly",
+      "match": "\\b(parameters|returns|requires|ensures|publishes|steps):"
+    },
+    {
+      "name": "keyword.control.lifecycle.specly",
+      "match": "\\b(flow|states|transitions):"
+    },
+    {
+      "name": "support.type.specly",
+      "match": "\\\\b(String|Text|Integer|Number|Boolean|Date|DateTime|UUID|Email|URL|JSON|Object|Array)\\\\b"
+    },
+    {
+      "comment": "Array<Type> generic syntax",
+      "match": "\\\\b(Array)(<)([A-Z][A-Za-z0-9_]*)(>)",
+      "captures": {
+        "1": {
+          "name": "support.type.specly"
+        },
+        "2": {
+          "name": "punctuation.definition.typeparameters.begin.specly"
+        },
+        "3": {
+          "name": "entity.name.type.specly"
+        },
+        "4": {
+          "name": "punctuation.definition.typeparameters.end.specly"
+        }
+      }
+    },
+    {
+      "name": "entity.name.type.relationship.specly",
+      "match": "\\b(hasMany|hasOne|belongsTo|manyToMany)\\b"
+    },
+    {
+      "name": "storage.modifier.attribute.specly",
+      "match": "\\b(required|unique|optional|searchable|verified)\\b"
+    },
+    {
+      "name": "storage.modifier.relationship.specly",
+      "match": "\\b(cascade|dependent|eager|lazy)\\b"
+    },
+    {
+      "name": "keyword.control.inference.specly",
+      "match": "\\b(infer|ai-generated|auto-inferred)\\b"
+    },
+    {
+      "name": "keyword.control.v31-features.specly",
+      "match": "\\b(profile|attachment|subscription|handler|Money|Decimal)\\b"
+    },
+    {
+      "name": "keyword.control.deployment.specly",
+      "match": "\\b(component|namespace|advertises|uses|capabilities|scale|environment|type):"
+    },
+    {
+      "name": "keyword.operator.arrow.specly",
+      "match": "->"
+    },
+    {
+      "name": "entity.name.tag.yaml.specly",
+      "match": "^\\s*([a-zA-Z_][a-zA-Z0-9_]*)\\s*:",
+      "captures": {
+        "1": {
+          "name": "entity.name.tag.yaml.specly"
+        }
+      }
+    },
+    {
+      "match": "\\b(auto|default|min|max|through)(=)([^\\s]+)",
+      "captures": {
+        "1": {
+          "name": "storage.modifier.assignment.specly"
+        },
+        "2": {
+          "name": "keyword.operator.assignment.specly"
+        },
+        "3": {
+          "name": "string.unquoted.value.specly"
+        }
+      }
+    },
+    {
+      "name": "string.quoted.double.specly",
+      "begin": "\"",
+      "end": "\"",
+      "patterns": [
+        {
+          "name": "constant.character.escape.specly",
+          "match": "\\\\."
+        }
+      ]
+    },
+    {
+      "name": "string.quoted.single.specly",
+      "begin": "'",
+      "end": "'",
+      "patterns": [
+        {
+          "name": "constant.character.escape.specly",
+          "match": "\\\\."
+        }
+      ]
+    },
+    {
+      "name": "constant.numeric.specly",
+      "match": "\\b[0-9]+\\.?[0-9]*\\b"
+    }
+  ]
+}

package/libs/instance-factories/tools/templates/vscode/static/themes/README.md

@@ -0,0 +1,74 @@
+# SpecVerse VS Code Color Themes
+
+This directory contains VS Code color theme configurations for enhanced SpecVerse syntax highlighting.
+
+## Available Themes
+
+### Basic Theme (`specverse-theme-colors.json`)
+A minimal color theme with essential highlighting for SpecVerse constructs:
+- Keywords (component, models, etc.)
+- Types (String, UUID, etc.)
+- Modifiers (required, unique, etc.)
+- Relationships (hasMany, belongsTo, etc.)
+
+### Complete Theme (`complete-specverse-colors.json`)
+A comprehensive color theme with detailed highlighting for all SpecVerse features:
+- Section keywords (component, deployment, etc.)
+- CURED operations (create, update, retrieve, etc.)
+- Lifecycle flows and states
+- Attribute and relationship modifiers
+- Executable properties
+- Comments and strings
+
+## Installation
+
+### Option 1: Manual VS Code Settings
+1. Open VS Code Settings (Cmd/Ctrl + ,)
+2. Search for "token color customizations"
+3. Edit `settings.json` and add the content from either theme file
+
+### Option 2: Copy to Settings
+```bash
+# For basic theme
+cat themes/specverse-theme-colors.json >> ~/.vscode/settings.json
+
+# For complete theme
+cat themes/complete-specverse-colors.json >> ~/.vscode/settings.json
+```
+
+### Option 3: Built-in Extension Themes
+The SpecVerse extension now includes built-in color themes:
+
+1. Install the SpecVerse extension
+2. Open Command Palette (Cmd/Ctrl + Shift + P)
+3. Type "Preferences: Color Theme"
+4. Select either:
+   - **SpecVerse Basic** - Essential highlighting
+   - **SpecVerse Complete** - Comprehensive highlighting
+
+## Theme Comparison
+
+| Feature | Basic Theme | Complete Theme |
+|---------|-------------|----------------|
+| Keywords | ✅ | ✅ |
+| Types | ✅ | ✅ |
+| Modifiers | ✅ | ✅ |
+| CURED Operations | ❌ | ✅ |
+| Lifecycle Flows | ❌ | ✅ |
+| Executable Properties | ❌ | ✅ |
+| Advanced Syntax | ❌ | ✅ |
+
+## Customization
+
+You can customize colors by modifying the `foreground` values in the theme files:
+- Use hex colors: `#569CD6`
+- Adjust `fontStyle`: `"bold"`, `"italic"`, `"bold italic"`
+- Modify scopes to target specific syntax elements
+
+## Contributing
+
+To improve the themes:
+1. Test with various `.specly` files
+2. Identify missing or incorrect highlighting
+3. Update the appropriate theme file
+4. Test the changes in VS Code

package/libs/instance-factories/tools/templates/vscode/static/themes/complete-specverse-colors.json

@@ -0,0 +1,122 @@
+{
+  "editor.tokenColorCustomizations": {
+    "textMateRules": [
+      {
+        "scope": "keyword.control.section.specly",
+        "settings": {
+          "foreground": "#569CD6",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "keyword.control.subsection.specly",
+        "settings": {
+          "foreground": "#9CDCFE",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "keyword.control.cured.specly",
+        "settings": {
+          "foreground": "#FF6B6B",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "keyword.control.executable.specly",
+        "settings": {
+          "foreground": "#FFD700"
+        }
+      },
+      {
+        "scope": "keyword.control.lifecycle.specly",
+        "settings": {
+          "foreground": "#DA70D6"
+        }
+      },
+      {
+        "scope": "support.type.specly",
+        "settings": {
+          "foreground": "#4EC9B0",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "entity.name.type.relationship.specly",
+        "settings": {
+          "foreground": "#DCDCAA",
+          "fontStyle": "italic"
+        }
+      },
+      {
+        "scope": "storage.modifier.attribute.specly",
+        "settings": {
+          "foreground": "#C586C0"
+        }
+      },
+      {
+        "scope": "storage.modifier.relationship.specly",
+        "settings": {
+          "foreground": "#C586C0",
+          "fontStyle": "italic"
+        }
+      },
+      {
+        "scope": "storage.modifier.assignment.specly",
+        "settings": {
+          "foreground": "#FFA500"
+        }
+      },
+      {
+        "scope": "keyword.operator.arrow.specly",
+        "settings": {
+          "foreground": "#FF69B4",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "keyword.operator.assignment.specly",
+        "settings": {
+          "foreground": "#FFA500"
+        }
+      },
+      {
+        "scope": "entity.name.tag.yaml.specly",
+        "settings": {
+          "foreground": "#9CDCFE"
+        }
+      },
+      {
+        "scope": "string.quoted.double.specly",
+        "settings": {
+          "foreground": "#CE9178"
+        }
+      },
+      {
+        "scope": "string.quoted.single.specly",
+        "settings": {
+          "foreground": "#CE9178"
+        }
+      },
+      {
+        "scope": "string.unquoted.value.specly",
+        "settings": {
+          "foreground": "#D7BA7D"
+        }
+      },
+      {
+        "scope": "constant.numeric.specly",
+        "settings": {
+          "foreground": "#B5CEA8"
+        }
+      },
+      {
+        "scope": "comment.line.number-sign.specly",
+        "settings": {
+          "foreground": "#6A9955",
+          "fontStyle": "italic"
+        }
+      }
+    ]
+  }
+}

package/libs/instance-factories/tools/templates/vscode/static/themes/specverse-basic-theme.json

@@ -0,0 +1,65 @@
+{
+  "name": "SpecVerse Basic",
+  "type": "dark",
+  "colors": {},
+  "tokenColors": [
+    {
+      "scope": "keyword.control.specly",
+      "settings": {
+        "foreground": "#569CD6",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "entity.name.tag.specly",
+      "settings": {
+        "foreground": "#9CDCFE"
+      }
+    },
+    {
+      "scope": "support.type.specly",
+      "settings": {
+        "foreground": "#4EC9B0",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "storage.modifier.specly",
+      "settings": {
+        "foreground": "#C586C0"
+      }
+    },
+    {
+      "scope": "entity.name.type.relationship.specly",
+      "settings": {
+        "foreground": "#DCDCAA"
+      }
+    },
+    {
+      "scope": "keyword.control.cured.specly",
+      "settings": {
+        "foreground": "#FF6B6B",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "comment.line.number-sign.specly",
+      "settings": {
+        "foreground": "#6A9955",
+        "fontStyle": "italic"
+      }
+    },
+    {
+      "scope": "string.quoted.double.specly",
+      "settings": {
+        "foreground": "#CE9178"
+      }
+    },
+    {
+      "scope": "constant.numeric.specly",
+      "settings": {
+        "foreground": "#B5CEA8"
+      }
+    }
+  ]
+}

package/libs/instance-factories/tools/templates/vscode/static/themes/specverse-complete-theme.json

@@ -0,0 +1,123 @@
+{
+  "name": "SpecVerse Complete",
+  "type": "dark",
+  "colors": {},
+  "tokenColors": [
+    {
+      "scope": "keyword.control.section.specly",
+      "settings": {
+        "foreground": "#569CD6",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "keyword.control.subsection.specly",
+      "settings": {
+        "foreground": "#9CDCFE",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "keyword.control.cured.specly",
+      "settings": {
+        "foreground": "#FF6B6B",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "keyword.control.executable.specly",
+      "settings": {
+        "foreground": "#FFD700"
+      }
+    },
+    {
+      "scope": "keyword.control.lifecycle.specly",
+      "settings": {
+        "foreground": "#DA70D6"
+      }
+    },
+    {
+      "scope": "support.type.specly",
+      "settings": {
+        "foreground": "#4EC9B0",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "entity.name.type.relationship.specly",
+      "settings": {
+        "foreground": "#DCDCAA",
+        "fontStyle": "italic"
+      }
+    },
+    {
+      "scope": "storage.modifier.attribute.specly",
+      "settings": {
+        "foreground": "#C586C0"
+      }
+    },
+    {
+      "scope": "storage.modifier.relationship.specly",
+      "settings": {
+        "foreground": "#C586C0",
+        "fontStyle": "italic"
+      }
+    },
+    {
+      "scope": "storage.modifier.assignment.specly",
+      "settings": {
+        "foreground": "#FFA500"
+      }
+    },
+    {
+      "scope": "keyword.operator.arrow.specly",
+      "settings": {
+        "foreground": "#FF69B4",
+        "fontStyle": "bold"
+      }
+    },
+    {
+      "scope": "keyword.operator.assignment.specly",
+      "settings": {
+        "foreground": "#FFA500"
+      }
+    },
+    {
+      "scope": "entity.name.tag.yaml.specly",
+      "settings": {
+        "foreground": "#9CDCFE"
+      }
+    },
+    {
+      "scope": "string.quoted.double.specly",
+      "settings": {
+        "foreground": "#CE9178"
+      }
+    },
+    {
+      "scope": "string.quoted.single.specly",
+      "settings": {
+        "foreground": "#CE9178"
+      }
+    },
+    {
+      "scope": "string.unquoted.value.specly",
+      "settings": {
+        "foreground": "#D7BA7D"
+      }
+    },
+    {
+      "scope": "constant.numeric.specly",
+      "settings": {
+        "foreground": "#B5CEA8"
+      }
+    },
+    {
+      "scope": "comment.line.number-sign.specly",
+      "settings": {
+        "foreground": "#6A9955",
+        "fontStyle": "italic"
+      }
+    }
+  ]
+}

package/libs/instance-factories/tools/templates/vscode/static/themes/specverse-theme-colors.json

@@ -0,0 +1,64 @@
+{
+  "editor.tokenColorCustomizations": {
+    "textMateRules": [
+      {
+        "scope": "keyword.control.specly",
+        "settings": {
+          "foreground": "#569CD6",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "entity.name.tag.specly",
+        "settings": {
+          "foreground": "#9CDCFE"
+        }
+      },
+      {
+        "scope": "support.type.specly",
+        "settings": {
+          "foreground": "#4EC9B0",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "storage.modifier.specly",
+        "settings": {
+          "foreground": "#C586C0"
+        }
+      },
+      {
+        "scope": "entity.name.type.relationship.specly",
+        "settings": {
+          "foreground": "#DCDCAA"
+        }
+      },
+      {
+        "scope": "keyword.control.cured.specly",
+        "settings": {
+          "foreground": "#FF6B6B",
+          "fontStyle": "bold"
+        }
+      },
+      {
+        "scope": "comment.line.number-sign.specly",
+        "settings": {
+          "foreground": "#6A9955",
+          "fontStyle": "italic"
+        }
+      },
+      {
+        "scope": "string.quoted.double.specly",
+        "settings": {
+          "foreground": "#CE9178"
+        }
+      },
+      {
+        "scope": "constant.numeric.specly",
+        "settings": {
+          "foreground": "#B5CEA8"
+        }
+      }
+    ]
+  }
+}