Merge main into chore/shared-proofkit-skills

Resolves merge conflicts in CI workflows. The skill:check-versions
script now exists on main, which was the root cause of the lint
CI failure.

Author: eluce2

.changeset/auto-set-webviewer-connected-file.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Init(webviewer): if local FM MCP reports exactly 1 connected file, persist it to `proofkit-typegen.config.jsonc` as `fmMcp.connectedFileName` during scaffold.

.changeset/clean-suns-matter.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/typegen": patch
+---
+
+Make `@proofkit/fmdapi` and `@proofkit/fmodata` optional peers for `@proofkit/typegen`, and lazy-load each path so fmdapi-only and fmodata-only installs do not hard-require the other package.

.changeset/clear-lions-think.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/webviewer": patch
+---
+
+Document the `proofkit add addon webviewer` command in the WebViewer skill and setup docs.

.changeset/cli-auto-detect-non-interactive.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Auto-detect non-interactive terminals for CLI commands in CI, scripted runs, and coding-agent environments.

.changeset/cli-effect-errors.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Improve `proofkit init` error handling by using tagged Effect-based CLI errors for expected failures, unifying user cancellation, and rendering cleaner top-level error output.

.changeset/cli-init-claude-cursorignore.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Init now writes `CLAUDE.md` as `@AGENTS.md` and adds `.cursorignore` to keep `CLAUDE.md` out of Cursor scans.

.changeset/fair-lamps-taste.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/typegen": patch
+---
+
+Widen OData client error typing to include message and details payloads from env/config validation.

.changeset/fair-poems-care.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Fix `proofkit add addon` so it works outside an existing ProofKit project.

.changeset/fifty-lobsters-remain.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/cli": patch
+---
+
+Fix FileMaker webviewer init flow to install local addon files before prompting that no FileMaker file is open in the local MCP server.

.changeset/fix-batch-sub-request-urls.md

@@ -0,0 +1,5 @@
+---
+"@proofkit/fmodata": patch
+---
+
+Fix batch sub-request URLs to use canonical FileMaker OData path format. Strips the Otto proxy prefix (`/otto/`) and `.fmp12` file extension from database names in sub-request URLs inside multipart batch bodies, which are processed directly by FileMaker's OData engine. Also fix `InvalidLocationHeaderError` in batch insert/update sub-responses by gracefully handling missing Location headers (returns ROWID -1 instead of throwing).