@shapeshift-labs/frontier-lang-compiler 0.2.149 → 0.2.151

package/dist/js-ts-safe-project-merge-jsx-graph-conflict-details.js

@@ -0,0 +1,235 @@
+import { compactRecord } from './js-ts-safe-merge-context.js';
+
+function jsxPropIdentityKey(record) {
+  return stableKey(['jsx-prop', record?.sourcePath, record?.publicOwnerName, record?.tagKey, record?.tagName, record?.propName]);
+}
+
+function jsxChildOrderIdentityKey(record) {
+  return stableKey(['jsx-child-order', record?.sourcePath, record?.publicOwnerName, record?.keyPropValue]);
+}
+
+function jsxRenderRiskIdentityKey(record) {
+  return stableKey(['jsx-render-risk', record?.sourcePath, record?.publicOwnerName, record?.tagKey, record?.tagName]);
+}
+
+function jsxPropFingerprint(record) { return record ? stableKey([record.signatureHash]) : undefined; }
+
+function jsxChildOrderFingerprint(record) {
+  return record ? stableKey([
+    record.tagName,
+    record.keyPropValue,
+    record.ordinal,
+    record.tagKey,
+    record.fragmentKind,
+    record.childOrderSignatureHash
+  ]) : undefined;
+}
+
+function jsxRenderRiskFingerprint(record) {
+  return record ? stableKey([
+    record.renderRiskSignatureHash,
+    ...(record.renderRiskKinds ?? []),
+    ...(record.renderRiskReasonCodes ?? []),
+    record.contextBoundaryKind,
+    record.contextName,
+    record.contextValuePropName,
+    record.contextValueExpressionHash,
+    record.contextValueSignatureHash,
+    ...jsxContextValueFingerprintParts(record.contextValueRecord),
+    ...(record.contextProviderPath ?? []),
+    ...(record.contextProviderAncestorTags ?? []),
+    record.contextProviderAncestorCount,
+    record.contextProviderNestingSignatureHash,
+    ...(record.hookNames ?? []),
+    ...(record.hookCallOrder ?? []),
+    record.hookCallCount,
+    record.hookCallOrderSignatureHash,
+    record.hookDependencyCount,
+    record.hookDependencySignatureHash,
+    ...jsxHookDependencyFingerprintParts(record.hookDependencyRecords),
+    record.hookEffectCount,
+    record.hookEffectSignatureHash,
+    JSON.stringify(record.hookEffectRecords ?? []),
+    ...(record.contextConsumerNames ?? []),
+    record.contextConsumerCount,
+    record.contextConsumerSignatureHash,
+    JSON.stringify(record.contextConsumerRecords ?? []),
+    record.renderReturnCount,
+    record.renderReturnBranchCount,
+    record.renderReturnSignatureHash,
+    JSON.stringify(record.renderReturnRecords ?? []),
+    ...(record.componentWrapperNames ?? []),
+    ...(record.componentWrapperCalleeTexts ?? []),
+    record.componentWrapperCount,
+    record.componentWrapperRenderEquivalenceClaim,
+    record.componentWrapperSignatureHash,
+    JSON.stringify(record.componentWrapperRecords ?? []),
+    ...(record.eventHandlerPropNames ?? []),
+    record.eventHandlerPropCount,
+    record.eventHandlerSignatureHash,
+    ...jsxEventHandlerFingerprintParts(record.eventHandlerPropRecords)
+  ]) : undefined;
+}
+
+function jsxChildOrderDetails(record) {
+  if (!record) return undefined;
+  return compactRecord({
+    sourcePath: record.sourcePath,
+    publicOwnerName: record.publicOwnerName,
+    tagName: record.tagName,
+    tagKey: record.tagKey,
+    keyPropValue: record.keyPropValue,
+    keyPropHash: record.keyPropHash,
+    ordinal: record.ordinal,
+    fragmentKind: record.fragmentKind,
+    childOrderSignatureHash: record.childOrderSignatureHash,
+    sourceHash: record.sourceHash
+  });
+}
+
+function jsxPropDetails(record) {
+  if (!record) return undefined;
+  return compactRecord({
+    sourcePath: record.sourcePath, publicOwnerName: record.publicOwnerName,
+    tagName: record.tagName, tagKey: record.tagKey, propName: record.propName, propKind: record.propKind,
+    spreadOrdinal: record.spreadOrdinal, spreadExpressionHash: record.spreadExpressionHash,
+    propValueProofStatus: record.propValueProofStatus, propValueReasonCode: record.propValueReasonCode,
+    propValueKind: record.propValueKind, propValueText: record.propValueText, propValueExpressionText: record.propValueExpressionText,
+    propValueReferenceRoot: record.propValueReferenceRoot, propValueReferencePath: record.propValueReferencePath,
+    propValueOptionalReference: record.propValueOptionalReference, propValueOptionalReferenceSegments: record.propValueOptionalReferenceSegments,
+    propValueOptionalReferenceSegmentIndexes: record.propValueOptionalReferenceSegmentIndexes, propValueOptionalNullishBoundaryCount: record.propValueOptionalNullishBoundaryCount,
+    propValueDynamicText: record.propValueDynamicText, propValueDynamicBlockerReasonCode: record.propValueDynamicBlockerReasonCode,
+    propValueExpressionHash: record.propValueExpressionHash, propValueSignatureHash: record.propValueSignatureHash,
+    componentPropRenderFlowStatus: record.componentPropRenderFlowStatus, componentPropRenderFlowReasonCode: record.componentPropRenderFlowReasonCode,
+    componentPropRenderFlowClaim: record.componentPropRenderFlowClaim, componentPropRenderFlowClaimScope: record.componentPropRenderFlowClaimScope,
+    componentPropRenderFlowRenderEquivalenceClaim: record.componentPropRenderFlowRenderEquivalenceClaim,
+    componentPropRenderFlowScope: record.componentPropRenderFlowScope,
+    componentPropRenderFlowTargetName: record.componentPropRenderFlowTargetName,
+    componentPropRenderFlowTargetKind: record.componentPropRenderFlowTargetKind,
+    componentPropRenderFlowTargetOwnerName: record.componentPropRenderFlowTargetOwnerName,
+    componentPropRenderFlowTargetOwnerCount: record.componentPropRenderFlowTargetOwnerCount,
+    componentPropRenderFlowTargetSourcePath: record.componentPropRenderFlowTargetSourcePath,
+    componentPropRenderFlowComponentPropName: record.componentPropRenderFlowComponentPropName,
+    componentPropRenderFlowRenderedTagName: record.componentPropRenderFlowRenderedTagName,
+    componentPropRenderFlowRenderedPropName: record.componentPropRenderFlowRenderedPropName,
+    componentPropRenderFlowPassthroughExpressionText: record.componentPropRenderFlowPassthroughExpressionText,
+    componentPropRenderFlowBindingKind: record.componentPropRenderFlowBindingKind,
+    componentPropRenderFlowReturnOrdinal: record.componentPropRenderFlowReturnOrdinal,
+    componentPropRenderFlowDynamicBlockerReasonCode: record.componentPropRenderFlowDynamicBlockerReasonCode,
+    componentPropRenderFlowTargetSignatureHash: record.componentPropRenderFlowTargetSignatureHash,
+    componentPropRenderFlowSignatureHash: record.componentPropRenderFlowSignatureHash,
+    ordinal: record.ordinal, signatureHash: record.signatureHash, sourceHash: record.sourceHash
+  });
+}
+
+function jsxRenderRiskDetails(record) {
+  if (!record) return undefined;
+  return compactRecord({
+    sourcePath: record.sourcePath,
+    publicOwnerName: record.publicOwnerName,
+    tagName: record.tagName,
+    tagKey: record.tagKey,
+    renderRiskKinds: record.renderRiskKinds,
+    renderRiskReasonCodes: record.renderRiskReasonCodes,
+    contextBoundaryKind: record.contextBoundaryKind,
+    contextName: record.contextName,
+    contextValuePropName: record.contextValuePropName,
+    contextValueExpressionHash: record.contextValueExpressionHash,
+    contextValueSignatureHash: record.contextValueSignatureHash,
+    contextValueRecord: record.contextValueRecord,
+    contextProviderPath: record.contextProviderPath,
+    contextProviderAncestorTags: record.contextProviderAncestorTags,
+    contextProviderAncestorCount: record.contextProviderAncestorCount,
+    contextProviderNestingSignatureHash: record.contextProviderNestingSignatureHash,
+    hookNames: record.hookNames,
+    hookCallOrder: record.hookCallOrder,
+    hookCallCount: record.hookCallCount,
+    hookCallOrderSignatureHash: record.hookCallOrderSignatureHash,
+    hookDependencyRecords: record.hookDependencyRecords,
+    hookDependencyCount: record.hookDependencyCount,
+    hookDependencySignatureHash: record.hookDependencySignatureHash,
+    hookEffectRecords: record.hookEffectRecords,
+    hookEffectCount: record.hookEffectCount,
+    hookEffectSignatureHash: record.hookEffectSignatureHash,
+    contextConsumerNames: record.contextConsumerNames,
+    contextConsumerRecords: record.contextConsumerRecords,
+    contextConsumerCount: record.contextConsumerCount,
+    contextConsumerSignatureHash: record.contextConsumerSignatureHash,
+    renderReturnRecords: record.renderReturnRecords, renderReturnCount: record.renderReturnCount, renderReturnBranchCount: record.renderReturnBranchCount, renderReturnSignatureHash: record.renderReturnSignatureHash,
+    componentWrapperNames: record.componentWrapperNames,
+    componentWrapperCalleeTexts: record.componentWrapperCalleeTexts,
+    componentWrapperRecords: record.componentWrapperRecords,
+    componentWrapperCount: record.componentWrapperCount,
+    componentWrapperRenderEquivalenceClaim: record.componentWrapperRenderEquivalenceClaim,
+    componentWrapperSignatureHash: record.componentWrapperSignatureHash,
+    eventHandlerPropNames: record.eventHandlerPropNames,
+    eventHandlerPropRecords: record.eventHandlerPropRecords,
+    eventHandlerPropCount: record.eventHandlerPropCount,
+    eventHandlerSignatureHash: record.eventHandlerSignatureHash,
+    renderRiskSignatureHash: record.renderRiskSignatureHash,
+    sourceHash: record.sourceHash
+  });
+}
+
+function stableKey(parts) {
+  const values = parts.map((part) => part === undefined || part === null ? '' : String(part));
+  return values.some(Boolean) ? values.join('#') : undefined;
+}
+
+function jsxRenderRiskReasonCodes(...records) {
+  return uniqueStrings(records.flatMap((record) => record?.renderRiskReasonCodes ?? []));
+}
+
+function jsxPropLabel(record) { return record?.propKind === 'spread' || record?.spread ? 'spread attribute' : 'prop'; }
+function hasRenderRisk(record) { return Array.isArray(record?.renderRiskKinds) && record.renderRiskKinds.length > 0; }
+
+function jsxHookDependencyFingerprintParts(records = []) {
+  return records.flatMap((record) => [
+    record?.hookName,
+    record?.ordinal,
+    record?.dependencyCount,
+    ...(record?.dependencyTexts ?? []),
+    JSON.stringify(record?.dependencyRecords ?? []),
+    ...(record?.dynamicDependencyReasonCodes ?? []),
+    record?.dependencyArrayHash,
+    record?.dependencySignatureHash
+  ]);
+}
+
+function jsxContextValueFingerprintParts(record) {
+  return record ? [
+    record.propName, record.propKind, record.proofStatus, record.reasonCode, record.literalValueKind, record.literalValueText, record.staticValueKind, record.staticValueText, record.staticReferenceRoot,
+    ...(record.staticReferencePath ?? []), ...(record.staticReferenceMemberPath ?? []), record.referenceBindingStatus,
+    record.referenceBindingScope, record.referenceBindingHash, record.dynamicValueKind, record.dynamicValueText, record.dynamicBlockerReasonCode, record.expressionHash, record.signatureHash
+  ] : [];
+}
+
+function jsxEventHandlerFingerprintParts(records = []) {
+  return records.flatMap((record) => [
+    record?.propName, record?.ordinal, record?.propKind,
+    record?.proofStatus, record?.reasonCode, record?.handlerReferenceText, record?.handlerReferenceRoot,
+    ...(record?.handlerReferencePath ?? []), record?.optionalReference,
+    ...(record?.optionalReferenceSegments ?? []), ...(record?.optionalReferenceSegmentIndexes ?? []),
+    record?.optionalNullishBoundaryCount, record?.dynamicExpressionText, record?.dynamicExpressionKind,
+    record?.dynamicBlockerReasonCode,
+    record?.expressionHash,
+    record?.signatureHash
+  ]);
+}
+
+function uniqueStrings(values) { return [...new Set(values.filter((value) => typeof value === 'string' && value.length > 0))]; }
+
+export {
+  hasRenderRisk,
+  jsxChildOrderDetails,
+  jsxChildOrderFingerprint,
+  jsxChildOrderIdentityKey,
+  jsxPropDetails,
+  jsxPropFingerprint,
+  jsxPropIdentityKey,
+  jsxPropLabel,
+  jsxRenderRiskDetails,
+  jsxRenderRiskFingerprint,
+  jsxRenderRiskIdentityKey,
+  jsxRenderRiskReasonCodes
+};

