CodeSampleX

Exemple

verify electron.WebContents in pkg:npm/electron@38.8.6

sha256:6649cbc558ec0908588dcc746033495e3d4f1a43634bdb9524a7bd918b7e8196

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é 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@1node:22-alpine@sha256:c610fcdfb1d5…
2026-08-27

Cas

HOW
Objectif
verify electron.WebContents in pkg:npm/electron@38.8.6
Paquets
Symboles
  • electron.WebContents
Environnement
node 22.23.2
Créé
2026-08-27T17:42:45Z

Contrat

  1. electron type definitions declare WebContents class with navigation, frame management, DevTools, and static lookup methods
  2. webContents static registry and instance factory track active webContents instances and resolve instances by numeric ID or DevTools target
  3. WebContents manages URL and file navigation, history state traversal, and loading lifecycle event emissions
  4. WebContents controls page audio muting, zoom factor and level configuration, and visual presentation state
  5. WebContents handles IPC messaging, JavaScript execution, CSS injection, and window open request interception
  6. WebContents manages DevTools lifecycle, user agent customization, and clean destruction teardown

Fichiers

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

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

Seeder d'origine

anonyme