@kernlang/core 4.1.0 → 4.1.1-canary.227.1.dcaa3f78
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/codegen/body-ts.js +18 -0
- package/dist/codegen/body-ts.js.map +1 -1
- package/dist/index.d.ts +5 -4
- package/dist/index.js +7 -2
- package/dist/index.js.map +1 -1
- package/dist/ir/semantics/assign.js +4 -4
- package/dist/ir/semantics/assign.js.map +1 -1
- package/dist/ir/semantics/branch.js +11 -9
- package/dist/ir/semantics/branch.js.map +1 -1
- package/dist/ir/semantics/each.js +11 -10
- package/dist/ir/semantics/each.js.map +1 -1
- package/dist/ir/semantics/expression-v1.js +17 -17
- package/dist/ir/semantics/expression-v1.js.map +1 -1
- package/dist/ir/semantics/fmt.js +3 -3
- package/dist/ir/semantics/fmt.js.map +1 -1
- package/dist/ir/semantics/for.js +14 -10
- package/dist/ir/semantics/for.js.map +1 -1
- package/dist/ir/semantics/if.js +12 -4
- package/dist/ir/semantics/if.js.map +1 -1
- package/dist/ir/semantics/index.d.ts +35 -1
- package/dist/ir/semantics/index.js +59 -1
- package/dist/ir/semantics/index.js.map +1 -1
- package/dist/ir/semantics/let.js +3 -3
- package/dist/ir/semantics/let.js.map +1 -1
- package/dist/ir/semantics/portable-scalar.js +6 -5
- package/dist/ir/semantics/portable-scalar.js.map +1 -1
- package/dist/ir/semantics/primitives.js +3 -3
- package/dist/ir/semantics/primitives.js.map +1 -1
- package/dist/ir/semantics/print.d.ts +36 -0
- package/dist/ir/semantics/print.js +102 -0
- package/dist/ir/semantics/print.js.map +1 -0
- package/dist/ir/semantics/register-all.js +2 -0
- package/dist/ir/semantics/register-all.js.map +1 -1
- package/dist/ir/semantics/testing.d.ts +18 -0
- package/dist/ir/semantics/testing.js +19 -0
- package/dist/ir/semantics/testing.js.map +1 -0
- package/dist/ir/semantics/try.js +6 -6
- package/dist/ir/semantics/try.js.map +1 -1
- package/dist/ir/semantics/while.js +7 -4
- package/dist/ir/semantics/while.js.map +1 -1
- package/dist/parser-validate-body-statements.js +1 -0
- package/dist/parser-validate-body-statements.js.map +1 -1
- package/dist/rag-retrieve-runner.d.ts +9 -1
- package/dist/rag-retrieve-runner.js +149 -2
- package/dist/rag-retrieve-runner.js.map +1 -1
- package/dist/runner.d.ts +28 -0
- package/dist/runner.js +30 -0
- package/dist/runner.js.map +1 -0
- package/dist/schema.js +8 -0
- package/dist/schema.js.map +1 -1
- package/dist/spec.d.ts +2 -2
- package/dist/spec.js +3 -1
- package/dist/spec.js.map +1 -1
- package/dist/testing.d.ts +16 -0
- package/dist/testing.js +17 -0
- package/dist/testing.js.map +1 -0
- package/package.json +9 -1
package/dist/spec.js
CHANGED
|
@@ -9,7 +9,7 @@
|
|
|
9
9
|
* Meta: theme nodes ($ref), pseudo-selectors (:press, :hover)
|
|
10
10
|
* Targets: Next.js, React+Tailwind, React Native, Express
|
|
11
11
|
*/
|
|
12
|
-
export const KERN_VERSION = '4.1.
|
|
12
|
+
export const KERN_VERSION = '4.1.1-canary.227.1.dcaa3f78';
|
|
13
13
|
// ── Grammar ─────────────────────────────────────────────────────────────
|
|
14
14
|
export const IR_GRAMMAR = `
|
|
15
15
|
document = node+
|
|
@@ -126,6 +126,8 @@ export const NODE_TYPES = [
|
|
|
126
126
|
'do',
|
|
127
127
|
'continue',
|
|
128
128
|
'break',
|
|
129
|
+
// Portable stdout primitive — `print value="<expr>"`
|
|
130
|
+
'print',
|
|
129
131
|
// Native KERN handler-body control flow (slice 2c)
|
|
130
132
|
'if',
|
|
131
133
|
'while',
|
package/dist/spec.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"spec.js","sourceRoot":"","sources":["../src/spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,
|
|
1
|
+
{"version":3,"file":"spec.js","sourceRoot":"","sources":["../src/spec.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,6BAA6B,CAAC;AAE1D,2EAA2E;AAC3E,MAAM,CAAC,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;;;;CAmBzB,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,SAAS;IACT,QAAQ;IACR,MAAM;IACN,KAAK;IACL,KAAK;IACL,MAAM;IACN,MAAM;IACN,QAAQ;IACR,UAAU;IACV,MAAM;IACN,OAAO;IACP,UAAU;IACV,SAAS;IACT,WAAW;IACX,aAAa;IACb,SAAS;IACT,MAAM;IACN,cAAc;IACd,QAAQ;IACR,OAAO;IACP,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,MAAM;IACN,MAAM;IACN,aAAa;IACb,MAAM;IACN,KAAK;IACL,QAAQ;IACR,MAAM;IACN,OAAO;IACP,OAAO;IACP,KAAK;IACL,WAAW;IACX,UAAU;IACV,QAAQ;IACR,OAAO;IACP,YAAY;IACZ,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,OAAO;IACP,IAAI;IACJ,KAAK;IACL,WAAW;IACX,wDAAwD;IACxD,QAAQ;IACR,MAAM;IACN,UAAU;IACV,SAAS;IACT,SAAS;IACT,MAAM;IACN,KAAK;IACL,SAAS;IACT,KAAK;IACL,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,WAAW;IACX,OAAO;IACP,OAAO;IACP,OAAO;IACP,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,YAAY;IACZ,QAAQ;IACR,SAAS;IACT,KAAK;IACL,UAAU;IACV,OAAO;IACP,WAAW;IACX,MAAM;IACN,OAAO;IACP,UAAU;IACV,UAAU;IACV,MAAM;IACN,MAAM;IACN,KAAK;IACL,QAAQ;IACR,OAAO;IACP,gDAAgD;IAChD,SAAS;IACT,QAAQ;IACR,OAAO;IACP,IAAI;IACJ,UAAU;IACV,OAAO;IACP,qDAAqD;IACrD,OAAO;IACP,mDAAmD;IACnD,IAAI;IACJ,OAAO;IACP,KAAK;IACL,MAAM;IACN,qBAAqB;IACrB,QAAQ;IACR,SAAS;IACT,8BAA8B;IAC9B,UAAU;IACV,kBAAkB;IAClB,UAAU;IACV,UAAU;IACV,OAAO;IACP,yDAAyD;IACzD,MAAM;IACN,WAAW;IACX,OAAO;IACP,IAAI;IACJ,OAAO;IACP,aAAa;IACb,SAAS;IACT,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,SAAS;IACT,MAAM;IACN,QAAQ;IACR,OAAO;IACP,SAAS;IACT,SAAS;IACT,UAAU;IACV,SAAS;IACT,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,WAAW;IACX,aAAa;IACb,QAAQ;IACR,SAAS;IACT,SAAS;IACT,YAAY;IACZ,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,6CAA6C;IAC7C,KAAK;IACL,MAAM;IACN,QAAQ;IACR,OAAO;IACP,MAAM;IACN,UAAU;IACV,IAAI;IACJ,OAAO;IACP,oCAAoC;IACpC,MAAM;IACN,UAAU;IACV,QAAQ;IACR,OAAO;IACP,MAAM;IACN,UAAU;IACV,KAAK;IACL,SAAS;IACT,MAAM;IACN,SAAS;IACT,QAAQ;IACR,4CAA4C;IAC5C,YAAY;IACZ,aAAa;IACb,YAAY;IACZ,cAAc;IACd,cAAc;IACd,eAAe;IACf,gBAAgB;IAChB,gBAAgB;IAChB,OAAO;IACP,cAAc;IACd,gBAAgB;IAChB,OAAO;IACP,UAAU;IACV,YAAY;IACZ,SAAS;IACT,YAAY;IACZ,YAAY;IACZ,cAAc;IACd,QAAQ;IACR,cAAc;IACd,kBAAkB;IAClB,YAAY;IACZ,qBAAqB;IACrB,OAAO;IACP,QAAQ;IACR,UAAU;IACV,YAAY;IACZ,YAAY;IACZ,QAAQ;IACR,OAAO;IACP,OAAO;IACP,YAAY;IACZ,cAAc;IACd,aAAa;IACb,MAAM;IACN,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,WAAW;IACX,MAAM;IACN,KAAK;IACL,kBAAkB;IAClB,UAAU;IACV,MAAM;IACN,MAAM;IACN,oCAAoC;IACpC,QAAQ;IACR,KAAK;IACL,MAAM;IACN,KAAK;IACL,OAAO;IACP,KAAK;IACL,MAAM;IACN,OAAO;IACP,SAAS;IACT,QAAQ;IACR,MAAM;IACN,MAAM;IACN,OAAO;IACP,WAAW;IACX,QAAQ;IACR,KAAK;IACL,SAAS;IACT,MAAM;IACN,OAAO;IACP,IAAI;IACJ,OAAO;IACP,aAAa;IACb,UAAU;IACV,cAAc;IACd,aAAa;IACb,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,cAAc;IACd,eAAe;IACf,MAAM;IACN,SAAS;IACT,MAAM;IACN,UAAU;IACV,SAAS;IACT,aAAa;IACb,QAAQ;IACR,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;IACR,UAAU;IACV,SAAS;IACT,WAAW;IACX,SAAS;IACT,SAAS;IACT,OAAO;IACP,KAAK;IACL,OAAO;IACP,MAAM;IACN,MAAM;IACN,KAAK;IACL,KAAK;IACL,OAAO;IACP,OAAO;IACP,KAAK;IACL,OAAO;IACP,KAAK;IACL,WAAW;IACX,UAAU;IACV,eAAe;IACf,WAAW;IACX,QAAQ;IACR,gBAAgB;IAChB,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,MAAM;IACN,SAAS;IACT,WAAW;IACX,eAAe;IACf,SAAS;IACT,OAAO;IACP,+CAA+C;IAC/C,QAAQ;IACR,MAAM;IACN,SAAS;IACT,OAAO;IACP,QAAQ;IACR,SAAS;IACT,UAAU;IACV,mCAAmC;IACnC,QAAQ;IACR,UAAU;IACV,mCAAmC;IACnC,OAAO;IACP,uCAAuC;IACvC,MAAM;IACN,SAAS;IACT,kDAAkD;IAClD,KAAK;IACL,MAAM;IACN,UAAU;IACV,QAAQ;IACR,OAAO;IACP,aAAa;IACb,UAAU;IACV,aAAa;IACb,UAAU;IACV,uDAAuD;IACvD,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,OAAO;IACP,aAAa;IACb,UAAU;IACV,WAAW;IACX,KAAK;IACL,aAAa;IACb,WAAW;IACX,SAAS;IACT,SAAS;IACT,WAAW;IACX,mBAAmB;IACnB,YAAY;IACZ,eAAe;CACP,CAAC;AAIX,2EAA2E;AAC3E,kFAAkF;AAElF,OAAO,EAAE,cAAc,EAAoB,MAAM,cAAc,CAAC;AAEhE,6EAA6E;AAC7E,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,oBAAoB,OAAO,uCAAuC,CAAC,CAAC;IACtF,CAAC;IACD,cAAc,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAC9C,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,cAAc,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAqB;IACjE,MAAM,EAAE,GAAG,OAAO,IAAI,cAAc,CAAC;IACrC,OAAQ,UAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC3F,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,eAAe;IAC7B,OAAO,cAAc,CAAC,eAAe,EAAE,CAAC;AAC1C,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,iBAAiB;IAC/B,cAAc,CAAC,iBAAiB,EAAE,CAAC;AACrC,CAAC;AAED;0EAC0E;AAC1E,MAAM,CAAC,MAAM,qBAAqB,GAAsB;IACtD,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,OAAO;IACP,MAAM;IACN,WAAW;IACX,OAAO;CACC,CAAC;AAEX,0DAA0D;AAC1D,MAAM,CAAC,MAAM,aAAa,GAAwB,MAAM,CAAC,MAAM,CAC7D,IAAI,GAAG,CAAS,CAAC,GAAG,UAAU,EAAE,GAAG,qBAAqB,CAAC,CAAC,CAC3D,CAAC;AAEF,2EAA2E;AAC3E,6EAA6E;AAC7E,kEAAkE;AAClE,MAAM,CAAC,MAAM,gBAAgB,GAA2B;IACtD,UAAU;IACV,CAAC,EAAE,SAAS;IACZ,CAAC,EAAE,QAAQ;IACX,EAAE,EAAE,UAAU;IACd,EAAE,EAAE,UAAU;IACd,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,aAAa;IACjB,EAAE,EAAE,cAAc;IAClB,EAAE,EAAE,SAAS;IACb,EAAE,EAAE,SAAS;IACb,EAAE,EAAE,WAAW;IACf,EAAE,EAAE,cAAc;IAClB,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,aAAa;IACjB,SAAS;IACT,CAAC,EAAE,OAAO;IACV,CAAC,EAAE,QAAQ;IACX,CAAC,EAAE,MAAM;IACT,WAAW,EAAE,UAAU;IACvB,WAAW,EAAE,UAAU;IACvB,YAAY,EAAE,WAAW;IACzB,YAAY,EAAE,WAAW;IACzB,cAAc;IACd,SAAS,EAAE,QAAQ;IACnB,SAAS;IACT,EAAE,EAAE,iBAAiB;IACrB,CAAC,EAAE,OAAO;IACV,EAAE,EAAE,aAAa;IACjB,aAAa;IACb,EAAE,EAAE,UAAU;IACd,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,WAAW;IACf,UAAU;IACV,EAAE,EAAE,cAAc;IAClB,EAAE,EAAE,aAAa;IACjB,SAAS;IACT,EAAE,EAAE,gBAAgB;IACpB,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,eAAe;IACnB,UAAU;IACV,MAAM,EAAE,WAAW;CACpB,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,gBAAgB,GAA2B;IACtD,EAAE,EAAE,eAAe;IACnB,EAAE,EAAE,cAAc;IAClB,EAAE,EAAE,cAAc;IAClB,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE,YAAY;IACnB,GAAG,EAAE,UAAU;IACf,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,MAAM;CACb,CAAC"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* `@kernlang/core/testing` — the public home of the differential-TEST harness.
|
|
3
|
+
*
|
|
4
|
+
* The 3-leg differential oracle (ReferenceRunner vs. emitted TS vs. emitted
|
|
5
|
+
* Python) runs the emitted TypeScript in-process via `node:vm`, so this entry
|
|
6
|
+
* transitively pulls the ~10MB TS compiler. It is therefore a NODE-ONLY, test-
|
|
7
|
+
* and-tooling surface — kept strictly separate from the spine-clean runtime
|
|
8
|
+
* entry `@kernlang/core/runner`.
|
|
9
|
+
*
|
|
10
|
+
* The paired runtime helpers (`makeEnv`, `CONTRACT_REGISTRY`,
|
|
11
|
+
* `registerAllContracts`, `ReferenceRunnerError`) are re-exported here too so a
|
|
12
|
+
* differential test can import its whole toolkit — including the error
|
|
13
|
+
* `referenceRun` throws — from one place.
|
|
14
|
+
*/
|
|
15
|
+
export { CONTRACT_REGISTRY, makeEnv, ReferenceRunnerError, referenceRun, referenceRunSequence, registerAllContracts, registerContract, } from './ir/semantics/index.js';
|
|
16
|
+
export { type DifferentialResult, runAllContracts, runDifferential, type Verdict } from './ir/semantics/testing.js';
|
package/dist/testing.js
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* `@kernlang/core/testing` — the public home of the differential-TEST harness.
|
|
3
|
+
*
|
|
4
|
+
* The 3-leg differential oracle (ReferenceRunner vs. emitted TS vs. emitted
|
|
5
|
+
* Python) runs the emitted TypeScript in-process via `node:vm`, so this entry
|
|
6
|
+
* transitively pulls the ~10MB TS compiler. It is therefore a NODE-ONLY, test-
|
|
7
|
+
* and-tooling surface — kept strictly separate from the spine-clean runtime
|
|
8
|
+
* entry `@kernlang/core/runner`.
|
|
9
|
+
*
|
|
10
|
+
* The paired runtime helpers (`makeEnv`, `CONTRACT_REGISTRY`,
|
|
11
|
+
* `registerAllContracts`, `ReferenceRunnerError`) are re-exported here too so a
|
|
12
|
+
* differential test can import its whole toolkit — including the error
|
|
13
|
+
* `referenceRun` throws — from one place.
|
|
14
|
+
*/
|
|
15
|
+
export { CONTRACT_REGISTRY, makeEnv, ReferenceRunnerError, referenceRun, referenceRunSequence, registerAllContracts, registerContract, } from './ir/semantics/index.js';
|
|
16
|
+
export { runAllContracts, runDifferential } from './ir/semantics/testing.js';
|
|
17
|
+
//# sourceMappingURL=testing.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACL,iBAAiB,EACjB,OAAO,EACP,oBAAoB,EACpB,YAAY,EACZ,oBAAoB,EACpB,oBAAoB,EACpB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAA2B,eAAe,EAAE,eAAe,EAAgB,MAAM,2BAA2B,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@kernlang/core",
|
|
3
|
-
"version": "4.1.
|
|
3
|
+
"version": "4.1.1-canary.227.1.dcaa3f78",
|
|
4
4
|
"description": "Kern core — parser, types, spec, config, style engines, codegen",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "./dist/index.js",
|
|
@@ -22,6 +22,14 @@
|
|
|
22
22
|
"types": "./dist/codegen/helpers.d.ts",
|
|
23
23
|
"default": "./dist/codegen/helpers.js"
|
|
24
24
|
},
|
|
25
|
+
"./runner": {
|
|
26
|
+
"types": "./dist/runner.d.ts",
|
|
27
|
+
"default": "./dist/runner.js"
|
|
28
|
+
},
|
|
29
|
+
"./testing": {
|
|
30
|
+
"types": "./dist/testing.d.ts",
|
|
31
|
+
"default": "./dist/testing.js"
|
|
32
|
+
},
|
|
25
33
|
"./runtime": {
|
|
26
34
|
"types": "./dist/runtime.d.ts",
|
|
27
35
|
"default": "./dist/runtime.js"
|