package/dist/js-ts-safe-project-merge-jsx-graph-conflicts.js

@@ -0,0 +1,173 @@
+import { compactRecord } from './js-ts-safe-merge-context.js';
+import { jsxRenderReturnBranchProofAssessment } from './js-ts-safe-project-merge-jsx-render-branch-proof.js';
+import {
+  hasRenderRisk,
+  jsxChildOrderDetails,
+  jsxChildOrderFingerprint,
+  jsxChildOrderIdentityKey,
+  jsxPropDetails,
+  jsxPropFingerprint,
+  jsxPropIdentityKey,
+  jsxPropLabel,
+  jsxRenderRiskDetails,
+  jsxRenderRiskFingerprint,
+  jsxRenderRiskIdentityKey,
+  jsxRenderRiskReasonCodes
+} from './js-ts-safe-project-merge-jsx-graph-conflict-details.js';
+function projectJsxPropDeltaConflicts(projectGraphDelta) {
+  const baseGraph = projectGraphDelta?.stages?.base?.projectSymbolGraph;
+  const workerGraph = projectGraphDelta?.stages?.worker?.projectSymbolGraph;
+  const headGraph = projectGraphDelta?.stages?.head?.projectSymbolGraph;
+  const outputGraph = projectGraphDelta?.stages?.output?.projectSymbolGraph;
+  if (!baseGraph || !workerGraph || !headGraph) return [];
+  const base = publicJsxProps(baseGraph.jsxPropRecords);
+  const worker = publicJsxProps(workerGraph.jsxPropRecords);
+  const head = publicJsxProps(headGraph.jsxPropRecords);
+  const output = publicJsxProps(outputGraph?.jsxPropRecords);
+  return uniqueStrings([...base.keys(), ...worker.keys(), ...head.keys()]).flatMap((identityKey) => {
+    const baseRecord = base.get(identityKey);
+    const workerRecord = worker.get(identityKey);
+    const headRecord = head.get(identityKey);
+    const fingerprints = [jsxPropFingerprint(baseRecord), jsxPropFingerprint(workerRecord), jsxPropFingerprint(headRecord)];
+    if (fingerprints[0] === fingerprints[1] || fingerprints[0] === fingerprints[2] || fingerprints[1] === fingerprints[2]) return [];
+    return [projectJsxPropDeltaConflict(identityKey, baseRecord, workerRecord, headRecord, output.get(identityKey))];
+  });
+}
+function projectJsxRenderRiskDeltaConflicts(projectGraphDelta, options = {}) {
+  const baseGraph = projectGraphDelta?.stages?.base?.projectSymbolGraph;
+  const workerGraph = projectGraphDelta?.stages?.worker?.projectSymbolGraph;
+  const headGraph = projectGraphDelta?.stages?.head?.projectSymbolGraph;
+  const outputGraph = projectGraphDelta?.stages?.output?.projectSymbolGraph;
+  if (!baseGraph || !workerGraph || !headGraph) return [];
+  const base = publicJsxRenderRisks(baseGraph.jsxElementRecords);
+  const worker = publicJsxRenderRisks(workerGraph.jsxElementRecords);
+  const head = publicJsxRenderRisks(headGraph.jsxElementRecords);
+  const output = publicJsxRenderRisks(outputGraph?.jsxElementRecords);
+  return uniqueStrings([...base.keys(), ...worker.keys(), ...head.keys()]).flatMap((identityKey) => {
+    const baseRecord = base.get(identityKey);
+    const workerRecord = worker.get(identityKey);
+    const headRecord = head.get(identityKey);
+    const fingerprints = [jsxRenderRiskFingerprint(baseRecord), jsxRenderRiskFingerprint(workerRecord), jsxRenderRiskFingerprint(headRecord)];
+    if (fingerprints[0] === fingerprints[1] || fingerprints[0] === fingerprints[2] || fingerprints[1] === fingerprints[2]) return [];
+    const branchProof = jsxRenderReturnBranchProofAssessment({ identityKey, baseRecord, workerRecord, headRecord, outputRecord: output.get(identityKey) }, options);
+    if (branchProof?.status === 'passed') return [];
+    return [projectJsxRenderRiskDeltaConflict(identityKey, baseRecord, workerRecord, headRecord, output.get(identityKey), branchProof)];
+  });
+}
+function projectJsxChildOrderDeltaConflicts(projectGraphDelta) {
+  const baseGraph = projectGraphDelta?.stages?.base?.projectSymbolGraph;
+  const workerGraph = projectGraphDelta?.stages?.worker?.projectSymbolGraph;
+  const headGraph = projectGraphDelta?.stages?.head?.projectSymbolGraph;
+  const outputGraph = projectGraphDelta?.stages?.output?.projectSymbolGraph;
+  if (!baseGraph || !workerGraph || !headGraph) return [];
+  const base = publicJsxChildOrders(baseGraph.jsxElementRecords);
+  const worker = publicJsxChildOrders(workerGraph.jsxElementRecords);
+  const head = publicJsxChildOrders(headGraph.jsxElementRecords);
+  const output = publicJsxChildOrders(outputGraph?.jsxElementRecords);
+  return uniqueStrings([...base.keys(), ...worker.keys(), ...head.keys()]).flatMap((identityKey) => {
+    const baseRecord = base.get(identityKey);
+    const workerRecord = worker.get(identityKey);
+    const headRecord = head.get(identityKey);
+    const fingerprints = [jsxChildOrderFingerprint(baseRecord), jsxChildOrderFingerprint(workerRecord), jsxChildOrderFingerprint(headRecord)];
+    if (fingerprints[0] === fingerprints[1] || fingerprints[0] === fingerprints[2] || fingerprints[1] === fingerprints[2]) return [];
+    return [projectJsxChildOrderDeltaConflict(identityKey, baseRecord, workerRecord, headRecord, output.get(identityKey))];
+  });
+}
+function projectJsxPropDeltaConflict(identityKey, baseRecord, workerRecord, headRecord, outputRecord) {
+  const sourcePath = workerRecord?.sourcePath ?? headRecord?.sourcePath ?? baseRecord?.sourcePath;
+  const label = jsxPropLabel(workerRecord ?? headRecord ?? baseRecord);
+  return {
+    code: 'project-jsx-public-prop-delta-conflict',
+    gateId: 'project-graph-delta',
+    message: `Worker and head both changed JSX public ${label} ${JSON.stringify(identityKey)} in incompatible ways.`,
+    sourcePath,
+    details: compactRecord({
+      reasonCode: 'project-jsx-public-prop-delta-conflict',
+      conflictKey: `project-graph-delta#jsx-prop#${identityKey}`,
+      identityKey,
+      sourcePath,
+      base: jsxPropDetails(baseRecord),
+      worker: jsxPropDetails(workerRecord),
+      head: jsxPropDetails(headRecord),
+      output: jsxPropDetails(outputRecord)
+    })
+  };
+}
+function projectJsxChildOrderDeltaConflict(identityKey, baseRecord, workerRecord, headRecord, outputRecord) {
+  const sourcePath = workerRecord?.sourcePath ?? headRecord?.sourcePath ?? baseRecord?.sourcePath;
+  return {
+    code: 'project-jsx-public-child-order-delta-conflict',
+    gateId: 'project-graph-delta',
+    message: `Worker and head both changed JSX keyed child order evidence ${JSON.stringify(identityKey)} in incompatible ways.`,
+    sourcePath,
+    details: compactRecord({
+      reasonCode: 'project-jsx-public-child-order-delta-conflict',
+      conflictKey: `project-graph-delta#jsx-child-order#${identityKey}`,
+      identityKey,
+      sourcePath,
+      base: jsxChildOrderDetails(baseRecord),
+      worker: jsxChildOrderDetails(workerRecord),
+      head: jsxChildOrderDetails(headRecord),
+      output: jsxChildOrderDetails(outputRecord)
+    })
+  };
+}
+function projectJsxRenderRiskDeltaConflict(identityKey, baseRecord, workerRecord, headRecord, outputRecord, branchProof) {
+  const sourcePath = workerRecord?.sourcePath ?? headRecord?.sourcePath ?? baseRecord?.sourcePath;
+  return {
+    code: 'project-jsx-public-render-risk-delta-conflict',
+    gateId: 'project-graph-delta',
+    message: `Worker and head both changed JSX public render-semantics evidence ${JSON.stringify(identityKey)} in incompatible ways.`,
+    sourcePath,
+    details: compactRecord({
+      reasonCode: 'project-jsx-public-render-risk-delta-conflict',
+      reasonCodes: uniqueStrings([...jsxRenderRiskReasonCodes(baseRecord, workerRecord, headRecord, outputRecord), ...(branchProof?.reasonCodes ?? [])]),
+      conflictKey: `project-graph-delta#jsx-render-risk#${identityKey}`,
+      identityKey,
+      sourcePath,
+      routeId: branchProof?.routeId,
+      routeLane: branchProof?.routeLane,
+      routeNext: branchProof?.routeNext,
+      base: jsxRenderRiskDetails(baseRecord),
+      worker: jsxRenderRiskDetails(workerRecord),
+      head: jsxRenderRiskDetails(headRecord),
+      output: jsxRenderRiskDetails(outputRecord),
+      jsxRenderReturnBranchProof: branchProof?.record,
+      autoMergeClaim: false,
+      semanticEquivalenceClaim: false,
+      runtimeEquivalenceClaim: false,
+      renderEquivalenceClaim: false
+    })
+  };
+}
+function publicJsxProps(records = []) {
+  const result = new Map();
+  for (const record of records) {
+    if (!record?.publicContract) continue;
+    const key = jsxPropIdentityKey(record);
+    if (key && !result.has(key)) result.set(key, record);
+  }
+  return result;
+}
+function publicJsxRenderRisks(records = []) {
+  const result = new Map();
+  for (const record of records ?? []) {
+    if (!record?.publicContract || !hasRenderRisk(record)) continue;
+    const key = jsxRenderRiskIdentityKey(record);
+    if (key && !result.has(key)) result.set(key, record);
+  }
+  return result;
+}
+function publicJsxChildOrders(records = []) {
+  const result = new Map();
+  for (const record of records ?? []) {
+    if (!record?.publicContract || !record?.keyPropValue) continue;
+    const key = jsxChildOrderIdentityKey(record);
+    if (key && !result.has(key)) result.set(key, record);
+  }
+  return result;
+}
+
+function uniqueStrings(values) { return [...new Set(values.filter((value) => typeof value === 'string' && value.length > 0))]; }
+
+export { projectJsxChildOrderDeltaConflicts, projectJsxPropDeltaConflicts, projectJsxRenderRiskDeltaConflicts };

