Merge branch 'main' into json-schema-type-inference-v1

Author: ScottRobinson03

.github/workflows/pullfrog.yml

@@ -0,0 +1,35 @@
+# PULLFROG ACTION — DO NOT EDIT EXCEPT WHERE INDICATED
+name: Pullfrog
+on:
+  workflow_dispatch:
+    inputs:
+      prompt:
+        type: string
+        description: Agent prompt
+  workflow_call:
+    inputs:
+      prompt:
+        description: Agent prompt
+        type: string
+    secrets: inherit
+
+permissions:
+  id-token: write
+
+jobs:
+  agent:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Run agent
+        uses: pullfrog/action@main
+        with:
+          prompt: ${{ inputs.prompt }}
+        env:
+          # Feel free to comment out any you won't use
+          ANTHROPIC_API_KEY: ${{ secrets.ANTHROPIC_API_KEY }}
+          OPENAI_API_KEY: ${{ secrets.OPENAI_API_KEY }}
+          GOOGLE_API_KEY: ${{ secrets.GOOGLE_API_KEY }}
+          GEMINI_API_KEY: ${{ secrets.GEMINI_API_KEY }}
+          CURSOR_API_KEY: ${{ secrets.CURSOR_API_KEY }}

ark/attest/__tests__/assertions.test.ts

@@ -1,6 +1,8 @@
 import { attest } from "@ark/attest"
 import { MissingSnapshotError } from "@ark/attest/internal/assert/assertions.ts"
 import { attestInternal } from "@ark/attest/internal/assert/attest.ts"
+import { registeredReference } from "@ark/schema"
+import { register } from "@ark/util"
 import { type } from "arktype"
 import * as assert from "node:assert/strict"
 
@@ -168,11 +170,14 @@ describe("type assertions", () => {
 	})
 
 	it("does not boom on Type comparison", () => {
+		const expectedRef = register(type.number)
+		const actualRef = register(type.string)
+
 		// @ts-expect-error
 		attest(() => attest(type.string).equals(type.number)).throws
-			.snap(`AssertionError [ERR_ASSERTION]: Assertion including at least one function or object was not between reference equal items
-Expected: Function(fn10)
-Actual: Function(fn11)`)
+			.equals(`AssertionError [ERR_ASSERTION]: Assertion including at least one function or object was not between reference equal items
+Expected: Function(${expectedRef})
+Actual: Function(${actualRef})`)
 	})
 
 	it("doesn't boom on ArkErrors vs plain object", () => {

ark/attest/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@ark/attest",
-	"version": "0.54.0",
+	"version": "0.56.0",
 	"license": "MIT",
 	"author": {
 		"name": "David Blass",
@@ -46,6 +46,7 @@
 		"@typescript/analyze-trace": "0.10.1",
 		"@typescript/vfs": "1.6.1",
 		"arktype": "workspace:*",
+		"@ark/schema": "workspace:*",
 		"prettier": "3.6.2"
 	},
 	"devDependencies": {

ark/docs/app/layout.tsx

@@ -1,9 +1,9 @@
-import "app/global.css"
 import "fumadocs-twoslash/twoslash.css"
 import { RootProvider } from "fumadocs-ui/provider"
 import { Atkinson_Hyperlegible, Raleway } from "next/font/google"
 import type { ReactNode } from "react"
 import { ReleaseBanner } from "../components/ReleaseBanner.tsx"
+import "./global.css"
 import { defineMetadata } from "./metadata.ts"
 import { CSPostHogProvider } from "./providers.tsx"
 

ark/docs/components/dts/regex.ts

@@ -213,7 +213,7 @@ Add a type-only symbol to an existing type so that the only values that satisfy
 const Even = type("(number % 2)#even")
 type Even = typeof Even.infer
 
-const good: Even = even.assert(2)
+const good: Even = Even.assert(2)
 // TypeScript: Type 'number' is not assignable to type 'Brand<number, "even">'
 const bad: Even = 5
 ```
@@ -224,10 +224,10 @@ const bad: Even = 5
 
 ```ts
 // @noErrors
-const even = type.number.divisibleBy(2).brand("even")
+const Even = type.number.divisibleBy(2).brand("even")
 type Even = typeof Even.infer
 
-const good: Even = even.assert(2)
+const good: Even = Even.assert(2)
 // TypeScript: Type 'number' is not assignable to type 'Brand<number, "even">'
 const bad: Even = 5
 ```

ark/docs/components/dts/schema.ts

@@ -1,8 +1,26 @@
 import { createMDX } from "fumadocs-mdx/next"
 import type { NextConfig } from "next"
+import { mkdtempSync } from "node:fs"
+import { tmpdir } from "node:os"
+import { join } from "node:path"
 import { writeLlmsTxt } from "./lib/writeLlmsTxt.ts"
 import { updateSnippetsEntrypoint } from "./lib/writeSnippetsEntrypoint.ts"
 
+// workaround for a bug in Node 25 that creates localStorage as an empty proxy,
+// leading to @typescript/vfs eventually throwing when it sees that it is not
+// undefined and tries to call `getItem`:
+
+// https://github.com/nodejs/node/issues/60303
+
+// this can be removed once the bug is addressed in Node
+if (!globalThis.localStorage?.getItem)
+	globalThis.localStorage = undefined as never
+
+// also set the --localstorage-file env var so subprocesses don't run into the same issue
+process.env.NODE_OPTIONS ??= ""
+const tmpDir = mkdtempSync(join(tmpdir(), "ark-localstorage-"))
+process.env.NODE_OPTIONS = `${process.env.NODE_OPTIONS} --localstorage-file=${join(tmpDir, "localstorage")}`
+
 updateSnippetsEntrypoint()
 writeLlmsTxt()