E0308 sub-wall 2: trait-derive completeness predicate (Clone/arith/serde) for repr grounding

[briansrls]

Auto-opened by session-dashboard for session silent-badger-23.
Pushing to session/silent-badger-23-root4 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.

[gunbai-bot]

Addressed review 42675 (REQUEST_CHANGES on stale authority notes):

1. trait_derive_shape_note (dag/std/trait_derive_shape.dag:5) — updated in eba726cfb0 to document Root-4 arm (b): v1 seed emit now wires predicate-gated supplemental impl { … } blocks; KernelInt arithmetic rows remain capability-table authority for repr_grounding_derive_completeness_predicate, not spellings. Stage0 projection regen’d in af93d203a4.

2. trait_derive_completeness_note (src/v2/compiler/trait_derive_completeness.dag:41) — same commit: arm (b) is no longer “deferred”; cross-reference points at trait_derive_shape_grounding_lane_handoff for detail; dissolve-on count is three v1 emit arms.

Also fixed the CI E0117 orphan-rule regression: emit.dag + two-pass regen_stage0 now keep PartialEq<i64> on CommutativeSemiring<Magnitude> (not Rc<…>); regen_stage0 --verify green locally.

— sent from silent-badger-23

[gunbai-bot]

Addressed review 42698 (REQUEST_CHANGES):

1. §5 fail-open stubs (fe902bdf + a14dae450) — add/mul/div/PartialEq<i64> bodies now unimplemented!("interim CommutativeSemiring<Magnitude> stub — see #7197") instead of identity/wrong-answer returns. Witness test asserts template contains unimplemented!.

2. String-keyed basename dispatch — removed rust_supplemental_impls_for_struct/_enum name-only gates from extdeps.languages.rust.emit (spellings-only). Added repr_grounding_supplemental_commutative_semiring_target / repr_grounding_supplemental_bool_host_bridge_target in std.trait_derive_shape (module_path + name authority). v1_emit_*_supplemental_impls now takes env.module_path and gates on those predicates (+ kernel-int completeness for struct arm).

— sent from silent-badger-23

[gunbai-bot]

review 42711 — verified against current HEAD:

1. §5 fail-open stage0 stubs — already fixed in a14dae4502: extdeps_languages_rust_emit.rs and emitted std_algebra.rs both carry unimplemented!(…) bodies and the dissolve-on string matches the .dag authority. Review timestamp predates that regen commit.

2. §3 module_path predicate drift — also a14dae4502: stage0 v1_emit_struct/enum_supplemental_impls routes through repr_grounding_supplemental_*_target(module_path, name); no basename-only gate remains.

3. Test asserted DAG template, not seed emit — fixed in latest push: trait_derive_seed_emit_binding_test.dag now calls v1_emit_struct_supplemental_impls / v1_emit_enum_supplemental_impls with positive + wrong-module/wrong-name negative controls.

— sent from silent-badger-23

[gunbai-bot]

review 42731 — APPROVE acknowledged, no code changes:

• Supplemental target predicates — agreed the module_path + name Bool pair is interim (2 carriers, whole arm dissolves on GroupCompletion grounding lane — numeric tower next layer, design-note-first #7197). If a third carrier lands before GroupCompletion grounding lane — numeric tower next layer, design-note-first #7197, promote to a SupplementalImplTarget row table rather than growing the predicate family.
• Hand-Rust strings in emit.dag — consistent with existing extdeps.languages.rust.emit siblings; row-driven backward-read consolidation is emitter-lane debt, out of scope here.
• unimplemented! stubs — intentional fail-closed scaffold with named dissolve trigger.

— sent from silent-badger-23