Add capture event transport and server-side write classification

.gitignore

@@ -21,5 +21,16 @@
 #
 # dist build output
 target/
+/server/bindings/
+
+# Runtime capture configuration and local fallback capture logs.
+/capture_config.json
+/capture-events-fallback.jsonl
+/capture-metrics-*.csv
+/capture-analysis-*/
+/server/scripts/output
+/server/scripts/capture-metrics-*.csv
+/server/scripts/capture-analysis-*/
+server/capture_config.json
 
 # CodeChat Editor lexer: python. See TODO.

capture_config.example.json

@@ -0,0 +1,9 @@
+{
+    "host": "your-aws-rds-endpoint.amazonaws.com",
+    "port": 5432,
+    "user": "your-db-user",
+    "password": "your-db-password",
+    "dbname": "your-db-name",
+    "app_id": "dissertation",
+    "fallback_path": "capture-events-fallback.jsonl"
+}

client/src/CodeChatEditor.mts

@@ -693,8 +693,15 @@ export const on_error = (event: Event) => {
     let err_str: string;
     if (event instanceof ErrorEvent) {
         err_str = `${event.filename}:${event.lineno}: ${event.message}`;
+        if (event.error?.stack) {
+            err_str += `\n${event.error.stack}`;
+        }
     } else if (event instanceof PromiseRejectionEvent) {
-        err_str = `${event.promise} rejected: ${event.reason}`;
+        const reason = event.reason;
+        err_str = `${event.promise} rejected: ${reason}`;
+        if (reason instanceof Error && reason.stack) {
+            err_str += `\n${reason.stack}`;
+        }
     } else {
         err_str = `Unexpected error ${typeof event}: ${event}`;
     }

client/src/CodeMirror-integration.mts

@@ -294,10 +294,12 @@ export const docBlockField = StateField.define<DecorationSet>({
                                     prev.spec.widget.delimiter,
                                 typeof effect.value.contents === "string"
                                     ? effect.value.contents
-                                    : apply_diff_str(
-                                          prev.spec.widget.contents,
-                                          effect.value.contents,
-                                      ),
+                                    : Array.isArray(effect.value.contents)
+                                      ? apply_diff_str(
+                                            prev.spec.widget.contents,
+                                            effect.value.contents,
+                                        )
+                                      : prev.spec.widget.contents,
                                 // If autosave is allowed (meaning no autosave
                                 // is not true), then this data came from the
                                 // user, not the IDE.
@@ -1210,7 +1212,13 @@ export const scroll_to_line = (
 };
 
 // Apply a `StringDiff` to the before string to produce the after string.
-export const apply_diff_str = (before: string, diffs: StringDiff[]) => {
+export const apply_diff_str = (
+    before: string,
+    diffs: StringDiff[] | undefined,
+) => {
+    if (diffs === undefined) {
+        return before;
+    }
     // Walk from the last diff to the first. JavaScript doesn't have reverse
     // iteration AFAIK.
     let after = before;

client/src/shared.mts

@@ -43,6 +43,8 @@ import { CodeMirrorDocBlockTuple } from "./rust-types/CodeMirrorDocBlockTuple.js
 import { UpdateMessageContents } from "./rust-types/UpdateMessageContents.js";
 import { ResultOkTypes } from "./rust-types/ResultOkTypes.js";
 import { ResultErrTypes } from "./rust-types/ResultErrTypes.js";
+import { CaptureEventWire } from "./rust-types/CaptureEventWire.js";
+import { CaptureStatus } from "./rust-types/CaptureStatus.js";
 
 // Manually define this, since `ts-rs` can't export `webserver.MessageResult`.
 type MessageResult = { Ok: ResultOkTypes } | { Err: ResultErrTypes };
@@ -55,6 +57,8 @@ export type {
     CodeMirror,
     CodeMirrorDiffable,
     CodeMirrorDocBlockTuple,
+    CaptureEventWire,
+    CaptureStatus,
     CodeChatForWeb,
     EditorMessage,
     EditorMessageContents,

extensions/VSCode/.gitignore

@@ -33,5 +33,5 @@ src/index.d.ts
 src/index.js
 src/codechat-editor-client.win32-x64-msvc.node
 .windows/
-
+*.log
 # CodeChat Editor lexer: python. See TODO.

extensions/VSCode/package.json

@@ -44,7 +44,15 @@
     "version": "0.1.54-beta1",
     "activationEvents": [
         "onCommand:extension.codeChatEditorActivate",
-        "onCommand:extension.codeChatEditorDeactivate"
+        "onCommand:extension.codeChatEditorDeactivate",
+        "onCommand:extension.codeChatCaptureStatus",
+        "onCommand:extension.codeChatInsertReflectionPrompt",
+        "onCommand:extension.codeChatCaptureTaskStart",
+        "onCommand:extension.codeChatCaptureTaskSubmit",
+        "onCommand:extension.codeChatCaptureDebugTaskStart",
+        "onCommand:extension.codeChatCaptureDebugTaskSubmit",
+        "onCommand:extension.codeChatCaptureHandoffStart",
+        "onCommand:extension.codeChatCaptureHandoffEnd"
     ],
     "contributes": {
         "configuration": {
@@ -62,6 +70,26 @@
                         "In the default external web browser"
                     ],
                     "markdownDescription": "Select the location of the CodeChat Editor Client. After changing this value, you **must** close then restart the CodeChat Editor extension."
+                },
+                "CodeChatEditor.Capture.RecordStudyEvents": {
+                    "type": "boolean",
+                    "default": false,
+                    "markdownDescription": "Record CodeChat dissertation capture events. This defaults to off. Consent is recorded through **Manage CodeChat Capture** and also defaults to off.\n\n| Consent recorded | Record study events | What happens |\n| --- | --- | --- |\n| Off | Off | Capture is off. |\n| On | Off | Consent is retained, but recording is paused. |\n| On | On | Capture records study events. |\n| Off | On | Capture waits for consent before recording. |"
+                },
+                "CodeChatEditor.Capture.ConsentEnabled": {
+                    "type": "boolean",
+                    "default": false,
+                    "markdownDescription": "Record that participant consent has been given for CodeChat dissertation capture. This defaults to off and persists after setting."
+                },
+                "CodeChatEditor.Capture.ParticipantId": {
+                    "type": "string",
+                    "default": "",
+                    "markdownDescription": "Pseudonymous participant identifier used as the capture user_id. If left blank, CodeChat generates a UUID when the student gives consent."
+                },
+                "CodeChatEditor.Capture.HashFilePaths": {
+                    "type": "boolean",
+                    "default": true,
+                    "markdownDescription": "Hash local file paths before they are sent to capture storage."
                 }
             }
         },
@@ -73,6 +101,14 @@
             {
                 "command": "extension.codeChatEditorDeactivate",
                 "title": "Disable the CodeChat Editor"
+            },
+            {
+                "command": "extension.codeChatCaptureStatus",
+                "title": "Manage CodeChat Capture"
+            },
+            {
+                "command": "extension.codeChatInsertReflectionPrompt",
+                "title": "CodeChat: Insert Reflection Prompt"
             }
         ]
     },