@cotal-ai/lang 0.40.0 → 0.41.1
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/conformance/corpus.json +56 -0
- package/dist/conformance.d.ts +32 -0
- package/dist/conformance.d.ts.map +1 -0
- package/dist/conformance.js +61 -0
- package/dist/conformance.js.map +1 -0
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/dist/primitives.js +1 -1
- package/dist/primitives.js.map +1 -1
- package/package.json +3 -2
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
{
|
|
2
|
+
"source": "spec/cotal-lang.md",
|
|
3
|
+
"adjudication": "a refused verdict names one code the validator's answer must include, and the answer may carry more; an accepted verdict means the validator answers no codes",
|
|
4
|
+
"cases": [
|
|
5
|
+
{
|
|
6
|
+
"index": 1,
|
|
7
|
+
"heading": "2.2 The syntax table",
|
|
8
|
+
"source": "// refused: L1001\nclass Plan { constructor(days) { this.days = days } }\n",
|
|
9
|
+
"verdict": {
|
|
10
|
+
"refused": "L1001"
|
|
11
|
+
}
|
|
12
|
+
},
|
|
13
|
+
{
|
|
14
|
+
"index": 2,
|
|
15
|
+
"heading": "2.2 The syntax table",
|
|
16
|
+
"source": "// refused: L1025\nconst same = 0 == \"\"\n",
|
|
17
|
+
"verdict": {
|
|
18
|
+
"refused": "L1025"
|
|
19
|
+
}
|
|
20
|
+
},
|
|
21
|
+
{
|
|
22
|
+
"index": 3,
|
|
23
|
+
"heading": "2.3 Static rules beyond syntax",
|
|
24
|
+
"source": "// refused: L2013\nasync function work(n) { return await sleep(\"1m\") }\nconst pa = work(1)\nconst pb = work(2)\n",
|
|
25
|
+
"verdict": {
|
|
26
|
+
"refused": "L2013"
|
|
27
|
+
}
|
|
28
|
+
},
|
|
29
|
+
{
|
|
30
|
+
"index": 4,
|
|
31
|
+
"heading": "6.8 The `notify` bound",
|
|
32
|
+
"source": "const planner = await spawn(\"planner\")\nconst builder = await spawn(\"builder\", { worktree: \"wt-1\" })\nconst r = await turn(builder, { name: \"build\", deadline: \"30m\" })\nif (r.status === \"blocked\") {\n await notify([planner], { decision: \"build\", outcome: \"blocked\", detail: { note: r.note ?? \"\" } })\n await turn(planner, { name: \"unblock\" })\n}\n",
|
|
33
|
+
"verdict": "accepted"
|
|
34
|
+
},
|
|
35
|
+
{
|
|
36
|
+
"index": 5,
|
|
37
|
+
"heading": "7.3 `race`",
|
|
38
|
+
"source": "const builder = await spawn(\"builder\")\nconst outcome = await race({\n reply: () => wait(replied(builder), { timeout: \"20m\" }),\n giveUp: () => sleep(\"1h\"),\n}, { name: \"await-or-move-on\" })\nif (outcome.index === \"giveUp\") {\n await notify([builder], { decision: \"await-reply\", outcome: \"gave-up\" })\n}\n",
|
|
39
|
+
"verdict": "accepted"
|
|
40
|
+
},
|
|
41
|
+
{
|
|
42
|
+
"index": 6,
|
|
43
|
+
"heading": "7.7 Writes across branches",
|
|
44
|
+
"source": "// refused: L2032\nlet winner = null\nconst a = await spawn(\"a\")\nconst b = await spawn(\"b\")\nawait parallel({\n first: async () => { const r = await turn(a, { name: \"go\" }); winner = r },\n second: async () => { const r = await turn(b, { name: \"go\" }); winner = r },\n})\n",
|
|
45
|
+
"verdict": {
|
|
46
|
+
"refused": "L2032"
|
|
47
|
+
}
|
|
48
|
+
},
|
|
49
|
+
{
|
|
50
|
+
"index": 7,
|
|
51
|
+
"heading": "9.1 What a program can catch",
|
|
52
|
+
"source": "const builder = await spawn(\"builder\")\ntry {\n await turn(builder, { name: \"build\", deadline: \"10m\" })\n} catch (e) {\n if (e.code === \"L4003\") {\n await notify([builder], { decision: \"build\", outcome: \"timed-out\" })\n } else {\n throw e\n }\n}\n",
|
|
53
|
+
"verdict": "accepted"
|
|
54
|
+
}
|
|
55
|
+
]
|
|
56
|
+
}
|
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
import { type LangErrorCode } from "./errors.js";
|
|
2
|
+
export interface ConformanceCase {
|
|
3
|
+
/** 1-based position of the block in the reference, matching the surface suite's "block N". */
|
|
4
|
+
readonly index: number;
|
|
5
|
+
/** The nearest section heading above the block. */
|
|
6
|
+
readonly heading: string;
|
|
7
|
+
/** The program text, byte for byte as the reference carries it. */
|
|
8
|
+
readonly source: string;
|
|
9
|
+
/**
|
|
10
|
+
* `"accepted"` means the validator answers no codes. A refusal names ONE code the validator's
|
|
11
|
+
* answer must include; the answer may carry more (the reference's first block answers four),
|
|
12
|
+
* so the check is membership in the answered set, never equality with a single code.
|
|
13
|
+
*/
|
|
14
|
+
readonly verdict: "accepted" | {
|
|
15
|
+
readonly refused: LangErrorCode;
|
|
16
|
+
};
|
|
17
|
+
}
|
|
18
|
+
/**
|
|
19
|
+
* The adjudication rule, carried inside the artifact itself so a reader holding only the JSON
|
|
20
|
+
* knows how to check a claim. The accessor refuses an artifact whose rule drifted from this text.
|
|
21
|
+
*/
|
|
22
|
+
export declare const ADJUDICATION = "a refused verdict names one code the validator's answer must include, and the answer may carry more; an accepted verdict means the validator answers no codes";
|
|
23
|
+
export interface ConformanceCorpus {
|
|
24
|
+
/** The document the corpus is generated from. */
|
|
25
|
+
readonly source: "spec/cotal-lang.md";
|
|
26
|
+
/** How a recorded verdict is checked against a validator's answer; always `ADJUDICATION`. */
|
|
27
|
+
readonly adjudication: string;
|
|
28
|
+
readonly cases: readonly ConformanceCase[];
|
|
29
|
+
}
|
|
30
|
+
/** Reads the shipped corpus artifact. Throws on a missing or malformed artifact. */
|
|
31
|
+
export declare function conformanceCorpus(): ConformanceCorpus;
|
|
32
|
+
//# sourceMappingURL=conformance.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"conformance.d.ts","sourceRoot":"","sources":["../src/conformance.ts"],"names":[],"mappings":"AAUA,OAAO,EAAW,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAE1D,MAAM,WAAW,eAAe;IAC9B,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;KAAE,CAAC;CACpE;AAED;;;GAGG;AACH,eAAO,MAAM,YAAY,kKACwI,CAAC;AAElK,MAAM,WAAW,iBAAiB;IAChC,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,6FAA6F;IAC7F,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;CAC5C;AA0BD,oFAAoF;AACpF,wBAAgB,iBAAiB,IAAI,iBAAiB,CAarD"}
|
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The conformance corpus: every ```js block in the language reference (spec/cotal-lang.md), with
|
|
3
|
+
* the verdict the validator gives it. It ships as a JSON artifact (`conformance/corpus.json`) so
|
|
4
|
+
* a second implementation can run the same claims from the file alone, and the artifact carries
|
|
5
|
+
* its own adjudication rule so the file needs no other document to say how a claim is checked.
|
|
6
|
+
* `conformanceCorpus()` is the in-process reader. `pnpm gen:conformance` regenerates the
|
|
7
|
+
* artifact from the reference, and `pnpm smoke:lang-conformance` holds the shipped bytes
|
|
8
|
+
* identical to a fresh build.
|
|
9
|
+
*/
|
|
10
|
+
import { readFileSync } from "node:fs";
|
|
11
|
+
import { CATALOG } from "./errors.js";
|
|
12
|
+
/**
|
|
13
|
+
* The adjudication rule, carried inside the artifact itself so a reader holding only the JSON
|
|
14
|
+
* knows how to check a claim. The accessor refuses an artifact whose rule drifted from this text.
|
|
15
|
+
*/
|
|
16
|
+
export const ADJUDICATION = "a refused verdict names one code the validator's answer must include, and the answer may carry more; an accepted verdict means the validator answers no codes";
|
|
17
|
+
// The annotation sits on the const: TypeScript only narrows after a never-returning call when
|
|
18
|
+
// the declaration itself carries the explicit type.
|
|
19
|
+
const fail = (detail) => {
|
|
20
|
+
throw new Error(`conformance corpus is malformed: ${detail}`);
|
|
21
|
+
};
|
|
22
|
+
const checkCase = (value, at) => {
|
|
23
|
+
if (value === null || typeof value !== "object" || Array.isArray(value))
|
|
24
|
+
fail(`case ${at} is not a record`);
|
|
25
|
+
const c = value;
|
|
26
|
+
if (typeof c.index !== "number" || typeof c.heading !== "string" || typeof c.source !== "string") {
|
|
27
|
+
fail(`case ${at} is missing index, heading, or source`);
|
|
28
|
+
}
|
|
29
|
+
if (c.verdict !== "accepted") {
|
|
30
|
+
const v = c.verdict;
|
|
31
|
+
const code = v === null || typeof v !== "object" ? undefined : v.refused;
|
|
32
|
+
if (typeof code !== "string")
|
|
33
|
+
fail(`case ${at} carries no verdict`);
|
|
34
|
+
if (!(code in CATALOG))
|
|
35
|
+
fail(`case ${at} refuses with ${code}, a code the catalog does not carry`);
|
|
36
|
+
Object.freeze(c.verdict);
|
|
37
|
+
}
|
|
38
|
+
return Object.freeze(c);
|
|
39
|
+
};
|
|
40
|
+
let cached;
|
|
41
|
+
/** Reads the shipped corpus artifact. Throws on a missing or malformed artifact. */
|
|
42
|
+
export function conformanceCorpus() {
|
|
43
|
+
if (cached !== undefined)
|
|
44
|
+
return cached;
|
|
45
|
+
const raw = readFileSync(new URL("../conformance/corpus.json", import.meta.url), "utf8");
|
|
46
|
+
const parsed = JSON.parse(raw);
|
|
47
|
+
if (parsed === null || typeof parsed !== "object")
|
|
48
|
+
fail("the artifact is not a record");
|
|
49
|
+
const rec = parsed;
|
|
50
|
+
if (rec.source !== "spec/cotal-lang.md")
|
|
51
|
+
fail(`unexpected source ${String(rec.source)}`);
|
|
52
|
+
if (rec.adjudication !== ADJUDICATION)
|
|
53
|
+
fail("the artifact does not carry the adjudication rule");
|
|
54
|
+
const list = rec.cases;
|
|
55
|
+
if (!Array.isArray(list) || list.length === 0)
|
|
56
|
+
fail("expected a non-empty cases array");
|
|
57
|
+
const cases = list.map((c, i) => checkCase(c, i + 1));
|
|
58
|
+
cached = Object.freeze({ source: "spec/cotal-lang.md", adjudication: ADJUDICATION, cases: Object.freeze(cases) });
|
|
59
|
+
return cached;
|
|
60
|
+
}
|
|
61
|
+
//# sourceMappingURL=conformance.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"conformance.js","sourceRoot":"","sources":["../src/conformance.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAsB,MAAM,aAAa,CAAC;AAiB1D;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GACvB,+JAA+J,CAAC;AAUlK,8FAA8F;AAC9F,oDAAoD;AACpD,MAAM,IAAI,GAA8B,CAAC,MAAM,EAAE,EAAE;IACjD,MAAM,IAAI,KAAK,CAAC,oCAAoC,MAAM,EAAE,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,KAAc,EAAE,EAAU,EAAmB,EAAE;IAChE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IAC5G,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjG,IAAI,CAAC,QAAQ,EAAE,uCAAuC,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;QACpB,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAE,CAA6B,CAAC,OAAO,CAAC;QACtG,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;QACpE,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,iBAAiB,IAAI,qCAAqC,CAAC,CAAC;QACnG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAA+B,CAAC;AACxD,CAAC,CAAC;AAEF,IAAI,MAAqC,CAAC;AAE1C,oFAAoF;AACpF,MAAM,UAAU,iBAAiB;IAC/B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,GAAG,CAAC,4BAA4B,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IACzF,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACxF,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,IAAI,GAAG,CAAC,MAAM,KAAK,oBAAoB;QAAE,IAAI,CAAC,qBAAqB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzF,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY;QAAE,IAAI,CAAC,mDAAmD,CAAC,CAAC;IACjG,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC;IACvB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,kCAAkC,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,YAAY,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAsB,CAAC;IACvI,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -14,6 +14,7 @@ export { BUILTINS, EFFECT_KINDS, EVENT_CONSTRUCTORS, FORBIDDEN_GLOBALS, HOST_GLO
|
|
|
14
14
|
export { ADMITTED_NODES, FORBIDDEN_CHILDREN, FORBIDDEN_NODES, KNOWN_NODES, STRUCTURAL_NODES, } from "./syntax.js";
|
|
15
15
|
export { MUTATING_METHODS } from "./library.js";
|
|
16
16
|
export { validate, type ValidateResult } from "./grammar.js";
|
|
17
|
+
export { ADJUDICATION, conformanceCorpus, type ConformanceCase, type ConformanceCorpus } from "./conformance.js";
|
|
17
18
|
export { RunDivergence, RuntimeFault, ScopeBranchMissing, UnwalkableScope, resume, run, type RunOptions, type RunResult, } from "./interpret.js";
|
|
18
19
|
export { NotCrossable, Prng, assertCrossable, deepFreeze } from "./values.js";
|
|
19
20
|
export { ENGINE_LANGUAGE_VERSION, LANGUAGE_VERSION, PIN_DEFAULTS, PinMismatch, WALKER_LANGUAGE_VERSION, bindPins, resolvePins, type PinnableOptions, type RunPins, } from "./pins.js";
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,EACT,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,EACH,KAAK,UAAU,EACf,KAAK,SAAS,GACf,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,uBAAuB,EACvB,QAAQ,EACR,WAAW,EACX,KAAK,eAAe,EACpB,KAAK,OAAO,GACb,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,aAAa,EACb,OAAO,EACP,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,WAAW,GACjB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,oBAAoB,EACpB,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,EACb,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,OAAO,GACb,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAAE,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACL,WAAW,EACX,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,EACT,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,aAAa,GACnB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAE,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,KAAK,eAAe,EAAE,KAAK,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAEjH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,EACH,KAAK,UAAU,EACf,KAAK,SAAS,GACf,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,uBAAuB,EACvB,QAAQ,EACR,WAAW,EACX,KAAK,eAAe,EACpB,KAAK,OAAO,GACb,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,aAAa,EACb,OAAO,EACP,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,WAAW,GACjB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,oBAAoB,EACpB,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,EACrB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,GACnB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,EACb,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,OAAO,GACb,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAAE,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACL,WAAW,EACX,KAAK,iBAAiB,EACtB,KAAK,SAAS,EACd,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,gBAAgB,EACrB,KAAK,eAAe,GACrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -14,6 +14,7 @@ export { BUILTINS, EFFECT_KINDS, EVENT_CONSTRUCTORS, FORBIDDEN_GLOBALS, HOST_GLO
|
|
|
14
14
|
export { ADMITTED_NODES, FORBIDDEN_CHILDREN, FORBIDDEN_NODES, KNOWN_NODES, STRUCTURAL_NODES, } from "./syntax.js";
|
|
15
15
|
export { MUTATING_METHODS } from "./library.js";
|
|
16
16
|
export { validate } from "./grammar.js";
|
|
17
|
+
export { ADJUDICATION, conformanceCorpus } from "./conformance.js";
|
|
17
18
|
export { RunDivergence, RuntimeFault, ScopeBranchMissing, UnwalkableScope, resume, run, } from "./interpret.js";
|
|
18
19
|
export { NotCrossable, Prng, assertCrossable, deepFreeze } from "./values.js";
|
|
19
20
|
export { ENGINE_LANGUAGE_VERSION, LANGUAGE_VERSION, PIN_DEFAULTS, PinMismatch, WALKER_LANGUAGE_VERSION, bindPins, resolvePins, } from "./pins.js";
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,GAMV,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,GAGb,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAuB,MAAM,cAAc,CAAC;AAE7D,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,GAGJ,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,uBAAuB,EACvB,QAAQ,EACR,WAAW,GAGZ,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,aAAa,EACb,OAAO,EACP,WAAW,EACX,cAAc,EACd,mBAAmB,GAsBpB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,GAMb,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,GAInB,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,oBAAoB,EACpB,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,GAQtB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,GAId,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAA6C,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACL,WAAW,GAQZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,SAAS,GAMV,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,UAAU,EACV,eAAe,EACf,cAAc,EACd,YAAY,EACZ,WAAW,EACX,YAAY,GAGb,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,WAAW,EACX,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAuB,MAAM,cAAc,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAgD,MAAM,kBAAkB,CAAC;AAEjH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,eAAe,EACf,MAAM,EACN,GAAG,GAGJ,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,YAAY,EACZ,WAAW,EACX,uBAAuB,EACvB,QAAQ,EACR,WAAW,GAGZ,MAAM,WAAW,CAAC;AAEnB,OAAO,EACL,SAAS,EACT,WAAW,EACX,aAAa,EACb,OAAO,EACP,WAAW,EACX,cAAc,EACd,mBAAmB,GAsBpB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,gBAAgB,EAChB,MAAM,EACN,YAAY,GAMb,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,UAAU,EACV,kBAAkB,GAInB,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD,OAAO,EACL,oBAAoB,EACpB,OAAO,EACP,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,EACR,qBAAqB,GAQtB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,aAAa,EACb,QAAQ,EACR,UAAU,EACV,MAAM,EACN,aAAa,EACb,eAAe,EACf,aAAa,EACb,aAAa,GAId,MAAM,WAAW,CAAC;AAEnB;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAA6C,MAAM,sBAAsB,CAAC;AAC5F,OAAO,EACL,WAAW,GAQZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC"}
|
package/dist/primitives.js
CHANGED
|
@@ -52,7 +52,7 @@ export const PRIMITIVES = Object.freeze({
|
|
|
52
52
|
hashesSubject: true,
|
|
53
53
|
opensScope: false,
|
|
54
54
|
signature: "ask(agent, { name, schema, deadline?, attempts? }) -> record",
|
|
55
|
-
doc: "The narrow case where the program itself needs a value. The agent publishes a record
|
|
55
|
+
doc: "The narrow case where the program itself needs a value. The agent publishes a record and the program awaits it. `schema` rides to the handler opaque; the reference simulator enforces the shorthand, refusing one it cannot read with L4022 and reporting L4006 once `attempts` non-conforming replies are exhausted.",
|
|
56
56
|
example: 'const est = await ask(planner, { name: "estimate", schema: { days: "number" } })',
|
|
57
57
|
},
|
|
58
58
|
checkpoint: {
|
package/dist/primitives.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO;IACP,MAAM;IACN,KAAK;IACL,YAAY;IACZ,OAAO;IACP,MAAM;IACN,QAAQ;IACR,SAAS;IACT,UAAU;CACF,CAAC;AA2CX,MAAM,CAAC,MAAM,UAAU,GAA4C,MAAM,CAAC,MAAM,CAAC;IAC/E,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC/E,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC;QAC3C,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EACP,kGAAkG;QACpG,GAAG,EAAE,2HAA2H;QAChI,OAAO,EAAE,4EAA4E;KACtF;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;QAC7B,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,CAAC;QAC3B,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,gEAAgE;QAC3E,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,4HAA4H;KAC/H;IACD,GAAG,EAAE;QACH,IAAI,EAAE,KAAK;QACX,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACnD,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACjD,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,8DAA8D;QACzE,GAAG,EAAE,
|
|
1
|
+
{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,OAAO;IACP,MAAM;IACN,KAAK;IACL,YAAY;IACZ,OAAO;IACP,MAAM;IACN,QAAQ;IACR,SAAS;IACT,UAAU;CACF,CAAC;AA2CX,MAAM,CAAC,MAAM,UAAU,GAA4C,MAAM,CAAC,MAAM,CAAC;IAC/E,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC/E,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC;QAC3C,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EACP,kGAAkG;QACpG,GAAG,EAAE,2HAA2H;QAChI,OAAO,EAAE,4EAA4E;KACtF;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;QAC7B,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,UAAU,CAAC;QAC3B,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,gEAAgE;QAC3E,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,4HAA4H;KAC/H;IACD,GAAG,EAAE;QACH,IAAI,EAAE,KAAK;QACX,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACnD,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;QACjD,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,8DAA8D;QACzE,GAAG,EAAE,wTAAwT;QAC7T,OAAO,EACL,kFAAkF;KACrF;IACD,UAAU,EAAE;QACV,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC;QAChD,SAAS,EAAE,CAAC;QACZ,8FAA8F;QAC9F,oFAAoF;QACpF,aAAa,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC;QAC1C,YAAY,EAAE,EAAE,QAAQ,EAAE,CAAC,UAAU,CAAC,EAAE;QACxC,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EACP,2GAA2G;QAC7G,GAAG,EAAE,yIAAyI;QAC9I,OAAO,EACL,2GAA2G;KAC9G;IACD,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,8FAA8F;QAC9F,6FAA6F;QAC7F,qEAAqE;QACrE,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,oCAAoC;QAC/C,GAAG,EAAE,uGAAuG;QAC5G,OAAO,EAAE,oBAAoB;KAC9B;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QAC5B,SAAS,EAAE,CAAC;QACZ,kEAAkE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,kDAAkD;QAC7D,GAAG,EAAE,+GAA+G;QACpH,OAAO,EACL,uJAAuJ;KAC1J;IACD,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,yCAAyC;QACpD,GAAG,EAAE,gJAAgJ;QACrJ,OAAO,EACL,oEAAoE;KACvE;IACD,OAAO,EAAE;QACP,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,mCAAmC;QAC9C,GAAG,EAAE,+HAA+H;QACpI,OAAO,EAAE,8FAA8F;KACxG;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,0CAA0C;QACrD,GAAG,EAAE,2KAA2K;QAChL,OAAO,EACL,oJAAoJ;KACvJ;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,KAAK;QACnB,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,+CAA+C;QAC1D,GAAG,EAAE,gLAAgL;QACrL,OAAO,EACL,gJAAgJ;KACnJ;IACD,MAAM,EAAE;QACN,IAAI,EAAE,IAAI;QACV,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;QACxB,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,8CAA8C;QACzD,GAAG,EAAE,+JAA+J;QACpK,OAAO,EACL,iJAAiJ;KACpJ;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,IAAI;QAClB,OAAO,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QAC5B,SAAS,EAAE,CAAC;QACZ,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,qDAAqD;QAChE,GAAG,EAAE,0LAA0L;QAC/L,OAAO,EACL,iFAAiF;KACpF;CACF,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,kBAAkB,GAAwC,MAAM,CAAC,MAAM,CAAC;IACnF,OAAO,EAAE;QACP,SAAS,EAAE,yBAAyB;QACpC,GAAG,EAAE,6BAA6B;QAClC,OAAO,EAAE,kDAAkD;KAC5D;IACD,OAAO,EAAE;QACP,SAAS,EAAE,gDAAgD;QAC3D,GAAG,EAAE,kFAAkF;QACvF,OAAO,EAAE,kEAAkE;KAC5E;IACD,IAAI,EAAE;QACJ,SAAS,EAAE,kCAAkC;QAC7C,GAAG,EAAE,0CAA0C;QAC/C,OAAO,EAAE,kDAAkD;KAC5D;IACD,IAAI,EAAE;QACJ,SAAS,EAAE,sBAAsB;QACjC,GAAG,EAAE,6CAA6C;QAClD,OAAO,EAAE,wDAAwD;KAClE;CACF,CAAC,CAAC;AAEH,mDAAmD;AACnD,MAAM,CAAC,MAAM,eAAe,GAAwC,MAAM,CAAC,MAAM,CAAC;IAChF,OAAO,EAAE;QACP,SAAS,EAAE,gCAAgC;QAC3C,GAAG,EAAE,iFAAiF;QACtF,OAAO,EAAE,mCAAmC;KAC7C;IACD,GAAG,EAAE;QACH,SAAS,EAAE,yCAAyC;QACpD,GAAG,EAAE,0BAA0B;QAC/B,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC,CAAC;AAEH,4DAA4D;AAC5D,MAAM,CAAC,MAAM,QAAQ,GAAsB,MAAM,CAAC,MAAM,CAAC;IACvD,UAAU;IACV,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO;IAC3C,SAAS;IACT,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM;IAClF,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK;IACnC,UAAU;IACV,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS;IAClF,UAAU;IACV,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa;IAC5D,mBAAmB;IACnB,MAAM,EAAE,QAAQ,EAAE,KAAK;IACvB,uBAAuB;IACvB,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU;CACjD,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;AAE3E,sFAAsF;AACtF,MAAM,CAAC,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC;IACzD,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;IAC1B,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC;IAClC,GAAG,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC;IAC/B,GAAG,QAAQ;IACX,GAAG,WAAW;CACf,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAqC,MAAM,CAAC,MAAM,CAAC;IAC/E,IAAI,EAAE,mFAAmF;IACzF,IAAI,EAAE,qDAAqD;IAC3D,MAAM,EAAE,qDAAqD;IAC7D,KAAK,EAAE,yFAAyF;IAChG,MAAM,EAAE,0DAA0D;IAClE,MAAM,EAAE,qCAAqC;IAC7C,OAAO,EAAE,uCAAuC;IAChD,QAAQ,EAAE,iCAAiC;IAC3C,UAAU,EAAE,0BAA0B;IACtC,KAAK,EAAE,8FAA8F;IACrG,QAAQ,EAAE,wFAAwF;IAClG,QAAQ,EAAE,0FAA0F;IACpG,GAAG,EAAE,mGAAmG;IACxG,IAAI,EAAE,yEAAyE;IAC/E,GAAG,EAAE,sDAAsD;IAC3D,GAAG,EAAE,sDAAsD;IAC3D,KAAK,EAAE,mEAAmE;IAC1E,OAAO,EAAE,uBAAuB;IAChC,UAAU,EAAE,wBAAwB;IACpC,WAAW,EAAE,8CAA8C;CAC5D,CAAC,CAAC;AAEH,0FAA0F;AAC1F,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IAC5D,GAAG,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;IACjC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO;IAC5D,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU;IACnF,cAAc,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ;IACrD,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,iBAAiB;IAC1F,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAAE,aAAa;IACpF,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,KAAK,EAAE,iBAAiB,EAAE,iBAAiB;IACrF,oBAAoB,EAAE,oBAAoB,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU;IAC1F,WAAW,EAAE,YAAY,EAAE,mBAAmB,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY;IACzF,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,gBAAgB;CACjF,CAAC,CAAC;AAEH,oGAAoG;AACpG,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,kDAAkD;AAClD,MAAM,CAAC,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,sDAAsD;IACtD,OAAO,EAAE,YAAY;IACrB,WAAW,EAAE,sCAAsC;IACnD,aAAa,EAAE,CAAC;IAChB,qBAAqB,EAAE,GAAG;CAC3B,CAAC,CAAC;AAEH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@cotal-ai/lang",
|
|
3
3
|
"description": "cotal-lang: the restricted-JS workflow language. Parser and validator, the effect interface, the step journal, the interpreter, and the simulation handler. Depends on nothing else in the repo.",
|
|
4
|
-
"version": "0.
|
|
4
|
+
"version": "0.41.1",
|
|
5
5
|
"license": "Apache-2.0",
|
|
6
6
|
"repository": {
|
|
7
7
|
"type": "git",
|
|
@@ -26,6 +26,7 @@
|
|
|
26
26
|
"ses": "^2.3.0"
|
|
27
27
|
},
|
|
28
28
|
"files": [
|
|
29
|
+
"conformance",
|
|
29
30
|
"dist"
|
|
30
31
|
],
|
|
31
32
|
"publishConfig": {
|
|
@@ -34,7 +35,7 @@
|
|
|
34
35
|
"scripts": {
|
|
35
36
|
"typecheck": "tsc -p tsconfig.check.json",
|
|
36
37
|
"build": "tsc -p tsconfig.json",
|
|
37
|
-
"test": "pnpm run build:emit && tsx smoke/grammar.smoke.ts && tsx smoke/keys.smoke.ts && tsx smoke/journal.smoke.ts && tsx smoke/fuzz-journal.smoke.ts && tsx smoke/pins.smoke.ts && tsx smoke/scopes.smoke.ts && tsx smoke/sim.smoke.ts && tsx smoke/interpret.smoke.ts && tsx smoke/fuel.smoke.ts && tsx smoke/dryrun.smoke.ts && tsx smoke/examples.smoke.ts && tsx smoke/options.smoke.ts && tsx smoke/notify-fact.smoke.ts && tsx smoke/migrate.smoke.ts && tsx smoke/semantics.smoke.ts && tsx smoke/surface.smoke.ts && tsx smoke/transform.smoke.ts && tsx smoke/differential.smoke.ts && tsx smoke/engine.smoke.ts",
|
|
38
|
+
"test": "pnpm run build:emit && tsx smoke/grammar.smoke.ts && tsx smoke/keys.smoke.ts && tsx smoke/journal.smoke.ts && tsx smoke/fuzz-journal.smoke.ts && tsx smoke/pins.smoke.ts && tsx smoke/scopes.smoke.ts && tsx smoke/sim.smoke.ts && tsx smoke/interpret.smoke.ts && tsx smoke/fuel.smoke.ts && tsx smoke/dryrun.smoke.ts && tsx smoke/examples.smoke.ts && tsx smoke/options.smoke.ts && tsx smoke/notify-fact.smoke.ts && tsx smoke/migrate.smoke.ts && tsx smoke/semantics.smoke.ts && tsx smoke/surface.smoke.ts && tsx smoke/conformance.smoke.ts && tsx smoke/transform.smoke.ts && tsx smoke/differential.smoke.ts && tsx smoke/engine.smoke.ts",
|
|
38
39
|
"build:emit": "tsc -p tsconfig.json --noCheck"
|
|
39
40
|
}
|
|
40
41
|
}
|