@shapeshift-labs/frontier-lang-parser 0.3.91 → 0.3.93

package/dist/source-syntax-row-config.js

@@ -1,6 +1,6 @@
 const appRows = words('role sourcePath path sourceHash host hostId mount provide provides required requires require route event asset gate gap proofGap evidence proofEvidence');
 const canvasRows = words('sourcePath path sourceHash element command state stateWrite trace gap proofGap evidence proofEvidence');
-const constraintRows = words('variable var constraint hard soft preference prefer collapse admission');
+const constraintRows = words('subject scope target variable var constraint hard soft preference prefer collapse admission');
 const dialectRows = words('language sourceLanguage sourcePath path sourceHash dialect record extern');
 const interlinguaRows = words('layer constraint constraintEdge edge obligation proofObligation proof lowering lower source sourceLift lift evidence');
 const machineRows = words('label directive register reg flag conditionFlag basicBlock block instruction inst instr op opcode operand arg memoryEffect memoryAccess load store atomic fence memory mem effect controlEdge edge branch call return ret interrupt irq exception proof proofObligation obligation gap proofGap evidence proofEvidence');
@@ -12,6 +12,7 @@ const gateAdmissionRows = words('gate evidence proofEvidence admission admission
 const resourceRows = words('sourceLanguage language sourcePath path sourceHash status evidence evidenceIds resource owner loan alias move drop escape lifetime lifetimeRegion life outlives lifetimeRelation lifeRelation borrow borrowScope borrowRegion unsafe unsafeBoundary memory memoryRegion region layout dataLayout pointer ptr address access memoryAccess atomic volatile abi abiBoundary callBoundary sync synchronization synchronisation synchronizationEdge synchronisationEdge happensBefore happens-before hb fence fenceEdge barrier barrierEdge trap traps undefined undefinedBehavior undefinedBehaviour ub conflict proof proofObligation obligation proofEvidence sourceMap sourcemap mapping sourceMapMapping missingEvidence');
 const targetRows = words('language targetLanguage sourceLanguage package packageName emitPath targetPath sourcePath path sourceHash targetHash runtime runtimeHost moduleFormat projection lowering lower layer adapter adapterId readiness disposition status evidence proofEvidence proof loss missingEvidence gap proofGap sourceMap sourcemap mapping sourceMapMapping');
 const nativeSourceRows = words('language sourceLanguage parser parserVersion sourcePath path sourceHash symbol frontierNodes frontierNode frontierNodeId frontierNodeIds loss evidence proofEvidence sourceMap sourcemap mapping sourceMapMapping mergeCandidate candidate');
+const paradigmRows = words('valueSemantics mutationModel effectModel ownership ownershipModel lifetime lifetimeModel bindingScope binding pattern dispatch typeModel moduleModel concurrency errorModel memoryModel evaluation evaluationModel metaprogramming interop typeConstraint memoryLocation effectRegion controlRegion logicProgram actorSystem stackEffect arrayShape numericKernel dataflowNetwork clockModel objectModel macroExpansion reflectionBoundary lowering loweringRecord');
 const coreFailClosed = (reason) => ({ failClosedUnknownRows: true, unknownRowReason: reason });
 
 export const ROW_SYNTAX_CONFIG = Object.freeze({
@@ -45,8 +46,8 @@ export const ROW_SYNTAX_CONFIG = Object.freeze({
   canvasGraph: rowConfig('canvasSurfaceRow', 'canvas_surface_row', canvasRows, normalizeCanvasSurfaceRow, coreFailClosed('unsupported-canvas-surface-row')),
   constraintSpace: rowConfig('constraintSpaceRow', 'constraint_space_row', constraintRows, normalizeConstraintSpaceRow, coreFailClosed('unsupported-constraint-space-row')),
   possibilitySpace: rowConfig('constraintSpaceRow', 'constraint_space_row', constraintRows, normalizeConstraintSpaceRow, coreFailClosed('unsupported-constraint-space-row')),
-  decisionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
-  admissionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
+  decisionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('graphKind kind scope scopeId root rootId status subject subjects node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
+  admissionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('graphKind kind scope scopeId root rootId status subject subjects node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow, coreFailClosed('unsupported-decision-graph-row')),
   gateEvidence: rowConfig('gateAdmissionEvidenceRow', 'gate_admission_evidence_row', gateAdmissionRows, normalizeGateAdmissionRow, coreFailClosed('unsupported-gate-admission-row')),
   admissionEvidence: rowConfig('gateAdmissionEvidenceRow', 'gate_admission_evidence_row', gateAdmissionRows, normalizeGateAdmissionRow, coreFailClosed('unsupported-gate-admission-row')),
   routeEvidence: rowConfig('gateAdmissionEvidenceRow', 'gate_admission_evidence_row', gateAdmissionRows, normalizeGateAdmissionRow, coreFailClosed('unsupported-gate-admission-row')),
@@ -54,8 +55,8 @@ export const ROW_SYNTAX_CONFIG = Object.freeze({
   semanticOperations: rowConfig('semanticOperationRow', 'semantic_operation_row', words('operation op semanticOperation'), normalizeOperationRow, coreFailClosed('unsupported-semantic-operation-row')),
   semanticEdits: rowConfig('semanticEditRecordRow', 'semantic_edit_record_row', semanticEditRows, normalizeSemanticEditRow, coreFailClosed('unsupported-semantic-edit-record-row')),
   semanticEditRecords: rowConfig('semanticEditRecordRow', 'semantic_edit_record_row', semanticEditRows, normalizeSemanticEditRow, coreFailClosed('unsupported-semantic-edit-record-row')),
-  paradigm: rowConfig('paradigmRow', 'paradigm_row', words('valueSemantics mutationModel effectModel ownership ownershipModel lifetime lifetimeModel bindingScope binding dispatch typeModel moduleModel concurrency errorModel memoryModel evaluation metaprogramming interop lowering'), normalizeParadigmRow, coreFailClosed('unsupported-paradigm-row')),
-  paradigmSemantics: rowConfig('paradigmRow', 'paradigm_row', words('valueSemantics mutationModel effectModel ownership ownershipModel lifetime lifetimeModel bindingScope binding dispatch typeModel moduleModel concurrency errorModel memoryModel evaluation metaprogramming interop lowering'), normalizeParadigmRow, coreFailClosed('unsupported-paradigm-row')),
+  paradigm: rowConfig('paradigmRow', 'paradigm_row', paradigmRows, normalizeParadigmRow, coreFailClosed('unsupported-paradigm-row')),
+  paradigmSemantics: rowConfig('paradigmRow', 'paradigm_row', paradigmRows, normalizeParadigmRow, coreFailClosed('unsupported-paradigm-row')),
   proof: rowConfig('proofRow', 'proof_row', words('contract refinement invariant termination temporal obligation artifact assumption'), undefined, coreFailClosed('unsupported-proof-row')),
   nativeSource: rowConfig('nativeSourceRow', 'native_source_row', nativeSourceRows, normalizeNativeSourceRow, coreFailClosed('unsupported-native-source-row'))
 });
@@ -200,6 +201,10 @@ function normalizeConstraintSpaceRow(rowKind) {
 }
 
 function normalizeDecisionGraphRow(rowKind) {
+  if (rowKind === 'kind') return 'graphKind';
+  if (rowKind === 'scopeId') return 'scope';
+  if (rowKind === 'rootId') return 'root';
+  if (rowKind === 'subjects') return 'subject';
   if (rowKind === 'change') return 'semanticChange';
   if (rowKind === 'patch') return 'patchEvent';
   if (rowKind === 'admission') return 'admissionDecision';
@@ -234,6 +239,7 @@ function normalizeParadigmRow(rowKind) {
   if (rowKind === 'ownership') return 'ownershipModel';
   if (rowKind === 'lifetime') return 'lifetimeModel';
   if (rowKind === 'binding') return 'bindingScope';
+  if (rowKind === 'loweringRecord') return 'lowering';
   return rowKind;
 }
 

package/package.json

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