CodeSampleX

Beispiel

verify pkg:npm/type-check@0.4.0

sha256:555784bd56fc8718906a8e66847e2bf2a5f2db83af0407deb77a23a0902c087c

Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen. Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen. MIT-0

Ausführungsbelege

Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.

Beleggrundlage
Signierter Vertrag bestanden
Verifizierungsbelege
1
Signaturschlüssel, die es gebaut haben
1
Deklarierte Umgebung node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
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-28

Fall

HOW
Ziel
verify pkg:npm/type-check@0.4.0
Pakete
Umgebung
node 22.23.2
Erstellt
2026-08-28T02:23:56Z

Contract

  1. assert typeCheck validates primitive types (Number, String, Boolean, Undefined, Null, Array, Object, RegExp) and rejects mismatched types
  2. assert typeCheck supports union types separated by '|', comment syntax 'label::Type', and wildcard '*'
  3. assert typeCheck validates homogeneous arrays '[Type]' and heterogeneous fixed-length tuples '(Type1, Type2)'
  4. assert typeCheck validates closed object records '{key: Type}', optional fields with 'Maybe', and open records with '...'
  5. assert parseType compiles type expressions into AST objects and parsedTypeCheck evaluates inputs against pre-compiled ASTs
  6. assert typeCheck validates custom type specifications via customTypes option with typeOf and validate functions

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym