semantifold 0.9.0 → 0.11.0

package/src/frontends/ruby.js

@@ -14,6 +14,7 @@ import {
   ConstantReadNode,
   DefNode,
   ElseNode,
+  EmbeddedStatementsNode,
   FalseNode,
   HashNode,
   IfNode,
@@ -49,7 +50,7 @@ import {blockReferencesProtectedEntry} from "../semantic/effects.js"
 import {locationFromOffsets, moduleLocation, utf8ByteOffsetToUtf16Offset} from "../semantic/location.js"
 import {withAdaptedOperation} from "../semantic/operators.js"
 import {withParserRanges} from "../semantic/provenance.js"
-import {hasOnlyUnicodeScalars} from "../semantic/scalars.js"
+import {hasOnlyUnicodeScalars, scalarType} from "../semantic/scalars.js"
 import {isTask034ResourceProbe} from "../semantic/capabilities.js"
 import {hasExactEffectSupport} from "../backends/effects.js"
 import {requireSourceReturnType} from "./scalars.js"
@@ -207,7 +208,65 @@ function convertExpression(node, filename, source, context, expectedType, preser
     return withParserRanges({kind: /** @type {const} */ ("StringLiteral"), location, value: decoded.value}, {literal: location})
   }
 
-  if (node instanceof InterpolatedStringNode) return unsupportedSyntax("ruby", "interpolated string", location)
+  if (node instanceof InterpolatedStringNode) {
+    if (node.openingLoc && slicePrismSource(source, node.openingLoc.startOffset, node.openingLoc.startOffset + node.openingLoc.length).startsWith("<<")) {
+      return unsupportedSyntax("ruby", "heredoc string", location)
+    }
+
+    const parts = node.parts.map((part) => {
+      if (part instanceof StringNode) return convertExpression(part, filename, source, context, scalarType("string"))
+      if (part instanceof EmbeddedStatementsNode) {
+        const statements = part.statements
+
+        if (!statements || statements.body.length != 1) return unsupportedSyntax("ruby", "interpolated statement", nodeLocation(part, filename, source))
+
+        return convertExpression(statements.body[0], filename, source, context, scalarType("string"))
+      }
+
+      return unsupportedSyntax("ruby", part.constructor.name, nodeLocation(part, filename, source))
+    })
+
+    if (parts.length == 0) return withParserRanges({kind: /** @type {const} */ ("StringLiteral"), location, value: ""}, {literal: location})
+
+    let lowered = parts[0]
+
+    for (const part of parts.slice(1)) {
+      const semantic = withAdaptedOperation({
+        kind: /** @type {const} */ ("BinaryExpression"),
+        left: lowered,
+        location,
+        right: part
+      }, /** @type {import("../semantic/operators.js").AdaptedOperation} */ ("StringConcat"))
+
+      lowered = /** @type {import("../semantic/types.js").Expression} */ (/** @type {unknown} */ (semantic))
+    }
+
+    return withParserRanges(lowered, {literal: location})
+  }
+
+  if (node instanceof IfNode && !node.ifKeywordLoc) {
+    const elseClause = node.subsequent
+    const consequentStatements = node.statements
+    const consequentArm = consequentStatements && consequentStatements.body.length == 1 ? consequentStatements.body[0] : undefined
+
+    if (!(elseClause instanceof ElseNode) || !elseClause.statements || elseClause.statements.body.length != 1 || !consequentArm || !node.thenKeywordLoc) {
+      return unsupportedSyntax("ruby", "ternary without alternate", location)
+    }
+
+    return /** @type {import("../semantic/types.js").Expression} */ (/** @type {unknown} */ (withParserRanges({
+      alternate: convertExpression(elseClause.statements.body[0], filename, source, context),
+      condition: convertExpression(node.predicate, filename, source, context),
+      consequent: convertExpression(consequentArm, filename, source, context),
+      kind: /** @type {const} */ ("ConditionalExpression"),
+      location
+    }, {
+      alternate: nodeLocation(elseClause.statements.body[0], filename, source),
+      colon: prismLocation(elseClause.elseKeywordLoc ?? elseClause.location, filename, source),
+      condition: nodeLocation(node.predicate, filename, source),
+      consequent: nodeLocation(consequentArm, filename, source),
+      operator: prismLocation(node.thenKeywordLoc, filename, source)
+    })))
+  }
 
   if (node instanceof OrNode && node.left instanceof LocalVariableReadNode &&
     context.bindings.get(node.left.name)?.kind == "OptionalType") {
@@ -863,6 +922,7 @@ function convertStatement(node, comments, context, filename, source) {
     if ((context.loopDepth ?? 0) > 0) return unsupportedSyntax("ruby", "nonlocal return from each block", nodeLocation(node, filename, source))
     return convertReturn(node, filename, source, context)
   }
+  if (node instanceof IfNode && !node.ifKeywordLoc) return unsupportedSyntax("ruby", "ternary statement", nodeLocation(node, filename, source))
   if (node instanceof IfNode || node instanceof UnlessNode) return convertIf(node, comments, context, filename, source)
   if (node instanceof WhileNode) return convertWhile(node, comments, context, filename, source)
   if (node instanceof BeginNode) return convertRubyTry(node, comments, context, filename, source)

package/src/language-registry.js

@@ -5,6 +5,7 @@ import {SemantifoldDiagnostic, unsupportedRole} from "./diagnostic.js"
 import {generateJava} from "./backends/java.js"
 import {generateKotlin} from "./backends/kotlin.js"
 import {generateCSharpProject} from "./backends/csharp.js"
+import {createCSharpCheckPlan} from "./backends/csharp-check.js"
 import {generateGoModule} from "./backends/go.js"
 import {generateRustProject} from "./backends/rust.js"
 import {generateSwift} from "./backends/swift.js"
@@ -35,12 +36,27 @@ import {parseJavaScriptTypeScript} from "./frontends/javascript-typescript.js"
 import {parsePhp} from "./frontends/php.js"
 import {parsePython} from "./frontends/python.js"
 import {parseRuby} from "./frontends/ruby.js"
+import {createJavaCheckPlan} from "./backends/java-check.js"
+import {createJavaScriptCheckPlan} from "./backends/javascript-check.js"
+import {createKotlinCheckPlan} from "./backends/kotlin-check.js"
+import {createPhpCheckPlan} from "./backends/php-check.js"
+import {createPythonCheckPlan} from "./backends/python-check.js"
+import {createRubyCheckPlan} from "./backends/ruby-check.js"
+import {createTypeScriptCheckPlan} from "./backends/typescript-check.js"
+import {createGoCheckPlan} from "./backends/go-check.js"
+import {createCCheckPlan} from "./backends/c-check.js"
+import {createCppCheckPlan} from "./backends/cpp-check.js"
+import {createRustCheckPlan} from "./backends/rust-check.js"
+import {createSwiftCheckPlan} from "./backends/swift-check.js"
+import {createDartCheckPlan} from "./backends/dart-check.js"
+import {createZigCheckPlan} from "./backends/zig-check.js"
 
 const registryRoles = Object.freeze(["frontend", "textBackend", "binaryBackend", "applicationBackend", "interoperability"])
 const acceptanceStageOrder = ["parse", "generate", "restore", "compile", "link", "validate", "instantiate", "execute"]
 const acceptanceStages = new Map(acceptanceStageOrder.map((stage, index) => [stage, index]))
+const developerCheckStages = new Set(["restore", "compile", "link", "validate"])
 const registryKeys = new Set([
-  "acceptance", "applicationBackend", "artifactMultiplicity", "binaryBackend", "defaultFilename", "frontend", "id",
+  "acceptance", "applicationBackend", "artifactMultiplicity", "binaryBackend", "check", "defaultFilename", "frontend", "id",
   "features", "interoperability", "mapping", "mediaType", "provider", "roundTrip", "textBackend"
 ])
 
@@ -65,6 +81,7 @@ const registryKeys = new Set([
  * @typedef LanguageRegistryRecord
  * @property {string} id - Stable identity.
  * @property {{stages: import("./semantic/types.js").AcceptanceStage[], toolchains: string[]}} acceptance - Acceptance declaration.
+ * @property {Readonly<LanguageRegistryCheckRecord>} check - Developer-check declaration.
  * @property {"single" | "multiple"} artifactMultiplicity - Artifact multiplicity.
  * @property {import("./semantic/types.js").LanguageFeatureCapabilities} features - Semantic feature capabilities.
  * @property {import("./semantic/types.js").LanguageMappingCapabilities} mapping - Mapping capabilities.
@@ -79,6 +96,31 @@ const registryKeys = new Set([
  * @property {RegistryImplementation} [interoperability] - Interoperability bridge.
  */
 
+/**
+ * @typedef {Readonly<{
+ *   artifacts: import("./semantic/types.js").GeneratedArtifactSet,
+ *   buildPath: string,
+ *   projectId: string,
+ *   sourcePath: string,
+ *   targetId: string,
+ *   tools: readonly import("./semantic/types.js").DiscoveredToolchain[]
+ * }>} TargetCheckPlanContext
+ */
+
+/**
+ * @callback TargetCheckPlanFactory
+ * @param {TargetCheckPlanContext} context - Exact staged target context.
+ * @returns {import("./semantic/types.js").TargetCheckPlan} Immutable plan.
+ */
+
+/**
+ * @typedef LanguageRegistryCheckRecord
+ * @property {TargetCheckPlanFactory} [factory] - Target-owned plan factory for supported checks.
+ * @property {readonly import("./semantic/types.js").AcceptanceStage[]} stages - Exact non-executing stages.
+ * @property {boolean} supported - Whether the target supplies a check plan.
+ * @property {readonly string[]} toolchains - Exact declared canonical toolchains.
+ */
+
 /**
  * @typedef LanguageRegistry
  * @property {readonly import("./semantic/types.js").LanguageCapabilities[]} descriptors - Public descriptors.
@@ -129,6 +171,8 @@ export function createLanguageRegistry(candidateRecords) {
     const featuresCandidate = candidate.features ?? {
       closedRecords: false,
       conditionControlledLoops: false,
+      conditionalExpressions: false,
+      stringInterpolation: false,
       effectfulCapabilitiesAndResources: false,
       generalFunctionsAndCalls: false,
       immutableCollections: false,
@@ -141,9 +185,10 @@ export function createLanguageRegistry(candidateRecords) {
     }
 
     if (!isPlainObject(featuresCandidate) ||
-      Object.keys(featuresCandidate).sort().join(",") != "closedRecords,conditionControlledLoops,effectfulCapabilitiesAndResources,generalFunctionsAndCalls,immutableCollections,optionalValues,orderedListIteration,orderedMapIteration,referenceClasses,typeParametersAndGenerics,typedErrors" ||
+      Object.keys(featuresCandidate).sort().join(",") != "closedRecords,conditionControlledLoops,conditionalExpressions,effectfulCapabilitiesAndResources,generalFunctionsAndCalls,immutableCollections,optionalValues,orderedListIteration,orderedMapIteration,referenceClasses,stringInterpolation,typeParametersAndGenerics,typedErrors" ||
       typeof featuresCandidate.closedRecords != "boolean" ||
       typeof featuresCandidate.conditionControlledLoops != "boolean" ||
+      typeof featuresCandidate.conditionalExpressions != "boolean" ||
       typeof featuresCandidate.effectfulCapabilitiesAndResources != "boolean" ||
       typeof featuresCandidate.generalFunctionsAndCalls != "boolean" ||
       typeof featuresCandidate.immutableCollections != "boolean" ||
@@ -151,6 +196,7 @@ export function createLanguageRegistry(candidateRecords) {
       typeof featuresCandidate.orderedListIteration != "boolean" ||
       typeof featuresCandidate.orderedMapIteration != "boolean" ||
       typeof featuresCandidate.referenceClasses != "boolean" ||
+      typeof featuresCandidate.stringInterpolation != "boolean" ||
       typeof featuresCandidate.typedErrors != "boolean" ||
       typeof featuresCandidate.typeParametersAndGenerics != "boolean") {
       invalidRegistry(`Registry record '${id}' has an invalid feature declaration.`, id)
@@ -158,6 +204,7 @@ export function createLanguageRegistry(candidateRecords) {
     const features = deepFreeze(/** @type {import("./semantic/types.js").LanguageFeatureCapabilities} */ ({
       closedRecords: featuresCandidate.closedRecords,
       conditionControlledLoops: featuresCandidate.conditionControlledLoops,
+      conditionalExpressions: featuresCandidate.conditionalExpressions,
       effectfulCapabilitiesAndResources: featuresCandidate.effectfulCapabilitiesAndResources,
       generalFunctionsAndCalls: featuresCandidate.generalFunctionsAndCalls,
       immutableCollections: featuresCandidate.immutableCollections,
@@ -165,6 +212,7 @@ export function createLanguageRegistry(candidateRecords) {
       orderedListIteration: featuresCandidate.orderedListIteration,
       orderedMapIteration: featuresCandidate.orderedMapIteration,
       referenceClasses: featuresCandidate.referenceClasses,
+      stringInterpolation: featuresCandidate.stringInterpolation,
       typedErrors: featuresCandidate.typedErrors,
       typeParametersAndGenerics: featuresCandidate.typeParametersAndGenerics
     }))
@@ -218,6 +266,52 @@ export function createLanguageRegistry(candidateRecords) {
     if (new Set(toolchains).size != toolchains.length) {
       invalidRegistry(`Registry record '${id}' has duplicate acceptance toolchains.`, id)
     }
+    const checkCandidate = candidate.check
+    /** @type {Readonly<LanguageRegistryCheckRecord>} */
+    let check
+
+    if (checkCandidate === undefined) {
+      check = deepFreeze({stages: [], supported: false, toolchains: []})
+    } else {
+      if (!isPlainObject(checkCandidate) || Object.keys(checkCandidate).sort().join(",") != "factory,stages,toolchains" ||
+        typeof checkCandidate.factory != "function" || !isDenseArray(checkCandidate.stages) ||
+        !isDenseArray(checkCandidate.toolchains) || checkCandidate.stages.length == 0) {
+        invalidRegistry(`Registry record '${id}' has an invalid developer-check declaration.`, id)
+      }
+      /** @type {unknown[]} */
+      const checkStageSnapshot = []
+      /** @type {unknown[]} */
+      const checkToolchainSnapshot = []
+
+      for (let index = 0; index < checkCandidate.stages.length; index += 1) {
+        checkStageSnapshot.push(checkCandidate.stages[index])
+      }
+      for (let index = 0; index < checkCandidate.toolchains.length; index += 1) {
+        checkToolchainSnapshot.push(checkCandidate.toolchains[index])
+      }
+      if (!checkStageSnapshot.every(stage => typeof stage == "string" && developerCheckStages.has(stage) &&
+        declaredStages.has(stage)) || !checkToolchainSnapshot.every(toolchain => typeof toolchain == "string" &&
+        toolchains.includes(toolchain)) || new Set(checkStageSnapshot).size != checkStageSnapshot.length ||
+        new Set(checkToolchainSnapshot).size != checkToolchainSnapshot.length) {
+        invalidRegistry(`Registry record '${id}' developer checks must use ordered non-executing declared stages and toolchains.`, id)
+      }
+      let previousCheckStage = -1
+
+      for (const stage of checkStageSnapshot) {
+        const stageIndex = /** @type {number} */ (acceptanceStages.get(/** @type {string} */ (stage)))
+
+        if (stageIndex < previousCheckStage) {
+          invalidRegistry(`Registry record '${id}' has unordered developer-check stages.`, id)
+        }
+        previousCheckStage = stageIndex
+      }
+      check = deepFreeze({
+        factory: /** @type {TargetCheckPlanFactory} */ (checkCandidate.factory),
+        stages: /** @type {import("./semantic/types.js").AcceptanceStage[]} */ (checkStageSnapshot),
+        supported: true,
+        toolchains: /** @type {string[]} */ (checkToolchainSnapshot)
+      })
+    }
 
     const hasFrontend = typeof candidate.frontend == "function"
     const hasTextBackend = typeof candidate.textBackend == "function"
@@ -225,6 +319,10 @@ export function createLanguageRegistry(candidateRecords) {
     const hasApplicationBackend = typeof candidate.applicationBackend == "function"
     const hasBackend = hasTextBackend || hasBinaryBackend || hasApplicationBackend
 
+    if (check.supported && !hasBackend) {
+      invalidRegistry(`Registry record '${id}' declares developer checks without a backend role.`, id)
+    }
+
     if ((mapping.richText || mapping.sourceMapV3 || mapping.binaryRanges) && !hasBackend ||
       mapping.sourceMapV3 && !mapping.richText ||
       mapping.binaryRanges && !hasBinaryBackend && !hasApplicationBackend) {
@@ -255,6 +353,7 @@ export function createLanguageRegistry(candidateRecords) {
     const record = deepFreeze(/** @type {LanguageRegistryRecord} */ ({
       acceptance,
       artifactMultiplicity,
+      check,
       features,
       id,
       mapping,
@@ -271,6 +370,7 @@ export function createLanguageRegistry(candidateRecords) {
     const descriptor = deepFreeze(/** @type {import("./semantic/types.js").LanguageCapabilities} */ ({
       acceptance,
       artifactMultiplicity,
+      check: deepFreeze({stages: check.stages, supported: check.supported, toolchains: check.toolchains}),
       features,
       id,
       mapping,
@@ -384,7 +484,8 @@ const zigFrontend = ({filename, source}) => parseZig({filename, source})
 
 const records = [
   language({
-    acceptance: {stages: ["parse", "generate", "execute"], toolchains: ["php82"]},
+    acceptance: {stages: ["parse", "generate", "validate", "execute"], toolchains: ["php82"]},
+    check: {factory: createPhpCheckPlan, stages: ["validate"], toolchains: ["php82"]},
     defaultFilename: "program.php",
     frontend: phpFrontend,
     id: "php",
@@ -392,7 +493,8 @@ const records = [
     textBackend: generatePhp
   }),
   language({
-    acceptance: {stages: ["parse", "generate", "execute"], toolchains: ["ruby"]},
+    acceptance: {stages: ["parse", "generate", "validate", "execute"], toolchains: ["ruby"]},
+    check: {factory: createRubyCheckPlan, stages: ["validate"], toolchains: ["ruby"]},
     defaultFilename: "program.rb",
     frontend: rubyFrontend,
     id: "ruby",
@@ -400,7 +502,8 @@ const records = [
     textBackend: generateRuby
   }),
   language({
-    acceptance: {stages: ["parse", "generate", "execute"], toolchains: ["node"]},
+    acceptance: {stages: ["parse", "generate", "validate", "execute"], toolchains: ["node"]},
+    check: {factory: createJavaScriptCheckPlan, stages: ["validate"], toolchains: ["node"]},
     defaultFilename: "program.js",
     frontend: javaScriptFrontend,
     id: "javascript",
@@ -409,6 +512,7 @@ const records = [
   }),
   language({
     acceptance: {stages: ["parse", "generate", "compile", "execute"], toolchains: ["tsc", "node"]},
+    check: {factory: createTypeScriptCheckPlan, stages: ["compile"], toolchains: ["tsc"]},
     defaultFilename: "program.ts",
     frontend: typeScriptFrontend,
     id: "typescript",
@@ -417,6 +521,7 @@ const records = [
   }),
   language({
     acceptance: {stages: ["parse", "generate", "compile", "execute"], toolchains: ["javac", "java"]},
+    check: {factory: createJavaCheckPlan, stages: ["compile"], toolchains: ["javac"]},
     defaultFilename: "Main.java",
     frontend: javaFrontend,
     id: "java",
@@ -425,6 +530,7 @@ const records = [
   }),
   language({
     acceptance: {stages: ["parse", "generate", "compile", "execute"], toolchains: ["kotlinc", "java25"]},
+    check: {factory: createKotlinCheckPlan, stages: ["compile"], toolchains: ["kotlinc"]},
     defaultFilename: "Program.kt",
     frontend: kotlinFrontend,
     id: "kotlin",
@@ -433,6 +539,7 @@ const records = [
   }),
   language({
     acceptance: {stages: ["parse", "generate", "compile", "execute"], toolchains: ["python"]},
+    check: {factory: createPythonCheckPlan, stages: ["compile"], toolchains: ["python"]},
     defaultFilename: "program.py",
     frontend: pythonFrontend,
     id: "python",
@@ -442,6 +549,7 @@ const records = [
   language({
     acceptance: {stages: ["parse", "generate", "restore", "compile", "execute"], toolchains: ["dotnet"]},
     artifactMultiplicity: "multiple",
+    check: {factory: createCSharpCheckPlan, stages: ["restore", "compile"], toolchains: ["dotnet"]},
     defaultFilename: "Program.cs",
     frontend: csharpFrontend,
     id: "csharp",
@@ -451,6 +559,7 @@ const records = [
   language({
     acceptance: {stages: ["parse", "generate", "compile", "validate", "execute"], toolchains: ["go"]},
     artifactMultiplicity: "multiple",
+    check: {factory: createGoCheckPlan, stages: ["compile", "validate"], toolchains: ["go"]},
     defaultFilename: "main.go",
     frontend: goFrontend,
     id: "go",
@@ -460,6 +569,7 @@ const records = [
   language({
     acceptance: {stages: ["parse", "generate", "compile", "link", "execute"], toolchains: ["clang"]},
     artifactMultiplicity: "multiple",
+    check: {factory: createCCheckPlan, stages: ["compile", "link"], toolchains: ["clang"]},
     defaultFilename: "program.c",
     frontend: parseC,
     id: "c",
@@ -468,22 +578,28 @@ const records = [
   }),
   language({
     acceptance: {stages: ["parse", "generate", "compile", "link", "execute"], toolchains: ["clangpp"]},
+    check: {factory: createCppCheckPlan, stages: ["compile", "link"], toolchains: ["clangpp"]},
     defaultFilename: "program.cpp", frontend: parseCpp, id: "cpp", mediaType: "text/x-c++src", textBackend: generateCpp
   }),
   language({
     acceptance: {stages: ["parse", "generate", "compile", "validate", "execute"], toolchains: ["rustc", "cargo"]},
     artifactMultiplicity: "multiple",
+    check: {factory: createRustCheckPlan, stages: ["compile", "validate"], toolchains: ["rustc", "cargo"]},
     defaultFilename: "src/main.rs", frontend: parseRust, id: "rust", mediaType: "text/x-rust", textBackend: generateRustProject
   }),
   language({acceptance: {stages: ["parse", "generate", "compile", "execute"], toolchains: ["swiftc"]},
+    check: {factory: createSwiftCheckPlan, stages: ["compile"], toolchains: ["swiftc"]},
     defaultFilename: "program.swift", frontend: parseSwift, id: "swift", mediaType: "text/x-swift", textBackend: generateSwift}),
   language({
     acceptance: {stages: ["parse", "generate", "restore", "compile", "validate", "execute"], toolchains: ["dart"]},
     artifactMultiplicity: "multiple",
+    check: {factory: createDartCheckPlan, stages: ["restore", "compile", "validate"], toolchains: ["dart"]},
     defaultFilename: "bin/program.dart",
     features: {
       closedRecords: false,
       conditionControlledLoops: false,
+      conditionalExpressions: false,
+      stringInterpolation: false,
       effectfulCapabilitiesAndResources: false,
       generalFunctionsAndCalls: true,
       immutableCollections: false,
@@ -502,10 +618,13 @@ const records = [
   language({
     acceptance: {stages: ["parse", "generate", "compile", "validate", "execute"], toolchains: ["zig"]},
     artifactMultiplicity: "multiple",
+    check: {factory: createZigCheckPlan, stages: ["compile", "validate"], toolchains: ["zig"]},
     defaultFilename: "src/main.zig",
     features: {
       closedRecords: false,
       conditionControlledLoops: false,
+      conditionalExpressions: false,
+      stringInterpolation: false,
       effectfulCapabilitiesAndResources: false,
       generalFunctionsAndCalls: true,
       immutableCollections: false,
@@ -527,7 +646,7 @@ const records = [
     artifactMultiplicity: "multiple",
     binaryBackend: generateBrowserWasm,
     defaultFilename: "program.wasm",
-    features: {closedRecords: false, conditionControlledLoops: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
+    features: {closedRecords: false, conditionControlledLoops: false, conditionalExpressions: false, stringInterpolation: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
     id: "wasm",
     mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
     mediaType: "application/wasm",
@@ -537,7 +656,7 @@ const records = [
     acceptance: {stages: ["generate", "compile", "validate", "instantiate", "execute"], toolchains: ["android"]},
     applicationBackend: generateAndroidApplication,
     artifactMultiplicity: "multiple",
-    features: {closedRecords: false, conditionControlledLoops: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
+    features: {closedRecords: false, conditionControlledLoops: false, conditionalExpressions: false, stringInterpolation: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
     id: "android",
     mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
     roundTrip: false
@@ -546,7 +665,7 @@ const records = [
     acceptance: {stages: ["generate"], toolchains: []},
     applicationBackend: generateIosApplication,
     artifactMultiplicity: "multiple",
-    features: {closedRecords: false, conditionControlledLoops: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
+    features: {closedRecords: false, conditionControlledLoops: false, conditionalExpressions: false, stringInterpolation: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
     id: "ios",
     mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
     roundTrip: false
@@ -555,7 +674,7 @@ const records = [
     acceptance: {stages: ["generate", "restore", "compile", "validate", "instantiate", "execute"], toolchains: ["flutter", "android"]},
     applicationBackend: generateFlutterApplication,
     artifactMultiplicity: "multiple",
-    features: {closedRecords: false, conditionControlledLoops: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
+    features: {closedRecords: false, conditionControlledLoops: false, conditionalExpressions: false, stringInterpolation: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
     id: "flutter",
     mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
     roundTrip: false
@@ -580,6 +699,8 @@ function language(values) {
     features: {
       closedRecords: ["php", "ruby", "javascript", "typescript", "java"].includes(String(values.id)),
       conditionControlledLoops: ["php", "ruby", "javascript", "typescript", "java"].includes(String(values.id)),
+      conditionalExpressions: ["php", "ruby", "javascript", "typescript", "java"].includes(String(values.id)),
+      stringInterpolation: ["php", "ruby", "javascript", "typescript"].includes(String(values.id)),
       effectfulCapabilitiesAndResources: ["php", "ruby", "javascript", "typescript", "java"].includes(String(values.id)),
       generalFunctionsAndCalls: ["php", "ruby", "javascript", "typescript", "java"].includes(String(values.id)),
       immutableCollections: ["php", "ruby", "javascript", "typescript", "java"].includes(String(values.id)),