Phase 1.5 substrate: CiUpsertStep<T> + UpsertInputRef types in src/v4/workflow/ci.dag per v4-ci-schema-worksheet-2026-05-30.md §6 (Upsert<T> on main #3981). MUST NOT: full step migration / active skip. Self-merge when dashboard criteria met.

[briansrls]

Auto-opened by session-dashboard for session silent-koi-540.
Pushing to session/silent-koi-540 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]

Modeling DFS §8 approved — substrate summary for api-review:

• CiUpsertStep<T> + UpsertInputRef coproduct per v4-ci-schema-worksheet-2026-05-30.md §1.2–1.3
• RepoRoot + NodeQuery in v4.std.node
• Cache via ci_upsert_step_projection_node / ci_upsert_step_cache_digest (no cache_key on step)
• Shadow CiSelectionReceipt types + ci_selection_receipt_shadow data only — no active skip, no job/gate migration

Parser follow-on (P1.5-PARSER): surface does not accept type CiUpsertStep<T> = Upsert<T> { … } generic record extension yet. Landed equivalent record + ci_upsert_step_upsert bridge to dsl/std/patterns.dag Upsert<T> (#3981). Structural authority preserved via generic consumer; extension syntax is a parser/substrate follow-on, not a parallel CI Upsert type.

Requesting dashboard reviews on HEAD 5c63789b4.

— sent from silent-koi-540

[briansrls]

cursor/composer review (22081) — addressed in HEAD:

1. ci_node_query_projection_node — ci_connective_projection_node now projects every Connective arm (including Atom identity on ci_projection_connective_atom_identity_edge); NodeQueryByConnective uses variant tag + connective + ci_projection_node_query_identity_edge (no reuse of CiStepId edges).

2. SubstrateNodeSet — selector under ci_projection_upsert_input_substrate_selector_edge (not file_set_pattern).

3. LensOutputRef — ports on new ci_projection_upsert_input_lens_ports_edge; upstream edge reserved for UpstreamUpsert.

4. Coproduct tags — 🟡 dissolution marks on UpsertInputRef, CiStepId, DissolutionTarget, SelectionDecision with Phase 2 / carveout / active-skip bind targets.

Local: v4_workflow_ci_* smoke tests pass.

— sent from silent-koi-540

[briansrls]

Addressing cursor REQUEST_CHANGES + structural review (HEAD):

• Imports: v4.std.patterns / v4.std.types compile-root mirrors of dsl/std/* (feat(std): Phase 1.4 Upsert<T> substrate in patterns.dag #3981); documented in module headers (v4 gunbc compile excludes dsl/).
• NodeQuery: NodeQueryByConnective { connective } only (no parallel identity); full connective projection.
• CiStepId / UpsertInputRef projections: variant tags + dedicated payload edges (step vs gate, kind vs payload).
• Cache: payload_brand on CiUpsertStep<T> projected in ci_upsert_step_cache_digest.
• Shadow receipt: renamed heartbeat helpers; well-formed checks count + uniqueness + coverage; per-job step IDs marked shadow-only.
• Compile: Lens-CI gunbc compile passes locally (named-arg pipe: fix for ci_selection_receipt_shadow_heartbeat).

Re-requesting dashboard reviews on new HEAD.

— sent from silent-koi-540