Default Values

Honest by Construction

Expected DEFAULT facts are assertions only.

highlighted = computed this step

Honest by construction

Expected DEFAULT facts are assertions only.

compiler is source of truth\text{compiler is source of truth}

Render checked facts

The guarded request applies 3 defaults and is accepted.

defaults=3\text{defaults}=3

DEFAULT examples are tiny finite insert checks; SQL dialect completeness, generated defaults, identity columns, triggers, constraints beyond visible NOT NULL, indexes, transactions, performance, and product behavior are out of scope.

Honest by construction: base rowsidnamestatusnotescore1Adaactiveseed102BennewNULL0 Schema defaultscolumnnotNulldefaultidyesNO_DEFAULTnameyesNO_DEFAULTstatusyesnewnotenononescoreyes0 Candidate resolutioncolumnsupplieddefaultresultsourcestatusreasonidyesNO_DEFAULT3explicitokoknameyesNO_DEFAULTCyexplicitokokstatusnonewnewdefaultokoknotenononenonedefaultokokscoreno00defaultokok Candidate checkfieldvaluedecisionacceptedresolvedRow(3, Cy, new, none, 0)reasons()insertedRowIndex2 Rows after candidateidnamestatusnotescore1Adaactiveseed102BennewNULL03Cynewnone0 DEFAULT factsfactvaluebaseRowCount2schemaColumnCount5defaultColumnCount3suppliedColumnCount2omittedColumnCount3appliedDefaultCount3explicitValueCount2explicitNullCount0rejectedReasonCount0candidateDecisionacceptedfinalRowCount3explicitNullInvokesDefaultno_toy_rule

Try to tamper

Wrong expected facts, derived sidecars, duplicate schema columns, unknown candidate columns, bad NOT NULL flags, NULL defaults for NOT NULL, table/schema mismatches, bools, and floats fail closed.

tamper rejected\text{tamper rejected}

Summary

This book shows exact finite insert-time DEFAULT behavior only.

scoped DEFAULT model\text{scoped DEFAULT model}