tricu

contracts.test.mjs (2448B)

---

 import test from 'node:test';
 import assert from 'node:assert/strict';
 import {readFile} from 'node:fs/promises';
 import {createHash} from 'node:crypto';
 import {Graph} from '../dist/graph.js';
 import {COMPILER_BUNDLE_LIMIT,decodeBundle,loadBundle} from '../dist/bundle.js';
 import {readList,readText} from '../dist/codecs.js';
 import {contractEnvironment,CONTRACT_BINDINGS} from '../dist/contracts.js';
 
 test('contract environment aliases authenticated existing trees without forcing code',async()=>{
  const descriptor=JSON.parse(await readFile(new URL('../compiler.json',import.meta.url)));
  const bundle=decodeBundle(await readFile(new URL('../bundles/'+descriptor.hash+'.arboricx',import.meta.url)),COMPILER_BUNDLE_LIMIT);
  const g=new Graph(),library=loadBundle(g,bundle),before=g.stats.allocations;
  const environment=contractEnvironment(g,library);
  const records=readList(g,environment,100);
  assert.equal(records.length,38);assert.ok(g.stats.allocations-before<5000);
  assert.equal(CONTRACT_BINDINGS.id,undefined);assert.equal(CONTRACT_BINDINGS.pair,undefined);
  assert.equal(CONTRACT_BINDINGS.Nat,undefined);assert.equal(CONTRACT_BINDINGS.Bool,undefined);
  assert.equal(CONTRACT_BINDINGS['nat?'],'base.nat?');
  for(const [i,[name,exported]] of Object.entries(CONTRACT_BINDINGS).entries()){
   const [label,value]=g.pair(records[i]);
   assert.equal(readText(g,label),name);assert.equal(value,library.get(exported));
  }
  const loop=g.app(g.fromTernary('212110021100'),g.fromTernary('212110021100'));
  const divergent=new Map(Object.values(CONTRACT_BINDINGS).map(name=>[name,loop]));
  assert.doesNotThrow(()=>contractEnvironment(g,divergent)); // Binding names, not interpreting functions.
  assert.throws(()=>contractEnvironment(g,new Map()),/missing contract export/);
 });
 test('contract Haskell goldens authenticate environment source and packaged bytes',async()=>{
  const goldens=JSON.parse(await readFile(new URL('./contracts-conformance.json',import.meta.url)));
  const hash=bytes=>createHash('sha256').update(bytes).digest('hex');
  assert.deepEqual(goldens.bindings,CONTRACT_BINDINGS);
  assert.equal(goldens.contractsSourceSha256,hash(await readFile(new URL('../src/contracts.ts',import.meta.url))));
  const descriptor=JSON.parse(await readFile(new URL('../compiler.json',import.meta.url)));
  assert.equal(goldens.compilerBundleSha256,descriptor.hash);assert.equal(goldens.backend,'stable');
  assert.equal(goldens.cases.length,11);
 });