semantifold 0.4.0 → 0.6.0

package/src/language-registry.js

@@ -9,6 +9,7 @@ import {generateGoModule} from "./backends/go.js"
 import {generateRustProject} from "./backends/rust.js"
 import {generateSwift} from "./backends/swift.js"
 import {generateDartPackage} from "./backends/dart.js"
+import {generateZigProject} from "./backends/zig.js"
 import {generateJavaScript} from "./backends/javascript.js"
 import {generatePhp} from "./backends/php.js"
 import {generatePython} from "./backends/python.js"
@@ -16,6 +17,7 @@ import {generateRuby} from "./backends/ruby.js"
 import {generateTypeScript} from "./backends/typescript.js"
 import {generateBrowserWasm} from "./backends/wasm.js"
 import {generateIosApplication} from "./backends/ios.js"
+import {generateAndroidApplication} from "./backends/android.js"
 import {parseJava} from "./frontends/java.js"
 import {parseKotlin} from "./frontends/kotlin.js"
 import {parseCSharp} from "./frontends/csharp.js"
@@ -23,6 +25,7 @@ import {parseGo} from "./frontends/go.js"
 import {parseRust} from "./frontends/rust.js"
 import {parseSwift} from "./frontends/swift.js"
 import {parseDart} from "./frontends/dart.js"
+import {parseZig} from "./frontends/zig.js"
 import {parseCpp} from "./frontends/cpp.js"
 import {generateCpp} from "./backends/cpp.js"
 import {parseC} from "./frontends/c.js"
@@ -372,6 +375,12 @@ const goFrontend = ({filename, source}) => parseGo({filename, source})
  */
 const dartFrontend = ({filename, source}) => parseDart({filename, source})
 
