@patdown/jev 0.3.1

package/LICENSE

@@ -0,0 +1,13 @@
+Zero-Clause BSD
+=============
+
+Permission to use, copy, modify, and/or distribute this software for
+any purpose with or without fee is hereby granted.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL
+WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES
+OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE
+FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY
+DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
+AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
+OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

package/README.md

@@ -0,0 +1,5 @@
+# @patdown/jev
+
+Effect HttpClient for TypeSafe System One (Jev). Used by the default [patdown](https://github.com/tyler-dot-earth/patdown) judge.
+
+Install the CLI as `patdown`. This package is a library, not a command.

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+export { JevNoulAnswerSchema, JevNoulQuestionSchema, JevNoulResultSchema, JevUsageSchema, type JevNoulAnswer, type JevNoulResult, } from '#src/jev-noul-schema';
+export { JevRequestFailed, JevSystemOne, JevSystemOneLive } from '#src/jev-system-one';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,mBAAmB,EACnB,qBAAqB,EACrB,mBAAmB,EACnB,cAAc,EACd,KAAK,aAAa,EAClB,KAAK,aAAa,GAClB,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/index.js

@@ -0,0 +1,2 @@
+export { JevNoulAnswerSchema, JevNoulQuestionSchema, JevNoulResultSchema, JevUsageSchema, } from '#src/jev-noul-schema';
+export { JevRequestFailed, JevSystemOne, JevSystemOneLive } from '#src/jev-system-one';

package/dist/jev-noul-decision.d.ts

@@ -0,0 +1,5 @@
+/** Noul must exceed this to count as yes. Tune in code, not in the model. */
+export declare const jevNoulYesThreshold = 0.85;
+/** True when Jev's noul is a yes we would act on. */
+export declare function jevNoulIsYes(noul: number): boolean;
+//# sourceMappingURL=jev-noul-decision.d.ts.map

package/dist/jev-noul-decision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jev-noul-decision.d.ts","sourceRoot":"","sources":["../src/jev-noul-decision.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,eAAO,MAAM,mBAAmB,OAAO,CAAA;AAEvC,qDAAqD;AACrD,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD"}

package/dist/jev-noul-decision.js

@@ -0,0 +1,6 @@
+/** Noul must exceed this to count as yes. Tune in code, not in the model. */
+export const jevNoulYesThreshold = 0.85;
+/** True when Jev's noul is a yes we would act on. */
+export function jevNoulIsYes(noul) {
+    return noul > jevNoulYesThreshold;
+}

package/dist/jev-noul-schema.d.ts

@@ -0,0 +1,35 @@
+import { Schema } from 'effect';
+/** Noul question body for POST /v1/systemone. */
+export declare const JevNoulQuestionSchema: Schema.Struct<{
+    readonly criteria: Schema.optionalKey<Schema.Struct<{
+        readonly false: Schema.optionalKey<Schema.String>;
+        readonly true: Schema.optionalKey<Schema.String>;
+    }>>;
+    readonly instructions: Schema.optionalKey<Schema.String>;
+    readonly type: Schema.Literal<"noul">;
+}>;
+/** Noul answer from POST /v1/systemone. */
+export declare const JevNoulAnswerSchema: Schema.Struct<{
+    readonly noul: Schema.Finite;
+    readonly type: Schema.Literal<"noul">;
+}>;
+/** Token usage reported by System One. */
+export declare const JevUsageSchema: Schema.Struct<{
+    readonly input_tokens: Schema.Finite;
+    readonly output_tokens: Schema.Finite;
+}>;
+/** System One response when every question is noul. */
+export declare const JevNoulResultSchema: Schema.Struct<{
+    readonly answers: Schema.$Record<Schema.String, Schema.Struct<{
+        readonly noul: Schema.Finite;
+        readonly type: Schema.Literal<"noul">;
+    }>>;
+    readonly model: Schema.String;
+    readonly usage: Schema.Struct<{
+        readonly input_tokens: Schema.Finite;
+        readonly output_tokens: Schema.Finite;
+    }>;
+}>;
+export type JevNoulAnswer = typeof JevNoulAnswerSchema.Type;
+export type JevNoulResult = typeof JevNoulResultSchema.Type;
+//# sourceMappingURL=jev-noul-schema.d.ts.map

package/dist/jev-noul-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jev-noul-schema.d.ts","sourceRoot":"","sources":["../src/jev-noul-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,iDAAiD;AACjD,eAAO,MAAM,qBAAqB;;;;;;;EAShC,CAAA;AAEF,2CAA2C;AAC3C,eAAO,MAAM,mBAAmB;;;EAG9B,CAAA;AAEF,0CAA0C;AAC1C,eAAO,MAAM,cAAc;;;EAGzB,CAAA;AAEF,uDAAuD;AACvD,eAAO,MAAM,mBAAmB;;;;;;;;;;EAI9B,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAE3D,MAAM,MAAM,aAAa,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA"}

package/dist/jev-noul-schema.js

@@ -0,0 +1,26 @@
+import { Schema } from 'effect';
+/** Noul question body for POST /v1/systemone. */
+export const JevNoulQuestionSchema = Schema.Struct({
+    criteria: Schema.optionalKey(Schema.Struct({
+        false: Schema.optionalKey(Schema.String),
+        true: Schema.optionalKey(Schema.String),
+    })),
+    instructions: Schema.optionalKey(Schema.String),
+    type: Schema.Literal('noul'),
+});
+/** Noul answer from POST /v1/systemone. */
+export const JevNoulAnswerSchema = Schema.Struct({
+    noul: Schema.Finite,
+    type: Schema.Literal('noul'),
+});
+/** Token usage reported by System One. */
+export const JevUsageSchema = Schema.Struct({
+    input_tokens: Schema.Finite,
+    output_tokens: Schema.Finite,
+});
+/** System One response when every question is noul. */
+export const JevNoulResultSchema = Schema.Struct({
+    answers: Schema.Record(Schema.String, JevNoulAnswerSchema),
+    model: Schema.String,
+    usage: JevUsageSchema,
+});

package/dist/jev-system-one.d.ts

@@ -0,0 +1,27 @@
+import { Context, Effect, Layer } from 'effect';
+import { HttpClient } from 'effect/unstable/http';
+import { type JevNoulAnswer } from '#src/jev-noul-schema';
+declare const JevRequestFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "JevRequestFailed";
+} & Readonly<A>;
+/** Jev / System One HTTP or config failure. Swap this service later for Effect's Decision API. */
+export declare class JevRequestFailed extends JevRequestFailed_base<{
+    readonly message: string;
+    readonly status?: number;
+    readonly providerErrorCode?: string | undefined;
+    readonly requestId?: string | undefined;
+}> {
+}
+declare const JevSystemOne_base: Context.ServiceClass<JevSystemOne, "@patdown/jev/JevSystemOne", {
+    readonly askNoul: (instructions: string, state: string) => Effect.Effect<JevNoulAnswer, JevRequestFailed, HttpClient.HttpClient>;
+}>;
+/**
+ * Client for TypeSafe System One (Jev). Implemented with Effect HttpClient so a Decision-based
+ * layer can replace it.
+ */
+export declare class JevSystemOne extends JevSystemOne_base {
+}
+/** Live Jev client using Effect HttpClient and TYPESAFE_* config. */
+export declare const JevSystemOneLive: Layer.Layer<JevSystemOne, never, never>;
+export {};
+//# sourceMappingURL=jev-system-one.d.ts.map

