eyeling 1.15.13 → 1.15.14

package/README.md

@@ -15,7 +15,7 @@ A compact [Notation3 (N3)](https://notation3.org/) reasoner in **JavaScript**.
 - **Semantics:** [https://eyereasoner.github.io/eyeling/SEMANTICS](https://eyereasoner.github.io/eyeling/SEMANTICS)
 - **Playground:** [https://eyereasoner.github.io/eyeling/demo](https://eyereasoner.github.io/eyeling/demo)
 - **Conformance report:** [https://codeberg.org/phochste/notation3tests/src/branch/main/reports/report.md](https://codeberg.org/phochste/notation3tests/src/branch/main/reports/report.md)
-- **Follows From:** [https://eyereasoner.github.io/eyeling/follows-from/](https://eyereasoner.github.io/eyeling/follows-from/)
+- **ARCtifacts:** [https://eyereasoner.github.io/eyeling/arctifacts/](https://eyereasoner.github.io/eyeling/arctifacts/)
 
 Eyeling is regularly checked against the community Notation3 test suite. If you want implementation details (parser, unifier, proof search, skolemization, scoped closure, builtins), start with the handbook.
 

package/arctifacts/README.md

@@ -0,0 +1,57 @@
+# ARCtifacts
+
+ARCtifacts are trustworthy programs telling a concise story in three parts. First comes the **Answer** to a specific question. This is followed by the **Reason Why** that answer is correct, articulated in everyday language and supported by the relevant identities, rules, or ideas. Finally, every case includes a **Check**—a concrete test designed to fail loudly if an assumption doesn't hold or an edge case bites. The result is a computation with a complete, auditable trail: you can see precisely what was done, why it was valid, and how the page verifies its own work.
+
+## Science
+
+- [**Body Mass Index**](https://eyereasoner.github.io/eyeling/arctifacts/bmi.html) — Compute BMI categories with explainable thresholds and sanity checks.
+- [**Earthquake Epicenter**](https://eyereasoner.github.io/eyeling/arctifacts/earthquake-epicenter.html) — Infer an earthquake’s epicenter from P- and S-wave arrivals and verify with distance and timing checks.
+- [**Exoplanet Transit**](https://eyereasoner.github.io/eyeling/arctifacts/exoplanet-transit.html) — Infer a planet’s size and orbit from a transit light curve, with explainable formulas and consistency checks.
+- [**Grass Seed Germination**](https://eyereasoner.github.io/eyeling/arctifacts/grass-molecular.html) — Model germination states and transitions with rule checks.
+- [**Leg Length Discrepancy Measurement**](https://eyereasoner.github.io/eyeling/arctifacts/lldm.html) — Leg Length Discrepancy Measurement from four landmarks.
+
+## Technology
+
+- [**Auroracare**](https://eyereasoner.github.io/eyeling/arctifacts/auroracare.html) — Purpose-based Medical Data Exchange.
+- [**Clinical Care Planning**](https://eyereasoner.github.io/eyeling/arctifacts/clinical-care.html) — Derive care plans from observations, guidelines, and policy constraints.
+- [**Delfour**](https://eyereasoner.github.io/eyeling/arctifacts/delfour.html) — Ruben Verborgh's "Inside the Insight Economy" case.
+- [**GPS Clinical Bench**](https://eyereasoner.github.io/eyeling/arctifacts/gps-clinical-bench.html) — Benchmark clinical decisions with transparent rules and audit trails.
+- [**Graph of French Cities**](https://eyereasoner.github.io/eyeling/arctifacts/graph-french.html) — Shortest paths and connectivity over a city graph with proofs.
+- [**Health Information Processing**](https://eyereasoner.github.io/eyeling/arctifacts/health-info.html) — Transform clinical payloads with typed rules and validation.
+- [**Linked Lists**](https://eyereasoner.github.io/eyeling/arctifacts/linked-lists.html) — Term logic example proved using Resolution.
+- [**REST-Path**](https://eyereasoner.github.io/eyeling/arctifacts/rest-path.html) — Explain link-following over REST resources; verify pre/post conditions.
+- [**Turing Machine**](https://eyereasoner.github.io/eyeling/arctifacts/turing.html) — Run tapes with explicit transitions; verify halting and tape contents.
+
+## Engineering
+
+- [**Bike Trip Planning**](https://eyereasoner.github.io/eyeling/arctifacts/bike-trip.html) — Route priorities from hazards, preferences, and declarative JSON rules.
+- [**Building Performance**](https://eyereasoner.github.io/eyeling/arctifacts/building-performance.html) — Reason about energy/comfort metrics and verify rule-based outcomes.
+- [**Control System**](https://eyereasoner.github.io/eyeling/arctifacts/control-system.html) — Model simple feedback loops and verify stability/response conditions.
+- [**Eco-Route**](https://eyereasoner.github.io/eyeling/arctifacts/eco-route.html) — Pick lower-emission routes by fusing traffic, grade, and policy goals.
+- [**GPS Bike**](https://eyereasoner.github.io/eyeling/arctifacts/gps-bike.html) — GPS for bike trip Gent → Maasmechelen.
+- [**Lee**](https://eyereasoner.github.io/eyeling/arctifacts/lee.html) — Maze routing with Lee’s algorithm; trace optimal wavefront paths.
+- [**Wind-Turbine Maintenance**](https://eyereasoner.github.io/eyeling/arctifacts/wind-turbines.html) — Plan maintenance from telemetry and policies with auditable outcomes.
+
+## Mathematics
+
+- [**Ackermann**](https://eyereasoner.github.io/eyeling/arctifacts/ackermann.html) — Compute A₂ with exact hyper-ops; print small, expand huge safely.
+- [**Binomial Theorem**](https://eyereasoner.github.io/eyeling/arctifacts/binomial-theorem.html) — Sum of all binomial coefficients.
+- [**Collatz**](https://eyereasoner.github.io/eyeling/arctifacts/collatz.html) — Generate trajectories and check invariants for the Collatz map.
+- [**Complex Identities**](https://eyereasoner.github.io/eyeling/arctifacts/complex.html) — Symbolic steps for complex-number equalities with auditable reasoning.
+- [**Euclid’s Infinitude of Primes**](https://eyereasoner.github.io/eyeling/arctifacts/euclid-infinitude.html) — Restate the theorem, explain Euclid’s one-line proof, and run computational checks.
+- [**Euler’s Identity**](https://eyereasoner.github.io/eyeling/arctifacts/euler-identity.html) — The most beautiful equation in mathematics.
+- [**Faltings' Theorem**](https://eyereasoner.github.io/eyeling/arctifacts/faltings-theorem.html) — Explore genus 0, 1, and 2 curves, and see why genus ≥ 2 leads to only finitely many rational points.
+- [**Fibonacci**](https://eyereasoner.github.io/eyeling/arctifacts/fibonacci.html) — Compute big Fₙ with fast-doubling recurrences and proof-style checks.
+- [**Fundamental Theorem of Arithmetic**](https://eyereasoner.github.io/eyeling/arctifacts/fundamental-theorem-arithmetic.html) — Every integer factors as a product of primes.
+- [**Gödel Numbering**](https://eyereasoner.github.io/eyeling/arctifacts/godel-numbering.html) — A classic Gödel numbering demonstrator.
+- [**Group Theory**](https://eyereasoner.github.io/eyeling/arctifacts/group-theory.html) — Verify closure, identity, inverses, and associativity on examples.
+- [**Kaprekar’s Constant**](https://eyereasoner.github.io/eyeling/arctifacts/kaprekar-constant.html) — Exhaustive sweep of every 4-digit state in Kaprekar’s routine.
+- [**Matrix Basics**](https://eyereasoner.github.io/eyeling/arctifacts/matrix.html) — Add/multiply/invert with dimension/property checks.
+- [**Matrix Multiplication**](https://eyereasoner.github.io/eyeling/arctifacts/matrix-multiplication.html) — Not commutative (AB ≠ BA).
+- [**Newton–Raphson**](https://eyereasoner.github.io/eyeling/arctifacts/newton-raphson.html) — Newton–Raphson method for root-finding.
+- [**Peano Factorial**](https://eyereasoner.github.io/eyeling/arctifacts/peano-factorial.html) — 5! = 120 proved via Resolution.
+- [**Pi**](https://eyereasoner.github.io/eyeling/arctifacts/pi.html) — High-precision π via Chudnovsky series with error-bound checks.
+- [**Polynomial Roots**](https://eyereasoner.github.io/eyeling/arctifacts/polynomial.html) — Find all roots simultaneously; prove convergence on typical cases.
+- [**Primes**](https://eyereasoner.github.io/eyeling/arctifacts/prime.html) — Generate/test primes; log certs (trial factors or proofs) as checks.
+- [**Pythagorean Theorem**](https://eyereasoner.github.io/eyeling/arctifacts/pythagorean-theorem.html) — Compute legs/hypotenuse and confirm with algebraic or area proofs.
+- [**Roots of Unity**](https://eyereasoner.github.io/eyeling/arctifacts/roots-of-unity.html) — Place complex n-th roots on the unit circle; check spacing and sums/products.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.15.13",
+  "version": "1.15.14",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -31,7 +31,7 @@
     "test",
     "tools",
     "examples",
-    "follows-from"
+    "arctifacts"
   ],
   "engines": {
     "node": ">=18"

package/follows-from/index.html

@@ -1,549 +0,0 @@
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8" />
-    <meta name="viewport" content="width=device-width,initial-scale=1" />
-    <title>Follows From</title>
-    <meta name="description" content="Follows From — Questions backward, consequences forward." />
-    <style>
-      :root {
-        --bg: #f7fafc;
-        --panel: #ffffff;
-        --soft: #f3f8fc;
-        --text: #102133;
-        --muted: #5b7084;
-        --border: #d8e5ef;
-        --accent: #0ea5e9;
-        --accent2: #2563eb;
-        --shadow: 0 14px 36px rgba(15, 23, 42, 0.08);
-        --r: 24px;
-      }
-      * {
-        box-sizing: border-box;
-      }
-      body {
-        margin: 0;
-        font:
-          16px/1.6 Inter,
-          ui-sans-serif,
-          system-ui,
-          -apple-system,
-          Segoe UI,
-          Roboto,
-          sans-serif;
-        color: var(--text);
-        background:
-          radial-gradient(900px 420px at 100% -10%, rgba(14, 165, 233, 0.09), transparent 60%),
-          radial-gradient(850px 420px at -10% 0%, rgba(37, 99, 235, 0.06), transparent 60%), var(--bg);
-      }
-      .wrap {
-        max-width: 1100px;
-        margin: 0 auto;
-        padding: 18px 14px 80px;
-      }
-      .card {
-        background: var(--panel);
-        border: 1px solid var(--border);
-        border-radius: var(--r);
-        box-shadow: var(--shadow);
-      }
-      header {
-        padding: 28px 20px;
-        margin-top: 10px;
-      }
-      .kicker {
-        display: inline-block;
-        padding: 7px 11px;
-        border-radius: 999px;
-        background: #e0f2fe;
-        border: 1px solid #bae6fd;
-        color: #0369a1;
-        font-size: 12px;
-        text-transform: uppercase;
-        letter-spacing: 0.08em;
-        font-weight: 800;
-      }
-      h1 {
-        margin: 14px 0 10px;
-        font-size: clamp(34px, 8vw, 58px);
-        line-height: 1.02;
-        letter-spacing: -0.04em;
-      }
-      h2 {
-        margin: 0 0 8px;
-        font-size: clamp(24px, 5vw, 34px);
-        line-height: 1.08;
-        letter-spacing: -0.03em;
-      }
-      h3 {
-        margin: 0 0 8px;
-        font-size: 20px;
-        letter-spacing: -0.02em;
-      }
-      p {
-        margin: 0 0 12px;
-        color: var(--muted);
-      }
-      .lead {
-        font-size: 18px;
-        max-width: 46ch;
-      }
-      .formula {
-        margin-top: 16px;
-        padding: 14px 16px;
-        border-radius: 18px;
-        border: 1px solid #dbeafe;
-        background: #f8fbff;
-        color: #0c4a6e;
-        font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
-      }
-      .actions {
-        display: flex;
-        gap: 10px;
-        flex-wrap: wrap;
-        margin-top: 18px;
-      }
-      .btn {
-        display: inline-block;
-        text-decoration: none;
-        border-radius: 14px;
-        padding: 12px 14px;
-        font-weight: 800;
-        background: var(--accent);
-        color: white;
-        box-shadow: 0 10px 20px rgba(14, 165, 233, 0.18);
-      }
-      .btn.secondary {
-        background: white;
-        color: var(--accent);
-        border: 1px solid #cceaf9;
-        box-shadow: none;
-      }
-      .section {
-        margin-top: 16px;
-        padding: 18px;
-      }
-      .grid {
-        display: grid;
-        gap: 12px;
-      }
-      .doors {
-        grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
-      }
-      .artifacts {
-        grid-template-columns: repeat(auto-fit, minmax(230px, 1fr));
-      }
-      .door,
-      .artifact,
-      .note {
-        background: #fcfdff;
-        border: 1px solid var(--border);
-        border-radius: 18px;
-        padding: 14px;
-      }
-      .meta {
-        display: inline-block;
-        margin-bottom: 8px;
-        padding: 4px 8px;
-        border-radius: 999px;
-        font-size: 12px;
-        font-weight: 800;
-        background: #eff6ff;
-        border: 1px solid #dbeafe;
-        color: #1d4ed8;
-      }
-      a {
-        color: #0369a1;
-        text-decoration: none;
-        font-weight: 700;
-      }
-      a:hover {
-        text-decoration: underline;
-      }
-
-      .hero-brand {
-        display: flex;
-        align-items: center;
-        gap: 16px;
-        flex-wrap: wrap;
-        margin-bottom: 8px;
-      }
-      .logo-wrap {
-        width: 88px;
-        height: 88px;
-        flex: 0 0 auto;
-        display: grid;
-        place-items: center;
-        border-radius: 24px;
-        background: linear-gradient(180deg, #ffffff, #f6fbff);
-        border: 1px solid #dbeafe;
-        box-shadow: 0 12px 28px rgba(14, 165, 233, 0.12);
-      }
-      .logo-mark {
-        width: 64px;
-        height: 64px;
-        display: block;
-      }
-      .brand-copy {
-        min-width: 240px;
-        flex: 1;
-      }
-      .brand-copy h1 {
-        margin: 0 0 8px;
-      }
-      @media (max-width: 640px) {
-        .hero-brand {
-          align-items: flex-start;
-        }
-        .logo-wrap {
-          width: 78px;
-          height: 78px;
-          border-radius: 20px;
-        }
-        .logo-mark {
-          width: 56px;
-          height: 56px;
-        }
-      }
-      footer {
-        margin-top: 20px;
-        color: var(--muted);
-        text-align: center;
-        font-size: 14px;
-      }
-    </style>
-  </head>
-  <body>
-    <div class="wrap">
-      <header class="card">
-        <div class="hero-brand">
-          <div class="logo-wrap">
-            <img class="logo-mark" src="logo.svg" alt="Follows From logo" />
-          </div>
-          <div class="brand-copy">
-            <h1>Follows From</h1>
-            <p class="lead">
-              Follows From is built around a single motion: questions move backward toward what would ground a trace,
-              and consequences move forward from whatever model survives that question.
-            </p>
-          </div>
-        </div>
-        <div class="formula">Trace → Question → Model → Answer → Reason → Check</div>
-        <div class="actions">
-          <a class="btn secondary" href="manifesto">Read the manifesto</a>
-        </div>
-      </header>
-
-      <section class="card section">
-        <h2>The three doors</h2>
-        <div class="grid doors">
-          <div class="door">
-            <h3><a href="library/index">The Library</a></h3>
-            <p>The side of questions: traces, comparison, legibility, partial knowledge, and reading from within.</p>
-          </div>
-          <div class="door">
-            <h3><a href="path/index">The Path</a></h3>
-            <p>The side of unfolding: origin, evolution, dynamics, inheritance, consequence, and becoming.</p>
-          </div>
-          <div class="door">
-            <h3><a href="method/index">The Method</a></h3>
-            <p>The craft of turning questions into trustworthy artifacts built as Answer · Reason · Check.</p>
-          </div>
-        </div>
-      </section>
-
-      <section class="card section">
-        <h2>Why this name</h2>
-        <div class="note">
-          <p>
-            <strong>Follows From</strong> names the standard the project cares about most: every claim should show what
-            it follows from, and every artifact should make that line readable.
-          </p>
-          <p>
-            A trace invites a backward question — what would explain this? A model then moves forward — what follows
-            from it? The name holds both directions in ordinary language without sounding ornamental.
-          </p>
-        </div>
-      </section>
-
-      <section class="card section">
-        <h2>Science</h2>
-        <div class="grid artifacts">
-          <div class="artifact">
-            <div class="meta">Science</div>
-            <h3><a href="artifacts/bmi.html">Body Mass Index</a></h3>
-            <p>Compute BMI categories with explainable thresholds and sanity checks.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Science</div>
-            <h3><a href="artifacts/earthquake-epicenter.html">Earthquake Epicenter</a></h3>
-            <p>
-              Infer an earthquake’s epicenter from P- and S-wave arrivals and verify with distance and timing checks.
-            </p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Science</div>
-            <h3><a href="artifacts/exoplanet-transit.html">Exoplanet Transit</a></h3>
-            <p>
-              Infer a planet’s size and orbit from a transit light curve, with explainable formulas and consistency
-              checks.
-            </p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Science</div>
-            <h3><a href="artifacts/grass-molecular.html">Grass Seed Germination</a></h3>
-            <p>Model germination states and transitions with rule checks.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Science</div>
-            <h3><a href="artifacts/lldm.html">Leg Length Discrepancy Measurement</a></h3>
-            <p>Leg Length Discrepancy Measurement from four landmarks.</p>
-          </div>
-        </div>
-      </section>
-
-      <section class="card section">
-        <h2>Technology</h2>
-        <div class="grid artifacts">
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/auroracare.html">Auroracare</a></h3>
-            <p>Purpose-based Medical Data Exchange.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/clinical-care.html">Clinical Care Planning</a></h3>
-            <p>Derive care plans from observations, guidelines, and policy constraints.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/delfour.html">Delfour</a></h3>
-            <p>Ruben Verborgh's "Inside the Insight Economy" case.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/gps-clinical-bench.html">GPS Clinical Bench</a></h3>
-            <p>Benchmark clinical decisions with transparent rules and audit trails.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/graph-french.html">Graph of French Cities</a></h3>
-            <p>Shortest paths and connectivity over a city graph with proofs.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/health-info.html">Health Information Processing</a></h3>
-            <p>Transform clinical payloads with typed rules and validation.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/linked-lists.html">Linked Lists</a></h3>
-            <p>Term logic example proved using Resolution.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/rest-path.html">REST-Path</a></h3>
-            <p>Explain link-following over REST resources; verify pre/post conditions.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Technology</div>
-            <h3><a href="artifacts/turing.html">Turing Machine</a></h3>
-            <p>Run tapes with explicit transitions; verify halting and tape contents.</p>
-          </div>
-        </div>
-      </section>
-
-      <section class="card section">
-        <h2>Engineering</h2>
-        <div class="grid artifacts">
-          <div class="artifact">
-            <div class="meta">Engineering</div>
-            <h3><a href="artifacts/bike-trip.html">Bike Trip Planning</a></h3>
-            <p>Route priorities from hazards, preferences, and declarative JSON rules.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Engineering</div>
-            <h3><a href="artifacts/building-performance.html">Building Performance</a></h3>
-            <p>Reason about energy/comfort metrics and verify rule-based outcomes.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Engineering</div>
-            <h3><a href="artifacts/control-system.html">Control System</a></h3>
-            <p>Model simple feedback loops and verify stability/response conditions.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Engineering</div>
-            <h3><a href="artifacts/eco-route.html">Eco-Route</a></h3>
-            <p>Pick lower-emission routes by fusing traffic, grade, and policy goals.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Engineering</div>
-            <h3><a href="artifacts/gps-bike.html">GPS Bike</a></h3>
-            <p>GPS for bike trip Gent → Maasmechelen.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Engineering</div>
-            <h3><a href="artifacts/lee.html">Lee</a></h3>
-            <p>Maze routing with Lee’s algorithm; trace optimal wavefront paths.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Engineering</div>
-            <h3><a href="artifacts/wind-turbines.html">Wind-Turbine Maintenance</a></h3>
-            <p>Plan maintenance from telemetry and policies with auditable outcomes.</p>
-          </div>
-        </div>
-      </section>
-
-      <section class="card section">
-        <h2>Mathematics</h2>
-        <div class="grid artifacts">
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/ackermann.html">Ackermann</a></h3>
-            <p>Compute A₂ with exact hyper-ops; print small, expand huge safely.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/binomial-theorem.html">Binomial Theorem</a></h3>
-            <p>Sum of all binomial coefficients.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/collatz.html">Collatz</a></h3>
-            <p>Generate trajectories and check invariants for the Collatz map.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/complex.html">Complex Identities</a></h3>
-            <p>Symbolic steps for complex-number equalities with auditable reasoning.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/euclid-infinitude.html">Euclid’s Infinitude of Primes</a></h3>
-            <p>Restate the theorem, explain Euclid’s one-line proof, and run computational checks.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/euler-identity.html">Euler’s Identity</a></h3>
-            <p>The most beautiful equation in mathematics.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/faltings-theorem.html">Faltings' Theorem</a></h3>
-            <p>Explore genus 0, 1, and 2 curves, and see why genus ≥ 2 leads to only finitely many rational points.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/fibonacci.html">Fibonacci</a></h3>
-            <p>Compute big Fₙ with fast-doubling recurrences and proof-style checks.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/fundamental-theorem-arithmetic.html">Fundamental Theorem of Arithmetic</a></h3>
-            <p>Every integer factors as a product of primes.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/godel-numbering.html">Gödel Numbering</a></h3>
-            <p>A classic Gödel numbering demonstrator.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/group-theory.html">Group Theory</a></h3>
-            <p>Verify closure, identity, inverses, and associativity on examples.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/kaprekar-constant.html">Kaprekar’s Constant</a></h3>
-            <p>Exhaustive sweep of every 4-digit state in Kaprekar’s routine.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/matrix.html">Matrix Basics</a></h3>
-            <p>Add/multiply/invert with dimension/property checks.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/matrix-multiplication.html">Matrix Multiplication</a></h3>
-            <p>Not commutative (AB ≠ BA).</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/newton-raphson.html">Newton–Raphson</a></h3>
-            <p>Newton–Raphson method for root-finding.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/peano-factorial.html">Peano Factorial</a></h3>
-            <p>5! = 120 proved via Resolution.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/pi.html">Pi</a></h3>
-            <p>High-precision π via Chudnovsky series with error-bound checks.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/polynomial.html">Polynomial Roots</a></h3>
-            <p>Find all roots simultaneously; prove convergence on typical cases.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/prime.html">Primes</a></h3>
-            <p>Generate/test primes; log certs as checks.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/pythagorean-theorem.html">Pythagorean Theorem</a></h3>
-            <p>Compute legs/hypotenuse and confirm with algebraic or area proofs.</p>
-          </div>
-
-          <div class="artifact">
-            <div class="meta">Mathematics</div>
-            <h3><a href="artifacts/roots-of-unity.html">Roots of Unity</a></h3>
-            <p>Place complex n-th roots on the unit circle; check spacing and sums/products.</p>
-          </div>
-        </div>
-      </section>
-
-      <footer>Follows From — ask backward, derive forward, check openly.</footer>
-    </div>
-  </body>
-</html>

package/follows-from/library/index.md

@@ -1,22 +0,0 @@
-# The Library
-
-The library is the side of questions.
-
-It stands for the inward place from which the world is measured, remembered, compared, and read. It does not stand outside the world. It works from inside, with partial traces, incomplete records, inherited signs, measurements, and remembered structures.
-
-The library never possesses the whole. It gathers what reaches it and asks what might make the given understandable.
-
-## What belongs here
-
-- observership
-- traces
-- memory
-- comparison
-- interpretation
-- legibility
-- partial knowledge
-- backward reasoning
-
-## Relation to Follows From
-
-The library gives Follows From its philosophical starting point: understanding begins not with possession of the whole, but with the disciplined reading of traces and the questions they force.

package/follows-from/logo.svg

@@ -1,12 +0,0 @@
-<svg viewBox="0 0 128 128" fill="none" xmlns="http://www.w3.org/2000/svg" role="img" aria-labelledby="title desc">
-  <title id="title">Follows From logo</title>
-  <desc id="desc">Three traces gather from the left into a pivot, and two broader consequences unfold to the right.</desc>
-  <g stroke-linecap="round" stroke-linejoin="round">
-    <path d="M20 30C34 30 42 36 52 50" stroke="#A8B6C8" stroke-width="8"/>
-    <path d="M18 64C34 64 42 64 52 64" stroke="#A8B6C8" stroke-width="8"/>
-    <path d="M20 98C34 98 42 92 52 78" stroke="#A8B6C8" stroke-width="8"/>
-    <path d="M56 64C72 62 84 54 96 40" stroke="#2563EB" stroke-width="11"/>
-    <path d="M56 64C80 64 98 70 110 86" stroke="#14B8A6" stroke-width="13"/>
-  </g>
-  <circle cx="56" cy="64" r="7" fill="#F59E0B"/>
-</svg>

package/follows-from/manifesto.md

@@ -1,48 +0,0 @@
-# Follows From: a manifesto
-
-The world does not appear to us from nowhere.
-
-We do not stand outside it.  
-We do not hold the whole in a single view.  
-We work from within.
-
-What we inherit are traces: measurements, marks, records, structures, memories, constraints, and signals. From these we ask questions. From questions we build models. From models we derive consequences. From consequences we test what survives.
-
-That is the ground of Follows From.
-
-This project joins three commitments.
-
-The first is the **library**: the side of traces, interpretation, and legibility from within. The second is the **path**: the side of unfolding, consequence, persistence, and change. The third is the **method**: the discipline of answer, reason, and check.
-
-These are not separate compartments. They are three ways of naming one intellectual motion: to read the world from within, to reason openly, and to test what we claim.
-
-Its practical rule is simple:
-
-**Every good artifact should contain an Answer, a Reason, and a Check.**
-
-An **Answer** says what is claimed.  
-A **Reason** shows why the claim follows.  
-A **Check** exposes what confirms, constrains, or corrects it.
-
-Without the answer, there is nothing definite.  
-Without the reason, there is no understanding.  
-Without the check, there is no trust.
-
-That is why Follows From values small, inspectable artifacts. A good page should not merely impress. It should be readable. It should show how it works. It should make rerunning and reconsideration possible.
-
-A question can move backward from a trace toward what would explain it. A model can then move forward from assumptions toward consequences. Every artifact therefore moves in both directions: reconstructive and generative, backward and forward, library and path.
-
-This project stands for a certain style of thought:
-
-- begin with a real question
-- keep assumptions visible
-- prefer small structures over opaque complexity
-- expose the line from data to conclusion
-- build the check into the artifact itself
-- treat clarity as part of rigor
-- treat inspectability as part of honesty
-
-The world unfolds.  
-From somewhere inside that unfolding, it is also read.
-
-**Follows From** names that whole motion in the simplest possible way: show what follows, and what it follows from.

package/follows-from/method/index.md

@@ -1,30 +0,0 @@
-# The Method
-
-The method is how a question becomes a trustworthy artifact.
-
-Follows From adopts a simple discipline:
-
-- **Answer** — what is being claimed
-- **Reason** — why the claim follows
-- **Check** — how the claim is independently tested
-
-## Core sequence
-
-**Trace → Question → Model → Answer → Reason → Check**
-
-Or more compactly:
-
-**Ask backward. Derive forward. Check openly.**
-
-## Design principles
-
-1. Start from a real question.
-2. Keep assumptions visible.
-3. Prefer small structures over opaque complexity.
-4. Make the line from data to conclusion explicit.
-5. Build the check into the artifact itself.
-6. Treat clarity as part of rigor.
-
-## Relation to Follows From
-
-The method is where philosophy becomes practice. It is the operational bridge between the library’s questions and the path’s consequences.

package/follows-from/path/index.md

@@ -1,20 +0,0 @@
-# The Path
-
-The path is the side of unfolding.
-
-It stands for origin and evolution, for what begins, persists, branches, transforms, and continues. It is not a route laid across a finished map. It is the world in its own becoming.
-
-## What belongs here
-
-- origin
-- evolution
-- persistence
-- transformation
-- inheritance
-- constraints
-- dynamics
-- forward consequence
-
-## Relation to Follows From
-
-The path gives Follows From its generative side: every artifact does not only reconstruct what is given, it also derives consequences and follows how structures unfold.