package/dist/js-ts-safe-project-merge-jsx-prop-contracts.js

@@ -0,0 +1,86 @@
+import { compactRecord, uniqueStrings } from './js-ts-safe-merge-context.js';
+
+export function collectJsxComponentPropContractsFromFileResults(fileResults = []) {
+  const contracts = [];
+  for (const file of Array.isArray(fileResults) ? fileResults : []) {
+    const fallback = file.result?.metadata?.composed?.jsxAttributeFallback;
+    const candidates = fallback?.componentPropContracts ?? fallback?.jsxComponentPropContracts ?? [];
+    for (const candidate of Array.isArray(candidates) ? candidates : []) {
+      contracts.push({ ...candidate, sourcePath: candidate.sourcePath ?? file.sourcePath });
+    }
+  }
+  return contracts;
+}
+
+export function normalizeJsxComponentPropContracts(value) {
+  const values = Array.isArray(value) ? value : [];
+  return values.map((contract, index) => {
+    const attributes = uniqueStrings((Array.isArray(contract.attributes) ? contract.attributes : [])
+      .map((attribute) => String(attribute))
+      .filter(Boolean));
+    return compactRecord({
+      id: contract.id ?? `jsx_component_prop_contract_${index + 1}`,
+      sourcePath: stringOrUndefined(contract.sourcePath),
+      tagName: stringOrUndefined(contract.tagName),
+      tagKey: stringOrUndefined(contract.tagKey),
+      attributes: attributes.length ? attributes : undefined,
+      attributeCount: numberOrUndefined(contract.attributeCount) ?? attributes.length
+    });
+  });
+}
+
+export function matchingJsxComponentPropContracts(diagnostic, jsxComponentPropContracts) {
+  if (!jsxComponentPropContracts.length) return [];
+  const sourcePath = diagnostic.sourcePath;
+  if (!sourcePath) return jsxComponentPropContracts;
+  return jsxComponentPropContracts.filter((contract) => contract.sourcePath === sourcePath);
+}
+
+export function jsxComponentPropContractConflict(jsxComponentPropContracts) {
+  return {
+    code: 'jsx-component-prop-contract-evidence-unavailable',
+    gateId: 'jsx-component-prop-contract',
+    message: 'JSX component prop changes require TypeScript diagnostics or supplied diagnostics before project admission.',
+    sourcePath: jsxComponentPropContracts.length === 1 ? jsxComponentPropContracts[0].sourcePath : undefined,
+    details: {
+      required: true,
+      candidates: jsxComponentPropContracts
+    }
+  };
+}
+
+export function jsxComponentPropContractEvidence(id, status, diagnostics, conflicts, diagnosticSource, jsxComponentPropContracts) {
+  if (!jsxComponentPropContracts.length) return [];
+  return [{
+    id: `${id}_jsx_component_prop_contract_evidence`,
+    kind: 'js-ts-jsx-component-prop-contract-evidence',
+    status: status === 'passed' ? 'passed' : 'failed',
+    summary: status === 'passed'
+      ? `Validated ${jsxComponentPropContracts.length} JSX component prop contract candidate(s) with diagnostics evidence.`
+      : `Blocked JSX component prop contract candidate(s) on ${conflicts.length} diagnostic or evidence conflict(s).`,
+    metadata: {
+      candidates: jsxComponentPropContracts.length,
+      attributes: jsxComponentPropContracts.reduce((total, contract) => total + (contract.attributeCount ?? 0), 0),
+      diagnosticSource,
+      diagnostics: diagnostics.length,
+      conflicts: conflicts.length,
+      contracts: jsxComponentPropContracts
+    }
+  }];
+}
+
+export function jsxComponentPropContractSummary(jsxComponentPropContracts) {
+  return {
+    jsxComponentPropContractCandidates: jsxComponentPropContracts.length,
+    jsxComponentPropContractFiles: uniqueStrings(jsxComponentPropContracts.map((contract) => contract.sourcePath)).length,
+    jsxComponentPropContractAttributes: jsxComponentPropContracts.reduce((total, contract) => total + (contract.attributeCount ?? 0), 0)
+  };
+}
+
+function stringOrUndefined(value) {
+  return value === undefined || value === null ? undefined : String(value);
+}
+
+function numberOrUndefined(value) {
+  return Number.isFinite(value) ? value : undefined;
+}