package/dist/jev-system-one.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jev-system-one.d.ts","sourceRoot":"","sources":["../src/jev-system-one.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,OAAO,EAAQ,MAAM,EAAE,KAAK,EAAoB,MAAM,QAAQ,CAAA;AAE/E,OAAO,EAAE,UAAU,EAAyC,MAAM,sBAAsB,CAAA;AAExF,OAAO,EAAuB,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAA;;;;AAQ9E,kGAAkG;AAClG,qBAAa,gBAAiB,SAAQ,sBAAqC;IAC1E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC/C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACvC,CAAC;CAAG;;sBASe,CACjB,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,KACT,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,gBAAgB,EAAE,UAAU,CAAC,UAAU,CAAC;;AAV5E;;;GAGG;AACH,qBAAa,YAAa,SAAQ,iBAQF;CAAG;AAqKnC,qEAAqE;AACrE,eAAO,MAAM,gBAAgB,yCAE3B,CAAA"}

package/dist/jev-system-one.js

@@ -0,0 +1,117 @@
+import { Config, Context, Data, Effect, Layer, Redacted, Schema } from 'effect';
+import { HttpClient, HttpClientRequest, HttpClientResponse } from 'effect/unstable/http';
+import { JevNoulResultSchema } from '#src/jev-noul-schema';
+const defaultJevBaseUrl = 'https://api.typesafe.ai';
+const defaultJevModel = 'jev-latest';
+const defaultNoulQuestionName = 'noul';
+/** Jev / System One HTTP or config failure. Swap this service later for Effect's Decision API. */
+export class JevRequestFailed extends Data.TaggedError('JevRequestFailed') {
+}
+/**
+ * Client for TypeSafe System One (Jev). Implemented with Effect HttpClient so a Decision-based
+ * layer can replace it.
+ */
+export class JevSystemOne extends Context.Service()('@patdown/jev/JevSystemOne') {
+}
+function readJevApiKey() {
+    return Config.redacted('TYPESAFE_API_KEY').pipe(Effect.mapError(() => new JevRequestFailed({
+        message: 'jev: TYPESAFE_API_KEY is missing or empty',
+    })));
+}
+function readJevBaseUrl() {
+    return Config.string('TYPESAFE_BASE_URL').pipe(Config.withDefault(defaultJevBaseUrl));
+}
+function readJevModel() {
+    return Config.string('TYPESAFE_DEFAULT_MODEL').pipe(Config.withDefault(defaultJevModel));
+}
+function noulAnswerFromResult(result, questionName) {
+    const answer = result.answers[questionName];
+    if (answer === undefined) {
+        return Effect.fail(new JevRequestFailed({
+            message: `jev: response missing noul answer ${questionName}`,
+        }));
+    }
+    return Effect.succeed(answer);
+}
+function encodeJevNoulBody(prepared, model, instructions, state) {
+    return HttpClientRequest.bodyJson(prepared, {
+        model,
+        questions: {
+            [defaultNoulQuestionName]: {
+                criteria: {
+                    false: 'No. The state does not match, or there is not enough evidence.',
+                    true: 'Yes. The state clearly matches the question.',
+                },
+                instructions,
+                type: 'noul',
+            },
+        },
+        state,
+    }).pipe(Effect.mapError(() => new JevRequestFailed({
+        message: 'jev: failed to encode System One request body',
+    })));
+}
+const JevErrorBodySchema = Schema.Struct({
+    detail: Schema.Struct({ error_type: Schema.String }),
+});
+/** Only machine identifiers are logged: provider prose can contain submitted text or credentials. */
+function safeJevErrorIdentifier(value) {
+    return value !== undefined && /^[a-zA-Z0-9_.:-]{1,128}$/u.test(value) ? value : undefined;
+}
+function describeJevHttpFailure(status, providerErrorCode) {
+    if (providerErrorCode === 'max_tokens_exceeded') {
+        return 'model token limit exceeded; shorten the question/input or split it into smaller requests';
+    }
+    if (status === 413)
+        return 'HTTP payload too large; reduce the request body size';
+    if (status === 401 || status === 403)
+        return 'authentication or access rejected; check API credentials and permissions';
+    if (status === 429)
+        return 'rate or quota limit reached; check provider limits before retrying';
+    if (status >= 500)
+        return 'server or upstream failure; this response does not establish an input-size limit';
+    return 'request rejected';
+}
+function jevHttpFailure(response, state) {
+    return Effect.gen(function* () {
+        const body = yield* HttpClientResponse.schemaBodyJson(JevErrorBodySchema)(response).pipe(Effect.catch(() => Effect.void));
+        const providerErrorCode = safeJevErrorIdentifier(body?.detail.error_type);
+        const requestId = safeJevErrorIdentifier(response.headers['x-typesafe-request-id']);
+        const codeLabel = providerErrorCode === undefined ? '' : `; code: ${providerErrorCode}`;
+        const requestLabel = requestId === undefined ? '' : `; request ID: ${requestId}`;
+        const inputBytes = new TextEncoder().encode(state).byteLength;
+        return new JevRequestFailed({
+            message: `jev: System One HTTP ${String(response.status)}: ${describeJevHttpFailure(response.status, providerErrorCode)}${codeLabel}; input UTF-8 bytes: ${String(inputBytes)}${requestLabel}`,
+            status: response.status,
+            providerErrorCode,
+            requestId,
+        });
+    });
+}
+function askJevNoul(instructions, state) {
+    return Effect.gen(function* () {
+        const apiKey = yield* readJevApiKey();
+        const baseUrl = yield* Effect.orDie(readJevBaseUrl());
+        const model = yield* Effect.orDie(readJevModel());
+        const client = yield* HttpClient.HttpClient;
+        const prepared = HttpClientRequest.post(`${baseUrl}/v1/systemone`).pipe(HttpClientRequest.bearerToken(apiKey), HttpClientRequest.acceptJson);
+        const request = yield* encodeJevNoulBody(prepared, model, instructions, state);
+        const response = yield* client.execute(request).pipe(Effect.mapError((error) => new JevRequestFailed({
+            message: `jev: System One transport/request failure (${error.reason._tag}); no usable HTTP response`,
+        })));
+        if (response.status < 200 || response.status >= 300) {
+            const error = yield* jevHttpFailure(response, state);
+            return yield* error;
+        }
+        const result = yield* HttpClientResponse.schemaBodyJson(JevNoulResultSchema)(response).pipe(Effect.mapError(() => new JevRequestFailed({
+            message: `jev: System One HTTP ${String(response.status)} response could not be decoded as the expected noul result`,
+            status: response.status,
+            requestId: safeJevErrorIdentifier(response.headers['x-typesafe-request-id']),
+        })));
+        return yield* noulAnswerFromResult(result, defaultNoulQuestionName);
+    });
+}
+/** Live Jev client using Effect HttpClient and TYPESAFE_* config. */
+export const JevSystemOneLive = Layer.succeed(JevSystemOne, {
+    askNoul: askJevNoul,
+});

