tjs-lang 0.6.44 → 0.7.3

package/docs/eval-v4/http-lifecycle.svg

@@ -0,0 +1,148 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 850 500"
+     font-family="system-ui, -apple-system, sans-serif">
+  <style>
+    /* Palette and semantic classes */
+    .bg { fill: #fafafa; stroke: #e4e4e4; }
+
+    /* Box styles */
+    .box-client { fill: #eef6ff; stroke: #3da8f4; stroke-width: 2; }
+    .box-process { fill: #f5f5f5; stroke: #9e9e9e; stroke-width: 2; }
+    .box-database { fill: #f0fff5; stroke: #006736; stroke-width: 2; }
+
+    /* Arrows */
+    .arrow-forward { stroke: #3da8f4; stroke-width: 2; fill: none; }
+    .arrow-return { stroke: #ff9800; stroke-width: 2; fill: none; stroke-dasharray: 4,4; }
+
+    /* Text */
+    .text-primary { fill: #181340; font-size: 13px; font-weight: 500; }
+    .text-small { fill: #9e9e9e; font-size: 11px; }
+    .text-label { fill: #181340; font-size: 12px; }
+
+    /* Title */
+    .title { fill: #181340; font-size: 18px; font-weight: 600; }
+  </style>
+
+  <defs>
+    <!-- Forward flow arrow marker (blue) -->
+    <marker id="arr-forward" viewBox="0 0 10 10" refX="9" refY="5"
+            markerWidth="7" markerHeight="7" orient="auto-start-reverse">
+      <path d="M0 0 L10 5 L0 10z" fill="#3da8f4"/>
+    </marker>
+    <!-- Return flow arrow marker (orange) -->
+    <marker id="arr-return" viewBox="0 0 10 10" refX="9" refY="5"
+            markerWidth="7" markerHeight="7" orient="auto-start-reverse">
+      <path d="M0 0 L10 5 L0 10z" fill="#ff9800"/>
+    </marker>
+  </defs>
+
+  <!-- Title -->
+  <text x="425" y="30" class="title" text-anchor="middle">HTTP Request Lifecycle</text>
+
+  <!-- ============ FORWARD REQUEST FLOW ============ -->
+  <g id="section-forward-flow" class="section">
+
+    <!-- Node: Client -->
+    <g id="node-client" class="node">
+      <rect x="50" y="70" width="120" height="40" class="box-client" rx="4"/>
+      <!-- text_y = 70 + (40/2) + (13 * 0.35) = 70 + 20 + 4.55 = 94.55 → 95 -->
+      <text x="110" y="95" class="text-primary" text-anchor="middle">Client</text>
+    </g>
+
+    <!-- Arrow: Client → DNS -->
+    <line x1="170" y1="90" x2="220" y2="90" class="arrow-forward" marker-end="url(#arr-forward)"/>
+    <text x="195" y="83" class="text-small" text-anchor="middle">sends request</text>
+
+    <!-- Node: DNS Lookup -->
+    <g id="node-dns" class="node">
+      <rect x="220" y="70" width="140" height="40" class="box-process" rx="4"/>
+      <!-- text_y = 220 + (40/2) + (13 * 0.35) = 220 + 20 + 4.55 = 244.55 → 245 -->
+      <text x="290" y="95" class="text-primary" text-anchor="middle">DNS Lookup</text>
+    </g>
+
+    <!-- Arrow: DNS → Server -->
+    <line x1="360" y1="90" x2="410" y2="90" class="arrow-forward" marker-end="url(#arr-forward)"/>
+    <text x="385" y="83" class="text-small" text-anchor="middle">resolves IP</text>
+
+    <!-- Node: Server Processing -->
+    <g id="node-server" class="node">
+      <rect x="410" y="70" width="150" height="40" class="box-process" rx="4"/>
+      <!-- text_y = 410 + (40/2) + (13 * 0.35) = 410 + 20 + 4.55 = 434.55 → 435 -->
+      <text x="485" y="95" class="text-primary" text-anchor="middle">Server Processing</text>
+    </g>
+
+    <!-- Arrow: Server → Database -->
+    <line x1="560" y1="90" x2="610" y2="90" class="arrow-forward" marker-end="url(#arr-forward)"/>
+    <text x="585" y="83" class="text-small" text-anchor="middle">query</text>
+
+    <!-- Node: Database Query -->
+    <g id="node-database" class="node">
+      <rect x="610" y="70" width="140" height="40" class="box-database" rx="4"/>
+      <!-- text_y = 610 + (40/2) + (13 * 0.35) = 610 + 20 + 4.55 = 634.55 → 635 -->
+      <text x="680" y="95" class="text-primary" text-anchor="middle">Database Query</text>
+    </g>
+
+  </g>
+
+  <!-- ============ RETURN RESPONSE FLOW (separate row) ============ -->
+  <g id="section-return-flow" class="section">
+
+    <!-- Vertical connectors: each node drops down -->
+    <line x1="110" y1="110" x2="110" y2="280" class="arrow-return" stroke-dasharray="2,2"/>
+    <line x1="290" y1="110" x2="290" y2="280" class="arrow-return" stroke-dasharray="2,2"/>
+    <line x1="485" y1="110" x2="485" y2="280" class="arrow-return" stroke-dasharray="2,2"/>
+    <line x1="680" y1="110" x2="680" y2="280" class="arrow-return" stroke-dasharray="2,2"/>
+
+    <!-- Return row with separate response path -->
+    <!-- Node: Database Response -->
+    <g id="node-db-response" class="node">
+      <rect x="630" y="280" width="100" height="40" class="box-database" rx="4"/>
+      <!-- text_y = 630 + (40/2) + (13 * 0.35) = 630 + 20 + 4.55 = 654.55 → 655 -->
+      <text x="680" y="305" class="text-primary" text-anchor="middle">Data Ready</text>
+    </g>
+
+    <!-- Arrow: DB Response → Server Response -->
+    <line x1="630" y1="300" x2="560" y2="300" class="arrow-return" marker-end="url(#arr-return)"/>
+    <text x="595" y="315" class="text-small" text-anchor="middle">returns data</text>
+
+    <!-- Node: Server Response -->
+    <g id="node-server-response" class="node">
+      <rect x="430" y="280" width="110" height="40" class="box-process" rx="4"/>
+      <!-- text_y = 430 + (40/2) + (13 * 0.35) = 430 + 20 + 4.55 = 454.55 → 455 -->
+      <text x="485" y="305" class="text-primary" text-anchor="middle">Builds Response</text>
+    </g>
+
+    <!-- Arrow: Server Response → Client Response -->
+    <line x1="430" y1="300" x2="170" y2="300" class="arrow-return" marker-end="url(#arr-return)"/>
+    <text x="300" y="315" class="text-small" text-anchor="middle">HTTP response</text>
+
+    <!-- Node: Client Receives -->
+    <g id="node-client-response" class="node">
+      <rect x="50" y="280" width="120" height="40" class="box-client" rx="4"/>
+      <!-- text_y = 50 + (40/2) + (13 * 0.35) = 50 + 20 + 4.55 = 74.55 → 75 -->
+      <text x="110" y="305" class="text-primary" text-anchor="middle">Response Ready</text>
+    </g>
+
+  </g>
+
+  <!-- ============ LEGEND ============ -->
+  <g id="legend">
+    <!-- Forward flow legend -->
+    <line x1="50" y1="390" x2="90" y2="390" class="arrow-forward" marker-end="url(#arr-forward)"/>
+    <text x="100" y="395" class="text-label">Forward flow (request)</text>
+
+    <!-- Return flow legend -->
+    <line x1="380" y1="390" x2="420" y2="390" class="arrow-return" marker-end="url(#arr-return)"/>
+    <text x="430" y="395" class="text-label">Return flow (response)</text>
+  </g>
+
+  <!-- ============ ANNOTATIONS ============ -->
+  <g id="annotations">
+    <text x="425" y="450" class="text-small" text-anchor="middle">
+      The HTTP lifecycle involves a request traveling through DNS and server processing,
+    </text>
+    <text x="425" y="465" class="text-small" text-anchor="middle">
+      querying the database, and returning a response through the same infrastructure.
+    </text>
+  </g>
+
+</svg>

package/docs/function-predicate-design.md

@@ -20,20 +20,20 @@ signature." Currently:
    just like `0` means "integer" and `''` means "string"
 2. **FunctionPredicate should work like Type/Generic** — same pattern of
    predicate-based checking, introspection via metadata
-3. **The return contract is part of the type** — `->`, `-?`, and `-!` are
+3. **The return contract is part of the type** — `:`, `:?`, and `:!` are
    meaningful distinctions in the function's contract
 
 ## The Three Return Contracts
 
 | Marker | Name | Meaning |
 |--------|------|---------|
-| `->` | `returns` | Verified at transpile time (signature test) |
-| `-?` | `checkedReturns` | Verified at transpile time AND runtime |
-| `-!` | `assertReturns` | Declared but not verified (metadata only) |
+| `:` | `returns` | Verified at transpile time (signature test) |
+| `:?` | `checkedReturns` | Verified at transpile time AND runtime |
+| `:!` | `assertReturns` | Declared but not verified (metadata only) |
 
 These are not just build options — they describe the **trust level** of
-the function's return type. A function with `-?` makes a stronger promise
-than one with `-!`.
+the function's return type. A function with `:?` makes a stronger promise
+than one with `:!`.
 
 ## Syntax: Function as Type Example
 
@@ -41,7 +41,7 @@ The most TJS-idiomatic approach — a function IS its own type:
 
 ```tjs
 // This function's signature IS a type
-function formatter(input: '', options: { locale: 'en' }) -? '' {
+function formatter(input: '', options: { locale: 'en' }):? '' {
   return input
 }
 
@@ -91,7 +91,7 @@ FunctionPredicate Callback {
 Create a type from an existing function's metadata:
 
 ```tjs
-function myFormatter(input: '', options: { locale: 'en' }) -? '' {
+function myFormatter(input: '', options: { locale: 'en' }):? '' {
   return input
 }
 

package/docs/native-engine-integration.md

@@ -119,7 +119,7 @@ TJS's syntax extensions are modest. The engine changes would be:
 
 ### Lexer
 - Recognize `:` in parameter context (already a valid token, just needs context-sensitive handling)
-- `->` as return type arrow (new token, or reuse existing with context)
+- `:` for return types uses context-sensitive handling (already a valid token)
 - `Type`, `Generic`, `Union`, `Enum` as contextual keywords
 - `extend` as contextual keyword
 - `wasm` as contextual keyword
@@ -127,7 +127,7 @@ TJS's syntax extensions are modest. The engine changes would be:
 
 ### Parser
 - Desugar `:` params to `=` defaults (same as transpiler does today)
-- Desugar `->` return annotations to metadata
+- Desugar `:` return annotations to metadata
 - Desugar `Type`/`Generic`/`Union`/`Enum` declarations to `const` + function calls
 - Desugar `extend` blocks to `.call()` rewriting
 - Desugar `wasm {}` blocks (or hand off to WASM compiler)

package/editors/codemirror/autocomplete.test.ts

@@ -58,48 +58,48 @@ function getObjectBeforeDot(source: string, dotPos: number): string | null {
 // Curated property completions (simplified version of ajs-language.ts)
 const PROPERTY_COMPLETIONS: Record<string, Completion[]> = {
   console: [
-    { label: 'log', type: 'method', detail: '(...args: any[]) -> void' },
-    { label: 'error', type: 'method', detail: '(...args: any[]) -> void' },
-    { label: 'warn', type: 'method', detail: '(...args: any[]) -> void' },
-    { label: 'info', type: 'method', detail: '(...args: any[]) -> void' },
-    { label: 'debug', type: 'method', detail: '(...args: any[]) -> void' },
-    { label: 'table', type: 'method', detail: '(data: any) -> void' },
-    { label: 'clear', type: 'method', detail: '() -> void' },
+    { label: 'log', type: 'method', detail: '(...args: any[]): void' },
+    { label: 'error', type: 'method', detail: '(...args: any[]): void' },
+    { label: 'warn', type: 'method', detail: '(...args: any[]): void' },
+    { label: 'info', type: 'method', detail: '(...args: any[]): void' },
+    { label: 'debug', type: 'method', detail: '(...args: any[]): void' },
+    { label: 'table', type: 'method', detail: '(data: any): void' },
+    { label: 'clear', type: 'method', detail: '(): void' },
   ],
   Math: [
-    { label: 'floor', type: 'method', detail: '(x: number) -> number' },
-    { label: 'ceil', type: 'method', detail: '(x: number) -> number' },
-    { label: 'round', type: 'method', detail: '(x: number) -> number' },
-    { label: 'abs', type: 'method', detail: '(x: number) -> number' },
-    { label: 'min', type: 'method', detail: '(...values: number[]) -> number' },
-    { label: 'max', type: 'method', detail: '(...values: number[]) -> number' },
-    { label: 'sqrt', type: 'method', detail: '(x: number) -> number' },
-    { label: 'pow', type: 'method', detail: '(base, exp) -> number' },
-    { label: 'random', type: 'method', detail: '() -> number' },
+    { label: 'floor', type: 'method', detail: '(x: number): number' },
+    { label: 'ceil', type: 'method', detail: '(x: number): number' },
+    { label: 'round', type: 'method', detail: '(x: number): number' },
+    { label: 'abs', type: 'method', detail: '(x: number): number' },
+    { label: 'min', type: 'method', detail: '(...values: number[]): number' },
+    { label: 'max', type: 'method', detail: '(...values: number[]): number' },
+    { label: 'sqrt', type: 'method', detail: '(x: number): number' },
+    { label: 'pow', type: 'method', detail: '(base, exp): number' },
+    { label: 'random', type: 'method', detail: '(): number' },
     { label: 'PI', type: 'property', detail: 'number' },
     { label: 'E', type: 'property', detail: 'number' },
   ],
   JSON: [
-    { label: 'parse', type: 'method', detail: '(text: string) -> any' },
-    { label: 'stringify', type: 'method', detail: '(value: any) -> string' },
+    { label: 'parse', type: 'method', detail: '(text: string): any' },
+    { label: 'stringify', type: 'method', detail: '(value: any): string' },
   ],
   Object: [
-    { label: 'keys', type: 'method', detail: '(obj: object) -> string[]' },
-    { label: 'values', type: 'method', detail: '(obj: object) -> any[]' },
+    { label: 'keys', type: 'method', detail: '(obj: object): string[]' },
+    { label: 'values', type: 'method', detail: '(obj: object): any[]' },
     {
       label: 'entries',
       type: 'method',
-      detail: '(obj: object) -> [string, any][]',
+      detail: '(obj: object): [string, any][]',
     },
     {
       label: 'assign',
       type: 'method',
-      detail: '(target, ...sources) -> object',
+      detail: '(target, ...sources): object',
     },
   ],
   Array: [
-    { label: 'isArray', type: 'method', detail: '(value: any) -> boolean' },
-    { label: 'from', type: 'method', detail: '(iterable) -> any[]' },
+    { label: 'isArray', type: 'method', detail: '(value: any): boolean' },
+    { label: 'from', type: 'method', detail: '(iterable): any[]' },
   ],
 }
 
@@ -220,7 +220,7 @@ function getCompletions(ctx: CompletionContext): Completion[] {
         completions.push({
           label: metadata.name,
           type: 'function',
-          detail: `(${params}) -> ${returnType}`,
+          detail: `(${params}): ${returnType}`,
         })
       }
     }
@@ -260,7 +260,7 @@ describe('Autocomplete', () => {
 
   describe('Return type context (after ->)', () => {
     it('suggests types after arrow', () => {
-      const { source, position } = parseSource('function foo(x: 0) -> |')
+      const { source, position } = parseSource('function foo(x: 0): |')
       const completions = getCompletions({ source, position })
 
       expect(completions.some((c) => c.label === '{}')).toBe(true)
@@ -425,7 +425,7 @@ const after = 2
 
   describe('With transpiled metadata', () => {
     it('extracts function signature from transpiled code', () => {
-      const source = `function add(a: 0, b: 0) -> 0 {
+      const source = `function add(a: 0, b: 0): 0 {
   return a + b
 }`
       const metadata = getMetadata(source)
@@ -437,7 +437,7 @@ const after = 2
     })
 
     it('extracts example-based types', () => {
-      const source = `function greet(name: 'World', times = 1) -! '' {
+      const source = `function greet(name: 'World', times = 1):! '' {
   return 'Hello ' + name
 }`
       const metadata = getMetadata(source)
@@ -450,7 +450,7 @@ const after = 2
     })
 
     it('handles object return types', () => {
-      const source = `function createUser(name: '', age: 0) -> { name: '', age: 0 } {
+      const source = `function createUser(name: '', age: 0): { name: '', age: 0 } {
   return { name, age }
 }`
       const metadata = getMetadata(source)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tjs-lang",
-  "version": "0.6.44",
+  "version": "0.7.3",
   "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",
@@ -21,25 +21,31 @@
   ],
   "license": "Apache-2.0",
   "main": "./dist/index.js",
+  "types": "./dist/src/index.d.ts",
   "exports": {
     ".": {
       "bun": "./src/index.ts",
+      "types": "./dist/src/index.d.ts",
       "default": "./dist/index.js"
     },
     "./eval": {
       "bun": "./src/lang/eval.ts",
+      "types": "./dist/src/lang/eval.d.ts",
       "default": "./dist/lang/eval.js"
     },
     "./lang": {
       "bun": "./src/lang/index.ts",
+      "types": "./dist/src/lang/index.d.ts",
       "default": "./dist/lang/index.js"
     },
     "./lang/eval": {
       "bun": "./src/lang/eval.ts",
+      "types": "./dist/src/lang/eval.d.ts",
       "default": "./dist/lang/eval.js"
     },
     "./lang/from-ts": {
       "bun": "./src/lang/emitters/from-ts.ts",
+      "types": "./dist/src/lang/emitters/from-ts.d.ts",
       "default": "./dist/lang/emitters/from-ts.js"
     },
     "./src": "./src/index.ts",
@@ -94,8 +100,8 @@
     "firebase-functions": "^7.0.5",
     "marked": "^9.1.6",
     "prettier": "^2.8.8",
-    "tosijs": "^1.2.0",
-    "tosijs-ui": "^1.2.0",
+    "tosijs": "^1.5.6",
+    "tosijs-ui": "^1.4.7",
     "typescript": "^5.6.2",
     "valibot": "^0.36.0",
     "vitest": "^2.0.5"
@@ -125,6 +131,6 @@
   "dependencies": {
     "acorn": "^8.15.0",
     "acorn-walk": "^8.3.4",
-    "tosijs-schema": "^1.2.0"
+    "tosijs-schema": "^1.3.0"
   }
 }

package/src/cli/commands/convert.test.ts

@@ -43,16 +43,18 @@ describe('tjs convert - TS to JS pipeline', () => {
 
       expect(jsResult.code).toContain('function greet')
       expect(jsResult.code).toContain('__tjs')
-      expect(jsResult.code).toContain('pushStack')
+      // TS-originated code (/* tjs <- */) gets safety 'none', so no validation
+      expect(jsResult.code).toContain('"unsafe": true')
     })
 
-    it('includes runtime type validation', () => {
+    it('TS-originated code skips runtime validation (safety none)', () => {
       const tjsResult = fromTS(TS_SIMPLE, { emitTJS: true })
       const jsResult = tjs(tjsResult.code, { runTests: 'report' })
 
-      // Should have type checking for string param
-      expect(jsResult.code).toContain("typeof name !== 'string'")
-      expect(jsResult.code).toContain('typeError')
+      // TS-originated code (/* tjs <- */) gets safety 'none', no type checks
+      expect(jsResult.code).not.toContain("typeof name !== 'string'")
+      expect(jsResult.code).not.toContain('typeError')
+      expect(jsResult.code).toContain('"unsafe": true')
     })
 
     it('includes type metadata on functions', () => {
@@ -111,7 +113,7 @@ function getAge(): number { return 30 }
     it('produces TJS with return type annotations', () => {
       const result = fromTS(TS_SIMPLE, { emitTJS: true })
 
-      expect(result.code).toContain("-! ''")
+      expect(result.code).toContain(":! ''")
     })
 
     it('preserves inline test comments', () => {
@@ -154,7 +156,8 @@ function getAge(): number { return 30 }
 
       expect(stdout).toContain('function greet')
       expect(stdout).toContain('__tjs')
-      expect(stdout).toContain('typeError')
+      // TS-originated code gets safety 'none', so no typeError validation
+      expect(stdout).toContain('"unsafe": true')
     })
 
     it('converts a single TS file to TJS with --emit-tjs', async () => {
@@ -169,7 +172,7 @@ function getAge(): number { return 30 }
       await proc.exited
 
       expect(stdout).toContain("name: ''")
-      expect(stdout).toContain("-! ''")
+      expect(stdout).toContain(":! ''")
       expect(stdout).not.toContain('__tjs')
     })
 

package/src/cli/tjs.ts

@@ -20,7 +20,7 @@ import { emit } from './commands/emit'
 import { convert } from './commands/convert'
 import { test } from './commands/test'
 
-const VERSION = '0.6.44'
+const VERSION = '0.6.45'
 
 const HELP = `
 tjs - Typed JavaScript CLI