Status

Generated by contextful-spec state from spec/pins.toml and // spec: tags; not authored. An unpinned clause is committed; a pinned one is performed when its Rust, Lean or native TypeScript test qualifies and matches its tag’s rev, else broken. A performed clause is proved when a theorem its inventory row binds to one of its tests performs beside that test. Each pinned clause’s sites, verdict and proof sit under pins in spec/spec.lock.json.

Contract	Files	Operations	Clauses	Error cases	Limits	Unsettled	Performed	Proved	Floor
`assurance`	4	19	358	80	25	4	358	1	358
`authority`	2	16	291	79	28	8	291	4	291
`connector`	3	19	378	86	24	12	351	2	351
`corpus`	1	11	126	51	13	0	126	0	126
`disclosure`	3	17	212	65	14	6	205	0	205
`read`	2	21	317	54	32	14	317	0	317
`run`	3	31	641	141	52	15	641	4	641
`store`	9	21	385	72	26	13	385	13	385
`surface`	2	22	210	72	25	2	207	0	207
`topology`	1	6	92	26	8	3	92	0	92
total	30	183	3010	726	247	77	2973	24

Decision records: 18.

Clauses restating a code type: 14.

Milestones

A milestone reads closed when its acceptance test computes passing and every operation it names holds a performed clause.

Milestone	Operations	Clauses	Performed	Acceptance	Closed
0 — The test-first gate	2	22	22	passing	closed
1 — The authority core	14	260	260	passing	closed
2 — The store	9	195	195	passing	closed
3 — The run path	12	294	294	passing	closed
4 — Ingest	25	594	594	passing	closed
5 — The read face under enforcement	17	306	306	passing	closed
6 — Sync and replicas	10	176	176	passing	closed
7 — Memory	6	88	88	passing	closed
8 — Accountability	5	115	115	passing	closed
9 — Visibility	6	49	49	passing	closed
10 — Cadence and the operator plane	11	122	122	passing	closed
11 — The derive tier	7	112	112	passing	closed
12 — The operator console	12	75	75	passing	closed
13 — Disclosure	5	42	41	passing	closed
14 — Assurance	7	175	175	passing	closed
15 — Point-in-time evaluation	7	67	67	passing	closed
16 — Memory graph walk	1	14	14	passing	closed
17 — Delegated bodies	1	15	15	passing	closed
18 — Provider orchestrators	1	8	8	passing	closed
19 — Drive connections	2	22	13	open	open
20 — Drive permission custody	2	11	2	open	open
21 — Sheet rows	1	8	0	absent	open
22 — Drive change cursor	1	6	0	absent	open
23 — Workspace delegation	1	4	0	absent	open
24 — Iceberg export	1	30	30	passing	closed
25 — Scoped callback guards	1	16	16	passing	closed

Unscheduled operations: 16.