package/package.json

@@ -0,0 +1,72 @@
+{
+  "name": "@patdown/jev",
+  "version": "0.3.1",
+  "description": "Effect HttpClient for TypeSafe System One (Jev)",
+  "homepage": "https://github.com/tyler-dot-earth/patdown",
+  "bugs": {
+    "url": "https://github.com/tyler-dot-earth/patdown/issues"
+  },
+  "license": "0BSD",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/tyler-dot-earth/patdown.git",
+    "directory": "packages/patdown-jev"
+  },
+  "files": [
+    "LICENSE",
+    "README.md",
+    "dist"
+  ],
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "imports": {
+    "#src/*": {
+      "source": "./src/*.ts",
+      "types": "./dist/*.d.ts",
+      "test": "./src/*.ts",
+      "node": "./dist/*.js",
+      "default": "./dist/*.js"
+    }
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "test": "./dist/index.js",
+      "node": "./dist/index.js",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    }
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "effect": "4.0.0-rc.112"
+  },
+  "devDependencies": {
+    "@effect/vitest": "4.0.0-rc.112",
+    "@types/node": "^22.20.3",
+    "@vitest/coverage-v8": "^4.1.11",
+    "oxfmt": "^0.65.0",
+    "oxlint": "1.80.0",
+    "oxlint-tsgolint": "^7.0.2001",
+    "typescript": "7.0.2",
+    "vitest": "^4.1.11",
+    "@patdown/oxlint-config": "0.0.0",
+    "@patdown/tsconfig": "0.0.0"
+  },
+  "engines": {
+    "node": ">=22.22.2"
+  },
+  "scripts": {
+    "build": "node ../../scripts/warn-direct-package-task.mjs build && tsc -p tsconfig.build.json",
+    "check": "node ../../scripts/warn-direct-package-task.mjs check && pnpm run lint && pnpm run format:check && pnpm run typecheck && pnpm run test",
+    "clean": "rm -rf dist coverage",
+    "format": "oxfmt --write .",
+    "format:check": "node ../../scripts/warn-direct-package-task.mjs format:check && oxfmt --check .",
+    "lint": "node ../../scripts/warn-direct-package-task.mjs lint && oxlint --disable-nested-config -c ./oxlint.config.ts --tsconfig ./tsconfig.app.json .",
+    "test": "node ../../scripts/warn-direct-package-task.mjs test && vitest run",
+    "typecheck": "node ../../scripts/warn-direct-package-task.mjs typecheck && tsc -p tsconfig.app.json --incremental --tsBuildInfoFile typecheck.app.tsbuildinfo && tsc -p tsconfig.vitest.json --incremental --tsBuildInfoFile typecheck.vitest.tsbuildinfo"
+  }
+}