Skip to content

Bigint non‑positive

bigintNonPositive validates that a value is a string representing a BigInt less than or equal to zero.

It enforces strict bigint‑string semantics: the value must be a string, must parse successfully as a BigInt literal, and must not be greater than 0n. If any condition fails, the rule emits a single validation event. Otherwise, it produces no validation output.

Signature

Through the API:

.bigintNonPositive()

And internally:

export const bigintNonPositive: ValidationRule
(value: unknown, path: FieldPath) => Promise<ReadonlyArray<JaneEvent>>

Events

Event code Description
bigint.not.string Value is not a string.
bigint.not.bigint String is not a valid bigint literal.
bigint.not.non-positive Parsed bigint is greater than zero.

Design rationale

  • Enforces strict bigint‑string validation with no coercion or normalization.
  • Rejects non‑string values early with a structural‑type diagnostic.
  • Treats empty strings and malformed literals as invalid bigint values.
  • Uses JavaScript’s BigInt() constructor for canonical parsing.
  • Ensures non‑positivity is explicit: only values ≤ 0n are accepted.
  • Emits exactly one event per failure for clarity and composability.
  • Pure, total, async‑compatible, and returns a readonly array of JaneEvent objects.
  • Preserves the provided path and supports pipeline‑level userMessage overrides.

Invoke

bigintNonPositive runs only when explicitly included in a boundary or pipeline. It does not run automatically.

The rule activates when:

  • The value is any JavaScript value.
  • If the value is not a string, emits bigint.not.string.
  • If the string is empty or cannot be parsed by BigInt, emits bigint.not.bigint.
  • If the parsed bigint is greater than 0n, emits bigint.not.non-positive.
  • Otherwise, returns an empty result set.

Examples

Valid — bigint string ≤ 0

await bigintNonPositive("0", "$");
// → []

await bigintNonPositive("-42", "$");
// → []

Invalid — not a string

await bigintNonPositive(123, "$");
// → [
//     JaneEvent{
//       kind: "error",
//       code: "bigint.not.string",
//       path: "$",
//       ...
//     }
//   ]

Invalid — malformed bigint literal

await bigintNonPositive("01", "$");
// → [
//     JaneEvent{
//       kind: "error",
//       code: "bigint.not.bigint",
//       path: "$",
//       ...
//     }
//   ]

Invalid — bigint > 0

await bigintNonPositive("42", "$");
// → [
//     JaneEvent{
//       kind: "error",
//       code: "bigint.not.non-positive",
//       path: "$",
//       ...
//     }
//   ]