v10.31

Summary

• Refine /goal so selected non-trivial goals may use conditional internal native subagent assistance for analysis, verification, testing, and bounded plan drafting.
• Preserve /goal as the objective owner, /plan as the route owner, and leader-owned proof wording as the completion authority.
• Update the goal-related playground case and governed release surfaces for P123.