math-intrinsics 1.1.0: abs, floor, isFinite

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 pkg:npm/math-intrinsics@1.1.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/math-intrinsics@1.1.0
Constraints:
  - executionContext: node
Required runtime conditions:
  - ecosystem: npm
  - language: javascript
  - moduleSystem: cjs
  - packageManager: npm@11.8.0
  - runtime: node@24.13.1

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:04d1321d3e992344507feeb819c2b7ab46ae05b2a58d33f6f74fcafc84f9ca2a","constraints":{"executionContext":"node"},"contract":["abs returns absolute value for positive, negative, and signed zero inputs","floor returns the largest integer less than or equal to a given number","isFinite returns true only for finite number primitives and false for non-numbers and infinities","isInteger returns true for integer numbers and false for non-integers and non-numbers","isNaN returns true exclusively for NaN and false for non-NaN values including strings","isNegativeZero correctly distinguishes -0 from +0 and other values","max and min compute multi-argument numeric extremums correctly","mod computes mathematical positive modulo for positive and negative numbers","pow computes exponentiation base to power","round returns the value of a number rounded to the nearest integer","sign returns correct numeric sign for positive, negative, zero, and infinity","constants expose maxArrayLength, maxSafeInteger, and maxValue with exact standard numeric values"],"goal":"verify pkg:npm/math-intrinsics@1.1.0","kind":"HOW","packages":["pkg:npm/math-intrinsics@1.1.0"],"schemaVersion":1,"symbols":["math-intrinsics/abs","math-intrinsics/floor","math-intrinsics/isFinite","math-intrinsics/isInteger","math-intrinsics/isNaN","math-intrinsics/isNegativeZero","math-intrinsics/max","math-intrinsics/min","math-intrinsics/mod","math-intrinsics/pow","math-intrinsics/round","math-intrinsics/sign","math-intrinsics/constants/maxArrayLength","math-intrinsics/constants/maxSafeInteger","math-intrinsics/constants/maxValue"]},"contractCommand":["node","test/contract.js"],"environment":{"arch":"x64","ecosystem":"npm","executionContext":"node","language":"javascript","moduleSystem":"cjs","os":"linux","packageManager":"npm","packageManagerVersion":"10","runtime":"node","runtimeVersion":"22","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/math-intrinsics@1.1.0"],"schemaVersion":1,"symbols":["math-intrinsics/abs","math-intrinsics/floor","math-intrinsics/isFinite","math-intrinsics/isInteger","math-intrinsics/isNaN","math-intrinsics/isNegativeZero","math-intrinsics/max","math-intrinsics/min","math-intrinsics/mod","math-intrinsics/pow","math-intrinsics/round","math-intrinsics/sign","math-intrinsics/constants/maxArrayLength","math-intrinsics/constants/maxSafeInteger","math-intrinsics/constants/maxValue"],"verifierAdapter":"node-typescript@1"}

'use strict';

var abs = require('math-intrinsics/abs');
var floor = require('math-intrinsics/floor');
var isFiniteHelper = require('math-intrinsics/isFinite');
var isInteger = require('math-intrinsics/isInteger');
var isNaNHelper = require('math-intrinsics/isNaN');
var isNegativeZero = require('math-intrinsics/isNegativeZero');
var max = require('math-intrinsics/max');
var min = require('math-intrinsics/min');
var mod = require('math-intrinsics/mod');
var pow = require('math-intrinsics/pow');
var round = require('math-intrinsics/round');
var sign = require('math-intrinsics/sign');
var maxArrayLength = require('math-intrinsics/constants/maxArrayLength');
var maxSafeInteger = require('math-intrinsics/constants/maxSafeInteger');
var maxValue = require('math-intrinsics/constants/maxValue');

function clamp(val, low, high) {
  return min(max(val, low), high);
}

function safeModulo(number, modulo) {
  return mod(number, modulo);
}

module.exports = {
  abs: abs,
  floor: floor,
  isFinite: isFiniteHelper,
  isInteger: isInteger,
  isNaN: isNaNHelper,
  isNegativeZero: isNegativeZero,
  max: max,
  min: min,
  mod: mod,
  pow: pow,
  round: round,
  sign: sign,
  constants: {
    maxArrayLength: maxArrayLength,
    maxSafeInteger: maxSafeInteger,
    maxValue: maxValue
  },
  clamp: clamp,
  safeModulo: safeModulo
};

{
  "name": "sample-math-intrinsics",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-math-intrinsics",
      "version": "1.0.0",
      "dependencies": {
        "math-intrinsics": "1.1.0"
      }
    },
    "node_modules/math-intrinsics": {
      "version": "1.1.0",
      "resolved": "https://registry.npmjs.org/math-intrinsics/-/math-intrinsics-1.1.0.tgz",
      "integrity": "sha512-/IXtbwEk5HTPyEwyKX6hGkYXxM9nbj64B+ilVJnC/R6B0pH5G4V3b0pVbL7DBj4tkhBAppbQUlf6F6Xl9LHu1g==",
      "license": "MIT",
      "engines": {
        "node": ">= 0.4"
      }
    }
  }
}

