Skip to content

GBSKernels v0.2.1

Choose a tag to compare

View all tags
@chaofanzhougit chaofanzhougit released this 25 Jul 05:29
· 10 commits to main since this release
v0.2.1
96fe1a7

GBSKernels v0.2.1

GBSKernels 0.2.1 is a correctness and reproducibility release for the
certified permanent, hafnian, loop-hafnian, and torontonian paths.

Correctness

  • Adds explicit absolute underflow terms to the FP64 and double-double (DD)
    certified recurrences, including recursive-torontonian subtree collapse.
  • Replaces assumed DD division and square-root constants with outward residual
    bounds on the values actually returned.
  • Makes certified APIs fail closed on non-finite inputs, values, bounds, and
    tolerances.
  • Requires the single-large real torontonian input to be finite and exactly
    symmetric before GPU dispatch, and removes binary64 inversion skew from the
    canonical xxpp construction.
  • Corrects the retained Jiuzhang fixed-sample aggregation to its realized
    finite-population stratified estimand. This historical sample is exploratory,
    not preregistered or confirmatory.

Reproducibility

  • Records full Git identity and tracked-dirty state when Git metadata is
    available. The rsynced validation host used the environment-supplied
    GBS_COMMIT, so its dirty state is recorded as unknown rather than guessed.
  • Ships checksummed session evidence, small validation inputs, and third-party
    attribution. The manifest does not hash the uploaded source tree or loaded
    CUDA-extension binary.
  • Packages the historical selector, corrected aggregator, decoder audit, five
    retained checkpoint files, and canonical selection/result artifacts.
  • CI enforces the lock file and rebuilds the consumer wheel from the source
    distribution before running the end-to-end example.

Validation

  • Release commit: 96fe1a73db130df3bcf15a9d00e94cadad24f481
  • Annotated tag object: b2f7804d8db4e25d0db54f4d5ea9469bc99e4e64
  • Public CI: fast CPU, slow CPU, and sdist-to-wheel consumer jobs passed.
  • Device: NVIDIA GeForce RTX 4090 (sm_89), CUDA 12.4, driver 550.144.03.
  • Container: nvidia/cuda@sha256:da6791294b0b04d7e65d87b7451d6f2390b4d36225ab0701ee7dfec5769829f5.
  • All 24 CUDA device gates and the mandatory nanobind GPU smoke passed.
  • The 50-digit-evaluated, binary64-recorded adversarial/physical reference gate
    checked 312 of 312 cases at k=2..14, with zero violations and zero refusals.
  • Gate C completed paired FP64/DD timings at k=25..32 and 28 physical-event
    evaluations with zero certificate refusals.

The authoritative release-validation manifest is
validation_v021_20260724T115201Z.json (SHA-256
9e72f42baa676085376d17dc8eee039bdb0908ac92dd8dde29967af7705747a9).
The session is release-commit-attributed through GBS_COMMIT; because the
rsynced host had no Git metadata and the record has no source-tree or loaded
extension hash, this is not a cryptographic source/binary binding to the tagged
commit. Nsight Compute performance counters were unavailable on the rented
container; those profiler diagnostics are explicitly non-gating.

Installation

The CPU package is published on PyPI:

python -m pip install gbskernels==0.2.1

The exact wheel and source distribution are also attached to this release and
listed in SHA256SUMS.txt.

Scope

This release validates the tested numerical implementation paths and release
workflow in the recorded session; the finite tests are not a universal theorem.
It does not create a completed Jiuzhang confirmatory-v2 registration or a new
scientific outcome. Missing historical GPU/container/source provenance for the
retained 2026-07-15 event rows is disclosed rather than reconstructed.

See SHA256SUMS.txt for every attached asset digest and CHANGELOG.md for the
complete change list.

Assets 12
Loading