semantifold 0.3.0 → 0.5.0

package/build/src/semantic/types.d.ts

@@ -1,11 +1,288 @@
-export type SemanticLanguage = "php" | "ruby" | "javascript" | "typescript" | "java" | "python" | "csharp" | "go" | "c" | "cpp";
+export type SemanticLanguage = "php" | "ruby" | "javascript" | "typescript" | "java" | "kotlin" | "python" | "csharp" | "go" | "c" | "cpp" | "rust" | "swift" | "dart";
+export type TextBackendLanguage = SemanticLanguage;
+export type BackendLanguage = TextBackendLanguage | "wasm" | "ios" | "android";
+export type GeneratedTextLanguage = SemanticLanguage | "html";
 export type SemanticTypeName = "integer" | "boolean" | "string";
+export type FunctionReturnTypeName = SemanticTypeName | "void";
 export type SemanticUnaryOperation = "IntegerNegate" | "BooleanNot";
 export type SemanticBinaryOperation = "IntegerAdd" | "IntegerSubtract" | "IntegerMultiply" | "BooleanAnd" | "BooleanOr" | "IntegerEqual" | "IntegerNotEqual" | "BooleanEqual" | "BooleanNotEqual" | "StringEqual" | "StringNotEqual" | "IntegerLessThan" | "IntegerLessThanOrEqual" | "IntegerGreaterThan" | "IntegerGreaterThanOrEqual" | "StringConcat";
-export type SemanticSymbolKind = "function" | "parameter" | "local";
-export type SemanticSymbolRole = "declaration" | "read" | "write" | "call";
+export type SemanticSymbolKind = "capability" | "resource" | "failure" | "operation" | "record" | "class" | "error" | "field" | "constructor" | "method" | "function" | "typeParameter" | "parameter" | "local" | "iteration" | "catch";
+export type SemanticDeclarationKind = "record" | "class" | "error" | "function";
+export type SemanticSymbolRole = "declaration" | "type" | "construct" | "member" | "read" | "write" | "call";
 export type AcceptanceStage = "parse" | "generate" | "restore" | "compile" | "link" | "validate" | "instantiate" | "execute";
 export type GeneratedArtifactRole = "entry" | "source" | "manifest" | "support" | "mapping" | "resource" | "loader";
+export type IosApplicationConfigurationInput = {
+    /**
+     * - Safe Xcode product/path identity.
+     */
+    productName: string;
+    /**
+     * - Safe Swift module identity.
+     */
+    moduleName: string;
+    /**
+     * - Caller-supplied reverse-DNS organization prefix.
+     */
+    organizationPrefix: string;
+    /**
+     * - Caller-supplied reverse-DNS application bundle identity.
+     */
+    bundleIdentifier: string;
+    /**
+     * - Caller-supplied major.minor iOS deployment target; never inferred.
+     */
+    deploymentTarget: string;
+    /**
+     * - User-visible application name.
+     */
+    displayName: string;
+    /**
+     * - Fixed generated-source root.
+     */
+    sourceRoot?: "Sources";
+    /**
+     * - Fixed caller-resource root.
+     */
+    resourceRoot?: "Assets.xcassets";
+    /**
+     * - Sole supported lifecycle.
+     */
+    lifecycle?: "swiftui";
+    /**
+     * - Closed baseline caller plist extension; currently empty.
+     */
+    infoPlist?: Record<string, never>;
+    /**
+     * - Validated as the closed empty baseline permissions.
+     */
+    permissions?: unknown[];
+    /**
+     * - Validated as the closed empty baseline entitlements.
+     */
+    entitlements?: unknown[];
+    /**
+     * - Validated as the closed empty baseline privacy declarations.
+     */
+    privacyDeclarations?: unknown[];
+    /**
+     * - Validated as the closed empty baseline Apple capabilities.
+     */
+    capabilities?: unknown[];
+};
+export type IosApplicationConfiguration = {
+    /**
+     * - Validated Xcode product/path identity.
+     */
+    productName: string;
+    /**
+     * - Validated Swift module identity.
+     */
+    moduleName: string;
+    /**
+     * - Validated reverse-DNS organization prefix.
+     */
+    organizationPrefix: string;
+    /**
+     * - Validated reverse-DNS application bundle identity.
+     */
+    bundleIdentifier: string;
+    /**
+     * - Validated caller-supplied deployment target.
+     */
+    deploymentTarget: string;
+    /**
+     * - Validated display name.
+     */
+    displayName: string;
+    /**
+     * - Generated-source root.
+     */
+    sourceRoot: "Sources";
+    /**
+     * - Caller-resource root.
+     */
+    resourceRoot: "Assets.xcassets";
+    /**
+     * - Sole supported lifecycle.
+     */
+    lifecycle: "swiftui";
+    /**
+     * - Empty caller plist extension.
+     */
+    infoPlist: Readonly<Record<string, never>>;
+    /**
+     * - Empty baseline permissions.
+     */
+    permissions: readonly never[];
+    /**
+     * - Empty baseline entitlements.
+     */
+    entitlements: readonly never[];
+    /**
+     * - Empty baseline privacy declarations.
+     */
+    privacyDeclarations: readonly never[];
+    /**
+     * - Empty baseline Apple capabilities.
+     */
+    capabilities: readonly never[];
+};
+export type IosApplicationAssetInput = {
+    /**
+     * - Full safe destination below Assets.xcassets.
+     */
+    path: string;
+    /**
+     * - Exact caller-provided text or bytes.
+     */
+    content: string | Uint8Array;
+    /**
+     * - Explicit artifact media type.
+     */
+    mediaType: string;
+    /**
+     * - Lowercase SHA-256 of exact UTF-8 text or bytes.
+     */
+    sha256: string;
+};
+export type AndroidApplicationConfigurationInput = {
+    /**
+     * - Lowercase reverse-DNS Android application identity.
+     */
+    applicationId?: string;
+    /**
+     * - Kotlin/Android namespace; defaults to applicationId.
+     */
+    namespace?: string;
+    /**
+     * - Generated Kotlin package; defaults to namespace.
+     */
+    packageName?: string;
+    /**
+     * - Launcher Activity class name.
+     */
+    activityClassName?: string;
+    /**
+     * - Deterministic project product name.
+     */
+    productName?: string;
+    /**
+     * - User-visible application label.
+     */
+    displayName?: string;
+    /**
+     * - Qualified minimum Android API.
+     */
+    minimumSdk?: 23;
+    /**
+     * - Qualified target Android API.
+     */
+    targetSdk?: 35;
+    /**
+     * - Qualified compile Android API.
+     */
+    compileSdk?: 35;
+    /**
+     * - Qualified Android Build Tools version.
+     */
+    buildToolsVersion?: "35.0.0";
+    /**
+     * - Positive Android version code.
+     */
+    versionCode?: number;
+    /**
+     * - Canonical application version name.
+     */
+    versionName?: string;
+    /**
+     * - Baseline orientation behavior.
+     */
+    orientation?: "unspecified";
+    /**
+     * - Baseline platform-native theme.
+     */
+    theme?: "system";
+    /**
+     * - Validated as the closed empty permission set.
+     */
+    permissions?: unknown[];
+};
+export type AndroidApplicationConfiguration = {
+    /**
+     * - Validated Android application identity.
+     */
+    applicationId: string;
+    /**
+     * - Validated Android namespace.
+     */
+    namespace: string;
+    /**
+     * - Generated Kotlin package.
+     */
+    packageName: string;
+    /**
+     * - Launcher Activity class name.
+     */
+    activityClassName: string;
+    /**
+     * - Project product name.
+     */
+    productName: string;
+    /**
+     * - User-visible application label.
+     */
+    displayName: string;
+    /**
+     * - Qualified minimum Android API.
+     */
+    minimumSdk: 23;
+    /**
+     * - Qualified target Android API.
+     */
+    targetSdk: 35;
+    /**
+     * - Qualified compile Android API.
+     */
+    compileSdk: 35;
+    /**
+     * - Qualified Android Build Tools version.
+     */
+    buildToolsVersion: "35.0.0";
+    /**
+     * - Positive Android version code.
+     */
+    versionCode: number;
+    /**
+     * - Canonical application version name.
+     */
+    versionName: string;
+    /**
+     * - Baseline orientation behavior.
+     */
+    orientation: "unspecified";
+    /**
+     * - Platform-native theme.
+     */
+    theme: "system";
+};
+export type AndroidApplicationInputFile = {
+    /**
+     * - Safe path relative to the selected fixed Android resource or asset root.
+     */
+    path: string;
+    /**
+     * - Exact caller-provided text or bytes.
+     */
+    content: string | Uint8Array;
+    /**
+     * - Explicit artifact media type.
+     */
+    mediaType: string;
+    /**
+     * - Lowercase SHA-256 of exact UTF-8 text or bytes.
+     */
+    sha256: string;
+};
 export type LanguageRoleCapabilities = {
     /**
      * - Parser adapter availability.
@@ -27,6 +304,10 @@ export type LanguageRoleCapabilities = {
      * - Interoperability bridge availability.
      */
     interoperability: boolean;
+    /**
+     * - Target host stdlib provider/native-binding availability.
+     */
+    provider: boolean;
 };
 export type LanguageMappingCapabilities = {
     /**
@@ -52,6 +333,52 @@ export type LanguageAcceptanceCapabilities = {
      */
     toolchains: readonly string[];
 };
