Exemple
zod 4.1.12: Validate untrusted input with a zod schema and read the error shape
Échantillon vérifié pour npm zod 4.1.12: Validate untrusted input with a zod schema and read the error shape. Le contrat s'est exécuté sur node 22 · linux…
sha256:b1df332fb06be1ad1dddffd68c8ee86edefa3d3c5d234d6ebb92ca96fad55572
Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré.
Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes.
MIT-0
Preuves d'exécution
L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.
- Base de preuve
- Contrat signé réussi
- Reçus de vérification
- 7
- Clés de signature qui l’ont compilé
- 3
Environnement déclaré
node 22 linux x64 node 22 npm
Environnements des exécutions de vérification
| Environnement | Contrat | Étapes | Exécution |
|---|---|---|---|
| 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 |
Cas
HOW- Objectif
- Validate untrusted input with a zod schema and read the error shape
- Paquets
- Symboles
-
- z.object
- z.string
- safeParse
- Environnement
- node 22
- Créé
- 2026-08-13T12:06:23Z
Contrat
- 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
Fichiers
- csx.json
- package-lock.json
- package.json
- src/index.mjs
- test/contract.mjs
Code source
{"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"}
{
"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"
}
}
}
}
{
"name": "csx-sample-zod-parse-validate",
"version": "1.0.0",
"private": true,
"type": "module",
"license": "MIT-0",
"dependencies": {
"zod": "4.1.12"
}
}
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 };
}
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');