feat(im): make IM operations agent-reliable

cmd/root.go

@@ -674,8 +674,8 @@ func installTipsHelpFunc(root *cobra.Command) {
 			}
 		}
 		// Domain and method commands compose their agent guidance into Long lazily
-		// here (shortcuts attach after service registration); both skip the generic
-		// bottom-of-help append below.
+		// here and own their complete layout. Shortcuts compose only affordance and
+		// contract guidance; Risk/Tips still use the common tail below.
 		if service.PrepareDomainHelp(cmd, embeddedSkillContent) {
 			defaultHelp(cmd, args)
 			return
@@ -686,22 +686,27 @@ func installTipsHelpFunc(root *cobra.Command) {
 		}
 		if service.PrepareShortcutHelp(cmd, embeddedSkillContent) {
 			defaultHelp(cmd, args)
+			appendRiskTipsHelp(cmd)
 			return
 		}
 		defaultHelp(cmd, args)
-		out := cmd.OutOrStdout()
-		if level, ok := cmdutil.GetRisk(cmd); ok {
-			fmt.Fprintln(out)
-			fmt.Fprintln(out, "Risk:", level)
-		}
-		tips := cmdutil.GetTips(cmd)
-		if len(tips) == 0 {
-			return
-		}
-		fmt.Fprintln(out)
-		fmt.Fprintln(out, "Tips:")
-		for _, tip := range tips {
-			fmt.Fprintf(out, "    • %s\n", tip)
-		}
+		appendRiskTipsHelp(cmd)
 	})
 }
+
+func appendRiskTipsHelp(cmd *cobra.Command) {
+	out := cmd.OutOrStdout()
+	if level, ok := cmdutil.GetRisk(cmd); ok {
+		fmt.Fprintln(out)
+		fmt.Fprintln(out, cmdutil.RiskHelpText(level))
+	}
+	tips := cmdutil.GetTips(cmd)
+	if len(tips) == 0 {
+		return
+	}
+	fmt.Fprintln(out)
+	fmt.Fprintln(out, "Tips:")
+	for _, tip := range tips {
+		fmt.Fprintf(out, "    • %s\n", tip)
+	}
+}

cmd/root_integration_test.go

