Clarify exact Jacobian contract inspection (#786)

* Clarify exact contract inspection

* Clarify exact contract inspection

* Clarify exact contract inspection

Author: yuelgrace1810-ops

.agents/skills/jacobian-math/SKILL.md

@@ -40,8 +40,10 @@ stable built-in contracts; replace examples but preserve JSON types:
 
 For other outcomes or unfamiliar payloads, use `math.find` with a specific
 plain-language outcome and implied domain or mode; no capability ID is required.
-Use low `limit` values. Inspect `CONTRACT` only when the typed schema is needed.
-A card's `invocation_example`, or required top-level fields, may be enough.
+Use low `limit` values. For a selected operation's schema, call
+`math.find({"capability_id":"<exact-id>","view":"CONTRACT"})`; never send
+`mode: "CONTRACT"` to `math.run` or put `CONTRACT` in a query. A card's
+`invocation_example`, or required top-level fields, may be enough.
 
 Do not add a discovery domain filter unless its exact installed spelling is
 known. When discovery exposes recovery paths, follow those fields (for example,

npm/skills/jacobian-math/SKILL.md

@@ -40,8 +40,10 @@ stable built-in contracts; replace examples but preserve JSON types:
 
 For other outcomes or unfamiliar payloads, use `math.find` with a specific
 plain-language outcome and implied domain or mode; no capability ID is required.
-Use low `limit` values. Inspect `CONTRACT` only when the typed schema is needed.
-A card's `invocation_example`, or required top-level fields, may be enough.
+Use low `limit` values. For a selected operation's schema, call
+`math.find({"capability_id":"<exact-id>","view":"CONTRACT"})`; never send
+`mode: "CONTRACT"` to `math.run` or put `CONTRACT` in a query. A card's
+`invocation_example`, or required top-level fields, may be enough.
 
 Do not add a discovery domain filter unless its exact installed spelling is
 known. When discovery exposes recovery paths, follow those fields (for example,

tests/unit/tooling/test_codex_visibility.py

@@ -194,6 +194,8 @@ def test_codex_skill_routes_exact_outcomes_without_catalog_projection() -> None:
     skill_flat = re.sub(r"\s+", " ", skill)
     assert "Do not enumerate, filter, or print `ALL_TOOLS`" in skill_flat
     assert "text(r.structuredContent ?? r)" in skill
+    assert 'math.find({"capability_id":"<exact-id>","view":"CONTRACT"})' in skill
+    assert 'never send `mode: "CONTRACT"` to `math.run`' in skill_flat
     assert "never reconstruct or paraphrase such a record" in skill_flat
     assert "required task authorization and bindings are preserved" in skill_flat
     for guidance in (