@shapeshift-labs/frontier-lang-compiler 0.2.174 → 0.2.176

package/dist/js-ts-safe-project-merge-html-css-summary.js

@@ -151,7 +151,7 @@ function duplicateExplicitIdentityKeys(evidence) {
 }
 
 const ScopedCascadeMissingProofReasonCodes = new Set(['css-scoped-cascade-equivalence-unproved', 'css-media-cascade-scope-unproved', 'css-supports-cascade-scope-unproved', 'css-container-cascade-scope-unproved', 'css-layer-cascade-scope-unproved', 'css-scope-cascade-scope-unproved']);
-const HtmlRuntimeBoundaryReasonCodes = new Set(['script-runtime-boundary', 'style-runtime-boundary', 'template-runtime-boundary', 'slot-runtime-boundary', 'custom-element-runtime-boundary', 'event-handler-runtime-boundary', 'inline-style-runtime-boundary', 'iframe-runtime-boundary', 'iframe-srcdoc-runtime-boundary']);
+const HtmlRuntimeBoundaryReasonCodes = new Set(['script-runtime-boundary', 'style-runtime-boundary', 'template-runtime-boundary', 'slot-runtime-boundary', 'custom-element-runtime-boundary', 'event-handler-runtime-boundary', 'inline-style-runtime-boundary', 'iframe-runtime-boundary', 'iframe-srcdoc-runtime-boundary', 'form-runtime-boundary', 'form-submitter-runtime-boundary', 'form-control-runtime-boundary', 'document-base-runtime-boundary', 'document-metadata-runtime-boundary', 'resource-loading-runtime-boundary']);
 const HtmlFrameworkBoundaryReasonCodes = new Set(['framework-directive-boundary', 'custom-element-runtime-boundary']);
 const CssDependencyMissingProofReasonCodes = new Set(['css-dependency-graph-evidence-missing', 'css-custom-property-dependency-graph-unproved', 'css-var-fallback-dependency-graph-unproved', 'css-animation-name-keyframes-graph-unproved', 'css-font-face-dependency-graph-unproved', 'css-url-asset-dependency-graph-unproved']);
 const CssDependencyAtRuleNames = new Set(['keyframes', 'font-face']);

package/dist/js-ts-safe-project-merge-html-css.js

@@ -2,6 +2,7 @@ import { safeMergeCssSource } from '@shapeshift-labs/frontier-lang-css';
 import { safeMergeHtmlSource } from '@shapeshift-labs/frontier-lang-html';
 import { compactRecord } from './js-ts-safe-merge-context.js';
 import { hashText, safeId, uniqueStrings } from './js-ts-safe-project-merge-core.js';
+import { htmlRuntimeBoundaryChanges, htmlRuntimeBoundaryProofForChange, htmlRuntimeBoundaryProofRecord, htmlRuntimeBoundaryProvenResult } from './js-ts-safe-project-merge-html-runtime-boundaries.js';
 
 function projectFileLanguage(file, input) {
   return file.language ?? inferLanguageFromPath(file.sourcePath) ?? input.language ?? 'typescript';
@@ -103,140 +104,10 @@ function duplicateHtmlExplicitIdentityKeys(identityEvidence) {
   });
 }
 
