Ejemplo
eventsource 3.0.7: EventSource
Muestra verificada para npm eventsource 3.0.7: EventSource. El contrato se ejecutó en node 22 · linux debian/x64 · docker y pasó.
sha256:cd340bf97ede5ff331cbaee746c8781fa05b500d2c9131d7299848332f346bf0
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
linux 24 · ubuntu · glibc 2.39 x64 npm
Entornos de las ejecuciones de verificación
| Entorno | Contrato | Etapas | Ejecución |
|---|---|---|---|
| node 22 · linux debian/x64 · docker ed25519:c1973797be207ac4 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · node-typescript@1node:22@sha256:8a34c4ab3ea2… |
2026-09-07 |
Caso
HOW- Objetivo
- verify eventsource.EventSource in pkg:npm/eventsource@3.0.7
- Paquetes
- Símbolos
-
- eventsource.EventSource
- Creado
- 2026-09-07T03:33:54Z
Contrato
- EventSource defines static and instance readyState constants: CONNECTING (0), OPEN (1), and CLOSED (2)
- EventSource constructor initializes readyState as CONNECTING and stores target url and withCredentials option
- EventSource connects to SSE HTTP endpoint, emits open event, and transitions readyState to OPEN
- EventSource receives standard messages and delivers event payload via onmessage handler
- EventSource dispatches named custom SSE events to registered addEventListener listeners
- EventSource concatenates multiline data lines into a single newline-separated message data string
- EventSource accepts custom fetch implementation in EventSourceInit to stream SSE events
- EventSource close() terminates active stream connection and sets readyState to CLOSED
- EventSource onerror triggers on HTTP error responses without entering OPEN state
Archivos
- PROMPT.md
- csx.json
- index.mjs
- package-lock.json
- package.json
- spec.json
- test/contract.mjs
Código fuente
Clean-room public code sample — generation instructions
Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.
A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.
Goal: verify eventsource.EventSource in pkg:npm/eventsource@3.0.7
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:npm/eventsource@3.0.7
Demonstrate these symbols/APIs:
- eventsource.EventSource
Rules:
- One focused purpose; the smallest project that proves the goal.
- Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
- Pin every dependency with a lockfile so resolution is reproducible.
- No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
- No personal names, emails, company names, or project identifiers of any kind.
- No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
- Keep it under 200 files and 256KB packed.
{"case":{"caseId":"case:sha256:b960a3e55f76b2c30b2583b25ed1f3883ebc07d3f75d34db209b7908e3b9bce2","contract":["EventSource defines static and instance readyState constants: CONNECTING (0), OPEN (1), and CLOSED (2)","EventSource constructor initializes readyState as CONNECTING and stores target url and withCredentials option","EventSource connects to SSE HTTP endpoint, emits open event, and transitions readyState to OPEN","EventSource receives standard messages and delivers event payload via onmessage handler","EventSource dispatches named custom SSE events to registered addEventListener listeners","EventSource concatenates multiline data lines into a single newline-separated message data string","EventSource accepts custom fetch implementation in EventSourceInit to stream SSE events","EventSource close() terminates active stream connection and sets readyState to CLOSED","EventSource onerror triggers on HTTP error responses without entering OPEN state"],"goal":"verify eventsource.EventSource in pkg:npm/eventsource@3.0.7","kind":"HOW","packages":["pkg:npm/eventsource@3.0.7"],"schemaVersion":1,"symbols":["eventsource.EventSource"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"npm","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/eventsource@3.0.7"],"schemaVersion":1,"subject":"pkg:npm/eventsource@3.0.7","symbols":["eventsource.EventSource"],"verifierAdapter":"node-typescript@1"}
import { EventSource, ErrorEvent } from 'eventsource';
/**
* Creates and configures an EventSource instance.
*
* @param {string | URL} url - The URL of the SSE endpoint.
* @param {import('eventsource').EventSourceInit} [options] - EventSource configuration options.
* @returns {EventSource}
*/
export function createEventSource(url, options = {}) {
return new EventSource(url, options);
}
/**
* Creates a mock fetch function suitable for offline EventSource testing and mocking.
*
* @param {string[]} sseChunks - Array of SSE formatted text chunks to stream.
* @returns {import('eventsource').FetchLike}
*/
export function createMockSSEFetch(sseChunks) {
const encoder = new TextEncoder();
return async (url, init) => {
let index = 0;
return {
status: 200,
redirected: false,
headers: {
get(name) {
if (name.toLowerCase() === 'content-type') {
return 'text/event-stream';
}
return null;
},
},
body: {
getReader() {
return {
async read() {
if (index < sseChunks.length) {
const chunk = sseChunks[index++];
return { done: false, value: encoder.encode(chunk) };
}
return { done: true, value: undefined };
},
async cancel() {},
};
},
},
};
};
}
export { EventSource, ErrorEvent };
{
"name": "sample-eventsource-eventsource",
"version": "1.0.0",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "sample-eventsource-eventsource",
"version": "1.0.0",
"license": "MIT-0",
"dependencies": {
"eventsource": "3.0.7"
}
},
"node_modules/eventsource": {
"version": "3.0.7",
"resolved": "https://registry.npmjs.org/eventsource/-/eventsource-3.0.7.tgz",
"integrity": "sha512-CRT1WTyuQoD771GW56XEZFQ/ZoSfWid1alKGDYMmkt2yl8UXrVR4pspqWNEcqKvVIzg6PAltWjxcSSPrboA4iA==",
"license": "MIT",
"dependencies": {
"eventsource-parser": "^3.0.1"
},
"engines": {
"node": ">=18.0.0"
}
},
"node_modules/eventsource-parser": {
"version": "3.1.1",
"resolved": "https://registry.npmjs.org/eventsource-parser/-/eventsource-parser-3.1.1.tgz",
"integrity": "sha512-EKN1vKAMcZ8MlYMpaNuxN6R9yakzH6uajHcHVTqWJzvu5pWw9DyhbP35HH8MVBQ+dZjAfDxk+A8NiR9KWaXiyQ==",
"license": "MIT",
"engines": {
"node": ">=18.0.0"
}
}
}
}
{
"name": "sample-eventsource-eventsource",
"version": "1.0.0",
"type": "module",
"private": true,
"license": "MIT-0",
"scripts": {
"test": "node test/contract.mjs"
},
"dependencies": {
"eventsource": "3.0.7"
}
}
{
"schemaVersion": 1,
"goal": "verify eventsource.EventSource in pkg:npm/eventsource@3.0.7",
"kind": "HOW",
"packages": [
"pkg:npm/eventsource@3.0.7"
],
"symbols": [
"eventsource.EventSource"
]
}
import assert from 'node:assert/strict';
import http from 'node:http';
import { EventSource, ErrorEvent, createEventSource, createMockSSEFetch } from '../index.mjs';
// Contract 1: EventSource defines static and instance readyState constants: CONNECTING (0), OPEN (1), and CLOSED (2)
assert.equal(EventSource.CONNECTING, 0);
assert.equal(EventSource.OPEN, 1);
assert.equal(EventSource.CLOSED, 2);
const esInit = createEventSource('http://127.0.0.1:9000/sse', { withCredentials: true });
assert.equal(esInit.CONNECTING, 0);
assert.equal(esInit.OPEN, 1);
assert.equal(esInit.CLOSED, 2);
// Contract 2: EventSource constructor initializes readyState as CONNECTING and stores target url and withCredentials option
assert.equal(esInit.readyState, EventSource.CONNECTING);
assert.equal(esInit.url, 'http://127.0.0.1:9000/sse');
assert.equal(esInit.withCredentials, true);
// Contract 8: EventSource close() terminates active stream connection and sets readyState to CLOSED
esInit.close();
assert.equal(esInit.readyState, EventSource.CLOSED);
// Contract 7: EventSource accepts custom fetch implementation in EventSourceInit to stream SSE events
// Contract 6: EventSource concatenates multiline data lines into a single newline-separated message data string
await new Promise((resolve, reject) => {
let customFetchCalled = false;
const mockChunks = [
'data: line1\ndata: line2\n\n',
'data: single-line\n\n',
];
const customFetch = createMockSSEFetch(mockChunks);
const wrappedFetch = async (url, init) => {
customFetchCalled = true;
assert.equal(init.headers.Accept, 'text/event-stream');
return customFetch(url, init);
};
const es = createEventSource('http://localhost/mock-sse', { fetch: wrappedFetch });
const received = [];
es.onmessage = (event) => {
received.push(event.data);
if (received.length === 2) {
try {
assert.ok(customFetchCalled, 'Custom fetch implementation must be invoked');
assert.equal(received[0], 'line1\nline2', 'Multiline data must be joined with newlines');
assert.equal(received[1], 'single-line');
es.close();
assert.equal(es.readyState, EventSource.CLOSED);
resolve();
} catch (err) {
es.close();
reject(err);
}
}
};
es.onerror = (err) => {
es.close();
reject(new Error('Unexpected error in mock fetch: ' + String(err)));
};
});
// Contract 3: EventSource connects to SSE HTTP endpoint, emits open event, and transitions readyState to OPEN
// Contract 4: EventSource receives standard messages and delivers event payload via onmessage handler
// Contract 5: EventSource dispatches named custom SSE events to registered addEventListener listeners
await new Promise((resolve, reject) => {
const server = http.createServer((req, res) => {
res.writeHead(200, {
'Content-Type': 'text/event-stream; charset=utf-8',
'Cache-Control': 'no-cache',
'Connection': 'keep-alive',
});
res.write('data: standard greeting\n\n');
res.write('event: ping\ndata: heartbeat\n\n');
});
server.listen(0, '127.0.0.1', () => {
const port = server.address().port;
const es = createEventSource(`http://127.0.0.1:${port}/events`);
let openFired = false;
let standardReceived = false;
es.onopen = () => {
openFired = true;
assert.equal(es.readyState, EventSource.OPEN);
};
es.onmessage = (event) => {
assert.equal(event.data, 'standard greeting');
standardReceived = true;
};
es.addEventListener('ping', (event) => {
try {
assert.ok(openFired, 'open event must fire before or with messages');
assert.ok(standardReceived, 'standard onmessage must receive payload');
assert.equal(event.data, 'heartbeat', 'custom event listener must receive data');
es.close();
assert.equal(es.readyState, EventSource.CLOSED);
server.close(() => resolve());
} catch (err) {
es.close();
server.close(() => reject(err));
}
});
es.onerror = (err) => {
es.close();
server.close(() => reject(new Error('Unexpected HTTP server stream error: ' + String(err))));
};
});
});
// Contract 9: EventSource onerror triggers on HTTP error responses without entering OPEN state
await new Promise((resolve, reject) => {
const server = http.createServer((req, res) => {
res.writeHead(500, { 'Content-Type': 'text/plain' });
res.end('Internal Server Error');
});
server.listen(0, '127.0.0.1', () => {
const port = server.address().port;
const es = createEventSource(`http://127.0.0.1:${port}/error`);
let opened = false;
es.onopen = () => {
opened = true;
};
es.onerror = (event) => {
try {
assert.equal(opened, false, 'Connection must not open on 500 error');
assert.equal(event.type, 'error');
es.close();
assert.equal(es.readyState, EventSource.CLOSED);
server.close(() => resolve());
} catch (err) {
es.close();
server.close(() => reject(err));
}
};
});
});
console.log('Contract tests passed successfully.');
Seeder de origen
anónimo