          Index · the case6 × 8 · rows A–F · columns 1–8
        

Cell F8 is still blank.

Axiom Bindery keeps every statement you have personally proven, one sewn folio per cell, 48 cells in a 6x8 case. 31 are stamped. 17 wait for a proof.

Open the grid → Compose F8

            
              0123456789
              0123456789
            
            / 48 stamped

          CIRCUIT · g1: w3 · w3 = 0x6e4 · 4 gatesillustrative
        

verifier

?{{ hb.front }}

                
                {{ hb.back }}

{{ heroMsg }}

w3 › Any w3 with w3 · w3 = 0x6e4 is accepted. Try 0x2b to see a rejection.

Case elevation · north window{{ tally }} stamped · {{ blanks }} open

Front elevation of the pigeonhole case with sewn folios, each spine carrying an oxblood stamp, and a hand press at the right.

Node graph · last pressed

Commitment · statement text

›

                {{ h.short }}
                
              

Illustrative 256-bit mix of the text. Not SHA-256.

§ 01

Why keep a case

A proof you cannot find again is a proof you will redo. Each cell holds the statement, its proof and the date it was pressed, so B3 answers in one lookup instead of one afternoon.

48

cells, A1 to F8

{{ tally }}

stamped

{{ blanks }}

blank

The square blind-stamp die: a 6 by 8 lattice with one cell pressed deep.

The blind-stamp die. One lattice, one cell pressed deep per accepted proof.

§ 02

Six rows, eight columns

§ 03

Pressing a cell

Raking-light close-up of cell F8 as the platen lifts, a fresh oxblood impression beside the stamped neighbours.

Study: F8 under raking light as the platen lifts.The impression it will leave.

01 · select

Choose a blank cell by its coordinates, for example F8.

02 · assemble

Place 3 proven fragments in the witness column of the statement's circuit.

03 · prove and press

An accepted proof is stamped and the tally moves by 1. A rejected proof leaves the cell blank.

Open the composer → Read the method

Grid · canvas

The case, 6 × 8

{{ tally }} stamped · {{ blanks }} blank · selected {{ sel.id }}

{{ gzPct }}

12345678

Inspector · cell

row {{ sel.row }} · {{ sel.rowName }} · column {{ sel.col }}

pressed{{ sel.date }}
block{{ sel.block }}
constraints{{ sel.cons }}
commitment{{ sel.hashShort }}
          
        

{{ sel.depsHead }}

Base statement. Proven directly, without fragments.

Compose {{ sel.id }} →

{{ sel.id }} is stamped. It is available as a fragment in the composer.

Arrow keys move the selection. Enter or double-click opens the composer.

    filter: {{ filterName }}zoom: {{ gzPct }}stamped: {{ tally }} / 48data: illustrative
  

Grid editor · composer

Compose {{ sel.id }}

Palette · proven fragments

filter ›

{{ fragCount }} fragments. Drag onto a slot, or click one then click a slot.

{{ ezPct }} ● snap: {{ snapLabel }}

witness column

fragment verifiers

M · all hold

R · relation

{{ s.label }}✕

{{ s.frag }}

{{ s.hint }}

{{ g.label }}

∧

= {{ sel.id }}

verifier

?{{ eb.front }}

                    
                    {{ eb.back }}

Inspector · press

platen over {{ sel.id }}
          stamped
            
              0123456789
              0123456789
            /48
        

Reference fragments · {{ sel.id }}

View grid

Circuits, constraint counts and commitments here are illustrative. The block recorded at pressing is read from NEAR.

About · how it works

Method

The case refers to cells by coordinates and uses exact counts. A cell is stamped or blank; there is no partial state. Of 48 cells, {{ tally }} are stamped and {{ blanks }} are blank.

{{ st.n }} · {{ st.k }}

Rules of the case

Clock source · {{ chainName }}

read at block {{ liveBlock }}

Each pressing records the NEAR final block height read at that moment as its date. The figures below are a reading of the chain's pools, kept so the clock can be checked against public activity. They are the only numbers on this site that are not illustrative.

snapshot: block {{ snapBlock }} · {{ snapTime }} · loaded from {{ chainSrc }}
live head: {{ rpcSrc }} block (finality: final), polled every 6 s

{{ totVol }}

24 h volume across the top {{ totTop }} pools

{{ totTop }}

Top pools by 24 h volume, first {{ topShown }} of {{ totTop }}

{{ p.dL.mono }} {{ p.dex }} vol 24 h{{ p.vol }} reserve{{ p.res }} txns 24 h{{ p.tx }}

source: {{ srcPools }} · {{ srcLogos }} · read at block {{ snapBlock }} ({{ snapTime }})

Newest pools, first {{ newShown }} of {{ totNew }}

{{ p.dL.mono }} {{ p.dex }} vol 24 h{{ p.vol }} reserve{{ p.res }} created{{ p.created }}

source: {{ srcNew }} · {{ srcLogos }} · read at block {{ snapBlock }} ({{ snapTime }})

Return the case to its starting state: 31 stamped, 17 blank. Pressings and drafts made in this browser are removed.