CodeSampleX

Sample

verify pkg:npm/type-fest@0.13.1

sha256:d651d18843dcf5c57c234dfa1d756ad8103f0da2d97eb6d439ea34bbb077063b

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
1
Signing keys that built it
1
Declared environment linux 24 · ubuntu · glibc 2.39 x64 npm

Verification-run environments

Environment Contract Stages Run
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

Case

HOW
Goal
verify pkg:npm/type-fest@0.13.1
Packages
Symbols
  • Merge
  • MergeExclusive
  • RequireAtLeastOne
Created
2026-08-28T01:54:20Z

Contract

  1. type-fest package.json defines package name as type-fest and version as 0.13.1 with types entry point
  2. type-fest index declarations export Merge, MergeExclusive, and RequireAtLeastOne symbols
  3. Merge type definition combines two types overriding keys of the first type with the second type using Except and Extract
  4. MergeExclusive type definition creates mutually exclusive key union type using Without helper
  5. RequireAtLeastOne type definition creates type requiring at least one key while keeping remaining keys optional

Files

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

Download the source artifact (tar.gz)

Origin Seeder

anonymous