@shapeshift-labs/frontier-lang-parser 0.3.63 → 0.3.65

package/dist/application-surface.js

@@ -1,4 +1,5 @@
 import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
+import { createRowIdentityTracker } from './row-identity.js';
 
 export function parseApplicationSurfaceBlock(block) {
   const name = nameFrom(block.header);
@@ -6,26 +7,32 @@ export function parseApplicationSurfaceBlock(block) {
   const role = readLine('role', block.body) ?? defaultRole(surfaceKind);
   const sourcePath = readLine('sourcePath', block.body) ?? readLine('path', block.body);
   const sourceHash = readLine('sourceHash', block.body);
-  const evidence = parseEvidenceRows(block.body);
+  const rowIdentity = createRowIdentityTracker();
+  const evidence = [];
   const records = [];
   const proofGaps = [];
   for (const rawLine of block.body.split('\n')) {
     const line = rawLine.trim();
     if (!line || line.startsWith('#') || isPropertyLine(line)) continue;
-    const match = /^(mount|provide|provides|required|requires|require|route|event|asset|gate|gap|proofGap)\s+([A-Za-z_$@/.*][\w$./@:*+-]*)(.*)$/.exec(line);
+    const match = /^(mount|provide|provides|required|requires|require|route|event|asset|gate|evidence|proofEvidence|gap|proofGap)\s+([A-Za-z_$@/.*][\w$./@:*+-]*)(.*)$/.exec(line);
     if (!match) continue;
     const [, rowKind, rowName, rest] = match;
+    if (rowKind === 'evidence' || rowKind === 'proofEvidence') {
+      rowIdentity.push(evidence, applicationEvidence(rowName, rest), { rowKind, normalizedRowKind: 'evidence', name: rowName });
+      continue;
+    }
     if (rowKind === 'gap' || rowKind === 'proofGap') {
-      proofGaps.push(applicationProofGap(rowName, rest));
+      rowIdentity.push(proofGaps, applicationProofGap(rowName, rest), { rowKind, normalizedRowKind: 'proofGap', name: rowName });
       continue;
     }
-    records.push(applicationRecord(normalizeRowKind(rowKind), rowName, rest, {
+    const normalizedRowKind = normalizeRowKind(rowKind);
+    rowIdentity.push(records, applicationRecord(normalizedRowKind, rowName, rest, {
       surfaceId: idFrom(block.header, `application_surface_${safeId(name)}`),
       surfaceName: name,
       role,
       sourcePath,
       sourceHash
-    }));
+    }), { rowKind, normalizedRowKind, name: rowName });
   }
   const allGaps = [...records.flatMap((record) => record.proofGaps ?? []), ...proofGaps];
   const tree = {
@@ -41,7 +48,7 @@ export function parseApplicationSurfaceBlock(block) {
     records,
     proofGaps: allGaps,
     evidence,
-    parser: { status: 'authored', errors: [] },
+    parser: { status: 'authored', errors: rowIdentity.errors },
     claims: applicationFalseClaims(),
     metadata: { authoredName: name, authoredBlockKind: block.kind }
   };
@@ -200,22 +207,15 @@ function applicationProofGap(name, text) {
   });
 }
 
-function parseEvidenceRows(body) {
-  const records = [];
-  for (const rawLine of body.split('\n')) {
-    const line = rawLine.trim();
-    const match = /^(?:evidence|proofEvidence)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
-    if (!match) continue;
-    records.push(cleanRecord({
-      id: idFrom(match[2], `evidence_${match[1]}`),
-      kind: readInlineWord('kind', match[2]) ?? 'note',
-      status: readInlineWord('status', match[2]) ?? 'unknown',
-      path: readInlineWord('path', match[2]),
-      summary: readInlineQuoted('summary', match[2]),
-      metadata: { name: match[1] }
-    }));
-  }
-  return records;
+function applicationEvidence(name, text) {
+  return cleanRecord({
+    id: idFrom(text, `evidence_${name}`),
+    kind: readInlineWord('kind', text) ?? 'note',
+    status: readInlineWord('status', text) ?? 'unknown',
+    path: readInlineWord('path', text),
+    summary: readInlineQuoted('summary', text),
+    metadata: { name }
+  });
 }
 
 function summarizeApplicationSurface(tree) {
@@ -280,7 +280,7 @@ function defaultRole(surfaceKind) {
 function count(records, kind) { return records.filter((record) => record.recordKind === kind).length; }
 function ids(records = []) { return records.map((record) => record?.id).filter(Boolean); }
 function idsByRecordKind(records = [], kind) { return ids(records.filter((record) => record?.recordKind === kind)); }
-function isPropertyLine(line) { return /^(role|host|hostId|sourcePath|path|sourceHash|evidence|proofEvidence)\s+/.test(line); }
+function isPropertyLine(line) { return /^(role|host|hostId|sourcePath|path|sourceHash)\s+/.test(line); }
 function idFrom(text, fallback) { return /@id\(\s*["']([^"']+)["']\s*\)/.exec(text)?.[1] ?? fallback; }
 function nameFrom(header) { return /^([A-Za-z_$][\w$-]*)/.exec(header)?.[1] ?? 'ApplicationSurface'; }
 function readLine(label, body) { return new RegExp('^\\s*' + label + '\\s+([^\\n]+)', 'm').exec(body)?.[1]?.trim(); }

package/dist/canvas-surface.js

@@ -1,28 +1,35 @@
 import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
+import { createRowIdentityTracker } from './row-identity.js';
 
 export function parseCanvasSurfaceBlock(block) {
   const name = nameFrom(block.header);
   const sourcePath = readLine('sourcePath', block.body) ?? readLine('path', block.body);
   const sourceHash = readLine('sourceHash', block.body);
-  const evidence = parseEvidenceRows(block.body);
+  const rowIdentity = createRowIdentityTracker();
+  const evidence = [];
   const records = [];
   const commandTraces = [];
   const proofGaps = [];
   for (const rawLine of block.body.split('\n')) {
     const line = rawLine.trim();
     if (!line || line.startsWith('#') || isPropertyLine(line)) continue;
-    const match = /^(element|command|state|stateWrite|trace|gap|proofGap)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
+    const match = /^(element|command|state|stateWrite|trace|evidence|proofEvidence|gap|proofGap)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
     if (!match) continue;
     const [, rowKind, rowName, rest] = match;
+    if (rowKind === 'evidence' || rowKind === 'proofEvidence') {
+      rowIdentity.push(evidence, canvasEvidence(rowName, rest), { rowKind, normalizedRowKind: 'evidence', name: rowName });
+      continue;
+    }
     if (rowKind === 'gap' || rowKind === 'proofGap') {
-      proofGaps.push(canvasProofGap(rowName, rest));
+      rowIdentity.push(proofGaps, canvasProofGap(rowName, rest), { rowKind, normalizedRowKind: 'proofGap', name: rowName });
       continue;
     }
     if (rowKind === 'trace') {
-      commandTraces.push(canvasTrace(rowName, rest, { sourcePath }));
+      rowIdentity.push(commandTraces, canvasTrace(rowName, rest, { sourcePath }), { rowKind, normalizedRowKind: 'trace', name: rowName });
       continue;
     }
-    records.push(canvasRecord(rowKind === 'stateWrite' ? 'state-write' : rowKind, rowName, rest, { sourcePath, sourceHash }));
+    const normalizedRowKind = rowKind === 'stateWrite' ? 'state-write' : rowKind;
+    rowIdentity.push(records, canvasRecord(normalizedRowKind, rowName, rest, { sourcePath, sourceHash }), { rowKind, normalizedRowKind, name: rowName });
   }
   const allGaps = [...records.flatMap((record) => record.proofGaps ?? []), ...proofGaps];
   const tree = {
@@ -36,7 +43,7 @@ export function parseCanvasSurfaceBlock(block) {
     commandTraces,
     proofGaps: allGaps,
     evidence,
-    parser: { status: 'authored', errors: [] },
+    parser: { status: 'authored', errors: rowIdentity.errors },
     claims: {
       autoMergeClaim: false,
       semanticEquivalenceClaim: false,
@@ -121,22 +128,15 @@ function canvasProofGap(name, text) {
   });
 }
 
-function parseEvidenceRows(body) {
-  const records = [];
-  for (const rawLine of body.split('\n')) {
-    const line = rawLine.trim();
-    const match = /^(?:evidence|proofEvidence)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
-    if (!match) continue;
-    records.push(cleanRecord({
-      id: idFrom(match[2], `evidence_${match[1]}`),
-      kind: readInlineWord('kind', match[2]) ?? 'note',
-      status: readInlineWord('status', match[2]) ?? 'unknown',
-      path: readInlineWord('path', match[2]),
-      summary: readInlineQuoted('summary', match[2]),
-      metadata: { name: match[1] }
-    }));
-  }
-  return records;
+function canvasEvidence(name, text) {
+  return cleanRecord({
+    id: idFrom(text, `evidence_${name}`),
+    kind: readInlineWord('kind', text) ?? 'note',
+    status: readInlineWord('status', text) ?? 'unknown',
+    path: readInlineWord('path', text),
+    summary: readInlineQuoted('summary', text),
+    metadata: { name }
+  });
 }
 
 function summarizeCanvasSurface(tree) {
@@ -173,7 +173,7 @@ function hashableRecord(record) {
 }
 
 function isPropertyLine(line) {
-  return /^(sourcePath|path|sourceHash|evidence|proofEvidence)\s+/.test(line);
+  return /^(sourcePath|path|sourceHash)\s+/.test(line);
 }
 
 function idFrom(text, fallback) { return /@id\(\s*["']([^"']+)["']\s*\)/.exec(text)?.[1] ?? fallback; }

package/dist/package-manifest.js

@@ -1,24 +1,30 @@
 import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
+import { createRowIdentityTracker } from './row-identity.js';
 
 export function parsePackageManifestBlock(block) {
   const name = nameFrom(block.header);
   const sourcePath = readLine('sourcePath', block.body) ?? readLine('path', block.body) ?? 'package.json';
   const sourceHash = readLine('sourceHash', block.body);
-  const evidence = parseEvidenceRows(block.body);
+  const rowIdentity = createRowIdentityTracker();
+  const evidence = [];
   const records = [];
   const proofGaps = [];
   for (const rawLine of block.body.split('\n')) {
     const line = rawLine.trim();
     if (!line || line.startsWith('#') || isPropertyLine(line)) continue;
-    const match = /^(metadata|dependency|script|export|gap|proofGap)\s+([A-Za-z_$.*@/][\w$./@*-]*)(.*)$/.exec(line);
+    const match = /^(metadata|dependency|script|export|evidence|proofEvidence|gap|proofGap)\s+([A-Za-z_$.*@/][\w$./@*-]*)(.*)$/.exec(line);
     if (!match) continue;
     const [, rowKind, rowName, rest] = match;
+    if (rowKind === 'evidence' || rowKind === 'proofEvidence') {
+      rowIdentity.push(evidence, packageEvidence(rowName, rest), { rowKind, normalizedRowKind: 'evidence', name: rowName });
+      continue;
+    }
     if (rowKind === 'gap' || rowKind === 'proofGap') {
-      proofGaps.push(packageProofGap(rowName, rest));
+      rowIdentity.push(proofGaps, packageProofGap(rowName, rest), { rowKind, normalizedRowKind: 'proofGap', name: rowName });
       continue;
     }
     const record = packageRecord(rowKind, rowName, rest, { sourcePath, sourceHash, evidence });
-    if (record) records.push(record);
+    rowIdentity.push(records, record, { rowKind, normalizedRowKind: rowKind, name: rowName });
   }
   const recordGaps = records.flatMap((record) => record.proofGaps ?? []);
   const allGaps = [...recordGaps, ...proofGaps];
@@ -33,7 +39,7 @@ export function parsePackageManifestBlock(block) {
     records,
     proofGaps: allGaps,
     evidence,
-    parser: { status: 'authored', errors: [] },
+    parser: { status: 'authored', errors: rowIdentity.errors },
     claims: {
       autoMergeClaim: false,
       semanticEquivalenceClaim: false,
@@ -99,22 +105,15 @@ function packageProofGap(name, text) {
   });
 }
 
-function parseEvidenceRows(body) {
-  const records = [];
-  for (const rawLine of body.split('\n')) {
-    const line = rawLine.trim();
-    const match = /^(?:evidence|proofEvidence)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
-    if (!match) continue;
-    records.push(cleanRecord({
-      id: idFrom(match[2], `evidence_${match[1]}`),
-      kind: readInlineWord('kind', match[2]) ?? 'note',
-      status: readInlineWord('status', match[2]) ?? 'unknown',
-      path: readInlineWord('path', match[2]),
-      summary: readInlineQuoted('summary', match[2]),
-      metadata: { name: match[1] }
-    }));
-  }
-  return records;
+function packageEvidence(name, text) {
+  return cleanRecord({
+    id: idFrom(text, `evidence_${name}`),
+    kind: readInlineWord('kind', text) ?? 'note',
+    status: readInlineWord('status', text) ?? 'unknown',
+    path: readInlineWord('path', text),
+    summary: readInlineQuoted('summary', text),
+    metadata: { name }
+  });
 }
 
 function summarizePackageManifest(tree) {
@@ -133,7 +132,7 @@ function hashableRecord(record) {
 }
 
 function isPropertyLine(line) {
-  return /^(sourcePath|path|sourceHash|packageManager|evidence|proofEvidence)\s+/.test(line);
+  return /^(sourcePath|path|sourceHash|packageManager)\s+/.test(line);
 }
 
 function idFrom(text, fallback) { return /@id\(\s*["']([^"']+)["']\s*\)/.exec(text)?.[1] ?? fallback; }

package/dist/resource-graph.js

@@ -1,3 +1,5 @@
+import { createRowIdentityTracker } from './row-identity.js';
+
 const GROUPS = {
   resource: 'resources',
   owner: 'owners',
@@ -16,6 +18,7 @@ const GROUPS = {
 
 export function parseResourceGraphBlock(block) {
   const name = nameFrom(block.header);
+  const rowIdentity = createRowIdentityTracker();
   const graph = {
     kind: 'frontier.lang.semanticResourceGraph',
     version: 1,
@@ -40,6 +43,7 @@ export function parseResourceGraphBlock(block) {
     unsafeBoundaries: [],
     conflicts: [],
     proofObligations: [],
+    parser: { status: 'authored', errors: rowIdentity.errors },
     claims: {
       borrowCheckerClaim: false,
       aliasSafetyClaim: false,
@@ -59,7 +63,7 @@ export function parseResourceGraphBlock(block) {
     const normalized = normalizeRowKind(rowKind);
     const record = parseResourceRecord(normalized, rowName, rest, graph);
     const group = GROUPS[normalized];
-    if (record && group) graph[group].push(record);
+    if (record && group) rowIdentity.push(graph[group], record, { rowKind, normalizedRowKind: normalized, name: rowName });
   }
 
   graph.outlives = graph.lifetimeRelations;
@@ -133,6 +137,7 @@ function summarize(graph) {
     conflicts: graph.conflicts.length,
     proofObligations: graph.proofObligations.length,
     unsafeBoundariesWithoutProof: graph.unsafeBoundaries.filter((record) => record.proofStatus !== 'passed').length,
+    parseErrors: graph.parser?.errors?.length ?? 0,
     reasonCodes: unique(graph.conflicts.map((record) => record.reasonCode))
   };
 }

package/dist/row-identity.js

@@ -0,0 +1,81 @@
+export function createRowIdentityTracker(options = {}) {
+  const seenIds = new Map();
+  const errors = [];
+  const code = options.code ?? 'duplicate-generic-row-id';
+
+  function accept(record, context = {}) {
+    if (!record?.id) return true;
+    const first = seenIds.get(record.id);
+    if (first) {
+      errors.push(duplicateRowIdError(record, context, first, code, errors.length, true));
+      return false;
+    }
+    seenIds.set(record.id, rowIdentity(record, context));
+    return true;
+  }
+
+  function preserve(record, context = {}) {
+    if (!record?.id) return true;
+    const first = seenIds.get(record.id);
+    if (first) {
+      errors.push(duplicateRowIdError(record, context, first, code, errors.length, false));
+      return true;
+    }
+    seenIds.set(record.id, rowIdentity(record, context));
+    return true;
+  }
+
+  return {
+    errors,
+    accept,
+    preserve,
+    push(target, record, context = {}) {
+      if (record && accept(record, context)) target.push(record);
+      return record;
+    }
+  };
+}
+
+function duplicateRowIdError(record, context, first, code, index, suppressed) {
+  const current = rowIdentity(record, context);
+  return cleanRecord({
+    id: `parser_error_${safeId(code)}_${safeId(record.id)}_${index}`,
+    code,
+    reason: code,
+    severity: 'error',
+    failClosed: true,
+    action: suppressed ? 'ignored-duplicate-row' : 'preserved-duplicate-row',
+    disposition: context.disposition,
+    suppressed,
+    rowId: record.id,
+    nodeId: record.id,
+    rowKind: current.rowKind,
+    normalizedRowKind: current.normalizedRowKind,
+    name: current.name,
+    sourceSpan: current.sourceSpan,
+    firstRowKind: first.rowKind,
+    firstNormalizedRowKind: first.normalizedRowKind,
+    firstName: first.name,
+    firstSourceSpan: first.sourceSpan,
+    message: suppressed
+      ? `Duplicate authored row id "${record.id}" was ignored.`
+      : `Duplicate authored row id "${record.id}" was preserved.`
+  });
+}
+
+function rowIdentity(record, context = {}) {
+  return cleanRecord({
+    rowKind: context.rowKind ?? record.rowKind ?? record.recordKind ?? record.kind,
+    normalizedRowKind: context.normalizedRowKind ?? record.normalizedRowKind ?? record.recordKind ?? record.kind,
+    name: context.name ?? record.name,
+    sourceSpan: context.sourceSpan ?? record.sourceSpan
+  });
+}
+
+function cleanRecord(record) {
+  return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined));
+}
+
+function safeId(value) {
+  return String(value ?? 'unknown').replace(/[^A-Za-z0-9_$-]+/g, '_');
+}

package/dist/runtime-capability-records.js

@@ -9,7 +9,8 @@ export function summarizeRuntimeCapabilities(matrix) {
     capabilityCount: matrix.hostProfiles.reduce((total, profile) => total + Object.keys(profile.capabilities ?? {}).length, 0),
     runtimeRequirementCount: matrix.runtimeRequirements.length,
     evidenceCount: matrix.evidence.length,
-    proofGapCount: matrix.proofGaps.length
+    proofGapCount: matrix.proofGaps.length,
+    parseErrors: matrix.parser?.errors?.length ?? 0
   };
 }
 

package/dist/runtime-capability.js

@@ -1,4 +1,5 @@
 import { hashSemanticValue } from '@shapeshift-labs/frontier-lang-kernel';
+import { createRowIdentityTracker } from './row-identity.js';
 import {
   cleanRecord,
   hostIds,
@@ -21,6 +22,7 @@ import {
 
 export function parseRuntimeCapabilityBlock(block) {
   const name = nameFrom(block.header);
+  const rowIdentity = createRowIdentityTracker();
   const matrix = {
     kind: 'frontier.lang.authoredRuntimeCapabilityMatrixInput',
     version: 1,
@@ -34,6 +36,7 @@ export function parseRuntimeCapabilityBlock(block) {
     runtimeRequirements: [],
     evidence: [],
     proofGaps: [],
+    parser: { status: 'authored', errors: rowIdentity.errors },
     claims: runtimeFalseClaims(),
     metadata: { authoredName: name, authoredBlockKind: block.kind }
   };
@@ -46,26 +49,35 @@ export function parseRuntimeCapabilityBlock(block) {
     if (!match) continue;
     const [, rowKind, rowName, rest] = match;
     if (rowKind === 'gap' || rowKind === 'proofGap') {
-      matrix.proofGaps.push(runtimeProofGap(rowName, rest));
+      rowIdentity.push(matrix.proofGaps, runtimeProofGap(rowName, rest), { rowKind, normalizedRowKind: 'proofGap', name: rowName });
       continue;
     }
     if (rowKind === 'evidence' || rowKind === 'proofEvidence') {
-      matrix.evidence.push(runtimeEvidence(rowName, rest));
+      rowIdentity.push(matrix.evidence, runtimeEvidence(rowName, rest), { rowKind, normalizedRowKind: 'evidence', name: rowName });
       continue;
     }
     if (rowKind === 'requirement' || rowKind === 'runtimeRequirement' || rowKind === 'requiredRuntime') {
-      matrix.runtimeRequirements.push(runtimeRequirement(rowName, rest));
+      rowIdentity.push(matrix.runtimeRequirements, runtimeRequirement(rowName, rest), { rowKind, normalizedRowKind: 'runtimeRequirement', name: rowName });
       continue;
     }
     if (rowKind === 'capability' || rowKind === 'hostCapability') {
-      attachCapability(hostMap, matrix, rowName, rest);
+      const capabilityRecord = runtimeHostCapability(rowName, rest);
+      if (capabilityRecord && rowIdentity.accept(capabilityRecord, { rowKind, normalizedRowKind: 'hostCapability', name: rowName })) {
+        attachCapability(hostMap, matrix, capabilityRecord, rest);
+      }
       continue;
     }
     if (rowKind === 'hostBinding' || rowKind === 'binding') {
-      matrix.hostBindings.push(runtimeHostBinding(rowName, rest));
+      rowIdentity.push(matrix.hostBindings, runtimeHostBinding(rowName, rest), { rowKind, normalizedRowKind: 'hostBinding', name: rowName });
       continue;
     }
     const profile = runtimeHostProfile(rowKind, rowName, rest);
+    rowIdentity.preserve(profile, {
+      rowKind,
+      normalizedRowKind: 'hostProfile',
+      name: rowName,
+      disposition: 'preserved-runtime-host-profile-upsert'
+    });
     upsertHost(hostMap, matrix, profile, rowKind);
   }
 
@@ -115,6 +127,7 @@ export function mergeRuntimeCapabilityBlocks(blocks) {
   const runtimeRequirements = uniqueRecords(blocks.flatMap((block) => block.runtimeRequirements ?? []));
   const evidence = uniqueRecords(blocks.flatMap((block) => block.evidence ?? []));
   const proofGaps = uniqueRecords(blocks.flatMap((block) => block.proofGaps ?? []));
+  const parser = { status: 'authored', errors: blocks.flatMap((block) => block.parser?.errors ?? []) };
   return {
     kind: 'frontier.lang.authoredRuntimeCapabilityMatrixInput',
     version: 1,
@@ -129,6 +142,7 @@ export function mergeRuntimeCapabilityBlocks(blocks) {
     runtimeRequirements,
     evidence,
     proofGaps,
+    parser,
     hostProfileIds: ids(hostProfiles),
     sourceHostIds: hostIds(sourceHosts),
     targetHostIds: hostIds(targetHosts),
@@ -137,7 +151,7 @@ export function mergeRuntimeCapabilityBlocks(blocks) {
     runtimeRequirementIds: ids(runtimeRequirements),
     evidenceIds: ids(evidence),
     proofGapCodes: [...new Set(proofGaps.map((gap) => gap.code).filter(Boolean))],
-    summary: summarizeRuntimeCapabilities({ hostProfiles, sourceHosts, targetHosts, hostCapabilities, hostBindings, runtimeRequirements, evidence, proofGaps }),
+    summary: summarizeRuntimeCapabilities({ hostProfiles, sourceHosts, targetHosts, hostCapabilities, hostBindings, runtimeRequirements, evidence, proofGaps, parser }),
     claims: runtimeFalseClaims(),
     metadata: { authoredRuntimeCapabilityBlockIds: ids(blocks) }
   };
@@ -177,13 +191,32 @@ function upsertHost(hostMap, matrix, profile, rowKind) {
   if (rowKind === 'targetHost' || merged.role === 'target') matrix.targetHosts.push(merged.id);
 }
 
-function attachCapability(hostMap, matrix, name, text) {
-  const hostId = readInlineWord('host', text) ?? readInlineWord('hostId', text) ?? readInlineWord('sourceHost', text) ?? readInlineWord('targetHost', text);
-  if (!hostId) return;
+function attachCapability(hostMap, matrix, capabilityRecord, text) {
+  const hostId = capabilityRecord.hostId;
   const profile = hostMap.get(hostId) ?? runtimeHostProfile('host', hostId, '');
+  const capability = capabilityRecord.capability;
+  const normalized = cleanRecord({
+    kind: capability,
+    support: capabilityRecord.support,
+    binding: capabilityRecord.binding ?? `${hostId}.${capability}`,
+    notes: readInlineList(text, 'note', 'notes'),
+    evidenceIds: capabilityRecord.evidenceIds,
+    sourcePath: capabilityRecord.sourcePath,
+    sourceHash: capabilityRecord.sourceHash
+  });
+  profile.capabilities = { ...(profile.capabilities ?? {}), [capability]: normalized };
+  hostMap.set(hostId, profile);
+  matrix.hostCapabilities.push(capabilityRecord);
+  if (readInlineFlag('source', text) || readInlineWord('role', text) === 'source') matrix.sourceHosts.push(hostId);
+  if (readInlineFlag('target', text) || readInlineWord('role', text) === 'target') matrix.targetHosts.push(hostId);
+}
+
+function runtimeHostCapability(name, text) {
+  const hostId = readInlineWord('host', text) ?? readInlineWord('hostId', text) ?? readInlineWord('sourceHost', text) ?? readInlineWord('targetHost', text);
+  if (!hostId) return undefined;
   const capability = readInlineWord('capability', text) ?? readInlineWord('kind', text) ?? name;
   const bindingId = readInlineWord('bindingId', text) ?? readInlineWord('binding', text);
-  const capabilityRecord = cleanRecord({
+  return cleanRecord({
     kind: 'frontier.lang.runtimeCapability.hostCapability',
     id: idFrom(text, `runtime_capability_${safeId(hostId)}_${safeId(capability)}`),
     name,
@@ -204,20 +237,6 @@ function attachCapability(hostMap, matrix, name, text) {
     failClosed: true,
     claims: runtimeFalseClaims()
   });
-  const normalized = cleanRecord({
-    kind: capability,
-    support: capabilityRecord.support,
-    binding: capabilityRecord.binding ?? `${hostId}.${capability}`,
-    notes: readInlineList(text, 'note', 'notes'),
-    evidenceIds: capabilityRecord.evidenceIds,
-    sourcePath: capabilityRecord.sourcePath,
-    sourceHash: capabilityRecord.sourceHash
-  });
-  profile.capabilities = { ...(profile.capabilities ?? {}), [capability]: normalized };
-  hostMap.set(hostId, profile);
-  matrix.hostCapabilities.push(capabilityRecord);
-  if (readInlineFlag('source', text) || readInlineWord('role', text) === 'source') matrix.sourceHosts.push(hostId);
-  if (readInlineFlag('target', text) || readInlineWord('role', text) === 'target') matrix.targetHosts.push(hostId);
 }
 
 function runtimeHostBinding(name, text) {

package/dist/source-syntax-children.js

@@ -222,6 +222,7 @@ function conversionChild(source, block, options, line, child) {
 
 function readGenericRowSyntaxChildren(source, block, options, config) {
   const children = [];
+  const seenIds = new Set();
   const rowPattern = new RegExp('^([A-Za-z_$][\\w$-]*)\\s+' + ROW_NAME_PATTERN + '(.*)$');
   for (const line of readBodyLines(source, block)) {
     if (!line.text || line.text.startsWith('#')) continue;
@@ -230,12 +231,22 @@ function readGenericRowSyntaxChildren(source, block, options, config) {
     const [, rowKind, name, rest] = row;
     if (!config.rowKinds.has(rowKind)) continue;
     const normalizedRowKind = config.normalize?.(rowKind) ?? rowKind;
+    const id = idFrom(rest, `${config.idPrefix}_${safeId(normalizedRowKind)}_${safeId(name)}`);
+    let recognized = true;
+    let reason;
+    if (seenIds.has(id)) {
+      recognized = false;
+      reason = 'duplicate-generic-row-id';
+    }
+    if (recognized) {
+      seenIds.add(id);
+    }
     children.push(cleanRecord({
       kind: config.childKind,
       rowKind,
       normalizedRowKind,
       name,
-      id: idFrom(rest, `${config.idPrefix}_${safeId(normalizedRowKind)}_${safeId(name)}`),
+      id,
       header: line.text,
       startOffset: line.startOffset,
       endOffset: line.endOffset,
@@ -246,7 +257,8 @@ function readGenericRowSyntaxChildren(source, block, options, config) {
       moduleId: block.moduleId,
       moduleName: block.moduleName,
       sourceSpan: sourceSpan(source, block, line.startOffset, line.endOffset, options),
-      recognized: true
+      recognized,
+      reason
     }));
   }
   return children;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.63",
+  "version": "0.3.65",
   "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/member-identity-smoke.mjs && node test/type-variant-payload-smoke.mjs && node test/type-generic-ref-smoke.mjs && node test/type-parameter-constraints-smoke.mjs && node test/type-structural-expression-smoke.mjs && node test/action-body-smoke.mjs && node test/action-structured-literals-smoke.mjs && node test/action-return-smoke.mjs && node test/action-else-smoke.mjs && node test/action-match-smoke.mjs && node test/action-for-in-smoke.mjs && node test/action-repeat-smoke.mjs && node test/action-call-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",
+    "test": "npm run build && node test/smoke.mjs && node test/member-identity-smoke.mjs && node test/generic-row-parse-identity-smoke.mjs && node test/type-variant-payload-smoke.mjs && node test/type-generic-ref-smoke.mjs && node test/type-parameter-constraints-smoke.mjs && node test/type-structural-expression-smoke.mjs && node test/action-body-smoke.mjs && node test/action-structured-literals-smoke.mjs && node test/action-return-smoke.mjs && node test/action-else-smoke.mjs && node test/action-match-smoke.mjs && node test/action-for-in-smoke.mjs && node test/action-repeat-smoke.mjs && node test/action-call-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",