@fraczak/k 6.2.2 → 6.2.4

package/AGENTS.md

@@ -12,7 +12,7 @@
 - `npm run prepare` regenerates `parser.mjs` and `valueParser.mjs` from `.jison` grammars.
 - `npm test` runs the full suite through `scripts/run-tests.mjs`.
 - `node repl.mjs` (or `k-repl`) starts the interactive REPL.
-- `./k.mjs -k <file.k>` executes a k script on binary pattern+value stream input from stdin or a file; use `k-parse` and `k-print` at the boundaries.
+- `./k.mjs <file.k>` executes a k source/object file on binary pattern+value stream input from stdin or a file; if the argument is not an existing file, it is treated as an inline k expression.
 
 ## Coding Style & Naming Conventions
 - JavaScript uses ES modules (`.mjs`) with 2-space indentation and semicolons.

package/CHANGELOG.md

@@ -7,6 +7,16 @@ This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ---
 
+## [6.2.3] — 2026-06-03 — Unified k compiler output
+
+### Toolchain
+
+- Unified `k-compile` so it can emit `.ko`, `.klib`, and `.kvm` output.
+- Removed the separate `k-compile-lib` binary; use `k-compile ... .klib`.
+- Added inline source snippet input to `k-compile`, matching the `k` CLI style.
+
+---
+
 ## [6.1.0] — 2026-05-20 — CLI aliases and help
 
 ### Toolchain
@@ -61,5 +71,6 @@ This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ---
 
+[6.2.3]: https://github.com/fraczak/k/releases/tag/v6.2.3
 [6.1.0]: https://github.com/fraczak/k/releases/tag/v6.1.0
 [6.0.0]: https://github.com/fraczak/k/releases/tag/v6.0.0

package/CLAUDE.md

@@ -20,7 +20,7 @@ npm test  # Run comprehensive test suite (unit tests, derivation tests, shell te
 
 **Running k programs:**
 ```bash
-./k.mjs -k <file.k>   # Execute k script
+./k.mjs <file.k>      # Execute k source/object file
 ./repl.mjs            # Start interactive REPL (or: k-repl)
 ```
 

package/DOCS/OBJECT_FILE_AND_PATTERN.md

@@ -133,25 +133,28 @@ Loading an object hydrates the type-pattern graphs back into runtime
 Object execution through `k.mjs`:
 
 ```sh
-echo "..." | some-codec --parse | k -k path/to/program.ko | some-codec --print
+echo "..." | some-codec --parse | k path/to/program.ko | some-codec --print
 ```
 
-The `-k` option accepts either an object file or a source `.k` file. `k.mjs`
-tries to load the file as an object first, then falls back to source parsing and
-compilation.
+When the first positional argument names an existing file, `k.mjs` loads it as
+either an object file or a source `.k` file. It tries to load the file as an
+object first, then falls back to source parsing and compilation.
 
 Standalone helpers live in `objects/`:
 
 ```sh
 k-compile path/to/program.k path/to/program.ko
-k-compile-lib path/to/library.k path/to/library.klib
+k-compile path/to/library.k path/to/library.klib
+k-compile path/to/program.k path/to/program.kvm
 k-decompile path/to/program.ko path/to/program.decompiled.k
 k-extract-aliases path/to/library.klib path/to/aliases.k
 ```
 
-With no arguments, the helpers read from stdin and write to stdout:
+`k-compile` also accepts inline source snippets. With no arguments, the helpers
+read from stdin and write to stdout:
 
 ```sh
+k-compile 'x = |x; x x' > path/to/program.ko
 cat path/to/program.k | k-compile > path/to/program.ko
 cat path/to/program.ko | k-decompile > path/to/program.decompiled.k
 ```
@@ -259,7 +262,7 @@ succ = |succ;
 compile it with:
 
 ```sh
-k-compile-lib defs.k defs.klib
+k-compile defs.k defs.klib
 ```
 
 The output file is plain JSON and starts with `{`, not a binary prefix. Its

package/README.md

@@ -151,9 +151,11 @@ k programs can be compiled into:
 
 - `.klib`: plain JSON library objects
 - `.ko`: executable binary object containers
+- `.kvm`: JSON kVM programs
 
-These keep canonical code/relation definitions, aliases, metadata, and
-type-derivation status.
+Object and library files keep canonical code/relation definitions, aliases,
+metadata, and type-derivation status. The `.kvm` output is a lowered JSON
+program for backend inspection and execution experiments.
 
 ## CLI Tour
 
@@ -161,7 +163,7 @@ type-derivation status.
 
 | Command | Purpose |
 | --- | --- |
-| `k` | Execute a k expression, or `-k` source/object file, over a binary stream |
+| `k` | Execute a k expression, or an existing source/object file, over a binary stream |
 | `k-repl` | Start the interactive interpreter |
 
 **Serialization boundaries**
@@ -186,8 +188,7 @@ type-derivation status.
 
 | Command | Purpose |
 | --- | --- |
-| `k-compile` | Compile `.k` source to an executable `.ko` object |
-| `k-compile-lib` | Compile `.k` source to a `.klib` library |
+| `k-compile` | Compile `.k` source to `.ko`, `.klib`, or `.kvm` output |
 | `k-decompile` | Decompile `.ko` or `.klib` back to k source |
 | `k-extract-aliases` | Recover metadata aliases as k source |