@fraczak/k 6.10.5 → 6.10.6

package/CHANGELOG.md

@@ -5,6 +5,35 @@ All notable changes to this project will be documented here.
 The format follows [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 This project uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [6.10.6] — 2026-10-08 — Minimal Core Schema and REPL VFS Uploads
+
+### Core Schema & Language
+
+- **Minimal `core.k` Schema**:
+  - Streamlined `core.k` to focus strictly on structural type schemas
+    and pattern foundations.
+  - Removed legacy bit arithmetic (`succ`, `plus`, `times`, constants
+    `2`..`10`, and helpers `inv`, `concat`), achieving a 39% reduction
+    in file size.
+  - Retained `$bit`, `$bits`, `_`, `0`, `1`, `$string`, `$unicode`, and
+    `$pattern` definitions intact for type derivation and codecs.
+
+### Web REPL & VFS
+
+- **VFS Namespace Flattening**:
+  - Flattened VFS back to root filenames (`int.mjs`, `json.mjs`,
+    `utf8.mjs`, `unit.mjs`, `ieee.mjs`), ensuring consistent resolution
+    across browser and CLI environments.
+- **Upload File Directly to VFS**:
+  - Updated "Upload" action to strictly add uploaded files into the VFS
+    without auto-loading or evaluating them as K code.
+  - Enables uploading JavaScript codecs, JSON payloads, and test vectors.
+  - Expanded file picker `accept` filter to allow `.mjs`, `.js`, and
+    `.json` files.
+  - Supported `:codec load` for `.js` codecs in the VFS explorer modal.
+
+---
+
 ## [6.10.5] — 2026-10-08 — Adaptive Division and VFS Codecs
 
 ### Arithmetic & Algorithms

package/browser/repl-browser.mjs

@@ -477,7 +477,7 @@ function showVfsFilePreview(filename) {
 function loadPreviewedFile() {
   if (!currentPreviewFile) return;
   closeVfsModal();
-  if (currentPreviewFile.endsWith(".mjs") || currentPreviewFile.startsWith("codecs/")) {
+  if (currentPreviewFile.endsWith(".mjs") || currentPreviewFile.endsWith(".js") || currentPreviewFile.startsWith("codecs/")) {
     executeCommand(`:codec load ${currentPreviewFile}`);
   } else {
     executeCommand(`:load ${currentPreviewFile}`);
@@ -498,32 +498,49 @@ function downloadPreviewedFile() {
   URL.revokeObjectURL(url);
 }
 
-// File Upload Handler
+// File Upload Handler (adds file to VFS without auto-loading)
 function handleFileUpload(file) {
-  const reader = new FileReader();
-  const isBinary = file.name.endsWith(".klib") || file.name.endsWith(".ko") || file.name.endsWith(".wasm");
+  return new Promise((resolve, reject) => {
+    const reader = new FileReader();
+    const isBinary = file.name.endsWith(".klib") ||
+      file.name.endsWith(".ko") ||
+      file.name.endsWith(".wasm");
+
+    reader.onload = (e) => {
+      let data;
+      if (isBinary) {
+        data = new Uint8Array(e.target.result);
+      } else {
+        data = e.target.result;
+      }
+      setVfsFile(file.name, data);
+      appendSystemMessage(
+        `📁 Uploaded <b>${escapeHtml(file.name)}</b> into VFS (` +
+        `${(data.length / 1024).toFixed(1)} KB).`,
+        false,
+        true
+      );
+      if (vfsModal && vfsModal.classList.contains("open")) {
+        renderVfsFileList();
+        showVfsFilePreview(file.name);
+      }
+      resolve();
+    };
+
+    reader.onerror = () => {
+      appendSystemMessage(
+        `❌ Error reading file: ${file.name}`,
+        true
+      );
+      reject(reader.error || new Error("Failed to read file"));
+    };
 
-  reader.onload = (e) => {
-    let data;
     if (isBinary) {
-      data = new Uint8Array(e.target.result);
+      reader.readAsArrayBuffer(file);
     } else {
-      data = e.target.result;
+      reader.readAsText(file);
     }
-    setVfsFile(file.name, data);
-    appendSystemMessage(`📁 Uploaded <b>${escapeHtml(file.name)}</b> into VFS (${(data.length / 1024).toFixed(1)} KB).`);
-    if (file.name.endsWith("-codec.mjs") || file.name.endsWith("-codec.js") || file.name.includes("codec")) {
-      executeCommand(`:codec load ${file.name}`);
-    } else {
-      executeCommand(`:load ${file.name}`);
-    }
-  };
-
-  if (isBinary) {
-    reader.readAsArrayBuffer(file);
-  } else {
-    reader.readAsText(file);
-  }
+  });
 }
 
 // Export State as .klib
@@ -993,6 +1010,7 @@ if (typeof window !== "undefined") {
     getVfsFile,
     setVfsFile,
     getAllVfsFiles,
+    handleFileUpload,
     openCodecsModal,
     registerCodec,
     unregisterCodec

package/browser/shims/fs.mjs

@@ -25,10 +25,7 @@ function cleanPath(p) {
 }
 
 export function setVfsFile(path, content) {
-  let cleaned = cleanPath(path);
-  if (cleaned.endsWith(".mjs") && !cleaned.startsWith("codecs/")) {
-    cleaned = `codecs/${cleaned}`;
-  }
+  const cleaned = cleanPath(path);
   vfs.set(cleaned, content);
 }
 
@@ -58,11 +55,11 @@ const CURATED_VFS_FILES = [
   "ieee.k",
   "poly.k",
   "karatsuba-mult.k",
-  "codecs/json.mjs",
-  "codecs/utf8.mjs",
-  "codecs/int.mjs",
-  "codecs/unit.mjs",
-  "codecs/ieee.mjs"
+  "json.mjs",
+  "utf8.mjs",
+  "int.mjs",
+  "unit.mjs",
+  "ieee.mjs"
 ];
 
 export function getAllVfsFiles() {
@@ -74,7 +71,7 @@ export function getAllVfsFiles() {
   }
   for (const key of vfs.keys()) {
     if (key.endsWith("runtime.wat") || key.startsWith("backends/")) continue;
-    if (key.startsWith("Examples/")) continue;
+    if (key.startsWith("Examples/") || key.startsWith("codecs/")) continue;
     result.add(key);
   }
   return Array.from(result);