refactor(stage1-pass2): rollup from the finest common group, readout requirements, dead-candidate elimination, chain groups (#1207 PR 4)

crates/accuracy/Cargo.toml

@@ -3,11 +3,11 @@ name = "asap-accuracy"
 version = "0.1.0"
 edition = "2021"
 
-# The accuracy model shared by the planning stages: per-family estimators,
-# guarantee composition and propagation through a DAG, sizing, budget
-# split, the target check and the
-# deployment's accuracy model and evidence traits. Depends only on
-# `asap-types`, never on a stage crate, so every stage can use it.
+# The accuracy rules shared by the planning stages: per-algorithm
+# guarantees (the theoretical guarantee of θ), the target check, the
+# deployment's measured accuracy, each operator's error contract and α^log
+# of a logical edge. Depends only on `asap-types`, never on a stage crate,
+# so every stage can use it.
 [dependencies]
 asap_sketchlib = { workspace = true }
 asap-types = { path = "../types" }