proof / ledger · /proof

code-forge is built with code-forge.

These are real numbers from the ledger. Your work will have its own cost and time.

01 LEDGER RECORD

The tool (ledger, 2026-11-06)

28 runs · 179 blocks closed · $576.77 recorded spend

RECORDED RUNS

28 runs

VERIFIED BLOCKS

179 blocks closed

RECORDED SPEND

$576.77 recorded spend

OVERNIGHT BATCH

One overnight run: 3 blocks, 1h 18m 46s, $11.92

SINGLE BLOCK

A small run: 1 block, 13m 19s, $1.72

Report lines, shortened:

2026-10-20

RUN SUMMARY LINE 3 CLOSED · 1 STOPPED

r-20261020-055623-e76b74 | 1h 18m 46s | $11.9205 | 3 closed | 1 stopped

▲ STOPPED BLOCK RECORDED OUTCOME PRESERVED IN LEDGER

B147 | $3.2928 | 39m 11s | stopped

Why "stopped" matters: cost, time and outcome are recorded even when a block stops.

02 BLOCK REVIEW

REVIEW FINDING WARNING → FIXED

"The evidence pattern blocks a drive path only as a prefix, so ./C:/Windows still validates."

Severity: warning. A re-check found it still open, an L3 patch closed it, and the patch check approved the file.

03 BLOCK GATES

GATE VERIFICATION PROVEN

test pass 3544, fail 0 · types ok · lint skipped · format skipped

04 SITE BUILD LEDGER

6 blocks closed · $25.18 recorded

This website (report, 2026-11-06)
Block	Work	Recorded cost	Status
D1	Design choice and approval	$0.00	closed
S1	Project scaffold	$3.59	closed
S2	Home page build	$6.15	closed
S2R	Fixes to the exact-copy check and to the home page	$14.72	closed
S2F	Test fixes	$0.26	closed
S3	Web checks that handle a busy machine	$0.46	closed
Total so far		$25.18

05 METHODOLOGY & LIMITS

Cost is estimated from real tokens per session.
Coder cost is not recorded in these figures, for the tool or for this website. They are review and facts cost.
We do not quote a saving. There is no calibrated baseline yet.

OPEN-SOURCE REPOSITORY