@shapeshift-labs/frontier-lang-parser 0.3.40 → 0.3.41

package/README.md

@@ -81,6 +81,7 @@ The published Frontier package family is generated from one shared package catal
 - [`@shapeshift-labs/frontier-trace`](https://www.npmjs.com/package/@shapeshift-labs/frontier-trace): Serializable traces, spans, events, causal links, W3C trace context helpers, timeline/resource/path queries, critical-path analysis, registry graph output, JSONL/proof helpers, Chrome trace export, and redaction for app-wide feature observability.
 - [`@shapeshift-labs/frontier-manifest`](https://www.npmjs.com/package/@shapeshift-labs/frontier-manifest): Build/static feature manifests for owners, routes, actions, states, migrations, tests, source files, assets, resources, tasks, dependency metadata, registry graph output, feature maps, JSONL export, and impact queries.
 - [`@shapeshift-labs/frontier-view`](https://www.npmjs.com/package/@shapeshift-labs/frontier-view): Renderer-neutral view manifests, type defaults, validation frames, action bindings, visual channels, virtual/LOD hints, and data-to-representation mapping for Frontier apps.
+- [`@shapeshift-labs/frontier-collapse`](https://www.npmjs.com/package/@shapeshift-labs/frontier-collapse): Constraint-collapse and projection admission records for one Frontier program becoming many valid shapes, including identity, behavior, runtime, proof, explicit projection losses, admitted projections, rejected shapes, and target contracts for React, SwiftUI, CLI, worker routes, plugin mounts, native adapters, and local-first views.
 - [`@shapeshift-labs/frontier-icons`](https://www.npmjs.com/package/@shapeshift-labs/frontier-icons): Renderer-neutral icon records, icon sets, lookup aliases, SVG frames, string rendering, and registry evidence for Frontier apps.
 - [`@shapeshift-labs/frontier-design`](https://www.npmjs.com/package/@shapeshift-labs/frontier-design): Renderer-neutral design-system tokens, semantic roles, recipes, target style frames, CSS variable output, and registry graph evidence for Frontier apps.
 - [`@shapeshift-labs/frontier-canvas`](https://www.npmjs.com/package/@shapeshift-labs/frontier-canvas): Renderer-neutral infinite canvas surfaces for Frontier apps, including camera and viewport math, pan/zoom plans, grid materialization, snapping, hit testing, selection handles, extensible tool dispatch, frame records, registry graph output, and impact/proof helpers.
@@ -88,7 +89,8 @@ The published Frontier package family is generated from one shared package catal
 - [`@shapeshift-labs/frontier-dnd`](https://www.npmjs.com/package/@shapeshift-labs/frontier-dnd): Renderer-neutral drag-and-drop sessions, sensor descriptors, collision ranking, drop planning, reorder patches, state partitioning, and registry evidence for Frontier apps.
 - [`@shapeshift-labs/frontier-dom`](https://www.npmjs.com/package/@shapeshift-labs/frontier-dom): Patch-native DOM and host renderer bindings, manifest hydration, JSX runtime/compiler helpers, SSR, devtools, and logging bridges.
 - [`@shapeshift-labs/frontier-playwright`](https://www.npmjs.com/package/@shapeshift-labs/frontier-playwright): Playwright/headless automation probes for Frontier state, DOM, devtools, marks, and timeline queries.
-- [`@shapeshift-labs/frontier-annotations`](https://www.npmjs.com/package/@shapeshift-labs/frontier-annotations): Browser harness DOM annotation overlay, selected-node targeting records, CSS/source-hint capture, AST/source graph context ranking, and Codex/frontier-swarm task planning for AI-operable UI fixes.
+- [`@shapeshift-labs/frontier-annotations`](https://www.npmjs.com/package/@shapeshift-labs/frontier-annotations): Browser harness DOM annotation overlay, selected-node targeting records, click geometry, optional image media refs, CSS/source-hint capture, AST/source graph context ranking, and Codex/frontier-swarm task planning for AI-operable UI fixes.
+- [`@shapeshift-labs/frontier-annotations-harness`](https://www.npmjs.com/package/@shapeshift-labs/frontier-annotations-harness): Node browser annotation harness server and CLI for injecting Frontier annotation threads, capturing selected-element screenshots and canvas click crops, collecting source context, writing Loom/frontier-swarm Codex task artifacts, and optionally starting swarm runs.
 - [`@shapeshift-labs/frontier-test`](https://www.npmjs.com/package/@shapeshift-labs/frontier-test): Serializable test/spec evidence manifests for Frontier apps, including fixtures, commands, expected patches/effects/routes/policies, coverage declarations, run plans, run records, report adapters, replay proofs, fuzzers, benchmarks, registry graph output, and impact queries.
 - [`@shapeshift-labs/frontier-fixtures`](https://www.npmjs.com/package/@shapeshift-labs/frontier-fixtures): Deterministic fixture and scenario generation for Frontier apps, including schema-valid sample state, related entity collections, actor personas, route states, replay-verified patch streams, event records, JSONL bundles, and evidence summaries.
 - [`@shapeshift-labs/frontier-component-preview`](https://www.npmjs.com/package/@shapeshift-labs/frontier-component-preview): Frontier-native component preview books, generated preview manifests, stateful variants, Vite virtual modules, standalone browser preview shells, inspector bridges, and preview harness evidence for Frontier apps.
@@ -186,6 +188,7 @@ Package source repositories:
 - [`siliconjungle/-shapeshift-labs-frontier-trace`](https://github.com/siliconjungle/-shapeshift-labs-frontier-trace)
 - [`siliconjungle/-shapeshift-labs-frontier-manifest`](https://github.com/siliconjungle/-shapeshift-labs-frontier-manifest)
 - [`siliconjungle/-shapeshift-labs-frontier-view`](https://github.com/siliconjungle/-shapeshift-labs-frontier-view)
+- [`siliconjungle/-shapeshift-labs-frontier-collapse`](https://github.com/siliconjungle/-shapeshift-labs-frontier-collapse)
 - [`siliconjungle/-shapeshift-labs-frontier-icons`](https://github.com/siliconjungle/-shapeshift-labs-frontier-icons)
 - [`siliconjungle/-shapeshift-labs-frontier-design`](https://github.com/siliconjungle/-shapeshift-labs-frontier-design)
 - [`siliconjungle/-shapeshift-labs-frontier-canvas`](https://github.com/siliconjungle/-shapeshift-labs-frontier-canvas)
@@ -194,6 +197,7 @@ Package source repositories:
 - [`siliconjungle/-shapeshift-labs-frontier-dom`](https://github.com/siliconjungle/-shapeshift-labs-frontier-dom)
 - [`siliconjungle/-shapeshift-labs-frontier-playwright`](https://github.com/siliconjungle/-shapeshift-labs-frontier-playwright)
 - [`siliconjungle/-shapeshift-labs-frontier-annotations`](https://github.com/siliconjungle/-shapeshift-labs-frontier-annotations)
+- [`siliconjungle/-shapeshift-labs-frontier-annotations-harness`](https://github.com/siliconjungle/-shapeshift-labs-frontier-annotations-harness)
 - [`siliconjungle/-shapeshift-labs-frontier-test`](https://github.com/siliconjungle/-shapeshift-labs-frontier-test)
 - [`siliconjungle/-shapeshift-labs-frontier-fixtures`](https://github.com/siliconjungle/-shapeshift-labs-frontier-fixtures)
 - [`siliconjungle/-shapeshift-labs-frontier-component-preview`](https://github.com/siliconjungle/-shapeshift-labs-frontier-component-preview)

package/dist/action-body.js

@@ -0,0 +1,62 @@
+import { readFrontierNestedBlocks } from './source-syntax-report.js';
+
+export function readActionBodyRecords(body) {
+  const records = [];
+  for (const bodyBlock of readFrontierNestedBlocks('body', body)) {
+    for (const rawLine of bodyBlock.body.split('\n')) {
+      const line = rawLine.trim();
+      if (!line || line.startsWith('#')) continue;
+      const record = parseActionBodyLine(line, records.length);
+      if (record) records.push(record);
+    }
+  }
+  return records;
+}
+
+export function stripNestedBlocks(kind, source) {
+  let text = source;
+  for (const block of readFrontierNestedBlocks(kind, source).reverse()) text = text.slice(0, block.start) + text.slice(block.end);
+  return text;
+}
+
+function parseActionBodyLine(line, index) {
+  const statement = /^([A-Za-z_$][\w$-]*)(?:\s+([A-Za-z_$@./:*+-][\w$./@:*+-]*))?(.*)$/.exec(line);
+  if (!statement) return undefined;
+  const [, rowKind, rawName, rawRest] = statement;
+  const name = rawName && !rawName.startsWith('@') ? rawName : `${rowKind}_${index}`;
+  const rest = rawName?.startsWith('@') ? ` ${rawName}${rawRest ?? ''}` : (rawRest ?? '');
+  if (rowKind === 'set' || rowKind === 'insert' || rowKind === 'merge') {
+    return compactRecord({ kind: 'patch', op: rowKind, id: idFrom(rest, `action_body_${rowKind}_${name}`), name, path: readInlineWord('path', rest), value: readInlineActionValue('value', rest) });
+  }
+  if (rowKind === 'remove') {
+    return compactRecord({ kind: 'patch', op: 'remove', id: idFrom(rest, `action_body_remove_${name}`), name, path: readInlineWord('path', rest) });
+  }
+  if (rowKind === 'callEffect') {
+    return compactRecord({ kind: 'callEffect', id: idFrom(rest, `action_body_callEffect_${name}`), name, capability: readInlineWord('capability', rest) ?? readInlineWord('effect', rest) ?? name, input: readInlineActionValue('input', rest) });
+  }
+  if (rowKind === 'return') {
+    const valueText = rawName?.startsWith('@') ? rest.trim() : `${rawName ?? ''}${rest ?? ''}`.trim();
+    return compactRecord({ kind: 'return', id: idFrom(rest, `action_body_return_${index}`), value: valueText ? readActionValue(valueText) : undefined });
+  }
+  return undefined;
+}
+
+function readInlineActionValue(label, text) {
+  const value = new RegExp('(?:^|\\s)' + label + '\\s+(.+?)(?=\\s+[A-Za-z_$][\\w$-]*\\s+|$)').exec(text)?.[1]?.trim();
+  return value ? readActionValue(value) : undefined;
+}
+
+function readActionValue(value) {
+  const text = value.trim();
+  const quoted = /^["']([^"']*)["']$/.exec(text);
+  if (quoted) return { value: quoted[1] };
+  if (text === 'true') return { value: true };
+  if (text === 'false') return { value: false };
+  if (text === 'null') return { value: null };
+  if (/^-?\d+(?:\.\d+)?$/.test(text)) return { value: Number(text) };
+  return { expression: text };
+}
+
+function idFrom(header, fallback) { return /@id\(\s*["']([^"']+)["']\s*\)/.exec(header)?.[1] ?? fallback; }
+function readInlineWord(label, text) { return new RegExp('(?:^|\\s)' + label + '\\s+([^\\s,]+)').exec(text)?.[1]?.trim(); }
+function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined && (!Array.isArray(value) || value.length > 0))); }

package/dist/index.js

@@ -1,4 +1,5 @@
 import { actionNode, capabilityNode, createDocument, effectNode, entityNode, externNode, latticeNode, migrationNode, stateNode, targetNode, typeNode } from '@shapeshift-labs/frontier-lang-kernel';
+import { readActionBodyRecords, stripNestedBlocks } from './action-body.js';
 import { parseConstraintSpaceBlock } from './constraint-space.js';
 import { parseConversionBlock } from './conversion.js';
 import { parseApplicationSurfaceBlock } from './application-surface.js';
@@ -117,16 +118,21 @@ function parseState(block) {
 }
 function parseAction(block) {
   const name = nameFrom(block.header);
+  const topLevelBody = stripNestedBlocks('body', block.body);
+  const body = readActionBodyRecords(block.body);
   return actionNode({
     id: idFrom(block.header, `action_${name}`),
     name,
-    input: parseOptionalTypeExpression(/input\s*:?\s*([^\n]+)/.exec(block.body)?.[1]),
-    returns: parseOptionalTypeExpression(/returns\s+([^\n]+)/.exec(block.body)?.[1]),
-    reads: readList('reads', block.body),
-    writes: readList('writes', block.body),
-    uses: readList('uses', block.body)
+    input: parseOptionalTypeExpression(/input\s*:?\s*([^\n]+)/.exec(topLevelBody)?.[1]),
+    returns: parseOptionalTypeExpression(/returns\s+([^\n]+)/.exec(topLevelBody)?.[1]),
+    reads: readList('reads', topLevelBody),
+    writes: readList('writes', topLevelBody),
+    uses: readList('uses', topLevelBody),
+    throws: readList('throws', topLevelBody),
+    body: body.length ? body : undefined
   });
 }
+
 function parseMigration(block) {
   const name = nameFrom(block.header);
   return migrationNode({ id: idFrom(block.header, `migration_${name}`), name, fromVersion: readWord('fromVersion', block.body) ?? readWord('from', block.body) ?? 'unknown', toVersion: readWord('toVersion', block.body) ?? readWord('to', block.body) ?? 'unknown', changes: readChangeRecords(block.body), invariants: readList('invariants', block.body) });

package/dist/source-syntax-children.js

@@ -4,6 +4,9 @@ const ROW_NAME_PATTERN = '([A-Za-z_$@./:*+-][\\w$./@:*+-]*)';
 
 export function readSourceSyntaxChildren(source, block, options = {}) {
   if (block.malformed) return [];
+  if (block.kind === 'action') {
+    return readActionSyntaxChildren(source, block, options);
+  }
   if (block.kind === 'conversion' || block.kind === 'universalConversionPlan') {
     return readConversionSyntaxChildren(source, block, options);
   }
@@ -12,6 +15,48 @@ export function readSourceSyntaxChildren(source, block, options = {}) {
   return [];
 }
 
+const ACTION_BODY_ROWS = new Set(['set', 'insert', 'remove', 'merge', 'callEffect', 'return']);
+
+function readActionSyntaxChildren(source, block, options) {
+  const children = [];
+  const body = source.slice(block.bodyStartOffset, block.bodyEndOffset);
+  const bodyBlocks = readNestedBodyBlocks('body', body);
+  let rowIndex = 0;
+  for (const bodyBlock of bodyBlocks) {
+    const bodyStartOffset = block.bodyStartOffset + bodyBlock.bodyStart;
+    const bodyEndOffset = block.bodyStartOffset + bodyBlock.bodyEnd;
+    for (const line of readTextLines(source, bodyStartOffset, bodyEndOffset)) {
+      if (!line.text || line.text.startsWith('#')) continue;
+      const row = /^([A-Za-z_$][\w$-]*)(?:\s+([A-Za-z_$@./:*+-][\w$./@:*+-]*))?(.*)$/.exec(line.text);
+      const rowKind = row?.[1] ?? 'unknown';
+      const name = row?.[2] && !row[2].startsWith('@') ? row[2] : `${rowKind}_${rowIndex}`;
+      const rest = row?.[2]?.startsWith('@') ? ` ${row[2]}${row[3] ?? ''}` : (row?.[3] ?? '');
+      const recognized = ACTION_BODY_ROWS.has(rowKind);
+      children.push(cleanRecord({
+        kind: recognized ? 'actionBodyRow' : 'actionUnknownRow',
+        rowKind,
+        normalizedRowKind: recognized ? rowKind : 'unknown',
+        name,
+        id: idFrom(rest, `action_body_${safeId(rowKind)}_${safeId(name)}_${rowIndex}`),
+        header: line.text,
+        startOffset: line.startOffset,
+        endOffset: line.endOffset,
+        location: sourcePosition(source, line.startOffset),
+        parentKind: block.kind,
+        parentId: block.id,
+        parentName: block.name,
+        moduleId: block.moduleId,
+        moduleName: block.moduleName,
+        sourceSpan: sourceSpan(source, block, line.startOffset, line.endOffset, options),
+        recognized,
+        reason: recognized ? undefined : 'unsupported-action-body-row'
+      }));
+      rowIndex++;
+    }
+  }
+  return children;
+}
+
 function readConversionSyntaxChildren(source, block, options) {
   const children = [];
   for (const line of readBodyLines(source, block)) {
@@ -131,10 +176,14 @@ function readGenericRowSyntaxChildren(source, block, options, config) {
 }
 
 function readBodyLines(source, block) {
-  const body = source.slice(block.bodyStartOffset, block.bodyEndOffset);
+  return readTextLines(source, block.bodyStartOffset, block.bodyEndOffset);
+}
+
+function readTextLines(source, startOffset, endOffset) {
+  const body = source.slice(startOffset, endOffset);
   const lines = body.split('\n');
   const records = [];
-  let lineStart = block.bodyStartOffset;
+  let lineStart = startOffset;
   for (const rawLine of lines) {
     const rawEnd = lineStart + rawLine.length;
     const leading = /^\s*/.exec(rawLine)?.[0].length ?? 0;
@@ -147,6 +196,79 @@ function readBodyLines(source, block) {
   return records;
 }
 
+function readNestedBodyBlocks(kind, source) {
+  const blocks = [];
+  const header = new RegExp('\\b' + kind.replace(/[.*+?^${}()|[\]\\]/g, '\\$&') + '(?:\\s+([^{}\\n]+?))?\\s*\\{', 'g');
+  let match;
+  while ((match = header.exec(source))) {
+    const open = header.lastIndex - 1;
+    const close = findMatchingBrace(source, open);
+    if (close < 0) continue;
+    blocks.push({
+      header: (match[1] ?? '').trim(),
+      start: match.index,
+      bodyStart: open + 1,
+      bodyEnd: close,
+      end: close + 1
+    });
+    header.lastIndex = close + 1;
+  }
+  return blocks;
+}
+
+function findMatchingBrace(source, open) {
+  let depth = 0;
+  let state = 'code';
+  let quote = '';
+  for (let index = open; index < source.length; index++) {
+    const char = source[index];
+    const next = source[index + 1];
+    if (state === 'line-comment') {
+      if (char === '\n') state = 'code';
+      continue;
+    }
+    if (state === 'block-comment') {
+      if (char === '*' && next === '/') {
+        index++;
+        state = 'code';
+      }
+      continue;
+    }
+    if (state === 'string') {
+      if (char === '\\') {
+        index++;
+        continue;
+      }
+      if (char === quote) {
+        state = 'code';
+        quote = '';
+      }
+      continue;
+    }
+    if (char === '/' && next === '/') {
+      index++;
+      state = 'line-comment';
+      continue;
+    }
+    if (char === '/' && next === '*') {
+      index++;
+      state = 'block-comment';
+      continue;
+    }
+    if (char === '"' || char === "'") {
+      state = 'string';
+      quote = char;
+      continue;
+    }
+    if (char === '{') depth++;
+    if (char === '}') {
+      depth--;
+      if (depth === 0) return index;
+    }
+  }
+  return -1;
+}
+
 function sourcePosition(source, offset) {
   const lines = source.slice(0, offset).split('\n');
   return { line: lines.length, column: lines[lines.length - 1].length + 1, offset };

package/dist/source-syntax-report.js

@@ -91,7 +91,7 @@ export function readFrontierSourceBlocks(source, options = {}) {
 export function readFrontierNestedBlocks(kind, source) {
   const structure = scanFrontierStructure(source);
   const blocks = [];
-  const header = new RegExp('\\b' + escapeRegExp(kind) + '\\s+([^{}]+?)\\{', 'g');
+  const header = new RegExp('\\b' + escapeRegExp(kind) + '(?:\\s+([^{}\\n]+?))?\\s*\\{', 'g');
   let match;
   while ((match = header.exec(source))) {
     const start = match.index;
@@ -101,7 +101,7 @@ export function readFrontierNestedBlocks(kind, source) {
     if (close < 0) continue;
     blocks.push({
       kind,
-      header: match[1].trim(),
+      header: (match[1] ?? '').trim(),
       body: source.slice(header.lastIndex, close),
       start,
       end: close + 1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.40",
+  "version": "0.3.41",
   "description": "Parser for the first Frontier Lang .frontier syntax slice.",
   "type": "module",
   "main": "./dist/index.js",