kryptheon 0.1.20 → 0.1.22

package/kryptheon-dashboard.js

@@ -0,0 +1,539 @@
+// The local dashboard: one page on this machine that shows everything
+// Kryptheon knows about one project, and switches its checks on and off.
+//
+//   npx kryptheon            (in a terminal)  or  npx kryptheon dashboard
+//
+// Everything here reads the project's store (kryptheon-store.js); nothing is
+// kept anywhere else, and nothing leaves the machine. The server listens on
+// 127.0.0.1 only.
+//
+// Two rules the page is built around:
+//
+// - A check that does not exist yet is shown as "not available". Never as
+//   passed, never as green, never counted. An empty row that looks like a
+//   clean one is the most expensive lie this product could tell.
+// - Every value shown comes from a file that may hold text from the app being
+//   checked - a failing page's heading, a line of the app's own code. The page
+//   writes all of it with textContent, so the dashboard cannot become the XSS
+//   it is there to find. Its own code is read by kryptheon-code.js in its check.
+
+const fs = require('fs');
+const path = require('path');
+const http = require('http');
+const crypto = require('crypto');
+const { spawnSync } = require('child_process');
+const store = require('./kryptheon-store.js');
+const changes = require('./kryptheon-changes.js');
+
+/**
+ * Every check the dashboard knows the name of, in the order the person asked
+ * for them. `available` is true only for what is actually built. What runs it
+ * and where its results come from is said here, once.
+ */
+const CHECKS = [
+  { id: 'regression', label: 'Regression (recorded flows)', available: true,
+    what: 'Replays every recording in tests/ and compares each page with the last time it worked.' },
+  { id: 'frontend', label: 'Frontend: text inserted as HTML', available: true,
+    what: 'Reads your frontend code for values put into the page with innerHTML and similar (npx kryptheon code).' },
+  { id: 'data', label: 'Database: access rules, duplicates, orphans', available: true,
+    what: 'Attacks a copy of your Postgres/Supabase database (npx kryptheon-night). Needs a connection string, so it is run from the terminal and read here.' },
+  { id: 'build', label: 'Build', available: false },
+  { id: 'backend', label: 'Backend', available: false },
+  { id: 'api', label: 'API', available: false },
+  { id: 'integration', label: 'Integration', available: false },
+  { id: 'dependency', label: 'Dependencies', available: false },
+  { id: 'runtime', label: 'Runtime', available: false },
+  { id: 'performance', label: 'Performance', available: false },
+  { id: 'edge', label: 'Input and edge cases', available: false },
+  { id: 'reliability', label: 'Reliability', available: false },
+  { id: 'synthetic', label: 'Synthetic test users', available: false },
+  { id: 'eligibility', label: 'Age and eligibility rules', available: false },
+];
+
+const CHECK_IDS = new Set(CHECKS.map((c) => c.id));
+
+function readJson(file) {
+  try {
+    let raw = fs.readFileSync(file, 'utf8');
+    if (raw.charCodeAt(0) === 0xfeff) raw = raw.slice(1);
+    return JSON.parse(raw);
+  } catch (err) {
+    return null;
+  }
+}
+
+function readHistory(file, keep) {
+  let raw;
+  try {
+    raw = fs.readFileSync(file, 'utf8');
+  } catch (err) {
+    return [];
+  }
+  const runs = [];
+  for (const line of raw.split('\n')) {
+    if (!line.trim()) continue;
+    try {
+      runs.push(JSON.parse(line));
+    } catch (err) {
+      /* a damaged line is skipped, not fatal */
+    }
+  }
+  return runs.slice(-keep);
+}
+
+/** Which checks are switched on. Available checks default to on; others can never be. */
+function readConfig(paths) {
+  const saved = readJson(paths.config) || {};
+  const enabled = {};
+  for (const c of CHECKS) {
+    enabled[c.id] = c.available ? (saved.enabled && typeof saved.enabled[c.id] === 'boolean' ? saved.enabled[c.id] : true) : false;
+  }
+  return { enabled: enabled };
+}
+
+/**
+ * Switches one check on or off, and keeps it. Refuses what does not exist and
+ * what is not built: a "not available" check switched on would read as a
+ * promise that something is being checked.
+ */
+function setCheck(paths, id, on) {
+  if (!CHECK_IDS.has(id)) return { ok: false, why: 'there is no check called "' + id + '"' };
+  const check = CHECKS.find((c) => c.id === id);
+  if (!check.available) return { ok: false, why: check.label + ' is not available yet, so it cannot be switched on' };
+  if (typeof on !== 'boolean') return { ok: false, why: 'on must be true or false' };
+  const config = readConfig(paths);
+  config.enabled[id] = on;
+  fs.mkdirSync(path.dirname(paths.config), { recursive: true });
+  fs.writeFileSync(paths.config, JSON.stringify(config, null, 2) + '\n', 'utf8');
+  return { ok: true, config: config };
+}
+
+/** What git says changed, read only. Null when this is not a git repository. */
+function recentChanges(root) {
+  const git = (args) => {
+    const r = spawnSync('git', args, { cwd: root, encoding: 'utf8', timeout: 5000 });
+    return r.status === 0 ? String(r.stdout || '') : null;
+  };
+  const inside = git(['rev-parse', '--is-inside-work-tree']);
+  if (!inside || inside.trim() !== 'true') return null;
+  const log = git(['log', '-5', '--pretty=format:%h%x09%cI%x09%s']) || '';
+  const status = git(['status', '--porcelain']) || '';
+  return {
+    commits: log.split('\n').filter(Boolean).map((l) => {
+      const [hash, when, subject] = l.split('\t');
+      return { hash: hash, when: when, subject: subject };
+    }),
+    uncommitted: status.split('\n').filter(Boolean).map((l) => ({ state: l.slice(0, 2).trim(), file: l.slice(3) })),
+  };
+}
+
+/** When this flow last passed, from the run history, or null. */
+function lastPassOf(history, title) {
+  for (let i = history.length - 1; i >= 0; i--) {
+    const t = (history[i].tests || []).find((x) => x.title === title);
+    if (t && t.status === 'passed') return history[i].runAt;
+  }
+  return null;
+}
+
+/**
+ * The fix prompt for a broken recorded flow, from what the run kept: what was
+ * seen, what was expected, where, the evidence, and how to see it again. Only
+ * what the run recorded is said; nothing is guessed.
+ */
+function flowPrompt(t, lastPass) {
+  const f = t.failure || {};
+  const o = f.observations || {};
+  const file = String(f.file || t.specFile || 'tests').split('\\').join('/');
+  const extra = String(f.rawMessage || '').split(/\r?\n/).slice(1)
+    .map((l) => l.trim()).filter((l) => l && !/^\s*at\s/.test(l) && l.length < 200).slice(0, 6);
+  const lines = [
+    'My app has a broken flow. Please fix the app - and nothing else.',
+    '',
+    'Kryptheon replayed the recorded flow "' + t.title + '" (' + file + (f.line ? ', line ' + f.line : '') + ') and it failed.',
+    '',
+    'Observed: ' + (f.plainLanguage || 'the replay failed'),
+  ].concat(extra.map((l) => '  ' + l), [
+    'Expected: the same result as ' + (lastPass ? 'the last time it passed (' + lastPass + ')' : 'when it was recorded') + '.',
+  ]);
+  if (o.url) lines.push('Where: the browser was on ' + o.url + (o.pageShowed ? ', and the page showed ' + o.pageShowed : '') + '.');
+  if (f.locator) lines.push('Step that failed: ' + f.locator);
+  if (o.failedRequests && o.failedRequests.length) lines.push('Failed requests: ' + o.failedRequests.slice(0, 5).map((r) => (r.method || 'GET') + ' ' + (r.path || r.url) + ' -> ' + r.status).join('; '));
+  if (o.consoleErrors && o.consoleErrors.length) lines.push('Console errors: ' + o.consoleErrors.slice(0, 3).join(' | '));
+  if (f.screenshot) lines.push('Evidence: a screenshot of the failure at ' + f.screenshot);
+  lines.push('');
+  lines.push('To see it yourself: open ' + (o.url || 'the app') + ' and repeat the steps in ' + file + ', or run  npx kryptheon check');
+  lines.push('');
+  lines.push('Fix the app so this flow works again. Do not edit the recording to make it pass. If the new behaviour ' +
+    'is intended, say so instead of changing code - it can be accepted with  npx kryptheon accept "' + t.title + '"');
+  return lines.join('\n');
+}
+
+function countRecordings(root) {
+  try {
+    return fs.readdirSync(path.join(root, 'tests')).filter((n) => /\.(spec|test)\.[cm]?[jt]s$/.test(n)).length;
+  } catch (err) {
+    return 0;
+  }
+}
+
+/**
+ * The order someone new should go in, one step at a time. A step is "done"
+ * only when it has actually run and left a record - never because nothing was
+ * found - and a switched-off check says "off", so an empty list is never read
+ * as a clean one.
+ */
+function startSteps(checks, seen) {
+  const on = (id) => (checks.find((c) => c.id === id) || {}).enabled;
+  return [
+    {
+      id: 'frontend',
+      title: 'Read your frontend code',
+      why: 'Finds places where text could be put into your page as HTML. Needs nothing from you.',
+      state: !on('frontend') ? 'off' : seen.codeAt ? 'done' : 'todo',
+      at: seen.codeAt,
+      action: on('frontend') ? { kind: 'run', check: 'frontend', label: seen.codeAt ? 'Read it again' : 'Read my code' } : null,
+    },
+    {
+      id: 'record',
+      title: 'Record your main flows',
+      why: 'Sign up, log in, pay - do each once while Kryptheon watches. It then knows what "working" looks like.',
+      state: seen.recordings ? 'done' : 'todo',
+      at: null,
+      count: seen.recordings,
+      action: { kind: 'command', command: 'npx kryptheon record <your app address>' },
+    },
+    {
+      id: 'regression',
+      title: 'Replay them',
+      why: 'Runs every recording against your app and compares each page with the last time it worked. Start your app first.',
+      state: !on('regression') ? 'off' : !seen.recordings ? 'waiting' : seen.lastRunAt ? 'done' : 'todo',
+      at: seen.lastRunAt,
+      action: on('regression') && seen.recordings ? { kind: 'run', check: 'regression', label: seen.lastRunAt ? 'Replay again' : 'Replay now' } : null,
+    },
+    {
+      id: 'data',
+      title: 'Check your database',
+      why: 'Attacks a copy of your Postgres or Supabase database and reports what got in. Needs your connection string, so it runs in your terminal.',
+      state: !on('data') ? 'off' : seen.nightAt ? 'done' : 'todo',
+      at: seen.nightAt,
+      action: on('data') ? { kind: 'command', command: 'npx kryptheon-night' } : null,
+    },
+  ];
+}
+
+/**
+ * The one thing to do now. Open confirmed problems come before everything; then
+ * the first step not taken; then what only needs a look; then nothing.
+ */
+function nextAction(findings, steps) {
+  const confirmed = findings.filter((f) => f.status === 'confirmed').length;
+  const toVerify = findings.length - confirmed;
+  if (confirmed) {
+    return { kind: 'fix', view: 'findings', count: confirmed,
+      title: confirmed === 1 ? 'Fix 1 confirmed problem' : 'Fix ' + confirmed + ' confirmed problems' };
+  }
+  const step = steps.find((s) => s.state === 'todo');
+  if (step) return { kind: 'step', step: step.id, title: step.title };
+  if (toVerify) {
+    return { kind: 'verify', view: 'findings', count: toVerify,
+      title: toVerify === 1 ? 'Look at 1 thing to verify' : 'Look at ' + toVerify + ' things to verify' };
+  }
+  return { kind: 'quiet', title: 'Nothing open' };
+}
+
+/**
+ * Everything the page shows, from the store alone. Findings from every check
+ * are put into one list, each carrying the same fields - severity, status,
+ * evidence, confidence, where, what, and the fix - so the page can show them
+ * the same way whichever check found them.
+ */
+function buildState(root, env) {
+  const paths = store.pathsFor(root, env);
+  const config = readConfig(paths);
+  const history = readHistory(paths.history, 20);
+  const baselines = readJson(paths.baselines) || {};
+  const code = readJson(paths.codeFindings);
+  const night = readJson(paths.nightLast);
+
+  const findings = [];
+
+  // Recorded flows: the last run's broken tests are the findings. They were
+  // replayed in a real browser, so they are confirmed at runtime.
+  const lastRun = history.length ? history[history.length - 1] : null;
+  if (lastRun && config.enabled.regression) {
+    for (const t of lastRun.tests || []) {
+      if (t.status !== 'failed' && t.status !== 'timedOut') continue;
+      findings.push({
+        check: 'regression',
+        severity: 'HIGH',
+        status: 'confirmed',
+        evidence: 'runtime confirmed',
+        confidence: 'high',
+        where: String((t.failure && t.failure.file) || t.specFile || 'tests').split('\\').join('/') +
+          (t.failure && t.failure.line ? ':' + t.failure.line : ''),
+        headline: 'The recorded flow "' + t.title + '" broke.',
+        detail: (t.failure && t.failure.plainLanguage) || '',
+        fixPrompt: flowPrompt(t, lastPassOf(history, t.title)),
+        when: lastRun.runAt,
+      });
+    }
+  }
+
+  if (code && config.enabled.frontend) {
+    for (const f of code.findings || []) {
+      findings.push({
+        check: 'frontend',
+        severity: f.severity,
+        status: f.status,
+        evidence: f.evidence,
+        confidence: f.confidence,
+        where: f.file + ':' + f.line,
+        headline: f.headline,
+        detail: f.sink + ': ' + f.expression,
+        fixPrompt: f.fixPrompt,
+        when: code.checkedAt,
+      });
+    }
+  }
+
+  let nightWhen = null;
+  try {
+    nightWhen = fs.statSync(paths.nightLast).mtime.toISOString();
+  } catch (err) {
+    /* never run */
+  }
+  if (night && config.enabled.data) {
+    for (const f of night.findings || []) {
+      findings.push({
+        check: 'data',
+        severity: f.severity,
+        status: f.status || 'confirmed',
+        evidence: (f.status || 'confirmed') === 'confirmed' ? 'runtime confirmed' : 'code analysis',
+        confidence: (f.status || 'confirmed') === 'confirmed' ? 'high' : 'medium',
+        where: f.table + (f.column ? '.' + f.column : ''),
+        headline: f.headline,
+        detail: f.body || '',
+        fixPrompt: f.fixPrompt || '',
+        when: nightWhen,
+      });
+    }
+  }
+
+  const rank = { 'HIGH CRITICAL': 0, CRITICAL: 0, HIGH: 1, MEDIUM: 2, LOW: 3 };
+  findings.sort((a, b) => (rank[a.severity] ?? 9) - (rank[b.severity] ?? 9) ||
+    (a.status === 'confirmed' ? 0 : 1) - (b.status === 'confirmed' ? 0 : 1));
+
+  // Every finding gets a short id and the last word of its fix prompt: how to
+  // prove the fix. Added here, where the loop lives, so every check's prompt
+  // ends the same way and the detection code itself stays untouched.
+  const attempts = readHistory(paths.fixes, 500);
+  for (const f of findings) {
+    f.id = changes.findingId(f);
+    f.attempts = attempts.filter((a) => a.id === f.id).map((a) => ({ at: a.at, verdict: a.verdict, why: a.why || '', newProblems: (a.newProblems || []).length }));
+    if (f.fixPrompt) {
+      f.fixPrompt += '\n\nWhen you have fixed it, prove it: run  npx kryptheon recheck ' + f.id +
+        '  (or press Re-check on this finding in the Kryptheon dashboard). It is fixed only when that says FIXED.';
+    }
+  }
+  // Fixes that were proven, newest first, while their finding is still gone.
+  const open = new Set(findings.map((f) => f.id));
+  const proven = attempts.filter((a) => a.verdict === 'fixed' && !open.has(a.id)).reverse().slice(0, 10)
+    .map((a) => ({ id: a.id, at: a.at, where: a.where, headline: a.headline, newProblems: (a.newProblems || []).length }));
+
+  const recordings = countRecordings(root);
+  const checks = CHECKS.map((c) => {
+    let state;
+    if (!c.available) state = 'not available';
+    else if (!config.enabled[c.id]) state = 'switched off';
+    else if (c.id === 'regression') state = !recordings ? 'no recordings yet' : !lastRun ? 'never run' : lastRun.failed ? 'problems found' : 'last run held';
+    else if (c.id === 'frontend') state = !code ? 'never run' : (code.findings || []).length ? 'things to check' : 'nothing found';
+    else if (c.id === 'data') state = !night ? 'never run here' : (night.findings || []).length ? 'problems found' : 'last run held';
+    return {
+      id: c.id, label: c.label, available: c.available, enabled: config.enabled[c.id], state: state, what: c.what || '',
+      // Runnable from the page: what needs nothing the page cannot supply. The
+      // database check needs a connection string, which stays in the terminal.
+      runnable: c.available && (c.id === 'frontend' || (c.id === 'regression' && recordings > 0)),
+    };
+  });
+
+  const steps = startSteps(checks, {
+    codeAt: code ? code.checkedAt : null,
+    recordings: recordings,
+    lastRunAt: lastRun ? lastRun.runAt : null,
+    nightAt: night ? nightWhen : null,
+  });
+
+  // Every look Kryptheon took - by `verify`, or by the dashboard's own watch -
+  // newest first: what changed, what was run, and what came of it.
+  const looks = readHistory(paths.changes, 15).reverse().map((e) => ({
+    at: e.at,
+    by: e.by || 'verify',
+    first: !!e.first,
+    files: (e.files || []).slice(0, 30),
+    fileCount: (e.files || []).length,
+    parts: e.parts || [],
+    dependencies: e.dependencies || [],
+    checks: e.checks || [],
+    newFindings: e.newFindings || 0,
+    fixed: e.fixed || 0,
+    goneWithFile: e.goneWithFile || 0,
+  }));
+
+  return {
+    project: { name: path.basename(root), root: root, storeDir: paths.dir },
+    looks: looks,
+    proven: proven,
+    checks: checks,
+    findings: findings,
+    runs: history.slice().reverse().map((r) => ({ runAt: r.runAt, status: r.status, passed: r.passed, failed: r.failed, durationMs: r.durationMs })),
+    recordings: recordings,
+    steps: steps,
+    next: nextAction(findings, steps),
+    baselines: Object.keys(baselines).length,
+    changes: recentChanges(root),
+    // Part 3 is where a version gets verified. Until then this says so,
+    // rather than leaving a blank that could be read either way.
+    verification: { state: 'not verified', why: 'Kryptheon Verified is not built yet. No version of this project has been verified.' },
+  };
+}
+
+/**
+ * The server. Local only, and closed to other web pages:
+ *   - it listens on 127.0.0.1, never on the network;
+ *   - it answers only when the Host header is this address, so a page on some
+ *     other site cannot reach it through DNS rebinding;
+ *   - anything that changes something needs the token that is written into the
+ *     page this server hands out, which another site cannot read.
+ */
+function createServer(root, options) {
+  const opts = options || {};
+  const env = opts.env || process.env;
+  const token = crypto.randomBytes(24).toString('hex');
+  const page = fs.readFileSync(path.join(__dirname, 'kryptheon-dashboard.html'), 'utf8');
+  let port = 0;
+  let running = false;
+
+  const allowedHosts = () => new Set(['127.0.0.1:' + port, 'localhost:' + port]);
+  const send = (res, code, type, body) => {
+    res.writeHead(code, {
+      'content-type': type,
+      'cache-control': 'no-store',
+      'x-content-type-options': 'nosniff',
+      'referrer-policy': 'no-referrer',
+      // The page loads nothing from anywhere else, and says so.
+      'content-security-policy': "default-src 'none'; script-src 'self'; style-src 'self' 'unsafe-inline'; connect-src 'self'; img-src 'self' data:; font-src 'self'; base-uri 'none'; form-action 'none'; frame-ancestors 'none'",
+    });
+    res.end(body);
+  };
+  // Files served as they are from next to this one. A missing one is a
+  // missing picture or font, never a stopped dashboard.
+  const ASSETS = {
+    '/logo.png': ['image/png', opts.logoFile || path.join(__dirname, 'kryptheon-logo.png')],
+    '/fonts/archivo.woff2': ['font/woff2', path.join(__dirname, 'kryptheon-archivo.woff2')],
+    '/fonts/spacemono.woff2': ['font/woff2', path.join(__dirname, 'kryptheon-spacemono.woff2')],
+  };
+  const json = (res, code, value) => send(res, code, 'application/json; charset=utf-8', JSON.stringify(value));
+
+  const server = http.createServer((req, res) => {
+    if (!allowedHosts().has(String(req.headers.host || ''))) return send(res, 403, 'text/plain', 'Forbidden');
+    const url = new URL(req.url, 'http://127.0.0.1');
+
+    if (req.method === 'GET' && url.pathname === '/') {
+      return send(res, 200, 'text/html; charset=utf-8', page.replace('%%TOKEN%%', token));
+    }
+    if (req.method === 'GET' && url.pathname === '/dashboard.js') {
+      return send(res, 200, 'text/javascript; charset=utf-8', fs.readFileSync(path.join(__dirname, 'kryptheon-dashboard-page.js'), 'utf8'));
+    }
+    if (req.method === 'GET' && Object.prototype.hasOwnProperty.call(ASSETS, url.pathname)) {
+      const [type, file] = ASSETS[url.pathname];
+      let body;
+      try {
+        body = fs.readFileSync(file);
+      } catch (err) {
+        return send(res, 404, 'text/plain', 'Not found');
+      }
+      return send(res, 200, type, body);
+    }
+    if (req.method === 'GET' && url.pathname === '/api/state') {
+      return json(res, 200, buildState(root, env));
+    }
+    if (req.method === 'POST') {
+      if (req.headers['x-kryptheon-token'] !== token) return json(res, 403, { ok: false, why: 'missing or wrong token' });
+      let body = '';
+      req.on('data', (chunk) => {
+        body += chunk;
+        if (body.length > 10000) req.destroy();
+      });
+      req.on('end', () => {
+        let input;
+        try {
+          input = JSON.parse(body || '{}');
+        } catch (err) {
+          return json(res, 400, { ok: false, why: 'not JSON' });
+        }
+        if (url.pathname === '/api/check') {
+          const r = setCheck(store.pathsFor(root, env), String(input.id || ''), input.on);
+          return json(res, r.ok ? 200 : 400, r);
+        }
+        if (url.pathname === '/api/recheck' && typeof opts.recheck === 'function') {
+          const id = String(input.id || '');
+          if (!/^[0-9a-f]{8}$/.test(id)) return json(res, 400, { ok: false, why: 'not a finding id' });
+          if (!buildState(root, env).findings.some((f) => f.id === id)) return json(res, 404, { ok: false, why: 'no open finding with that id' });
+          if (running) return json(res, 409, { ok: false, why: 'a run is already going' });
+          running = true;
+          return Promise.resolve(opts.recheck(id)).finally(() => { running = false; }).then(
+            (r) => json(res, r && r.verdict ? 200 : 500, Object.assign({ ok: !!(r && r.verdict) }, r || {})),
+            (err) => json(res, 500, { ok: false, why: err.message }),
+          );
+        }
+        if (url.pathname === '/api/run' && typeof opts.run === 'function') {
+          const id = String(input.id || '');
+          const check = buildState(root, env).checks.find((c) => c.id === id);
+          if (!check || !check.runnable || !check.enabled) {
+            return json(res, 400, { ok: false, why: (check ? check.label : '"' + id + '"') + ' cannot be run from here' });
+          }
+          // One run at a time: two browsers replaying the same flows against
+          // one app would interfere, and the results would describe neither.
+          if (running) return json(res, 409, { ok: false, why: 'a run is already going' });
+          running = true;
+          return Promise.resolve(opts.run(id)).finally(() => { running = false; }).then(
+            (r) => json(res, r && r.ok ? 200 : 400, r || { ok: false }),
+            (err) => json(res, 500, { ok: false, why: err.message }),
+          );
+        }
+        return json(res, 404, { ok: false, why: 'no such action' });
+      });
+      return;
+    }
+    return send(res, 404, 'text/plain', 'Not found');
+  });
+
+  return {
+    server: server,
+    token: token,
+    listen(wanted) {
+      return new Promise((resolve, reject) => {
+        server.once('error', reject);
+        server.listen(wanted || 0, '127.0.0.1', () => {
+          port = server.address().port;
+          resolve(port);
+        });
+      });
+    },
+    close() {
+      return new Promise((resolve) => server.close(() => resolve()));
+    },
+  };
+}
+
+module.exports = {
+  CHECKS: CHECKS,
+  buildState: buildState,
+  flowPrompt: flowPrompt,
+  startSteps: startSteps,
+  nextAction: nextAction,
+  readConfig: readConfig,
+  setCheck: setCheck,
+  createServer: createServer,
+};

