fix(repo,stella-pipeline,stella-protocol): unbreak main — file-size skew, a dead binding, and a broken doc link

crates/stella-pipeline/src/pipeline/tests/verification_hardening.rs

@@ -7,14 +7,16 @@
 use super::*;
 use crate::LineMutation;
 
-/// Both arming paths of the mid-turn flip halt (#1793), and the two doubles
-/// they share. A child rather than a sibling module so it still reaches this
-/// file's scripted ports through `use super::*`, and so the already-oversized
-/// `tests.rs` does not grow another module declaration.
+/// The mid-turn flip halt's arming witnesses (#1793) — a child rather than a
+/// sibling module so it reaches this file's shared fakes through `use super::*`,
+/// and so the already-oversized `tests.rs` does not grow another module
+/// declaration.
 ///
-/// The doubles live in the child with their only users, not here: when they
-/// sat in this file, a wholesale rewrite of it took them and the
-/// configured-command witness with them, and no gate objected (#1997).
+/// Its two *shell* doubles are deliberately not shared from here. They live
+/// beside the witnesses that use them, so a wholesale rewrite of this file
+/// collides with them instead of silently deleting the tests underneath — the
+/// clobber that cost a #1793 witness once already (#1971, #1997). That file's
+/// own module doc is the normative statement of the rule.
 mod flip_halt_arming;
 
 /// #860 acceptance: a baseline that TIMES OUT observed no failing assertion,

crates/stella-protocol/src/event.rs

@@ -78,6 +78,7 @@
 use serde::{Deserialize, Deserializer, Serialize, Serializer};
 use serde_json::Value;
 
+use crate::compaction_rewrite::CompactionRewrite;
 use crate::context_event::CompiledContextFrameBuilt;
 // The ladder's own wire vocabulary lives in `crate::ladder`; a verdict event
 // carries it, and `ProofStep::Oracle` names the tree an observation ran
@@ -546,7 +547,7 @@ pub enum AgentEvent {
         /// `serde(default)` — absent on journals written before rewrites were
         /// journaled, whose compacted blocks surface as digest mismatches.
         #[serde(default, skip_serializing_if = "Vec::is_empty")]
-        rewrites: Vec<crate::CompactionRewrite>,
+        rewrites: Vec<CompactionRewrite>,
         /// The budget this pass actually compared against — the raw compaction
         /// budget divided by the model's calibration factor — and that factor.
         /// The event's `before/after_tokens` are raw estimates; these are the