semantifold 0.3.0 → 0.5.0

package/index.js

@@ -1,16 +1,25 @@
 // @ts-check
 
 import {parseSource} from "./src/frontends/index.js"
+import {parseProgramSource} from "./src/frontends/program.js"
 import {generateArtifactSource, generateSource} from "./src/backends/index.js"
+import {generateProgramArtifacts} from "./src/backends/program.js"
 import {createGeneratedArtifactSet as constructArtifactSet} from "./src/artifacts.js"
-import {SemantifoldDiagnostic} from "./src/diagnostic.js"
+import {SemantifoldDiagnostic, unsupportedCapability} from "./src/diagnostic.js"
 import {languageRegistry} from "./src/language-registry.js"
+import {kotlinArtifactMetadata} from "./src/backends/kotlin.js"
+import {preflightEffectCapabilities} from "./src/backends/effects.js"
 
 const artifactBackendRoles = new Set(["text", "binary", "application"])
 
 export {SemantifoldDiagnostic}
+export {createCapabilityAuthority} from "./src/semantic/capabilities.js"
 export {languageCapabilities, supportedLanguages} from "./src/language-registry.js"
 export {createGeneratedArtifactSet} from "./src/artifacts.js"
+export {createStdlibContractRegistry, listStdlibModules, resolveStdlibModule} from "./src/semantic/stdlib.js"
+export {createStdlibProviderRegistry, listStdlibProviders} from "./src/stdlib-providers.js"
+export {negotiateStdlibProviders} from "./src/stdlib-negotiation.js"
+export {createStdlibFacadeRegistry, listStdlibFacades, resolveStdlibFacade} from "./src/stdlib-facades.js"
 export {createByteMapping, parseByteMapping, stringifyByteMapping} from "./src/binary-mapping.js"
 export {canonicalToolchains, discoverCanonicalToolchain, discoverToolchain} from "./src/toolchains.js"
 export {runAcceptanceStages} from "./src/acceptance.js"
@@ -37,12 +46,25 @@ export {
  * @param {string} input.filename - Source filename used in diagnostics.
  * @param {import("./src/semantic/types.js").SemanticLanguage} input.language - Source language.
  * @param {string} input.source - Source text.
+ * @param {Readonly<import("./src/semantic/types.js").CapabilityAuthority> | import("./src/semantic/types.js").CapabilityAuthorityInput} [input.capabilityAuthority] - Explicit compiler authority.
  * @returns {import("./src/semantic/types.js").SemanticModule} Semantic module.
  */
 export function parse(input) {
   return parseSource(input)
 }
 
+/**
+ * Parses a complete explicit multi-source project into one resolved semantic program.
+ * @param {object} input - Program parse request.
+ * @param {string} input.entryModule - Stable identity of the sole entry module.
+ * @param {{filename: string, id: string, language: import("./src/semantic/types.js").SemanticLanguage, source: string}[]} input.sources - Complete caller-supplied source set.
+ * @param {Readonly<import("./src/semantic/types.js").CapabilityAuthority> | import("./src/semantic/types.js").CapabilityAuthorityInput} [input.capabilityAuthority] - Explicit compiler authority shared by every program module.
+ * @returns {import("./src/semantic/types.js").SemanticProgram} Semantic program.
+ */
+export function parseProgram(input) {
+  return parseProgramSource(input)
+}
+
 /**
  * Generates target-language source from a shared semantic module.
  * @param {object} input - Generation request.
@@ -69,16 +91,34 @@ export function generateArtifact(input) {
   return generateArtifactSource(input)
 }
 
+/**
+ * Generates a deterministic mapped artifact set for a complete semantic program.
+ * @param {object} input - Program generation request.
+ * @param {import("./src/semantic/types.js").BackendLanguage} input.language - Registered program target.
+ * @param {import("./src/semantic/types.js").SemanticProgram} input.program - Complete resolved program.
+ * @param {"text" | "application"} [input.role] - Explicit role; omitted preserves text generation.
+ * @param {import("./src/semantic/types.js").IosApplicationConfigurationInput | import("./src/semantic/types.js").AndroidApplicationConfigurationInput} [input.configuration] - Application configuration.
+ * @param {import("./src/semantic/types.js").IosApplicationAssetInput[] | import("./src/semantic/types.js").AndroidApplicationInputFile[]} [input.assets] - Exact caller assets.
+ * @param {import("./src/semantic/types.js").AndroidApplicationInputFile[]} [input.resources] - Exact Android caller resources.
+ * @returns {import("./src/semantic/types.js").GeneratedArtifactSet} Complete generated set.
+ */
+export function generateProgramArtifactSet(input) {
+  return generateProgramArtifacts(input)
+}
+
 /**
  * Generates a deterministic artifact set for one semantic module.
  * @param {object} input - Artifact-set generation request.
- * @param {string} input.language - Registered target language or platform ID.
+ * @param {import("./src/semantic/types.js").BackendLanguage} input.language - Registered target language or platform ID.
  * @param {import("./src/semantic/types.js").SemanticModule} input.module - Semantic module.
  * @param {"text" | "binary" | "application"} [input.role] - Requested backend artifact role.
  * @param {string} [input.filename] - Safe output path for a text target.
  * @param {"none" | "external" | "inline"} [input.mapDirective] - JavaScript-family map directive.
  * @param {string} [input.sourceMapFilename] - External map filename.
  * @param {{filename: string, content: string, language?: import("./src/semantic/types.js").SemanticLanguage}[]} [input.sources] - Original sources.
+ * @param {import("./src/semantic/types.js").IosApplicationConfigurationInput | import("./src/semantic/types.js").AndroidApplicationConfigurationInput} [input.configuration] - Application configuration.
+ * @param {import("./src/semantic/types.js").IosApplicationAssetInput[] | import("./src/semantic/types.js").AndroidApplicationInputFile[]} [input.assets] - Exact caller assets.
+ * @param {import("./src/semantic/types.js").AndroidApplicationInputFile[]} [input.resources] - Exact Android caller resources.
  * @returns {import("./src/semantic/types.js").GeneratedArtifactSet} Complete generated set.
  */
 export function generateArtifactSet(input) {
@@ -89,7 +129,7 @@ export function generateArtifactSet(input) {
       message: "Artifact-set generation requires a request object."
     })
   }
