tjs-lang 0.8.6 → 0.9.0

package/editors/editors-build.test.ts

@@ -0,0 +1,29 @@
+/**
+ * Anti-drift guard for the published `tjs-lang/editors/*` entry points.
+ *
+ * The `editors/{codemirror,monaco,ace}/*.js` files are what npm consumers import
+ * (the `./editors/*` subpaths). They are BUILD ARTIFACTS bundled from the
+ * adjacent `.ts` by `scripts/build-editors.ts` — but they're committed (so a
+ * fresh `npm publish` ships them without a build). This test re-bundles each
+ * entry in memory and asserts the committed `.js` is byte-identical, so editing
+ * a `.ts` without running `bun run build:editors` fails CI instead of silently
+ * shipping months-old code (the exact rot this whole build step fixes).
+ *
+ * If this fails: run `bun run build:editors` and commit the regenerated `.js`.
+ */
+import { describe, it, expect } from 'bun:test'
+import { readFileSync } from 'fs'
+import { join } from 'path'
+import { editorTargets, bundleEditor, ROOT } from '../scripts/build-editors'
+
+describe('editors/* published .js are in sync with their .ts sources', () => {
+  for (const target of editorTargets) {
+    it(`${target.name}: committed ${target.outfile} matches a fresh build`, () => {
+      const committed = readFileSync(join(ROOT, target.outfile), 'utf8')
+      const fresh = bundleEditor(target, { write: false })
+      // Byte-equality — esbuild is pinned, so a diff means the .ts changed
+      // without the .js being rebuilt (or a config drift between the two).
+      expect(committed).toBe(fresh)
+    })
+  }
+})

package/editors/monaco/ajs-monarch.js

@@ -1,243 +1,287 @@
-/**
- * Monaco Editor Monarch Tokenizer for AsyncJS
- *
- * Usage in browser:
- * ```html
- * <script src="https://unpkg.com/monaco-editor/min/vs/loader.js"></script>
- * <script src="ajs-monarch.js"></script>
- * <script>
- *   require(['vs/editor/editor.main'], function() {
- *     registerAjsLanguage(monaco);
- *     monaco.editor.create(document.getElementById('container'), {
- *       value: 'function agent(topic: "string") { ... }',
- *       language: 'ajs'
- *     });
- *   });
- * </script>
- * ```
- */
+// editors/ajs-syntax.ts
+var KEYWORDS = [
+  "function",
+  "return",
+  "if",
+  "else",
+  "while",
+  "for",
+  "of",
+  "in",
+  "try",
+  "catch",
+  "finally",
+  "let",
+  "const",
+  "true",
+  "false",
+  "null",
+  "undefined"
+];
+var FORBIDDEN_KEYWORDS = [
+  // Object-oriented constructs
+  "new",
+  "class",
+  "extends",
+  "super",
+  "this",
+  "implements",
+  "interface",
+  "abstract",
+  "static",
+  "private",
+  "protected",
+  "public",
+  // Async constructs (not needed - runtime handles async)
+  "async",
+  "await",
+  "yield",
+  // Module system (not supported)
+  "import",
+  "export",
+  "require",
+  "module",
+  // Other unsupported
+  "var",
+  // use let/const
+  "throw",
+  // use Error() for monadic error flow
+  "switch",
+  // use if/else chains
+  "case",
+  "default",
+  // (as switch keyword)
+  "with",
+  "delete",
+  "void",
+  "typeof",
+  // use type-by-example instead
+  "instanceof",
+  "debugger",
+  "eval",
+  // TypeScript-specific (not supported)
+  "type",
+  "enum",
+  "namespace",
+  "declare",
+  "readonly",
+  "as",
+  "is",
+  "keyof",
+  "infer",
+  "never",
+  "unknown"
+];
+var TYPE_CONSTRUCTORS = [
+  "Date",
+  "Set",
+  "Map",
+  "Array",
+  "Object",
+  "String",
+  "Number",
+  "Boolean",
+  "RegExp",
+  "Error",
+  "JSON",
+  "Math",
+  "Schema"
+  // AsyncJS-specific
+];
+var FORBIDDEN_SET = new Set(FORBIDDEN_KEYWORDS);
+var KEYWORDS_SET = new Set(KEYWORDS);
+var FORBIDDEN_PATTERN = new RegExp(
+  `\\b(${FORBIDDEN_KEYWORDS.join("|")})\\b`,
+  "g"
+);
 
