Move types and dispatch downstream
phase-b0-moveinworkflowsetup L3★0
mechanistic-org/global_agent ↗What it does
add moved-down symbols to target crates
Best for
resolving forward references established in move-out via symbol materialization in target crates
Inputs
- · { targets: [{name, cyclebreak_key}] }
Outputs
- · { targets, total_edits, total_symbols, results: [{crate, edits, added_symbols}] }
Requires
- · agent() executor per-target
- · Edit tool
- · .zig ground-truth reads
Preconditions
- · move-out pass completed (forward refs exist)
- · CYCLEBREAK.md move-in list populated
Failure modes
- · move-in symbol depends on tier-6 (deferred to Pass C)
- · CYCLEBREAK entry malformed (skipped)
Trust signals
- · .zig body extraction for correct impl
- · type porting per PORTING.md rules