chore: delete the manual rebuild engine and the generic repair product - #4698

Merged

Sinity merged 19 commits into

masterfrom

lane/repair-engine-delete

Sep 6, 2026

Commits on Sep 5, 2026

chore: delete the manual rebuild engine and the daemon bulk-rebuild route

Sinity
and
claude
committed
f81bdd5
chore: delete the generic repair product; raw convergence keeps one owner

Sinity
and
claude
committed
01041be
chore: retire the storage/index FTS shim and rewrite maintenance docs for the sole route

Sinity
and
claude
committed
bdb4458
chore: delete the declared-not-routed candidate-build operation contract

Sinity
and
claude
committed
93570e8
wip: checkpoint of interrupted lane repair-engine-delete

Sinity
and
claude
committed
5a6eed0
test: retarget surviving proofs at their new owners

Sinity
and
claude
committed
7b19c4b
Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete
Sinity
committed
a1ac09e
chore: close the retired surfaces after the master merge

Sinity
and
claude
committed
0bd70ef
test: drop the proofs the deleted engines owned

Sinity
and
claude
committed
e1f820f
Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete
Sinity
committed
bde2e4e
test: resolve the maintenance Literal and drop the retired failure count

Sinity
and
claude
committed
84adc4e
Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete
Sinity
committed
253f99c
Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete
Sinity
committed
d603062
Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete
Sinity
committed
acf07df
test: point the daemon proofs at converge_materialization

Sinity
and
claude
committed
f09887f
test: resolve a real config behind the daemon config seam

Sinity
and
claude
committed
b645eaf
docs: name the surviving materialization entry point

Sinity
and
claude
committed
1a33b6b
Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete
Sinity
committed
5ddcbed

Commits on Sep 6, 2026

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete
Sinity
committed
c576801

Navigation Menu

chore: delete the manual rebuild engine and the generic repair product - #4698

chore: delete the manual rebuild engine and the generic repair product#4698
Sinity merged 19 commits into
masterfrom
lane/repair-engine-delete

Commits on Sep 5, 2026

chore: delete the manual rebuild engine and the daemon bulk-rebuild route

chore: delete the generic repair product; raw convergence keeps one owner

chore: retire the storage/index FTS shim and rewrite maintenance docs for the sole route

chore: delete the declared-not-routed candidate-build operation contract

wip: checkpoint of interrupted lane repair-engine-delete

test: retarget surviving proofs at their new owners

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete

chore: close the retired surfaces after the master merge

test: drop the proofs the deleted engines owned

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete

test: resolve the maintenance Literal and drop the retired failure count

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete

test: point the daemon proofs at converge_materialization

test: resolve a real config behind the daemon config seam

docs: name the surviving materialization entry point

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete

Commits on Sep 6, 2026

Merge remote-tracking branch 'origin/master' into lane/repair-engine-delete