-const ajsLanguageId = 'ajs'
-
-const ajsLanguageConfiguration = {
+// editors/monaco/ajs-monarch.ts
+var languageId = "ajs";
+var languageConfiguration = {
   comments: {
-    lineComment: '//',
-    blockComment: ['/*', '*/'],
+    lineComment: "//",
+    blockComment: ["/*", "*/"]
   },
   brackets: [
-    ['{', '}'],
-    ['[', ']'],
-    ['(', ')'],
+    ["{", "}"],
+    ["[", "]"],
+    ["(", ")"]
   ],
   autoClosingPairs: [
-    { open: '{', close: '}' },
-    { open: '[', close: ']' },
-    { open: '(', close: ')' },
-    { open: "'", close: "'", notIn: ['string', 'comment'] },
-    { open: '"', close: '"', notIn: ['string', 'comment'] },
-    { open: '`', close: '`', notIn: ['string', 'comment'] },
+    { open: "{", close: "}" },
+    { open: "[", close: "]" },
+    { open: "(", close: ")" },
+    { open: "'", close: "'", notIn: ["string", "comment"] },
+    { open: '"', close: '"', notIn: ["string", "comment"] },
+    { open: "`", close: "`", notIn: ["string", "comment"] }
   ],
   surroundingPairs: [
-    { open: '{', close: '}' },
-    { open: '[', close: ']' },
-    { open: '(', close: ')' },
+    { open: "{", close: "}" },
+    { open: "[", close: "]" },
+    { open: "(", close: ")" },
     { open: "'", close: "'" },
     { open: '"', close: '"' },
-    { open: '`', close: '`' },
+    { open: "`", close: "`" }
   ],
-}
-
-const ajsMonarchLanguage = {
-  defaultToken: 'source',
+  folding: {
+    markers: {
+      start: /^\s*\/\/\s*#region\b/,
+      end: /^\s*\/\/\s*#endregion\b/
+    }
+  }
+};
+var monarchLanguage = {
+  defaultToken: "source",
   ignoreCase: false,
-
-  keywords: [
-    'function',
-    'return',
-    'if',
-    'else',
-    'while',
-    'for',
-    'of',
-    'in',
-    'try',
-    'catch',
-    'finally',
-    'throw',
-    'let',
-    'const',
-    'true',
-    'false',
-    'null',
-  ],
-
-  // Forbidden keywords - highlighted as errors
-  forbidden: [
-    'new',
-    'class',
-    'async',
-    'await',
-    'var',
-    'this',
-    'super',
-    'extends',
-    'implements',
-    'interface',
-    'type',
-    'yield',
-    'import',
-    'export',
-    'require',
-  ],
-
-  typeKeywords: ['Date', 'Set', 'Map', 'Array', 'Object', 'String', 'Number'],
-
+  // Good parts - standard keywords (from shared definition)
+  keywords: [...KEYWORDS],
+  // Bad parts - forbidden in AsyncJS (from shared definition)
+  forbidden: [...FORBIDDEN_KEYWORDS],
+  // Built-in type constructors used as factories (from shared definition)
+  typeKeywords: [...TYPE_CONSTRUCTORS],
   operators: [
-    '=',
-    '>',
-    '<',
-    '!',
-    '~',
-    '?',
-    ':',
-    '==',
-    '<=',
-    '>=',
-    '!=',
-    '&&',
-    '||',
-    '++',
-    '--',
-    '+',
-    '-',
-    '*',
-    '/',
-    '&',
-    '|',
-    '^',
-    '%',
+    "=",
+    ">",
+    "<",
+    "!",
+    "~",
+    "?",
+    ":",
+    "==",
+    "<=",
+    ">=",
+    "!=",
+    "&&",
+    "||",
+    "++",
+    "--",
+    "+",
+    "-",
+    "*",
+    "/",
+    "&",
+    "|",
+    "^",
+    "%",
+    "<<",
+    ">>",
+    ">>>",
+    "+=",
+    "-=",
+    "*=",
+    "/=",
+    "&=",
+    "|=",
+    "^=",
+    "%=",
+    "<<=",
+    ">>=",
+    ">>>="
   ],
-
   symbols: /[=><!~?:&|+\-*\/\^%]+/,
-  escapes: /\\(?:[abfnrtv\\"']|x[0-9A-Fa-f]{1,4}|u[0-9A-Fa-f]{4})/,
-
+  escapes: /\\(?:[abfnrtv\\"']|x[0-9A-Fa-f]{1,4}|u[0-9A-Fa-f]{4}|U[0-9A-Fa-f]{8})/,
   tokenizer: {
     root: [
+      // Identifiers and keywords
       [
         /[a-zA-Z_$][\w$]*/,
         {
           cases: {
-            '@forbidden': 'invalid',
-            '@keywords': 'keyword',
-            '@typeKeywords': 'type.identifier',
-            '@default': 'identifier',
-          },
-        },
+            "@forbidden": "invalid",
+            // Red squiggly for bad parts
+            "@keywords": "keyword",
+            "@typeKeywords": "type.identifier",
+            "@default": "identifier"
+          }
+        }
       ],
-
-      { include: '@whitespace' },
-
-      [/[{}()\[\]]/, '@brackets'],
+      // Whitespace
+      { include: "@whitespace" },
+      // Delimiters and operators
+      [/[{}()\[\]]/, "@brackets"],
       [
         /@symbols/,
         {
           cases: {
-            '@operators': 'operator',
-            '@default': '',
-          },
-        },
+            "@operators": "operator",
+            "@default": ""
+          }
+        }
       ],
-
-      [/\d*\.\d+([eE][\-+]?\d+)?/, 'number.float'],
-      [/0[xX][0-9a-fA-F]+/, 'number.hex'],
-      [/\d+/, 'number'],
-
-      [/[;,.]/, 'delimiter'],
-
-      [/'/, { token: 'string.quote', bracket: '@open', next: '@stringSingle' }],
-      [/"/, { token: 'string.quote', bracket: '@open', next: '@stringDouble' }],
+      // Numbers
+      [/\d*\.\d+([eE][\-+]?\d+)?/, "number.float"],
+      [/0[xX][0-9a-fA-F]+/, "number.hex"],
+      [/\d+/, "number"],
+      // Delimiter: after number because of .\d floats
+      [/[;,.]/, "delimiter"],
+      // Strings
+      [/'/, { token: "string.quote", bracket: "@open", next: "@stringSingle" }],
+      [/"/, { token: "string.quote", bracket: "@open", next: "@stringDouble" }],
       [
         /`/,
-        { token: 'string.quote', bracket: '@open', next: '@stringBacktick' },
-      ],
+        {
+          token: "string.quote",
+          bracket: "@open",
+          next: "@stringBacktick"
+        }
+      ]
     ],
-
     stringSingle: [
-      [/[^\\']+/, 'string'],
-      [/@escapes/, 'string.escape'],
-      [/\\./, 'string.escape.invalid'],
-      [/'/, { token: 'string.quote', bracket: '@close', next: '@pop' }],
+      [/[^\\']+/, "string"],
+      [/@escapes/, "string.escape"],
+      [/\\./, "string.escape.invalid"],
+      [/'/, { token: "string.quote", bracket: "@close", next: "@pop" }]
     ],
-
     stringDouble: [
-      [/[^\\"]+/, 'string'],
-      [/@escapes/, 'string.escape'],
-      [/\\./, 'string.escape.invalid'],
-      [/"/, { token: 'string.quote', bracket: '@close', next: '@pop' }],
+      [/[^\\"]+/, "string"],
+      [/@escapes/, "string.escape"],
+      [/\\./, "string.escape.invalid"],
+      [/"/, { token: "string.quote", bracket: "@close", next: "@pop" }]
     ],
-
     stringBacktick: [
-      [/[^\\`$]+/, 'string'],
-      [/@escapes/, 'string.escape'],
-      [/\\./, 'string.escape.invalid'],
+      [/[^\\`$]+/, "string"],
+      [/@escapes/, "string.escape"],
+      [/\\./, "string.escape.invalid"],
       [
         /\$\{/,
-        { token: 'delimiter.bracket', next: '@stringTemplateExpression' },
+        {
+          token: "delimiter.bracket",
+          next: "@stringTemplateExpression"
+        }
       ],
-      [/`/, { token: 'string.quote', bracket: '@close', next: '@pop' }],
+      [/`/, { token: "string.quote", bracket: "@close", next: "@pop" }]
     ],
-
     stringTemplateExpression: [
-      [/[^}]+/, 'identifier'],
-      [/\}/, { token: 'delimiter.bracket', next: '@pop' }],
+      [/[^}]+/, "identifier"],
+      [/\}/, { token: "delimiter.bracket", next: "@pop" }]
     ],
-
     whitespace: [
-      [/[ \t\r\n]+/, 'white'],
-      [/\/\*\*(?!\/)/, 'comment.doc', '@docComment'],
-      [/\/\*/, 'comment', '@comment'],
-      [/\/\/.*$/, 'comment'],
+      [/[ \t\r\n]+/, "white"],
+      [/\/\*\*(?!\/)/, "comment.doc", "@docComment"],
+      [/\/\*/, "comment", "@comment"],
+      [/\/\/.*$/, "comment"]
     ],
-
     comment: [
-      [/[^\/*]+/, 'comment'],
-      [/\*\//, 'comment', '@pop'],
-      [/[\/*]/, 'comment'],
+      [/[^\/*]+/, "comment"],
+      [/\*\//, "comment", "@pop"],
+      [/[\/*]/, "comment"]
     ],
-
     docComment: [
-      [/@\w+/, 'comment.doc.tag'],
-      [/[^\/*]+/, 'comment.doc'],
-      [/\*\//, 'comment.doc', '@pop'],
-      [/[\/*]/, 'comment.doc'],
-    ],
-  },
-}
-
-/**
- * Register AsyncJS language with Monaco editor
- * @param {typeof import('monaco-editor')} monaco
- */
-function registerAjsLanguage(monaco) {
-  monaco.languages.register({ id: ajsLanguageId })
-  monaco.languages.setLanguageConfiguration(
-    ajsLanguageId,
-    ajsLanguageConfiguration
-  )
-  monaco.languages.setMonarchTokensProvider(ajsLanguageId, ajsMonarchLanguage)
-}
-
-// Export for different module systems
-if (typeof module !== 'undefined' && module.exports) {
-  module.exports = {
-    languageId: ajsLanguageId,
-    languageConfiguration: ajsLanguageConfiguration,
-    monarchLanguage: ajsMonarchLanguage,
-    registerAjsLanguage,
+      [/@\w+/, "comment.doc.tag"],
+      [/[^\/*]+/, "comment.doc"],
+      [/\*\//, "comment.doc", "@pop"],
+      [/[\/*]/, "comment.doc"]
+    ]
   }
+};
+function registerAjsLanguage(monaco) {
+  monaco.languages.register({ id: languageId });
+  monaco.languages.setLanguageConfiguration(languageId, languageConfiguration);
+  monaco.languages.setMonarchTokensProvider(languageId, monarchLanguage);
 }
-
-if (typeof window !== 'undefined') {
-  window.registerAjsLanguage = registerAjsLanguage
-  window.ajsMonarchLanguage = ajsMonarchLanguage
-}
+export {
+  languageConfiguration,
+  languageId,
+  monarchLanguage,
+  registerAjsLanguage
+};

package/llms.txt

@@ -50,6 +50,10 @@ This file is a navigation index for AI agents. It does not contain the docs them
 - `tjs-lang/eval` → `src/lang/eval.ts` — `Eval`, `SafeFunction`.
 - `tjs-lang/batteries` → `src/batteries/index.ts` — LM Studio integration (lazy, local-only).
 - `tjs-lang/linalg` → `src/linalg/index.tjs` — SIMD linear-algebra kernels (`dot`, `norm_sq`, `dot_at`, `norm_sq_at`).
+- `tjs-lang/css` → `src/css/index.ts` — CSS validators built from verified-safe predicates (`isColor`, `isColorValue`, `suggestColor`, `verifyCss`). Phase 1 = colors; the predicate-types thesis made real.
+- `tjs-lang/schema` → `src/schema/index.ts` — tosijs-schema pre-wired with `$predicate` support (auto-registers the predicate engine on import). Drop-in for `tosijs-schema`; needs `tosijs-schema@^1.4.0`.
+- `tjs-lang/runtime` → `src/lang/runtime.ts` — the TJS runtime (`createRuntime`, `installRuntime`, `Eq`/`NotEq`/`Is`/`IsNot`/`TypeOf`, `checkType`, `isMonadicError`) for emitted `.tjs` code + downstream integrations.
+- `tjs-lang/bun-plugin` → `src/bun-plugin/tjs-plugin.ts` — Bun `onLoad` plugin for native `.tjs` imports (bun-only; `preload` it in bunfig.toml).
 
 ## Source map (for code-reading agents)
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tjs-lang",
-  "version": "0.8.6",
+  "version": "0.9.0",
   "description": "Type-safe JavaScript dialect with runtime validation, sandboxed VM execution, and AI agent orchestration. Transpiles TypeScript to validated JS with fuel-metered execution for untrusted code.",
   "keywords": [
     "typescript",
@@ -44,6 +44,15 @@
       ],
       "batteries": [
         "./dist/src/batteries/index.d.ts"
+      ],
+      "css": [
+        "./dist/src/css/index.d.ts"
+      ],
+      "schema": [
+        "./dist/src/schema/index.d.ts"
+      ],
+      "runtime": [
+        "./dist/src/lang/runtime.d.ts"
       ]
     }
   },
@@ -90,6 +99,24 @@
       "bun": "./src/linalg/index.tjs",
       "default": "./dist/tjs-linalg.js"
     },
+    "./css": {
+      "bun": "./src/css/index.ts",
+      "types": "./dist/src/css/index.d.ts",
+      "default": "./dist/tjs-css.js"
+    },
+    "./schema": {
+      "bun": "./src/schema/index.ts",
+      "types": "./dist/src/schema/index.d.ts",
+      "default": "./dist/tjs-schema.js"
+    },
+    "./runtime": {
+      "bun": "./src/lang/runtime.ts",
+      "types": "./dist/src/lang/runtime.d.ts",
+      "default": "./dist/tjs-runtime.js"
+    },
+    "./bun-plugin": {
+      "bun": "./src/bun-plugin/tjs-plugin.ts"
+    },
     "./src": "./src/index.ts",
     "./editors/monaco": "./editors/monaco/ajs-monarch.js",
     "./editors/codemirror": "./editors/codemirror/ajs-language.js",
@@ -116,7 +143,10 @@
     "CLAUDE.md",
     "llms.txt"
   ],
-  "sideEffects": false,
+  "sideEffects": [
+    "./src/schema/index.ts",
+    "./dist/tjs-schema.js"
+  ],
   "repository": {
     "type": "git",
     "url": "https://github.com/tonioloewald/tjs-lang.git"
@@ -155,10 +185,11 @@
     "format": "bun eslint src --fix && bun prettier --write .",
     "lint": "eslint src",
     "build:grammars": "bun editors/build-grammars.ts",
+    "build:editors": "bun scripts/build-editors.ts",
     "test:fast": "SKIP_LLM_TESTS=1 SKIP_BENCHMARKS=1 bun test",
     "test:llm": "bun test src/batteries/models.integration.test.ts",
     "bench": "bun bin/benchmarks.ts",
-    "make": "rm -rf dist && bun format && bun run build:grammars && tsc -p tsconfig.build.json && bun scripts/build.ts",
+    "make": "rm -rf dist && bun format && bun run build:grammars && bun run build:editors && tsc -p tsconfig.build.json && bun scripts/build.ts",
     "build:bundles": "bun scripts/build.ts",
     "typecheck": "tsc --noEmit",
     "latest": "rm -rf node_modules && bun install",
@@ -177,6 +208,6 @@
     "acorn": "^8.15.0",
     "acorn-loose": "^8.5.2",
     "acorn-walk": "^8.3.4",
-    "tosijs-schema": "^1.3.0"
+    "tosijs-schema": "^1.4.0"
   }
 }