+/**
+ * Zig registry frontend wrapper.
+ * @type {Frontend}
+ */
+const zigFrontend = ({filename, source}) => parseZig({filename, source})
+
 const records = [
   language({
     acceptance: {stages: ["parse", "generate", "execute"], toolchains: ["php82"]},
@@ -489,6 +498,28 @@ const records = [
     mediaType: "text/x-dart",
     textBackend: generateDartPackage
   }),
+  language({
+    acceptance: {stages: ["parse", "generate", "compile", "validate", "execute"], toolchains: ["zig"]},
+    artifactMultiplicity: "multiple",
+    defaultFilename: "src/main.zig",
+    features: {
+      closedRecords: false,
+      conditionControlledLoops: false,
+      effectfulCapabilitiesAndResources: false,
+      generalFunctionsAndCalls: true,
+      immutableCollections: false,
+      optionalValues: false,
+      orderedListIteration: false,
+      orderedMapIteration: false,
+      referenceClasses: false,
+      typedErrors: false,
+      typeParametersAndGenerics: false
+    },
+    frontend: zigFrontend,
+    id: "zig",
+    mediaType: "text/x-zig",
+    textBackend: generateZigProject
+  }),
   {
     acceptance: {stages: ["generate", "validate", "instantiate", "execute"], toolchains: ["wasm-validate", "node", "chromium"]},
     applicationBackend: generateBrowserWasm,
@@ -501,6 +532,15 @@ const records = [
     mediaType: "application/wasm",
     roundTrip: false
   },
+  {
+    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},
+    id: "android",
+    mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
+    roundTrip: false
+  },
   {
     acceptance: {stages: ["generate"], toolchains: []},
     applicationBackend: generateIosApplication,

package/src/mapping.js

@@ -1120,7 +1120,7 @@ function validPoint(value) {
  */
 function isSemanticLanguage(value) {
   return value == "php" || value == "ruby" || value == "javascript" || value == "typescript" || value == "java" ||
-    value == "kotlin" || value == "python" || value == "csharp" || value == "go" || value == "c" || value == "cpp" || value == "rust" || value == "swift" || value == "dart"
+    value == "kotlin" || value == "python" || value == "csharp" || value == "go" || value == "c" || value == "cpp" || value == "rust" || value == "swift" || value == "dart" || value == "zig"
 }
 
 /**

package/src/semantic/provenance.js

@@ -204,7 +204,7 @@ export function createGenerationIndex(module, providedSources = []) {
    */
   function addSource(filename, content, language) {
     if (typeof filename != "string" || content !== null && typeof content != "string" ||
-      language !== null && !["php", "ruby", "javascript", "typescript", "java", "kotlin", "python", "csharp", "go", "c", "cpp", "rust", "swift", "dart"].includes(language)) {
+      language !== null && !["php", "ruby", "javascript", "typescript", "java", "kotlin", "python", "csharp", "go", "c", "cpp", "rust", "swift", "dart", "zig"].includes(language)) {
       throw new TypeError("Malformed semantic source registry entry.")
     }
 
@@ -261,7 +261,7 @@ function usableSourceProvenance(provenance) {
     if (!source || typeof source.id != "string" || sourceIds.has(source.id) || typeof source.filename != "string" ||
       source.filename.length == 0 ||
       source.content !== null && typeof source.content != "string" || source.language !== null &&
-      !["php", "ruby", "javascript", "typescript", "java", "kotlin", "python", "csharp", "go", "c", "cpp", "rust", "swift", "dart"].includes(source.language)) return undefined
+      !["php", "ruby", "javascript", "typescript", "java", "kotlin", "python", "csharp", "go", "c", "cpp", "rust", "swift", "dart", "zig"].includes(source.language)) return undefined
     sourceIds.add(source.id)
   }
 

package/src/semantic/types.js

@@ -1,8 +1,8 @@
 // @ts-check
 
-/** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "kotlin" | "python" | "csharp" | "go" | "c" | "cpp" | "rust" | "swift" | "dart"} SemanticLanguage */
+/** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "kotlin" | "python" | "csharp" | "go" | "c" | "cpp" | "rust" | "swift" | "dart" | "zig"} SemanticLanguage */
 /** @typedef {SemanticLanguage} TextBackendLanguage */
-/** @typedef {TextBackendLanguage | "wasm" | "ios"} BackendLanguage */
+/** @typedef {TextBackendLanguage | "wasm" | "ios" | "android"} BackendLanguage */
 /** @typedef {SemanticLanguage | "html"} GeneratedTextLanguage */
 /** @typedef {"integer" | "boolean" | "string"} SemanticTypeName */
 /** @typedef {SemanticTypeName | "void"} FunctionReturnTypeName */
@@ -58,6 +58,51 @@
  * @property {string} sha256 - Lowercase SHA-256 of exact UTF-8 text or bytes.
  */
 
+/**
+ * @typedef AndroidApplicationConfigurationInput
+ * @property {string} [applicationId] - Lowercase reverse-DNS Android application identity.
+ * @property {string} [namespace] - Kotlin/Android namespace; defaults to applicationId.
+ * @property {string} [packageName] - Generated Kotlin package; defaults to namespace.
+ * @property {string} [activityClassName] - Launcher Activity class name.
+ * @property {string} [productName] - Deterministic project product name.
+ * @property {string} [displayName] - User-visible application label.
+ * @property {23} [minimumSdk] - Qualified minimum Android API.
+ * @property {35} [targetSdk] - Qualified target Android API.
+ * @property {35} [compileSdk] - Qualified compile Android API.
+ * @property {"35.0.0"} [buildToolsVersion] - Qualified Android Build Tools version.
+ * @property {number} [versionCode] - Positive Android version code.
+ * @property {string} [versionName] - Canonical application version name.
+ * @property {"unspecified"} [orientation] - Baseline orientation behavior.
+ * @property {"system"} [theme] - Baseline platform-native theme.
+ * @property {unknown[]} [permissions] - Validated as the closed empty permission set.
+ */
+
+/**
+ * @typedef AndroidApplicationConfiguration
+ * @property {string} applicationId - Validated Android application identity.
+ * @property {string} namespace - Validated Android namespace.
+ * @property {string} packageName - Generated Kotlin package.
+ * @property {string} activityClassName - Launcher Activity class name.
+ * @property {string} productName - Project product name.
+ * @property {string} displayName - User-visible application label.
+ * @property {23} minimumSdk - Qualified minimum Android API.
+ * @property {35} targetSdk - Qualified target Android API.
+ * @property {35} compileSdk - Qualified compile Android API.
+ * @property {"35.0.0"} buildToolsVersion - Qualified Android Build Tools version.
+ * @property {number} versionCode - Positive Android version code.
+ * @property {string} versionName - Canonical application version name.
+ * @property {"unspecified"} orientation - Baseline orientation behavior.
+ * @property {"system"} theme - Platform-native theme.
+ */
+
+/**
+ * @typedef AndroidApplicationInputFile
+ * @property {string} path - Safe path relative to the selected fixed Android resource or asset root.
+ * @property {string | Uint8Array} content - Exact caller-provided text or bytes.
+ * @property {string} mediaType - Explicit artifact media type.
+ * @property {string} sha256 - Lowercase SHA-256 of exact UTF-8 text or bytes.
+ */
+
 /**
  * @typedef LanguageRoleCapabilities
  * @property {boolean} frontend - Parser adapter availability.

package/src/semantic/validate.js

@@ -8,7 +8,7 @@ import {parserRangeFor} from "./provenance.js"
 import {validateEffectGraph} from "./effects.js"
 import {validateResourceLifetimes} from "./lifetime.js"
 
-const task005Languages = new Set(["php", "ruby", "javascript", "typescript", "java", "dart"])
+const task005Languages = new Set(["php", "ruby", "javascript", "typescript", "java", "dart", "zig"])
 
 /** @typedef {Map<string, import("./types.js").RecordDeclaration>} RecordRegistry */
 /** @typedef {Map<string, import("./types.js").ClassDeclaration>} ClassRegistry */

package/src/toolchains.js

@@ -30,6 +30,7 @@ export const canonicalToolchains = deepFreeze({
   clang: definition("clang", "SEMANTIFOLD_CLANG", ["--version"], /^Ubuntu clang version 21\.1\.8 [^\n]+\nTarget: x86_64-pc-linux-gnu\n/u),
   rustc: definition("rustc", "SEMANTIFOLD_RUSTC", ["--version", "--verbose"], /^rustc 1\.98\.1 \(48a229cea 2026-09-01\)\nbinary: rustc\ncommit-hash: 48a229ceaefd4985c50990b14116b6d856af0985\ncommit-date: 2026-09-01\nhost: x86_64-unknown-linux-gnu\nrelease: 1\.98\.1\nLLVM version: 22\.1\.8$/u),
   cargo: definition("cargo", "SEMANTIFOLD_CARGO", ["--version", "--verbose"], /^cargo 1\.98\.1 \(797e8a9bc 2026-08-05\)\nrelease: 1\.98\.1\ncommit-hash: 797e8a9bca276c1c9f9f738d2a20f484fa4eea9d\ncommit-date: 2026-08-05\nhost: x86_64-unknown-linux-gnu\n/u),
+  zig: definition("zig", "SEMANTIFOLD_ZIG", ["version"], /^0\.15\.2$/u),
   swiftc: definition("swiftc", "SEMANTIFOLD_SWIFTC", ["--driver-mode=swiftc", "--version"], /^Swift version 6\.3\.3 \(swift-6\.3\.3-RELEASE\)\nTarget: x86_64-unknown-linux-gnu$/u),
   "wasm-validate": definition("wasm-validate", "SEMANTIFOLD_WASM_VALIDATE", ["--version"], /^1\.0\.36$/u),
   chromium: definition("chromium", "SEMANTIFOLD_CHROMIUM", ["--version"], /^Google Chrome 152\.0\.7977\.82$/u)

package/src/zig-bindings.js

@@ -0,0 +1,46 @@
+// @ts-check
+
+/**
+ * Collects semantic binding reads and explicit assignment targets for Zig's compile-error-level binding checks.
+ * @param {import("./semantic/types.js").Block} block - Complete function or entry block.
+ * @returns {{reads: Set<string>, writes: Set<string>}} Binding usage by exact source name.
+ */
+export function collectZigBindingUsage(block) {
+  const reads = new Set()
+  const writes = new Set()
+  /**
+   * Records every binding read in one expression.
+   * @param {import("./semantic/types.js").Expression} expression - Expression to traverse.
+   */
+  const expression = (expression) => {
+    if (expression.kind == "IdentifierExpression") reads.add(expression.name)
+    else if (expression.kind == "CallExpression") expression.arguments.forEach(argument => expressionVisit(argument))
+    else if (expression.kind == "UnaryExpression") expressionVisit(expression.operand)
+    else if (expression.kind == "BinaryExpression") {
+      expressionVisit(expression.left)
+      expressionVisit(expression.right)
+    }
+  }
+  const expressionVisit = expression
+  /**
+   * Records reads and writes throughout one block subtree.
+   * @param {import("./semantic/types.js").Block} current - Block to traverse.
+   */
+  const visit = (current) => {
+    for (const statement of current.statements) {
+      if (statement.kind == "LocalDeclaration") expressionVisit(statement.initializer)
+      else if (statement.kind == "AssignmentStatement") {
+        writes.add(statement.target.name)
+        expressionVisit(statement.expression)
+      } else if (statement.kind == "IfStatement") {
+        expressionVisit(statement.condition)
+        visit(statement.consequent)
+        if (statement.alternate) visit(statement.alternate)
+      } else if (statement.kind == "ExpressionStatement" || statement.kind == "PrintStatement") expressionVisit(statement.expression)
+      else if (statement.kind == "ReturnStatement" && statement.expression) expressionVisit(statement.expression)
+    }
+  }
+
+  visit(block)
+  return {reads, writes}
+}