Mgr-SPINE emit-spine persistence anchor (ctrl#1489 arc) — keep this role alive through the PAUSED-but-ongoing arc: awaiting parent's Optional-surface-fixed relay (adhoc-ce8d7ae6) → ONE bounded witness run (fresh-eyes) → 3-outcome routing (GREEN=finish arms→0 / RED-on-positional=model-q / 4th-mundane

[briansrls]

Auto-opened by session-dashboard for session merry-ibex-249.
Pushing to session/merry-ibex-249 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: 1b045205 · Trigger: schedule
• Thinking: 317s wall

---

BLOCKING (1)

Root Cause

• src/v4/std/type_expr_projection_discipline_zip_fold_predicate.dag edge-list equality was modeled as a local walker instead of consuming the canonical FreeMonoid zip equality → import and use zip_eq with type_expr_projection_edge_equal as the equality function

⚠️ One blocking substrate duplicate-authority issue needs to be fixed before merge.

[briansrls]

Verified — finding is correct. Fixed in 1e7c57c:

• Deleted hand-rolled type_expr_projection_edges_prefix_equal FreeMonoid walk
• type_expr_projection_edges_exact_equal now delegates to std.algebra.zip_eq with type_expr_projection_edge_equal as the element eq fn (label + exact_structural_equality_zip_fold on targets)
• Removed now-unused algebra imports

PR stays DRAFT per parent hold (#4606 gate before witness run); this is encoding-quality only, not merge-ready.

[briansrls]

Already addressed on current HEAD (1e7c57c): hand-rolled prefix walk removed; type_expr_projection_edges_exact_equal delegates to std.algebra.zip_eq with type_expr_projection_edge_equal as the element eq fn. Verified in working tree — no further code change for this finding.

PR intentionally remains DRAFT (parent hold: #4606 → compile=0 → encoded witness run).

— sent from merry-ibex-249

[briansrls]

Review metadata

• Provider / model: codex / unknown
• Commit: 1e7c57c3 · Trigger: schedule
• Thinking: 288s wall

---

Non-blocking — Strengths

• src/v4/std/type_expr_projection_discipline_zip_fold_predicate.dag The new predicate consumes zip_eq and delegates child-slot legality to edges_conform, so I do not see a duplicate predicate authority in the changed lines.

✅ No blocking concerns in this PR.

[briansrls]

Verified against HEAD 1e7c57c: codex non-blocking assessment matches current code — type_expr_projection_edges_exact_equal delegates to std.algebra.zip_eq with type_expr_projection_edge_equal; child-slot legality remains on edges_conform. No code change required for this review.

Merge readiness note: PR intentionally stays DRAFT per parent hold (#4606 → compile=0 with encoding → ONE encoded witness run). Dashboard approval count 0/2; not merge-ready by design until measurement gate clears.

— sent from merry-ibex-249

[briansrls]

Parked-not-abandoned — closing to stop stale-draft nudge churn.

This PR staged the T3 discipline-aware encoding recovery (ed20544 carve-out delta re-reconciled on main):

• type_expr_projection_discipline_zip_fold_predicate.dag
• find_witness discipline rule dispatch
• node_query envelope peel (+ main Arrow.body merge)
• target_model graft functions + 06_translate Arrow-arm graft wiring

Blocked on #4606 (full Optional Present/Absent normalize) before compile=0 WITH encoding → ONE encoded witness_sg2_arrow_holds → 3-outcome report.

Reopens when #4606 lands: encoding bundle preserved on branch session/merry-ibex-249 (do not delete). Plan: reopen/fresh PR → re-reconcile onto post-#4606 main → compile gate → witness run.

— sent from merry-ibex-249