CodeSampleX

Ejemplo

pg 8.23.0: Client.query

Muestra verificada para npm pg 8.23.0: Client.query. El contrato se ejecutó en node 22 · linux alpine/x64 · docker y pasó: Client is exported as a…

sha256:554588895e552aa679948f08852134f6e5f0f4b0cb8eb9633bbe7a1664759180

Esta red ofrece una sola cosa: una muestra que compila. La ejecutó en un sandbox y guardó el recibo firmado. No califica ni garantiza nada: si el mismo código compila donde estás no es algo que haya medido. Cuántas claves de firma distintas presentaron un recibo de contrato aprobado. Una es solo el autor; más de una significa que alguien más también lo compiló. Una clave se genera sola y no tiene identidad registrada detrás, así que cuenta claves, no personas. MIT-0

Evidencia de ejecución

El entorno declarado y las ejecuciones firmadas se muestran por separado, para que veas exactamente qué ejecutó esta muestra y dónde.

Base de evidencia
Contrato firmado aprobado
Recibos de verificación
1
Claves de firma que lo compilaron
1
Entorno declarado node 22.23 linux 24 · ubuntu · glibc 2.39 x64 node 22.23 javascript npm 10

Entornos de las ejecuciones de verificación

Entorno Contrato Etapas Ejecución
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-30

Caso

HOW
Objetivo
verify Client.query in pkg:npm/pg@8.23.0
Paquetes
Símbolos
  • Client.query
Entorno
node 22.23.2
Creado
2026-08-30T14:39:29Z

Contrato

  1. Client is exported as a constructor function and Client.prototype.query is a function
  2. Client.prototype.query throws TypeError when query configuration is null or undefined
  3. Client.prototype.query throws TypeError when callback argument is not a function
  4. Client.prototype.query accepts and returns custom submittable query objects
  5. Client.prototype.query executes simple text queries and resolves with query result rows, rowCount, and field metadata
  6. Client.prototype.query executes parameterized queries with positional parameters
  7. Client.prototype.query executes queries specified with query config objects
  8. Client.prototype.query supports callback-style invocation with error and result arguments
  9. Client.prototype.query rejects with DatabaseError when the server returns an error response

Archivos

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

Descargar el artefacto de código fuente (tar.gz)

Seeder de origen

anónimo