bare-os 3.9.3: execPath

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 execPath in pkg:npm/bare-os@3.9.3
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/bare-os@3.9.3
Demonstrate these symbols/APIs:
  - execPath

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:b42ebc2fe6bd0eff107c0295b9066c66482905e3b0f98d5208a7ee74fbbaab27","contract":["declares execPath function in index.d.ts returning string type for executable path","defines execPath in index.js delegating execution to native binding execPath method","implements bare_os_exec_path in binding.c invoking uv_exepath and converting to UTF-8 JavaScript string","registers execPath symbol in addon native exports definition table","verifies bare-os package manifest exports mapping, CMake build specification, and prebuild artifacts"],"goal":"verify execPath in pkg:npm/bare-os@3.9.3","kind":"HOW","packages":["pkg:npm/bare-os@3.9.3"],"schemaVersion":1,"symbols":["execPath"]},"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/bare-os@3.9.3"],"schemaVersion":1,"subject":"pkg:npm/bare-os@3.9.3","symbols":["execPath"],"verifierAdapter":"node-typescript@1"}

{
  "name": "sample-bare-os-execpath",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-bare-os-execpath",
      "version": "1.0.0",
      "license": "MIT-0",
      "dependencies": {
        "bare-os": "3.9.3"
      }
    },
    "node_modules/bare-os": {
      "version": "3.9.3",
      "resolved": "https://registry.npmjs.org/bare-os/-/bare-os-3.9.3.tgz",
      "integrity": "sha512-fF4Q7QsyKVF5Rj0qvI8BgUNjqzC2JvQlpTaPLjVJVxYVUX5Zr9un+y3w1HmA4nNKdFmRBT8z/WmrjvXzXVerKQ==",
      "license": "Apache-2.0",
      "engines": {
        "bare": ">=1.14.0"
      }
    }
  }
}

{
  "name": "sample-bare-os-execpath",
  "version": "1.0.0",
  "private": true,
  "type": "module",
  "license": "MIT-0",
  "dependencies": {
    "bare-os": "3.9.3"
  }
}

{
  "schemaVersion": 1,
  "goal": "verify execPath in pkg:npm/bare-os@3.9.3",
  "kind": "HOW",
  "packages": [
    "pkg:npm/bare-os@3.9.3"
  ],
  "symbols": [
    "execPath"
  ]
}

import assert from 'node:assert/strict';
import { createRequire } from 'node:module';
import fs from 'node:fs';
import path from 'node:path';

const require = createRequire(import.meta.url);

// 1. Resolve package manifest and verify package structure
const pkgPath = require.resolve('bare-os/package');
const pkg = JSON.parse(fs.readFileSync(pkgPath, 'utf8'));

assert.equal(pkg.name, 'bare-os', 'Package name must be bare-os');
assert.equal(pkg.version, '3.9.3', 'Package version must be 3.9.3');
assert.equal(pkg.exports['.'].types, './index.d.ts', 'Root export must have index.d.ts types');
assert.equal(pkg.exports['.'].default, './index.js', 'Root export must have index.js default');

const pkgDir = path.dirname(pkgPath);
const indexDtsPath = path.join(pkgDir, 'index.d.ts');
const indexJsPath = path.join(pkgDir, 'index.js');
const bindingCPath = path.join(pkgDir, 'binding.c');

// 2. Verify execPath type declaration in index.d.ts
assert.ok(fs.existsSync(indexDtsPath), 'index.d.ts must exist');
const indexDts = fs.readFileSync(indexDtsPath, 'utf8');
assert.match(
  indexDts,
  /export\s+function\s+execPath\(\)\s*:\s*string/,
  'index.d.ts must declare execPath(): string'
);

// 3. Verify execPath export in index.js
assert.ok(fs.existsSync(indexJsPath), 'index.js must exist');
const indexJs = fs.readFileSync(indexJsPath, 'utf8');
assert.match(
  indexJs,
  /exports\.execPath\s*=\s*function\s+execPath\s*\(\)\s*\{\s*return\s+binding\.execPath\(\)\s*\}/,
  'index.js must define execPath delegating to binding.execPath()'
);

// 4. Verify native C binding implementation in binding.c
assert.ok(fs.existsSync(bindingCPath), 'binding.c must exist');
const bindingC = fs.readFileSync(bindingCPath, 'utf8');

// Verify bare_os_exec_path C function implementation
assert.ok(
  bindingC.includes('bare_os_exec_path(js_env_t *env, js_callback_info_t *info)'),
  'binding.c must implement bare_os_exec_path callback function'
);
assert.ok(
  bindingC.includes('uv_exepath(exec_path, &len)'),
  'bare_os_exec_path must call uv_exepath to retrieve executable path'
);
assert.ok(
  bindingC.includes('js_create_string_utf8(env, (utf8_t *) exec_path, len, &result)'),
  'bare_os_exec_path must construct UTF-8 js string from exec_path'
);

// Verify export registration in addon init
assert.ok(
  bindingC.includes('V("execPath", bare_os_exec_path)'),
  'binding.c must register execPath in exports table'
);

// 5. Verify platform prebuild artifacts and CMake build file
assert.ok(fs.existsSync(path.join(pkgDir, 'CMakeLists.txt')), 'CMakeLists.txt must exist');
assert.ok(fs.existsSync(path.join(pkgDir, 'prebuilds', 'linux-x64', 'bare-os.bare')), 'linux-x64 prebuild artifact must exist');

console.log('Contract passed: execPath in pkg:npm/bare-os@3.9.3 successfully verified');