semantifold 0.9.0 → 0.11.0

package/src/semantic/types.js

@@ -165,6 +165,13 @@
  * @property {readonly string[]} toolchains - Required canonical toolchain IDs.
  */
 
+/**
+ * @typedef LanguageCheckCapabilities
+ * @property {boolean} supported - Whether the target owns a developer check plan.
+ * @property {readonly AcceptanceStage[]} stages - Ordered non-executing developer-check stages.
+ * @property {readonly string[]} toolchains - Exact canonical tools required to construct the plan.
+ */
+
 /**
  * @typedef LanguageFeatureCapabilities
  * @property {boolean} generalFunctionsAndCalls - Task 005 arbitrary required signatures, resolved direct calls, and void functions.
@@ -173,6 +180,8 @@
  * @property {boolean} orderedListIteration - Task 008 ordered immutable-list iteration and nearest-loop control.
  * @property {boolean} orderedMapIteration - Task 014 insertion-ordered immutable-map pair iteration.
  * @property {boolean} conditionControlledLoops - Task 032 strict-Boolean pre-condition loops and resolved control.
+ * @property {boolean} conditionalExpressions - Task 048 strict-Boolean conditional expressions with joined arm types.
+ * @property {boolean} stringInterpolation - Task 048 parser-proved string interpolation lowered to checked string concatenation.
  * @property {boolean} closedRecords - Task 009 nominal closed immutable records, construction, and member reads.
  * @property {boolean} typedErrors - Task 011 nominal unchecked errors, raises, and exact typed catches.
  * @property {boolean} typeParametersAndGenerics - Task 012 invariant unbounded type parameters and closed generic applications.
@@ -189,6 +198,7 @@
  * @property {Readonly<LanguageFeatureCapabilities>} features - Semantic feature capabilities.
  * @property {Readonly<LanguageMappingCapabilities>} mapping - Mapping forms.
  * @property {Readonly<LanguageAcceptanceCapabilities>} acceptance - Stages and toolchains.
+ * @property {Readonly<LanguageCheckCapabilities>} check - Non-executing developer-check capability.
  */
 
 /**
@@ -425,10 +435,15 @@
 
 /**
  * @typedef PublicationRequest
- * @property {string} generationId - Unique explicit generation/cycle identity.
+ * @property {string} generationId - Explicit generation/cycle identity, fresh or an exact retained validator-free candidate.
  * @property {readonly PublicationTargetInput[]} targets - Complete ordered project targets.
  */
 
+/**
+ * @typedef PublicationOptions
+ * @property {AbortSignal} [signal] - Cancellation authority through the active-pointer commit boundary.
+ */
+
 /**
  * @typedef GenerationContentHash
  * @property {"sha256"} algorithm - Hash algorithm.
@@ -504,6 +519,79 @@
  * @property {readonly string[]} versionArguments - Exact version argument array.
  */
 
