CodeSampleX

Sample

zod 4.1.12: Validate untrusted input with a zod schema and read the error shape

Verified sample for npm zod 4.1.12: Validate untrusted input with a zod schema and read the error shape. The contract ran on node 22 · linux alpine/x64 …

sha256:b1df332fb06be1ad1dddffd68c8ee86edefa3d3c5d234d6ebb92ca96fad55572

This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. How many distinct signing keys filed a passing contract receipt. One is the author alone; more than one means somebody else built it too. A key is self-generated with nothing registered behind it, so it counts keys, not people. MIT-0

Execution evidence

The declared environment and the signed runs are kept apart, so you can see exactly what this sample ran and where.

Evidence basis
Signed contract pass
Verification receipts
7
Signing keys that built it
3
Declared environment node 22 linux x64 node 22 npm

Verification-run environments

Environment Contract Stages Run
node 22 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-13
node 22 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-13
node 22 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-13
node 22 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-13
node 22 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-13
node 22 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1
2026-08-17
node 22 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · node-typescript@1node:22-alpine@sha256:c610fcdfb1d5…
2026-09-07

Case

HOW
Goal
Validate untrusted input with a zod schema and read the error shape
Packages
Symbols
  • z.object
  • z.string
  • safeParse
Environment
node 22
Created
2026-08-13T12:06:23Z

Contract

  1. parse a valid object and assert the typed result
  2. safeParse an invalid object and assert success is false
  3. assert the issue carries a path and a code

Files

  • csx.json
  • package-lock.json
  • package.json
  • src/index.mjs
  • test/contract.mjs

Download the source artifact (tar.gz)

Source

csx.json
{"case":{"caseId":"case:sha256:1a6cf2c03d0b6a706dd67614c53c9fdb79e9b7605aec05af07fb3ee7d5c919a3","constraints":{"moduleSystem":"esm","runtime":"node"},"contract":["parse a valid object and assert the typed result","safeParse an invalid object and assert success is false","assert the issue carries a path and a code"],"goal":"Validate untrusted input with a zod schema and read the error shape","kind":"HOW","packages":["pkg:npm/zod@4.1.12"],"schemaVersion":1,"symbols":["z.object","z.string","safeParse"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","ecosystem":"npm","executionContext":"node","moduleSystem":"esm","os":"linux","packageManager":"npm","runtime":"node","runtimeVersion":"22","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/zod@4.1.12"],"schemaVersion":1,"symbols":["z.object","z.string","safeParse"],"verifierAdapter":"node-typescript@1"}
package-lock.json
{
  "name": "csx-sample-zod-parse-validate",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "csx-sample-zod-parse-validate",
      "version": "1.0.0",
      "license": "MIT-0",
      "dependencies": {
        "zod": "4.1.12"
      }
    },
    "node_modules/zod": {
      "version": "4.1.12",
      "resolved": "https://registry.npmjs.org/zod/-/zod-4.1.12.tgz",
      "integrity": "sha512-JInaHOamG8pt5+Ey8kGmdcAcg3OL9reK8ltczgHTAwNhMys/6ThXHityHxVV2p3fkw/c+MAvBHFVYHFZDmjMCQ==",
      "license": "MIT",
      "funding": {
        "url": "https://github.com/sponsors/colinhacks"
      }
    }
  }
}
package.json
{
  "name": "csx-sample-zod-parse-validate",
  "version": "1.0.0",
  "private": true,
  "type": "module",
  "license": "MIT-0",
  "dependencies": {
    "zod": "4.1.12"
  }
}
src/index.mjs
import { z } from 'zod';

// One schema, two ways to use it: parse throws, safeParse returns a result
// object. safeParse is what you want at a trust boundary.
export const User = z.object({
  email: z.string().email(),
  age: z.number().int().min(0),
});

export function parseUser(input) {
  return User.parse(input);
}

export function checkUser(input) {
  const result = User.safeParse(input);
  if (result.success) return { ok: true, value: result.data };
  return { ok: false, issues: result.error.issues };
}
test/contract.mjs
import { strict as assert } from 'node:assert';
import { parseUser, checkUser } from '../src/index.mjs';

const valid = { email: 'dev@example.com', age: 30 };
assert.deepEqual(parseUser(valid), valid);

const good = checkUser(valid);
assert.equal(good.ok, true);
assert.equal(good.value.email, valid.email);

const bad = checkUser({ email: 'not-an-email', age: -1 });
assert.equal(bad.ok, false);
assert.ok(bad.issues.length >= 1);
for (const issue of bad.issues) {
  assert.ok(Array.isArray(issue.path), 'each issue carries a path');
  assert.equal(typeof issue.code, 'string', 'each issue carries a code');
}
console.log('CONTRACT PASS: zod parse/safeParse behave as documented');

Origin Seeder

anonymous