semantifold 0.2.0 → 0.3.0

package/src/frontends/scalars.js

@@ -15,6 +15,21 @@ function sourceTypeMap(entries) {
 
 /** @type {Readonly<Record<import("../semantic/types.js").SemanticLanguage, Map<string, import("../semantic/types.js").SemanticTypeName>>>} */
 const sourceScalarTypes = Object.freeze({
+  cpp: sourceTypeMap([["std::int64_t", "integer"], ["bool", "boolean"], ["std::string", "string"]]),
+  c: sourceTypeMap([["int64_t", "integer"], ["bool", "boolean"], ["SemantifoldString", "string"]]),
+  csharp: sourceTypeMap([
+    ["long", "integer"],
+    ["System.Int64", "integer"],
+    ["bool", "boolean"],
+    ["System.Boolean", "boolean"],
+    ["string", "string"],
+    ["System.String", "string"]
+  ]),
+  go: sourceTypeMap([
+    ["int64", "integer"],
+    ["bool", "boolean"],
+    ["string", "string"]
+  ]),
   java: sourceTypeMap([
     ["int", "integer"],
     ["boolean", "boolean"],

package/src/language-registry.js

@@ -3,19 +3,27 @@
 import {isDenseArray} from "./array.js"
 import {SemantifoldDiagnostic, unsupportedRole} from "./diagnostic.js"
 import {generateJava} from "./backends/java.js"
+import {generateCSharpProject} from "./backends/csharp.js"
+import {generateGoModule} from "./backends/go.js"
 import {generateJavaScript} from "./backends/javascript.js"
 import {generatePhp} from "./backends/php.js"
 import {generatePython} from "./backends/python.js"
 import {generateRuby} from "./backends/ruby.js"
 import {generateTypeScript} from "./backends/typescript.js"
 import {parseJava} from "./frontends/java.js"
+import {parseCSharp} from "./frontends/csharp.js"
+import {parseGo} from "./frontends/go.js"
+import {parseCpp} from "./frontends/cpp.js"
+import {generateCpp} from "./backends/cpp.js"
+import {parseC} from "./frontends/c.js"
+import {generateCProgram} from "./backends/c.js"
 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"
 
 const registryRoles = Object.freeze(["frontend", "textBackend", "binaryBackend", "applicationBackend", "interoperability"])
-const acceptanceStageOrder = ["parse", "generate", "compile", "link", "validate", "instantiate", "execute"]
+const acceptanceStageOrder = ["parse", "generate", "restore", "compile", "link", "validate", "instantiate", "execute"]
 const acceptanceStages = new Map(acceptanceStageOrder.map((stage, index) => [stage, index]))
 const registryKeys = new Set([
   "acceptance", "applicationBackend", "artifactMultiplicity", "binaryBackend", "defaultFilename", "frontend", "id",
@@ -264,6 +272,18 @@ const javaFrontend = ({filename, source}) => parseJava({filename, source})
  */
 const pythonFrontend = ({filename, source}) => parsePython({filename, source})
 
+/**
+ * C# registry frontend wrapper.
+ * @type {Frontend}
+ */
+const csharpFrontend = ({filename, source}) => parseCSharp({filename, source})
+
+/**
+ * Go registry frontend wrapper.
+ * @type {Frontend}
+ */
+const goFrontend = ({filename, source}) => parseGo({filename, source})
+
 const records = [
   language({
     acceptance: {stages: ["parse", "generate", "execute"], toolchains: ["php"]},
@@ -312,6 +332,37 @@ const records = [
     id: "python",
     mediaType: "text/x-python",
     textBackend: generatePython
+  }),
+  language({
+    acceptance: {stages: ["parse", "generate", "restore", "compile", "execute"], toolchains: ["dotnet"]},
+    artifactMultiplicity: "multiple",
+    defaultFilename: "Program.cs",
+    frontend: csharpFrontend,
+    id: "csharp",
+    mediaType: "text/x-csharp",
+    textBackend: generateCSharpProject
+  }),
+  language({
+    acceptance: {stages: ["parse", "generate", "compile", "validate", "execute"], toolchains: ["go"]},
+    artifactMultiplicity: "multiple",
+    defaultFilename: "main.go",
+    frontend: goFrontend,
+    id: "go",
+    mediaType: "text/x-go",
+    textBackend: generateGoModule
+  }),
+  language({
+    acceptance: {stages: ["parse", "generate", "compile", "link", "execute"], toolchains: ["clang"]},
+    artifactMultiplicity: "multiple",
+    defaultFilename: "program.c",
+    frontend: parseC,
+    id: "c",
+    mediaType: "text/x-c",
+    textBackend: generateCProgram
+  }),
+  language({
+    acceptance: {stages: ["parse", "generate", "compile", "link", "execute"], toolchains: ["clangpp"]},
+    defaultFilename: "program.cpp", frontend: parseCpp, id: "cpp", mediaType: "text/x-c++src", textBackend: generateCpp
   })
 ]
 

package/src/mapping.js

@@ -1105,7 +1105,7 @@ function validPoint(value) {
  */
 function isLanguage(value) {
   return value == "php" || value == "ruby" || value == "javascript" || value == "typescript" || value == "java" ||
-    value == "python"
+    value == "python" || value == "csharp" || value == "go" || value == "c" || value == "cpp"
 }
 
 /**

package/src/semantic/provenance.js

@@ -185,7 +185,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", "python"].includes(language)) {
+      language !== null && !["php", "ruby", "javascript", "typescript", "java", "python", "csharp", "go", "c", "cpp"].includes(language)) {
       throw new TypeError("Malformed semantic source registry entry.")
     }
 
@@ -242,7 +242,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", "python"].includes(source.language)) return undefined
+      !["php", "ruby", "javascript", "typescript", "java", "python", "csharp", "go", "c", "cpp"].includes(source.language)) return undefined
     sourceIds.add(source.id)
   }
 

package/src/semantic/types.js

@@ -1,12 +1,12 @@
 // @ts-check
 
-/** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "python"} SemanticLanguage */
+/** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "python" | "csharp" | "go" | "c" | "cpp"} SemanticLanguage */
 /** @typedef {"integer" | "boolean" | "string"} SemanticTypeName */
 /** @typedef {"IntegerNegate" | "BooleanNot"} SemanticUnaryOperation */
 /** @typedef {"IntegerAdd" | "IntegerSubtract" | "IntegerMultiply" | "BooleanAnd" | "BooleanOr" | "IntegerEqual" | "IntegerNotEqual" | "BooleanEqual" | "BooleanNotEqual" | "StringEqual" | "StringNotEqual" | "IntegerLessThan" | "IntegerLessThanOrEqual" | "IntegerGreaterThan" | "IntegerGreaterThanOrEqual" | "StringConcat"} SemanticBinaryOperation */
 /** @typedef {"function" | "parameter" | "local"} SemanticSymbolKind */
 /** @typedef {"declaration" | "read" | "write" | "call"} SemanticSymbolRole */
-/** @typedef {"parse" | "generate" | "compile" | "link" | "validate" | "instantiate" | "execute"} AcceptanceStage */
+/** @typedef {"parse" | "generate" | "restore" | "compile" | "link" | "validate" | "instantiate" | "execute"} AcceptanceStage */
 /** @typedef {"entry" | "source" | "manifest" | "support" | "mapping" | "resource" | "loader"} GeneratedArtifactRole */
 
 /**

package/src/subprocess.js

@@ -18,7 +18,27 @@ const deadlineFailures = new WeakSet()
  * @param {number} input.timeoutMs - Deadline before termination begins.
  * @returns {Promise<{stderr: string, stdout: string}>} Output after the owned process group closes.
  */
-export function executeFileWithDeadline({arguments: processArguments, cwd, environment, executable, maxBuffer, timeoutMs}) {
+export function executeFileWithDeadline(input) {
+  return executeFileWithDeadlineUsing(input, registerChildSpawn)
+}
+
+/**
+ * Creates an executor whose spawn observation belongs only to that executor instance.
+ * @param {object} dependencies - Internal lifecycle dependencies.
+ * @param {(child: import("node:child_process").ChildProcess, listener: () => void) => void} dependencies.registerSpawnListener - Registers deadline initialization.
+ * @returns {typeof executeFileWithDeadline} Owned subprocess executor.
+ */
+export function createExecuteFileWithDeadline({registerSpawnListener}) {
+  return (input) => executeFileWithDeadlineUsing(input, registerSpawnListener)
+}
+
+/**
+ * Executes with exact instance-owned spawn observation.
+ * @param {Parameters<typeof executeFileWithDeadline>[0]} input - Process request.
+ * @param {(child: import("node:child_process").ChildProcess, listener: () => void) => void} registerSpawnListener - Registers deadline initialization.
+ * @returns {Promise<{stderr: string, stdout: string}>} Output after the owned process group closes.
+ */
+function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environment, executable, maxBuffer, timeoutMs}, registerSpawnListener) {
   if (process.platform == "win32") {
     return Promise.reject(Object.assign(new Error("Owned process-tree termination is unavailable on this platform."), {
       code: "ENOTSUP",
@@ -54,7 +74,7 @@ export function executeFileWithDeadline({arguments: processArguments, cwd, envir
     child.once("error", (error) => {
       launchError = error
     })
-    child.once("spawn", () => {
+    registerSpawnListener(child, () => {
       if (processGroupId == undefined || !verifyOwnedProcessGroup(processGroupId)) {
         launchError = Object.assign(new Error("Spawned subprocess did not establish its required process group."), {code: "ENOTSUP"})
         child.kill("SIGKILL")
@@ -132,6 +152,15 @@ export function executeFileWithDeadline({arguments: processArguments, cwd, envir
   })
 }
 
+/**
+ * Registers production deadline initialization on the child's real spawn event.
+ * @param {import("node:child_process").ChildProcess} child - Exact spawned child.
+ * @param {() => void} listener - Deadline initialization.
+ */
+function registerChildSpawn(child, listener) {
+  child.once("spawn", listener)
+}
+
 /**
  * Creates one byte-bounded UTF-8 stream capture.
  * @param {number} maximumBytes - Maximum captured bytes.

package/src/toolchains.js

@@ -17,7 +17,11 @@ export const canonicalToolchains = deepFreeze({
   tsc: definition("tsc", "SEMANTIFOLD_TSC", ["--version"], /^Version 7\./u),
   javac: definition("javac", "SEMANTIFOLD_JAVAC", ["-version"], /^javac (?:1[7-9]|2[0-9])\./u),
   java: definition("java", "SEMANTIFOLD_JAVA", ["-version"], /^(?:openjdk|java) version "(?:1[7-9]|2[0-9])\./u),
-  python: definition("python3", "SEMANTIFOLD_PYTHON", ["--version"], /^Python 3\./u)
+  python: definition("python3", "SEMANTIFOLD_PYTHON", ["--version"], /^Python 3\./u),
+  dotnet: definition("dotnet", "SEMANTIFOLD_DOTNET", ["--version"], /^10\./u),
+  go: definition("go", "SEMANTIFOLD_GO", ["version"], /^go version go1\.26\.\d+ linux\/amd64$/u),
+  clangpp: definition("clang++", "SEMANTIFOLD_CLANGPP", ["--version"], /^Ubuntu clang version 21\.1\.8 [^\n]+\nTarget: x86_64-pc-linux-gnu\n/u),
+  clang: definition("clang", "SEMANTIFOLD_CLANG", ["--version"], /^Ubuntu clang version 21\.1\.8 [^\n]+\nTarget: x86_64-pc-linux-gnu\n/u)
 })
 
 /**