refactor(dfir_lang): remove stratum, add push codegen for lattice_fold, lattice_reduce, _lattice_fold_batch

[MingweiSamuel]

No description provided.

[cloudflare-workers-and-pages]

Deploying hydro with    Cloudflare Pages

Latest commit:	9c98e2d
Status:	✅  Deploy successful!
Preview URL:	https://eebd59cb.hydroflow.pages.dev
Branch Preview URL:	https://mingwei-newpush-latticefold.hydroflow.pages.dev

View logs

[Copilot]

Pull request overview

Refactors DFIR language operator codegen for lattice folding/reducing operators by removing monotone-accum delay barriers and allowing lattice_fold / lattice_reduce to be codegenerated in non-pull contexts, with corresponding updates to graph visualization snapshots in dfir_rs tests.

Changes:

• Remove DelayType::MonotoneAccum input delay typing from lattice_fold, lattice_reduce, and _lattice_fold_batch operator constraints.
• Make lattice_reduce codegen conditional on is_pull (only inject pull-specific type checks when in pull mode).
• Update graphvis Mermaid/DOT snapshots to reflect the simplified graph structure (fewer handoffs / different subgraph clustering) resulting from barrier removal and fusion changes.

Reviewed changes

Copilot reviewed 11 out of 11 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
dfir_lang/src/graph/ops/lattice_reduce.rs	Removes monotone-accum delay typing and gates pull-only input trait checks behind is_pull.
dfir_lang/src/graph/ops/lattice_fold.rs	Removes monotone-accum delay typing and delegates to fold without asserting pull-only mode.
dfir_lang/src/graph/ops/_lattice_fold_batch.rs	Removes monotone-accum delay typing for the batch-fold fusion operator (still pull-only).
dfir_rs/tests/snapshots/surface_singleton__fold_cross@graphvis_mermaid.snap	Snapshot update reflecting new graph edges/subgraph layout after barrier removal.
dfir_rs/tests/snapshots/surface_singleton__fold_cross@graphvis_dot.snap	DOT snapshot update matching the new graph structure.
dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_mermaid.snap	Snapshot update reflecting handoff/barrier changes in the generated graph.
dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick@graphvis_dot.snap	DOT snapshot update matching the new graph structure.
dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_mermaid.snap	Snapshot update reflecting handoff/barrier changes in the generated graph.
dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_tee@graphvis_dot.snap	DOT snapshot update matching the new graph structure.
dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_mermaid.snap	Snapshot update reflecting handoff/barrier changes in the generated graph.
dfir_rs/tests/snapshots/surface_lattice_bimorphism_persist_insertion__cartesian_product_multi_tick_identity@graphvis_dot.snap	DOT snapshot update matching the new graph structure.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.