Axiom 00 / weathered premise
reasoner.dev
A wabi-sabi logic garden where formal thought is permitted to be slow, incomplete, and quietly human.
Proofs here are not polished chrome. They are inscriptions on stone: legible, softened by rain, and made more believable by the trace of time.
Premise 01
Precision can weather.
The grid remains exact while its edges admit mineral drift, faded ink, and the small asymmetries that reveal a thinking hand.
Premise 02
Inference breathes.
Each silence between blocks acts as a logical connective, a pause where one proposition settles before the next appears.
Lemma 03
No navigation.
The scroll is the argument; a thin green line records only the distance already reasoned.
Lemma 04
No urgency.
There is no act-now demand, only a sequence of thoughts arranged for patient descent.
Lemma 05
No ornament.
Surface, depth, line, atmosphere: the visual language is generated entirely from code.
Theorem 06 / proposition grid
A proof arranged as modular blocks.
Rows expand and contract in the rhythm of formal reasoning: one axiom, two premises, three lemmas, one theorem, two corollaries. The blocks are not cards for browsing; they are statements to be encountered in order.
The invisible twelve-column structure keeps every imperfect stone aligned, while gaps remain generous enough for contemplation.
Corollary 07
Depth clarifies the present.
Foreground assertions sharpen with warmer shadows. Midground thoughts flatten and cool. Background propositions recede into haze, like memory or an idea not yet ready.
Annotation 08
translateZ(-40px)
Perspective is not decoration; it makes the act of reading spatial, a diorama of reasoning with distance between claims.
Palette 09 / gradient breath
Deep slate, paper grain, moss, mist, ember.
Every surface is a slow radial mesh, never a hard decorative blob. Color moves as light moves across stone: barely, unevenly, continuously.
Type 10
DM Sans
Display letterforms sit close together, geometric and calm, like whispered truths drawn with a straightedge.
Type 11
Inter
Body text remains warm and open, with generous line-height for the silence between clauses.
Type 12
Space Grotesk
Labels and annotations carry a technical accent without becoming code-cliche.
Chain 13 / curved deduction
The line catches up to the thought.
Soft blue paths curve between propositions as they enter the viewport. Their dash offsets collapse from absence to presence, suggesting deduction as a patient arc rather than a rigid arrow.
Observation 14
Imperfection is intellectual.
The weathered edge is not rustic styling. It is a reminder that human reasoning carries erosion, revision, and half-erased attempts.
Observation 15
Calm is a method.
The site refuses selling patterns so the visitor can sit with incomplete ideas until they crystallize or dissolve.
Therefore 16
Let the proof remain open.
In this garden, the incomplete thought, the faded ink, and the curved path are not failures of rigor. They are evidence that reasoning is alive.