@shapeshift-labs/frontier-lang-parser 0.3.19 → 0.3.20

package/README.md

@@ -243,6 +243,34 @@ decisionGraph TodoAdmission @id("decision_graph_todo") {
 
 The parser projects these rows into `metadata.decisionGraph`. Decision graph records are normalized by the kernel helpers, so authored files can describe why a merge is admissible without embedding raw JSON. This is intentionally evidence-first: a safe merge can be represented as a graph of changes, gates, evidence, and decisions, while missing proof can remain explicit as blocked or review-required records.
 
+## Authored resource graph syntax
+
+`.frontier` files can carry semantic resource graph evidence directly in `resourceGraph` or `semanticResourceGraph` blocks. These blocks make ownership, aliases, loans, moves, drops, lifetimes, unsafe boundaries, conflicts, and proof obligations explicit for translation and semantic merge admission.
+
+```frontier
+resourceGraph TodoResources @id("resource_graph_todo") {
+  sourceLanguage javascript
+  sourcePath src/todo.ts
+  sourceHash sha256:example
+  evidence artifact_todo_title_probe
+  resource todos @id("resource_todos") kind collection owner owner_todo_store
+  owner todoStore @id("owner_todo_store") kind store
+  lifetime request @id("life_request") kind lexical startLine 1 endLine 80
+  loan readTodos @id("loan_read_todos") resource resource_todos owner owner_todo_store lifetime life_request mode shared access read
+  alias todosAlias @id("alias_todos") resource resource_todos owner owner_todo_store alias alias:todos kind local
+  move todoMove @id("move_todos") resource resource_todos fromOwner owner_todo_store toOwner owner_worker kind transfer
+  drop todoDrop @id("drop_todos") resource resource_todos owner owner_worker lifetime life_request kind lexical-drop order 1
+  escape todoEscape @id("escape_todos") resource resource_todos loan loan_read_todos lifetime life_request kind returned-borrow status needs-proof
+  outlives requestModule @id("life_request_outlives_module") from life_module to life_request kind contains
+  borrow readScope @id("borrow_scope_todos") resource resource_todos lifetime life_request kind shared-borrow constraint shared|read-only
+  unsafe ffiBoundary @id("unsafe_todos_ffi") resource resource_todos kind ffi proofStatus missing
+  conflict aliasConflict @id("conflict_todos_alias") resource resource_todos loan loan_read_todos alias alias_todos reasonCode exclusive-resource-alias-overlap-requires-proof status open severity error
+  proof aliasProof @id("proof_obligation_alias") resource resource_todos conflict conflict_todos_alias kind alias-safety status open statement "Prove the alias cannot mutate during the shared loan."
+}
+```
+
+The parser projects these rows into `metadata.semanticResourceGraphs`. Resource graphs are evidence, not proof: generated claims for borrow-checker soundness, alias safety, lifetime soundness, semantic equivalence, and auto-merge stay false. Compiler conversion routes can use these authored graphs as source-side resource, ownership, lifetime, and borrow-checker evidence while still requiring target proof before admission.
+
 ## Authored conversion syntax
 
 `.frontier` files can carry universal conversion evidence directly in `conversion` or `universalConversionPlan` blocks. The parser projects these records into `metadata.universalConversionPlan` for the compiler facade and downstream semantic merge tooling.

package/dist/index.js

@@ -6,6 +6,7 @@ import { createParsedMetadata } from './metadata.js';
 import { parseSemanticOperationsBlock } from './operations.js';
 import { parseParadigmBlock } from './paradigm.js';
 import { parseProofBlock } from './proof.js';
+import { parseResourceGraphBlock } from './resource-graph.js';
 import { parseNativeSourceBlock } from './source-evidence.js';
 import { parseViewBlock } from './view.js';
 
@@ -17,6 +18,7 @@ export function parseFrontierSource(source, options = {}) {
   const conversionBlocks = [];
   const constraintSpaceBlocks = [];
   const decisionGraphBlocks = [];
+  const resourceGraphBlocks = [];
   const nativeSourceBlocks = [];
   const documentId = options.id ?? readId(source) ?? 'mod_frontier';
   const documentName = options.name ?? readName(source) ?? 'FrontierModule';
@@ -43,8 +45,9 @@ export function parseFrontierSource(source, options = {}) {
     if (block.kind === 'conversion' || block.kind === 'universalConversionPlan') conversionBlocks.push(parseConversionBlock(block));
     if (block.kind === 'constraintSpace' || block.kind === 'possibilitySpace') constraintSpaceBlocks.push(parseConstraintSpaceBlock(block));
     if (block.kind === 'decisionGraph' || block.kind === 'admissionGraph') decisionGraphBlocks.push(parseDecisionGraphBlock(block));
+    if (block.kind === 'resourceGraph' || block.kind === 'semanticResourceGraph') resourceGraphBlocks.push(parseResourceGraphBlock(block));
   }
-  const metadata = createParsedMetadata({ proofBlocks, paradigmBlocks, operationBlocks, conversionBlocks, constraintSpaceBlocks, decisionGraphBlocks, nativeSourceBlocks });
+  const metadata = createParsedMetadata({ proofBlocks, paradigmBlocks, operationBlocks, conversionBlocks, constraintSpaceBlocks, decisionGraphBlocks, resourceGraphBlocks, nativeSourceBlocks });
   return createDocument({ id: documentId, name: documentName, nodes, ...(metadata ? { metadata } : {}) });
 }
 
@@ -54,7 +57,7 @@ function readName(source) { return /module\s+([A-Za-z_$][\w$]*)/.exec(source)?.[
 function readId(source) { return /module\s+[A-Za-z_$][\w$]*\s+@id\(\s*["']([^"']+)["']\s*\)/.exec(source)?.[1]; }
 function readBlocks(source) {
   const blocks = [];
-  const header = /\b(entity|state|action|view|migration|capability|effect|type|extern|lattice|nativeSource|target|proof|paradigm|paradigmSemantics|operations|semanticOperations|conversion|universalConversionPlan|constraintSpace|possibilitySpace|decisionGraph|admissionGraph)\s+([^{}]+)\{/g;
+  const header = /\b(entity|state|action|view|migration|capability|effect|type|extern|lattice|nativeSource|target|proof|paradigm|paradigmSemantics|operations|semanticOperations|conversion|universalConversionPlan|constraintSpace|possibilitySpace|decisionGraph|admissionGraph|resourceGraph|semanticResourceGraph)\s+([^{}]+)\{/g;
   let match;
   while ((match = header.exec(source))) {
     let depth = 1; let index = header.lastIndex;

package/dist/metadata.js

@@ -21,7 +21,7 @@ const PARADIGM_GROUPS = [
   'loweringRecords'
 ];
 
-export function createParsedMetadata({ proofBlocks = [], paradigmBlocks = [], operationBlocks = [], conversionBlocks = [], constraintSpaceBlocks = [], decisionGraphBlocks = [], nativeSourceBlocks = [] } = {}) {
+export function createParsedMetadata({ proofBlocks = [], paradigmBlocks = [], operationBlocks = [], conversionBlocks = [], constraintSpaceBlocks = [], decisionGraphBlocks = [], resourceGraphBlocks = [], nativeSourceBlocks = [] } = {}) {
   const metadata = {};
   if (proofBlocks.length) metadata.proof = mergeProofBlocks(proofBlocks);
   if (paradigmBlocks.length) metadata.paradigmSemantics = mergeParadigmBlocks(paradigmBlocks);
@@ -29,6 +29,7 @@ export function createParsedMetadata({ proofBlocks = [], paradigmBlocks = [], op
   if (conversionBlocks.length) metadata.universalConversionPlan = mergeConversionBlocks(conversionBlocks);
   if (constraintSpaceBlocks.length) metadata.constraintSpaces = mergeConstraintSpaceBlocks(constraintSpaceBlocks);
   if (decisionGraphBlocks.length) metadata.decisionGraph = mergeDecisionGraphBlocks(decisionGraphBlocks);
+  if (resourceGraphBlocks.length) metadata.semanticResourceGraphs = mergeResourceGraphBlocks(resourceGraphBlocks);
   if (nativeSourceBlocks.some((block) => block.sourceMaps.length || block.mergeCandidates.length || block.evidence.length)) {
     metadata.universalAst = mergeNativeSourceBlocks(nativeSourceBlocks);
   }
@@ -152,6 +153,51 @@ function mergeDecisionGraphBlocks(blocks) {
   };
 }
 
+function mergeResourceGraphBlocks(blocks) {
+  const graphs = blocks.map((block) => block.graph).filter(Boolean);
+  const records = blocks.flatMap((block) => block.records ?? []);
+  return {
+    id: blocks.length === 1 ? blocks[0].id : 'semanticResourceGraphs:source',
+    graphs,
+    resourceGraphs: graphs,
+    records,
+    graphIds: ids(graphs),
+    recordIds: ids(records),
+    resourceIds: blocks.flatMap((block) => ids(block.graph?.resources)),
+    ownerIds: blocks.flatMap((block) => ids(block.graph?.owners)),
+    loanIds: blocks.flatMap((block) => ids(block.graph?.loans)),
+    aliasIds: blocks.flatMap((block) => ids(block.graph?.aliases)),
+    moveIds: blocks.flatMap((block) => ids(block.graph?.moves)),
+    dropIds: blocks.flatMap((block) => ids(block.graph?.drops)),
+    escapeIds: blocks.flatMap((block) => ids(block.graph?.escapes)),
+    lifetimeRegionIds: blocks.flatMap((block) => ids(block.graph?.lifetimeRegions)),
+    lifetimeRelationIds: blocks.flatMap((block) => ids(block.graph?.lifetimeRelations)),
+    borrowScopeIds: blocks.flatMap((block) => ids(block.graph?.borrowScopes)),
+    unsafeBoundaryIds: blocks.flatMap((block) => ids(block.graph?.unsafeBoundaries)),
+    conflictIds: blocks.flatMap((block) => ids(block.graph?.conflicts)),
+    proofObligationIds: blocks.flatMap((block) => ids(block.graph?.proofObligations)),
+    summary: {
+      graphCount: blocks.length,
+      recordCount: records.length,
+      resourceCount: sum(blocks, 'resources'),
+      ownerCount: sum(blocks, 'owners'),
+      loanCount: sum(blocks, 'loans'),
+      aliasCount: sum(blocks, 'aliases'),
+      moveCount: sum(blocks, 'moves'),
+      dropCount: sum(blocks, 'drops'),
+      escapeCount: sum(blocks, 'escapes'),
+      lifetimeRegionCount: sum(blocks, 'lifetimeRegions'),
+      lifetimeRelationCount: sum(blocks, 'lifetimeRelations'),
+      borrowScopeCount: sum(blocks, 'borrowScopes'),
+      unsafeBoundaryCount: sum(blocks, 'unsafeBoundaries'),
+      conflictCount: sum(blocks, 'conflicts'),
+      proofObligationCount: sum(blocks, 'proofObligations'),
+      unsafeBoundariesWithoutProof: sum(blocks, 'unsafeBoundariesWithoutProof')
+    },
+    metadata: { authoredResourceGraphBlockIds: blocks.map((block) => block.id) }
+  };
+}
+
 function ids(records = []) {
   return records.map((record) => record?.id).filter(Boolean);
 }

package/dist/resource-graph.js

@@ -0,0 +1,208 @@
+const GROUPS = {
+  resource: 'resources',
+  owner: 'owners',
+  loan: 'loans',
+  alias: 'aliases',
+  move: 'moves',
+  drop: 'drops',
+  escape: 'escapes',
+  lifetimeRegion: 'lifetimeRegions',
+  lifetimeRelation: 'lifetimeRelations',
+  borrowScope: 'borrowScopes',
+  unsafeBoundary: 'unsafeBoundaries',
+  conflict: 'conflicts',
+  proofObligation: 'proofObligations'
+};
+
+export function parseResourceGraphBlock(block) {
+  const name = nameFrom(block.header);
+  const graph = {
+    kind: 'frontier.lang.semanticResourceGraph',
+    version: 1,
+    id: idFrom(block.header, `resource_graph_${name}`),
+    sourceLanguage: readLine('sourceLanguage', block.body) ?? readLine('language', block.body),
+    sourcePath: readLine('sourcePath', block.body) ?? readLine('path', block.body),
+    sourceHash: readLine('sourceHash', block.body),
+    status: readLine('status', block.body) ?? 'partial',
+    evidenceIds: readListLine('evidence', block.body) ?? readListLine('evidenceIds', block.body) ?? [],
+    resources: [],
+    owners: [],
+    loans: [],
+    aliases: [],
+    moves: [],
+    drops: [],
+    escapes: [],
+    lifetimeRegions: [],
+    lifetimeRelations: [],
+    outlives: [],
+    borrowScopes: [],
+    borrowScopeRegions: [],
+    unsafeBoundaries: [],
+    conflicts: [],
+    proofObligations: [],
+    claims: {
+      borrowCheckerClaim: false,
+      aliasSafetyClaim: false,
+      lifetimeSoundnessClaim: false,
+      semanticEquivalenceClaim: false,
+      autoMergeClaim: false
+    },
+    metadata: { name }
+  };
+
+  for (const rawLine of block.body.split('\n')) {
+    const line = rawLine.trim();
+    if (!line || line.startsWith('#') || isGraphPropertyLine(line)) continue;
+    const match = /^([A-Za-z_$][\w$-]*)\s+([A-Za-z_$][\w$-]*)(.*)$/.exec(line);
+    if (!match) continue;
+    const [, rowKind, rowName, rest] = match;
+    const normalized = normalizeRowKind(rowKind);
+    const record = parseResourceRecord(normalized, rowName, rest, graph);
+    const group = GROUPS[normalized];
+    if (record && group) graph[group].push(record);
+  }
+
+  graph.outlives = graph.lifetimeRelations;
+  graph.borrowScopeRegions = graph.borrowScopes;
+  graph.summary = summarize(graph);
+  graph.query = {
+    resourceIds: ids(graph.resources),
+    ownerIds: ids(graph.owners),
+    lifetimeRegionIds: ids(graph.lifetimeRegions),
+    sourcePaths: unique(allRecords(graph).map((record) => record.sourcePath)),
+    evidenceIds: unique([...graph.evidenceIds, ...allRecords(graph).flatMap((record) => record.evidenceIds ?? [])]),
+    blockerReasonCodes: unique(graph.conflicts.map((record) => record.reasonCode))
+  };
+
+  return {
+    id: graph.id,
+    graph,
+    records: allRecords(graph),
+    summary: {
+      graphCount: 1,
+      ...graph.summary
+    },
+    metadata: { name }
+  };
+}
+
+function parseResourceRecord(kind, name, text, graph) {
+  const common = commonRecord(kind, name, text, graph);
+  if (kind === 'resource') return cleanRecord({ ...common, resourceKind: readInlineWord('resourceKind', text) ?? readInlineWord('kind', text) ?? name, ownerId: readInlineWord('owner', text) ?? readInlineWord('ownerId', text), ownerName: readInlineWord('ownerName', text) });
+  if (kind === 'owner') return cleanRecord({ ...common, ownerKind: readInlineWord('ownerKind', text) ?? readInlineWord('kind', text) ?? 'owner' });
+  if (kind === 'loan') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), ownerId: readInlineWord('owner', text) ?? readInlineWord('ownerId', text), lifetimeRegionId: readInlineWord('lifetime', text) ?? readInlineWord('lifetimeRegion', text) ?? readInlineWord('lifetimeRegionId', text), mode: readInlineWord('mode', text) ?? 'unknown', access: readInlineWord('access', text) });
+  if (kind === 'alias') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), ownerId: readInlineWord('owner', text) ?? readInlineWord('ownerId', text), aliasId: readInlineWord('alias', text) ?? readInlineWord('aliasId', text), aliasKind: readInlineWord('aliasKind', text) ?? readInlineWord('kind', text) ?? 'alias' });
+  if (kind === 'move') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), fromOwnerId: readInlineWord('fromOwner', text) ?? readInlineWord('fromOwnerId', text), toOwnerId: readInlineWord('toOwner', text) ?? readInlineWord('toOwnerId', text), moveKind: readInlineWord('moveKind', text) ?? readInlineWord('kind', text) });
+  if (kind === 'drop') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), ownerId: readInlineWord('owner', text) ?? readInlineWord('ownerId', text), lifetimeRegionId: readInlineWord('lifetime', text) ?? readInlineWord('lifetimeRegion', text) ?? readInlineWord('lifetimeRegionId', text), dropKind: readInlineWord('dropKind', text) ?? readInlineWord('kind', text) ?? 'drop', line: readInlineNumber('line', text), order: readInlineNumber('order', text) });
+  if (kind === 'escape') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), ownerId: readInlineWord('owner', text) ?? readInlineWord('ownerId', text), lifetimeRegionId: readInlineWord('lifetime', text) ?? readInlineWord('lifetimeRegion', text) ?? readInlineWord('lifetimeRegionId', text), loanId: readInlineWord('loan', text) ?? readInlineWord('loanId', text), escapeKind: readInlineWord('escapeKind', text) ?? readInlineWord('kind', text) ?? 'escape', status: readInlineWord('status', text) ?? 'needs-proof' });
+  if (kind === 'lifetimeRegion') return cleanRecord({ ...common, lifetimeKind: readInlineWord('lifetimeKind', text) ?? readInlineWord('kind', text) ?? 'lexical', startLine: readInlineNumber('startLine', text), endLine: readInlineNumber('endLine', text) });
+  if (kind === 'lifetimeRelation') return cleanRecord({ ...common, relationKind: readInlineWord('relationKind', text) ?? readInlineWord('kind', text) ?? 'outlives', fromLifetimeId: readInlineWord('fromLifetime', text) ?? readInlineWord('fromLifetimeId', text) ?? readInlineWord('from', text), toLifetimeId: readInlineWord('toLifetime', text) ?? readInlineWord('toLifetimeId', text) ?? readInlineWord('to', text), from: readInlineWord('from', text), to: readInlineWord('to', text) });
+  if (kind === 'borrowScope') return cleanRecord({ ...common, scopeKind: readInlineWord('scopeKind', text) ?? readInlineWord('kind', text) ?? 'borrow-scope', constraintKind: readInlineWord('constraintKind', text), constraintKinds: readInlineList(text, 'constraint', 'constraints', 'constraintKind', 'constraintKinds') ?? [], ownershipKind: readInlineWord('ownershipKind', text), lifetimeKind: readInlineWord('lifetimeKind', text), controlFlowKind: readInlineWord('controlFlowKind', text), sourceControlFlowId: readInlineWord('sourceControlFlow', text) ?? readInlineWord('sourceControlFlowId', text), lifetimeRegionId: readInlineWord('lifetime', text) ?? readInlineWord('lifetimeRegion', text) ?? readInlineWord('lifetimeRegionId', text), resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text) });
+  if (kind === 'unsafeBoundary') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), unsafeBoundary: true, proofStatus: readInlineWord('proofStatus', text) ?? readInlineWord('status', text) ?? 'missing', kind: readInlineWord('kind', text) });
+  if (kind === 'conflict') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), ownerId: readInlineWord('owner', text) ?? readInlineWord('ownerId', text), loanId: readInlineWord('loan', text) ?? readInlineWord('loanId', text), aliasId: readInlineWord('alias', text) ?? readInlineWord('aliasId', text), unsafeBoundaryId: readInlineWord('unsafeBoundary', text) ?? readInlineWord('unsafeBoundaryId', text), reasonCode: readInlineWord('reasonCode', text), message: readInlineQuoted('message', text), status: readInlineWord('status', text) ?? 'open', severity: readInlineWord('severity', text) ?? 'error' });
+  if (kind === 'proofObligation') return cleanRecord({ ...common, resourceId: readInlineWord('resource', text) ?? readInlineWord('resourceId', text), conflictId: readInlineWord('conflict', text) ?? readInlineWord('conflictId', text), kind: readInlineWord('kind', text), status: readInlineWord('status', text) ?? 'open', statement: readInlineQuoted('statement', text) });
+  return undefined;
+}
+
+function commonRecord(kind, name, text, graph) {
+  return cleanRecord({
+    recordKind: recordKind(kind),
+    id: idFrom(text, `${recordPrefix(kind)}_${name}`),
+    name,
+    sourcePath: readInlineWord('sourcePath', text) ?? readInlineWord('path', text) ?? graph.sourcePath,
+    sourceHash: readInlineWord('sourceHash', text) ?? graph.sourceHash,
+    evidenceIds: readInlineList(text, 'evidence', 'evidenceIds') ?? graph.evidenceIds,
+    metadata: { authoredName: name }
+  });
+}
+
+function summarize(graph) {
+  return {
+    records: allRecords(graph).length,
+    resources: graph.resources.length,
+    owners: graph.owners.length,
+    loans: graph.loans.length,
+    aliases: graph.aliases.length,
+    moves: graph.moves.length,
+    drops: graph.drops.length,
+    escapes: graph.escapes.length,
+    lifetimeRegions: graph.lifetimeRegions.length,
+    lifetimeRelations: graph.lifetimeRelations.length,
+    borrowScopes: graph.borrowScopes.length,
+    unsafeBoundaries: graph.unsafeBoundaries.length,
+    conflicts: graph.conflicts.length,
+    proofObligations: graph.proofObligations.length,
+    unsafeBoundariesWithoutProof: graph.unsafeBoundaries.filter((record) => record.proofStatus !== 'passed').length,
+    reasonCodes: unique(graph.conflicts.map((record) => record.reasonCode))
+  };
+}
+
+function allRecords(graph) {
+  return [
+    ...graph.resources,
+    ...graph.owners,
+    ...graph.loans,
+    ...graph.aliases,
+    ...graph.moves,
+    ...graph.drops,
+    ...graph.escapes,
+    ...graph.lifetimeRegions,
+    ...graph.lifetimeRelations,
+    ...graph.borrowScopes,
+    ...graph.unsafeBoundaries,
+    ...graph.conflicts,
+    ...graph.proofObligations
+  ];
+}
+
+function normalizeRowKind(kind) {
+  if (kind === 'lifetime' || kind === 'life') return 'lifetimeRegion';
+  if (kind === 'outlives' || kind === 'lifetimeRelation' || kind === 'lifeRelation') return 'lifetimeRelation';
+  if (kind === 'borrow' || kind === 'borrowScope' || kind === 'borrowRegion') return 'borrowScope';
+  if (kind === 'unsafe' || kind === 'unsafeBoundary') return 'unsafeBoundary';
+  if (kind === 'proof' || kind === 'obligation' || kind === 'proofObligation') return 'proofObligation';
+  return kind;
+}
+
+function recordKind(kind) {
+  if (kind === 'lifetimeRegion') return 'lifetime-region';
+  if (kind === 'lifetimeRelation') return 'lifetime-relation';
+  if (kind === 'borrowScope') return 'borrow-scope';
+  if (kind === 'unsafeBoundary') return 'unsafe-boundary';
+  if (kind === 'proofObligation') return 'proof-obligation';
+  return kind;
+}
+
+function recordPrefix(kind) {
+  return recordKind(kind).replace(/-/g, '_');
+}
+
+function isGraphPropertyLine(line) {
+  return /^(sourceLanguage|language|sourcePath|path|sourceHash|status|evidence|evidenceIds)\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] ?? 'ResourceGraph'; }
+function readLine(label, body) { return new RegExp('^\\s*' + label + '\\s+([^\\n]+)', 'm').exec(body)?.[1]?.trim(); }
+function readListLine(label, body) {
+  const line = readLine(label, body);
+  return line ? line.split(/[|,]/).map((item) => item.trim()).filter(Boolean) : undefined;
+}
+function readInlineWord(label, text) { return new RegExp('(?:^|\\s)' + label + '\\s+([^\\s,]+)').exec(text)?.[1]?.trim(); }
+function readInlineQuoted(label, text) { return new RegExp("(?:^|\\s)" + label + "\\s+[\"']([^\"']+)[\"']").exec(text)?.[1]?.trim(); }
+function readInlineNumber(label, text) {
+  const value = readInlineWord(label, text);
+  return value === undefined ? undefined : Number(value);
+}
+function readInlineList(text, ...labels) {
+  for (const label of labels) {
+    const value = new RegExp('(?:^|\\s)' + label + '\\s+([^\\s]+)').exec(text)?.[1]?.trim();
+    if (value) return value.split(/[|,]/).map((item) => item.trim()).filter(Boolean);
+  }
+  return undefined;
+}
+function ids(records = []) { return records.map((record) => record?.id).filter(Boolean); }
+function unique(values = []) { return [...new Set(values.filter(Boolean))]; }
+function cleanRecord(record) {
+  return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined && (!Array.isArray(value) || value.length > 0)));
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.19",
+  "version": "0.3.20",
   "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",
+    "test": "npm run build && node test/smoke.mjs && node test/resource-graph-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",