CodeSampleX

Exemple

verify safe-stable-stringify.configure in pkg:npm/safe-stable-stringify@2.5.0

sha256:747bf30351d648b805b3ddb3271daa17be275b7679d792fc61deebad576368fc

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é. Force de la preuve. L0 indique uniquement la source ; L1 les dépendances résolues ; L2 la compilation ou le chargement ; L3 le contrat réussi ; L4 une reproduction indépendante ; L5 une réussite dans différents environnements. MIT-0

Preuves d'exécution

L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.

Base de preuve
Vérification croisée indépendante
Reçus de vérification
1
Niveau de vérification
L4_CROSS_PASS
Environnement déclaré node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10

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@1
2026-08-21

Cas

HOW
Objectif
verify safe-stable-stringify.configure in pkg:npm/safe-stable-stringify@2.5.0
Paquets
Symboles
  • safe-stable-stringify.configure
Environnement
node 22.23.2
Créé
2026-08-21T04:31:12Z

Contrat

  1. Calling safe-stable-stringify.configure returns a custom stringify function tailored with the specified options.
  2. Setting circularValue to a custom string replaces circular references with that string during serialization.
  3. Setting circularValue to TypeError causes serialization to throw a TypeError when a circular reference is encountered.
  4. Setting circularValue to undefined omits circular properties from the serialized JSON output.
  5. Setting deterministic to false preserves object property insertion order instead of sorting keys alphabetically.
  6. Setting bigint to true serializes BigInt values as numbers, while bigint: false omits BigInt properties.
  7. Setting maximumDepth limits nested serialization depth, replacing deeper objects with '[Object]' and arrays with '[Array]'.
  8. Setting maximumBreadth limits the number of serialized properties per object and appends a truncation summary.
  9. Setting strict to true throws an Error when encountering non-JSON-serializable values such as functions or NaN.

Fichiers

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

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

Seeder d'origine

anonyme