diff --git a/dfir_lang/src/graph/graph_write.rs b/dfir_lang/src/graph/graph_write.rs
index f6ace1294b24..4e0d76469bb3 100644
--- a/dfir_lang/src/graph/graph_write.rs
+++ b/dfir_lang/src/graph/graph_write.rs
@@ -180,10 +180,10 @@ where
"{b:i$}{src}{arrow_body}{arrow_head}{label}{dst}",
src = src_str.trim(),
arrow_body = "--",
- arrow_head = match delay_type {
- None | Some(DelayType::MonotoneAccum) => ">",
- Some(DelayType::Stratum) => "x",
- Some(DelayType::Tick | DelayType::TickLazy) => "o",
+ arrow_head = if let Some(DelayType::Tick | DelayType::TickLazy) = delay_type {
+ "o"
+ } else {
+ ">"
},
label = if let Some(label) = &label {
Cow::Owned(format!("|{}|", escape_mermaid(label.trim())))
@@ -194,16 +194,8 @@ where
b = "",
i = self.indent,
)?;
- if let Some(delay_type) = delay_type {
- write!(
- self.write,
- "; linkStyle {} stroke:{}",
- self.link_count,
- match delay_type {
- DelayType::Stratum | DelayType::Tick | DelayType::TickLazy => "red",
- DelayType::MonotoneAccum => "#060",
- }
- )?;
+ if let Some(DelayType::Tick | DelayType::TickLazy) = delay_type {
+ write!(self.write, "; linkStyle {} stroke:red", self.link_count)?;
}
writeln!(self.write)?;
self.link_count += 1;
diff --git a/dfir_lang/src/graph/meta_graph.rs b/dfir_lang/src/graph/meta_graph.rs
index e75f97c1d65b..cc16bf466bee 100644
--- a/dfir_lang/src/graph/meta_graph.rs
+++ b/dfir_lang/src/graph/meta_graph.rs
@@ -1980,9 +1980,8 @@ impl DfirGraph {
let Some(resolved_src) = resolved_src else {
continue;
};
- let delay_type = Some(DelayType::Stratum);
let label = None;
- graph_write.write_edge(resolved_src, dst_id, delay_type, label, true)?;
+ graph_write.write_edge(resolved_src, dst_id, None, label, true)?;
}
}
}
diff --git a/dfir_lang/src/graph/ops/mod.rs b/dfir_lang/src/graph/ops/mod.rs
index 47479366c43a..5da11a3e0355 100644
--- a/dfir_lang/src/graph/ops/mod.rs
+++ b/dfir_lang/src/graph/ops/mod.rs
@@ -23,10 +23,6 @@ use crate::parse::{Operator, PortIndex};
/// The delay (soft barrier) type, for each input to an operator if needed.
#[derive(Clone, Copy, PartialOrd, Ord, PartialEq, Eq, Debug, Serialize, Deserialize)]
pub enum DelayType {
- /// Input must be collected over the preceding stratum.
- Stratum,
- /// Monotone accumulation: can delay to reduce flow rate, but also correct to emit "early"
- MonotoneAccum,
/// Input must be collected over the previous tick.
Tick,
/// Input must be collected over the previous tick but also not cause a new tick to occur.
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_dot.snap
index 19126d8bb702..b57db5031d19 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_dot.snap
@@ -15,7 +15,7 @@ digraph {
n2v1 -> n3v1
n5v1 -> n6v1
n4v1 -> n5v1
- n2v1 -> n5v1 [color=red]
+ n2v1 -> n5v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_mermaid.snap
index 2670dac519f7..cdaa60b654a7 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference@graphvis_mermaid.snap
@@ -18,7 +18,7 @@ linkStyle default stroke:#aaa
2v1-->3v1
5v1-->6v1
4v1-->5v1
-2v1--x5v1; linkStyle 4 stroke:red
+2v1-->5v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_my_val ["var my_val"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_dot.snap
index ae172494c53c..279f57644fe9 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_dot.snap
@@ -13,7 +13,7 @@ digraph {
n1v1 -> n3v1
n5v1 -> n6v1
n4v1 -> n5v1
- n1v1 -> n5v1 [color=red]
+ n1v1 -> n5v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_mermaid.snap
index c7c9a7f849e6..dfacd7671bb8 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_no_handoffs@graphvis_mermaid.snap
@@ -16,7 +16,7 @@ linkStyle default stroke:#aaa
1v1-->3v1
5v1-->6v1
4v1-->5v1
-1v1--x5v1; linkStyle 3 stroke:red
+1v1-->5v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_my_val ["var my_val"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_dot.snap
index 7f28a649c59b..ca6bbd161756 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_dot.snap
@@ -13,7 +13,7 @@ digraph {
n1v1 -> n2v1
n4v1 -> n5v1
n3v1 -> n4v1
- n2v1 -> n4v1 [color=red]
+ n2v1 -> n4v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_mermaid.snap
index 7d454cba02f9..7cb78ff6d318 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only@graphvis_mermaid.snap
@@ -16,7 +16,7 @@ linkStyle default stroke:#aaa
1v1-->2v1
4v1-->5v1
3v1-->4v1
-2v1--x4v1; linkStyle 3 stroke:red
+2v1-->4v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_my_val ["var my_val"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_dot.snap
index 88cd4b501b0b..f745c2346424 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_dot.snap
@@ -11,7 +11,7 @@ digraph {
n5v1 [label="(n5v1) for_each(|v: i32| out.push(v))", shape=house, fillcolor="#ffff88"]
n4v1 -> n5v1
n3v1 -> n4v1
- n1v1 -> n4v1 [color=red]
+ n1v1 -> n4v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_mermaid.snap
index b9d2d8940820..a8afa9e42e25 100644
--- a/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_handoff__singleton_reference_only_no_handoffs@graphvis_mermaid.snap
@@ -14,7 +14,7 @@ linkStyle default stroke:#aaa
5v1[/"(5v1) for_each(|v: i32| out.push(v))"\]:::pushClass
4v1-->5v1
3v1-->4v1
-1v1--x4v1; linkStyle 2 stroke:red
+1v1-->4v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_my_val ["var my_val"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_dot.snap
index 03cc54f170e3..33cea49618d8 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_dot.snap
@@ -28,8 +28,8 @@ digraph {
n9v1 -> n10v1
n11v1 -> n9v1 [label="0"]
n12v1 -> n9v1 [label="1"]
- n7v1 -> n9v1 [color=red]
- n8v1 -> n9v1 [color=red]
+ n7v1 -> n9v1
+ n8v1 -> n9v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_mermaid.snap
index 1d5964590593..e1d1ca347558 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product@graphvis_mermaid.snap
@@ -31,8 +31,8 @@ linkStyle default stroke:#aaa
9v1-->10v1
11v1-->|0|9v1
12v1-->|1|9v1
-7v1--x9v1; linkStyle 11 stroke:red
-8v1--x9v1; linkStyle 12 stroke:red
+7v1-->9v1
+8v1-->9v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_lhs_op ["var lhs_op"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_dot.snap
index dec1ac4532b6..fffd5a0c42af 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_dot.snap
@@ -28,8 +28,8 @@ digraph {
n9v1 -> n10v1
n11v1 -> n9v1 [label="0"]
n12v1 -> n9v1 [label="1"]
- n7v1 -> n9v1 [color=red]
- n8v1 -> n9v1 [color=red]
+ n7v1 -> n9v1
+ n8v1 -> n9v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_mermaid.snap
index 821ac08b147d..78c2b4a06e84 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_1401@graphvis_mermaid.snap
@@ -31,8 +31,8 @@ linkStyle default stroke:#aaa
9v1-->10v1
11v1-->|0|9v1
12v1-->|1|9v1
-7v1--x9v1; linkStyle 11 stroke:red
-8v1--x9v1; linkStyle 12 stroke:red
+7v1-->9v1
+8v1-->9v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_lhs_op ["var lhs_op"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_dot.snap
index d2f8f8594257..6348310a74ad 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_dot.snap
@@ -30,8 +30,8 @@ digraph {
n9v1 -> n10v1
n12v1 -> n9v1 [label="0"]
n13v1 -> n9v1 [label="1"]
- n7v1 -> n9v1 [color=red]
- n8v1 -> n9v1 [color=red]
+ n7v1 -> n9v1
+ n8v1 -> n9v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_mermaid.snap
index 706042dd0794..2fd9dd0962f4 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__cartesian_product_tick_state@graphvis_mermaid.snap
@@ -33,8 +33,8 @@ linkStyle default stroke:#aaa
9v1-->10v1
12v1-->|0|9v1
13v1-->|1|9v1
-7v1--x9v1; linkStyle 12 stroke:red
-8v1--x9v1; linkStyle 13 stroke:red
+7v1-->9v1
+8v1-->9v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_lhs_op ["var lhs_op"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_dot.snap
index 7cbbd1cd9ae8..3679b76e3b5d 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_dot.snap
@@ -28,8 +28,8 @@ digraph {
n9v1 -> n10v1
n11v1 -> n9v1 [label="0"]
n12v1 -> n9v1 [label="1"]
- n7v1 -> n9v1 [color=red]
- n8v1 -> n9v1 [color=red]
+ n7v1 -> n9v1
+ n8v1 -> n9v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_mermaid.snap
index 563aec1cbce3..13d69dad115a 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism__join@graphvis_mermaid.snap
@@ -31,8 +31,8 @@ linkStyle default stroke:#aaa
9v1-->10v1
11v1-->|0|9v1
12v1-->|1|9v1
-7v1--x9v1; linkStyle 11 stroke:red
-8v1--x9v1; linkStyle 12 stroke:red
+7v1-->9v1
+8v1-->9v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_lhs_op ["var lhs_op"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_dot.snap
index 2f014132790e..1f3fab656135 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_dot.snap
@@ -30,8 +30,8 @@ digraph {
n9v1 -> n10v1
n12v1 -> n9v1 [label="0"]
n13v1 -> n9v1 [label="1"]
- n7v1 -> n9v1 [color=red]
- n8v1 -> n9v1 [color=red]
+ n7v1 -> n9v1
+ n8v1 -> n9v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_mermaid.snap
index 1dc9e5cab328..10792d9144fd 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_mermaid.snap
@@ -33,8 +33,8 @@ linkStyle default stroke:#aaa
9v1-->10v1
12v1-->|0|9v1
13v1-->|1|9v1
-7v1--x9v1; linkStyle 12 stroke:red
-8v1--x9v1; linkStyle 13 stroke:red
+7v1-->9v1
+8v1-->9v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_lhs_op ["var lhs_op"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_dot.snap
index d5ccea7c8215..28db86dc40c6 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_dot.snap
@@ -32,8 +32,8 @@ digraph {
n10v1 -> n11v1
n13v1 -> n10v1 [label="0"]
n14v1 -> n10v1 [label="1"]
- n8v1 -> n10v1 [color=red]
- n9v1 -> n10v1 [color=red]
+ n8v1 -> n10v1
+ n9v1 -> n10v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_mermaid.snap
index 3012332e1f83..d0fc289d6e30 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_mermaid.snap
@@ -35,8 +35,8 @@ linkStyle default stroke:#aaa
10v1-->11v1
13v1-->|0|10v1
14v1-->|1|10v1
-8v1--x10v1; linkStyle 13 stroke:red
-9v1--x10v1; linkStyle 14 stroke:red
+8v1-->10v1
+9v1-->10v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_lhs_op ["var lhs_op"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_dot.snap
index 1734e5df6233..388a38a09dd8 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_dot.snap
@@ -34,8 +34,8 @@ digraph {
n11v1 -> n12v1
n14v1 -> n11v1 [label="0"]
n15v1 -> n11v1 [label="1"]
- n9v1 -> n11v1 [color=red]
- n10v1 -> n11v1 [color=red]
+ n9v1 -> n11v1
+ n10v1 -> n11v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_mermaid.snap
index 423418160ee4..cbf0fb7f219d 100644
--- a/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_mermaid.snap
@@ -37,8 +37,8 @@ linkStyle default stroke:#aaa
11v1-->12v1
14v1-->|0|11v1
15v1-->|1|11v1
-9v1--x11v1; linkStyle 14 stroke:red
-10v1--x11v1; linkStyle 15 stroke:red
+9v1-->11v1
+10v1-->11v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_lhs_op ["var lhs_op"]
1v1
diff --git a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_dot.snap
index 0c0c2057d2e0..719c845ca878 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_dot.snap
@@ -21,7 +21,7 @@ digraph {
n1v1 -> n5v1
n8v1 -> n9v1
n4v1 -> n8v1
- n4v1 -> n5v1 [color=red]
+ n4v1 -> n5v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_mermaid.snap
index b72d58d0f4b3..bf9ac37570e3 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton@graphvis_mermaid.snap
@@ -24,7 +24,7 @@ linkStyle default stroke:#aaa
1v1-->5v1
8v1-->9v1
4v1-->8v1
-4v1--x5v1; linkStyle 7 stroke:red
+4v1-->5v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_max_of_stream2 ["var max_of_stream2"]
3v1
diff --git a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_dot.snap
index 2062b8960419..77a2774f6358 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_dot.snap
@@ -19,7 +19,7 @@ digraph {
n6v1 -> n7v1
n5v1 -> n6v1
n1v1 -> n5v1
- n4v1 -> n6v1 [color=red]
+ n4v1 -> n6v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_mermaid.snap
index 563778f055dc..f0dee352ba6c 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__fold_singleton_push@graphvis_mermaid.snap
@@ -22,7 +22,7 @@ linkStyle default stroke:#aaa
6v1-->7v1
5v1-->6v1
1v1-->5v1
-4v1--x6v1; linkStyle 6 stroke:red
+4v1-->6v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_max_of_stream2 ["var max_of_stream2"]
3v1
diff --git a/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_dot.snap
index 31e047a3fa92..faf37ec69f01 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_dot.snap
@@ -23,7 +23,7 @@ digraph {
n1v1 -> n6v1
n9v1 -> n10v1
n4v1 -> n9v1 [label="items"]
- n5v1 -> n6v1 [color=red]
+ n5v1 -> n6v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_mermaid.snap
index f18bc7e7a035..e0259a1436a8 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__multi_tick@graphvis_mermaid.snap
@@ -26,7 +26,7 @@ linkStyle default stroke:#aaa
1v1-->6v1
9v1-->10v1
4v1-->|items|9v1
-5v1--x6v1; linkStyle 8 stroke:red
+5v1-->6v1
subgraph sg_1v1 ["sg_1v1"]
9v1
10v1
diff --git a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_dot.snap
index b09eca51f339..b5c59ba5cdd7 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_dot.snap
@@ -23,7 +23,7 @@ digraph {
n1v1 -> n5v1
n9v1 -> n10v1
n4v1 -> n9v1
- n4v1 -> n6v1 [color=red]
+ n4v1 -> n6v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_mermaid.snap
index 5f90288f9952..dc507b7879eb 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton@graphvis_mermaid.snap
@@ -26,7 +26,7 @@ linkStyle default stroke:#aaa
1v1-->5v1
9v1-->10v1
4v1-->9v1
-4v1--x6v1; linkStyle 8 stroke:red
+4v1-->6v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_max_of_stream2 ["var max_of_stream2"]
3v1
diff --git a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_dot.snap
index 2b6476459236..9e27d5bb1a60 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_dot.snap
@@ -19,7 +19,7 @@ digraph {
n6v1 -> n7v1
n5v1 -> n6v1
n1v1 -> n5v1
- n4v1 -> n6v1 [color=red]
+ n4v1 -> n6v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_mermaid.snap
index 32d23e3b94dd..c4b57e6e8324 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__reduce_singleton_push@graphvis_mermaid.snap
@@ -22,7 +22,7 @@ linkStyle default stroke:#aaa
6v1-->7v1
5v1-->6v1
1v1-->5v1
-4v1--x6v1; linkStyle 6 stroke:red
+4v1-->6v1
subgraph sg_1v1 ["sg_1v1"]
subgraph sg_1v1_var_max_of_stream2 ["var max_of_stream2"]
3v1
diff --git a/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_dot.snap b/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_dot.snap
index bd01d8698143..7f83be3b47cc 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_dot.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_dot.snap
@@ -25,7 +25,7 @@ digraph {
n1v1 -> n6v1
n10v1 -> n11v1
n4v1 -> n10v1 [label="items"]
- n5v1 -> n7v1 [color=red]
+ n5v1 -> n7v1
subgraph sg_1v1 {
cluster=true
fillcolor="#dddddd"
diff --git a/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_mermaid.snap b/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_mermaid.snap
index 3c739be35ca7..e1aec545fd3a 100644
--- a/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_mermaid.snap
+++ b/dfir_rs/tests/snapshots/surface_singleton__state@graphvis_mermaid.snap
@@ -28,7 +28,7 @@ linkStyle default stroke:#aaa
1v1-->6v1
10v1-->11v1
4v1-->|items|10v1
-5v1--x7v1; linkStyle 9 stroke:red
+5v1-->7v1
subgraph sg_1v1 ["sg_1v1"]
10v1
11v1
diff --git a/docs/docs/dfir/concepts/stratification.md b/docs/docs/dfir/concepts/stratification.md
index b59951ab9120..bc68f4e38601 100644
--- a/docs/docs/dfir/concepts/stratification.md
+++ b/docs/docs/dfir/concepts/stratification.md
@@ -5,7 +5,7 @@ sidebar_position: 3
# Streaming, Blocking and Stratification
:::warning
-TODO(inline): Stratification is a concept from the scheduled DFIR execution model. The inline codegen path does not use strata — it runs subgraphs in topological order. This page is out of date.
+TODO(mingwei): Stratification is a concept from the scheduled DFIR execution model. The inline codegen path does not use strata — it runs subgraphs in topological order. This page is out of date.
:::
Many DFIR operators (e.g. `map`, `filter` and `join`) work in a streaming fashion. Streaming operators process data as it arrives, generating outputs in the midst of processing inputs. If you restrict yourself to operators that work in this streaming fashion, then your process may start sending data across the network mid-tick, even while it is still consuming the data in the input batch.
@@ -21,7 +21,7 @@ source_stream(inbound) -> sort() -> for_each(|x| println!("{:?}", x));
The runtime determines arbitrarily what batch of data is taken from the channel and fed into the `source_stream_serde` operator for this tick. The sort operator will need to know that the `source_stream_serde` operator has no more data to send this tick, so that it can sort the data that got buffered and then send the sorted data to the `for_each` operator, which prints it to stdout. To do this, the runtime provides a mechanism for the `source_stream_serde` operator to buffer its output and notify the `sort` operator that it has no more data to send. This is called a *handoff*.
You can see the mermaid graph for the statement above just below this paragraph. Notice the two outer rectangles and the handoff between them. Each rectangle is a subflow that is
-assigned a *stratum* number. ("Stratum" is latin for "layer"; the plural of "stratum" is "strata".)
+assigned a *stratum* number. ("Stratum" is latin for "layer"; the plural of "stratum" is "strata".)
```mermaid
%%{init: {'theme': 'base', 'themeVariables': {'clusterBkg':'#ddd'}}}%%