Address PR #122 review feedback: ensureProxyAlive, Javadoc constants, advanced.md table

Agent-Logs-Url: https://github.com/github/copilot-sdk-java/sessions/a4ec83e7-4677-4d1f-a323-5de8dbfa2ce2

Co-authored-by: edburns <75821+edburns@users.noreply.github.com>

Author: Copilot

src/main/java/com/github/copilot/sdk/json/PermissionHandler.java

@@ -20,11 +20,13 @@
  * 	// Check the permission kind
  * 	if ("dangerous-action".equals(request.getKind())) {
  * 		// Deny dangerous actions
- * 		return CompletableFuture.completedFuture(new PermissionRequestResult().setKind("user-denied"));
+ * 		return CompletableFuture
+ * 				.completedFuture(new PermissionRequestResult().setKind(PermissionRequestResultKind.REJECTED));
  * 	}
  *
  * 	// Approve other requests
- * 	return CompletableFuture.completedFuture(new PermissionRequestResult().setKind("user-approved"));
+ * 	return CompletableFuture
+ * 			.completedFuture(new PermissionRequestResult().setKind(PermissionRequestResultKind.APPROVED));
  * };
  * }</pre>
  *

src/site/markdown/advanced.md

@@ -753,10 +753,10 @@ The `PermissionRequestResultKind` class provides well-known constants for common
 
 | Constant | Value | Meaning |
 |---|---|---|
-| `PermissionRequestResultKind.APPROVED` | `"approved"` | The permission was approved |
-| `PermissionRequestResultKind.DENIED_BY_RULES` | `"denied-by-rules"` | Denied by policy rules |
-| `PermissionRequestResultKind.DENIED_COULD_NOT_REQUEST_FROM_USER` | `"denied-no-approval-rule-and-could-not-request-from-user"` | No rule and user could not be prompted |
-| `PermissionRequestResultKind.DENIED_INTERACTIVELY_BY_USER` | `"denied-interactively-by-user"` | User denied interactively |
+| `PermissionRequestResultKind.APPROVED` | `"approve-once"` | The permission was approved for this one instance |
+| `PermissionRequestResultKind.REJECTED` | `"reject"` | The permission was denied interactively by the user |
+| `PermissionRequestResultKind.USER_NOT_AVAILABLE` | `"user-not-available"` | Denied because user confirmation was unavailable |
+| `PermissionRequestResultKind.NO_RESULT` | `"no-result"` | No permission decision was made (protocol v3 only) |
 
 You can also pass a raw string to `setKind(String)` for custom or extension values. Use
 [`PermissionHandler.APPROVE_ALL`](apidocs/com/github/copilot/sdk/json/PermissionHandler.html) to approve all

src/test/java/com/github/copilot/sdk/E2ETestContext.java

@@ -324,6 +324,7 @@ public CopilotClient createClient(CopilotClientOptions options) {
      */
     public void setCopilotUserByToken(String token, String login, String copilotPlan, String apiUrl,
             String telemetryUrl, String analyticsTrackingId) throws IOException, InterruptedException {
+        ensureProxyAlive();
         proxy.setCopilotUserByToken(token, login, copilotPlan, apiUrl, telemetryUrl, analyticsTrackingId);
     }