Exemple
pac-resolver 7.0.1: createPacResolver
Échantillon vérifié pour npm pac-resolver 7.0.1: createPacResolver. Le contrat s'est exécuté sur node 22 · linux alpine/x64 · docker et a réussi.
sha256:a77091722c2c3068f393a5a7bab86a310794e2a61b268c27df6cbea078e58376
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 pac-resolver.createPacResolver in pkg:npm/pac-resolver@7.0.1
- Paquets
- Symboles
-
- pac-resolver.createPacResolver
- Environnement
- node 22.23.2
- Créé
- 2026-08-27T11:36:01Z
Contrat
- createPacResolver compiles a PAC script using QuickJS WebAssembly module into an asynchronous FindProxyForURL function
- FindProxyForURL evaluates standard PAC helper functions like shExpMatch and dnsDomainIs against requested URL and host
- FindProxyForURL accepts string or Buffer PAC definitions and string or URL object parameters
- createPacResolver supports custom sandbox functions passed via options.sandbox
Fichiers
- PROMPT.md
- csx.json
- package-lock.json
- package.json
- spec.json
- test/contract.mjs
Code source
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 pac-resolver.createPacResolver in pkg:npm/pac-resolver@7.0.1
Kind: HOW
Use EXACTLY these public packages and versions:
- pkg:npm/pac-resolver@7.0.1
Demonstrate these symbols/APIs:
- pac-resolver.createPacResolver
Constraints:
- executionContext: node
Required runtime conditions:
- ecosystem: npm
- language: javascript
- moduleSystem: esm
- packageManager: npm@10.9.8
- runtime: node@22.23.2
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:053eda673a847e97d9b18a0941e922e4c0a482b85eab888eec945134b343fd01","constraints":{"executionContext":"node"},"contract":["createPacResolver compiles a PAC script using QuickJS WebAssembly module into an asynchronous FindProxyForURL function","FindProxyForURL evaluates standard PAC helper functions like shExpMatch and dnsDomainIs against requested URL and host","FindProxyForURL accepts string or Buffer PAC definitions and string or URL object parameters","createPacResolver supports custom sandbox functions passed via options.sandbox"],"goal":"verify pac-resolver.createPacResolver in pkg:npm/pac-resolver@7.0.1","kind":"HOW","packages":["pkg:npm/pac-resolver@7.0.1"],"schemaVersion":1,"symbols":["pac-resolver.createPacResolver"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","executionContext":"node","language":"javascript","libc":"glibc","libcVersion":"2.39","moduleSystem":"esm","os":"linux","osVersionBucket":"24","packageManager":"npm","packageManagerVersion":"10.9.8","runtime":"node","runtimeVersion":"22.23.2","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/pac-resolver@7.0.1"],"schemaVersion":1,"subject":"pkg:npm/pac-resolver@7.0.1","symbols":["pac-resolver.createPacResolver"],"verifierAdapter":"node-typescript@1"}
{
"name": "sample-pac-resolver",
"version": "1.0.0",
"lockfileVersion": 3,
"requires": true,
"packages": {
"": {
"name": "sample-pac-resolver",
"version": "1.0.0",
"dependencies": {
"@tootallnate/quickjs-emscripten": "^0.23.0",
"pac-resolver": "7.0.1"
}
},
"node_modules/@tootallnate/quickjs-emscripten": {
"version": "0.23.0",
"resolved": "https://registry.npmjs.org/@tootallnate/quickjs-emscripten/-/quickjs-emscripten-0.23.0.tgz",
"integrity": "sha512-C5Mc6rdnsaJDjO3UpGW/CQTHtCKaYlScZTly4JIu97Jxo/odCiH0ITnDXSJPTOrEKk/ycSZ0AOgTmkDtkOsvIA==",
"license": "MIT"
},
"node_modules/ast-types": {
"version": "0.13.4",
"resolved": "https://registry.npmjs.org/ast-types/-/ast-types-0.13.4.tgz",
"integrity": "sha512-x1FCFnFifvYDDzTaLII71vG5uvDwgtmDTEVWAxrgeiR8VjMONcCXJx7E+USjDtHlwFmt9MysbqgF9b9Vjr6w+w==",
"license": "MIT",
"dependencies": {
"tslib": "^2.0.1"
},
"engines": {
"node": ">=4"
}
},
"node_modules/degenerator": {
"version": "5.0.1",
"resolved": "https://registry.npmjs.org/degenerator/-/degenerator-5.0.1.tgz",
"integrity": "sha512-TllpMR/t0M5sqCXfj85i4XaAzxmS5tVA16dqvdkMwGmzI+dXLXnw3J+3Vdv7VKw+ThlTMboK6i9rnZ6Nntj5CQ==",
"license": "MIT",
"dependencies": {
"ast-types": "^0.13.4",
"escodegen": "^2.1.0",
"esprima": "^4.0.1"
},
"engines": {
"node": ">= 14"
}
},
"node_modules/escodegen": {
"version": "2.1.0",
"resolved": "https://registry.npmjs.org/escodegen/-/escodegen-2.1.0.tgz",
"integrity": "sha512-2NlIDTwUWJN0mRPQOdtQBzbUHvdGY2P1VXSyU83Q3xKxM7WHX2Ql8dKq782Q9TgQUNOLEzEYu9bzLNj1q88I5w==",
"license": "BSD-2-Clause",
"dependencies": {
"esprima": "^4.0.1",
"estraverse": "^5.2.0",
"esutils": "^2.0.2"
},
"bin": {
"escodegen": "bin/escodegen.js",
"esgenerate": "bin/esgenerate.js"
},
"engines": {
"node": ">=6.0"
},
"optionalDependencies": {
"source-map": "~0.6.1"
}
},
"node_modules/esprima": {
"version": "4.0.1",
"resolved": "https://registry.npmjs.org/esprima/-/esprima-4.0.1.tgz",
"integrity": "sha512-eGuFFw7Upda+g4p+QHvnW0RyTX/SVeJBDM/gCtMARO0cLuT2HcEKnTPvhjV6aGeqrCB/sbNop0Kszm0jsaWU4A==",
"license": "BSD-2-Clause",
"bin": {
"esparse": "bin/esparse.js",
"esvalidate": "bin/esvalidate.js"
},
"engines": {
"node": ">=4"
}
},
"node_modules/estraverse": {
"version": "5.3.0",
"resolved": "https://registry.npmjs.org/estraverse/-/estraverse-5.3.0.tgz",
"integrity": "sha512-MMdARuVEQziNTeJD8DgMqmhwR11BRQ/cBP+pLtYdSTnf3MIO8fFeiINEbX36ZdNlfU/7A9f3gUw49B3oQsvwBA==",
"license": "BSD-2-Clause",
"engines": {
"node": ">=4.0"
}
},
"node_modules/esutils": {
"version": "2.0.3",
"resolved": "https://registry.npmjs.org/esutils/-/esutils-2.0.3.tgz",
"integrity": "sha512-kVscqXk4OCp68SZ0dkgEKVi6/8ij300KBWTJq32P/dYeWTSwK41WyTxalN1eRmA5Z9UU/LX9D7FWSmV9SAYx6g==",
"license": "BSD-2-Clause",
"engines": {
"node": ">=0.10.0"
}
},
"node_modules/netmask": {
"version": "2.1.1",
"resolved": "https://registry.npmjs.org/netmask/-/netmask-2.1.1.tgz",
"integrity": "sha512-eonl3sLUha+S1GzTPxychyhnUzKyeQkZ7jLjKrBagJgPla13F+uQ71HgpFefyHgqrjEbCPkDArxYsjY8/+gLKA==",
"license": "MIT",
"engines": {
"node": ">= 0.4.0"
}
},
"node_modules/pac-resolver": {
"version": "7.0.1",
"resolved": "https://registry.npmjs.org/pac-resolver/-/pac-resolver-7.0.1.tgz",
"integrity": "sha512-5NPgf87AT2STgwa2ntRMr45jTKrYBGkVU36yT0ig/n/GMAa3oPqhZfIQ2kMEimReg0+t9kZViDVZ83qfVUlckg==",
"license": "MIT",
"dependencies": {
"degenerator": "^5.0.0",
"netmask": "^2.0.2"
},
"engines": {
"node": ">= 14"
}
},
"node_modules/source-map": {
"version": "0.6.1",
"resolved": "https://registry.npmjs.org/source-map/-/source-map-0.6.1.tgz",
"integrity": "sha512-UjgapumWlbMhkBgzT7Ykc5YXUT46F0iKu8SGXq0bcwP5dz/h0Plj6enJqjz1Zbq2l5WaqYnrVbwWOWMyF3F47g==",
"license": "BSD-3-Clause",
"optional": true,
"engines": {
"node": ">=0.10.0"
}
},
"node_modules/tslib": {
"version": "2.8.1",
"resolved": "https://registry.npmjs.org/tslib/-/tslib-2.8.1.tgz",
"integrity": "sha512-oJFu94HQb+KVduSUQL7wnpmqnfmLsOA/nAh6b6EH0wCEoK0/mPeXU6c3wKDV83MkOuHPRHtSXKKU99IBazS/2w==",
"license": "0BSD"
}
}
}
{
"name": "sample-pac-resolver",
"version": "1.0.0",
"type": "module",
"private": true,
"dependencies": {
"@tootallnate/quickjs-emscripten": "^0.23.0",
"pac-resolver": "7.0.1"
}
}
{
"schemaVersion": 1,
"goal": "verify pac-resolver.createPacResolver in pkg:npm/pac-resolver@7.0.1",
"kind": "HOW",
"packages": [
"pkg:npm/pac-resolver@7.0.1"
],
"symbols": [
"pac-resolver.createPacResolver"
],
"constraints": {
"executionContext": "node"
},
"runtimeConditions": {
"ecosystem": "npm",
"language": "javascript",
"moduleSystem": "esm",
"packageManager": "npm@10.9.8",
"runtime": "node@22.23.2"
}
}
import assert from 'node:assert/strict';
import { getQuickJS } from '@tootallnate/quickjs-emscripten';
import { createPacResolver } from 'pac-resolver';
async function runTests() {
const qjs = await getQuickJS();
// Test 1: createPacResolver with PAC script string and shExpMatch routing
{
const pacScript = `
function FindProxyForURL(url, host) {
if (shExpMatch(host, '*.internal.example.com')) {
return 'PROXY proxy1.example.com:8080; DIRECT';
}
if (shExpMatch(host, '*.corp.example.com')) {
return 'PROXY proxy2.example.com:3128';
}
return 'DIRECT';
}
`;
const findProxy = createPacResolver(qjs, pacScript);
assert.equal(typeof findProxy, 'function', 'createPacResolver should return a resolver function');
const res1 = await findProxy('http://service.internal.example.com/api');
assert.equal(res1, 'PROXY proxy1.example.com:8080; DIRECT');
const res2 = await findProxy('https://app.corp.example.com/login');
assert.equal(res2, 'PROXY proxy2.example.com:3128');
const res3 = await findProxy('https://public.example.com/home');
assert.equal(res3, 'DIRECT');
}
// Test 2: createPacResolver with Buffer input and dnsDomainIs
{
const pacBuffer = Buffer.from(`
function FindProxyForURL(url, host) {
if (dnsDomainIs(host, '.secure.example.com')) {
return 'HTTPS secure-proxy.example.com:443';
}
return 'DIRECT';
}
`);
const findProxy = createPacResolver(qjs, pacBuffer);
const res = await findProxy('https://node.secure.example.com/data');
assert.equal(res, 'HTTPS secure-proxy.example.com:443');
const resDirect = await findProxy('https://node.other.example.com/data');
assert.equal(resDirect, 'DIRECT');
}
// Test 3: URL object support and explicit host parameter
{
const pacScript = `
function FindProxyForURL(url, host) {
return 'PROXY ' + host + '.proxy:8080';
}
`;
const findProxy = createPacResolver(qjs, pacScript);
const urlObj = new URL('http://gateway.example.com/resource');
const resUrl = await findProxy(urlObj);
assert.equal(resUrl, 'PROXY gateway.example.com.proxy:8080');
const resOverrideHost = await findProxy('http://ignored.example.com', 'custom.example.com');
assert.equal(resOverrideHost, 'PROXY custom.example.com.proxy:8080');
}
// Test 4: Custom sandbox helpers
{
const pacScript = `
function FindProxyForURL(url, host) {
if (customCheck(host)) {
return 'PROXY custom.example.com:8080';
}
return 'DIRECT';
}
`;
const findProxy = createPacResolver(qjs, pacScript, {
sandbox: {
customCheck: (h) => h === 'special.example.com',
},
});
const resSpecial = await findProxy('http://special.example.com/');
assert.equal(resSpecial, 'PROXY custom.example.com:8080');
const resNormal = await findProxy('http://normal.example.com/');
assert.equal(resNormal, 'DIRECT');
}
}
runTests().then(() => {
console.log('All contract tests passed.');
}).catch((err) => {
console.error('Contract test failure:', err);
process.exit(1);
});
Seeder d'origine
anonyme