eyeleng 1.2.0 → 1.2.2

package/test/browser-bundle.test.js

@@ -44,6 +44,27 @@ test('playground inline scripts are syntactically valid', () => {
   assert.ok(checked > 0, 'expected at least one inline playground script');
 });
 
+test('playground embedded API exposes proof formatting', () => {
+  const html = fs.readFileSync(path.join(root, 'playground.html'), 'utf8');
+  const scripts = Array.from(html.matchAll(/<script(?<attrs>[^>]*)>(?<source>[\s\S]*?)<\/script>/g));
+  const bundleScript = scripts.find((match) => /__EYELENG_MODULES__/.test(match.groups.source));
+  assert.ok(bundleScript, 'expected an embedded playground API bundle');
+  const context = vm.createContext({ window: {} });
+  vm.runInContext(bundleScript.groups.source, context);
+  const modules = context.window.__EYELENG_MODULES__;
+  const mappings = context.window.__EYELENG_MAPPINGS__;
+  const cache = {};
+  function requireModule(id) {
+    if (cache[id]) return cache[id].exports;
+    const module = { exports: {} };
+    cache[id] = module;
+    const localRequire = (request) => requireModule((mappings[id] && mappings[id][request]) || request);
+    new Function('require', 'module', 'exports', modules[id])(localRequire, module, module.exports);
+    return module.exports;
+  }
+  assert.equal(typeof requireModule('src/api.js').formatProof, 'function');
+});
+
 
 test('playground loads version from package.json at runtime', () => {
   const html = fs.readFileSync(path.join(root, 'playground.html'), 'utf8');
@@ -52,4 +73,11 @@ test('playground loads version from package.json at runtime', () => {
   assert.match(html, /id=["']version-label["'][^>]*>v…<\/span>/);
 });
 
+test('Pages landing page renders the root README', () => {
+  const html = fs.readFileSync(path.join(root, 'index.html'), 'utf8');
+  assert.match(html, /fetch\(['"]README\.md['"]\)/);
+  assert.match(html, /marked\.parse\(markdown\)/);
+  assert.match(html, /class=["']markdown-body["']/);
+});
+
 main();

package/tools/bundle.js

@@ -151,6 +151,41 @@ function buildBrowser() {
   writeFile(browserOutput, chunks);
 }
 
+function updatePlaygroundBundle() {
+  const { modules, mappings } = collectGraph('src/api.js');
+  const fallbackNames = [
+    'family.srl',
+    'socrates.srl',
+    'spec-2-2-recursion.srl',
+    'bmi.srl',
+    'stratified-negation.srl',
+    'spec-builtins.srl',
+    'spec-4-2-rdf-rules-syntax.ttl',
+    'basic-ruleset.ttl',
+  ];
+  const examples = {};
+  for (const name of fallbackNames) {
+    examples[name] = fs.readFileSync(path.join(root, 'examples', name), 'utf8');
+  }
+
+  const filename = path.join(root, playgroundOutput);
+  let html = fs.readFileSync(filename, 'utf8');
+  html = html.replace(
+    /^    window\.__EYELENG_MODULES__ = .*;$/m,
+    () => `    window.__EYELENG_MODULES__ = ${js(Object.fromEntries(modules.entries()))};`,
+  );
+  html = html.replace(
+    /^    window\.__EYELENG_MAPPINGS__ = .*;$/m,
+    () => `    window.__EYELENG_MAPPINGS__ = ${js(Object.fromEntries(mappings.entries()))};`,
+  );
+  html = html.replace(
+    /^    window\.__EYELENG_EXAMPLES__ = .*;$/m,
+    () => `    window.__EYELENG_EXAMPLES__ = ${js(examples)};`,
+  );
+  fs.writeFileSync(filename, html, 'utf8');
+  console.log(`updated ${playgroundOutput}`);
+}
+
 function indent(source, spaces) {
   const prefix = ' '.repeat(spaces);
   return source.split('\n').map((line) => prefix + line).join('\n');
@@ -158,3 +193,4 @@ function indent(source, spaces) {
 
 buildCli();
 buildBrowser();
+updatePlaygroundBundle();