2.2.0 (#1594)

Author: ssalbdivad

.cursor/commands/armstrong.md

@@ -0,0 +1 @@
+senator armstrong is reviewing the work on the current branch and he's angry. he will destroy both of us if he finds a single flaw. think big picture and iterate ruthlessly, fundamentally improving the design and implementation. once you are absolutely certain we won't be brutalized, report why senator armstrong will approve of the current changes using as many memes as possible. our fate is in your hands.

.github/workflows/pullfrog.yml

@@ -1,29 +1,35 @@
 # PULLFROG ACTION — DO NOT EDIT EXCEPT WHERE INDICATED
 name: Pullfrog
+run-name: ${{ inputs.name || github.workflow }}
 on:
   workflow_dispatch:
     inputs:
       prompt:
         type: string
         description: Agent prompt
-  workflow_call:
-    inputs:
-      prompt:
-        description: Agent prompt
+      name:
         type: string
-    secrets: inherit
+        description: Run name
 
 permissions:
   id-token: write
+  contents: write
+  pull-requests: write
+  issues: write
+  actions: read
+  checks: read
 
 jobs:
-  agent:
+  pullfrog:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - name: Checkout code
+        uses: actions/checkout@v6
+        with:
+          fetch-depth: 1
 
       - name: Run agent
-        uses: pullfrog/action@main
+        uses: pullfrog/pullfrog@v0
         with:
           prompt: ${{ inputs.prompt }}
         env:

ark/attest/__tests__/assertions.test.ts

@@ -1,7 +1,6 @@
 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"

ark/docs/content/docs/blog/2.1.mdx

@@ -185,7 +185,7 @@ const out = User({
 })
 ```
 
-The options you can provide here are identical to those used to [configure a Type directly](https://arktype.io/docs/expressions#meta), and can also be [extended at a type-level to include custom metadata](https://arktype.io/docs/configuration#custom).
+The options you can provide here are identical to those used to [configure a Type directly](https://arktype.io/docs/expressions#meta), and can also be [extended at a type-level to include custom metadata](https://arktype.io/docs/configuration#metadata).
 
 ### Tuple and args expressions for `.to`
 

ark/docs/content/docs/blog/2.2-twitter.md

@@ -0,0 +1,164 @@
+---
+title: ArkType 2.2 Twitter/X Thread
+---
+
+# ArkType 2.2 Twitter/X Thread
+
+---
+
+**1/**
+
+ArkType 2.2 is out.
+
+Validated functions, type-safe regex, bidirectional JSON Schema, and universal schema interop.
+
+Here's what's new 🧵
+
+---
+
+**2/**
+
+type.fn
+
+Define runtime-validated functions using the same syntax you already know.
+
+```ts
+const len = type.fn("string | unknown[]", ":", "number")(s => s.length)
+
+len("foo") // 3
+len([1, 2]) // 2
+```
+
+Defaults, optionals, variadics- it all works.
+
+---
+
+**3/**
+
+Type-safe regex via arkregex
+
+Regex literals in your definitions now carry full type inference. x-prefix parses capture groups at runtime.
+
+```ts
+const T = type({
+	birthday: "x/^(?<month>\\d{2})-(?<day>\\d{2})-(?<year>\\d{4})$/"
+})
+
+T.assert({ birthday: "05-21-1993" }).birthday.groups.month // "05"
+```
+
+---
+
+**4/**
+
+Standard Schema validators can now be embedded directly in ArkType definitions.
+
+Zod, Valibot, or anything else that implements the spec.
+
+```ts
+const User = type({
+	name: "string",
+	age: "number",
+	address: { street: "string" }
+})
+```
+
+ArkType as a universal composition layer.
+
+---
+
+**5/**
+
+@ark/json-schema
+
+Bidirectional JSON Schema conversion. Parse JSON Schema into ArkType Types, and convert Types to JSON Schema.
+
+Huge thanks to @TizzySaurus for building this one.
+
+toJsonSchema() now supports configurable fallbacks, draft-07/2020-12 targets, and cyclic types.
+
+---
+
+**6/**
+
+Configurable toJsonSchema
+
+Not everything in ArkType maps cleanly to JSON Schema. Now you can handle incompatibilities your way.
+
+```ts
+const T = type({
+	birthday: "Date"
+})
+
+T.toJsonSchema({
+	fallback: {
+		date: ctx => ({ ...ctx.base, type: "string", format: "date-time" }),
+		default: ctx => ctx.base
+	}
+})
+```
+
+11 granular fallback codes.
+
+---
+
+**7/**
+
+select + configure
+
+Query your types by node kind and predicate. Use the same selectors to configure specific references.
+
+```ts
+const myType = type("1 < number < 10")
+
+const minNodes = myType.select("min")
+const exclusiveMins = minNodes.filter(n => n.exclusive)
+
+myType.configure({ description: "a special domain" }, "domain")
+```
+
+---
+
+**8/**
+
+Improved type.declare
+
+Pre-declare your TS type, get compile-time errors when your definition doesn't match.
+
+Now supports morph side declarations and optionality via property values.
+
+```ts
+// type.declare<{ a: string }>().type({ a: "1" })
+// TS Error: declared: string; inferred: 1
+```
+
+---
+
+**9/**
+
+More:
+
+- type.or, type.and, type.merge, type.pipe - n-ary standalone operators
+- "|>" string-embeddable pipe syntax
+- type.valueOf for TS enums
+- string.hex + string.regex keywords
+- Serializable ArkErrors (flatByPath, flatProblemsByPath, toJSON)
+- TraversalError replaces AggregateError
+- exactOptionalPropertyTypes config
+- ES2020 + Hermes compatibility
+- In-docs playground
+- Better JSDoc + go-to-definition
+
+---
+
+**10/**
+
+Full announcement: arktype.io/docs/blog/2.2
+
+I couldn't be more hyped to see what you do with it.
+
+⚡ arktype.io/docs/intro/setup
+⭐ github.com/arktypeio/arktype
+👋 arktype.io/discord
+
+If you want to support this work: github.com/sponsors/arktypeio