@@ -339,7 +339,9 @@ func TestIntegration_StrictModeUser_ProfileOverride_ChatCreateDryRunSucceeds(t *
 	rootCmd := buildStrictModeIntegrationRootCmd(t, f)
 
 	code := executeRootIntegration(t, f, rootCmd, []string{
-		"im", "+chat-create", "--name", "probe", "--dry-run",
+		"im", "+chat-create", "--name", "probe",
+		"--idempotency-key", "test-secret",
+		"--dry-run",
 	})
 
 	if code != 0 {
@@ -356,7 +358,9 @@ func TestIntegration_StrictModeUser_ProfileOverride_ShortcutExplicitBotReturnsEn
 	rootCmd := buildStrictModeIntegrationRootCmd(t, f)
 
 	code := executeRootIntegration(t, f, rootCmd, []string{
-		"im", "+chat-create", "--name", "probe", "--as", "bot", "--dry-run",
+		"im", "+chat-create", "--name", "probe",
+		"--idempotency-key", "test-secret",
+		"--as", "bot", "--dry-run",
 	})
 
 	if code != output.ExitValidation {

cmd/root_risk_help_test.go

@@ -8,7 +8,9 @@ import (
 	"strings"
 	"testing"
 
+	"github.com/larksuite/cli/internal/cmdmeta"
 	"github.com/larksuite/cli/internal/cmdutil"
+	"github.com/larksuite/cli/internal/imcontract"
 	"github.com/spf13/cobra"
 )
 
@@ -34,6 +36,10 @@ func TestHelpFunc_RendersRiskLineWhenAnnotated(t *testing.T) {
 	if !strings.Contains(out, "Risk: high-risk-write") {
 		t.Errorf("expected Risk line in help output, got:\n%s", out)
 	}
+	if !strings.Contains(out, "requires explicit user confirmation") ||
+		!strings.Contains(out, "agent must NOT add --yes") {
+		t.Errorf("high-risk tail lost its confirmation guard:\n%s", out)
+	}
 }
 
 func TestHelpFunc_NoRiskLineWhenUnannotated(t *testing.T) {
@@ -68,3 +74,39 @@ func TestHelpFunc_RiskLinePrecedesTips(t *testing.T) {
 		t.Errorf("expected Risk to precede Tips; got Risk@%d, Tips@%d", riskIdx, tipsIdx)
 	}
 }
+
+func TestHelpFunc_PreparedShortcutKeepsContractAndMovesRiskTipsToTail(t *testing.T) {
+	root := &cobra.Command{Use: "lark-cli"}
+	installTipsHelpFunc(root)
+
+	child := &cobra.Command{
+		Use:   "+chat-list",
+		Short: "List chats",
+		Run:   func(*cobra.Command, []string) {},
+	}
+	cmdmeta.SetSource(child, cmdmeta.SourceShortcut, false)
+	cmdmeta.SetAffordanceRef(child, "im", "+chat-list")
+	cmdutil.SetRisk(child, "read")
+	cmdutil.SetTips(child, []string{"use exhaustive pagination when completeness matters"})
+	imcontract.AnnotateHelpContract(child, "im +chat-list")
+	root.AddCommand(child)
+
+	out := rendersHelp(t, child)
+	usageIdx := strings.Index(out, "Usage:")
+	riskIdx := strings.Index(out, "Risk:")
+	tipsIdx := strings.Index(out, "Tips:")
+	if usageIdx == -1 || riskIdx == -1 || tipsIdx == -1 {
+		t.Fatalf("expected Usage, Risk, and Tips in prepared shortcut help:\n%s", out)
+	}
+	if !(usageIdx < riskIdx && riskIdx < tipsIdx) {
+		t.Fatalf("expected Usage < Risk < Tips; got Usage@%d Risk@%d Tips@%d:\n%s", usageIdx, riskIdx, tipsIdx, out)
+	}
+	for _, want := range []string{
+		imcontract.HelpCompleteness.Text(),
+		"use exhaustive pagination when completeness matters",
+	} {
+		if n := strings.Count(out, want); n != 1 {
+			t.Fatalf("%q appears %d times, want once:\n%s", want, n, out)
+		}
+	}
+}

cmd/service/affordance.go

@@ -12,6 +12,7 @@ import (
 	"github.com/larksuite/cli/internal/affordance"
 	"github.com/larksuite/cli/internal/cmdmeta"
 	"github.com/larksuite/cli/internal/cmdutil"
+	"github.com/larksuite/cli/internal/imcontract"
 	"github.com/larksuite/cli/internal/meta"
 	"github.com/spf13/cobra"
 )
@@ -161,6 +162,7 @@ func PrepareMethodHelp(cmd *cobra.Command, skillFS fs.FS) bool {
 		}
 	}
 
+	writeContractHelp(&b, cmd)
 	fmt.Fprintf(&b, "\n\nFull parameter schema:\n  lark-cli schema %s", schemaPath)
 	b.WriteString(ann[paramsOnlyAnnotation])
 
@@ -171,11 +173,11 @@ func PrepareMethodHelp(cmd *cobra.Command, skillFS fs.FS) bool {
 }
 
 // PrepareShortcutHelp composes a +-prefixed shortcut's Long from its affordance
-// overlay — the same top layout as method help (description, Risk, guidance
-// block, related skills) minus the schema pointer, which shortcuts have none
-// of. Returns false when the command is not a shortcut or carries no overlay
-// entry, so shortcuts without guidance keep the default help plus the bottom
-// risk/tips append.
+// overlay and contract help. Risk and Tips are deliberately not rendered into
+// Long: the root help renderer appends them after Usage/Flags for every
+// shortcut, so contract-bearing and ordinary shortcuts keep one layout.
+// Returns false when the command is not a shortcut or carries neither an
+// overlay nor contract help.
 //
 // The lead is the command's pristine base (captureHelpBase): a shortcut that
 // set a hand-authored Long in PostMount (e.g. the docs shortcuts' "agents MUST
@@ -184,51 +186,62 @@ func PrepareMethodHelp(cmd *cobra.Command, skillFS fs.FS) bool {
 //
 // Tips precedence (intentional, not a bug): the overlay's ### Tips win. The
 // shortcut's declarative Tips (the Go Tips field) are only a fallback used when
-// the overlay declares none; when the overlay has tips, the Go tips are dropped
-// (replaced, not merged) so tips never render twice. Authoring a ### Tips block
-// therefore silently retires that shortcut's Go Tips — consolidate into one.
+// the overlay declares none. The selected list is stored back on the command
+// and removed from the affordance block so the root renderer emits it once.
 func PrepareShortcutHelp(cmd *cobra.Command, skillFS fs.FS) bool {
 	if src, _ := cmdmeta.SourceOf(cmd); src != cmdmeta.SourceShortcut {
 		return false
 	}
-	raw, ok := affordanceRaw(cmd)
-	if !ok {
-		return false
+	var a meta.Affordance
+	hasAffordance := false
+	if raw, ok := affordanceRaw(cmd); ok {
+		if parsed, parsedOK := (meta.Method{Affordance: raw}).ParsedAffordance(); parsedOK {
+			a = parsed
+			hasAffordance = true
+		}
 	}
-	a, ok := (meta.Method{Affordance: raw}).ParsedAffordance()
-	if !ok {
+	contractHelp := imcontract.HelpText(cmd)
+	if !hasAffordance && contractHelp == "" {
 		return false
 	}
-	if len(a.Tips) == 0 {
-		a.Tips = cmdutil.GetTips(cmd)
+	tips := a.Tips
+	if len(tips) == 0 {
+		tips = cmdutil.GetTips(cmd)
 	}
+	cmdutil.SetTips(cmd, tips)
+	a.Tips = nil
 
 	var b strings.Builder
 	b.WriteString(captureHelpBase(cmd, shortcutBaseAnnotation))
-	writeRisk(&b, cmd)
 	if block := renderAffordanceValue(a); block != "" {
 		b.WriteString("\n\n")
 		b.WriteString(block)
 	}
+	if contractHelp != "" {
+		b.WriteString("\n\n")
+		b.WriteString(contractHelp)
+	}
 	writeRelatedSkills(&b, a.Skills, skillFS)
 
 	cmd.Long = b.String()
 	return true
 }
 
+func writeContractHelp(b *strings.Builder, cmd *cobra.Command) {
+	if text := imcontract.HelpText(cmd); text != "" {
+		b.WriteString("\n\n")
+		b.WriteString(text)
+	}
+}
+
 // writeRisk appends the "Risk: <level>" line, warning agents not to self-approve
 // high-risk-write commands. A no-op when the command has no risk annotation.
 func writeRisk(b *strings.Builder, cmd *cobra.Command) {
 	level, ok := cmdutil.GetRisk(cmd)
 	if !ok {
 		return
 	}
-	// --yes asserts the USER confirmed; the agent must not self-approve.
-	if level == cmdutil.RiskHighRiskWrite {
-		fmt.Fprintf(b, "\n\nRisk: %s (requires explicit user confirmation to execute; the agent must NOT add --yes on its own — only pass --yes after the user has confirmed)", level)
-	} else {
-		fmt.Fprintf(b, "\n\nRisk: %s", level)
-	}
+	fmt.Fprintf(b, "\n\n%s", cmdutil.RiskHelpText(level))
 }
 
 // writeRelatedSkills appends the "Related skills" block for the entries that