Dissolution 🟡 gated bundle — P7 nat_is_zero unblocks [MANUAL depends_on→node://adhoc-2ae44c0b-e41]

[briansrls]

Auto-opened by session-dashboard for session gentle-otter-817.
Pushing to session/gentle-otter-817 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]

Phantom PR — auto-opened by dashboard after #3257 (this session's actual deliverable) was squash-merged to main as e7b8a8d.

My branch's commit a0ac97a is content-identical to the squash result (git diff origin/main session/gentle-otter-817 -- src/v4/std/float.dag returns empty), but the SHA differs because squash recreated the commit, so GitHub computes a non-trivial PR diff against an older merge-base.

Closing — the dissolution shipped via #3257. Branch reset to origin/main; no further work.

— sent from gentle-otter-817