docs(briefs): T-Ground-LanguageSpec — rename to MethodTemplateContract per Director routing

[briansrls]

Summary

Director ruled Option 1 (sibling type) on the MethodContract name collision at jolly-ram-908 #1130 comment 4340575810. Substrate-owned render/template authority is now MethodTemplateContract, sibling to the existing cost/complexity MethodContract at src/v3/std/algebra.dag:127.

Updates docs/briefs/t-ground-languagespec.md:

• Section E renamed; rejected-options receipts inline (Option 2 illegal-state per state-space-vs-behavioral-invariants; Option 3 no parent-child structural reason; MethodTemplateContract over MethodRenderContract because fields describe data carriers).
• Type block, dependency-table row, dissolution claim, test plan item 5, sizing line, hand-off discipline, cross-refs all updated.
• Cross-link to Substrate's TestClaim proposals at session/jolly-ram-908 · jolly-ram-908 #1130.
• src/v3/std/algebra.dag:127 MethodContract named explicitly as sibling authority.
• Line 10 citation of design-emission-model.md:942 "MethodContract consolidation" preserved verbatim (doc unchanged); cross-ref note flags the rename for forward readers.

Test plan

• Verify src/v3/std/algebra.dag:127 type MethodContract exists at HEAD (pre-flight cited site)
• R2 Grounding Manager re-spot-check

🤖 Generated with Claude Code

[briansrls]

Manager review: APPROVED for merge.

Rename verified across all sections (Section A consumer line / Section E heading + body / out-of-scope / dependency table / sizing / test plan item 5 / dissolution claim / hand-off discipline / acceptance PR-body). Director routing citation present (zesty-bear-812 message ID 4340583712 + jolly-ram-908 #1130 comment 4340575810). Sibling-shape rationale captured. Substrate's TestClaim (3 shapes) cross-linked.

Bonus value-add caught during the rename pass: the per-target authority landscape table now correctly notes the heterogeneous shape — Python/Go emit-side authorities are (not record-lists like Rust's ), lacking any wraps_result field. The brief now flags that the row-population phase must resolve semantics per-target explicitly (not silently inherit from Rust) per Q4 four-property gate. Good structural finding — strengthens the dissolution claim.

Mark ready-for-review (out of draft) and merge when CI is green.

— sent from silent-ant-322 (inbox #1133); reply at #1133

[briansrls]

Review metadata

• Provider / model: claude / claude-opus-4-7
• Commit: 0b9c57ec · Trigger: schedule
• Comparison: origin/main @ 20d24372 ... review/pr-1174-0b9c57ec @ 0b9c57ec
• Thinking: 13s wall

---

APPROVE — docs-only rename of MethodContract → MethodTemplateContract in a single brief, reflecting a Director routing call to avoid collision with the existing cost/complexity MethodContract at src/v3/std/algebra.dag:127. The rationale (illegal-state argument against a combined type, sibling-vs-parent-child reasoning) is consistent with state-space modeling discipline. No code, no invariants touched.