pvutils 1.2.0: padNumber

audit=false
fund=false

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 pvutils.padNumber in pkg:npm/pvutils@1.2.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/pvutils@1.2.0
Demonstrate these symbols/APIs:
  - pvutils.padNumber

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:330afeda5e6ac6e2e30b4ae7115b725af1b32bb46aa5141139b8741bc434f162","constraints":{"executionContext":"node"},"contract":["assert pvutils.padNumber pads positive integers with leading zeros to the specified target length","assert pvutils.padNumber returns the exact number string unchanged when target length equals string length","assert pvutils.padNumber returns an empty string when target length is strictly less than string length","assert pvutils.padNumber handles zero as inputNumber padding with leading zeros to the specified length","assert pvutils.padNumber supports single-digit padding and preserves integer string formatting"],"goal":"verify pvutils.padNumber in pkg:npm/pvutils@1.2.0","kind":"HOW","packages":["pkg:npm/pvutils@1.2.0"],"schemaVersion":1,"symbols":["pvutils.padNumber"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","executionContext":"node","language":"javascript","libc":"glibc","libcVersion":"2.39","moduleSystem":"cjs","os":"linux","osVersionBucket":"24","packageManager":"npm","packageManagerVersion":"10.9.8","runtime":"node","runtimeVersion":"22.23.2","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/pvutils@1.2.0"],"schemaVersion":1,"subject":"pkg:npm/pvutils@1.2.0","symbols":["pvutils.padNumber"],"verifierAdapter":"node-typescript@1"}

const pvutils = require('pvutils');

function padNumber(inputNumber, fullLength) {
  return pvutils.padNumber(inputNumber, fullLength);
}

function formatWithPadding(inputNumber, fullLength) {
  return pvutils.padNumber(inputNumber, fullLength);
}

module.exports = {
  pvutils,
  padNumber,
  formatWithPadding,
};

{
  "name": "sample-pvutils",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-pvutils",
      "version": "1.0.0",
      "license": "MIT-0",
      "dependencies": {
        "pvutils": "1.2.0"
      }
    },
    "node_modules/pvutils": {
      "version": "1.2.0",
      "resolved": "https://registry.npmjs.org/pvutils/-/pvutils-1.2.0.tgz",
      "integrity": "sha512-BbubeCEyTuQjVMakvJQ/Sxbc93F2pwmbsxONT/ZRrwU7Ua38d8unYTwXpTVLAKJ4BDuH9IGztCjQcd/N/39Dvg==",
      "license": "MIT",
      "engines": {
        "node": ">=16.0.0"
      }
    }
  }
}

{
  "name": "sample-pvutils",
  "version": "1.0.0",
  "description": "Minimal clean-room sample verifying pvutils.padNumber in pvutils",
  "main": "index.js",
  "license": "MIT-0",
  "dependencies": {
    "pvutils": "1.2.0"
  }
}

{
  "schemaVersion": 1,
  "goal": "verify pvutils.padNumber in pkg:npm/pvutils@1.2.0",
  "kind": "HOW",
  "packages": [
    "pkg:npm/pvutils@1.2.0"
  ],
  "symbols": [
    "pvutils.padNumber"
  ]
}

import assert from 'node:assert';
import pvutils from 'pvutils';
import { padNumber, formatWithPadding } from '../index.js';

// 1. assert pvutils.padNumber pads positive integers with leading zeros to the specified target length
assert.strictEqual(padNumber(5, 3), '005');
assert.strictEqual(padNumber(42, 5), '00042');
assert.strictEqual(padNumber(1234, 6), '001234');
assert.strictEqual(formatWithPadding(7, 4), '0007');

// 2. assert pvutils.padNumber returns the exact number string unchanged when target length equals string length
assert.strictEqual(padNumber(123, 3), '123');
assert.strictEqual(padNumber(0, 1), '0');
assert.strictEqual(padNumber(9999, 4), '9999');

// 3. assert pvutils.padNumber returns an empty string when target length is strictly less than string length
assert.strictEqual(padNumber(123, 2), '');
assert.strictEqual(padNumber(45678, 4), '');
assert.strictEqual(padNumber(10, 1), '');

// 4. assert pvutils.padNumber handles zero as inputNumber padding with leading zeros to the specified length
assert.strictEqual(padNumber(0, 4), '0000');
assert.strictEqual(padNumber(0, 1), '0');
assert.strictEqual(padNumber(0, 0), '');

// 5. assert pvutils.padNumber supports single-digit padding and preserves integer string formatting
assert.strictEqual(padNumber(7, 1), '7');
assert.strictEqual(padNumber(7, 2), '07');
assert.strictEqual(padNumber(9, 3), '009');

console.log('All pvutils.padNumber contract assertions passed.');