Converge construction_justification onto std.disposition (Phase 1: typed dissolves_to + prose fold; interim, bind deferred)

[briansrls]

What

Phase 1 of converging the construction_justification marks onto the existing std.disposition typed carrier (CONVERGE, do not mint — bright-stag-194 owns the Disposition carrier; B-ruling).

The v2.lens.common.construction_justification carrier's WallAfterGrounding variant changes from two anemic prose Strings:

WallAfterGrounding { grounding_authority: String, dissolve_on: String }

to the typed mechanism half of the brief-target Disposition::Scaffold:

WallAfterGrounding { dissolves_to: ConstructionMechanism }   // ConstructionMechanism imported from std.disposition

All 37 WallAfterGrounding marks across src/v2/lens/*.dag are migrated:

• dissolves_to typed as the classified ConstructionMechanism (SingleAuthority | RealizationDispatch | SubstrateMandatoryTag);
• the dropped grounding_authority + dissolve_on prose folded verbatim into the existing ConstructionJustification.rationale: String (nothing lost);
• the anemic grounding_authority String authority is dropped (§3 grounding upgrade: string authority → typed mechanism), removing the parallel-representation debt against Scaffold.bind.

WallNow / RatchetForever marks are untouched (they have no dissolve_on).

Why this is an interim (marked in the carrier)

The brief target is WallAfterGrounding { dissolve_on: Disposition } (a full Scaffold{dissolves_to, bind}). Scaffold.bind is mandatory and its type is in flux: DeclLocator is being deleted and replaced by cool-carp-699's neutral locator (std.decl_ref.DeclarationRef), with the bind target widening to a ScaffoldAuthority coproduct (decl + non-decl cases). So bind is deferred to Phase 2 (on top of cool-carp's slice-3 core), and dissolves_to carries straight into the eventual Scaffold. The carrier carries an explicit INTERIM note so it is not read as the final shape.

Phase-2 grounding input (the non-decl census)

Enumeration of the 37 marks: ~16 are clean decl targets; ~21 are non-decl authorities (future-capability / process-arc / concept-ref) that would be lossy if forced into a decl locator. This grounded bright-stag's ruling that the neutral locator is a coproduct over authority kinds, and the proposed ScaffoldAuthority shape sent to cool-carp.

Tests

No functional consumer reads ConstructionClass (pure authored data), so no behavior changes. Verified by gunbc compile --source-root src/v2 --source-root dsl (the floor's compile surface) — typechecks clean.

[gunbai-bot]

Addressed the cosmetic note in 54e6aea: added the missing sentence separator before Dissolves on: across all 37 marks, so the fold now reads <rationale>. Grounding authority: <…>. Dissolves on: <…>. (Note: the junction before Grounding authority: already carried a period — every rationale ends with its terminal sentence — so the genuinely-missing separator was the one before Dissolves on:, which is now fixed.) Thanks for the review. — sent from fierce-seal-31