+/**
+ * @typedef TargetCheckPathArgument
+ * @property {number} index - Exact argv index containing the path.
+ * @property {"source" | "build"} ownership - Candidate subtree that owns the path.
+ * @property {string} [prefix] - Exact non-path argv prefix preceding an owned absolute path.
+ */
+
+/**
+ * @typedef TargetCheckEnvironmentPath
+ * @property {string} name - Exact environment variable containing an owned absolute path.
+ * @property {"source" | "build" | "tool"} ownership - Candidate subtree or discovered tool that owns the path.
+ * @property {DiscoveredToolchain} [tool] - Exact tool executable bound by a tool-owned environment value.
+ */
+
+/**
+ * @typedef TargetCheckOutputOwnership
+ * @property {"build"} ownership - Compiler outputs belong only to the candidate build subtree.
+ * @property {string} path - Exact generation-scoped build root.
+ * @property {string} mediaType - Media type assigned to every produced regular file.
+ * @property {string} role - Language-neutral compiler-output role.
+ */
+
+/**
+ * @typedef TargetCheckStageRequest
+ * @property {AcceptanceStage} stage - Declared non-executing acceptance stage.
+ * @property {DiscoveredToolchain} tool - Exact immutable discovered tool record.
+ * @property {string} executable - Exact executable copied from the tool record.
+ * @property {readonly string[]} argv - Exact shell-free argument vector.
+ * @property {readonly TargetCheckPathArgument[]} pathArguments - Complete ownership declaration for argv paths.
+ * @property {string} cwd - Exact candidate-scoped working directory.
+ * @property {Readonly<Record<string, string>>} environment - Exact deterministic environment.
+ * @property {readonly TargetCheckEnvironmentPath[]} environmentPaths - Owned absolute environment paths.
+ * @property {string | null} inputHash - SHA-256 of declared restore inputs, or null for unconditional stages.
+ * @property {readonly string[]} inputs - Complete staged artifact inputs read by the stage.
+ * @property {Readonly<TargetCheckOutputOwnership> | null} output - Build output ownership, or null for non-producing checks.
+ * @property {readonly string[]} transientPaths - Candidate source/build cache or intermediate directories removed after checking.
+ */
+
+/**
+ * @typedef TargetCheckPlan
+ * @property {"SemantifoldTargetCheckPlan"} schema - Plan schema discriminator.
+ * @property {1} version - Plan schema version.
+ * @property {"developer-check"} mode - Non-executing developer-check mode.
+ * @property {string} projectId - Exact project identity.
+ * @property {string} targetId - Exact project target identity.
+ * @property {string} target - Registered backend target identity.
+ * @property {string} sourcePath - Exact staged generated-source root.
+ * @property {string} buildPath - Exact staged compiler-output root.
+ * @property {readonly string[]} artifactPaths - Exact staged artifact paths.
+ * @property {readonly TargetCheckStageRequest[]} stages - Ordered target-owned requests.
+ */
+
+/**
+ * @typedef TargetCheckStageResult
+ * @property {AcceptanceStage} stage - Completed stage identity.
+ * @property {Readonly<{command: string, executable: string, id: string, source: "override" | "canonical", version: string}>} tool - Exact tool identity.
+ * @property {readonly string[]} argv - Exact executed argument vector.
+ * @property {number} exitCode - Successful process exit code.
+ * @property {null} signal - Successful process signal state.
+ * @property {string} stdout - Bounded captured standard output.
+ * @property {string} stderr - Bounded captured standard error.
+ * @property {number} durationMs - Non-negative stage duration.
+ */
+
+/**
+ * @typedef TargetCheckResult
+ * @property {string} projectId - Exact project identity.
+ * @property {string} targetId - Exact project target identity.
+ * @property {string} target - Registered backend target identity.
+ * @property {readonly TargetCheckStageResult[]} stages - Ordered successful stage evidence.
+ * @property {readonly PublicationBuildArtifactInput[]} outputs - Complete compiler-owned build files.
+ */
+
 /**
  * @typedef AcceptanceStageResult
  * @property {AcceptanceStage} stage - Completed stage.
@@ -897,6 +985,17 @@
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
 
+/**
+ * @typedef ConditionalExpression
+ * @property {"ConditionalExpression"} kind - Node discriminator.
+ * @property {Expression} condition - Strict boolean test evaluated exactly once.
+ * @property {Expression} consequent - Arm evaluated when the test is true.
+ * @property {Expression} alternate - Arm evaluated when the test is false.
+ * @property {SemanticTypeName} type - Joined arm result type assigned by validation.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+
 /**
  * @typedef CallExpression
  * @property {"CallExpression"} kind - Node discriminator.
@@ -996,7 +1095,7 @@
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned message-member range.
  */
 