+export type LanguageFeatureCapabilities = {
+    /**
+     * - Task 005 arbitrary required signatures, resolved direct calls, and void functions.
+     */
+    generalFunctionsAndCalls: boolean;
+    /**
+     * - Task 006 recursive immutable lists/maps, total access, and size.
+     */
+    immutableCollections: boolean;
+    /**
+     * - Task 007 explicit optional values, presence tests, and guarded unwrap.
+     */
+    optionalValues: boolean;
+    /**
+     * - Task 008 ordered immutable-list iteration and nearest-loop control.
+     */
+    orderedListIteration: boolean;
+    /**
+     * - Task 014 insertion-ordered immutable-map pair iteration.
+     */
+    orderedMapIteration: boolean;
+    /**
+     * - Task 032 strict-Boolean pre-condition loops and resolved control.
+     */
+    conditionControlledLoops: boolean;
+    /**
+     * - Task 009 nominal closed immutable records, construction, and member reads.
+     */
+    closedRecords: boolean;
+    /**
+     * - Task 011 nominal unchecked errors, raises, and exact typed catches.
+     */
+    typedErrors: boolean;
+    /**
+     * - Task 012 invariant unbounded type parameters and closed generic applications.
+     */
+    typeParametersAndGenerics: boolean;
+    /**
+     * - Task 033 nominal reference classes, private instance state, exact constructors, and receiver methods.
+     */
+    referenceClasses: boolean;
+    /**
+     * - Task 034 authorized host effects, typed failures, and owned resources.
+     */
+    effectfulCapabilitiesAndResources: boolean;
+};
 export type LanguageCapabilities = {
     /**
      * - Stable registry identity.
@@ -69,6 +396,10 @@ export type LanguageCapabilities = {
      * - Whether frontend/backend round-trip acceptance is declared.
      */
     roundTrip: boolean;
+    /**
+     * - Semantic feature capabilities.
+     */
+    features: Readonly<LanguageFeatureCapabilities>;
     /**
      * - Mapping forms.
      */
@@ -123,6 +454,10 @@ export type RegisteredSource = {
      * - Parser language when known.
      */
     language: SemanticLanguage | null;
+    /**
+     * - Caller or compiler-owned source role for semantic programs.
+     */
+    ownership?: "application" | "facade";
 };
 export type SourceOrigin = {
     /**
@@ -310,6 +645,10 @@ export type SemanticSymbolProvenance = {
      * - Declaring node identity.
      */
     declarationNodeId: string;
+    /**
+     * - Stable semantic declaration identity for record, field, and function symbols.
+     */
+    semanticDeclarationId?: string;
     /**
      * - Exact declaration-name range.
      */
@@ -382,9 +721,9 @@ export type GeneratedSource = {
      */
     filename: string;
     /**
-     * - Output language.
+     * - Output text language.
      */
-    language: SemanticLanguage;
+    language: GeneratedTextLanguage;
     /**
      * - Exact generated LF source.
      */
@@ -544,6 +883,10 @@ export type GeneratedArtifactSet = {
      * - Deterministic artifact order.
      */
     artifacts: readonly GeneratedSetArtifact[];
+    /**
+     * - Detached target-specific JSON metadata.
+     */
+    metadata?: Readonly<Record<string, unknown>>;
 };
 export type DiscoveredToolchain = {
     /**
@@ -563,11 +906,11 @@ export type DiscoveredToolchain = {
      */
     source: "override" | "canonical";
     /**
-     * - First captured version line.
+     * - First selected-stream version line.
      */
     version: string;
     /**
-     * - Complete captured version output.
+     * - Complete normalized stdout, or normalized stderr when stdout is empty.
      */
     versionOutput: string;
     /**
@@ -621,7 +964,7 @@ export type TypeReference = {
      */
     kind: "TypeReference";
     /**
-     * - Normalized type name.
+     * - Normalized scalar value type name.
      */
     name: SemanticTypeName;
     /**
@@ -629,169 +972,1605 @@ export type TypeReference = {
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type Parameter = {
+export type TypeParameter = {
     /**
-     * - Node discriminator.
+     * - Declaration-scoped invariant unbounded type parameter.
      */
-    kind: "Parameter";
+    kind: "TypeParameter";
     /**
-     * - Parameter name.
+     * - Stable declaration-scoped identity, required after validation.
      */
-    name: string;
+    id?: string;
     /**
-     * - Parameter type.
+     * - Source-visible type parameter name.
      */
-    type: TypeReference;
+    name: string;
     /**
-     * - Source location.
+     * - Parser-owned declaration location.
      */
     location: SourceLocation;
     /**
-     * - Node-associated provenance.
+     * - Parser-owned declaration-name range.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type IdentifierExpression = {
+export type TypeVariableReference = {
     /**
-     * - Node discriminator.
+     * - Reference to one declaration-scoped type parameter.
      */
-    kind: "IdentifierExpression";
+    kind: "TypeVariableReference";
     /**
-     * - Referenced name.
+     * - Stable referenced type-parameter identity.
      */
-    name: string;
+    parameterId: string;
     /**
-     * - Source location.
+     * - Parser-owned reference location.
      */
     location: SourceLocation;
     /**
-     * - Node-associated provenance.
+     * - Parser-owned type-name range.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type IntegerLiteral = {
-    /**
-     * - Node discriminator.
-     */
-    kind: "IntegerLiteral";
+export type ListType = {
     /**
-     * - JavaScript-safe integer value.
+     * - Recursive list-type discriminator.
      */
-    value: number;
+    kind: "ListType";
     /**
-     * - Source location.
+     * - Homogeneous element type.
      */
-    location: SourceLocation;
+    elementType: SemanticValueType;
     /**
-     * - Node-associated provenance.
+     * - Parser-owned outer and argument ranges.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type BooleanLiteral = {
+export type MapType = {
     /**
-     * - Node discriminator.
+     * - Recursive map-type discriminator.
      */
-    kind: "BooleanLiteral";
+    kind: "MapType";
     /**
-     * - Boolean value.
+     * - Exact string key type.
      */
-    value: boolean;
+    keyType: TypeReference;
     /**
-     * - Source location.
+     * - Homogeneous value type.
      */
-    location: SourceLocation;
+    valueType: SemanticValueType;
     /**
-     * - Node-associated provenance.
+     * - Parser-owned outer and argument ranges.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type StringLiteral = {
+export type OrderedMapType = {
     /**
-     * - Node discriminator.
+     * - Distinct insertion-ordered map-type discriminator.
      */
-    kind: "StringLiteral";
+    kind: "OrderedMapType";
     /**
-     * - Unicode string value.
+     * - Exact supported string key type.
      */
-    value: string;
+    keyType: TypeReference;
     /**
-     * - Source location.
+     * - Homogeneous value type.
      */
-    location: SourceLocation;
+    valueType: SemanticValueType;
     /**
-     * - Node-associated provenance.
+     * - Canonical first-insertion encounter order.
+     */
+    order: "insertion";
+    /**
+     * - Parser-owned outer and argument ranges.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type UnaryExpression = {
+export type OptionalType = {
     /**
-     * - Node discriminator.
+     * - Explicit presence/absence type discriminator.
      */
-    kind: "UnaryExpression";
+    kind: "OptionalType";
     /**
-     * - Closed semantic operation.
+     * - Exact present-value type.
      */
-    operation: SemanticUnaryOperation;
+    valueType: SemanticValueType;
     /**
-     * - Operand evaluated exactly once.
+     * - Parser-owned outer and constituent ranges.
      */
-    operand: Expression;
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type RecordType = {
     /**
-     * - Explicit operation result type.
+     * - Nominal record-type discriminator.
      */
-    type: SemanticTypeName;
+    kind: "RecordType";
     /**
-     * - Source location.
+     * - Stable module-local record declaration identity.
      */
-    location: SourceLocation;
+    declarationId: string;
     /**
-     * - Node-associated provenance.
+     * - Exact invariant type arguments; required for generic declarations and absent for non-generic declarations.
      */
-    sourceProvenance?: SemanticNodeSourceProvenance;
-};
-export type BinaryExpression = {
+    arguments?: SemanticValueType[];
     /**
-     * - Node discriminator.
+     * - Parser-owned type-name range.
      */
-    kind: "BinaryExpression";
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ErrorType = {
     /**
-     * - Closed semantic operation.
+     * - Nominal unchecked-error type discriminator.
      */
-    operation: SemanticBinaryOperation;
+    kind: "ErrorType";
     /**
-     * - Left operand.
+     * - Stable error declaration identity.
      */
-    left: Expression;
+    declarationId: string;
     /**
-     * - Right operand.
+     * - Parser-owned type-name range.
      */
-    right: Expression;
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ReferenceType = {
     /**
-     * - Explicit operation result type.
+     * - Nominal reference-class type discriminator.
      */
-    type: SemanticTypeName;
+    kind: "ReferenceType";
     /**
-     * - Source location.
+     * - Stable module-local class declaration identity.
      */
-    location: SourceLocation;
+    declarationId: string;
     /**
-     * - Node-associated provenance.
+     * - Parser-owned type-name range.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type CallExpression = {
+export type OwnedResourceType = {
+    /**
+     * - Compiler-owned linear resource type.
+     */
+    kind: "OwnedResourceType";
+    /**
+     * - Exact authority resource declaration identity.
+     */
+    resourceId: string;
+    /**
+     * - Parser-owned type-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type OwnedReferenceType = {
+    /**
+     * - Linear reference that owns one protected resource.
+     */
+    kind: "OwnedReferenceType";
+    /**
+     * - Exact owned class declaration identity.
+     */
+    declarationId: string;
+    /**
+     * - Parser-owned type-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type SemanticValueType = TypeReference | TypeVariableReference | ListType | MapType | OrderedMapType | OptionalType | RecordType | ReferenceType | OwnedResourceType | OwnedReferenceType;
+export type SemanticBindingType = SemanticValueType | ErrorType;
+export type FunctionReturnTypeReference = {
+    /**
+     * - Void return discriminator.
+     */
+    kind: "TypeReference";
+    /**
+     * - Normalized non-value function return.
+     */
+    name: "void";
+    /**
+     * - Node-associated provenance that survives semantic transforms.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type SemanticFunctionReturnType = SemanticValueType | FunctionReturnTypeReference;
+export type SemanticTypeIdentity = SemanticTypeName | {
+    kind: "TypeVariableReference";
+    parameterId: string;
+} | {
+    kind: "ListType";
+    elementType: SemanticTypeIdentity;
+} | {
+    kind: "MapType";
+    keyType: SemanticTypeIdentity;
+    valueType: SemanticTypeIdentity;
+} | {
+    kind: "OrderedMapType";
+    keyType: SemanticTypeIdentity;
+    valueType: SemanticTypeIdentity;
+    order: "insertion";
+} | {
+    kind: "OptionalType";
+    valueType: SemanticTypeIdentity;
+} | {
+    kind: "RecordType";
+    declarationId: string;
+    arguments?: SemanticTypeIdentity[];
+} | {
+    kind: "ReferenceType";
+    declarationId: string;
+} | {
+    kind: "OwnedResourceType";
+    resourceId: string;
+} | {
+    kind: "OwnedReferenceType";
+    declarationId: string;
+};
+export type FunctionReturnTypeIdentity = SemanticTypeIdentity | "void";
+export type ResolvedFunctionSignature = {
+    /**
+     * - Resolution discriminator.
+     */
+    kind: "ResolvedFunctionSignature";
+    /**
+     * - Deterministic module-local declaration identity.
+     */
+    declarationId: string;
+    /**
+     * - Exact required positional parameter types.
+     */
+    parameterTypes: SemanticTypeIdentity[];
+    /**
+     * - Exact resolved return type.
+     */
+    returnType: FunctionReturnTypeIdentity;
+    /**
+     * - Inferred declaration-order type arguments for a generic call.
+     */
+    typeArguments?: SemanticTypeIdentity[];
+};
+export type Parameter = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "Parameter";
+    /**
+     * - Parameter name.
+     */
+    name: string;
+    /**
+     * - Parameter type.
+     */
+    type: SemanticValueType;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ResolvedEffectOperationSignature = {
+    /**
+     * - Resolution discriminator.
+     */
+    kind: "ResolvedEffectOperationSignature";
+    /**
+     * - Exact capability declaration identity.
+     */
+    capabilityId: string;
+    /**
+     * - Exact operation declaration identity.
+     */
+    operationId: string;
+    /**
+     * - Exact ordered parameter types.
+     */
+    parameterTypes: SemanticTypeIdentity[];
+    /**
+     * - Exact operation result.
+     */
+    returnType: FunctionReturnTypeIdentity;
+    /**
+     * - Closed initial effect set.
+     */
+    effects: readonly ["host"];
+    /**
+     * - Exact ordered declared failures.
+     */
+    failureIds: string[];
+    /**
+     * - Exact ownership transition.
+     */
+    resourceFlow: EffectResourceFlow;
+};
+export type OwnedMoveExpression = {
+    /**
+     * - Explicit linear ownership transfer.
+     */
+    kind: "OwnedMoveExpression";
+    /**
+     * - Moved owner.
+     */
+    expression: IdentifierExpression;
+    /**
+     * - Exact owned type.
+     */
+    type: OwnedResourceType | OwnedReferenceType;
+    /**
+     * - Exact transfer location.
+     */
+    location: SourceLocation;
+    /**
+     * - Derived source provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type OwnedBorrowExpression = {
+    /**
+     * - Immediate nonescaping resource borrow.
+     */
+    kind: "OwnedBorrowExpression";
+    /**
+     * - Borrow mode.
+     */
+    mode: "shared" | "exclusive";
+    /**
+     * - Borrowed place.
+     */
+    expression: IdentifierExpression | ReceiverExpression | PrivateFieldRead;
+    /**
+     * - Exact owned type.
+     */
+    type: OwnedResourceType | OwnedReferenceType;
+    /**
+     * - Exact borrow location.
+     */
+    location: SourceLocation;
+    /**
+     * - Derived source provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type EffectCallExpression = {
+    /**
+     * - Compiler-authorized effect invocation.
+     */
+    kind: "EffectCallExpression";
+    /**
+     * - Exact operation declaration identity.
+     */
+    operation: string;
+    /**
+     * - Source-ordered arguments.
+     */
+    arguments: Expression[];
+    /**
+     * - Deterministic semantic evaluation identity.
+     */
+    effectSiteId: string;
+    /**
+     * - Complete authority resolution.
+     */
+    resolution: ResolvedEffectOperationSignature;
+    /**
+     * - Complete call location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned operation-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type EffectParameter = {
+    /**
+     * - Stable parameter name.
+     */
+    name: string;
+    /**
+     * - Exact ordered parameter type.
+     */
+    type: SemanticValueType;
+};
+export type EffectResourceFlow = {
+    kind: "none";
+} | {
+    kind: "acquire";
+    resourceId: string;
+} | {
+    kind: "borrow" | "close";
+    parameterIndex: number;
+    terminalFailureId: string;
+};
+export type EffectResourceDeclaration = {
+    /**
+     * - Capability resource declaration.
+     */
+    kind: "EffectResourceDeclaration";
+    /**
+     * - Deterministic authority-local identity.
+     */
+    id: string;
+    /**
+     * - Source-visible nominal resource name.
+     */
+    name: string;
+};
+export type EffectFailureDeclaration = {
+    /**
+     * - Capability failure declaration.
+     */
+    kind: "EffectFailureDeclaration";
+    /**
+     * - Deterministic authority-local identity.
+     */
+    id: string;
+    /**
+     * - Source-visible nominal failure name.
+     */
+    name: string;
+};
+export type EffectOperationDeclaration = {
+    /**
+     * - Compiler-authorized operation declaration.
+     */
+    kind: "EffectOperationDeclaration";
+    /**
+     * - Deterministic authority-local identity.
+     */
+    id: string;
+    /**
+     * - Source-visible operation name.
+     */
+    name: string;
+    /**
+     * - Exact positional parameters.
+     */
+    parameters: EffectParameter[];
+    /**
+     * - Exact result type.
+     */
+    returnType: SemanticFunctionReturnType;
+    /**
+     * - Closed initial effect set.
+     */
+    effects: readonly ["host"];
+    /**
+     * - Ordered nominal failure identities.
+     */
+    failureIds: string[];
+    /**
+     * - Exact ownership transition.
+     */
+    resourceFlow: EffectResourceFlow;
+};
+export type EffectCapabilityDeclaration = {
+    /**
+     * - Authorized capability declaration.
+     */
+    kind: "EffectCapabilityDeclaration";
+    /**
+     * - Deterministic module-local identity.
+     */
+    id: string;
+    /**
+     * - Opaque authority identity.
+     */
+    authorityId: string;
+    /**
+     * - Capability name.
+     */
+    name: string;
+    /**
+     * - Ordered resources.
+     */
+    resources: EffectResourceDeclaration[];
+    /**
+     * - Ordered failures.
+     */
+    failures: EffectFailureDeclaration[];
+    /**
+     * - Ordered operations.
+     */
+    operations: EffectOperationDeclaration[];
+};
+export type CapabilityAuthority = {
+    /**
+     * - Authority schema discriminator.
+     */
+    schema: "SemantifoldCapabilityAuthority";
+    /**
+     * - Authority payload version, not a standard-library contract version.
+     */
+    schemaVersion: 1 | 2;
+    /**
+     * - Opaque caller-supplied authority identity.
+     */
+    id: string;
+    /**
+     * - Normalized declarations.
+     */
+    capabilities: EffectCapabilityDeclaration[];
+    /**
+     * - Declared standard-library contract version, present only when the caller supplied one.
+     */
+    contractVersion?: string;
+    /**
+     * - Schema-v2 canonical module authorities.
+     */
+    modules?: {
+        identity: string;
+        contractVersion: string;
+        capabilities: EffectCapabilityDeclaration[];
+    }[];
+};
+export type CapabilityDeclarationReferenceInput = {
+    module: string;
+    name: string;
+};
+export type CapabilityParameterInput = {
+    name: string;
+    type: SemanticTypeName | {
+        kind: "OwnedResourceType";
+        resource: string | CapabilityDeclarationReferenceInput;
+    } | {
+        kind: "OptionalType";
+        valueType: SemanticTypeName;
+    };
+};
+export type CapabilityNamedInput = {
+    name: string;
+};
+export type CapabilityResourceFlowInput = {
+    kind: "none";
+} | {
+    kind: "acquire";
+    resource: string | CapabilityDeclarationReferenceInput;
+} | {
+    kind: "borrow" | "close";
+    parameterIndex: number;
+    terminalFailure: string | CapabilityDeclarationReferenceInput;
+};
+export type CapabilityOperationInput = {
+    name: string;
+    parameters: CapabilityParameterInput[];
+    returnType: FunctionReturnTypeName | {
+        kind: "OwnedResourceType";
+        resource: string | CapabilityDeclarationReferenceInput;
+    } | {
+        kind: "OptionalType";
+        valueType: SemanticTypeName;
+    };
+    effects: ["host"];
+    failures: (string | CapabilityDeclarationReferenceInput)[];
+    resourceFlow: CapabilityResourceFlowInput;
+};
+export type CapabilityDeclarationInput = {
+    name: string;
+    resources: CapabilityNamedInput[];
+    failures: CapabilityNamedInput[];
+    operations: CapabilityOperationInput[];
+};
+export type CapabilityAuthorityModuleInput = {
+    identity: string;
+    contractVersion: string;
+    capabilities: CapabilityDeclarationInput[];
+};
+export type CapabilityAuthorityInput = {
+    schema: "SemantifoldCapabilityAuthority";
+    schemaVersion: 1;
+    id: string;
+    capabilities: CapabilityDeclarationInput[];
+    contractVersion?: string;
+} | {
+    schema: "SemantifoldCapabilityAuthority";
+    schemaVersion: 2;
+    id: string;
+    modules: CapabilityAuthorityModuleInput[];
+};
+export type ListLiteral = {
+    /**
+     * - Ordered immutable list literal.
+     */
+    kind: "ListLiteral";
+    /**
+     * - Source-ordered, duplicate-preserving elements.
+     */
+    elements: Expression[];
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type MapEntry = {
+    /**
+     * - Source-ordered map initializer entry.
+     */
+    kind: "MapEntry";
+    /**
+     * - Literal nonnumeric string key.
+     */
+    key: StringLiteral;
+    /**
+     * - Entry value.
+     */
+    value: Expression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type MapLiteral = {
+    /**
+     * - Immutable map literal; entry order is diagnostic-only.
+     */
+    kind: "MapLiteral";
+    /**
+     * - Source initializer order.
+     */
+    entries: MapEntry[];
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type OrderedMapLiteral = {
+    /**
+     * - Immutable map literal with observable first-insertion order.
+     */
+    kind: "OrderedMapLiteral";
+    /**
+     * - Source-ordered unique entries.
+     */
+    entries: MapEntry[];
+    /**
+     * - Complete ordered construction boundary.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ListIndexExpression = {
+    /**
+     * - Total zero-based list index.
+     */
+    kind: "ListIndexExpression";
+    /**
+     * - List-valued receiver.
+     */
+    collection: Expression;
+    /**
+     * - Integer index.
+     */
+    index: Expression;
+    /**
+     * - Admission basis; never optional.
+     */
+    totality: "proven" | "fail-on-absence";
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type MapLookupExpression = {
+    /**
+     * - Total string-key map lookup.
+     */
+    kind: "MapLookupExpression";
+    /**
+     * - Map-valued receiver.
+     */
+    collection: Expression;
+    /**
+     * - String key expression.
+     */
+    key: Expression;
+    /**
+     * - Admission basis; never optional.
+     */
+    totality: "proven" | "fail-on-absence";
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type CollectionSizeExpression = {
+    /**
+     * - Finite collection size.
+     */
+    kind: "CollectionSizeExpression";
+    /**
+     * - List- or map-valued receiver.
+     */
+    collection: Expression;
+    /**
+     * - Validated receiver kind for target spelling.
+     */
+    collectionKind?: "list" | "map";
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type IdentifierExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "IdentifierExpression";
+    /**
+     * - Referenced name.
+     */
+    name: string;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type IntegerLiteral = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "IntegerLiteral";
+    /**
+     * - JavaScript-safe integer value.
+     */
+    value: number;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type BooleanLiteral = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "BooleanLiteral";
+    /**
+     * - Boolean value.
+     */
+    value: boolean;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type StringLiteral = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "StringLiteral";
+    /**
+     * - Unicode string value.
+     */
+    value: string;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type OptionalNone = {
+    /**
+     * - Contextually typed absence value.
+     */
+    kind: "OptionalNone";
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type OptionalSome = {
+    /**
+     * - Explicit present optional value.
+     */
+    kind: "OptionalSome";
+    /**
+     * - Exact non-optional present value.
+     */
+    value: Expression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type OptionalIsPresent = {
+    /**
+     * - Presence test for one simple identifier.
+     */
+    kind: "OptionalIsPresent";
+    /**
+     * - Tested optional binding.
+     */
+    operand: IdentifierExpression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type OptionalUnwrap = {
+    /**
+     * - Guarded unwrap of one simple identifier.
+     */
+    kind: "OptionalUnwrap";
+    /**
+     * - Proven-present optional binding.
+     */
+    operand: IdentifierExpression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type UnaryExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "UnaryExpression";
+    /**
+     * - Closed semantic operation.
+     */
+    operation: SemanticUnaryOperation;
+    /**
+     * - Operand evaluated exactly once.
+     */
+    operand: Expression;
+    /**
+     * - Explicit operation result type.
+     */
+    type: SemanticTypeName;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type BinaryExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "BinaryExpression";
+    /**
+     * - Closed semantic operation.
+     */
+    operation: SemanticBinaryOperation;
+    /**
+     * - Left operand.
+     */
+    left: Expression;
+    /**
+     * - Right operand.
+     */
+    right: Expression;
+    /**
+     * - Explicit operation result type.
+     */
+    type: SemanticTypeName;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type CallExpression = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "CallExpression";
+    /**
+     * - Function name.
+     */
+    callee: string;
+    /**
+     * - Positional arguments.
+     */
+    arguments: Expression[];
+    /**
+     * - Deterministic declaration and signature binding, required after frontend validation.
+     */
+    resolution?: ResolvedFunctionSignature;
+    /**
+     * - Deterministic site identity when the resolved function reaches a host effect.
+     */
+    effectSiteId?: string;
+    /**
+     * - Inferred checked host-effect fact.
+     */
+    effects?: readonly ["host"];
+    /**
+     * - Ordered capability failures reachable through this call.
+     */
+    failureIds?: string[];
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ResolvedConstructorSignature = {
+    /**
+     * - Resolution discriminator.
+     */
+    kind: "ResolvedConstructorSignature";
+    /**
+     * - Exact constructor declaration identity.
+     */
+    declarationId: string;
+    /**
+     * - Exact constructor parameter types.
+     */
+    parameterTypes: SemanticTypeIdentity[];
+};
+export type ResolvedMethodSignature = {
+    /**
+     * - Resolution discriminator.
+     */
+    kind: "ResolvedMethodSignature";
+    /**
+     * - Exact resolved method identity.
+     */
+    declarationId: string;
+    /**
+     * - Exact method parameter types.
+     */
+    parameterTypes: SemanticTypeIdentity[];
+    /**
+     * - Exact method return type.
+     */
+    returnType: FunctionReturnTypeIdentity;
+    /**
+     * - Owned receiver transition and declared terminal-use failure when applicable.
+     */
+    resourceFlow?: {
+        kind: "preserve" | "terminal";
+        terminalFailureId?: string;
+    };
+};
+export type ReceiverExpression = {
+    /**
+     * - The declaring class instance receiver.
+     */
+    kind: "ReceiverExpression";
+    /**
+     * - Stable declaring class identity.
+     */
+    classId: string;
+    /**
+     * - Source receiver location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned receiver range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ReferenceConstruction = {
+    /**
+     * - Fresh nominal reference construction.
+     */
+    kind: "ReferenceConstruction";
+    /**
+     * - Exact class type.
+     */
+    reference: ReferenceType | OwnedReferenceType;
+    /**
+     * - Source-ordered constructor arguments.
+     */
+    arguments: Expression[];
+    /**
+     * - Exact constructor binding, required after validation.
+     */
+    resolution?: ResolvedConstructorSignature;
+    /**
+     * - Deterministic site identity when construction reaches a host effect.
+     */
+    effectSiteId?: string;
+    /**
+     * - Inferred checked host-effect fact.
+     */
+    effects?: readonly ["host"];
+    /**
+     * - Ordered capability failures reachable through construction.
+     */
+    failureIds?: string[];
+    /**
+     * - Complete construction location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned class-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type MethodCallExpression = {
+    /**
+     * - Resolved receiver-method invocation.
+     */
+    kind: "MethodCallExpression";
+    /**
+     * - Receiver evaluated once before arguments.
+     */
+    receiver: Expression;
+    /**
+     * - Stable method identity after validation.
+     */
+    method: string;
+    /**
+     * - Source-ordered arguments.
+     */
+    arguments: Expression[];
+    /**
+     * - Exact method binding, required after validation.
+     */
+    resolution?: ResolvedMethodSignature;
+    /**
+     * - Deterministic site identity when the method reaches a host effect.
+     */
+    effectSiteId?: string;
+    /**
+     * - Inferred checked host-effect fact.
+     */
+    effects?: readonly ["host"];
+    /**
+     * - Ordered capability failures reachable through the method.
+     */
+    failureIds?: string[];
+    /**
+     * - Complete call location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned method-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type PrivateFieldRead = {
+    /**
+     * - Declaring-receiver-only private field read.
+     */
+    kind: "PrivateFieldRead";
+    /**
+     * - Exact declaring receiver.
+     */
+    receiver: ReceiverExpression;
+    /**
+     * - Stable private field identity.
+     */
+    field: string;
+    /**
+     * - Complete read location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned field-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type RecordConstruction = {
+    /**
+     * - Nominal record construction.
+     */
+    kind: "RecordConstruction";
+    /**
+     * - Resolved record declaration identity.
+     */
+    record: RecordType;
+    /**
+     * - Complete field-ordered constructor arguments.
+     */
+    arguments: Expression[];
+    /**
+     * - Complete construction source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned record-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type MemberRead = {
+    /**
+     * - Nominal immutable record-field read.
+     */
+    kind: "MemberRead";
+    /**
+     * - Record-valued receiver.
+     */
+    receiver: Expression;
+    /**
+     * - Stable resolved field identity after frontend validation.
+     */
+    field: string;
+    /**
+     * - Complete member-read source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned member-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ErrorMessageRead = {
+    /**
+     * - The sole portable error member operation.
+     */
+    kind: "ErrorMessageRead";
+    /**
+     * - Catch binding whose immutable message is read.
+     */
+    receiver: IdentifierExpression;
+    /**
+     * - Complete message-read source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned message-member range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type Expression = 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;
+export type LocalDeclaration = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "LocalDeclaration";
+    /**
+     * - Declared local name.
+     */
+    name: string;
+    /**
+     * - Explicit local type.
+     */
+    type: SemanticValueType;
+    /**
+     * - Whether later assignment is allowed.
+     */
+    mutable: boolean;
+    /**
+     * - Required initializer expression.
+     */
+    initializer: Expression;
+    /**
+     * - Declaration source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type AssignmentStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "AssignmentStatement";
+    /**
+     * - Simple local assignment target.
+     */
+    target: IdentifierExpression;
+    /**
+     * - Assigned expression.
+     */
+    expression: Expression;
+    /**
+     * - Assignment source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type PrivateFieldWriteStatement = {
+    /**
+     * - Declaring-receiver-only private field mutation.
+     */
+    kind: "PrivateFieldWriteStatement";
+    /**
+     * - Exact declaring receiver.
+     */
+    receiver: ReceiverExpression;
+    /**
+     * - Stable private field identity.
+     */
+    field: string;
+    /**
+     * - New field value.
+     */
+    expression: Expression;
+    /**
+     * - Assignment source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned field-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ReturnStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "ReturnStatement";
+    /**
+     * - Returned expression; absent exactly for a bare void return.
+     */
+    expression?: Expression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ExpressionStatement = {
     /**
      * - Node discriminator.
      */
-    kind: "CallExpression";
+    kind: "ExpressionStatement";
+    /**
+     * - A direct, receiver, or authorized call whose resolved return type is void.
+     */
+    expression: CallExpression | MethodCallExpression | EffectCallExpression;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type IfStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "IfStatement";
+    /**
+     * - Branch condition.
+     */
+    condition: Expression;
+    /**
+     * - True branch.
+     */
+    consequent: Block;
+    /**
+     * - False branch, absent when execution falls through.
+     */
+    alternate?: Block;
+    /**
+     * - Source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ValueBinding = {
+    /**
+     * - Iteration-binding discriminator.
+     */
+    kind: "ValueBinding";
+    /**
+     * - Body-local binding name.
+     */
+    name: string;
+    /**
+     * - Exact list element type.
+     */
+    type: SemanticValueType;
+    /**
+     * - Iteration bindings are always immutable.
+     */
+    mutable: false;
+    /**
+     * - Binding source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ForEachStatement = {
+    /**
+     * - Ordered list-iteration discriminator.
+     */
+    kind: "ForEachStatement";
+    /**
+     * - Deterministic module-local loop identity, required after frontend validation.
+     */
+    id?: string;
+    /**
+     * - List expression evaluated exactly once before traversal.
+     */
+    list: Expression;
+    /**
+     * - Immutable binding scoped to the body.
+     */
+    valueBinding: ValueBinding;
+    /**
+     * - Loop body.
+     */
+    body: Block;
+    /**
+     * - Complete loop source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ForEachMapStatement = {
+    /**
+     * - Insertion-ordered map pair-iteration discriminator.
+     */
+    kind: "ForEachMapStatement";
+    /**
+     * - Deterministic module-local loop identity, required after frontend validation.
+     */
+    id?: string;
+    /**
+     * - Ordered-map expression evaluated exactly once before traversal.
+     */
+    map: Expression;
+    /**
+     * - Immutable string-key binding scoped to the body.
+     */
+    keyBinding: ValueBinding;
+    /**
+     * - Immutable homogeneous value binding scoped to the body.
+     */
+    valueBinding: ValueBinding;
+    /**
+     * - Loop body.
+     */
+    body: Block;
+    /**
+     * - Complete loop source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type WhileStatement = {
+    /**
+     * - Strict-Boolean pre-condition loop discriminator.
+     */
+    kind: "WhileStatement";
+    /**
+     * - Deterministic module-local loop identity, required after frontend validation.
+     */
+    id?: string;
+    /**
+     * - Boolean expression evaluated before every iteration.
+     */
+    condition: Expression;
+    /**
+     * - Ordered loop body.
+     */
+    body: Block;
+    /**
+     * - Complete loop source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type BreakStatement = {
+    /**
+     * - Nearest-loop break discriminator.
+     */
+    kind: "BreakStatement";
+    /**
+     * - Resolved nearest-loop identity, required after frontend validation in loop context.
+     */
+    targetLoopId?: string;
+    /**
+     * - Keyword source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ContinueStatement = {
+    /**
+     * - Nearest-loop continue discriminator.
+     */
+    kind: "ContinueStatement";
+    /**
+     * - Resolved nearest-loop identity, required after frontend validation in loop context.
+     */
+    targetLoopId?: string;
+    /**
+     * - Keyword source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Node-associated provenance.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ErrorConstruction = {
+    /**
+     * - Construction of one declared unchecked error.
+     */
+    kind: "ErrorConstruction";
+    /**
+     * - Exact nominal error type.
+     */
+    error: ErrorType;
+    /**
+     * - Sole immutable string payload.
+     */
+    message: Expression;
+    /**
+     * - Complete construction source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned type and message ranges.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type RaiseStatement = {
+    /**
+     * - Abrupt unchecked-error propagation.
+     */
+    kind: "RaiseStatement";
+    /**
+     * - Exact constructed semantic error.
+     */
+    error: ErrorConstruction;
+    /**
+     * - Complete raise source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned raise range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type CatchBinding = {
+    /**
+     * - Exact-handler binding discriminator.
+     */
+    kind: "CatchBinding";
+    /**
+     * - Handler-local binding name.
+     */
+    name: string;
+    /**
+     * - Exact caught nominal error type.
+     */
+    type: ErrorType;
+    /**
+     * - Catch bindings are immutable.
+     */
+    mutable: false;
+    /**
+     * - Binding source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned binding range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type TryStatement = {
+    /**
+     * - One body and one exact typed handler.
+     */
+    kind: "TryStatement";
+    /**
+     * - Protected body.
+     */
+    body: Block;
+    /**
+     * - Exact caught nominal error type.
+     */
+    catchType: ErrorType;
+    /**
+     * - Immutable handler-local binding.
+     */
+    catchBinding: CatchBinding;
+    /**
+     * - Handler body.
+     */
+    catchBody: Block;
+    /**
+     * - Complete try/handler source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned try/catch ranges.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type LocalStatement = LocalDeclaration | AssignmentStatement;
+export type Statement = LocalStatement | PrivateFieldWriteStatement | ExpressionStatement | IfStatement | ForEachStatement | ForEachMapStatement | WhileStatement | BreakStatement | ContinueStatement | ReturnStatement | PrintStatement | RaiseStatement | TryStatement;
+export type Block = {
     /**
-     * - Function name.
+     * - Node discriminator.
      */
-    callee: string;
+    kind: "Block";
     /**
-     * - Positional arguments.
+     * - Ordered statements in one lexical scope.
      */
-    arguments: Expression[];
+    statements: Statement[];
     /**
      * - Source location.
      */
@@ -801,30 +2580,37 @@ export type CallExpression = {
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type Expression = IdentifierExpression | IntegerLiteral | BooleanLiteral | StringLiteral | UnaryExpression | BinaryExpression | CallExpression;
-export type LocalDeclaration = {
+export type FunctionDeclaration = {
     /**
      * - Node discriminator.
      */
-    kind: "LocalDeclaration";
+    kind: "FunctionDeclaration";
     /**
-     * - Declared local name.
+     * - Deterministic module-local declaration identity, required after frontend validation.
+     */
+    id?: string;
+    /**
+     * - Function name.
      */
     name: string;
     /**
-     * - Explicit local type.
+     * - Ordered declaration-scoped invariant unbounded parameters.
      */
-    type: TypeReference;
+    typeParameters?: TypeParameter[];
     /**
-     * - Whether later assignment is allowed.
+     * - Function parameters.
      */
-    mutable: boolean;
+    parameters: Parameter[];
     /**
-     * - Required initializer expression.
+     * - Return type.
      */
-    initializer: Expression;
+    returnType: SemanticFunctionReturnType;
     /**
-     * - Declaration source location.
+     * - Function body.
+     */
+    body: Block;
+    /**
+     * - Source location.
      */
     location: SourceLocation;
     /**
@@ -832,21 +2618,241 @@ export type LocalDeclaration = {
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type AssignmentStatement = {
+export type RecordField = {
     /**
-     * - Node discriminator.
+     * - Closed record-field discriminator.
      */
-    kind: "AssignmentStatement";
+    kind: "RecordField";
     /**
-     * - Simple local assignment target.
+     * - Stable module-local field identity, required after frontend validation.
      */
-    target: IdentifierExpression;
+    id?: string;
     /**
-     * - Assigned expression.
+     * - Field name.
+     */
+    name: string;
+    /**
+     * - Exact field type.
+     */
+    type: SemanticValueType;
+    /**
+     * - Field declaration source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned name/type ranges.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type RecordDeclaration = {
+    /**
+     * - Nominal closed immutable record declaration.
+     */
+    kind: "RecordDeclaration";
+    /**
+     * - Stable module-local declaration identity, required after frontend validation.
+     */
+    id?: string;
+    /**
+     * - Record name.
+     */
+    name: string;
+    /**
+     * - Ordered declaration-scoped invariant unbounded parameters.
+     */
+    typeParameters?: TypeParameter[];
+    /**
+     * - Ordered unique visible fields.
+     */
+    fields: RecordField[];
+    /**
+     * - Complete declaration source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned declaration-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type PrivateField = {
+    /**
+     * - Declaring-class-private mutable instance field.
+     */
+    kind: "PrivateField";
+    /**
+     * - Stable class-scoped field identity, required after validation.
+     */
+    id?: string;
+    /**
+     * - Source-visible field name inside the declaring class only.
+     */
+    name: string;
+    /**
+     * - Exact field type.
+     */
+    type: SemanticValueType;
+    /**
+     * - Field declaration location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned name/type ranges.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ConstructorDeclaration = {
+    /**
+     * - Exact complete private-state initializer.
+     */
+    kind: "ConstructorDeclaration";
+    /**
+     * - Stable class-scoped constructor identity, required after validation.
+     */
+    id?: string;
+    /**
+     * - Exact positional constructor signature.
+     */
+    parameters: Parameter[];
+    /**
+     * - Field-order initialization body.
+     */
+    body: Block;
+    /**
+     * - Inferred checked host-effect fact.
+     */
+    effects?: readonly ["host"];
+    /**
+     * - Ordered capability failures reachable through construction.
+     */
+    failureIds?: string[];
+    /**
+     * - Complete constructor location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned constructor range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type MethodDeclaration = {
+    /**
+     * - Receiver-bound class method.
+     */
+    kind: "MethodDeclaration";
+    /**
+     * - Stable class-scoped method identity, required after validation.
+     */
+    id?: string;
+    /**
+     * - Source-visible method name.
+     */
+    name: string;
+    /**
+     * - Exact positional method signature.
+     */
+    parameters: Parameter[];
+    /**
+     * - Exact return type.
+     */
+    returnType: SemanticFunctionReturnType;
+    /**
+     * - Method body.
+     */
+    body: Block;
+    /**
+     * - Inferred checked host-effect fact.
+     */
+    effects?: readonly ["host"];
+    /**
+     * - Ordered capability failures reachable through the method.
+     */
+    failureIds?: string[];
+    /**
+     * - Complete method location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned method-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ClassDeclaration = {
+    /**
+     * - Nominal reference class with private mutable state.
+     */
+    kind: "ClassDeclaration";
+    /**
+     * - Stable module-local class identity, required after validation.
+     */
+    id?: string;
+    /**
+     * - Source-visible class name.
+     */
+    name: string;
+    /**
+     * - Ordered private instance state.
+     */
+    fields: PrivateField[];
+    /**
+     * - Sole exact constructor.
+     */
+    constructor: ConstructorDeclaration;
+    /**
+     * - Ordered receiver methods.
+     */
+    methods: MethodDeclaration[];
+    /**
+     * - Explicit class ownership profile.
+     */
+    ownership?: {
+        kind: "ordinary";
+    } | {
+        kind: "ownedResource";
+        fieldId: string;
+        resourceId: string;
+    };
+    /**
+     * - Complete class location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned class-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type ErrorDeclaration = {
+    /**
+     * - Nominal unchecked error with one immutable string message.
+     */
+    kind: "ErrorDeclaration";
+    /**
+     * - Stable module-local declaration identity, required after frontend validation.
+     */
+    id?: string;
+    /**
+     * - Error type name.
+     */
+    name: string;
+    /**
+     * - Complete declaration source location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned declaration-name range.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+};
+export type PrintStatement = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "PrintStatement";
+    /**
+     * - Printed expression.
      */
     expression: Expression;
     /**
-     * - Assignment source location.
+     * - Source location.
      */
     location: SourceLocation;
     /**
@@ -854,15 +2860,15 @@ export type AssignmentStatement = {
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type ReturnStatement = {
+export type EntryPoint = {
     /**
      * - Node discriminator.
      */
-    kind: "ReturnStatement";
+    kind: "EntryPoint";
     /**
-     * - Returned expression.
+     * - Entry-point body.
      */
-    expression: Expression;
+    body: Block;
     /**
      * - Source location.
      */
@@ -872,23 +2878,35 @@ export type ReturnStatement = {
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type IfStatement = {
+export type SemanticModule = {
     /**
      * - Node discriminator.
      */
-    kind: "IfStatement";
+    kind: "Module";
     /**
-     * - Branch condition.
+     * - Top-level nominal record declarations in source order; omitted when empty.
      */
-    condition: Expression;
+    records?: RecordDeclaration[];
     /**
-     * - True branch.
+     * - Top-level nominal reference classes in source order; omitted when empty.
      */
-    consequent: Block;
+    classes?: ClassDeclaration[];
     /**
-     * - False branch, absent when execution falls through.
+     * - Top-level nominal unchecked error declarations in source order; omitted when empty.
      */
-    alternate?: Block;
+    errors?: ErrorDeclaration[];
+    /**
+     * - Compiler-authorized Task 034 declarations; omission is the legacy empty set.
+     */
+    capabilities?: EffectCapabilityDeclaration[];
+    /**
+     * - Top-level functions.
+     */
+    functions: FunctionDeclaration[];
+    /**
+     * - Executable entry point.
+     */
+    entryPoint: EntryPoint;
     /**
      * - Source location.
      */
@@ -897,66 +2915,150 @@ export type IfStatement = {
      * - Node-associated provenance.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
+    /**
+     * - Parser-authored source and identity index; optional for legacy caller-authored modules.
+     */
+    provenance?: SemanticProvenance;
 };
-export type LocalStatement = LocalDeclaration | AssignmentStatement;
-export type Statement = LocalStatement | IfStatement | ReturnStatement | PrintStatement;
-export type Block = {
+export type SemanticImport = {
     /**
      * - Node discriminator.
      */
-    kind: "Block";
+    kind: "Import";
     /**
-     * - Ordered statements in one lexical scope.
+     * - Stable imported semantic module identity.
+     */
+    moduleId: string;
+    /**
+     * - Exported declaration name in the source module.
+     */
+    importedName: string;
+    /**
+     * - Binding name visible in the importing module.
+     */
+    localName: string;
+    /**
+     * - Imported declaration namespace.
+     */
+    symbolKind: SemanticDeclarationKind;
+    /**
+     * - Stable resolved declaration identity.
+     */
+    declarationId: string;
+    /**
+     * - Whether source syntax admitted only type-position use.
+     */
+    typeOnly: boolean;
+    /**
+     * - Complete import declaration/specifier location.
+     */
+    location: SourceLocation;
+    /**
+     * - Parser-owned import ranges.
+     */
+    sourceProvenance?: SemanticNodeSourceProvenance;
+    /**
+     * - Exact parser-proved native facade identity evidence.
+     */
+    stdlibFacade?: StdlibFacadeResolutionEvidence;
+};
+export type StdlibFacadeResolutionEvidence = {
+    /**
+     * - Evidence schema.
+     */
+    schema: "SemantifoldStdlibFacadeResolution";
+    /**
+     * - Evidence version.
+     */
+    version: 1;
+    /**
+     * - Selected facade identity.
+     */
+    facadeIdentity: string;
+    /**
+     * - Selected exact facade version.
+     */
+    facadeVersion: string;
+    /**
+     * - Parser-proved source stdlib module identity.
+     */
+    nativeModule: string;
+    /**
+     * - Parser-proved source stdlib symbol identity.
+     */
+    nativeSymbol: string;
+};
+export type SemanticExport = {
+    /**
+     * - Node discriminator.
+     */
+    kind: "Export";
+    /**
+     * - Name visible to importing modules.
+     */
+    exportedName: string;
+    /**
+     * - Exported declaration namespace.
+     */
+    symbolKind: SemanticDeclarationKind;
+    /**
+     * - Stable exported declaration identity.
      */
-    statements: Statement[];
+    declarationId: string;
     /**
-     * - Source location.
+     * - Complete export declaration/specifier location.
      */
     location: SourceLocation;
     /**
-     * - Node-associated provenance.
+     * - Parser-owned export ranges.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
 };
-export type FunctionDeclaration = {
+export type SemanticProgramModule = {
     /**
      * - Node discriminator.
      */
-    kind: "FunctionDeclaration";
+    kind: "Module";
     /**
-     * - Function name.
+     * - Stable caller-supplied logical module identity.
      */
-    name: string;
+    id: string;
     /**
-     * - Function parameters.
+     * - Explicit source filename; never an implicit read request.
      */
-    parameters: Parameter[];
+    sourceFilename: string;
     /**
-     * - Return type.
+     * - Top-level nominal record declarations.
      */
-    returnType: TypeReference;
+    records?: RecordDeclaration[];
     /**
-     * - Function body.
+     * - Compiler-owned facade reference classes.
      */
-    body: Block;
+    classes?: ClassDeclaration[];
     /**
-     * - Source location.
+     * - Top-level nominal unchecked error declarations.
      */
-    location: SourceLocation;
+    errors?: ErrorDeclaration[];
     /**
-     * - Node-associated provenance.
+     * - Top-level functions.
      */
-    sourceProvenance?: SemanticNodeSourceProvenance;
-};
-export type PrintStatement = {
+    functions: FunctionDeclaration[];
     /**
-     * - Node discriminator.
+     * - Resolved imports in source order.
      */
-    kind: "PrintStatement";
+    imports: SemanticImport[];
     /**
-     * - Printed expression.
+     * - Resolved exports in source order.
      */
-    expression: Expression;
+    exports: SemanticExport[];
+    /**
+     * - Authority declarations shared by reference when the program declares a standard-library contract.
+     */
+    capabilities?: EffectCapabilityDeclaration[];
+    /**
+     * - Sole executable entry point, present only on the selected module.
+     */
+    entryPoint?: EntryPoint;
     /**
      * - Source location.
      */
@@ -965,61 +3067,262 @@ export type PrintStatement = {
      * - Node-associated provenance.
      */
     sourceProvenance?: SemanticNodeSourceProvenance;
+    /**
+     * - Parser-authored source and identity index.
+     */
+    provenance?: SemanticProvenance;
+    /**
+     * - Selected compiler-owned facade module identity.
+     */
+    stdlibFacade?: {
+        identity: string;
+        version: string;
+    };
 };
-export type EntryPoint = {
+export type StdlibFacadeProgramModuleDescriptor = {
+    /**
+     * - Versioned facade dependencies.
+     */
+    dependencies: {
+        identity: string;
+        range: string;
+    }[];
+    /**
+     * - Facade identity.
+     */
+    identity: string;
+    /**
+     * - Exact native source identities.
+     */
+    nativeModules: ({
+        identity: string;
+        kind: "module";
+        symbols: string[];
+    } | {
+        forms: ("unqualified-call" | "receiver-call")[];
+        identity: string;
+        kind: "builtin";
+        symbols: string[];
+    })[];
+    /**
+     * - Public source declarations.
+     */
+    publicDeclarations: ({
+        effects: string[];
+        failures: string[];
+        forms: ("direct-call" | "unqualified-call" | "receiver-call")[];
+        kind: "function";
+        name: string;
+        ownership: "not-applicable";
+        parameters: {
+            name: string;
+            type: string;
+        }[];
+        returnType: string;
+    } | {
+        constructor: {
+            effects: string[];
+            failures: string[];
+            ownership: "acquired";
+            parameters: {
+                name: string;
+                type: string;
+            }[];
+        };
+        forms: ["constructor-call"];
+        kind: "class";
+        methods: {
+            effects: string[];
+            failures: string[];
+            forms: ["receiver-call"];
+            name: string;
+            ownership: "borrowed" | "consumed";
+            parameters: {
+                name: string;
+                type: string;
+            }[];
+            returnType: string;
+        }[];
+        name: string;
+        ownership: "owned-reference";
+    })[];
+    /**
+     * - Canonical capability requirements.
+     */
+    requirements: {
+        module: string;
+        operations: string[];
+        range: string;
+    }[];
+    /**
+     * - Exact source runtime profile.
+     */
+    runtimeProfile: string;
+    /**
+     * - Compiler-owned semantic module identity.
+     */
+    sourceModule: string;
+    /**
+     * - Exact facade version.
+     */
+    version: string;
     /**
-     * - Node discriminator.
+     * - Native-selectable visibility.
      */
-    kind: "EntryPoint";
+    visibility: "internal" | "public";
+};
+export type StdlibFacadeProgramDescriptor = {
     /**
-     * - Entry-point body.
+     * - Facade descriptor schema.
      */
-    body: Block;
+    schema: "SemantifoldStdlibFacades";
     /**
-     * - Source location.
+     * - Facade descriptor version.
      */
-    location: SourceLocation;
+    version: 1;
     /**
-     * - Node-associated provenance.
+     * - Source-language compatibility profile.
      */
-    sourceProvenance?: SemanticNodeSourceProvenance;
+    language: SemanticLanguage;
+    /**
+     * - Dependency-first selected executable closure.
+     */
+    modules: StdlibFacadeProgramModuleDescriptor[];
 };
-export type SemanticModule = {
+export type SemanticProgram = {
     /**
      * - Node discriminator.
      */
-    kind: "Module";
+    kind: "Program";
     /**
-     * - Top-level functions.
+     * - Dependency-first deterministic module order.
      */
-    functions: FunctionDeclaration[];
+    modules: SemanticProgramModule[];
     /**
-     * - Executable entry point.
+     * - Stable identity of the sole entry module.
      */
-    entryPoint: EntryPoint;
+    entryModule: string;
     /**
-     * - Source location.
+     * - Caller-order complete source registry.
      */
-    location: SourceLocation;
+    sources: RegisteredSource[];
     /**
-     * - Node-associated provenance.
+     * - Declared standard-library contract; plain, never frozen.
      */
-    sourceProvenance?: SemanticNodeSourceProvenance;
+    stdlibContract?: {
+        contractVersion?: string;
+        identity: string;
+    };
     /**
-     * - Parser-authored source and identity index; optional for legacy caller-authored modules.
+     * - Ordered declared standard-library contracts; plain, never frozen.
      */
-    provenance?: SemanticProvenance;
+    stdlibContracts?: {
+        contractVersion?: string;
+        identity: string;
+    }[];
+    /**
+     * - Complete selected source-language facade closure.
+     */
+    stdlibFacades?: StdlibFacadeProgramDescriptor;
 };
-export type SemanticNode = SemanticModule | FunctionDeclaration | Parameter | Block | Statement | EntryPoint | Expression | TypeReference;
+export type SemanticNode = SemanticModule | SemanticProgramModule | SemanticImport | SemanticExport | RecordDeclaration | ClassDeclaration | ErrorDeclaration | EffectCapabilityDeclaration | EffectResourceDeclaration | EffectFailureDeclaration | EffectOperationDeclaration | RecordField | PrivateField | ConstructorDeclaration | MethodDeclaration | FunctionDeclaration | TypeParameter | Parameter | ValueBinding | CatchBinding | Block | Statement | EntryPoint | Expression | ErrorConstruction | ErrorType | MapEntry | SemanticValueType | FunctionReturnTypeReference;
 export type SemanticNodeWithoutLocations = SemanticNode;
-/** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "python" | "csharp" | "go" | "c" | "cpp"} SemanticLanguage */
+/** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "kotlin" | "python" | "csharp" | "go" | "c" | "cpp" | "rust" | "swift" | "dart"} SemanticLanguage */
+/** @typedef {SemanticLanguage} TextBackendLanguage */
+/** @typedef {TextBackendLanguage | "wasm" | "ios" | "android"} BackendLanguage */
+/** @typedef {SemanticLanguage | "html"} GeneratedTextLanguage */
 /** @typedef {"integer" | "boolean" | "string"} SemanticTypeName */
+/** @typedef {SemanticTypeName | "void"} FunctionReturnTypeName */
 /** @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 {"capability" | "resource" | "failure" | "operation" | "record" | "class" | "error" | "field" | "constructor" | "method" | "function" | "typeParameter" | "parameter" | "local" | "iteration" | "catch"} SemanticSymbolKind */
+/** @typedef {"record" | "class" | "error" | "function"} SemanticDeclarationKind */
+/** @typedef {"declaration" | "type" | "construct" | "member" | "read" | "write" | "call"} SemanticSymbolRole */
 /** @typedef {"parse" | "generate" | "restore" | "compile" | "link" | "validate" | "instantiate" | "execute"} AcceptanceStage */
 /** @typedef {"entry" | "source" | "manifest" | "support" | "mapping" | "resource" | "loader"} GeneratedArtifactRole */
+/**
+ * @typedef IosApplicationConfigurationInput
+ * @property {string} productName - Safe Xcode product/path identity.
+ * @property {string} moduleName - Safe Swift module identity.
+ * @property {string} organizationPrefix - Caller-supplied reverse-DNS organization prefix.
+ * @property {string} bundleIdentifier - Caller-supplied reverse-DNS application bundle identity.
+ * @property {string} deploymentTarget - Caller-supplied major.minor iOS deployment target; never inferred.
+ * @property {string} displayName - User-visible application name.
+ * @property {"Sources"} [sourceRoot] - Fixed generated-source root.
+ * @property {"Assets.xcassets"} [resourceRoot] - Fixed caller-resource root.
+ * @property {"swiftui"} [lifecycle] - Sole supported lifecycle.
+ * @property {Record<string, never>} [infoPlist] - Closed baseline caller plist extension; currently empty.
+ * @property {unknown[]} [permissions] - Validated as the closed empty baseline permissions.
+ * @property {unknown[]} [entitlements] - Validated as the closed empty baseline entitlements.
+ * @property {unknown[]} [privacyDeclarations] - Validated as the closed empty baseline privacy declarations.
+ * @property {unknown[]} [capabilities] - Validated as the closed empty baseline Apple capabilities.
+ */
+/**
+ * @typedef IosApplicationConfiguration
+ * @property {string} productName - Validated Xcode product/path identity.
+ * @property {string} moduleName - Validated Swift module identity.
+ * @property {string} organizationPrefix - Validated reverse-DNS organization prefix.
+ * @property {string} bundleIdentifier - Validated reverse-DNS application bundle identity.
+ * @property {string} deploymentTarget - Validated caller-supplied deployment target.
+ * @property {string} displayName - Validated display name.
+ * @property {"Sources"} sourceRoot - Generated-source root.
+ * @property {"Assets.xcassets"} resourceRoot - Caller-resource root.
+ * @property {"swiftui"} lifecycle - Sole supported lifecycle.
+ * @property {Readonly<Record<string, never>>} infoPlist - Empty caller plist extension.
+ * @property {readonly never[]} permissions - Empty baseline permissions.
+ * @property {readonly never[]} entitlements - Empty baseline entitlements.
+ * @property {readonly never[]} privacyDeclarations - Empty baseline privacy declarations.
+ * @property {readonly never[]} capabilities - Empty baseline Apple capabilities.
+ */
+/**
+ * @typedef IosApplicationAssetInput
+ * @property {string} path - Full safe destination below Assets.xcassets.
+ * @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 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.
@@ -1027,6 +3330,7 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {boolean} binaryBackend - Binary backend availability.
  * @property {boolean} applicationBackend - Application-artifact backend availability.
  * @property {boolean} interoperability - Interoperability bridge availability.
+ * @property {boolean} provider - Target host stdlib provider/native-binding availability.
  */
 /**
  * @typedef LanguageMappingCapabilities
@@ -1039,12 +3343,27 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {readonly AcceptanceStage[]} stages - Applicable ordered acceptance stages.
  * @property {readonly string[]} toolchains - Required canonical toolchain IDs.
  */
+/**
+ * @typedef LanguageFeatureCapabilities
+ * @property {boolean} generalFunctionsAndCalls - Task 005 arbitrary required signatures, resolved direct calls, and void functions.
+ * @property {boolean} immutableCollections - Task 006 recursive immutable lists/maps, total access, and size.
+ * @property {boolean} optionalValues - Task 007 explicit optional values, presence tests, and guarded unwrap.
+ * @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} 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.
+ * @property {boolean} referenceClasses - Task 033 nominal reference classes, private instance state, exact constructors, and receiver methods.
+ * @property {boolean} effectfulCapabilitiesAndResources - Task 034 authorized host effects, typed failures, and owned resources.
+ */
 /**
  * @typedef LanguageCapabilities
  * @property {string} id - Stable registry identity.
  * @property {Readonly<LanguageRoleCapabilities>} roles - Independently registered roles.
  * @property {"single" | "multiple"} artifactMultiplicity - Target artifact multiplicity.
  * @property {boolean} roundTrip - Whether frontend/backend round-trip acceptance is declared.
+ * @property {Readonly<LanguageFeatureCapabilities>} features - Semantic feature capabilities.
  * @property {Readonly<LanguageMappingCapabilities>} mapping - Mapping forms.
  * @property {Readonly<LanguageAcceptanceCapabilities>} acceptance - Stages and toolchains.
  */
@@ -1066,6 +3385,7 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {string} filename - Original filename, preserved verbatim.
  * @property {string | null} content - Original source content, preserved verbatim when available.
  * @property {SemanticLanguage | null} language - Parser language when known.
+ * @property {"application" | "facade"} [ownership] - Caller or compiler-owned source role for semantic programs.
  */
 /**
  * @typedef SourceOrigin
@@ -1137,6 +3457,7 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {string} name - Semantic symbol name.
  * @property {SemanticSymbolKind} kind - Symbol category.
  * @property {string} declarationNodeId - Declaring node identity.
+ * @property {string} [semanticDeclarationId] - Stable semantic declaration identity for record, field, and function symbols.
  * @property {SourceLocation} location - Exact declaration-name range.
  * @property {SemanticSymbolReference[]} references - Ordered resolved references.
  */
@@ -1163,7 +3484,7 @@ export type SemanticNodeWithoutLocations = SemanticNode;
 /**
  * @typedef GeneratedSource
  * @property {string} filename - Output filename.
- * @property {SemanticLanguage} language - Output language.
+ * @property {GeneratedTextLanguage} language - Output text language.
  * @property {string} content - Exact generated LF source.
  */
 /**
@@ -1222,6 +3543,7 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {string} target - Stable language or target ID.
  * @property {string} entry - Path of the sole declared entry artifact.
  * @property {readonly GeneratedSetArtifact[]} artifacts - Deterministic artifact order.
+ * @property {Readonly<Record<string, unknown>>} [metadata] - Detached target-specific JSON metadata.
  */
 /**
  * @typedef DiscoveredToolchain
@@ -1229,8 +3551,8 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {string} command - Documented canonical command.
  * @property {string} executable - Exact absolute executable path.
  * @property {"override" | "canonical"} source - Resolution route.
- * @property {string} version - First captured version line.
- * @property {string} versionOutput - Complete captured version output.
+ * @property {string} version - First selected-stream version line.
+ * @property {string} versionOutput - Complete normalized stdout, or normalized stderr when stdout is empty.
  * @property {readonly string[]} versionArguments - Exact version argument array.
  */
 /**
@@ -1251,14 +3573,255 @@ export type SemanticNodeWithoutLocations = SemanticNode;
 /**
  * @typedef TypeReference
  * @property {"TypeReference"} kind - Node discriminator.
- * @property {SemanticTypeName} name - Normalized type name.
+ * @property {SemanticTypeName} name - Normalized scalar value type name.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance that survives semantic transforms.
+ */
+/**
+ * @typedef TypeParameter
+ * @property {"TypeParameter"} kind - Declaration-scoped invariant unbounded type parameter.
+ * @property {string} [id] - Stable declaration-scoped identity, required after validation.
+ * @property {string} name - Source-visible type parameter name.
+ * @property {SourceLocation} location - Parser-owned declaration location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned declaration-name range.
+ */
+/**
+ * @typedef TypeVariableReference
+ * @property {"TypeVariableReference"} kind - Reference to one declaration-scoped type parameter.
+ * @property {string} parameterId - Stable referenced type-parameter identity.
+ * @property {SourceLocation} location - Parser-owned reference location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
+ */
+/**
+ * @typedef ListType
+ * @property {"ListType"} kind - Recursive list-type discriminator.
+ * @property {SemanticValueType} elementType - Homogeneous element type.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned outer and argument ranges.
+ */
+/**
+ * @typedef MapType
+ * @property {"MapType"} kind - Recursive map-type discriminator.
+ * @property {TypeReference} keyType - Exact string key type.
+ * @property {SemanticValueType} valueType - Homogeneous value type.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned outer and argument ranges.
+ */
+/**
+ * @typedef OrderedMapType
+ * @property {"OrderedMapType"} kind - Distinct insertion-ordered map-type discriminator.
+ * @property {TypeReference} keyType - Exact supported string key type.
+ * @property {SemanticValueType} valueType - Homogeneous value type.
+ * @property {"insertion"} order - Canonical first-insertion encounter order.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned outer and argument ranges.
+ */
+/**
+ * @typedef OptionalType
+ * @property {"OptionalType"} kind - Explicit presence/absence type discriminator.
+ * @property {SemanticValueType} valueType - Exact present-value type.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned outer and constituent ranges.
+ */
+/**
+ * @typedef RecordType
+ * @property {"RecordType"} kind - Nominal record-type discriminator.
+ * @property {string} declarationId - Stable module-local record declaration identity.
+ * @property {SemanticValueType[]} [arguments] - Exact invariant type arguments; required for generic declarations and absent for non-generic declarations.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
+ */
+/**
+ * @typedef ErrorType
+ * @property {"ErrorType"} kind - Nominal unchecked-error type discriminator.
+ * @property {string} declarationId - Stable error declaration identity.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
+ */
+/**
+ * @typedef ReferenceType
+ * @property {"ReferenceType"} kind - Nominal reference-class type discriminator.
+ * @property {string} declarationId - Stable module-local class declaration identity.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
+ */
+/**
+ * @typedef OwnedResourceType
+ * @property {"OwnedResourceType"} kind - Compiler-owned linear resource type.
+ * @property {string} resourceId - Exact authority resource declaration identity.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
+ */
+/**
+ * @typedef OwnedReferenceType
+ * @property {"OwnedReferenceType"} kind - Linear reference that owns one protected resource.
+ * @property {string} declarationId - Exact owned class declaration identity.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
+ */
+/** @typedef {TypeReference | TypeVariableReference | ListType | MapType | OrderedMapType | OptionalType | RecordType | ReferenceType | OwnedResourceType | OwnedReferenceType} SemanticValueType */
+/** @typedef {SemanticValueType | ErrorType} SemanticBindingType */
+/**
+ * @typedef FunctionReturnTypeReference
+ * @property {"TypeReference"} kind - Void return discriminator.
+ * @property {"void"} name - Normalized non-value function return.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance that survives semantic transforms.
  */
+/** @typedef {SemanticValueType | FunctionReturnTypeReference} SemanticFunctionReturnType */
+/** @typedef {SemanticTypeName | {kind: "TypeVariableReference", parameterId: string} | {kind: "ListType", elementType: SemanticTypeIdentity} | {kind: "MapType", keyType: SemanticTypeIdentity, valueType: SemanticTypeIdentity} | {kind: "OrderedMapType", keyType: SemanticTypeIdentity, valueType: SemanticTypeIdentity, order: "insertion"} | {kind: "OptionalType", valueType: SemanticTypeIdentity} | {kind: "RecordType", declarationId: string, arguments?: SemanticTypeIdentity[]} | {kind: "ReferenceType", declarationId: string} | {kind: "OwnedResourceType", resourceId: string} | {kind: "OwnedReferenceType", declarationId: string}} SemanticTypeIdentity */
+/** @typedef {SemanticTypeIdentity | "void"} FunctionReturnTypeIdentity */
+/**
+ * @typedef ResolvedFunctionSignature
+ * @property {"ResolvedFunctionSignature"} kind - Resolution discriminator.
+ * @property {string} declarationId - Deterministic module-local declaration identity.
+ * @property {SemanticTypeIdentity[]} parameterTypes - Exact required positional parameter types.
+ * @property {FunctionReturnTypeIdentity} returnType - Exact resolved return type.
+ * @property {SemanticTypeIdentity[]} [typeArguments] - Inferred declaration-order type arguments for a generic call.
+ */
 /**
  * @typedef Parameter
  * @property {"Parameter"} kind - Node discriminator.
  * @property {string} name - Parameter name.
- * @property {TypeReference} type - Parameter type.
+ * @property {SemanticValueType} type - Parameter type.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ResolvedEffectOperationSignature
+ * @property {"ResolvedEffectOperationSignature"} kind - Resolution discriminator.
+ * @property {string} capabilityId - Exact capability declaration identity.
+ * @property {string} operationId - Exact operation declaration identity.
+ * @property {SemanticTypeIdentity[]} parameterTypes - Exact ordered parameter types.
+ * @property {FunctionReturnTypeIdentity} returnType - Exact operation result.
+ * @property {readonly ["host"]} effects - Closed initial effect set.
+ * @property {string[]} failureIds - Exact ordered declared failures.
+ * @property {EffectResourceFlow} resourceFlow - Exact ownership transition.
+ */
+/**
+ * @typedef OwnedMoveExpression
+ * @property {"OwnedMoveExpression"} kind - Explicit linear ownership transfer.
+ * @property {IdentifierExpression} expression - Moved owner.
+ * @property {OwnedResourceType | OwnedReferenceType} type - Exact owned type.
+ * @property {SourceLocation} location - Exact transfer location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Derived source provenance.
+ */
+/**
+ * @typedef OwnedBorrowExpression
+ * @property {"OwnedBorrowExpression"} kind - Immediate nonescaping resource borrow.
+ * @property {"shared" | "exclusive"} mode - Borrow mode.
+ * @property {IdentifierExpression | ReceiverExpression | PrivateFieldRead} expression - Borrowed place.
+ * @property {OwnedResourceType | OwnedReferenceType} type - Exact owned type.
+ * @property {SourceLocation} location - Exact borrow location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Derived source provenance.
+ */
+/**
+ * @typedef EffectCallExpression
+ * @property {"EffectCallExpression"} kind - Compiler-authorized effect invocation.
+ * @property {string} operation - Exact operation declaration identity.
+ * @property {Expression[]} arguments - Source-ordered arguments.
+ * @property {string} effectSiteId - Deterministic semantic evaluation identity.
+ * @property {ResolvedEffectOperationSignature} resolution - Complete authority resolution.
+ * @property {SourceLocation} location - Complete call location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned operation-name range.
+ */
+/**
+ * @typedef EffectParameter
+ * @property {string} name - Stable parameter name.
+ * @property {SemanticValueType} type - Exact ordered parameter type.
+ */
+/** @typedef {{kind: "none"} | {kind: "acquire", resourceId: string} | {kind: "borrow" | "close", parameterIndex: number, terminalFailureId: string}} EffectResourceFlow */
+/**
+ * @typedef EffectResourceDeclaration
+ * @property {"EffectResourceDeclaration"} kind - Capability resource declaration.
+ * @property {string} id - Deterministic authority-local identity.
+ * @property {string} name - Source-visible nominal resource name.
+ */
+/**
+ * @typedef EffectFailureDeclaration
+ * @property {"EffectFailureDeclaration"} kind - Capability failure declaration.
+ * @property {string} id - Deterministic authority-local identity.
+ * @property {string} name - Source-visible nominal failure name.
+ */
+/**
+ * @typedef EffectOperationDeclaration
+ * @property {"EffectOperationDeclaration"} kind - Compiler-authorized operation declaration.
+ * @property {string} id - Deterministic authority-local identity.
+ * @property {string} name - Source-visible operation name.
+ * @property {EffectParameter[]} parameters - Exact positional parameters.
+ * @property {SemanticFunctionReturnType} returnType - Exact result type.
+ * @property {readonly ["host"]} effects - Closed initial effect set.
+ * @property {string[]} failureIds - Ordered nominal failure identities.
+ * @property {EffectResourceFlow} resourceFlow - Exact ownership transition.
+ */
+/**
+ * @typedef EffectCapabilityDeclaration
+ * @property {"EffectCapabilityDeclaration"} kind - Authorized capability declaration.
+ * @property {string} id - Deterministic module-local identity.
+ * @property {string} authorityId - Opaque authority identity.
+ * @property {string} name - Capability name.
+ * @property {EffectResourceDeclaration[]} resources - Ordered resources.
+ * @property {EffectFailureDeclaration[]} failures - Ordered failures.
+ * @property {EffectOperationDeclaration[]} operations - Ordered operations.
+ */
+/**
+ * @typedef CapabilityAuthority
+ * @property {"SemantifoldCapabilityAuthority"} schema - Authority schema discriminator.
+ * @property {1 | 2} schemaVersion - Authority payload version, not a standard-library contract version.
+ * @property {string} id - Opaque caller-supplied authority identity.
+ * @property {EffectCapabilityDeclaration[]} capabilities - Normalized declarations.
+ * @property {string} [contractVersion] - Declared standard-library contract version, present only when the caller supplied one.
+ * @property {{identity: string, contractVersion: string, capabilities: EffectCapabilityDeclaration[]}[]} [modules] - Schema-v2 canonical module authorities.
+ */
+/** @typedef {{module: string, name: string}} CapabilityDeclarationReferenceInput */
+/** @typedef {{name: string, type: SemanticTypeName | {kind: "OwnedResourceType", resource: string | CapabilityDeclarationReferenceInput} | {kind: "OptionalType", valueType: SemanticTypeName}}} CapabilityParameterInput */
+/** @typedef {{name: string}} CapabilityNamedInput */
+/** @typedef {{kind: "none"} | {kind: "acquire", resource: string | CapabilityDeclarationReferenceInput} | {kind: "borrow" | "close", parameterIndex: number, terminalFailure: string | CapabilityDeclarationReferenceInput}} CapabilityResourceFlowInput */
+/** @typedef {{name: string, parameters: CapabilityParameterInput[], returnType: FunctionReturnTypeName | {kind: "OwnedResourceType", resource: string | CapabilityDeclarationReferenceInput} | {kind: "OptionalType", valueType: SemanticTypeName}, effects: ["host"], failures: (string | CapabilityDeclarationReferenceInput)[], resourceFlow: CapabilityResourceFlowInput}} CapabilityOperationInput */
+/** @typedef {{name: string, resources: CapabilityNamedInput[], failures: CapabilityNamedInput[], operations: CapabilityOperationInput[]}} CapabilityDeclarationInput */
+/** @typedef {{identity: string, contractVersion: string, capabilities: CapabilityDeclarationInput[]}} CapabilityAuthorityModuleInput */
+/** @typedef {{schema: "SemantifoldCapabilityAuthority", schemaVersion: 1, id: string, capabilities: CapabilityDeclarationInput[], contractVersion?: string} | {schema: "SemantifoldCapabilityAuthority", schemaVersion: 2, id: string, modules: CapabilityAuthorityModuleInput[]}} CapabilityAuthorityInput */
+/**
+ * @typedef ListLiteral
+ * @property {"ListLiteral"} kind - Ordered immutable list literal.
+ * @property {Expression[]} elements - Source-ordered, duplicate-preserving elements.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef MapEntry
+ * @property {"MapEntry"} kind - Source-ordered map initializer entry.
+ * @property {StringLiteral} key - Literal nonnumeric string key.
+ * @property {Expression} value - Entry value.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef MapLiteral
+ * @property {"MapLiteral"} kind - Immutable map literal; entry order is diagnostic-only.
+ * @property {MapEntry[]} entries - Source initializer order.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef OrderedMapLiteral
+ * @property {"OrderedMapLiteral"} kind - Immutable map literal with observable first-insertion order.
+ * @property {MapEntry[]} entries - Source-ordered unique entries.
+ * @property {SourceLocation} location - Complete ordered construction boundary.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ListIndexExpression
+ * @property {"ListIndexExpression"} kind - Total zero-based list index.
+ * @property {Expression} collection - List-valued receiver.
+ * @property {Expression} index - Integer index.
+ * @property {"proven" | "fail-on-absence"} totality - Admission basis; never optional.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef MapLookupExpression
+ * @property {"MapLookupExpression"} kind - Total string-key map lookup.
+ * @property {Expression} collection - Map-valued receiver.
+ * @property {Expression} key - String key expression.
+ * @property {"proven" | "fail-on-absence"} totality - Admission basis; never optional.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef CollectionSizeExpression
+ * @property {"CollectionSizeExpression"} kind - Finite collection size.
+ * @property {Expression} collection - List- or map-valued receiver.
+ * @property {"list" | "map"} [collectionKind] - Validated receiver kind for target spelling.
  * @property {SourceLocation} location - Source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
@@ -1290,6 +3853,33 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {SourceLocation} location - Source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
+/**
+ * @typedef OptionalNone
+ * @property {"OptionalNone"} kind - Contextually typed absence value.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef OptionalSome
+ * @property {"OptionalSome"} kind - Explicit present optional value.
+ * @property {Expression} value - Exact non-optional present value.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef OptionalIsPresent
+ * @property {"OptionalIsPresent"} kind - Presence test for one simple identifier.
+ * @property {IdentifierExpression} operand - Tested optional binding.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef OptionalUnwrap
+ * @property {"OptionalUnwrap"} kind - Guarded unwrap of one simple identifier.
+ * @property {IdentifierExpression} operand - Proven-present optional binding.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
 /**
  * @typedef UnaryExpression
  * @property {"UnaryExpression"} kind - Node discriminator.
@@ -1314,15 +3904,96 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {"CallExpression"} kind - Node discriminator.
  * @property {string} callee - Function name.
  * @property {Expression[]} arguments - Positional arguments.
+ * @property {ResolvedFunctionSignature} [resolution] - Deterministic declaration and signature binding, required after frontend validation.
+ * @property {string} [effectSiteId] - Deterministic site identity when the resolved function reaches a host effect.
+ * @property {readonly ["host"]} [effects] - Inferred checked host-effect fact.
+ * @property {string[]} [failureIds] - Ordered capability failures reachable through this call.
  * @property {SourceLocation} location - Source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
-/** @typedef {IdentifierExpression | IntegerLiteral | BooleanLiteral | StringLiteral | UnaryExpression | BinaryExpression | CallExpression} Expression */
+/**
+ * @typedef ResolvedConstructorSignature
+ * @property {"ResolvedConstructorSignature"} kind - Resolution discriminator.
+ * @property {string} declarationId - Exact constructor declaration identity.
+ * @property {SemanticTypeIdentity[]} parameterTypes - Exact constructor parameter types.
+ */
+/**
+ * @typedef ResolvedMethodSignature
+ * @property {"ResolvedMethodSignature"} kind - Resolution discriminator.
+ * @property {string} declarationId - Exact resolved method identity.
+ * @property {SemanticTypeIdentity[]} parameterTypes - Exact method parameter types.
+ * @property {FunctionReturnTypeIdentity} returnType - Exact method return type.
+ * @property {{kind: "preserve" | "terminal", terminalFailureId?: string}} [resourceFlow] - Owned receiver transition and declared terminal-use failure when applicable.
+ */
+/**
+ * @typedef ReceiverExpression
+ * @property {"ReceiverExpression"} kind - The declaring class instance receiver.
+ * @property {string} classId - Stable declaring class identity.
+ * @property {SourceLocation} location - Source receiver location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned receiver range.
+ */
+/**
+ * @typedef ReferenceConstruction
+ * @property {"ReferenceConstruction"} kind - Fresh nominal reference construction.
+ * @property {ReferenceType | OwnedReferenceType} reference - Exact class type.
+ * @property {Expression[]} arguments - Source-ordered constructor arguments.
+ * @property {ResolvedConstructorSignature} [resolution] - Exact constructor binding, required after validation.
+ * @property {string} [effectSiteId] - Deterministic site identity when construction reaches a host effect.
+ * @property {readonly ["host"]} [effects] - Inferred checked host-effect fact.
+ * @property {string[]} [failureIds] - Ordered capability failures reachable through construction.
+ * @property {SourceLocation} location - Complete construction location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned class-name range.
+ */
+/**
+ * @typedef MethodCallExpression
+ * @property {"MethodCallExpression"} kind - Resolved receiver-method invocation.
+ * @property {Expression} receiver - Receiver evaluated once before arguments.
+ * @property {string} method - Stable method identity after validation.
+ * @property {Expression[]} arguments - Source-ordered arguments.
+ * @property {ResolvedMethodSignature} [resolution] - Exact method binding, required after validation.
+ * @property {string} [effectSiteId] - Deterministic site identity when the method reaches a host effect.
+ * @property {readonly ["host"]} [effects] - Inferred checked host-effect fact.
+ * @property {string[]} [failureIds] - Ordered capability failures reachable through the method.
+ * @property {SourceLocation} location - Complete call location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned method-name range.
+ */
+/**
+ * @typedef PrivateFieldRead
+ * @property {"PrivateFieldRead"} kind - Declaring-receiver-only private field read.
+ * @property {ReceiverExpression} receiver - Exact declaring receiver.
+ * @property {string} field - Stable private field identity.
+ * @property {SourceLocation} location - Complete read location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned field-name range.
+ */
+/**
+ * @typedef RecordConstruction
+ * @property {"RecordConstruction"} kind - Nominal record construction.
+ * @property {RecordType} record - Resolved record declaration identity.
+ * @property {Expression[]} arguments - Complete field-ordered constructor arguments.
+ * @property {SourceLocation} location - Complete construction source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned record-name range.
+ */
+/**
+ * @typedef MemberRead
+ * @property {"MemberRead"} kind - Nominal immutable record-field read.
+ * @property {Expression} receiver - Record-valued receiver.
+ * @property {string} field - Stable resolved field identity after frontend validation.
+ * @property {SourceLocation} location - Complete member-read source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned member-name range.
+ */
+/**
+ * @typedef ErrorMessageRead
+ * @property {"ErrorMessageRead"} kind - The sole portable error member operation.
+ * @property {IdentifierExpression} receiver - Catch binding whose immutable message is read.
+ * @property {SourceLocation} location - Complete message-read source location.
+ * @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 LocalDeclaration
  * @property {"LocalDeclaration"} kind - Node discriminator.
  * @property {string} name - Declared local name.
- * @property {TypeReference} type - Explicit local type.
+ * @property {SemanticValueType} type - Explicit local type.
  * @property {boolean} mutable - Whether later assignment is allowed.
  * @property {Expression} initializer - Required initializer expression.
  * @property {SourceLocation} location - Declaration source location.
@@ -1336,10 +4007,26 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {SourceLocation} location - Assignment source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
+/**
+ * @typedef PrivateFieldWriteStatement
+ * @property {"PrivateFieldWriteStatement"} kind - Declaring-receiver-only private field mutation.
+ * @property {ReceiverExpression} receiver - Exact declaring receiver.
+ * @property {string} field - Stable private field identity.
+ * @property {Expression} expression - New field value.
+ * @property {SourceLocation} location - Assignment source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned field-name range.
+ */
 /**
  * @typedef ReturnStatement
  * @property {"ReturnStatement"} kind - Node discriminator.
- * @property {Expression} expression - Returned expression.
+ * @property {Expression} [expression] - Returned expression; absent exactly for a bare void return.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ExpressionStatement
+ * @property {"ExpressionStatement"} kind - Node discriminator.
+ * @property {CallExpression | MethodCallExpression | EffectCallExpression} expression - A direct, receiver, or authorized call whose resolved return type is void.
  * @property {SourceLocation} location - Source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
@@ -1352,8 +4039,95 @@ export type SemanticNodeWithoutLocations = SemanticNode;
  * @property {SourceLocation} location - Source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
+/**
+ * @typedef ValueBinding
+ * @property {"ValueBinding"} kind - Iteration-binding discriminator.
+ * @property {string} name - Body-local binding name.
+ * @property {SemanticValueType} type - Exact list element type.
+ * @property {false} mutable - Iteration bindings are always immutable.
+ * @property {SourceLocation} location - Binding source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ForEachStatement
+ * @property {"ForEachStatement"} kind - Ordered list-iteration discriminator.
+ * @property {string} [id] - Deterministic module-local loop identity, required after frontend validation.
+ * @property {Expression} list - List expression evaluated exactly once before traversal.
+ * @property {ValueBinding} valueBinding - Immutable binding scoped to the body.
+ * @property {Block} body - Loop body.
+ * @property {SourceLocation} location - Complete loop source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ForEachMapStatement
+ * @property {"ForEachMapStatement"} kind - Insertion-ordered map pair-iteration discriminator.
+ * @property {string} [id] - Deterministic module-local loop identity, required after frontend validation.
+ * @property {Expression} map - Ordered-map expression evaluated exactly once before traversal.
+ * @property {ValueBinding} keyBinding - Immutable string-key binding scoped to the body.
+ * @property {ValueBinding} valueBinding - Immutable homogeneous value binding scoped to the body.
+ * @property {Block} body - Loop body.
+ * @property {SourceLocation} location - Complete loop source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef WhileStatement
+ * @property {"WhileStatement"} kind - Strict-Boolean pre-condition loop discriminator.
+ * @property {string} [id] - Deterministic module-local loop identity, required after frontend validation.
+ * @property {Expression} condition - Boolean expression evaluated before every iteration.
+ * @property {Block} body - Ordered loop body.
+ * @property {SourceLocation} location - Complete loop source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef BreakStatement
+ * @property {"BreakStatement"} kind - Nearest-loop break discriminator.
+ * @property {string} [targetLoopId] - Resolved nearest-loop identity, required after frontend validation in loop context.
+ * @property {SourceLocation} location - Keyword source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ContinueStatement
+ * @property {"ContinueStatement"} kind - Nearest-loop continue discriminator.
+ * @property {string} [targetLoopId] - Resolved nearest-loop identity, required after frontend validation in loop context.
+ * @property {SourceLocation} location - Keyword source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ */
+/**
+ * @typedef ErrorConstruction
+ * @property {"ErrorConstruction"} kind - Construction of one declared unchecked error.
+ * @property {ErrorType} error - Exact nominal error type.
+ * @property {Expression} message - Sole immutable string payload.
+ * @property {SourceLocation} location - Complete construction source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type and message ranges.
+ */
+/**
+ * @typedef RaiseStatement
+ * @property {"RaiseStatement"} kind - Abrupt unchecked-error propagation.
+ * @property {ErrorConstruction} error - Exact constructed semantic error.
+ * @property {SourceLocation} location - Complete raise source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned raise range.
+ */
+/**
+ * @typedef CatchBinding
+ * @property {"CatchBinding"} kind - Exact-handler binding discriminator.
+ * @property {string} name - Handler-local binding name.
+ * @property {ErrorType} type - Exact caught nominal error type.
+ * @property {false} mutable - Catch bindings are immutable.
+ * @property {SourceLocation} location - Binding source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned binding range.
+ */
+/**
+ * @typedef TryStatement
+ * @property {"TryStatement"} kind - One body and one exact typed handler.
+ * @property {Block} body - Protected body.
+ * @property {ErrorType} catchType - Exact caught nominal error type.
+ * @property {CatchBinding} catchBinding - Immutable handler-local binding.
+ * @property {Block} catchBody - Handler body.
+ * @property {SourceLocation} location - Complete try/handler source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned try/catch ranges.
+ */
 /** @typedef {LocalDeclaration | AssignmentStatement} LocalStatement */
-/** @typedef {LocalStatement | IfStatement | ReturnStatement | PrintStatement} Statement */
+/** @typedef {LocalStatement | PrivateFieldWriteStatement | ExpressionStatement | IfStatement | ForEachStatement | ForEachMapStatement | WhileStatement | BreakStatement | ContinueStatement | ReturnStatement | PrintStatement | RaiseStatement | TryStatement} Statement */
 /**
  * @typedef Block
  * @property {"Block"} kind - Node discriminator.
@@ -1364,13 +4138,87 @@ export type SemanticNodeWithoutLocations = SemanticNode;
 /**
  * @typedef FunctionDeclaration
  * @property {"FunctionDeclaration"} kind - Node discriminator.
+ * @property {string} [id] - Deterministic module-local declaration identity, required after frontend validation.
  * @property {string} name - Function name.
+ * @property {TypeParameter[]} [typeParameters] - Ordered declaration-scoped invariant unbounded parameters.
  * @property {Parameter[]} parameters - Function parameters.
- * @property {TypeReference} returnType - Return type.
+ * @property {SemanticFunctionReturnType} returnType - Return type.
  * @property {Block} body - Function body.
  * @property {SourceLocation} location - Source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  */
+/**
+ * @typedef RecordField
+ * @property {"RecordField"} kind - Closed record-field discriminator.
+ * @property {string} [id] - Stable module-local field identity, required after frontend validation.
+ * @property {string} name - Field name.
+ * @property {SemanticValueType} type - Exact field type.
+ * @property {SourceLocation} location - Field declaration source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned name/type ranges.
+ */
+/**
+ * @typedef RecordDeclaration
+ * @property {"RecordDeclaration"} kind - Nominal closed immutable record declaration.
+ * @property {string} [id] - Stable module-local declaration identity, required after frontend validation.
+ * @property {string} name - Record name.
+ * @property {TypeParameter[]} [typeParameters] - Ordered declaration-scoped invariant unbounded parameters.
+ * @property {RecordField[]} fields - Ordered unique visible fields.
+ * @property {SourceLocation} location - Complete declaration source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned declaration-name range.
+ */
+/**
+ * @typedef PrivateField
+ * @property {"PrivateField"} kind - Declaring-class-private mutable instance field.
+ * @property {string} [id] - Stable class-scoped field identity, required after validation.
+ * @property {string} name - Source-visible field name inside the declaring class only.
+ * @property {SemanticValueType} type - Exact field type.
+ * @property {SourceLocation} location - Field declaration location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned name/type ranges.
+ */
+/**
+ * @typedef ConstructorDeclaration
+ * @property {"ConstructorDeclaration"} kind - Exact complete private-state initializer.
+ * @property {string} [id] - Stable class-scoped constructor identity, required after validation.
+ * @property {Parameter[]} parameters - Exact positional constructor signature.
+ * @property {Block} body - Field-order initialization body.
+ * @property {readonly ["host"]} [effects] - Inferred checked host-effect fact.
+ * @property {string[]} [failureIds] - Ordered capability failures reachable through construction.
+ * @property {SourceLocation} location - Complete constructor location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned constructor range.
+ */
+/**
+ * @typedef MethodDeclaration
+ * @property {"MethodDeclaration"} kind - Receiver-bound class method.
+ * @property {string} [id] - Stable class-scoped method identity, required after validation.
+ * @property {string} name - Source-visible method name.
+ * @property {Parameter[]} parameters - Exact positional method signature.
+ * @property {SemanticFunctionReturnType} returnType - Exact return type.
+ * @property {Block} body - Method body.
+ * @property {readonly ["host"]} [effects] - Inferred checked host-effect fact.
+ * @property {string[]} [failureIds] - Ordered capability failures reachable through the method.
+ * @property {SourceLocation} location - Complete method location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned method-name range.
+ */
+/**
+ * @typedef ClassDeclaration
+ * @property {"ClassDeclaration"} kind - Nominal reference class with private mutable state.
+ * @property {string} [id] - Stable module-local class identity, required after validation.
+ * @property {string} name - Source-visible class name.
+ * @property {PrivateField[]} fields - Ordered private instance state.
+ * @property {ConstructorDeclaration} constructor - Sole exact constructor.
+ * @property {MethodDeclaration[]} methods - Ordered receiver methods.
+ * @property {{kind: "ordinary"} | {kind: "ownedResource", fieldId: string, resourceId: string}} [ownership] - Explicit class ownership profile.
+ * @property {SourceLocation} location - Complete class location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned class-name range.
+ */
+/**
+ * @typedef ErrorDeclaration
+ * @property {"ErrorDeclaration"} kind - Nominal unchecked error with one immutable string message.
+ * @property {string} [id] - Stable module-local declaration identity, required after frontend validation.
+ * @property {string} name - Error type name.
+ * @property {SourceLocation} location - Complete declaration source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned declaration-name range.
+ */
 /**
  * @typedef PrintStatement
  * @property {"PrintStatement"} kind - Node discriminator.
@@ -1388,13 +4236,95 @@ export type SemanticNodeWithoutLocations = SemanticNode;
 /**
  * @typedef SemanticModule
  * @property {"Module"} kind - Node discriminator.
+ * @property {RecordDeclaration[]} [records] - Top-level nominal record declarations in source order; omitted when empty.
+ * @property {ClassDeclaration[]} [classes] - Top-level nominal reference classes in source order; omitted when empty.
+ * @property {ErrorDeclaration[]} [errors] - Top-level nominal unchecked error declarations in source order; omitted when empty.
+ * @property {EffectCapabilityDeclaration[]} [capabilities] - Compiler-authorized Task 034 declarations; omission is the legacy empty set.
  * @property {FunctionDeclaration[]} functions - Top-level functions.
  * @property {EntryPoint} entryPoint - Executable entry point.
  * @property {SourceLocation} location - Source location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
  * @property {SemanticProvenance} [provenance] - Parser-authored source and identity index; optional for legacy caller-authored modules.
  */
-/** @typedef {SemanticModule | FunctionDeclaration | Parameter | Block | Statement | EntryPoint | Expression | TypeReference} SemanticNode */
+/**
+ * @typedef SemanticImport
+ * @property {"Import"} kind - Node discriminator.
+ * @property {string} moduleId - Stable imported semantic module identity.
+ * @property {string} importedName - Exported declaration name in the source module.
+ * @property {string} localName - Binding name visible in the importing module.
+ * @property {SemanticDeclarationKind} symbolKind - Imported declaration namespace.
+ * @property {string} declarationId - Stable resolved declaration identity.
+ * @property {boolean} typeOnly - Whether source syntax admitted only type-position use.
+ * @property {SourceLocation} location - Complete import declaration/specifier location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned import ranges.
+ * @property {StdlibFacadeResolutionEvidence} [stdlibFacade] - Exact parser-proved native facade identity evidence.
+ */
+/**
+ * @typedef StdlibFacadeResolutionEvidence
+ * @property {"SemantifoldStdlibFacadeResolution"} schema - Evidence schema.
+ * @property {1} version - Evidence version.
+ * @property {string} facadeIdentity - Selected facade identity.
+ * @property {string} facadeVersion - Selected exact facade version.
+ * @property {string} nativeModule - Parser-proved source stdlib module identity.
+ * @property {string} nativeSymbol - Parser-proved source stdlib symbol identity.
+ */
+/**
+ * @typedef SemanticExport
+ * @property {"Export"} kind - Node discriminator.
+ * @property {string} exportedName - Name visible to importing modules.
+ * @property {SemanticDeclarationKind} symbolKind - Exported declaration namespace.
+ * @property {string} declarationId - Stable exported declaration identity.
+ * @property {SourceLocation} location - Complete export declaration/specifier location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned export ranges.
+ */
+/**
+ * @typedef SemanticProgramModule
+ * @property {"Module"} kind - Node discriminator.
+ * @property {string} id - Stable caller-supplied logical module identity.
+ * @property {string} sourceFilename - Explicit source filename; never an implicit read request.
+ * @property {RecordDeclaration[]} [records] - Top-level nominal record declarations.
+ * @property {ClassDeclaration[]} [classes] - Compiler-owned facade reference classes.
+ * @property {ErrorDeclaration[]} [errors] - Top-level nominal unchecked error declarations.
+ * @property {FunctionDeclaration[]} functions - Top-level functions.
+ * @property {SemanticImport[]} imports - Resolved imports in source order.
+ * @property {SemanticExport[]} exports - Resolved exports in source order.
+ * @property {EffectCapabilityDeclaration[]} [capabilities] - Authority declarations shared by reference when the program declares a standard-library contract.
+ * @property {EntryPoint} [entryPoint] - Sole executable entry point, present only on the selected module.
+ * @property {SourceLocation} location - Source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Node-associated provenance.
+ * @property {SemanticProvenance} [provenance] - Parser-authored source and identity index.
+ * @property {{identity: string, version: string}} [stdlibFacade] - Selected compiler-owned facade module identity.
+ */
+/**
+ * @typedef StdlibFacadeProgramModuleDescriptor
+ * @property {{identity: string, range: string}[]} dependencies - Versioned facade dependencies.
+ * @property {string} identity - Facade identity.
+ * @property {({identity: string, kind: "module", symbols: string[]} | {forms: ("unqualified-call" | "receiver-call")[], identity: string, kind: "builtin", symbols: string[]})[]} nativeModules - Exact native source identities.
+ * @property {({effects: string[], failures: string[], forms: ("direct-call" | "unqualified-call" | "receiver-call")[], kind: "function", name: string, ownership: "not-applicable", parameters: {name: string, type: string}[], returnType: string} | {constructor: {effects: string[], failures: string[], ownership: "acquired", parameters: {name: string, type: string}[]}, forms: ["constructor-call"], kind: "class", methods: {effects: string[], failures: string[], forms: ["receiver-call"], name: string, ownership: "borrowed" | "consumed", parameters: {name: string, type: string}[], returnType: string}[], name: string, ownership: "owned-reference"})[]} publicDeclarations - Public source declarations.
+ * @property {{module: string, operations: string[], range: string}[]} requirements - Canonical capability requirements.
+ * @property {string} runtimeProfile - Exact source runtime profile.
+ * @property {string} sourceModule - Compiler-owned semantic module identity.
+ * @property {string} version - Exact facade version.
+ * @property {"internal" | "public"} visibility - Native-selectable visibility.
+ */
+/**
+ * @typedef StdlibFacadeProgramDescriptor
+ * @property {"SemantifoldStdlibFacades"} schema - Facade descriptor schema.
+ * @property {1} version - Facade descriptor version.
+ * @property {SemanticLanguage} language - Source-language compatibility profile.
+ * @property {StdlibFacadeProgramModuleDescriptor[]} modules - Dependency-first selected executable closure.
+ */
+/**
+ * @typedef SemanticProgram
+ * @property {"Program"} kind - Node discriminator.
+ * @property {SemanticProgramModule[]} modules - Dependency-first deterministic module order.
+ * @property {string} entryModule - Stable identity of the sole entry module.
+ * @property {RegisteredSource[]} sources - Caller-order complete source registry.
+ * @property {{contractVersion?: string, identity: string}} [stdlibContract] - Declared standard-library contract; plain, never frozen.
+ * @property {{contractVersion?: string, identity: string}[]} [stdlibContracts] - Ordered declared standard-library contracts; plain, never frozen.
+ * @property {StdlibFacadeProgramDescriptor} [stdlibFacades] - Complete selected source-language facade closure.
+ */
+/** @typedef {SemanticModule | SemanticProgramModule | SemanticImport | SemanticExport | RecordDeclaration | ClassDeclaration | ErrorDeclaration | EffectCapabilityDeclaration | EffectResourceDeclaration | EffectFailureDeclaration | EffectOperationDeclaration | RecordField | PrivateField | ConstructorDeclaration | MethodDeclaration | FunctionDeclaration | TypeParameter | Parameter | ValueBinding | CatchBinding | Block | Statement | EntryPoint | Expression | ErrorConstruction | ErrorType | MapEntry | SemanticValueType | FunctionReturnTypeReference} SemanticNode */
 /** @typedef {SemanticNode} SemanticNodeWithoutLocations */
 export {};
 //# sourceMappingURL=types.d.ts.map