[Java] @CopilotTool ergonomics: Define tool with lambda #1810

Activity

1. edburns

   added a parent issue on Jun 26, 2026

   • Java: Ergonomics: Defining tools: follow up work #1809
2. edburns

   added the

   Task

   issue type on Jun 26, 2026
3. github-actions

   added

   enhancement

   on Jun 26, 2026
4. edburns

   changed the issue type from

   Task

   to

   Feature

   on Jun 26, 2026
5. edburns

   added sub-issues on Jun 26, 2026

   • [Java] @CopilotTool ergonomics: lambda: Create implementation plan: ignorance reduction #1811
   • Fill in details of phases 1 - 3 of plan #1816
6. edburns

   self-assigned this

   on Jun 26, 2026
7. edburns

   added sub-issues on Jul 2, 2026

   • Create sub-issues, assignable to copilot, for implementation phases in Phase 4 #1817
   • [Java] Rename: ./src/main/java/com/github/copilot/tool/Param.java to be CopilotToolParam #1837
   • [Java] Tool-as-lambda 4.1: Add public API types for lambda-defined tools #1839
   • [Java] Tool-as-lambda 4.2: Implement ToolDefinition from*/fromAsync* overloads #1840
   • ABORTED [Java] Tool-as-lambda 4.3: Implement schema + coercion internals for Param<T> #1841
   • [Java] Tool-as-lambda 4.4: Add unit tests for API behavior and validation #1842
   • [Java] Tool-as-lambda 4.5: Add Java E2E integration test with replay proxy #1843
   • ABORTED [Java] Tool-as-lambda 4.6: Update Java docs and ADR cross-links #1844
   • [Agentic]: Define skill(s) for iterating a child-issue task all the way from "assigned to copilot" to "merged to specified base" #1855
   • [Java] Tool-as-lambda 4.3: Implement schema + coercion internals for Param<T> #1876
   • [Java] Tool-as-lambda 4.6: Update Java docs and ADR cross-links #1884
8. edburns

   removed a sub-issue on Jul 2, 2026

   • [Agentic]: Define skill(s) for iterating a child-issue task all the way from "assigned to copilot" to "merged to specified base" #1855
9. edburns

   added a sub-issue on Jul 2, 2026

   • Seeking review: tool-as-lambda #1894
10. edburns

    closed this as completedon Jul 2, 2026
11. edburns

    added 7 commits that reference this issue on Jul 3, 2026

    Copy content from work during github#1810 On branch edburns/1893-agen…

    ...

    a229b69

    Copy content from work during github#1810 On branch edburns/1893-agen…

    ...

    103ec3a

    Copy content from work during github#1810 On branch edburns/1893-agen…

    ...

    db0191b

    Copy content from work during github#1810 On branch edburns/1893-agen…

    ...

    2577ee2

    Copy content from work during github#1810 On branch edburns/1893-agen…

    ...

    e1828c9

    Copy content from work during github#1810 On branch edburns/1893-agen…

    ...

    6f7551f

    Copy content from work during github#1810 On branch edburns/1893-agen…

    ...

    73f8efd