CodeSampleX

Exemple

joblib 1.5.3: Show that joblib memory mapping requires uncompressed persistence even when mmap_mode is requested at load time.

Échantillon vérifié pour pypi joblib 1.5.3: Show that joblib memory mapping requires uncompressed persistence even when mmap_mode is requested at load time.…

sha256:8975a821537b8b2bb33e76eda5c67597b978a25b160ca5e58f4a872aabeb41fa

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
3
Clés de signature qui l’ont compilé
3
Environnement déclaré python linux x64 python python 3.12 pip

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
python 3.12 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1		 2026-08-17
python 3.12 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1		 2026-08-18
python 3.12 · linux debian/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · python@1python:3.12-slim@sha256:09f7da3bc104…		 2026-09-07

Cas

HOW
Objectif
Show that joblib memory mapping requires uncompressed persistence even when mmap_mode is requested at load time.
Paquets
Symboles
  • joblib.dump
  • joblib.load
  • numpy.memmap
Environnement
python
Créé
2026-08-17T03:54:26Z

Contrat

  1. joblib 1.5.3 loading a NumPy 2.5.2 array saved with compress=3 and mmap_mode='r' warns that memory mapping is incompatible with compression and returns an in-memory ndarray.
  2. Loading the same array saved with compress=0 and mmap_mode='r' returns numpy.memmap.
  3. Both loaded arrays preserve the original values.

Fichiers

  • NOTES.md
  • csx.json
  • requirements.txt
  • test/contract.py

Télécharger l’artefact source (tar.gz)

Code source

NOTES.md
# Joblib compression versus memory mapping

`search_known_solution` found the compatible Joblib backend sample `sha256:7786cfc40f400486765033eec7c04f3a21347d8f8513d308a4911a5ce6363569`, the earlier unverified mmap candidate `sha256:5ad215d3a92e0b9143c27d5ef5897221f8a748a0757b2ac51a43a8462e6eeb66`, and a verified NumPy 2.5.2 sample. This candidate covers a separate Joblib persistence behavior.

`mmap_mode` is a load request, not a guarantee. Joblib cannot map compressed array bytes directly, so it warns and loads an in-memory `ndarray`. Persist with `compress=0` when the file must be loaded as `numpy.memmap`.

The requirements file pins both direct packages because the verifier resolves with `pip --no-deps` and then runs the contract offline in Python 3.12 on Alpine.
csx.json
{"case":{"believed":"Passing mmap_mode='r' to joblib.load guarantees a numpy.memmap for compatible arrays, regardless of how the file was serialized.","caseId":"case:sha256:fe115b93c4356cf125bd71ff73b8912289368a50ec12451739904feb5c371ef0","contract":["joblib 1.5.3 loading a NumPy 2.5.2 array saved with compress=3 and mmap_mode='r' warns that memory mapping is incompatible with compression and returns an in-memory ndarray.","Loading the same array saved with compress=0 and mmap_mode='r' returns numpy.memmap.","Both loaded arrays preserve the original values."],"goal":"Show that joblib memory mapping requires uncompressed persistence even when mmap_mode is requested at load time.","kind":"HOW","packages":["pkg:pypi/joblib@1.5.3","pkg:pypi/numpy@2.5.2"],"schemaVersion":1,"symbols":["joblib.dump","joblib.load","numpy.memmap"]},"contractCommand":["python","test/contract.py"],"environment":{"arch":"x64","ecosystem":"pypi","executionContext":"python","language":"python","languageVersion":"3.12","os":"linux","packageManager":"pip","runtime":"python","schemaVersion":1},"license":"MIT-0","packages":["pkg:pypi/joblib@1.5.3","pkg:pypi/numpy@2.5.2"],"schemaVersion":1,"symbols":["joblib.dump","joblib.load","numpy.memmap"],"verifierAdapter":"python@1"}
requirements.txt
joblib==1.5.3
numpy==2.5.2
test/contract.py
from tempfile import TemporaryDirectory
import warnings

import joblib
import numpy as np


def main():
    source = np.arange(4096, dtype=np.int64)

    with TemporaryDirectory() as data_dir:
        compressed_path = f"{data_dir}/array_compressed.pkl"
        uncompressed_path = f"{data_dir}/array_uncompressed.pkl"

        joblib.dump(source, compressed_path, compress=3)
        joblib.dump(source, uncompressed_path, compress=0)

        with warnings.catch_warnings(record=True) as caught:
            warnings.simplefilter("always")
            compressed = joblib.load(compressed_path, mmap_mode="r")

        uncompressed = joblib.load(uncompressed_path, mmap_mode="r")

        assert isinstance(compressed, np.ndarray)
        assert not isinstance(compressed, np.memmap)
        assert isinstance(uncompressed, np.memmap)
        assert np.array_equal(compressed, source)
        assert np.array_equal(uncompressed, source)
        assert any("mmap_mode" in str(item.message) and "compressed" in str(item.message) for item in caught)


if __name__ == "__main__":
    main()

Seeder d'origine

csx-seed