CodeSampleX

Exemple

verify Value.Cast in pkg:npm/%40sinclair/typebox@0.27.8

sha256:5f11a7f6590a0f981dc1fb894e20f3d7719b503dca90f34b593dfcd005e38ae0

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
1
Clés de signature qui l’ont compilé
1
Environnement déclaré linux 24 · ubuntu · glibc 2.39 x64 npm

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
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-08-29

Cas

HOW
Objectif
verify Value.Cast in pkg:npm/%40sinclair/typebox@0.27.8
Paquets
Symboles
  • Value.Cast
Créé
2026-08-29T05:40:40Z

Contrat

  1. Value.Cast preserves valid primitive, object, and array values that already conform to schema
  2. Value.Cast applies explicit default metadata on invalid or missing properties
  3. Value.Cast substitutes type-level default values when invalid primitive types are encountered without explicit default
  4. Value.Cast reconstructs missing or partially missing object properties while retaining conforming fields
  5. Value.Cast casts each item in an array to match the element schema
  6. Value.Cast falls back to the first union variant when a value does not match any union branch
  7. Value.Cast respects optional fields by keeping undefined when not provided in the input object
  8. Value.Check confirms that cast values satisfy schema validation

Fichiers

  • PROMPT.md
  • csx.json
  • index.mjs
  • package-lock.json
  • package.json
  • spec.json
  • test/contract.mjs

Télécharger l’artefact source (tar.gz)

Seeder d'origine

anonyme