@scriptc/compiler 0.0.7 → 0.0.8

package/dist/library/trap-teaching.js

@@ -0,0 +1,49 @@
+/* The structured trap-teaching encoding (ratified 2026-07-23). A library-mode
+ * sink message that carries a diagnostic code and/or the trapping symbol is
+ * assembled as
+ *
+ *   0x01  text  0x1F code  0x1F symbol  [ 0x1F remediation ]
+ *
+ * The human teaching text LEADS the buffer so a plain-text host still shows
+ * something useful; 0x01 (ASCII SOH) is the version marker — every baseline
+ * (unstructured) message is UTF-8 whose first byte is printable, and no
+ * emitter path may ever produce an unstructured message whose first byte is
+ * below 0x20, so `msg_len > 0 && msg[0] == 0x01` identifies a structured
+ * message unambiguously. Fields ride 0x1F (ASCII Unit Separator); the whole
+ * remediation field, separator included, is absent when the profile supplies
+ * none. Emitters MUST NOT append fields beyond these four under this marker;
+ * parsers MUST ignore any field past the fourth.
+ *
+ * Division of labor (the spec's compatibility clause): the profile authors
+ * teaching and remediation text, the COMPILER assembles the buffer here
+ * (code, symbol, framing), and the runtime funnel and the host sink carry
+ * the bytes opaque and unchanged — the sink signature (ctx, msg pointer,
+ * len, address) is frozen; all structure lives in the message bytes.
+ *
+ * Code space: SC-prefixed codes belong exclusively to the compiler's
+ * diagnostics registry; embedder-supplied codes are embedder-prefixed and
+ * validated only as tokens free of the reserved bytes (profile.ts), never
+ * for registry membership. */
+/** The structured-message version marker (byte 0). A future encoding
+ * revision bumps the marker byte — the marker IS the version. */
+export const TRAP_TEACHING_MARKER = "\u0001";
+/** The field separator between text, code, symbol, and remediation. */
+export const TRAP_TEACHING_SEP = "\u001f";
+/** Assemble one structured trap-teaching message. Every field must already
+ * be free of the two reserved bytes — profile-supplied text is validated at
+ * profile load (SC4001), and the compiler's own texts, codes, and symbols
+ * never contain control bytes — so a violation here is an internal error,
+ * never a user-reportable state. */
+export function assembleTrapTeaching(text, code, symbol, remediation) {
+    const fields = [["text", text], ["code", code], ["symbol", symbol]];
+    if (remediation !== undefined)
+        fields.push(["remediation", remediation]);
+    for (const [name, value] of fields) {
+        if (value.includes(TRAP_TEACHING_MARKER) || value.includes(TRAP_TEACHING_SEP)) {
+            throw new Error(`trap-teaching assembler: ${name} contains a reserved byte (0x01/0x1F)`);
+        }
+    }
+    return (TRAP_TEACHING_MARKER + text + TRAP_TEACHING_SEP + code + TRAP_TEACHING_SEP + symbol +
+        (remediation !== undefined ? TRAP_TEACHING_SEP + remediation : ""));
+}
+//# sourceMappingURL=trap-teaching.js.map

package/dist/library/trap-teaching.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trap-teaching.js","sourceRoot":"","sources":["../../src/library/trap-teaching.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;8BAyB8B;AAE9B;iEACiE;AACjE,MAAM,CAAC,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AAC7C,uEAAuE;AACvE,MAAM,CAAC,MAAM,iBAAiB,GAAG,QAAQ,CAAC;AAE1C;;;;oCAIoC;AACpC,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,IAAY,EACZ,MAAc,EACd,WAAoB;IAEpB,MAAM,MAAM,GAAuB,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACxF,IAAI,WAAW,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;IACzE,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,uCAAuC,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,OAAO,CACL,oBAAoB,GAAG,IAAI,GAAG,iBAAiB,GAAG,IAAI,GAAG,iBAAiB,GAAG,MAAM;QACnF,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CACnE,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@scriptc/compiler",
-  "version": "0.0.7",
+  "version": "0.0.8",
   "description": "The scriptc compiler — TypeScript/JavaScript frontend, typed IR, LLVM and C backends",
   "license": "Apache-2.0",
   "homepage": "https://scriptc.dev",
@@ -30,7 +30,7 @@
   "dependencies": {
     "typescript": "7.0.2",
     "typescript5": "npm:typescript@5.9.3",
-    "@scriptc/runtime": "0.0.7"
+    "@scriptc/runtime": "0.0.8"
   },
   "scripts": {
     "build": "node node_modules/typescript5/bin/tsc -p tsconfig.json"

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.0.7",
+  "compilerVersion": "0.0.8",
   "coverage": [
     "Entries are projected mechanically from the compiler's own decision tables: the diagnostics registry, the unsupported-syntax dispatch tables, the stdlib and node-builtin lowering tables, and the supported-builtin-module list. Nothing is hand-maintained; the manifest regenerates byte-identically from the source tree at this version.",
     "Absence from this manifest means 'not projected', never 'unsupported'. Surfaces lowered through dedicated code paths rather than tables are not yet projected: console, JSON, process, Promise/async and the timer surface, the net/http/tls/https/dgram/dns/assert/test/stream/readline module member surfaces, template literals, the regex slice, and global functions (parseInt, parseFloat, isNaN, isFinite).",
@@ -201,7 +201,7 @@
     {
       "id": "diagnostic.sc2001",
       "kind": "diagnostic-fence",
-      "name": "values of types outside the compilable set",
+      "name": "values of types outside the compilable set (bigint and symbol primitives, constructor objects, and library-derived or unresolved generic shapes)",
       "status": "unsupported",
       "code": "SC2001"
     },
@@ -226,6 +226,41 @@
       "status": "unsupported",
       "code": "SC2004"
     },
+    {
+      "id": "diagnostic.sc2005",
+      "kind": "diagnostic-fence",
+      "name": "values whose type keeps a generic call signature (a compiled function is one concrete signature)",
+      "status": "unsupported",
+      "code": "SC2005"
+    },
+    {
+      "id": "diagnostic.sc2006",
+      "kind": "diagnostic-fence",
+      "name": "index-signature object types outside the supported shape",
+      "status": "unsupported",
+      "code": "SC2006"
+    },
+    {
+      "id": "diagnostic.sc2007",
+      "kind": "diagnostic-fence",
+      "name": "values of overloaded function type (a compiled function value is one signature)",
+      "status": "unsupported",
+      "code": "SC2007"
+    },
+    {
+      "id": "diagnostic.sc2008",
+      "kind": "diagnostic-fence",
+      "name": "intersection types with no resolved lowering",
+      "status": "unsupported",
+      "code": "SC2008"
+    },
+    {
+      "id": "diagnostic.sc2009",
+      "kind": "diagnostic-fence",
+      "name": "supported container and function shapes over a component type outside its slot",
+      "status": "unsupported",
+      "code": "SC2009"
+    },
     {
       "id": "diagnostic.sc2010",
       "kind": "diagnostic-fence",