docs: add invariants.md and engines.md - #975

Merged

aparajon merged 62 commits into

mainfrom

armand/invariants-doc

Sep 5, 2026

Commits on Sep 3, 2026

docs: add invariants.md, the runtime safety invariant registry

aparajon
and
claude
committed
bed74d3
docs: modernize the runtime invariant registry and wire it into review
aparajon
committed
9560f35
docs: lead with outage behavior, and correct five inaccurate invariants
aparajon
committed
f6642b3
docs: state the engine and dialect support boundary in invariants.md
aparajon
committed
5a17595
docs(invariants): define GA in terms of the registry, and state its limits

aparajon
and
claude
committed
761e741
docs(invariants): define the vocabulary before the first use of each term

aparajon
and
claude
committed
94256bc
docs(invariants): lead PostgreSQL's GA gap with the missing copy-and-swap

aparajon
and
claude
committed
c3ce28e
docs(invariants): scope the PostgreSQL control gap to stop, cancel, start, and cutover

aparajon
and
claude
committed
f3846d9
docs(invariants): define the maturity levels without pinning the assignment

aparajon
and
claude
committed
afc367b
docs(invariants): state AV-8 as the rendering boundary it actually is

aparajon
and
claude
committed
4f08c97
docs(invariants): carry file paths on every Enforced line

aparajon
and
claude
committed
af6dc7f
docs(invariants): name both empty-sanitization dispositions in AV-8

aparajon
and
claude
committed
6239688
docs(invariants): require moved enforcement to move its citation

aparajon
and
claude
committed
f50f454
docs(invariants): credit engine throttling in the impact caveat

aparajon
and
claude
committed
79534ec
docs(engines): add an engine capability matrix

aparajon
and
claude
committed
75ec71e
docs(engines): correct the capability matrix

aparajon
and
claude
committed
b49c5c3
docs(engines): name Vitess Online DDL as what a deploy request runs on

aparajon
and
claude
committed
68adae0
docs(readme): point at the engine capability matrix

aparajon
and
claude
committed
cd72d46
docs(engines): stop calling the fast path in-place DDL

aparajon
and
claude
committed
0812198
docs(engines): say what each control operation is for

aparajon
and
claude
committed
d4741df
docs(engines): add direct execution, fix the cutover rows

aparajon
and
claude
committed
87f2c7c
docs(engines): correct the PostgreSQL column

aparajon
and
claude
committed
fce990e
docs(engines): correct why a revert window exists

aparajon
and
claude
committed
0d125b6
docs(engines): readability pass over the prose

aparajon
and
claude
committed
a5a740d
docs(engines): call the throttling row throttling

aparajon
and
claude
committed
3f367d6
docs(engines): link PlanetScale's throttling docs

aparajon
and
claude
committed
743f55b
docs(invariants): clarify AV-2 by naming the two databases
aparajon
committed
81a70cd
docs(invariants): define stored check state, clarify MG-11, cover supersession in ST-1
aparajon
committed
b1a87d4
docs(invariants): rewrite OW-3 and OW-4 without fencing jargon
aparajon
committed
4213b82
docs: correct PlanetScale stop/start capability, clarify CO-8 and CO-10
aparajon
committed
4b7536c

Commits on Sep 4, 2026

Commits on Sep 5, 2026