Witness fan-out lane 4: emit-on-demand native witnesses for meet_join, variant_construct, classical_not_ingested

[gunbai-bot]

Summary

Extends the witness-realization kernel (#6879) to three more emit_host families end-to-end on the v2 execution path (plan P3):

• meet_join — emit_on_demand_meet_join_family_witness_test.dag (meet + join; native cold/warm, swapped-arms RED, closure_digest cache-key sensitivity)
• variant_construct — emit_on_demand_variant_construct_family_witness_test.dag
• classical_not_ingested — emit_on_demand_classical_not_ingested_family_witness_test.dag (full run_test_claim_emit_vs_eval agreement on the ingested pipeline)

Registers lane 4 rows in dag/gunbc/witness_family_fanout.dag and receipts progress on witness_family_fanout in v1_deletion_plan.dag.

Test plan

Wet witness aggregates (all PASS locally):

cargo run -q --bin claim_batch -- --source-root dag --source-root src/v2 \
  --entry src/v2/test/claim/execution/emit_on_demand_meet_join_family_witness_test.dag \
  --functions emit_on_demand_meet_join_family_witnesses --wet

cargo run -q --bin claim_batch -- --source-root dag --source-root src/v2 \
  --entry src/v2/test/claim/execution/emit_on_demand_variant_construct_family_witness_test.dag \
  --functions emit_on_demand_variant_construct_family_witnesses --wet

cargo run -q --bin claim_batch -- --source-root dag --source-root src/v2 \
  --entry src/v2/test/claim/execution/emit_on_demand_classical_not_ingested_family_witness_test.dag \
  --functions emit_on_demand_classical_not_ingested_family_witnesses --wet

[gunbai-bot]

Verified review 39932 (claude-opus-4-7 APPROVE) against current HEAD 98c4c7f9bb:

• Three witness suites (emit_on_demand_meet_join_family_witness_test.dag, emit_on_demand_variant_construct_family_witness_test.dag, emit_on_demand_classical_not_ingested_family_witness_test.dag) mirror the Witness-realization kernel — the v2 execution path (chain B of dag/gunbc/v1_deletion_plan.dag, the v1-deletion long pole): emit ONE witness family to native code + the run harness + realization/materialization scheduling, per docs/plans/witness-realization-plan.md. Serial kernel first: pick the simp #6879 kernel template (pure store/realize_pack rows + wet native cold/warm + closure_digest key sensitivity + RED wrong-fixture arms).
• Partition authority dag/gunbc/witness_family_fanout.dag and v1_deletion_plan.dag lane-state receipt are present as described.
• No code changes required — approval only, no blocking findings.

Merge readiness (dashboard): 1/2 distinct approvals (claude); no REQUEST_CHANGES; mergeable=MERGEABLE; CI build green, floor ci pending; composer-2.5 review 39934 still running on this SHA.

— sent from wise-fox-351

[gunbai-bot]

Addressed review 39934 in f5ac56d107:

store_over_provider missing from std.artifact_store import — Valid. Added store_over_provider to the import block in all three family witness files (emit_on_demand_meet_join_family_witness_test.dag, emit_on_demand_variant_construct_family_witness_test.dag, emit_on_demand_classical_not_ingested_family_witness_test.dag), matching emit_on_demand_kernel_witness_test.dag:11. Wet smoke: emit_on_demand_meet_join_family_witnesses PASS on this SHA.

— sent from wise-fox-351

[gunbai-bot]

Verified review 39936 (claude-opus-4-7 APPROVE) on HEAD f5ac56d107 — matches current tree: three family witnesses on the #6879 kernel template, witness_family_fanout.dag partition authority, v1_deletion_plan lane-state receipt, and the review 39934 store_over_provider import fix. No code changes required.

Dashboard merge readiness on this SHA: 2/2 distinct approvals (claude, cursor — review 39938 APPROVE supersedes prior REQUEST_CHANGES on 98c4c7f9bb), no open REQUEST_CHANGES, mergeable=MERGEABLE, CI green.

— sent from wise-fox-351

[gunbai-bot]

Verified review 39938 (composer-2.5 APPROVE) on HEAD f5ac56d107 — no code changes required.

Confirmed the cited staging choices on current tree:

• store_over_provider imported in all three family witnesses (review 39934 fix).
• Meet/join native octet agreement + documented bool-fn run_test_claim_emit_vs_eval upstream debt (emit_on_demand_meet_join_family_witness_test.dag:61).
• Classical_not full run_test_claim_emit_vs_eval path (emit_on_demand_classical_not_ingested_family_witness_test.dag:282-304).
• Partition scaffolding in witness_family_fanout.dag with dissolve-on note.

Dashboard merge readiness: 2/2 approvals (claude, cursor), no REQUEST_CHANGES, mergeable=MERGEABLE, CI passing.

— sent from wise-fox-351

[gunbai-bot]

(a)-receipt basis verification (per-family)

Family	(a)-receipt basis	Mechanism
meet_join	Native-only — NOT interpreted==native equals_eval	Wet cold/warm via run_emit_host_cached + expected octet bytes (emit_on_demand_meet_native_cold_holds / _warm_holds). Bool-fn run_test_claim_emit_vs_eval lives only in upstream pre-red debt (emit_host_meet_join_equals_eval_test.dag). Removed misleading emit_on_demand_meet_agreement_holds / emit_on_demand_join_agreement_holds from this PR.
variant_construct	Native-only — NOT interpreted==native equals_eval	Same pattern: run_emit_host_cached octet oracle. Pre-red debt in emit_host_variant_construct_equals_eval_test.dag. Removed misleading emit_on_demand_variant_construct_agreement_holds.
classical_not_ingested	Genuine interpreted==native equals_eval agreement	emit_on_demand_classical_not_agreement_holds calls run_test_claim_emit_vs_eval on the ingested pipeline (classical_not_family_subject + rust_classical_not_ingested_target_model_staging).

Plan-file directive: v1_deletion_plan.dag edits dropped — branch net diff vs main is empty on that file (a8687b66d3). witness_family_fanout.dag lane-4 scope notes updated to label native-only vs equals_eval honestly.

Local wet run outputs (claim_batch --wet, SHA a8687b66d3)

=== emit_on_demand_meet_join_family_witnesses ===
PASS emit_on_demand_meet_join_family_witnesses
=== emit_on_demand_variant_construct_family_witnesses ===
PASS emit_on_demand_variant_construct_family_witnesses
=== emit_on_demand_classical_not_ingested_family_witnesses ===
PASS emit_on_demand_classical_not_ingested_family_witnesses

[gunbai-bot]

Verified review 39947 (composer-2.5 APPROVE) on HEAD a8687b66d3 — no code changes required.

Confirmed against current tree:

• Three family witnesses follow emit_on_demand_kernel_witness_test.dag template: grain-key Share/Recompute, interpreter_surviving_roles_bounded, unreadable-budget refusal, closure-digest sensitivity, wet native cold/warm via run_emit_host_cached.
• classical_not_ingested: genuine run_test_claim_emit_vs_eval agreement + semantic-mismatch RED (emit_on_demand_classical_not_agreement_holds).
• meet_join / variant_construct: native-only octet receipts; equals_eval gap explicitly documented in family notes and witness_family_fanout.dag scope_note as pre-red debt (no misleading *_agreement_holds in lane-4 aggregates).
• witness_family_fanout.dag: lane-4 partition with dissolve-on trigger; witness_entry paths are planning scaffolding only.
• v1_deletion_plan.dag: not in net diff vs main (per parent directive).
• store_over_provider imported in all three files.

Merge readiness: 1/2 distinct approvals on this SHA (review 39947); no REQUEST_CHANGES; mergeable=MERGEABLE; CI green (build, ci success on a8687b66d3). Awaiting queued second review.

— sent from wise-fox-351

[gunbai-bot]

Verified review 39948 (claude-opus-4-7 APPROVE) on HEAD a8687b66d3 — no code changes required.

Confirmed against current tree:

• Three witness suites (emit_on_demand_meet_join_family_witness_test.dag, emit_on_demand_variant_construct_family_witness_test.dag, emit_on_demand_classical_not_ingested_family_witness_test.dag) follow the Witness-realization kernel — the v2 execution path (chain B of dag/gunbc/v1_deletion_plan.dag, the v1-deletion long pole): emit ONE witness family to native code + the run harness + realization/materialization scheduling, per docs/plans/witness-realization-plan.md. Serial kernel first: pick the simp #6879 kernel template; registry rows in witness_family_fanout.dag with dissolve-on note in module doc.
• byte_size used for store budgets/artifact bytes (not raw Int domain quantities); expected_octet: Int params are raw stdout byte indices matching kernel octet-oracle pattern.
• RED controls wired per lane: meet/join swapped-arms fixtures, variant_construct wrong-value fixture, classical_not swapped-source semantic mismatch, plus closure_digest key-sensitivity rows in all three.
• No hand-Rust in diff; narrow .dag-only scope.

Merge readiness: 2/2 distinct approvals on this SHA (review 39947 composer, review 39948 claude); no REQUEST_CHANGES; mergeable=MERGEABLE; CI green (build, ci success on a8687b66d3). Stopping — operator merges manually.

— sent from wise-fox-351