package/kryptheon-fonts-OFL.txt

@@ -0,0 +1,98 @@
+The dashboard ships two fonts, both under the SIL Open Font License 1.1:
+
+  kryptheon-archivo.woff2    Archivo (latin subset, variable weight and width)
+                             Copyright 2020 The Archivo Project Authors
+                             (https://github.com/Omnibus-Type/Archivo)
+
+  kryptheon-spacemono.woff2  Space Mono (latin subset, regular)
+                             Copyright 2016 Google Inc. All Rights Reserved.
+
+They are the same files kryptheon.tech uses, so the dashboard and the site
+read alike. The license follows.
+
+-----------------------------------------------------------
+SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
+-----------------------------------------------------------
+
+PREAMBLE
+The goals of the Open Font License (OFL) are to stimulate worldwide
+development of collaborative font projects, to support the font creation
+efforts of academic and linguistic communities, and to provide a free and
+open framework in which fonts may be shared and improved in partnership
+with others.
+
+The OFL allows the licensed fonts to be used, studied, modified and
+redistributed freely as long as they are not sold by themselves. The
+fonts, including any derivative works, can be bundled, embedded,
+redistributed and/or sold with any software provided that any reserved
+names are not used by derivative works. The fonts and derivatives,
+however, cannot be released under any other type of license. The
+requirement for fonts to remain under this license does not apply
+to any document created using the fonts or their derivatives.
+
+DEFINITIONS
+"Font Software" refers to the set of files released by the Copyright
+Holder(s) under this license and clearly marked as such. This may
+include source files, build scripts and documentation.
+
+"Reserved Font Name" refers to any names specified as such after the
+copyright statement(s).
+
+"Original Version" refers to the collection of Font Software components as
+distributed by the Copyright Holder(s).
+
+"Modified Version" refers to any derivative made by adding to, deleting,
+or substituting -- in part or in whole -- any of the components of the
+Original Version, by changing formats or by porting the Font Software to a
+new environment.
+
+"Author" refers to any designer, engineer, programmer, technical
+writer or other person who contributed to the Font Software.
+
+PERMISSION & CONDITIONS
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of the Font Software, to use, study, copy, merge, embed, modify,
+redistribute, and sell modified and unmodified copies of the Font
+Software, subject to the following conditions:
+
+1) Neither the Font Software nor any of its individual components,
+in Original or Modified Versions, may be sold by itself.
+
+2) Original or Modified Versions of the Font Software may be bundled,
+redistributed and/or sold with any software, provided that each copy
+contains the above copyright notice and this license. These can be
+included either as stand-alone text files, human-readable headers or
+in the appropriate machine-readable metadata fields within text or
+binary files as long as those fields can be easily viewed by the user.
+
+3) No Modified Version of the Font Software may use the Reserved Font
+Name(s) unless explicit written permission is granted by the corresponding
+Copyright Holder. This restriction only applies to the primary font name as
+presented to the users.
+
+4) The name(s) of the Copyright Holder(s) and the Author(s) of the Font
+Software shall not be used to promote, endorse or advertise any
+Modified Version, except to acknowledge the contribution(s) of the
+Copyright Holder(s) and the Author(s) or with their explicit written
+permission.
+
+5) The Font Software, modified or unmodified, in part or in whole,
+must be distributed entirely under this license, and must not be
+distributed under any other license. The requirement for fonts to
+remain under this license does not apply to any document created
+using the Font Software.
+
+TERMINATION
+This license becomes null and void if any of the above conditions are
+not met.
+
+DISCLAIMER
+THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
+OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
+COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
+DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
+OTHER DEALINGS IN THE FONT SOFTWARE.