-  const {filename, language, mapDirective, module, role = "text", sourceMapFilename, sources} = input
+  const {assets, configuration, filename, language, mapDirective, module, resources, role = "text", sourceMapFilename, sources} = input
 
   if (typeof language != "string" || language.length == 0) {
     throw new SemantifoldDiagnostic({
@@ -105,11 +145,27 @@ export function generateArtifactSet(input) {
       message: "Artifact backend role must be 'text', 'binary', or 'application'."
     })
   }
+  const target = languageRegistry.record(language)
+  preflightEffectCapabilities(module, /** @type {import("./src/semantic/types.js").BackendLanguage} */ (language))
+  const genericDeclaration = [...module?.records ?? [], ...module?.functions ?? []]
+    .find((declaration) => (declaration?.typeParameters?.length ?? 0) > 0)
+
+  if (genericDeclaration && !target.features.typeParametersAndGenerics) {
+    unsupportedCapability(/** @type {import("./src/semantic/types.js").BackendLanguage} */ (language),
+      "Task 012 type parameters and generics", genericDeclaration.location ?? module.location)
+  }
 
-  if (role == "text") {
-    const record = languageRegistry.record(language)
+  if (Array.isArray(module?.records) && module.records.length > 0 && !target.features.closedRecords) {
+    unsupportedCapability(/** @type {import("./src/semantic/types.js").BackendLanguage} */ (language),
+      "Task 009 closed records", module.records[0].location ?? module.location)
+  }
 
-    if (record.artifactMultiplicity == "multiple") {
+  if (Array.isArray(module?.classes) && module.classes.length > 0 && !target.features.referenceClasses) {
+    unsupportedCapability(/** @type {import("./src/semantic/types.js").BackendLanguage} */ (language),
+      "Task 033 reference classes", module.classes[0].location ?? module.location)
+  }
+  if (role == "text") {
+    if (target.artifactMultiplicity == "multiple") {
       const backend = languageRegistry.resolve(language, "textBackend", module?.location)
 
       return constructArtifactSet(backend({filename, language, mapDirective, module, sourceMapFilename, sources}))
@@ -127,7 +183,7 @@ export function generateArtifactSet(input) {
     const artifacts = [{
       content: artifact.code,
       contentKind: "text",
-      mediaType: /** @type {string} */ (record.mediaType),
+      mediaType: /** @type {string} */ (target.mediaType),
       ownership: "generated",
       path: artifact.filename,
       provenance: {
@@ -157,6 +213,7 @@ export function generateArtifactSet(input) {
 
     return constructArtifactSet({
       artifacts,
+      ...(language == "kotlin" ? {metadata: kotlinArtifactMetadata} : {}),
       target: language
     })
   }
@@ -164,5 +221,6 @@ export function generateArtifactSet(input) {
   const registryRole = role == "binary" ? "binaryBackend" : "applicationBackend"
   const backend = languageRegistry.resolve(language, registryRole, module?.location)
 
-  return constructArtifactSet(backend({filename, language, module, sources}))
+  return constructArtifactSet(backend(language == "android" ? input :
+    {assets, configuration, filename, language, mapDirective, module, resources, sourceMapFilename, sources}))
 }

package/node_modules/semantifold-tree-sitter-legacy-internal/README.md

@@ -2,6 +2,6 @@
 
 This package is private implementation code bundled only inside the root `semantifold` distribution. It is not published or exported by Semantifold.
 
-`parseCst(source, language = "c")` selects exactly "c" or "cpp" and serializes that official grammar’s results into recursively frozen `semantifold.parser-cst` version 1 plain data with UTF-16 indices and positions. Native Parser, Tree, Node, and language handles never leave this package.
+`parseCst(source, language = "c")` selects exactly "c", "cpp" or "rust" and serializes that official grammar’s results into recursively frozen `semantifold.parser-cst` version 1 plain data with UTF-16 indices and positions. Native Parser, Tree, Node, and language handles never leave this package.
 
-The package owns exact `tree-sitter@0.21.1`, `tree-sitter-c@0.23.2` and `tree-sitter-cpp@0.23.4` dependencies. npm bundles their registry contents, including licenses, platform prebuilds, and source fallbacks, into the root tarball.
+The package owns exact `tree-sitter@0.21.1`, `tree-sitter-c@0.23.2`, `tree-sitter-cpp@0.23.4` and `tree-sitter-rust@0.23.1` dependencies. npm bundles their registry contents, including licenses, platform prebuilds, and source fallbacks, into the root tarball.

package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/LICENSE

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2017 Maxim Sokolov
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/README.md

@@ -0,0 +1,45 @@
+# tree-sitter-rust
+
+[![CI][ci]](https://github.com/tree-sitter/tree-sitter-rust/actions/workflows/ci.yml)
+[![discord][discord]](https://discord.gg/w7nTvsVJhm)
+[![matrix][matrix]](https://matrix.to/#/#tree-sitter-chat:matrix.org)
+[![crates][crates]](https://crates.io/crates/tree-sitter-rust)
+[![npm][npm]](https://www.npmjs.com/package/tree-sitter-rust)
+[![pypi][pypi]](https://pypi.org/project/tree-sitter-rust)
+
+Rust grammar for [tree-sitter](https://github.com/tree-sitter/tree-sitter).
+
+## Features
+
+- **Speed** — When initially parsing a file, `tree-sitter-rust` takes around two to three times
+  as long as rustc's hand-written parser.
+
+  ```sh
+  $ wc -l examples/ast.rs
+    2157 examples/ast.rs
+
+  $ rustc -Z unpretty=ast-tree -Z time-passes examples/ast.rs | head -n0
+    time:   0.002; rss:   55MB ->   60MB (   +5MB)  parse_crate
+
+  $ tree-sitter parse examples/ast.rs --quiet --time
+    examples/ast.rs    6.48 ms        9908 bytes/ms
+  ```
+
+  But if you _edit_ the file after parsing it, tree-sitter can generally _update_
+  the previous existing syntax tree to reflect your edit in less than a millisecond,
+  thanks to its incremental parsing system.
+
+## References
+
+- [The Rust Reference](https://doc.rust-lang.org/reference/) — While Rust does
+  not have a specification, the reference tries to describe its working in detail.
+  It tends to be out of date.
+- [Keywords](https://doc.rust-lang.org/stable/book/appendix-01-keywords.html) and
+  [Operators and Symbols](https://doc.rust-lang.org/stable/book/appendix-02-operators.html).
+
+[ci]: https://img.shields.io/github/actions/workflow/status/tree-sitter/tree-sitter-rust/ci.yml?logo=github&label=CI
+[discord]: https://img.shields.io/discord/1063097320771698699?logo=discord&label=discord
+[matrix]: https://img.shields.io/matrix/tree-sitter-chat%3Amatrix.org?logo=matrix&label=matrix
+[npm]: https://img.shields.io/npm/v/tree-sitter-rust?logo=npm
+[crates]: https://img.shields.io/crates/v/tree-sitter-rust?logo=rust
+[pypi]: https://img.shields.io/pypi/v/tree-sitter-rust?logo=pypi&logoColor=ffd242

package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/binding.gyp

@@ -0,0 +1,30 @@
+{
+  "targets": [
+    {
+      "target_name": "tree_sitter_rust_binding",
+      "dependencies": [
+        "<!(node -p \"require('node-addon-api').targets\"):node_addon_api_except",
+      ],
+      "include_dirs": [
+        "src",
+      ],
+      "sources": [
+        "bindings/node/binding.cc",
+        "src/parser.c",
+        "src/scanner.c",
+      ],
+      "conditions": [
+        ["OS!='win'", {
+          "cflags_c": [
+            "-std=c11",
+          ],
+        }, { # OS == "win"
+          "cflags_c": [
+            "/std:c11",
+            "/utf-8",
+          ],
+        }],
+      ],
+    }
+  ]
+}

package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/binding.cc

@@ -0,0 +1,20 @@
+#include <napi.h>
+
+typedef struct TSLanguage TSLanguage;
+
+extern "C" TSLanguage *tree_sitter_rust();
+
+// "tree-sitter", "language" hashed with BLAKE2
+const napi_type_tag LANGUAGE_TYPE_TAG = {
+    0x8AF2E5212AD58ABF, 0xD5006CAD83ABBA16
+};
+
+Napi::Object Init(Napi::Env env, Napi::Object exports) {
+    exports["name"] = Napi::String::New(env, "rust");
+    auto language = Napi::External<TSLanguage>::New(env, tree_sitter_rust());
+    language.TypeTag(&LANGUAGE_TYPE_TAG);
+    exports["language"] = language;
+    return exports;
+}
+
+NODE_API_MODULE(tree_sitter_rust_binding, Init)

package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/binding_test.js

@@ -0,0 +1,9 @@
+const assert = require("node:assert");
+const { test } = require("node:test");
+
+const Parser = require("tree-sitter");
+
+test("can load grammar", () => {
+  const parser = new Parser();
+  assert.doesNotThrow(() => parser.setLanguage(require(".")));
+});

package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/index.d.ts

@@ -0,0 +1,28 @@
+type BaseNode = {
+  type: string;
+  named: boolean;
+};
+
+type ChildNode = {
+  multiple: boolean;
+  required: boolean;
+  types: BaseNode[];
+};
+
+type NodeInfo =
+  | (BaseNode & {
+      subtypes: BaseNode[];
+    })
+  | (BaseNode & {
+      fields: { [name: string]: ChildNode };
+      children: ChildNode[];
+    });
+
+type Language = {
+  name: string;
+  language: unknown;
+  nodeTypeInfo: NodeInfo[];
+};
+
+declare const language: Language;
+export = language;

package/node_modules/semantifold-tree-sitter-legacy-internal/node_modules/tree-sitter-rust/bindings/node/index.js

@@ -0,0 +1,11 @@
+const root = require("path").join(__dirname, "..", "..");
+
+module.exports =
+  typeof process.versions.bun === "string"
+    // Support `bun build --compile` by being statically analyzable enough to find the .node file at build-time
+    ? require(`../../prebuilds/${process.platform}-${process.arch}/tree-sitter-rust.node`)
+    : require("node-gyp-build")(root);
+
+try {
+  module.exports.nodeTypeInfo = require("../../src/node-types.json");
+} catch (_) {}