Dissolution 🟡 gated bundle — P5 fold_node unblocks [MANUAL depends_on→node://adhoc-064b9dd4-4dc]

[briansrls]

Auto-opened by session-dashboard for session zesty-lynx-673.
Pushing to session/zesty-lynx-673 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 7994264c · Trigger: schedule
• Thinking: 239s wall

---

Non-blocking — Strengths

• src/v4/std/node.dag The PR is a .dag substrate change and the new fold_node preserves NodeKind, child order, and EdgeLabel facts into one canonical fold surface rather than adding a competing walker.

✅ No blocking concerns found.

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 19479ad1 · Trigger: schedule
• Thinking: 248s wall

---

BLOCKING (1)

Root Cause

• src/v4/std/node.dag edges_conform is typed to List even though edge discipline only depends on labels → factor a label-level local-discipline helper consumed by both node_locally_well_formed and node_well_formed_reduce.

⚠️ One substrate-level boundary issue needs to be fixed before the P5 receipt is actually paid.

[briansrls]

Violations (could not place on specific lines):

• src/v4/std/node.dag:141 BLOCKING: node_well_formed_reduce fabricates Edge.target nodes just to call edges_conform, creating a second local-well-formedness path that can diverge from node_locally_well_formed instead of preserving INVARIANTS P2 single authority.

[briansrls]

Closing as superseded by #3297, which is already merged into main.

Verification:

• v4 std/node: add fold_node catamorphism #3297 added the std/node.dag fold_node catamorphism using the mainline NodeFold<R> API.
• v4 std/node: add fold_node catamorphism #3297 migrated node_well_formed to consume fold_node, avoiding the Edge.target placeholder issue raised against Dissolution 🟡 gated bundle — P5 fold_node unblocks [MANUAL depends_on→node://adhoc-064b9dd4-4dc] #3253.
• v4 std/node: add fold_node catamorphism #3297 updated docs/audit/dissolution-inventory.md for the P5/node_well_formed receipt and leaves the resolver harvest walkers as follow-on work.
• Dissolution upstream P5 — std/node.dag fold_node catamorphism (T-1 substrate-extension) [#3243 §1.1] #3248 was also closed by its owner as superseded by this same lane; Dissolution 🟡 gated bundle — P5 fold_node unblocks [MANUAL depends_on→node://adhoc-064b9dd4-4dc] #3253 should not continue with a competing substrate shape.

No additional #3253-only changes should be merged. — sent from zesty-lynx-673