chase-cps
Python interface to CHASE (Contract-based Heterogeneous Analysis and Systems Exploration), a framework for requirement capture, formalization, and validation of cyber-physical systems with assume-guarantee contracts.
The package contains the CHASE core library (contract representation and algebra) and a common interface to model checkers and synthesis tools.
from chase_cps import Contract, refinement
spec = Contract.from_strings(inputs=["req"], outputs=["grant"],
assumptions=["G F !req"],
guarantees=["G (req -> F grant)"], name="Spec")
impl = Contract.from_strings(inputs=["req"], outputs=["grant"],
guarantees=["G (req -> X grant)"], name="Impl")
result = refinement(impl, spec)
print(result.status) # valid, or invalid with a counterexample trace
The operations have the names of the commands of logics_tool. A contract
c has the methods compose, conjoin, disjoin, merge, divide
(quotient), separate, saturate, and simplify, which return new
contracts. The checks on contracts are refines, verify (is_compatible
and is_consistent), is_realizable, accepts, and implements;
synthesize builds a controller. The checks on formulas are implies and
is_satisfiable. remove_redundant drops the terms implied by the others. load_spec and
parse_spec read the contracts of a specification written in the logics
language of CHASE, and to_spec writes one.
Installation
$> pip install chase-cps
Wheels are available for Python 3.10 to 3.15 on Linux (x86_64 and aarch64, glibc 2.28 or later) and macOS 11 or later (arm64 and x86_64). Windows is not supported: use WSL or the CHASE Docker image.
Requirements
The package contains the CHASE library. The checks call external tools, which are not installed with the package:
- nuXmv for
refines,verify,implies,is_satisfiable,remove_redundant,accepts, andimplements. nuXmv is free for academic and non-commercial use. - slugs for
is_realizableandsynthesize.
The command chase-cps install downloads nuXmv from its site, and builds
slugs from its sources, into ~/.chase:
$> chase-cps install nuxmv --accept-license # Linux x86_64, macOS arm64
$> chase-cps install slugs # needs a C++ compiler, make, and Boost
On macOS, nuXmv needs the libraries of Homebrew (brew install libxml2 gmp libedit). On Linux it needs libxml2 and libedit2, and the C++ library of
GCC 13 or later (Ubuntu 24.04, Debian 13, Fedora 39, or newer);
chase-cps install says what is missing.
The tools can also be installed by hand: they are looked up in the PATH
and in ~/.chase/bin, or given with the environment variables CHASE_NUXMV
and CHASE_SLUGS. The command
$> chase-cps doctor
shows the tools found and how to install the missing ones.
Where nuXmv cannot be used (e.g. for commercial purposes), the checks run
with NuSMV (LGPL) instead: chase-cps install nusmv installs it on
Linux x86_64, or set CHASE_NUSMV.
Command line
chase-cps check checks the contracts of a specification written in the
logics language of CHASE, or of a JSON file, and prints the counterexamples:
$> chase-cps check specs.ltl # verify every contract
$> chase-cps check specs.ltl --refines Joint1+Joint2 Joints # composition refines Joints
$> chase-cps check specs.ltl --realizable Joint1 --json
The exit status is 0 when every check passes, and 1 when a check fails.
The source code and the installation instructions are in the chase repository.
1 maintainer
Metadata
1 maintainer
Release files for chase-cps 0.1.2
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | Actions |
|---|---|---|---|---|
| chase_cps-0.1.2.tar.gz | 2.7 MB | With provenance | Details for chase_cps-0.1.2.tar.gz |
Built distributions (wheels)
Total release size: 52.6 MB
Release files / chase_cps-0.1.2.tar.gz
| Download URL | chase_cps-0.1.2.tar.gz |
|---|---|
| Size | 2.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
d3c4528eebeea59adc7beb0298d5a8b4f738173c44b24e9ca20ab2bc349ca901
|
|
BLAKE2b-256 checksum How to use checksums |
46fdae220ca99fcdd21596f4bffd94559da80b04922af9b6dfd86d2bb69ec964
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp315-cp315-manylinux_2_28_x86_64.whl
| Download URL | chase_cps-0.1.2-cp315-cp315-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.15 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
83d8fcc0c66ddfd3817cf8f3b11ba519c817ee700d11a0406bdd8bee1f5aaaf9
|
|
BLAKE2b-256 checksum How to use checksums |
d78ce71a23cb3d6d870913e647872f5317842343ecd2deae757a453f54ae6a7a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp315-cp315-manylinux_2_28_aarch64.whl
| Download URL | chase_cps-0.1.2-cp315-cp315-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 2.2 MB |
| Tags | CPython 3.15 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
af555b3d34f49ba99988943cba985b7934ae86795b708d87b8c3bf9f3d888c95
|
|
BLAKE2b-256 checksum How to use checksums |
bf5bd5ad013ee0975845c54909d6d26b2c68d647cdbb8fb6ec29039b3899960e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp315-cp315-macosx_11_0_x86_64.whl
| Download URL | chase_cps-0.1.2-cp315-cp315-macosx_11_0_x86_64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.15 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
5c103ba3e7b0078fb52f1c211f8166d8b0891170a67dfacf8ef44e06c39522a6
|
|
BLAKE2b-256 checksum How to use checksums |
d3d433f9ef6b07eca8d447e23289d8309f45f1d32fec03d0b89c1b4d998b4793
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp315-cp315-macosx_11_0_arm64.whl
| Download URL | chase_cps-0.1.2-cp315-cp315-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.15 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
e85e33f46b7f010bb87a75d267697bba357175b46ffa028345dcf8ff42280b3b
|
|
BLAKE2b-256 checksum How to use checksums |
afc1a21d8c600dbb75307b113d830dab681783e328ca8131eeec49306fe62823
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp314-cp314-manylinux_2_28_x86_64.whl
| Download URL | chase_cps-0.1.2-cp314-cp314-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.14 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
4e5531e3bd027971a1dd231ac730c649a66074b2069a810e125c3c438bde4e36
|
|
BLAKE2b-256 checksum How to use checksums |
390278261cf8b54c62e8ffb7de3e8f20e7c54a23b80894305f032b7df792231a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp314-cp314-manylinux_2_28_aarch64.whl
| Download URL | chase_cps-0.1.2-cp314-cp314-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 2.2 MB |
| Tags | CPython 3.14 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
bf1bc1377bab63737223b8507f4054f214edf4e36d4076030eb704ae467a390a
|
|
BLAKE2b-256 checksum How to use checksums |
380160a007df950a397e50b2c8fe538fa097dae065e03fe246a1337579334dd9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp314-cp314-macosx_11_0_x86_64.whl
| Download URL | chase_cps-0.1.2-cp314-cp314-macosx_11_0_x86_64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.14 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
6e275dc507b48a7511fe1cd77ae89de4b6c92ddf8b32f70bae834d1af2399ab1
|
|
BLAKE2b-256 checksum How to use checksums |
06ee6e5c4af157bc91b986ebcae04be170482db21417815c5234a6b03c901be5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp314-cp314-macosx_11_0_arm64.whl
| Download URL | chase_cps-0.1.2-cp314-cp314-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.14 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
e916f0cb720c1b5330671ef6772a3b4b619ccefbf327f8f51df778fa71390c2e
|
|
BLAKE2b-256 checksum How to use checksums |
388f5383c7e94517cba79640cb58749b1e0865e0d4cb8721c04ec08fad129942
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp313-cp313-manylinux_2_28_x86_64.whl
| Download URL | chase_cps-0.1.2-cp313-cp313-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.13 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
2cdd6f4326965e9d2b0d2351791659819967ca82bb8b5213bd48fc28570e7eaa
|
|
BLAKE2b-256 checksum How to use checksums |
fe062424dedcc866fccdaaf8ac22ef5e11365ae55352c99cc8991a3c76aa3ce9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp313-cp313-manylinux_2_28_aarch64.whl
| Download URL | chase_cps-0.1.2-cp313-cp313-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 2.2 MB |
| Tags | CPython 3.13 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
701c5da82c458a8ebd32ad8eaf50a238f8116867400e2f7e97da707a9f51046f
|
|
BLAKE2b-256 checksum How to use checksums |
76e9d0b03f5e55c0bed02bffb6e6cba7c0c6fc7650c4562796f478bb6951cf72
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp313-cp313-macosx_11_0_x86_64.whl
| Download URL | chase_cps-0.1.2-cp313-cp313-macosx_11_0_x86_64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.13 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
beb6846fe5838525a71f4bb7977c402ab7db3acd5b740a542f9bddfa9eb3fb7d
|
|
BLAKE2b-256 checksum How to use checksums |
7ca1cc8a74de28ca76dde9319b21e28fb9926f8c1161445fa832e01106bccccd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | chase_cps-0.1.2-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
e9c28546803ce6db78055fbc7bf60f7d7024a08ee923566386fa08225695dfa5
|
|
BLAKE2b-256 checksum How to use checksums |
c30876b4e7e004eb64e29fb9ee1fff07affcd181630788fc2f2f72b6c6c041c8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp312-cp312-manylinux_2_28_x86_64.whl
| Download URL | chase_cps-0.1.2-cp312-cp312-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
48e61f6d665e052a72ce4b7a67ec949fe06431506fe15609c5779e13bd77654e
|
|
BLAKE2b-256 checksum How to use checksums |
d217d2b4dfe7e67663d0689bb4ee9c318e945c3021b232132dee46cacdee89a9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp312-cp312-manylinux_2_28_aarch64.whl
| Download URL | chase_cps-0.1.2-cp312-cp312-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 2.2 MB |
| Tags | CPython 3.12 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
f64657915176e2c94bdef87c8c43ac1fbaa9d49bb7965637e001b57621da16d8
|
|
BLAKE2b-256 checksum How to use checksums |
08dac6945495aececfeb46aa4025803d689c37016e220406fae1b94a1aed43b5
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp312-cp312-macosx_11_0_x86_64.whl
| Download URL | chase_cps-0.1.2-cp312-cp312-macosx_11_0_x86_64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.12 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
14e1f22b685c8b26377189dc26da26074b033853829158cd9fd749bbdf3e602a
|
|
BLAKE2b-256 checksum How to use checksums |
92426b8d11b2c1914f549b4158ebc92328fbd57b595cba627ae519eca1e3b941
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | chase_cps-0.1.2-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
973b90b0eddeb1cb5428f001d95041bfadd9dbed6d32e90d35f23f264298cccc
|
|
BLAKE2b-256 checksum How to use checksums |
1c62556b4133c501e102d8ef015a20aa7d81ad4605533674c49bbb0fd8df1f06
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp311-cp311-manylinux_2_28_x86_64.whl
| Download URL | chase_cps-0.1.2-cp311-cp311-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.11 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
3ee8695f573155695a8e38e5f870434fe75839a1f22d7634736483d94e2a2734
|
|
BLAKE2b-256 checksum How to use checksums |
e0290e859e11e2e74945e6c7a1fca5fede63ab18e4da1223ef95640120477b14
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp311-cp311-manylinux_2_28_aarch64.whl
| Download URL | chase_cps-0.1.2-cp311-cp311-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 2.2 MB |
| Tags | CPython 3.11 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
e1318999a7e04d173100f33590a18e89898dead572e7ecca339bcf58694c0892
|
|
BLAKE2b-256 checksum How to use checksums |
106b10bf7a8375345c10a6a3b2f92754a4f5b032c79391a4d9b527c7972bdcc0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp311-cp311-macosx_11_0_x86_64.whl
| Download URL | chase_cps-0.1.2-cp311-cp311-macosx_11_0_x86_64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.11 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
771d33126dae88903b5cfaa861a8eadea6a2b5efd5bbf5598768281e1f8803dc
|
|
BLAKE2b-256 checksum How to use checksums |
2e55afffd385d2693b6a823aa2f0b790145de8df58e8efdc46868ce669555bcb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | chase_cps-0.1.2-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
a563952a16574efb2e7ae601fee3e18e91781b8840a3f1c302ed1ceda77c801f
|
|
BLAKE2b-256 checksum How to use checksums |
2bc754f1b4c1688a9e44f8bd167da7f8c250715bce6b3e8920e6bc3ab25f0960
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp310-cp310-manylinux_2_28_x86_64.whl
| Download URL | chase_cps-0.1.2-cp310-cp310-manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.10 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
1233586f51632bb2b84905ff9cd4a43b6803b790f42f4711972e96da42e96021
|
|
BLAKE2b-256 checksum How to use checksums |
17a9df014cad7840eb424678b21acaea3d1898135537315f1fddbb858ba9218a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp310-cp310-manylinux_2_28_aarch64.whl
| Download URL | chase_cps-0.1.2-cp310-cp310-manylinux_2_28_aarch64.whl |
|---|---|
| Size | 2.2 MB |
| Tags | CPython 3.10 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
c07bcc5ee904ebfb529c852b8f36c3d0b984bbcbd591416771813d99447c9470
|
|
BLAKE2b-256 checksum How to use checksums |
7098845b42e65baac3a997dbaa256b09ce041c868bcf9464b5f92f525d976b3c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp310-cp310-macosx_11_0_x86_64.whl
| Download URL | chase_cps-0.1.2-cp310-cp310-macosx_11_0_x86_64.whl |
|---|---|
| Size | 1.9 MB |
| Tags | CPython 3.10 macOS 11.0+ x86-64 |
|
SHA-256 checksum How to use checksums |
0e0c301236a7de717ba550327dcdcf78371e6d8fd98f65d346bca9e22e2267bb
|
|
BLAKE2b-256 checksum How to use checksums |
10d72902ca673763f091e4177ea42fa1a69f1238d6217a7fcf8ad8c1749243f0
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logRelease files / chase_cps-0.1.2-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | chase_cps-0.1.2-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 1.8 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
fbc76942ce7ca1e7c174f17bb49a5369f8c288ea54ff708a475945b5e1cfdbf6
|
|
BLAKE2b-256 checksum How to use checksums |
8fed39b30b7b50a070a50060ff8e69746e371e370eb30e27f37483927e045651
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.16
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logSecurity for chase-cps 0.1.2
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
Full provenance
All 25 files in this release have been uploaded with provenance metadata.
Attestation for chase_cps-0.1.2.tar.gz
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 26, 2026.
Transparency logA note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
