@shapeshift-labs/frontier-lang-parser 0.3.39 → 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,6 +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, 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.
@@ -185,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)
@@ -192,6 +196,8 @@ Package source repositories:
 - [`siliconjungle/-shapeshift-labs-frontier-dnd`](https://github.com/siliconjungle/-shapeshift-labs-frontier-dnd)
 - [`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/conversion-metadata.js

@@ -0,0 +1,43 @@
+export function mergeConversionBlocks(blocks) {
+  const plan = {
+    id: blocks.length === 1 ? blocks[0].id : 'universalConversionPlan:source',
+    targets: [...new Set(blocks.flatMap((block) => block.targets ?? []))],
+    metadata: { authoredConversionBlockIds: blocks.map((block) => block.id) }
+  };
+  for (const block of blocks) {
+    if (block.sourceLanguage && !plan.sourceLanguage) plan.sourceLanguage = block.sourceLanguage;
+    for (const [key, value] of Object.entries(block)) {
+      if (Array.isArray(value) && key !== 'targets') plan[key] = [...(plan[key] ?? []), ...value];
+      else if ((key === 'sourceRuntimes' || key === 'targetRuntimes') && value && typeof value === 'object') {
+        plan[key] = { ...(plan[key] ?? {}), ...value };
+      }
+    }
+  }
+  plan.evidenceIds = ids(plan.evidence);
+  plan.summary = {
+    evidenceCount: plan.evidence?.length ?? 0,
+    runtimeRequirementCount: plan.runtimeRequirements?.length ?? 0,
+    dialectCount: plan.dialects?.length ?? 0,
+    externCount: plan.externs?.length ?? 0,
+    constraintCount: conversionConstraintCount(plan)
+  };
+  plan.claims = {
+    autoMergeClaim: false,
+    semanticEquivalenceClaim: false,
+    conversionEquivalenceClaim: false,
+    runtimeEquivalenceClaim: false
+  };
+  return plan;
+}
+
+function ids(records = []) {
+  return records.map((record) => record?.id).filter(Boolean);
+}
+
+function conversionConstraintCount(plan) {
+  return Object.entries(plan).reduce((total, [key, value]) => {
+    if (!Array.isArray(value)) return total;
+    if (key.endsWith('Constraints') || key === 'resourceTransfers') return total + value.length;
+    return total;
+  }, 0);
+}

package/dist/conversion.js

@@ -13,6 +13,7 @@ export function parseConversionBlock(block) {
     const runtimeRequirement = /^(?:runtimeRequirement|requiredRuntime|requiresRuntime)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
     const dialect = /^dialect\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
     const extern = /^extern\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
+    const evidence = /^(?:evidence|proofEvidence)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
     const constraint = /^constraint\s+([A-Za-z_$][\w$-]*)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
     if (target) plan.targets.push(target);
     else if (sourceLanguage) plan.sourceLanguage = sourceLanguage;
@@ -21,11 +22,35 @@ export function parseConversionBlock(block) {
     else if (runtimeRequirement) addRuntimeRequirement(plan, runtimeRequirement[1], runtimeRequirement[2]);
     else if (dialect) addDialectRecord(plan, dialect[1], dialect[2], false);
     else if (extern) addDialectRecord(plan, extern[1], extern[2], true);
+    else if (evidence) addEvidenceRecord(plan, evidence[1], evidence[2], authoredLine);
     else if (constraint) addConstraint(plan, constraint[1], constraint[2], constraint[3], authoredLine);
   }
   return cleanRecord({ ...plan, targets: unique(plan.targets) });
 }
 
+function addEvidenceRecord(plan, name, text, authoredLine = {}) {
+  plan.evidence = [...(plan.evidence ?? []), cleanRecord({
+    id: idFrom(text, `conversion_evidence_${name}`),
+    name,
+    kind: readInlineWord('kind', text) ?? 'conversion-route-evidence',
+    status: readInlineWord('status', text) ?? 'unknown',
+    sourceLanguage: readInlineWord('sourceLanguage', text) ?? readInlineWord('language', text) ?? plan.sourceLanguage,
+    target: readInlineWord('target', text) ?? readInlineWord('targetLanguage', text) ?? plan.targets[0],
+    routeId: readInlineWord('routeId', text) ?? readInlineWord('route', text),
+    path: readInlineWord('path', text) ?? readInlineWord('report', text),
+    command: readInlineQuoted('command', text) ?? readInlineWord('command', text),
+    probeId: readInlineWord('probeId', text) ?? readInlineWord('probe', text),
+    sourceHash: readInlineWord('sourceHash', text),
+    targetHash: readInlineWord('targetHash', text),
+    telemetryHash: readInlineWord('telemetryHash', text),
+    proofEvidenceIds: readInlineList(text, 'proofEvidence', 'proofEvidenceId', 'proofEvidenceIds', 'proof'),
+    summary: readInlineQuoted('summary', text),
+    sourceSpan: authoredLine.sourceSpan,
+    authoredSourceSpan: authoredLine.sourceSpan,
+    metadata: { authoredConversionBlockId: plan.id, autoMergeClaim: false, semanticEquivalenceClaim: false }
+  })];
+}
+
 function addRuntimeRequirement(plan, name, text) {
   plan.runtimeRequirements = [...(plan.runtimeRequirements ?? []), cleanRecord({
     id: idFrom(text, `runtime_requirement_${name}`),

package/dist/index.d.ts

@@ -22,11 +22,14 @@ export interface FrontierSourceSyntaxDiagnostic {
   readonly location: FrontierSourcePosition;
 }
 export interface FrontierSourceChildSyntaxRecord {
-  readonly kind: 'conversionConstraint';
+  readonly kind: 'conversionConstraint' | 'conversionEvidence' | 'conversionRuntimeRequirement' | 'conversionDialect' | 'conversionExtern' | 'conversionUnknownRow' | string;
+  readonly rowKind?: string;
+  readonly normalizedRowKind?: string;
   readonly name: string;
   readonly id?: string;
   readonly family?: string;
   readonly role?: string;
+  readonly reason?: string;
   readonly header: string;
   readonly startOffset: number;
   readonly endOffset: number;
@@ -60,6 +63,10 @@ export interface FrontierUnknownSourceBlockSyntaxRecord extends FrontierSourceBl
   readonly recognized: false;
   readonly reason: 'unsupported-top-level-block';
 }
+export interface FrontierUnknownSourceChildSyntaxRecord extends FrontierSourceChildSyntaxRecord {
+  readonly recognized: false;
+  readonly reason: string;
+}
 export interface FrontierSourceSyntaxReport {
   readonly kind: 'frontier.lang.sourceSyntaxReport';
   readonly version: 1;
@@ -68,10 +75,12 @@ export interface FrontierSourceSyntaxReport {
   readonly blocks: readonly FrontierSourceBlockSyntaxRecord[];
   readonly recognizedBlocks: readonly FrontierSourceBlockSyntaxRecord[];
   readonly unknownBlocks: readonly FrontierUnknownSourceBlockSyntaxRecord[];
+  readonly unknownChildren: readonly FrontierUnknownSourceChildSyntaxRecord[];
   readonly summary: {
     readonly blockCount: number;
     readonly recognizedBlockCount: number;
     readonly unknownBlockCount: number;
+    readonly unknownChildCount: number;
     readonly malformedBlockCount: number;
     readonly childCount: number;
     readonly recognizedChildCount: number;
@@ -79,6 +88,7 @@ export interface FrontierSourceSyntaxReport {
     readonly recognizedKinds: readonly string[];
     readonly recognizedChildKinds: readonly string[];
     readonly unknownKinds: readonly string[];
+    readonly unknownChildKinds: readonly string[];
     readonly failClosed: boolean;
     readonly unsupportedSyntax: boolean;
   };

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/metadata.js

@@ -2,6 +2,7 @@ import { mergeDialectRegistryBlocks } from './dialect-registry.js';
 import { mergeApplicationSurfaceBlocks } from './application-surface.js';
 import { mergeRuntimeCapabilityBlocks } from './runtime-capability.js';
 import { mergeTargetProjectionTargets } from './target-projection-aggregate.js';
+import { mergeConversionBlocks } from './conversion-metadata.js';
 
 const PROOF_GROUPS = ['contracts', 'refinements', 'invariants', 'termination', 'temporal', 'obligations', 'artifacts', 'assumptions'];
 const PARADIGM_GROUPS = [
@@ -61,24 +62,6 @@ function mergeOperationBlocks(blocks) {
   };
 }
 
-function mergeConversionBlocks(blocks) {
-  const plan = {
-    id: blocks.length === 1 ? blocks[0].id : 'universalConversionPlan:source',
-    targets: [...new Set(blocks.flatMap((block) => block.targets ?? []))],
-    metadata: { authoredConversionBlockIds: blocks.map((block) => block.id) }
-  };
-  for (const block of blocks) {
-    if (block.sourceLanguage && !plan.sourceLanguage) plan.sourceLanguage = block.sourceLanguage;
-    for (const [key, value] of Object.entries(block)) {
-      if (Array.isArray(value) && key !== 'targets') plan[key] = [...(plan[key] ?? []), ...value];
-      else if ((key === 'sourceRuntimes' || key === 'targetRuntimes') && value && typeof value === 'object') {
-        plan[key] = { ...(plan[key] ?? {}), ...value };
-      }
-    }
-  }
-  return plan;
-}
-
 function mergeConstraintSpaceBlocks(blocks) {
   return {
     id: blocks.length === 1 ? blocks[0].id : 'constraintSpaces:source',

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,35 +15,134 @@ 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)) {
     if (!line.text || line.text.startsWith('#')) continue;
+    const planField = /^(?:sourceLanguage|source|target|sourceRuntime|targetRuntime)\s+/.exec(line.text);
+    if (planField) continue;
+    const runtimeRequirement = /^(runtimeRequirement|requiredRuntime|requiresRuntime)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line.text);
+    if (runtimeRequirement) {
+      const [, rowKind, name, rest] = runtimeRequirement;
+      children.push(conversionChild(source, block, options, line, {
+        kind: 'conversionRuntimeRequirement',
+        rowKind,
+        normalizedRowKind: 'runtimeRequirement',
+        name,
+        id: idFrom(rest, `runtime_requirement_${name}`)
+      }));
+      continue;
+    }
+    const dialect = /^(dialect|extern)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line.text);
+    if (dialect) {
+      const [, rowKind, name, rest] = dialect;
+      children.push(conversionChild(source, block, options, line, {
+        kind: rowKind === 'extern' ? 'conversionExtern' : 'conversionDialect',
+        rowKind,
+        normalizedRowKind: rowKind,
+        name,
+        id: idFrom(rest, `${rowKind}_${name}`)
+      }));
+      continue;
+    }
+    const evidence = /^(evidence|proofEvidence)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line.text);
+    if (evidence) {
+      const [, rowKind, name, rest] = evidence;
+      children.push(conversionChild(source, block, options, line, {
+        kind: 'conversionEvidence',
+        rowKind,
+        normalizedRowKind: 'evidence',
+        name,
+        id: idFrom(rest, `conversion_evidence_${name}`)
+      }));
+      continue;
+    }
     const constraint = /^constraint\s+([A-Za-z_$][\w$-]*)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line.text);
-    if (!constraint) continue;
+    if (!constraint) {
+      const row = /^([A-Za-z_$][\w$-]*)\b/.exec(line.text);
+      children.push(conversionChild(source, block, options, line, {
+        kind: 'conversionUnknownRow',
+        rowKind: row?.[1],
+        normalizedRowKind: 'unknown',
+        name: row?.[1] ?? 'unknown',
+        id: `conversion_unknown_${safeId(row?.[1] ?? 'row')}_${line.startOffset}`,
+        reason: 'unsupported-conversion-row',
+        recognized: false
+      }));
+      continue;
+    }
     const [, family, name, rest] = constraint;
-    children.push(cleanRecord({
+    children.push(conversionChild(source, block, options, line, {
       kind: 'conversionConstraint',
       name,
       id: idFrom(rest, `conversion_constraint_${family}_${name}`),
       family,
       role: readInlineWord('role', rest) ?? 'source',
-      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: true
     }));
   }
   return children;
 }
 
+function conversionChild(source, block, options, line, child) {
+  return cleanRecord({
+    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: true,
+    ...child
+  });
+}
+
 function readGenericRowSyntaxChildren(source, block, options, config) {
   const children = [];
   const rowPattern = new RegExp('^([A-Za-z_$][\\w$-]*)\\s+' + ROW_NAME_PATTERN + '(.*)$');
@@ -74,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;
@@ -90,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

@@ -23,6 +23,10 @@ export function inspectFrontierSourceSyntax(source, options = {}) {
     reason: 'unsupported-top-level-block'
   }));
   const childRecords = blocks.flatMap((block) => block.children ?? []);
+  const unknownChildren = childRecords.filter((child) => !child.recognized).map((child) => ({
+    ...child,
+    reason: child.reason ?? 'unsupported-child-syntax'
+  }));
   const malformedBlockOpenOffsets = new Set(blocks.filter((block) => block.malformed).map((block) => block.bodyStartOffset - 1));
   const diagnostics = [
     ...blocks.flatMap((block) => block.diagnostics ?? []),
@@ -38,7 +42,7 @@ export function inspectFrontierSourceSyntax(source, options = {}) {
     }))
   ];
   const malformedBlocks = blocks.filter((block) => block.malformed);
-  const failClosed = unknownBlocks.length > 0 || diagnostics.length > 0;
+  const failClosed = unknownBlocks.length > 0 || unknownChildren.length > 0 || diagnostics.length > 0;
   return {
     kind: 'frontier.lang.sourceSyntaxReport',
     version: 1,
@@ -47,10 +51,12 @@ export function inspectFrontierSourceSyntax(source, options = {}) {
     blocks,
     recognizedBlocks,
     unknownBlocks,
+    unknownChildren,
     summary: {
       blockCount: blocks.length,
       recognizedBlockCount: recognizedBlocks.length,
       unknownBlockCount: unknownBlocks.length,
+      unknownChildCount: unknownChildren.length,
       malformedBlockCount: malformedBlocks.length,
       childCount: childRecords.length,
       recognizedChildCount: childRecords.filter((child) => child.recognized).length,
@@ -58,8 +64,9 @@ export function inspectFrontierSourceSyntax(source, options = {}) {
       recognizedKinds: unique(recognizedBlocks.map((block) => block.kind)),
       recognizedChildKinds: unique(childRecords.filter((child) => child.recognized).map((child) => child.kind)),
       unknownKinds: unique(unknownBlocks.map((block) => block.kind)),
+      unknownChildKinds: unique(unknownChildren.map((child) => child.rowKind ?? child.kind)),
       failClosed,
-      unsupportedSyntax: unknownBlocks.length > 0
+      unsupportedSyntax: unknownBlocks.length > 0 || unknownChildren.length > 0
     },
     diagnostics,
     metadata: {
@@ -84,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;
@@ -94,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.39",
+  "version": "0.3.41",
   "description": "Parser for the first Frontier Lang .frontier syntax slice.",
   "type": "module",
   "main": "./dist/index.js",
@@ -22,7 +22,7 @@
   ],
   "scripts": {
     "build": "node scripts/build.mjs",
-    "test": "npm run build && node test/smoke.mjs && node test/target-projection-aggregate-smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
+    "test": "npm run build && node test/smoke.mjs && node test/target-projection-aggregate-smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/conversion-evidence-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
     "typecheck": "node ./node_modules/typescript/bin/tsc --noEmit -p test/tsconfig.json",
     "fuzz": "npm run build && node fuzz/smoke.mjs",
     "bench": "npm run build && node bench/smoke.mjs",