LEGACY-index.html

<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>fixpoint-linux — a system that never forgets itself</title>
<meta name="description" content="fixpoint-linux: a Linux system that is a fixed point — deterministically built, from source, by itself. Content-addressed by construction, time-travelling by default.">
<style>
  :root {
    --bg: #0b0e11;
    --bg2: #10141a;
    --fg: #d8dee6;
    --dim: #7d8794;
    --accent: #6ad6a1;
    --accent2: #8ab4f8;
    --line: #1e2730;
    --mono: "SFMono-Regular", "Cascadia Code", "JetBrains Mono", "Fira Code", Menlo, Consolas, monospace;
    --sans: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  }
  * { box-sizing: border-box; margin: 0; padding: 0; }
  html { scroll-behavior: smooth; }
  body {
    background: var(--bg);
    color: var(--fg);
    font-family: var(--sans);
    line-height: 1.6;
    -webkit-font-smoothing: antialiased;
  }
  .wrap { max-width: 780px; margin: 0 auto; padding: 0 24px; }

  /* ---------- hero ---------- */
  header { padding: 96px 0 48px; border-bottom: 1px solid var(--line); }
  .prompt { font-family: var(--mono); font-size: 15px; color: var(--dim); margin-bottom: 20px; }
  .prompt .hash { color: var(--accent2); }
  .prompt .dollar { color: var(--dim); }
  .prompt .blink { animation: blink 1.1s step-end infinite; }
  @keyframes blink { 0%,100% {opacity:1;} 50% {opacity:0;} }
  h1 { font-size: clamp(30px, 5.5vw, 46px); font-weight: 750; letter-spacing: -0.02em; line-height: 1.15; margin-bottom: 16px; }
  h1 .fx { color: var(--accent); }
  .tagline {
    font-family: var(--mono);
    font-size: clamp(14px, 2.6vw, 17px);
    color: var(--dim);
    max-width: 620px;
  }
  .tagline b { color: var(--fg); font-weight: 600; }

  /* ---------- top nav ---------- */
  nav {
    position: sticky;
    top: 0;
    z-index: 50;
    background: rgba(11, 14, 17, 0.88);
    backdrop-filter: blur(8px);
    border-bottom: 1px solid var(--line);
  }
  nav .wrap {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 16px;
    height: 52px;
    max-width: 780px;
  }
  nav .brand { font-family: var(--mono); font-size: 14px; color: var(--fg); white-space: nowrap; }
  nav .brand .fx { color: var(--accent); }
  nav .links { display: flex; align-items: center; gap: 18px; overflow: visible; }
  nav .links a { font-family: var(--mono); font-size: 13px; color: var(--dim); white-space: nowrap; }
  nav .links a:hover { color: var(--fg); text-decoration: none; }
  nav .links a.dhake { color: var(--accent); font-weight: 600; }
  nav .links a.dhake:hover { color: var(--accent2); }
  /* dropdown "components" submenu */
  .dropdown { position: relative; display: inline-block; }
  .dropdown .toggle { font-family: var(--mono); font-size: 13px; color: var(--dim); white-space: nowrap; cursor: pointer; border: none; background: none; padding: 0; }
  .dropdown .toggle:hover { color: var(--fg); }
  .dropdown .menu {
    display: none; position: absolute; top: 100%; right: 0; z-index: 60;
    min-width: 200px; margin-top: 10px; padding: 6px 0;
    background: var(--bg2); border: 1px solid var(--line); border-radius: 8px;
    box-shadow: 0 8px 24px rgba(0,0,0,0.4);
  }
  .dropdown .menu a { display: block; font-family: var(--mono); font-size: 13px; color: var(--dim); padding: 7px 16px; white-space: nowrap; }
  .dropdown .menu a:hover { color: var(--accent); background: rgba(106,214,161,0.06); text-decoration: none; }
  .dropdown .menu a .fx { color: var(--accent); }
  .dropdown:hover .menu { display: block; }
  .dropdown .menu .ddhake { color: var(--accent); font-weight: 600; }
  .dropdown .menu .dfxstore { color: var(--accent); font-weight: 600; }
  @media (max-width: 620px) {
    nav .brand { display: none; }
    nav .wrap { justify-content: center; }
  }

  /* ---------- sections ---------- */
  section { padding: 56px 0; border-bottom: 1px solid var(--line); }
  h2 { font-size: 22px; font-weight: 650; margin-bottom: 6px; letter-spacing: -0.01em; }
  .hint { font-family: var(--mono); font-size: 13px; color: var(--accent2); margin-bottom: 22px; }
  p { color: #c3ccd6; margin-bottom: 14px; }
  p code, li code { font-family: var(--mono); font-size: 0.9em; background: var(--bg2); border: 1px solid var(--line); border-radius: 5px; padding: 1px 6px; color: var(--accent); }
  a { color: var(--accent2); text-decoration: none; }
  a:hover { text-decoration: underline; }

  /* ---------- principles grid ---------- */
  .grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: 16px; margin-top: 8px; }
  .card { background: var(--bg2); border: 1px solid var(--line); border-radius: 10px; padding: 18px 18px 16px; }
  .card .n { font-family: var(--mono); font-size: 12px; color: var(--accent); display: block; margin-bottom: 8px; }
  .card h3 { font-size: 15px; font-weight: 600; margin-bottom: 6px; }
  .card p { font-size: 13.5px; color: var(--dim); margin: 0; }

  /* ---------- stack table ---------- */
  .stack { width: 100%; border-collapse: collapse; margin-top: 8px; }
  .stack th { font-family: var(--mono); font-size: 12px; text-transform: uppercase; letter-spacing: 0.08em; color: var(--dim); text-align: left; padding: 10px 12px; border-bottom: 1px solid var(--line); }
  .stack td { padding: 14px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
  .stack tr:last-child td { border-bottom: none; }
  .stack td.name { font-family: var(--mono); font-size: 14px; white-space: nowrap; }
  .stack td.name a { color: var(--accent); }
  .stack td.desc { font-size: 14px; color: #c3ccd6; }
  .stack td.desc em { font-style: normal; color: var(--dim); }

  /* ---------- timeline headline ---------- */
  .timeline { font-family: var(--mono); font-size: 14px; background: var(--bg2); border: 1px solid var(--line); border-left: 3px solid var(--accent); border-radius: 8px; padding: 18px 20px; margin: 16px 0 20px; overflow-x: auto; white-space: pre; }
  .timeline .c { color: var(--accent); }
  .timeline .dim { color: var(--dim); }

  /* ---------- code block ---------- */
  pre.code { font-family: var(--mono); font-size: 13.5px; background: var(--bg2); border: 1px solid var(--line); border-radius: 10px; padding: 18px 20px; overflow-x: auto; margin: 16px 0; }
  pre.code .c { color: var(--dim); }
  pre.code .g { color: var(--accent); }
  pre.code .k { color: var(--accent2); }

  /* ---------- footer ---------- */
  footer { padding: 40px 0 64px; text-align: center; color: var(--dim); font-family: var(--mono); font-size: 13px; }
  footer a { color: var(--dim); }
  footer .sep { color: var(--line); }

  ul { list-style: none; }
  ul.checks li { padding-left: 26px; position: relative; margin-bottom: 10px; color: #c3ccd6; }
  ul.checks li::before { content: "✓"; position: absolute; left: 0; color: var(--accent); font-family: var(--mono); }
</style>
</head>
<body>

<nav>
  <div class="wrap">
    <span class="brand"><span class="fx">fx</span>://fixpoint-linux</span>
    <span class="links">
      <a href="#idea">idea</a>
      <a href="#time">time</a>
      <a href="#stack">stack</a>
      <a href="#principles">principles</a>
      <a href="#design">design</a>
      <span class="dropdown">
        <button class="toggle" aria-haspopup="true">components ▾</button>
        <span class="menu" role="menu">
          <a class="ddafsa" href="https://fixpointlinux.org/datalog-dafsa/"><span class="fx">datalog-dafsa</span> →</a>
          <a class="ddhake" href="https://fixpointlinux.org/dhake/">dhake →</a>
          <a class="dfxstore" href="https://fixpointlinux.org/fxstore/">fxstore →</a>
          <a href="https://github.com/fixpoint-linux/dhall-c">dhall-c</a>
          <a href="https://github.com/fixpoint-linux/dafsa">dafsa</a>
          <a href="https://github.com/fixpoint-linux/compendium">compendium</a>
          <a href="https://github.com/fixpoint-linux/visage">visage</a>
          <a href="https://github.com/fixpoint-linux/shen-meta">shen-meta</a>
          <a href="https://github.com/fixpoint-linux/fixpoint-linux">fixpoint-linux</a>
        </span>
      </span>
    </span>
  </div>
</nav>

<header>
  <div class="wrap">
    <div class="prompt">
      <span class="hash">#</span> fixpoint-linux <span class="dollar">$</span> fx build --self-host<span class="blink">▊</span>
    </div>
    <h1>A Linux system that is <span class="fx">a fixed point</span>.</h1>
    <div class="tagline">deterministically built, <b>from source, by itself</b>.</div>
  </div>
</header>

<section id="idea">
  <div class="wrap">
    <h2>The idea</h2>
    <div class="hint">// least_fixed_point(datalog) + dafsa</div>
    <p>
      <code>fixpoint-linux</code> is a collection of small, self-contained components written in
      <b>C11</b> that assemble into a coherent Linux userspace. Every binary is compiled with
      <a href="https://github.com/jart/cosmopolitan"><code>cosmocc</code></a> into a single portable
      <a href="https://justine.lol/ape.html">Actually Portable Executable</a> (APE) — one file that runs
      on Linux, macOS, Windows, and the BSDs with <b>no VM, no runtime, no interpreter, no dependencies</b>.
    </p>
    <p>
      Everything is configured in <a href="https://dhall-lang.org/"><code>Dhall</code></a>, a
      strongly-typed, total configuration language. Configs are typechecked, normalized, and
      <em>terminate</em> — they are programs, not property files.
    </p>
    <p>
      The name comes from the two ideas at the heart of the stack:
    </p>
    <div class="grid">
      <div class="card"><span class="n">01</span><h3>Fixpoint</h3><p>The least-fixed-point semantics of <a href="https://en.wikipedia.org/wiki/Datalog">Datalog</a>; a system is its own build artifact, deterministic and reproducible.</p></div>
      <div class="card"><span class="n">02</span><h3>DAFSA</h3><p>The <a href="https://en.wikipedia.org/wiki/Deterministic_acyclic_finite_state_automaton">minimal acyclic finite-state automaton</a> that backs the data stores: compact, exact, fast.</p></div>
    </div>
  </div>
</section>

<section id="time">
  <div class="wrap">
    <h2>A system that never forgets itself</h2>
    <div class="hint">// dl_publish_snapshot · dl_snapshot_versions · dl_query_version</div>
    <p>
      <code>fixpoint-linux</code> is <b>content-addressed by construction and time-travelling by
      default</b>. Every change is one atomic snapshot of the whole system; the timeline is the
      system's complete history. Inspect any past state with an as-of query, roll back to any earlier
      point, and undo the rollback itself — without ever losing the record of what happened.
    </p>
    <div class="timeline">$ fx status
<span class="c">v042</span> <span class="dim">2026-08-18 09:12:41 · activated · ok</span>
<span class="c">v041</span> <span class="dim">2026-08-17 22:04:09 · activated · ok</span>
<span class="c">v040</span> <span class="dim">2026-08-17 18:55:31 · rolled-forward to v042</span>
<span class="c">v039</span> <span class="dim">2026-08-16 11:02:17 · activated · ok</span>
...
$ fx rollback v039   <span class="dim"># record it as history, always undoable</span></div>
    <ul class="checks">
      <li><b>Roll-forward rollbacks</b> — the timeline is an append-only ledger; going back is recorded as history and always undoable.</li>
      <li><b>Boot rollback</b> — if the latest activation fails to come up, init rolls back to the last good state automatically.</li>
      <li><b>Generation GC</b> — keep N bootable generations, prune the rest, done.</li>
    </ul>
    <p>Powered by <code>datalog-dafsa</code>'s native snapshot time-travel.</p>
  </div>
</section>

<section id="stack">
  <div class="wrap">
    <h2>The stack</h2>
    <div class="hint">// self-contained · portable · reproducible</div>
    <table class="stack">
      <thead><tr><th>Component</th><th>What it is</th></tr></thead>
      <tbody>
        <tr>
          <td class="name"><a href="https://github.com/fixpoint-linux/fixpoint-linux">fixpoint-linux</a></td>
          <td class="desc"><b>The system itself</b> — a Dhall-specified, self-hosting Linux distro. Like Nix's <em>model</em> (pure derivations, content-addressed store, hermetic builds) without the Nix language. Time-travelling — the whole system remembers and rolls back. <a href="https://github.com/fixpoint-linux/fixpoint-linux/blob/main/DESIGN.md">Read the design →</a></td>
        </tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/dhall-c">dhall-c</a></td><td class="desc">A subset interpreter for Dhall, in C. <code>typecheck</code>, <code>normalize</code>, <code>to-json</code>/<code>toml</code>/<code>yaml</code>. The typed-config foundation everything builds on.</td></tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/datalog-dafsa">datalog-dafsa</a></td><td class="desc">A DAFSA-backed Datalog engine in C. Facts into an on-disk minimal-acyclic-DAFSA store, rules to a small VM, reads from an mmap'd snapshot. <b>Native time travel</b> — immutable versioned snapshots and as-of queries as a first-class feature. <a href="https://fixpointlinux.org/datalog-dafsa/">Docs →</a></td></tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/dhake">dhake</a></td><td class="desc">A Make-like build tool whose buildfile is a Dhall program (<code>Dhakefile.dhall</code>). Typed actions, incremental checks, phony targets, <code>-j</code> parallel builds. <b>Self-hosting</b> — it builds itself. <a href="https://fixpointlinux.org/dhake/">Docs →</a></td></tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/fxstore">fxstore</a></td><td class="desc">A <b>content-addressed build store</b> — reads a Dhall package set, computes the dependency closure as a least fixed point with <code>datalog-dafsa</code>, and builds each package's typed recipe into <code>/fx/store/&lt;hash&gt;-&lt;name&gt;</code>. Crash-consistent, bwrap-sandboxed. <a href="https://fixpointlinux.org/fxstore/">Docs →</a></td></tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/compendium">compendium</a></td><td class="desc">A small, self-contained authoritative DNS server (UDP, RFC 1035), configured in Dhall, shipped as a single APE binary.</td></tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/visage">visage</a></td><td class="desc">A compact email alias &amp; forwarding server — disposable <code>alias@domain</code> addresses backed by a DAFSA store. Daemon and store in one small APE binary.</td></tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/dafsa">dafsa</a></td><td class="desc">The Carrasco–Forcada incremental DAFSA — minimal automaton with add/delete/lookup, persistence and DOT export.</td></tr>
        <tr><td class="name"><a href="https://github.com/fixpoint-linux/shen-meta">shen-meta</a></td><td class="desc">A self-hosted Shen implementation — a <b>sequent-calculus Lisp</b>. Evaluates itself, compiles itself to native bytecode, runs on a native C VM with a custom GC.</td></tr>
      </tbody>
    </table>
  </div>
</section>

<section id="principles">
  <div class="wrap">
    <h2>Design principles</h2>
    <div class="hint">// ethos</div>
    <div class="grid">
      <div class="card"><span class="n">α</span><h3>One binary, zero deps</h3><p>Cosmocc + APE means each tool is self-contained and portable across OSes.</p></div>
      <div class="card"><span class="n">β</span><h3>Config is typed code</h3><p>Dhall gives typechecking, imports, and reusable functions — and it always terminates.</p></div>
      <div class="card"><span class="n">γ</span><h3>Logic is declarative</h3><p>Datalog + DAFSA keep the data plane compact and exact.</p></div>
      <div class="card"><span class="n">δ</span><h3>Self-hosting</h3><p>Tools build themselves — see <code>dhake</code>'s self-hosting buildfile.</p></div>
      <div class="card"><span class="n">ε</span><h3>Content-addressed</h3><p>Every artifact's store path is a hash of its inputs — the closure is the identity, so the same spec always builds the same thing.</p></div>
      <div class="card"><span class="n">ζ</span><h3>Small and legible</h3><p>Each component fits in your head; none pulls in a framework or heavyweight runtime.</p></div>
    </div>
  </div>
</section>

<section id="design">
  <div class="wrap">
    <h2>The system — read the design</h2>
    <div class="hint">// apex · spec + builds + store, all Dhall + Datalog + DAFSA</div>
    <p>
      The org's apex is the <code>fixpoint-linux</code> distro itself: a self-hosting Linux system
      whose spec, builds, and store are all Dhall + Datalog + DAFSA — content-addressed by construction.
    </p>
    <pre class="code"><span class="c"># build the Dhall interpreter, then the self-hosting build tool</span>
<span class="k">$</span> <span class="g">cd</span> dhall-c && make && make test   <span class="c"># builds dhall.com (APE) + runs the test suite</span>
<span class="k">$</span> <span class="g">cd</span> dhake   && make                <span class="c"># self-hosting: builds dhake.com from its Dhakefile.dhall</span></pre>
    <p><a href="https://github.com/fixpoint-linux/fixpoint-linux/blob/main/DESIGN.md">👉 Read the full architecture design</a></p>
  </div>
</section>

<footer>
  <div class="wrap">
    <a href="https://github.com/fixpoint-linux">github.com/fixpoint-linux</a>
    <span class="sep"> · </span>
    built with ❤️ and a single <code>cosmocc</code> invocation
  </div>
</footer>

</body>
</html>