[northstar] Stage 1 — dataflow projection: body-level dataflow reading of the AST #37
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Stage 1 of the visual-dataflow-authoring north star (see milestone).
Capability. Every
.ailbody projects deterministically onto a dataflow graph:let/app/match/ effects become nodes and edges, and the function/scope hierarchy becomes the adjustable abstraction height (a function is a black box; opening it shows its body as a sub-graph; entering it makes that scope the root).Why this is the first stone. It needs only the existing AST, not a larger language — the only stage that can begin against today's code. It is the hashable, snapshot-testable half that belongs in the repo next to
prose/render/deps.Build on, don't duplicate.
ail depsalready extracts the def-level edge half (crates/ail/src/main.rs, via collect_refs / walk_term). The genuinely new part is the intra-body dataflow reading.depends on: (none — buildable against today's AST)
context: north-star stage; not yet decision-ready as a spec