-function htmlRuntimeBoundaryChanges(base, worker, head) {
-  const baseEventHandlers = htmlEventHandlerBoundaryFingerprint(base);
-  return [
-    htmlRuntimeBoundaryChange('worker', base, worker, baseEventHandlers),
-    htmlRuntimeBoundaryChange('head', base, head, baseEventHandlers)
-  ].filter(Boolean);
-}
-
-function htmlRuntimeBoundaryChange(side, base, sourceText, baseEventHandlers) {
-  if (sourceText === base) return undefined;
-  const eventHandlers = htmlEventHandlerBoundaryFingerprint(sourceText);
-  if (eventHandlers === baseEventHandlers) return undefined;
-  return {
-    side,
-    reasonCode: 'event-handler-runtime-boundary',
-    boundary: 'html-event-handler-attribute',
-    boundaryAttributes: htmlEventHandlerBoundaryAttributeNames(sourceText)
-  };
-}
-
-function htmlRuntimeBoundaryProofForChange(proofs, change, binding) {
-  return proofs.find((proof) => isHtmlRuntimeBoundaryProofForChange(proof, change, binding));
-}
-
-function isHtmlRuntimeBoundaryProofForChange(proof, change, binding) {
-  return Boolean(proof && typeof proof === 'object') &&
-    HtmlRuntimeBoundaryProofKinds.has(proof.kind) &&
-    proof.status === 'passed' &&
-    proof.sourcePath === binding.sourcePath &&
-    htmlProofCoversValue(proof.reasonCode, proof.reasonCodes, change.reasonCode) &&
-    htmlProofCoversValue(proof.side, proof.sides, change.side) &&
-    proof.boundary === change.boundary &&
-    sameStringSet(proof.boundaryAttributes ?? proof.changedBoundaryAttributes, change.boundaryAttributes) &&
-    htmlRuntimeBoundaryProofSourceBound(proof, binding);
-}
-
-function htmlRuntimeBoundaryProofSourceBound(proof, binding) {
-  return htmlRuntimeBoundaryProofSourceMatches(proof, 'base', binding.base) &&
-    htmlRuntimeBoundaryProofSourceMatches(proof, 'worker', binding.worker) &&
-    htmlRuntimeBoundaryProofSourceMatches(proof, 'head', binding.head) &&
-    htmlRuntimeBoundaryProofSourceMatches(proof, 'output', binding.output);
-}
-
-function htmlRuntimeBoundaryProofSourceMatches(proof, role, sourceText) {
-  if (typeof sourceText !== 'string') return false;
-  const hash = hashText(sourceText);
-  const textFields = role === 'output' ? ['outputSourceText', 'mergedSourceText'] : [`${role}SourceText`];
-  const hashFields = role === 'output' ? ['outputSourceHash', 'mergedSourceHash'] : [`${role}SourceHash`];
-  const aliases = role === 'output' ? ['output', 'merged'] : [role];
-  return textFields.some((field) => proof[field] === sourceText) ||
-    aliases.some((alias) => proof.sourceTexts?.[alias] === sourceText || proof.sources?.[alias] === sourceText) ||
-    hashFields.some((field) => proof[field] === hash) ||
-    aliases.some((alias) => proof.sourceHashes?.[alias] === hash || proof.hashes?.[alias] === hash);
-}
-
-function htmlRuntimeBoundaryProofRecord(proof, change, binding) {
-  return compactRecord({
-    id: proof.id,
-    kind: proof.kind,
-    status: 'passed',
-    proofLevel: proof.proofLevel ?? 'html-runtime-boundary-source-bound',
-    reasonCode: change.reasonCode,
-    side: change.side,
-    boundary: change.boundary,
-    boundaryAttributes: change.boundaryAttributes,
-    sourcePath: binding.sourcePath,
-    baseSourceHash: hashText(binding.base),
-    workerSourceHash: hashText(binding.worker),
-    headSourceHash: hashText(binding.head),
-    outputSourceHash: hashText(binding.output)
-  });
-}
-
-function htmlRuntimeBoundaryProvenResult(result, runtimeBoundaryProofs) {
-  return compactRecord({
-    ...result,
-    runtimeBoundaryProofs,
-    browserRuntimeEquivalenceClaim: true,
-    admission: compactRecord({
-      ...(result.admission ?? {}),
-      browserRuntimeEquivalenceClaim: true,
-      htmlRuntimeBoundaryProofs: runtimeBoundaryProofs,
-      reasonCodes: uniqueStrings([...(result.admission?.reasonCodes ?? []), 'html-runtime-boundary-source-bound'])
-    })
-  });
-}
-
-function htmlEventHandlerBoundaryFingerprint(sourceText) {
-  return htmlEventHandlerBoundaryAttributes(sourceText)
-    .map((attribute) => `${attribute.tagName}:${attribute.name}=${String(attribute.value)}`)
-    .sort()
-    .join('\n');
-}
-
-function htmlEventHandlerBoundaryAttributeNames(sourceText) {
-  return uniqueStrings(htmlEventHandlerBoundaryAttributes(sourceText).map((attribute) => attribute.name));
-}
-
-function htmlEventHandlerBoundaryAttributes(sourceText) {
-  const attributes = [];
-  for (const tag of String(sourceText ?? '').matchAll(/<[A-Za-z][\w:-]*(?:\s+[^<>]*?)?\/?>/g)) {
-    const parsed = /^<([A-Za-z][\w:-]*)([\s\S]*?)\/?>$/.exec(tag[0]);
-    if (!parsed) continue;
-    const tagName = parsed[1].toLowerCase();
-    for (const attribute of parseHtmlAttributes(parsed[2] ?? '')) {
-      if (/^on[\w:.-]+$/i.test(attribute.name)) attributes.push({ ...attribute, name: attribute.name.toLowerCase(), tagName });
-    }
-  }
-  return attributes;
-}
-
-function parseHtmlAttributes(text) {
-  const attributes = [];
-  const pattern = /([:@A-Za-z_][\w:.-]*)(?:\s*=\s*(?:"([^"]*)"|'([^']*)'|([^\s"'=<>`]+)))?/g;
-  for (const match of text.matchAll(pattern)) attributes.push({ name: match[1], value: match[2] ?? match[3] ?? match[4] ?? true });
-  return attributes;
-}
-
-function htmlProofCoversValue(value, values, expected) {
-  return value === expected || (Array.isArray(values) && values.includes(expected));
-}
-
-function sameStringSet(actual, expected) {
-  const actualSet = uniqueStrings(asArray(actual).map((value) => String(value)));
-  const expectedSet = uniqueStrings(asArray(expected).map((value) => String(value)));
-  return actualSet.length === expectedSet.length && expectedSet.every((value) => actualSet.includes(value));
-}
-
 function asArray(value) {
   return Array.isArray(value) ? value : value === undefined ? [] : [value];
 }
 
