Table Writes

Honest by Construction

Expected write facts are assertions only; compiler output is the source of truth.

highlighted = computed this step

Honest by construction

Each lesson compiles raw rows and writes, turns recomputed facts into expected assertions, then compiles again.

expected is assertion only\text{expected is assertion only}

Show the guarded writes

The guarded request has 2 writes and applies 2.

writes=2\text{writes}=2

Write examples are tiny finite row modifications; SQL dialects, transactions, constraints beyond the visible key, triggers, indexes, concurrency, performance, and product behavior are out of scope.

Guarded write facts: base tableidnamepoints1Ada102Ben203Cy15 writes in orderstepkindkeydetail0insert4[4, Dee, 12]1update2{points:25} write resultsstepkindkeystatusreasonbeforeafter0insert4appliedok341update2appliedok44 final tableidnamepoints1Ada102Ben253Cy154Dee12 write factsfactvaluebaseRowCount3writeCount2appliedCount2rejectedCount0finalRowCount4keyColumnidrowOrderkey

Try to tamper

Wrong expected facts, derived sidecars, duplicate base keys, missing key columns, key-column updates, bad row lengths, bools, and floats fail closed.

fail closed before render\text{fail closed before render}

Summary

Book twenty-four stays inside finite keyed table writes.

recomputed write facts\text{recomputed write facts}