Arclight joins the seeing of EYE, the structure of ARC, the questions of the Library, and the unfolding of the Path.
The side of questions: observership, traces, comparison, legibility, and reading from within.
The side of unfolding: origin, evolution, dynamics, inheritance, consequence, and becoming.
The craft of turning questions into trustworthy artifacts built as Answer · Reason · Check.
Arclight takes arc from the ARC method, light from seeing and the spirit of EYE, and points naturally toward the Library and the Path: reading by light, and carrying light along a path.
It is meant to sound like a method and a place at once: a way of reasoning, and a house of readable artifacts.
Compute BMI categories with explainable thresholds and sanity checks.
Infer an earthquake’s epicenter from P- and S-wave arrivals and verify with distance and timing checks.
Infer a planet’s size and orbit from a transit light curve, with explainable formulas and consistency checks.
Model germination states and transitions with rule checks.
Leg Length Discrepancy Measurement from four landmarks.
Purpose-based Medical Data Exchange.
Derive care plans from observations, guidelines, and policy constraints.
Ruben Verborgh's "Inside the Insight Economy" case.
Benchmark clinical decisions with transparent rules and audit trails.
Shortest paths and connectivity over a city graph with proofs.
Transform clinical payloads with typed rules and validation.
Term logic example proved using Resolution.
Explain link-following over REST resources; verify pre/post conditions.
Run tapes with explicit transitions; verify halting and tape contents.
Route priorities from hazards, preferences, and declarative JSON rules.
Reason about energy/comfort metrics and verify rule-based outcomes.
Model simple feedback loops and verify stability/response conditions.
Pick lower-emission routes by fusing traffic, grade, and policy goals.
GPS for bike trip Gent → Maasmechelen.
Maze routing with Lee’s algorithm; trace optimal wavefront paths.
Plan maintenance from telemetry and policies with auditable outcomes.
Compute A₂ with exact hyper-ops; print small, expand huge safely.
Sum of all binomial coefficients.
Generate trajectories and check invariants for the Collatz map.
Symbolic steps for complex-number equalities with auditable reasoning.
Restate the theorem, explain Euclid’s one-line proof, and run computational checks.
The most beautiful equation in mathematics.
Explore genus 0, 1, and 2 curves, and see why genus ≥ 2 leads to only finitely many rational points.
Compute big Fₙ with fast-doubling recurrences and proof-style checks.
Every integer factors as a product of primes.
A classic Gödel numbering demonstrator.
Verify closure, identity, inverses, and associativity on examples.
Exhaustive sweep of every 4-digit state in Kaprekar’s routine.
Add/multiply/invert with dimension/property checks.
Not commutative (AB ≠ BA).
Newton–Raphson method for root-finding.
5! = 120 proved via Resolution.
High-precision π via Chudnovsky series with error-bound checks.
Find all roots simultaneously; prove convergence on typical cases.
Generate/test primes; log certs as checks.
Compute legs/hypotenuse and confirm with algebraic or area proofs.
Place complex n-th roots on the unit circle; check spacing and sums/products.