{
  "name": "sample-math-intrinsics",
  "version": "1.0.0",
  "private": true,
  "description": "Clean-room verification of math-intrinsics intrinsics and helpers",
  "main": "index.js",
  "scripts": {
    "test": "node test/contract.js"
  },
  "dependencies": {
    "math-intrinsics": "1.1.0"
  }
}

{
  "schemaVersion": 1,
  "goal": "verify pkg:npm/math-intrinsics@1.1.0",
  "kind": "HOW",
  "packages": [
    "pkg:npm/math-intrinsics@1.1.0"
  ],
  "constraints": {
    "executionContext": "node"
  },
  "runtimeConditions": {
    "ecosystem": "npm",
    "language": "javascript",
    "moduleSystem": "cjs",
    "packageManager": "npm@11.8.0",
    "runtime": "node@24.13.1"
  }
}

'use strict';

var assert = require('assert');
var sample = require('../index.js');

// 1. abs
assert.strictEqual(sample.abs(-5), 5);
assert.strictEqual(sample.abs(5), 5);
assert.strictEqual(sample.abs(0), 0);
assert.strictEqual(sample.abs(-0), 0);

// 2. floor
assert.strictEqual(sample.floor(3.7), 3);
assert.strictEqual(sample.floor(-3.2), -4);
assert.strictEqual(sample.floor(0), 0);

// 3. isFinite
assert.strictEqual(sample.isFinite(100), true);
assert.strictEqual(sample.isFinite(0), true);
assert.strictEqual(sample.isFinite(-0), true);
assert.strictEqual(sample.isFinite(Infinity), false);
assert.strictEqual(sample.isFinite(-Infinity), false);
assert.strictEqual(sample.isFinite(NaN), false);
assert.strictEqual(sample.isFinite('100'), false);
assert.strictEqual(sample.isFinite(null), false);
assert.strictEqual(sample.isFinite(undefined), false);

// 4. isInteger
assert.strictEqual(sample.isInteger(42), true);
assert.strictEqual(sample.isInteger(-42), true);
assert.strictEqual(sample.isInteger(0), true);
assert.strictEqual(sample.isInteger(42.5), false);
assert.strictEqual(sample.isInteger('42'), false);
assert.strictEqual(sample.isInteger(Infinity), false);
assert.strictEqual(sample.isInteger(NaN), false);

// 5. isNaN
assert.strictEqual(sample.isNaN(NaN), true);
assert.strictEqual(sample.isNaN(42), false);
assert.strictEqual(sample.isNaN('NaN'), false);
assert.strictEqual(sample.isNaN(undefined), false);
assert.strictEqual(sample.isNaN(null), false);

// 6. isNegativeZero
assert.strictEqual(sample.isNegativeZero(-0), true);
assert.strictEqual(sample.isNegativeZero(0), false);
assert.strictEqual(sample.isNegativeZero(+0), false);
assert.strictEqual(sample.isNegativeZero(-1), false);
assert.strictEqual(sample.isNegativeZero(1), false);
assert.strictEqual(sample.isNegativeZero(NaN), false);
assert.strictEqual(sample.isNegativeZero(Infinity), false);

// 7. max and min
assert.strictEqual(sample.max(1, 5, 2), 5);
assert.strictEqual(sample.max(-10, -5, -20), -5);
assert.strictEqual(sample.min(1, 5, -2), -2);
assert.strictEqual(sample.min(10, 20, 30), 10);

// 8. mod (mathematical floor modulo)
assert.strictEqual(sample.mod(7, 3), 1);
assert.strictEqual(sample.mod(-1, 5), 4);
assert.strictEqual(sample.mod(10, 5), 0);

// 9. pow
assert.strictEqual(sample.pow(2, 3), 8);
assert.strictEqual(sample.pow(2, 8), 256);
assert.strictEqual(sample.pow(9, 0.5), 3);

// 10. round
assert.strictEqual(sample.round(1.1), 1);
assert.strictEqual(sample.round(1.5), 2);
assert.strictEqual(sample.round(1.9), 2);
assert.strictEqual(sample.round(-1.5), -1);

// 11. sign
assert.strictEqual(sample.sign(-5), -1);
assert.strictEqual(sample.sign(5), 1);
assert.strictEqual(sample.sign(0), 0);
assert.strictEqual(sample.sign(-0), -0);
assert.strictEqual(sample.sign(Infinity), 1);
assert.strictEqual(sample.sign(-Infinity), -1);
assert.ok(Number.isNaN(sample.sign(NaN)));

// 12. constants
assert.strictEqual(sample.constants.maxArrayLength, 4294967295);
assert.strictEqual(sample.constants.maxSafeInteger, 9007199254740991);
assert.strictEqual(sample.constants.maxValue, Number.MAX_VALUE);

// 13. helpers
assert.strictEqual(sample.clamp(15, 0, 10), 10);
assert.strictEqual(sample.clamp(-5, 0, 10), 0);
assert.strictEqual(sample.clamp(5, 0, 10), 5);
assert.strictEqual(sample.safeModulo(-3, 10), 7);

console.log('PASS: math-intrinsics contract verified');