style(incremental): shorten comment runs to the cap (improvise-t8ow)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VdfEGXA7aJ6ftMsCc9PJze

crates/improvise-incremental/src/harness.rs

@@ -65,9 +65,8 @@ pub fn same_value(a: &Option<CellValue>, b: &Option<CellValue>) -> bool {
     }
 }
 
-/// Every question worth asking of `model`: each stored key, each partial of
-/// one and each formula cell over them, under both aggregations; and the raw
-/// fold of every partial.
+/// Every question worth asking of `model` (see the doc): stored keys,
+/// their partials and formula cells, both aggregations, and raw folds.
 pub fn probes(model: &Model) -> Vec<Probe> {
     let stored: Vec<CellKey> = model.data.iter_cells().map(|(k, _)| k).collect();
     let partials: Vec<CellKey> = stored
@@ -133,9 +132,8 @@ fn compare(
     Ok(asked.len())
 }
 
-/// Applies `edits` to `candidate` and to an `Eager` over `model`, and
-/// compares every probe at step 0 and after each edit. `candidate` must have
-/// been built from `model`, with the same `none_cats`.
+/// Runs `edits` on `candidate` and on `Eager`, comparing every probe at each
+/// step. `candidate` is built from `model` with the same `none_cats`.
 pub fn differential<C: Maintained>(
     model: &Model,
     none_cats: &[String],

crates/improvise-incremental/tests/oracle.rs

@@ -1,5 +1,4 @@
-//! `Eager` against the evaluator and against hand-computed answers, and the
-//! differential harness against backends that are wrong on purpose.
+//! `Eager` against the evaluator, and the harness against wrong backends.
 //! Evidence: `context/test-evidence/improvise-incremental.md`.
 
 use improvise_core::formula::ast::AggFunc;