semantifold 0.5.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"
@@ -24,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"
@@ -373,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"]},
@@ -490,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,

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,6 +1,6 @@
 // @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" | "android"} BackendLanguage */
 /** @typedef {SemanticLanguage | "html"} GeneratedTextLanguage */

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}
+}