mirror of
https://github.com/vercel-labs/scriptc.git
synced 2026-10-02 08:35:07 +08:00
Chris Tate
6b6445ab90
- The ratified rename rider (world-unification §7 lane 5): "DOM" collided with the browser DOM and, post-lane-1, the structure is no longer a document tree. Comments and doc prose now say "the checked-dynamic tree" for the noun and "dyn" adjectivally; runtime symbol names (scr_dyn_*), the error.domClone libCall, and the real web DOMException family are unchanged. - The few user-facing strings carrying the nickname move with it (the structuredClone cyclic message, the dc subscriber/publish fences, two emitter ICE texts); diagnostics snapshots regenerated (96 pass). One private compiler constant (DOM_PROTO_METHOD_NAMES -> DYN_PROTO_METHOD_NAMES) rides along. - Mechanical sweep, 142 files, comments/prose only — no behavior change.
100 lines
4.6 KiB
TypeScript
100 lines
4.6 KiB
TypeScript
// assert.deepStrictEqual / notDeepStrictEqual over CHECKED-DYNAMIC
|
|
// operands — the structural dyn walk: Object.is numbers, byte-equal
|
|
// strings, per-element arrays, key-set objects, brand-aware bytes (the
|
|
// Buffer flavor bit is the prototype Node compares first), closure
|
|
// identity for functions. A static side crosses into the checked-dynamic tree when it is
|
|
// JSON-safe (records/arrays/scalars/units); the generated messages are
|
|
// assertion_error.js's — compact:false sorted rendering, the real myers
|
|
// line diff with 5 context lines, "..." collapsing and the
|
|
// "... Skipped lines" banner, comma disparity between object lines.
|
|
import assert from "node:assert";
|
|
|
|
function msgOf(fn: () => void): string {
|
|
try {
|
|
fn();
|
|
return "PASS";
|
|
} catch (e) {
|
|
return e instanceof Error ? `${e.name}|${JSON.stringify(e.message)}` : "not an Error";
|
|
}
|
|
}
|
|
|
|
const dobj: unknown = JSON.parse('{"a":1,"b":[true,null,"x"]}');
|
|
const dobj2: unknown = JSON.parse('{"b":[true,null,"x"],"a":1}'); // key order differs
|
|
const darr: unknown = JSON.parse("[1,2]");
|
|
|
|
// The passing surface.
|
|
assert.deepStrictEqual(dobj, dobj2); // key order is not identity
|
|
assert.deepStrictEqual(darr, [1, 2]); // dyn vs static array
|
|
assert.deepStrictEqual(dobj, { a: 1, b: [true, null, "x"] as (boolean | null | string)[] });
|
|
assert.deepStrictEqual(JSON.parse("[]"), []);
|
|
assert.deepStrictEqual(JSON.parse("{}"), {});
|
|
assert.deepStrictEqual(JSON.parse("1"), 1);
|
|
assert.deepStrictEqual(JSON.parse("null"), null);
|
|
assert.notDeepStrictEqual(darr, [2, 1]);
|
|
assert.notDeepStrictEqual(dobj, JSON.parse('{"a":1,"b":[true,null,"y"]}'));
|
|
assert.notDeepStrictEqual(JSON.parse("0"), -0); // strict deep: Object.is numbers
|
|
console.log("deep passes ok");
|
|
|
|
// Failures: the myers diff with context lines and comma disparity.
|
|
console.log(msgOf(() => assert.deepStrictEqual(dobj, JSON.parse('{"a":2,"b":[true,null,"x"]}'))));
|
|
console.log(msgOf(() => assert.deepStrictEqual(darr, [1, 3])));
|
|
console.log(msgOf(() => assert.deepStrictEqual(JSON.parse('{"a":1,"b":2}'), JSON.parse('{"a":1}'))));
|
|
console.log(msgOf(() => assert.deepStrictEqual(darr, [])));
|
|
console.log(msgOf(() => assert.deepStrictEqual(JSON.parse("[]"), [1])));
|
|
console.log(msgOf(() => assert.deepStrictEqual(JSON.parse("5"), 7)));
|
|
console.log(msgOf(() => assert.deepStrictEqual(JSON.parse('"x"'), "y")));
|
|
console.log(msgOf(() => assert.deepStrictEqual(JSON.parse("5"), JSON.parse('{"a":1}'))));
|
|
|
|
// Long common runs: 5 context lines, then the collapse.
|
|
const longA: unknown = JSON.parse("[9,1,2,3,4,5,6,7,8,10]");
|
|
const longB: unknown = JSON.parse("[0,1,2,3,4,5,6,7,8,11]");
|
|
console.log(msgOf(() => assert.deepStrictEqual(longA, longB)));
|
|
const tailA: unknown = JSON.parse("[9,1,2,3,4,5,6,7,8]");
|
|
const tailB: unknown = JSON.parse("[0,1,2,3,4,5,6,7,8]");
|
|
console.log(msgOf(() => assert.deepStrictEqual(tailA, tailB)));
|
|
|
|
// Sorted rendering: entries sort by their RENDERED text (quoted keys
|
|
// order before bare ones — Node's sorted:true sorts formatted entries).
|
|
const sortA: unknown = JSON.parse('{"b":1,"a":[1,{"d":2,"c":3}],"a-b":true}');
|
|
const sortB: unknown = JSON.parse('{"b":1,"a":[1,{"d":2,"c":4}],"a-b":true}');
|
|
console.log(msgOf(() => assert.deepStrictEqual(sortA, sortB)));
|
|
|
|
// notDeepStrictEqual failing: the block rendering of the actual value.
|
|
console.log(msgOf(() => assert.notDeepStrictEqual(dobj, dobj2)));
|
|
console.log(msgOf(() => assert.notDeepStrictEqual(JSON.parse("5"), 5)));
|
|
console.log(msgOf(() => assert.notDeepStrictEqual(darr, [1, 2], "custom ndse")));
|
|
|
|
// A record field holding undefined: the checked-dynamic tree's undefined value renders
|
|
// and compares (key sets differ, exactly Node).
|
|
interface MaybeB {
|
|
a: number;
|
|
b: number | undefined;
|
|
}
|
|
const plain: unknown = JSON.parse('{"a":1}');
|
|
console.log(msgOf(() => assert.deepStrictEqual(plain, { a: 1, b: undefined } as MaybeB)));
|
|
|
|
// Bytes inside the checked-dynamic tree: brand-aware content comparison (both sides
|
|
// crossed as unknown, so both carry the plain Uint8Array flavor).
|
|
const ua: unknown = new Uint8Array([1, 2]);
|
|
const ub: unknown = new Uint8Array([1, 2]);
|
|
const uc: unknown = new Uint8Array([1, 3]);
|
|
assert.deepStrictEqual(ua, ub);
|
|
assert.notDeepStrictEqual(ua, uc);
|
|
console.log(msgOf(() => assert.deepStrictEqual(ua, uc)));
|
|
console.log(msgOf(() => assert.strictEqual(ua, ub)));
|
|
|
|
// Functions under the deep pair: closure identity — one closure boxed
|
|
// twice is deep-equal, two distinct closures never are.
|
|
function cbA(): number {
|
|
return 1;
|
|
}
|
|
function cbB(): number {
|
|
return 1;
|
|
}
|
|
const fn1: unknown = cbA;
|
|
const fn1again: unknown = cbA;
|
|
const fn2: unknown = cbB;
|
|
assert.deepStrictEqual(fn1, fn1again);
|
|
assert.notDeepStrictEqual(fn1, fn2);
|
|
console.log("done");
|