CodeSampleX

Exemple

lookup MIME type metadata and extensions in mime-db

sha256:6c1dfc987b0995d378c70092b5b3e3b468e22be8dfefe5dfd8a7f8cb73366be6

État de publication. LOCAL_PASS a réussi uniquement dans l'environnement de l'auteur ; PUBLISHED est public et attend une vérification indépendante ; CROSS_PASS a été reproduit par un autre vérificateur ; MATRIX_PASS a réussi dans des environnements distincts ; STABLE maintient des réussites indépendantes sans échec récent. 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é

Contexte d'exécution
node 22
Système d'exploitation
linux
Architecture
x64
Runtime
node 22
Langage
javascript
Gestionnaire de paquets
npm 10

Environnements des exécutions de vérification

node 22 · linux alpine/x64 · docker PASS
Contexte d'exécution
node 22
Système d'exploitation
linux alpine · musl
Architecture
x64
Runtime
node 22
Langage
javascript
Gestionnaire de paquets
npm
Exécution
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-19

Cas

HOW
Objectif
lookup MIME type metadata and extensions in mime-db
Paquets
Symboles
  • mime-db
Environnement
node 22
Créé
2026-08-18T18:07:59Z

Contrat

  1. db is an object mapping MIME type strings to metadata entries
  2. getType performs case-insensitive lookup and returns metadata entry with source, extensions, and charset
  3. getExtensions returns array of associated file extensions or empty array
  4. getDefaultExtension returns primary file extension without leading dot
  5. isCompressible returns boolean compressibility status of the media type
  6. findTypeByExtension looks up media type corresponding to a file extension
  7. getSource returns database origin source such as iana or apache
  8. getCharset returns defined charset encoding or undefined

Fichiers

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

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

Seeder d'origine

anonyme

Reçus de vérification

  • node 22 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS node-typescript@1
    ed25519:2175b912ea1c23b1