notes

2.9 KB

1. // Cross-compat phase A step 3: after the Zig port mutated the JS-written db
2. // (compat_driver.zig mutate_a: insert id=5, update id=0 age->31, delete id=3),
3. // the REAL JS mpackdb re-opens the files and asserts everything.
4. // compact:false so JS reads the Zig-written data/meta/index/idxstate files
5. // AS-IS (this exercises JS parsing Zig-persisted index files).
6. //
7. // Run: MPACKDB=/tmp/mpackdb-run node verify_a.mjs /tmp/compat/users_a
8. import { pathToFileURL } from 'url';
9. const MOD = process.env.MPACKDB || '/tmp/mpackdb-run';
10. const { default: MPackDB } = await import(pathToFileURL(MOD + '/src/MPackDB.js'));
12. const dbfile = process.argv[2];
13. if (!dbfile) throw new Error('usage: verify_a.mjs <dbfile>');
15. let failures = 0;
16. const check = (label, cond) => {
17. console.log(`${cond ? 'PASS' : 'FAIL'}: ${label}`);
18. if (!cond) failures++;
19. };
21. const db = new MPackDB(dbfile, { primaryKey: '*id', indexes: ['email', '*age'], compact: false });
23. // Zig-inserted record, found via primary key index (Zig-written index file)
24. const [ziggy] = await db.find(5);
25. check('Zig-inserted id=5 found by pk', !!ziggy);
26. check('id=5 name', ziggy?.name === 'Ziggy Stardust');
27. check('id=5 email', ziggy?.email === '[email protected]');
28. check('id=5 tags array', Array.isArray(ziggy?.tags) && ziggy.tags.join(',') === 'zig,native');
30. // Zig-updated record: age changed, Date survived byte-exact
31. const [alice] = await db.find(0);
32. check('id=0 found', !!alice);
33. check('id=0 age updated by Zig to 31', alice?.age === 31);
34. check('id=0 unicode name intact', alice?.name === 'Alice Ünicode ✓');
35. check('id=0 created is a Date', alice?.created instanceof Date);
36. check('id=0 created ms exact', +alice?.created === 1721996422123);
37. check('id=0 nested profile.theme null', alice?.profile?.theme === null);
38. check('id=0 balance float', alice?.balance === 1234.56);
40. // Zig-deleted record invisible
41. const gone = await db.find(3);
42. check('Zig-deleted id=3 invisible', gone.length === 0);
44. // JS-deleted record still invisible
45. const gone2 = await db.find(2);
46. check('JS-deleted id=2 still invisible', gone2.length === 0);
48. // Secondary index lookup through Zig-written email index file
49. const viaEmail = await db.find(r => true, { index: { field: 'email', value: '[email protected]' } });
50. check('email index lookup finds Zig record', viaEmail.length === 1 && viaEmail[0].id === 5);
52. // Numeric range on Zig-written age index
53. const inRange = await db.find(null, { index: { field: 'age', from: 28, to: 45 } });
54. check('age range [28,45] = {31, 28} two records', inRange.length === 2);
56. // Insert continues the id sequence from Zig-persisted meta
57. const id6 = await db.insert({ name: 'PostZig', email: '[email protected]', age: 50 });
58. check('JS insert after Zig continues sequence (id=6)', id6 === 6);
60. const big = await db.find(1);
61. check('id=1 big number preserved', big[0]?.big === 5000000000);
63. await db.close();
64. console.log(failures === 0 ? 'JS verify_a: ALL PASS' : `JS verify_a: ${failures} FAILURES`);
65. process.exit(failures === 0 ? 0 : 1);