-/** @typedef {IdentifierExpression | ReceiverExpression | IntegerLiteral | BooleanLiteral | StringLiteral | OptionalNone | OptionalSome | OptionalIsPresent | OptionalUnwrap | ListLiteral | MapLiteral | OrderedMapLiteral | ListIndexExpression | MapLookupExpression | CollectionSizeExpression | UnaryExpression | BinaryExpression | CallExpression | EffectCallExpression | OwnedMoveExpression | OwnedBorrowExpression | MethodCallExpression | ReferenceConstruction | RecordConstruction | MemberRead | PrivateFieldRead | ErrorMessageRead} Expression */
+/** @typedef {IdentifierExpression | ReceiverExpression | IntegerLiteral | BooleanLiteral | StringLiteral | OptionalNone | OptionalSome | OptionalIsPresent | OptionalUnwrap | ListLiteral | MapLiteral | OrderedMapLiteral | ListIndexExpression | MapLookupExpression | CollectionSizeExpression | UnaryExpression | BinaryExpression | ConditionalExpression | CallExpression | EffectCallExpression | OwnedMoveExpression | OwnedBorrowExpression | MethodCallExpression | ReferenceConstruction | RecordConstruction | MemberRead | PrivateFieldRead | ErrorMessageRead} Expression */
 
 /**
  * @typedef LocalDeclaration

package/src/semantic/validate.js

@@ -2284,6 +2284,32 @@ function inferExpressionType(expression, scope, functions, records, fail, normal
     }
     return scalarType(signature.result)
   }
+  if (expression.kind == "ConditionalExpression") {
+    const conditionType = inferValueExpressionType(expression.condition, scope, functions, records, fail,
+      normalizeOperations, "a condition")
+
+    if (!isScalarType(conditionType, "boolean")) {
+      fail("NON_BOOLEAN_CONDITION", `Conditional expression condition type ${typeDescription(conditionType)}; expected boolean.`,
+        expression.condition.location)
+    }
+    const consequentScope = createScope(scope, [])
+    const alternateScope = createScope(scope, [])
+
+    applyPresenceNarrowing(expression.condition, scope, consequentScope, true)
+    applyPresenceNarrowing(expression.condition, scope, alternateScope, false)
+    const consequentType = inferValueExpressionType(expression.consequent, consequentScope, functions, records, fail,
+      normalizeOperations, "a conditional expression consequent")
+    const alternateType = inferValueExpressionType(expression.alternate, alternateScope, functions, records, fail,
+      normalizeOperations, "a conditional expression alternate")
+
+    if (!sameType(consequentType, alternateType)) {
+      fail("TYPE_MISMATCH", `Conditional expression arms ${typeDescription(consequentType)} and ${typeDescription(alternateType)}; expected one joined type.`,
+        expression.alternate.location)
+    }
+    Reflect.set(expression, "type", consequentType)
+
+    return consequentType
+  }
   if (expression.kind == "BinaryExpression") {
     const left = inferValueExpressionType(expression.left, scope, functions, records, fail, normalizeOperations, "a binary operand")
     const right = inferValueExpressionType(expression.right, scope, functions, records, fail, normalizeOperations, "a binary operand")

package/src/subprocess.js

@@ -6,6 +6,7 @@ import {StringDecoder} from "node:string_decoder"
 const forcedTerminationGraceMs = 250
 const retainedPipeGraceMs = 250
 const deadlineFailures = new WeakSet()
+const cancellationFailures = new WeakSet()
 
 /**
  * Executes one exact file while owning its complete bounded lifecycle.
@@ -15,6 +16,7 @@ const deadlineFailures = new WeakSet()
  * @param {Readonly<Record<string, string>>} input.environment - Exact environment.
  * @param {string} input.executable - Exact executable path.
  * @param {number} input.maxBuffer - Maximum bytes captured per output stream.
+ * @param {AbortSignal} [input.signal] - Optional owned cancellation signal.
  * @param {number} input.timeoutMs - Deadline before termination begins.
  * @returns {Promise<{stderr: string, stdout: string}>} Output after the owned process group closes.
  */
@@ -38,7 +40,7 @@ export function createExecuteFileWithDeadline({registerSpawnListener}) {
  * @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) {
+function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environment, executable, maxBuffer, signal, timeoutMs}, registerSpawnListener) {
   if (process.platform == "win32") {
     return Promise.reject(Object.assign(new Error("Owned process-tree termination is unavailable on this platform."), {
       code: "ENOTSUP",
@@ -46,6 +48,12 @@ function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environ
       stdout: ""
     }))
   }
+  if (signal?.aborted) {
+    const cancellationError = Object.assign(new Error("Subprocess was cancelled before launch."), {stderr: "", stdout: ""})
+
+    cancellationFailures.add(cancellationError)
+    return Promise.reject(cancellationError)
+  }
 
   return new Promise((resolve, reject) => {
     /** @type {ReturnType<typeof setTimeout> | undefined} */
@@ -56,8 +64,10 @@ function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environ
     let pipeTimer
     /** @type {Error | undefined} */
     let launchError
+    let cancellationRequested = false
     let deadlineExceeded = false
     let outputExceeded = false
+    let processGroupOwned = false
     let settled = false
     const stderr = outputCapture(maxBuffer, () => terminateForOutputLimit())
     const stdout = outputCapture(maxBuffer, () => terminateForOutputLimit())
@@ -68,9 +78,15 @@ function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environ
       stdio: ["ignore", "pipe", "pipe"]
     })
     const processGroupId = child.pid
+    const cancel = () => {
+      if (settled || cancellationRequested || deadlineExceeded || outputExceeded) return
+      cancellationRequested = true
+      if (processGroupOwned && processGroupId != undefined) beginTermination(processGroupId)
+    }
 
     child.stderr.on("data", stderr.receive)
     child.stdout.on("data", stdout.receive)
+    signal?.addEventListener("abort", cancel, {once: true})
     child.once("error", (error) => {
       launchError = error
     })
@@ -80,18 +96,24 @@ function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environ
         child.kill("SIGKILL")
         return
       }