-const HtmlRuntimeBoundaryProofKinds = new Set(['html-runtime-boundary-proof', 'html-source-bound-runtime-boundary-proof']);
-
 function htmlProofGapConflict(id, sourcePath, reasonCode, details = {}, code = 'html-proof-gap-blocked') {
   return {
     code,
@@ -263,6 +134,12 @@ function htmlProofGapSummary(reasonCode) {
   if (reasonCode === 'event-handler-runtime-boundary') return 'HTML event handler attributes execute in the browser runtime and require source-bound host evidence.';
   if (reasonCode === 'inline-style-runtime-boundary') return 'HTML inline style attributes affect browser cascade and rendering and require source-bound host evidence.';
   if (reasonCode === 'iframe-runtime-boundary' || reasonCode === 'iframe-srcdoc-runtime-boundary') return reasonCode === 'iframe-runtime-boundary' ? 'HTML iframe runtime attributes affect nested browsing-context execution and require source-bound host evidence.' : 'HTML iframe srcdoc attributes define nested browsing-context content and require source-bound host evidence.';
+  if (reasonCode === 'form-runtime-boundary') return 'HTML form runtime attributes affect submission, navigation, encoding, or validation and require source-bound host evidence.';
+  if (reasonCode === 'form-submitter-runtime-boundary') return 'HTML submitter attributes affect form submission behavior and require source-bound host evidence.';
+  if (reasonCode === 'form-control-runtime-boundary') return 'HTML form-control attributes affect user input, validation, state, or submission data and require source-bound host evidence.';
+  if (reasonCode === 'document-base-runtime-boundary') return 'HTML base attributes affect URL resolution or navigation targets and require source-bound host evidence.';
+  if (reasonCode === 'document-metadata-runtime-boundary') return 'HTML metadata attributes can affect document loading, policy, refresh, viewport, or discovery behavior and require source-bound host evidence.';
+  if (reasonCode === 'resource-loading-runtime-boundary') return 'HTML resource-loading attributes affect fetched resources, selection, privacy, media behavior, or layout and require source-bound host evidence.';
   return 'HTML proof gap requires source-bound evidence before structural merge admission.';
 }
 
@@ -271,6 +148,8 @@ function htmlProofGapNextProof(reasonCode) {
   if (reasonCode === 'event-handler-runtime-boundary') return 'Attach htmlRuntimeBoundaryProofsByPath[sourcePath] with kind html-source-bound-runtime-boundary-proof, status passed, sourcePath, reasonCode, side, boundary, boundaryAttributes, and exact base/worker/head/output source text or hashes.';
   if (reasonCode === 'inline-style-runtime-boundary') return 'Attach htmlRuntimeBoundaryProofsByPath[sourcePath] with kind html-source-bound-runtime-boundary-proof, status passed, sourcePath, reasonCode, side, boundary "html-inline-style-attribute", boundaryAttributes ["style"], and exact base/worker/head/output source text or hashes.';
   if (reasonCode === 'iframe-runtime-boundary' || reasonCode === 'iframe-srcdoc-runtime-boundary') return 'Attach htmlRuntimeBoundaryProofsByPath[sourcePath] with kind html-source-bound-runtime-boundary-proof, status passed, sourcePath, reasonCode, side, boundary, boundaryAttributes, and exact base/worker/head/output source text or hashes.';
+  if (reasonCode === 'form-runtime-boundary' || reasonCode === 'form-submitter-runtime-boundary' || reasonCode === 'form-control-runtime-boundary') return 'Attach htmlRuntimeBoundaryProofsByPath[sourcePath] with kind html-source-bound-runtime-boundary-proof, status passed, sourcePath, reasonCode, side, boundary, boundaryAttributes, and exact base/worker/head/output source text or hashes.';
+  if (reasonCode === 'document-base-runtime-boundary' || reasonCode === 'document-metadata-runtime-boundary' || reasonCode === 'resource-loading-runtime-boundary') return 'Attach htmlRuntimeBoundaryProofsByPath[sourcePath] with kind html-source-bound-runtime-boundary-proof, status passed, sourcePath, reasonCode, side, boundary, boundaryAttributes, and exact base/worker/head/output source text or hashes.';
   return 'Attach source-bound HTML parser, identity, and runtime-boundary evidence for the changed file before structural admission.';
 }
 

package/dist/js-ts-safe-project-merge-html-runtime-boundaries.js

@@ -0,0 +1,181 @@
+import { compactRecord } from './js-ts-safe-merge-context.js';
+import { hashText, uniqueStrings } from './js-ts-safe-project-merge-core.js';
+
+function htmlRuntimeBoundaryChanges(base, worker, head) {
+  const baseBoundaries = htmlRuntimeBoundaryAttributeGroups(base);
+  return [
+    ...htmlRuntimeBoundaryChangesForSide('worker', baseBoundaries, htmlRuntimeBoundaryAttributeGroups(worker)),
+    ...htmlRuntimeBoundaryChangesForSide('head', baseBoundaries, htmlRuntimeBoundaryAttributeGroups(head))
+  ];
+}
+
+function htmlRuntimeBoundaryChangesForSide(side, baseGroups, currentGroups) {
+  return uniqueStrings([...baseGroups.keys(), ...currentGroups.keys()]).flatMap((key) => {
+    const before = baseGroups.get(key);
+    const after = currentGroups.get(key);
+    if ((before?.fingerprint ?? '') === (after?.fingerprint ?? '')) return [];
+    const sample = after ?? before;
+    return [{
+      side,
+      reasonCode: sample.reasonCode,
+      boundary: sample.boundary,
+      boundaryAttributes: changedHtmlRuntimeBoundaryAttributes(before?.records ?? [], after?.records ?? [])
+    }];
+  });
+}
+
+function htmlRuntimeBoundaryProofForChange(proofs, change, binding) {
+  return proofs.find((proof) => isHtmlRuntimeBoundaryProofForChange(proof, change, binding));
+}
+
+function isHtmlRuntimeBoundaryProofForChange(proof, change, binding) {
+  return Boolean(proof && typeof proof === 'object') &&
+    HtmlRuntimeBoundaryProofKinds.has(proof.kind) &&
+    proof.status === 'passed' &&
+    proof.sourcePath === binding.sourcePath &&
+    htmlProofCoversValue(proof.reasonCode, proof.reasonCodes, change.reasonCode) &&
+    htmlProofCoversValue(proof.side, proof.sides, change.side) &&
+    proof.boundary === change.boundary &&
+    sameStringSet(proof.boundaryAttributes ?? proof.changedBoundaryAttributes, change.boundaryAttributes) &&
+    htmlRuntimeBoundaryProofSourceBound(proof, binding);
+}
+
+function htmlRuntimeBoundaryProofSourceBound(proof, binding) {
+  return htmlRuntimeBoundaryProofSourceMatches(proof, 'base', binding.base) &&
+    htmlRuntimeBoundaryProofSourceMatches(proof, 'worker', binding.worker) &&
+    htmlRuntimeBoundaryProofSourceMatches(proof, 'head', binding.head) &&
+    htmlRuntimeBoundaryProofSourceMatches(proof, 'output', binding.output);
+}
+
+function htmlRuntimeBoundaryProofSourceMatches(proof, role, sourceText) {
+  if (typeof sourceText !== 'string') return false;
+  const hash = hashText(sourceText);
+  const textFields = role === 'output' ? ['outputSourceText', 'mergedSourceText'] : [`${role}SourceText`];
+  const hashFields = role === 'output' ? ['outputSourceHash', 'mergedSourceHash'] : [`${role}SourceHash`];
+  const aliases = role === 'output' ? ['output', 'merged'] : [role];
+  return textFields.some((field) => proof[field] === sourceText) ||
+    aliases.some((alias) => proof.sourceTexts?.[alias] === sourceText || proof.sources?.[alias] === sourceText) ||
+    hashFields.some((field) => proof[field] === hash) ||
+    aliases.some((alias) => proof.sourceHashes?.[alias] === hash || proof.hashes?.[alias] === hash);
+}
+
+function htmlRuntimeBoundaryProofRecord(proof, change, binding) {
+  return compactRecord({
+    id: proof.id,
+    kind: proof.kind,
+    status: 'passed',
+    proofLevel: proof.proofLevel ?? 'html-runtime-boundary-source-bound',
+    reasonCode: change.reasonCode,
+    side: change.side,
+    boundary: change.boundary,
+    boundaryAttributes: change.boundaryAttributes,
+    sourcePath: binding.sourcePath,
+    baseSourceHash: hashText(binding.base),
+    workerSourceHash: hashText(binding.worker),
+    headSourceHash: hashText(binding.head),
+    outputSourceHash: hashText(binding.output)
+  });
+}
+
+function htmlRuntimeBoundaryProvenResult(result, runtimeBoundaryProofs) {
+  return compactRecord({
+    ...result,
+    runtimeBoundaryProofs,
+    browserRuntimeEquivalenceClaim: true,
+    admission: compactRecord({
+      ...(result.admission ?? {}),
+      browserRuntimeEquivalenceClaim: true,
+      htmlRuntimeBoundaryProofs: runtimeBoundaryProofs,
+      reasonCodes: uniqueStrings([...(result.admission?.reasonCodes ?? []), 'html-runtime-boundary-source-bound'])
+    })
+  });
+}
+
+function htmlRuntimeBoundaryAttributeGroups(sourceText) {
+  const groups = new Map();
+  for (const attribute of htmlRuntimeBoundaryAttributes(sourceText)) {
+    const key = `${attribute.reasonCode}\0${attribute.boundary}`;
+    const group = groups.get(key) ?? { reasonCode: attribute.reasonCode, boundary: attribute.boundary, records: [] };
+    group.records.push(attribute);
+    groups.set(key, group);
+  }
+  for (const group of groups.values()) group.fingerprint = group.records.map((attribute) => `${attribute.elementKey}:${attribute.name}=${String(attribute.value)}`).sort().join('\n');
+  return groups;
+}
+
+function changedHtmlRuntimeBoundaryAttributes(before, after) {
+  const beforeByKey = new Map(before.map((attribute) => [`${attribute.elementKey}:${attribute.name}`, attribute]));
+  const afterByKey = new Map(after.map((attribute) => [`${attribute.elementKey}:${attribute.name}`, attribute]));
+  const names = uniqueStrings([...beforeByKey.keys(), ...afterByKey.keys()].flatMap((key) => {
+    const left = beforeByKey.get(key);
+    const right = afterByKey.get(key);
+    return String(left?.value) === String(right?.value) ? [] : [right?.name ?? left?.name];
+  }));
+  return names.length ? names : uniqueStrings([...before, ...after].map((attribute) => attribute.name));
+}
+
+function htmlRuntimeBoundaryAttributes(sourceText) {
+  const attributes = [];
+  let elementIndex = 0;
+  for (const tag of String(sourceText ?? '').matchAll(/<[A-Za-z][\w:-]*(?:\s+[^<>]*?)?\/?>/g)) {
+    const parsed = /^<([A-Za-z][\w:-]*)([\s\S]*?)\/?>$/.exec(tag[0]);
+    if (!parsed) continue;
+    const tagName = parsed[1].toLowerCase();
+    const elementKey = `${elementIndex++}:${tagName}`;
+    for (const attribute of parseHtmlAttributes(parsed[2] ?? '')) {
+      const name = attribute.name.toLowerCase();
+      const spec = htmlRuntimeAttributeSpec(name, tagName);
+      if (spec) attributes.push({ ...attribute, ...spec, name, tagName, elementKey });
+    }
+  }
+  return attributes;
+}
+
+function htmlRuntimeAttributeSpec(name, tagName) {
+  if (/^on[\w:.-]+$/i.test(name)) return { boundary: 'html-event-handler-attribute', reasonCode: 'event-handler-runtime-boundary' };
+  if (name === 'style') return { boundary: 'html-inline-style-attribute', reasonCode: 'inline-style-runtime-boundary' };
+  if (tagName === 'iframe' && name === 'srcdoc') return { boundary: 'html-iframe-srcdoc-attribute', reasonCode: 'iframe-srcdoc-runtime-boundary' };
+  if (tagName === 'iframe' && IframeRuntimeAttributes.has(name)) return { boundary: 'html-iframe-runtime-attribute', reasonCode: 'iframe-runtime-boundary' };
+  if (tagName === 'form' && FormRuntimeAttributes.has(name)) return { boundary: 'html-form-runtime-attribute', reasonCode: 'form-runtime-boundary' };
+  if (FormSubmitterTags.has(tagName) && FormSubmitterRuntimeAttributes.has(name)) return { boundary: 'html-form-submitter-runtime-attribute', reasonCode: 'form-submitter-runtime-boundary' };
+  if (FormControlTags.has(tagName) && FormControlRuntimeAttributes.has(name)) return { boundary: 'html-form-control-runtime-attribute', reasonCode: 'form-control-runtime-boundary' };
+  if (tagName === 'base' && BaseRuntimeAttributes.has(name)) return { boundary: 'html-document-base-runtime-attribute', reasonCode: 'document-base-runtime-boundary' };
+  if (tagName === 'meta' && MetaRuntimeAttributes.has(name)) return { boundary: 'html-document-metadata-runtime-attribute', reasonCode: 'document-metadata-runtime-boundary' };
+  if (ResourceLoadingTags.has(tagName) && ResourceLoadingAttributes.has(name)) return { boundary: 'html-resource-loading-attribute', reasonCode: 'resource-loading-runtime-boundary' };
+  return undefined;
+}
+
+function parseHtmlAttributes(text) {
+  const attributes = [];
+  const pattern = /([:@A-Za-z_][\w:.-]*)(?:\s*=\s*(?:"([^"]*)"|'([^']*)'|([^\s"'=<>`]+)))?/g;
+  for (const match of text.matchAll(pattern)) attributes.push({ name: match[1], value: match[2] ?? match[3] ?? match[4] ?? true });
+  return attributes;
+}
+
+function htmlProofCoversValue(value, values, expected) {
+  return value === expected || (Array.isArray(values) && values.includes(expected));
+}
+
+function sameStringSet(actual, expected) {
+  const actualSet = uniqueStrings(asArray(actual).map((value) => String(value)));
+  const expectedSet = uniqueStrings(asArray(expected).map((value) => String(value)));
+  return actualSet.length === expectedSet.length && expectedSet.every((value) => actualSet.includes(value));
+}
+
+function asArray(value) {
+  return Array.isArray(value) ? value : value === undefined ? [] : [value];
+}
+
+const HtmlRuntimeBoundaryProofKinds = new Set(['html-runtime-boundary-proof', 'html-source-bound-runtime-boundary-proof']);
+const IframeRuntimeAttributes = new Set(['allow', 'allowfullscreen', 'allowpaymentrequest', 'credentialless', 'csp', 'fetchpriority', 'loading', 'name', 'referrerpolicy', 'sandbox', 'src']);
+const FormRuntimeAttributes = new Set(['accept-charset', 'action', 'autocomplete', 'enctype', 'method', 'novalidate', 'target']);
+const FormSubmitterTags = new Set(['button', 'input']);
+const FormSubmitterRuntimeAttributes = new Set(['form', 'formaction', 'formenctype', 'formmethod', 'formnovalidate', 'formtarget', 'type']);
+const FormControlTags = new Set(['button', 'fieldset', 'input', 'optgroup', 'option', 'output', 'select', 'textarea']);
+const FormControlRuntimeAttributes = new Set(['accept', 'autocomplete', 'capture', 'checked', 'disabled', 'form', 'list', 'max', 'maxlength', 'min', 'minlength', 'multiple', 'name', 'pattern', 'readonly', 'required', 'selected', 'size', 'step', 'value']);
+const BaseRuntimeAttributes = new Set(['href', 'target']);
+const MetaRuntimeAttributes = new Set(['charset', 'content', 'http-equiv', 'media', 'name', 'property']);
+const ResourceLoadingTags = new Set(['audio', 'embed', 'img', 'link', 'object', 'source', 'track', 'video']);
+const ResourceLoadingAttributes = new Set(['as', 'autoplay', 'blocking', 'color', 'controls', 'controlslist', 'crossorigin', 'data', 'decoding', 'default', 'disablepictureinpicture', 'disableremoteplayback', 'fetchpriority', 'height', 'href', 'imagesizes', 'imagesrcset', 'integrity', 'ismap', 'kind', 'label', 'loading', 'loop', 'media', 'muted', 'poster', 'preload', 'referrerpolicy', 'rel', 'sizes', 'src', 'srcset', 'srclang', 'type', 'usemap', 'width']);
+
+export { htmlRuntimeBoundaryChanges, htmlRuntimeBoundaryProofForChange, htmlRuntimeBoundaryProofRecord, htmlRuntimeBoundaryProvenResult };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.174",
+  "version": "0.2.176",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",
@@ -64,7 +64,7 @@
     "@shapeshift-labs/frontier-lang-c": "0.2.9",
     "@shapeshift-labs/frontier-lang-checker": "0.3.8",
     "@shapeshift-labs/frontier-lang-css": "^0.1.15",
-    "@shapeshift-labs/frontier-lang-html": "^0.1.10",
+    "@shapeshift-labs/frontier-lang-html": "^0.1.12",
     "@shapeshift-labs/frontier-lang-javascript": "0.2.9",
     "@shapeshift-labs/frontier-lang-kernel": "0.3.12",
     "@shapeshift-labs/frontier-lang-parser": "0.3.8",