lin-0090

6.8 The six-stage database workflow

Stage

Infinitesimal database action

Failure retained

Declare

choose schema, semantic tangent category, constraints, registered fields, quotient, and query language

underspecified tangent or causal type

Differentiate

construct \(T_{\mathcal S}I\), fields, transport witnesses, and brackets

tangent, naturality, or bracket residual

Quotient

remove gauge, frame, nuisance, and decision-null directions

normal obstruction class with quotient provenance

Localize

index the witness by context, source, table, migration, field pair, and chart

cover on which the failure persists

Repair

add a generator, revise a protocol, refine a schema, transport a frame, or change an estimator

typed repair ticket and invariants

Admit

test held-out regimes, intervention semantics, migration stability, and finite effects

acceptance, rejection, quarantine, or abstention