+      processGroupOwned = true
+      if (cancellationRequested) {
+        beginTermination(processGroupId)
+        return
+      }
 
       deadlineTimer = setTimeout(() => {
-        if (settled) return
+        if (settled || cancellationRequested || deadlineExceeded || outputExceeded) return
         deadlineExceeded = true
         beginTermination(processGroupId)
       }, timeoutMs)
     })
-    child.once("close", (code, signal) => {
+    child.once("close", (code, closeSignal) => {
       settled = true
       if (deadlineTimer != undefined) clearTimeout(deadlineTimer)
       if (forceTimer != undefined) clearTimeout(forceTimer)
       if (pipeTimer != undefined) clearTimeout(pipeTimer)
+      signal?.removeEventListener("abort", cancel)
       const capturedStderr = stderr.finish()
       const capturedStdout = stdout.finish()
 
@@ -100,24 +122,34 @@ function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environ
       } else if (outputExceeded) {
         reject(Object.assign(new Error(`Subprocess exceeded its ${maxBuffer}-byte output capture limit.`), {
           code: "ERR_CHILD_PROCESS_STDIO_MAXBUFFER",
-          signal,
+          signal: closeSignal,
           stderr: capturedStderr,
           stdout: capturedStdout
         }))
+      } else if (cancellationRequested) {
+        const cancellationError = Object.assign(new Error("Subprocess was cancelled."), {
+          code,
+          signal: closeSignal,
+          stderr: capturedStderr,
+          stdout: capturedStdout
+        })
+
+        cancellationFailures.add(cancellationError)
+        reject(cancellationError)
       } else if (deadlineExceeded) {
         const timeoutError = Object.assign(new Error("Subprocess exceeded its owned deadline."), {
           code,
-          signal,
+          signal: closeSignal,
           stderr: capturedStderr,
           stdout: capturedStdout
         })
 
         deadlineFailures.add(timeoutError)
         reject(timeoutError)
-      } else if (code != 0 || signal != null) {
+      } else if (code != 0 || closeSignal != null) {
         reject(Object.assign(new Error("Subprocess failed after launch."), {
           code,
-          signal,
+          signal: closeSignal,
           stderr: capturedStderr,
           stdout: capturedStdout
         }))
@@ -126,7 +158,7 @@ function executeFileWithDeadlineUsing({arguments: processArguments, cwd, environ
 
     /** Begins bounded termination after output capture crosses its limit. */
     function terminateForOutputLimit() {
-      if (outputExceeded || settled) return
+      if (settled || cancellationRequested || deadlineExceeded || outputExceeded) return
       outputExceeded = true
       if (processGroupId != undefined) beginTermination(processGroupId)
     }
@@ -230,3 +262,12 @@ function signalOwnedProcessGroup(processGroupId, signal) {
 export function exceededOwnedDeadline(error) {
   return typeof error == "object" && error != null && deadlineFailures.has(error)
 }
+
+/**
+ * Reports whether this module's cancellation signal initiated termination.
+ * @param {unknown} error - Subprocess failure.
+ * @returns {boolean} Whether the failure belongs to owned cancellation.
+ */
+export function cancelledOwnedProcess(error) {
+  return typeof error == "object" && error != null && cancellationFailures.has(error)
+}