@fraczak/k 6.1.0 → 6.1.2

package/Code-derivation-tests/pattern-envelope.mjs

@@ -44,6 +44,32 @@ assert.deepEqual(decodedMerged.pattern, INT_PATTERN);
 const identityResult = k.compile("()")(withPattern(two, INT_PATTERN));
 assert.deepEqual(identityResult.pattern, INT_PATTERN);
 
+const wrappedFloatPattern = [
+  ["closed-product", [["result", 1], ["flags", 6]]],
+  ["closed-product", [["sign", 2], ["exponent", 3], ["fraction", 4]]],
+  ["closed-union", [["+", 5], ["-", 5]]],
+  ["closed-product", [["0", 2]]],
+  ["closed-product", [["0", 2]]],
+  ["closed-product", []],
+  ["closed-union", [["inexact", 5]]]
+];
+const wrappedFloat = new Product({
+  result: new Product({
+    sign: new Variant("+", new Product({})),
+    exponent: new Product({ 0: new Variant("1", new Product({})) }),
+    fraction: new Product({ 0: new Variant("0", new Product({})) })
+  }),
+  flags: new Variant("inexact", new Product({}))
+});
+const resultProjection = k.compile(".result")(withPattern(wrappedFloat, wrappedFloatPattern));
+assert.deepEqual(resultProjection.pattern, [
+  ["closed-product", [["sign", 1], ["exponent", 3], ["fraction", 4]]],
+  ["closed-union", [["+", 2], ["-", 2]]],
+  ["closed-product", []],
+  ["closed-product", [["0", 1]]],
+  ["closed-product", [["0", 1]]]
+]);
+
 assert.throws(
   () => k.compile(".x")(withPattern(two, INT_PATTERN)),
   /Type Error in 'comp'.*Value envelope does not intersect expression input pattern/s

package/DOCS/REPL.md

@@ -45,6 +45,9 @@ complete.
 | `:C name` | Show canonical code definition |
 | `:codes` | List type aliases |
 | `:rels` | List relation aliases |
+| `:codec load file` | Load an importable REPL codec module |
+| `:codec list` | List loaded REPL codecs |
+| `:input type [codec]` | Read the next line as codec input for a singleton type |
 | `:load [--no-alias] file` | Load `.k` source or `.klib` into the current state |
 | `:klib file` | Export current state as a `.klib` library |
 | `:ko file expr` | Export a `.ko` executable with `expr` as main |
@@ -133,6 +136,10 @@ Tab completion covers:
 
 Type aliases also complete in `$name` position inside raw k input.
 
+For codec commands, completion covers `:codec load`, `:codec list`, file paths
+after `:codec load`, singleton type names after `:input`, and loaded codec names
+after the input type.
+
 ## Loading
 
 ### `:load [--no-alias] file.k`
@@ -147,6 +154,32 @@ Reads the plain-JSON library file and merges its codes, relations, aliases, and
 metadata into the session. Aliases are recovered from `meta[hash].origins[]`
 unless `--no-alias` is used.
 
+## Codecs
+
+REPL codecs are keyed by canonical singleton code hashes. Open filters are not
+used for codec dispatch.
+
+### `:codec load file`
+
+Loads an importable ES module that exports a codec shape:
+
+```js
+export const name = "utf8";
+export const codes = ["@..."];
+export function parse(text) { /* text -> Value */ }
+export function print(value) { /* Value -> text */ }
+```
+
+A codec may export `patterns` instead of `codes`; each pattern must be a
+singleton closed property-list pattern, and its code hash is recalculated by the
+REPL.
+
+### `:input type [codec]`
+
+Resolves `type` to a canonical singleton code, selects the registered codec,
+and consumes the next line verbatim as codec input. The parsed value is validated
+against that code before becoming the current value.
+
 ## Export
 
 ### `:klib file`

package/DOCS/dependency-graph.html

@@ -0,0 +1,140 @@
+<h1 id="project-dependency-graph">Project Dependency Graph</h1>
+<p><em>Auto-generated by scripts/generate-dependency-graph.mjs.</em></p>
+<pre class="mermaid"><code>graph TD
+    classDef default fill:#fff,stroke:#333,stroke-width:2px,color:#000;
+
+    Graph_mjs[&quot;Graph.mjs (1.9 KB)&lt;br/&gt;██&quot;]
+    TypeGraph_mjs[&quot;TypeGraph.mjs (1.1 KB)&lt;br/&gt;█&quot;]
+    TypePatternGraph_mjs[&quot;TypePatternGraph.mjs (8.0 KB)&lt;br/&gt;████████&quot;]
+    Value_mjs[&quot;Value.mjs (5.4 KB)&lt;br/&gt;█████&quot;]
+    augmentation_mjs[&quot;augmentation.mjs (6.9 KB)&lt;br/&gt;███████&quot;]
+    codecs_example_pipeline_mjs[&quot;codecs/example-pipeline.mjs (5.1 KB)&lt;br/&gt;█████&quot;]
+    codecs_ieee_mjs[&quot;codecs/ieee.mjs (4.3 KB)&lt;br/&gt;████&quot;]
+    codecs_int_mjs[&quot;codecs/int.mjs (3.5 KB)&lt;br/&gt;████&quot;]
+    codecs_json_codec_mjs[&quot;codecs/json-codec.mjs (6.2 KB)&lt;br/&gt;██████&quot;]
+    codecs_json_mjs[&quot;codecs/json.mjs (1.5 KB)&lt;br/&gt;██&quot;]
+    codecs_k_parse_mjs[&quot;codecs/k-parse.mjs (3.0 KB)&lt;br/&gt;███&quot;]
+    codecs_k_print_mjs[&quot;codecs/k-print.mjs (1.5 KB)&lt;br/&gt;██&quot;]
+    codecs_runtime_codec_mjs[&quot;codecs/runtime/codec.mjs (25.7 KB)&lt;br/&gt;████████████████████&quot;]
+    codecs_runtime_ieee_pattern_mjs[&quot;codecs/runtime/ieee-pattern.mjs (1.1 KB)&lt;br/&gt;█&quot;]
+    codecs_runtime_pattern_json_mjs[&quot;codecs/runtime/pattern-json.mjs (3.5 KB)&lt;br/&gt;███&quot;]
+    codecs_runtime_prefix_codec_mjs[&quot;codecs/runtime/prefix-codec.mjs (13.7 KB)&lt;br/&gt;██████████████&quot;]
+    codecs_runtime_show_value_mjs[&quot;codecs/runtime/show-value.mjs (2.1 KB)&lt;br/&gt;██&quot;]
+    codecs_runtime_test_codec_mjs[&quot;codecs/runtime/test-codec.mjs (3.0 KB)&lt;br/&gt;███&quot;]
+    codecs_runtime_typeFromValue_mjs[&quot;codecs/runtime/typeFromValue.mjs (0.9 KB)&lt;br/&gt;█&quot;]
+    codecs_runtime_unicode_string_mjs[&quot;codecs/runtime/unicode-string.mjs (7.5 KB)&lt;br/&gt;████████&quot;]
+    codecs_show_mjs[&quot;codecs/show.mjs (1.5 KB)&lt;br/&gt;██&quot;]
+    codecs_string_codec_mjs[&quot;codecs/string-codec.mjs (4.5 KB)&lt;br/&gt;█████&quot;]
+    codecs_unit_mjs[&quot;codecs/unit.mjs (1.6 KB)&lt;br/&gt;██&quot;]
+    codecs_utf16_mjs[&quot;codecs/utf16.mjs (2.2 KB)&lt;br/&gt;██&quot;]
+    codecs_utf8_mjs[&quot;codecs/utf8.mjs (1.3 KB)&lt;br/&gt;█&quot;]
+    codes_mjs[&quot;codes.mjs (9.9 KB)&lt;br/&gt;██████████&quot;]
+    compiler_mjs[&quot;compiler.mjs (3.9 KB)&lt;br/&gt;████&quot;]
+    convergence_mjs[&quot;convergence.mjs (6.5 KB)&lt;br/&gt;██████&quot;]
+    export_mjs[&quot;export.mjs (5.2 KB)&lt;br/&gt;█████&quot;]
+    hash_mjs[&quot;hash.mjs (1.1 KB)&lt;br/&gt;█&quot;]
+    index_mjs[&quot;index.mjs (1.9 KB)&lt;br/&gt;██&quot;]
+    k_mjs[&quot;k.mjs (2.7 KB)&lt;br/&gt;███&quot;]
+    object_mjs[&quot;object.mjs (26.3 KB)&lt;br/&gt;████████████████████&quot;]
+    pretty_mjs[&quot;pretty.mjs (5.6 KB)&lt;br/&gt;██████&quot;]
+    repl_mjs[&quot;repl.mjs (29.3 KB)&lt;br/&gt;████████████████████&quot;]
+    run_mjs[&quot;run.mjs (14.4 KB)&lt;br/&gt;██████████████&quot;]
+    symbol_table_mjs[&quot;symbol-table.mjs (2.7 KB)&lt;br/&gt;███&quot;]
+    typing_mjs[&quot;typing.mjs (4.9 KB)&lt;br/&gt;█████&quot;]
+    unification_mjs[&quot;unification.mjs (5.4 KB)&lt;br/&gt;█████&quot;]
+    valueIO_mjs[&quot;valueIO.mjs (1.8 KB)&lt;br/&gt;██&quot;]
+
+    TypePatternGraph_mjs --&gt; Graph_mjs
+    TypePatternGraph_mjs --&gt; unification_mjs
+    TypePatternGraph_mjs --&gt; TypeGraph_mjs
+    augmentation_mjs --&gt; codes_mjs
+    codecs_example_pipeline_mjs --&gt; codecs_runtime_codec_mjs
+    codecs_example_pipeline_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_example_pipeline_mjs --&gt; codecs_runtime_pattern_json_mjs
+    codecs_example_pipeline_mjs --&gt; Value_mjs
+    codecs_example_pipeline_mjs --&gt; hash_mjs
+    codecs_ieee_mjs --&gt; Value_mjs
+    codecs_ieee_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_ieee_mjs --&gt; codecs_runtime_ieee_pattern_mjs
+    codecs_int_mjs --&gt; Value_mjs
+    codecs_int_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_json_codec_mjs --&gt; Value_mjs
+    codecs_json_codec_mjs --&gt; codecs_string_codec_mjs
+    codecs_json_codec_mjs --&gt; codecs_runtime_ieee_pattern_mjs
+    codecs_json_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_json_mjs --&gt; codecs_json_codec_mjs
+    codecs_k_parse_mjs --&gt; index_mjs
+    codecs_k_parse_mjs --&gt; valueIO_mjs
+    codecs_k_parse_mjs --&gt; codecs_runtime_codec_mjs
+    codecs_k_parse_mjs --&gt; codecs_runtime_pattern_json_mjs
+    codecs_k_parse_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_k_print_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_runtime_codec_mjs --&gt; Value_mjs
+    codecs_runtime_codec_mjs --&gt; TypePatternGraph_mjs
+    codecs_runtime_codec_mjs --&gt; typing_mjs
+    codecs_runtime_codec_mjs --&gt; codes_mjs
+    codecs_runtime_codec_mjs --&gt; codecs_runtime_pattern_json_mjs
+    codecs_runtime_ieee_pattern_mjs --&gt; codes_mjs
+    codecs_runtime_ieee_pattern_mjs --&gt; codecs_runtime_codec_mjs
+    codecs_runtime_ieee_pattern_mjs --&gt; codecs_runtime_pattern_json_mjs
+    codecs_runtime_prefix_codec_mjs --&gt; Value_mjs
+    codecs_runtime_prefix_codec_mjs --&gt; codecs_runtime_codec_mjs
+    codecs_runtime_prefix_codec_mjs --&gt; codecs_runtime_pattern_json_mjs
+    codecs_runtime_prefix_codec_mjs --&gt; codecs_runtime_unicode_string_mjs
+    codecs_runtime_show_value_mjs --&gt; Value_mjs
+    codecs_runtime_test_codec_mjs --&gt; codecs_runtime_codec_mjs
+    codecs_runtime_test_codec_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_runtime_test_codec_mjs --&gt; codecs_runtime_pattern_json_mjs
+    codecs_runtime_test_codec_mjs --&gt; Value_mjs
+    codecs_runtime_test_codec_mjs --&gt; hash_mjs
+    codecs_runtime_typeFromValue_mjs --&gt; Value_mjs
+    codecs_runtime_unicode_string_mjs --&gt; Value_mjs
+    codecs_show_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_show_mjs --&gt; codecs_runtime_show_value_mjs
+    codecs_string_codec_mjs --&gt; codecs_runtime_codec_mjs
+    codecs_string_codec_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_string_codec_mjs --&gt; codecs_runtime_pattern_json_mjs
+    codecs_string_codec_mjs --&gt; codecs_runtime_unicode_string_mjs
+    codecs_unit_mjs --&gt; Value_mjs
+    codecs_unit_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    codecs_utf16_mjs --&gt; codecs_string_codec_mjs
+    codecs_utf8_mjs --&gt; codecs_string_codec_mjs
+    codes_mjs --&gt; hash_mjs
+    compiler_mjs --&gt; hash_mjs
+    compiler_mjs --&gt; TypePatternGraph_mjs
+    compiler_mjs --&gt; Graph_mjs
+    compiler_mjs --&gt; codes_mjs
+    compiler_mjs --&gt; augmentation_mjs
+    compiler_mjs --&gt; export_mjs
+    compiler_mjs --&gt; convergence_mjs
+    convergence_mjs --&gt; pretty_mjs
+    convergence_mjs --&gt; typing_mjs
+    export_mjs --&gt; hash_mjs
+    export_mjs --&gt; pretty_mjs
+    index_mjs --&gt; Value_mjs
+    index_mjs --&gt; valueIO_mjs
+    index_mjs --&gt; compiler_mjs
+    index_mjs --&gt; run_mjs
+    index_mjs --&gt; codes_mjs
+    k_mjs --&gt; index_mjs
+    k_mjs --&gt; codecs_runtime_prefix_codec_mjs
+    k_mjs --&gt; object_mjs
+    object_mjs --&gt; index_mjs
+    object_mjs --&gt; run_mjs
+    object_mjs --&gt; codes_mjs
+    object_mjs --&gt; TypePatternGraph_mjs
+    object_mjs --&gt; pretty_mjs
+    pretty_mjs --&gt; TypePatternGraph_mjs
+    repl_mjs --&gt; index_mjs
+    repl_mjs --&gt; run_mjs
+    repl_mjs --&gt; codes_mjs
+    repl_mjs --&gt; Value_mjs
+    repl_mjs --&gt; pretty_mjs
+    repl_mjs --&gt; object_mjs
+    repl_mjs --&gt; codecs_runtime_show_value_mjs
+    run_mjs --&gt; Value_mjs
+    run_mjs --&gt; codecs_runtime_codec_mjs
+    run_mjs --&gt; codecs_runtime_pattern_json_mjs
+    symbol_table_mjs --&gt; hash_mjs
+    typing_mjs --&gt; TypePatternGraph_mjs
+    valueIO_mjs --&gt; Value_mjs</code></pre>

package/DOCS/dependency-graph.md

@@ -0,0 +1,144 @@
+# Project Dependency Graph
+
+_Auto-generated by scripts/generate-dependency-graph.mjs._
+
+```mermaid
+graph TD
+    classDef default fill:#fff,stroke:#333,stroke-width:2px,color:#000;
+
+    Graph_mjs["Graph.mjs (1.9 KB)<br/>██"]
+    TypeGraph_mjs["TypeGraph.mjs (1.1 KB)<br/>█"]
+    TypePatternGraph_mjs["TypePatternGraph.mjs (8.0 KB)<br/>████████"]
+    Value_mjs["Value.mjs (5.4 KB)<br/>█████"]
+    augmentation_mjs["augmentation.mjs (6.9 KB)<br/>███████"]
+    codecs_example_pipeline_mjs["codecs/example-pipeline.mjs (5.1 KB)<br/>█████"]
+    codecs_ieee_mjs["codecs/ieee.mjs (4.3 KB)<br/>████"]
+    codecs_int_mjs["codecs/int.mjs (3.5 KB)<br/>████"]
+    codecs_json_codec_mjs["codecs/json-codec.mjs (6.2 KB)<br/>██████"]
+    codecs_json_mjs["codecs/json.mjs (1.5 KB)<br/>██"]
+    codecs_k_parse_mjs["codecs/k-parse.mjs (3.0 KB)<br/>███"]
+    codecs_k_print_mjs["codecs/k-print.mjs (1.5 KB)<br/>██"]
+    codecs_runtime_codec_mjs["codecs/runtime/codec.mjs (25.7 KB)<br/>████████████████████"]
+    codecs_runtime_ieee_pattern_mjs["codecs/runtime/ieee-pattern.mjs (1.1 KB)<br/>█"]
+    codecs_runtime_pattern_json_mjs["codecs/runtime/pattern-json.mjs (3.5 KB)<br/>███"]
+    codecs_runtime_prefix_codec_mjs["codecs/runtime/prefix-codec.mjs (13.7 KB)<br/>██████████████"]
+    codecs_runtime_show_value_mjs["codecs/runtime/show-value.mjs (2.1 KB)<br/>██"]
+    codecs_runtime_test_codec_mjs["codecs/runtime/test-codec.mjs (3.0 KB)<br/>███"]
+    codecs_runtime_typeFromValue_mjs["codecs/runtime/typeFromValue.mjs (0.9 KB)<br/>█"]
+    codecs_runtime_unicode_string_mjs["codecs/runtime/unicode-string.mjs (7.5 KB)<br/>████████"]
+    codecs_show_mjs["codecs/show.mjs (1.5 KB)<br/>██"]
+    codecs_string_codec_mjs["codecs/string-codec.mjs (4.5 KB)<br/>█████"]
+    codecs_unit_mjs["codecs/unit.mjs (1.6 KB)<br/>██"]
+    codecs_utf16_mjs["codecs/utf16.mjs (2.2 KB)<br/>██"]
+    codecs_utf8_mjs["codecs/utf8.mjs (1.3 KB)<br/>█"]
+    codes_mjs["codes.mjs (9.9 KB)<br/>██████████"]
+    compiler_mjs["compiler.mjs (3.9 KB)<br/>████"]
+    convergence_mjs["convergence.mjs (6.5 KB)<br/>██████"]
+    export_mjs["export.mjs (5.2 KB)<br/>█████"]
+    hash_mjs["hash.mjs (1.1 KB)<br/>█"]
+    index_mjs["index.mjs (1.9 KB)<br/>██"]
+    k_mjs["k.mjs (2.7 KB)<br/>███"]
+    object_mjs["object.mjs (26.3 KB)<br/>████████████████████"]
+    pretty_mjs["pretty.mjs (5.6 KB)<br/>██████"]
+    repl_mjs["repl.mjs (29.3 KB)<br/>████████████████████"]
+    run_mjs["run.mjs (14.4 KB)<br/>██████████████"]
+    symbol_table_mjs["symbol-table.mjs (2.7 KB)<br/>███"]
+    typing_mjs["typing.mjs (4.9 KB)<br/>█████"]
+    unification_mjs["unification.mjs (5.4 KB)<br/>█████"]
+    valueIO_mjs["valueIO.mjs (1.8 KB)<br/>██"]
+
+    TypePatternGraph_mjs --> Graph_mjs
+    TypePatternGraph_mjs --> unification_mjs
+    TypePatternGraph_mjs --> TypeGraph_mjs
+    augmentation_mjs --> codes_mjs
+    codecs_example_pipeline_mjs --> codecs_runtime_codec_mjs
+    codecs_example_pipeline_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_example_pipeline_mjs --> codecs_runtime_pattern_json_mjs
+    codecs_example_pipeline_mjs --> Value_mjs
+    codecs_example_pipeline_mjs --> hash_mjs
+    codecs_ieee_mjs --> Value_mjs
+    codecs_ieee_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_ieee_mjs --> codecs_runtime_ieee_pattern_mjs
+    codecs_int_mjs --> Value_mjs
+    codecs_int_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_json_codec_mjs --> Value_mjs
+    codecs_json_codec_mjs --> codecs_string_codec_mjs
+    codecs_json_codec_mjs --> codecs_runtime_ieee_pattern_mjs
+    codecs_json_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_json_mjs --> codecs_json_codec_mjs
+    codecs_k_parse_mjs --> index_mjs
+    codecs_k_parse_mjs --> valueIO_mjs
+    codecs_k_parse_mjs --> codecs_runtime_codec_mjs
+    codecs_k_parse_mjs --> codecs_runtime_pattern_json_mjs
+    codecs_k_parse_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_k_print_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_runtime_codec_mjs --> Value_mjs
+    codecs_runtime_codec_mjs --> TypePatternGraph_mjs
+    codecs_runtime_codec_mjs --> typing_mjs
+    codecs_runtime_codec_mjs --> codes_mjs
+    codecs_runtime_codec_mjs --> codecs_runtime_pattern_json_mjs
+    codecs_runtime_ieee_pattern_mjs --> codes_mjs
+    codecs_runtime_ieee_pattern_mjs --> codecs_runtime_codec_mjs
+    codecs_runtime_ieee_pattern_mjs --> codecs_runtime_pattern_json_mjs
+    codecs_runtime_prefix_codec_mjs --> Value_mjs
+    codecs_runtime_prefix_codec_mjs --> codecs_runtime_codec_mjs
+    codecs_runtime_prefix_codec_mjs --> codecs_runtime_pattern_json_mjs
+    codecs_runtime_prefix_codec_mjs --> codecs_runtime_unicode_string_mjs
+    codecs_runtime_show_value_mjs --> Value_mjs
+    codecs_runtime_test_codec_mjs --> codecs_runtime_codec_mjs
+    codecs_runtime_test_codec_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_runtime_test_codec_mjs --> codecs_runtime_pattern_json_mjs
+    codecs_runtime_test_codec_mjs --> Value_mjs
+    codecs_runtime_test_codec_mjs --> hash_mjs
+    codecs_runtime_typeFromValue_mjs --> Value_mjs
+    codecs_runtime_unicode_string_mjs --> Value_mjs
+    codecs_show_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_show_mjs --> codecs_runtime_show_value_mjs
+    codecs_string_codec_mjs --> codecs_runtime_codec_mjs
+    codecs_string_codec_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_string_codec_mjs --> codecs_runtime_pattern_json_mjs
+    codecs_string_codec_mjs --> codecs_runtime_unicode_string_mjs
+    codecs_unit_mjs --> Value_mjs
+    codecs_unit_mjs --> codecs_runtime_prefix_codec_mjs
+    codecs_utf16_mjs --> codecs_string_codec_mjs
+    codecs_utf8_mjs --> codecs_string_codec_mjs
+    codes_mjs --> hash_mjs
+    compiler_mjs --> hash_mjs
+    compiler_mjs --> TypePatternGraph_mjs
+    compiler_mjs --> Graph_mjs
+    compiler_mjs --> codes_mjs
+    compiler_mjs --> augmentation_mjs
+    compiler_mjs --> export_mjs
+    compiler_mjs --> convergence_mjs
+    convergence_mjs --> pretty_mjs
+    convergence_mjs --> typing_mjs
+    export_mjs --> hash_mjs
+    export_mjs --> pretty_mjs
+    index_mjs --> Value_mjs
+    index_mjs --> valueIO_mjs
+    index_mjs --> compiler_mjs
+    index_mjs --> run_mjs
+    index_mjs --> codes_mjs
+    k_mjs --> index_mjs
+    k_mjs --> codecs_runtime_prefix_codec_mjs
+    k_mjs --> object_mjs
+    object_mjs --> index_mjs
+    object_mjs --> run_mjs
+    object_mjs --> codes_mjs
+    object_mjs --> TypePatternGraph_mjs
+    object_mjs --> pretty_mjs
+    pretty_mjs --> TypePatternGraph_mjs
+    repl_mjs --> index_mjs
+    repl_mjs --> run_mjs
+    repl_mjs --> codes_mjs
+    repl_mjs --> Value_mjs
+    repl_mjs --> pretty_mjs
+    repl_mjs --> object_mjs
+    repl_mjs --> codecs_runtime_show_value_mjs
+    run_mjs --> Value_mjs
+    run_mjs --> codecs_runtime_codec_mjs
+    run_mjs --> codecs_runtime_pattern_json_mjs
+    symbol_table_mjs --> hash_mjs
+    typing_mjs --> TypePatternGraph_mjs
+    valueIO_mjs --> Value_mjs
+```

package/codecs/ieee.mjs

@@ -2,9 +2,12 @@
 
 import { stdin, stdout, argv, exit } from "node:process";
 import { Product, Variant } from "../Value.mjs";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
 import { decodeWire, encodeToWire } from "./runtime/prefix-codec.mjs";
 import { FLOAT64_PATTERN } from "./runtime/ieee-pattern.mjs";
 const UNIT = new Product({});
+const name = "ieee";
+const patterns = [FLOAT64_PATTERN];
 
 function usage(stream = console.error) {
   stream(`Usage: ${argv[1]} --parse | --print`);
@@ -112,6 +115,14 @@ function printFloatText(number) {
   return String(number);
 }
 
+function parse(text) {
+  return encodeNumberToValue(parseFloatText(text));
+}
+
+function print(value) {
+  return printFloatText(decodeValueToNumber(value));
+}
+
 function readAll(stream) {
   return new Promise((resolve, reject) => {
     const chunks = [];
@@ -144,7 +155,11 @@ async function main() {
   }
 }
 
-main().catch((error) => {
-  console.error(error.message || String(error));
-  exit(1);
-});
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch((error) => {
+    console.error(error.message || String(error));
+    exit(1);
+  });
+}
+
+export { FLOAT64_PATTERN, name, patterns, parse, print };

package/codecs/int.mjs

@@ -15,6 +15,7 @@
 
 import { stdin, stdout, argv, exit } from "node:process";
 import { Product, Variant } from "../Value.mjs";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
 import { decodeWire, encodeToWire } from "./runtime/prefix-codec.mjs";
 
 function usage(stream = console.error) {
@@ -31,6 +32,8 @@ const INT_PATTERN = [
   ["closed-union", [["0", 1], ["1", 1], ["_", 2]]],
   ["closed-product", []]
 ];
+const name = "int";
+const patterns = [INT_PATTERN];
 
 function readAll(stream) {
   return new Promise((resolve, reject) => {
@@ -108,7 +111,11 @@ async function main() {
   }
 }
 
-main().catch(err => {
-  console.error(err.message || String(err));
-  exit(1);
-});
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch(err => {
+    console.error(err.message || String(err));
+    exit(1);
+  });
+}
+
+export { INT_PATTERN, name, patterns, parseIntStr as parse, printIntValue as print };

package/codecs/json.mjs

@@ -2,6 +2,7 @@
 
 import { stdin, stdout, argv, exit } from "node:process";
 import { decodeWire, encodeToWire } from "./runtime/prefix-codec.mjs";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
 import { fromJsonValue, toJsonValue, patternFromJsonValue } from "./json-codec.mjs";
 
 function usage(stream = console.error) {
@@ -44,7 +45,9 @@ async function main() {
   }
 }
 
-main().catch((error) => {
-  console.error(error.stack || error.message || String(error));
-  exit(1);
-});
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch((error) => {
+    console.error(error.stack || error.message || String(error));
+    exit(1);
+  });
+}

package/codecs/k-parse.mjs

@@ -4,6 +4,7 @@ import fs from "node:fs";
 import { argv, stdin, exit, stdout } from "node:process";
 import k from "../index.mjs";
 import { parseValue } from "../valueIO.mjs";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
 import { exportPatternGraph } from "./runtime/codec.mjs";
 import { patternToPropertyList } from "./runtime/pattern-json.mjs";
 import { encodeToWire } from "./runtime/prefix-codec.mjs";
@@ -89,7 +90,9 @@ async function main() {
   stdout.write(encodeToWire(value, propertyList));
 }
 
-main().catch((error) => {
-  console.error(error.stack || error.message || String(error));
-  process.exit(1);
-});
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch((error) => {
+    console.error(error.stack || error.message || String(error));
+    process.exit(1);
+  });
+}

package/codecs/k-print.mjs

@@ -2,6 +2,7 @@
 
 import fs from "node:fs";
 import { argv, stdin, stdout } from "node:process";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
 import { decodeWire } from "./runtime/prefix-codec.mjs";
 
 function usage(stream = console.error) {
@@ -55,7 +56,9 @@ async function main() {
   stdout.write(`${JSON.stringify(value)}\n`);
 }
 
-main().catch((error) => {
-  console.error(error.stack || error.message || String(error));
-  process.exit(1);
-});
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch((error) => {
+    console.error(error.stack || error.message || String(error));
+    process.exit(1);
+  });
+}

package/codecs/runtime/cli-entry.mjs

@@ -0,0 +1,13 @@
+import fs from "node:fs";
+import { fileURLToPath } from "node:url";
+
+function isMainEntrypoint(metaUrl, entryArg) {
+  if (!entryArg) return false;
+  try {
+    return fs.realpathSync(entryArg) === fs.realpathSync(fileURLToPath(metaUrl));
+  } catch {
+    return false;
+  }
+}
+
+export { isMainEntrypoint };

package/codecs/show.mjs

@@ -2,6 +2,7 @@
 
 import fs from "node:fs";
 import { argv, stdin, stdout, stderr } from "node:process";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
 import { decodeWire } from "./runtime/prefix-codec.mjs";
 import { propertyListToFilter, valueToK } from "./runtime/show-value.mjs";
 
@@ -49,7 +50,9 @@ async function main() {
   stderr.write(`${valueStr} ?${filterStr}\n`);
 }
 
-main().catch((error) => {
-  console.error(error.stack || error.message || String(error));
-  process.exit(1);
-});
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch((error) => {
+    console.error(error.stack || error.message || String(error));
+    process.exit(1);
+  });
+}

package/codecs/unit.mjs

@@ -2,6 +2,7 @@
 
 import { stdin, stdout, argv, exit } from "node:process";
 import { Product } from "../Value.mjs";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
 import { decodeWire, encodeToWire } from "./runtime/prefix-codec.mjs";
 
 function usage(stream = console.error) {
@@ -14,6 +15,8 @@ function usage(stream = console.error) {
 const UNIT_PATTERN = [
   ["closed-product", []]
 ];
+const name = "unit";
+const patterns = [UNIT_PATTERN];
 
 function readAll(stream) {
   return new Promise((resolve, reject) => {
@@ -28,6 +31,17 @@ function unitEncoding() {
   return encodeToWire(new Product({}), UNIT_PATTERN);
 }
 
+function parse() {
+  return new Product({});
+}
+
+function print(value) {
+  if (!(value instanceof Product) || Object.keys(value.product).length !== 0) {
+    throw new Error("Input is not a unit value");
+  }
+  return "{}";
+}
+
 async function main() {
   const args = argv.slice(2);
   if (args.includes("-h") || args.includes("--help")) {
@@ -49,13 +63,14 @@ async function main() {
 
   const input = await readAll(stdin);
   const { value } = decodeWire(input);
-  if (!(value instanceof Product) || Object.keys(value.product).length !== 0) {
-    throw new Error("Input is not a unit value");
-  }
-  stdout.write("{}");
+  stdout.write(print(value));
+}
+
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch((error) => {
+    console.error(error.message || String(error));
+    exit(1);
+  });
 }
 
-main().catch((error) => {
-  console.error(error.message || String(error));
-  exit(1);
-});
+export { UNIT_PATTERN, name, patterns, parse, print };

package/codecs/utf16.mjs

@@ -1,7 +1,25 @@
 #!/usr/bin/env node
 
 import { stdin, stdout, argv, exit } from "node:process";
-import { encodeText, decodeText } from "./string-codec.mjs";
+import { isMainEntrypoint } from "./runtime/cli-entry.mjs";
+import {
+  STRING_PATTERN_PROPERTY_LIST,
+  encodeText,
+  decodeText,
+  textToStringValue,
+  stringValueToText
+} from "./string-codec.mjs";
+
+const name = "utf16";
+const patterns = [STRING_PATTERN_PROPERTY_LIST];
+
+function parse(text) {
+  return textToStringValue(text);
+}
+
+function print(value) {
+  return stringValueToText(value);
+}
 
 function usage(stream = console.error) {
   stream(`Usage: ${argv[1]} --parse | --print`);
@@ -70,7 +88,11 @@ async function main() {
   }
 }
 
-main().catch(err => {
-  console.error(err.message || String(err));
-  exit(1);
-});
+if (isMainEntrypoint(import.meta.url, argv[1])) {
+  main().catch(err => {
+    console.error(err.message || String(err));
+    exit(1);
+  });
+}
+
+export { name, patterns, parse, print };