# SBOM for pytensorlogic 0.1.2 > Python bindings for TensorLogic - Logic-as-tensor planning layer The Python package pytensorlogic 0.1.2 ships 5 SBOM files (CycloneDX) inside its wheels, under `.dist-info/sboms/` ([PEP 770](https://peps.python.org/pep-0770/)). Its wheels carry a verified PEP 740 attestation. - Package URL (PURL): `pkg:pypi/pytensorlogic@0.1.2` - PyPI: https://pypi.org/project/pytensorlogic/0.1.2/ - License: Apache-2.0 - Requires Python: \>=3.9 - Documentation: - Homepage: - Repository: ## SBOMs ### pytensorlogic-0.1.2-cp39-abi3-macosx\_10\_12\_x86\_64.whl PEP 740 attestation verified (GitHub, cool-japan/tensorlogic, workflow pypi-publish.yml). - [pytensorlogic-0.1.2.dist-info/sboms/tensorlogic-py.cyclonedx.json](https://pypi.sbomify.com/artifact/cb0ffbb5-cb11-5fb2-b9a0-cd8a7da88b4a/download): CycloneDX/1.5, `application/vnd.cyclonedx+json`, valid, 21 known vulnerabilities ### pytensorlogic-0.1.2-cp39-abi3-macosx\_11\_0\_arm64.whl PEP 740 attestation verified (GitHub, cool-japan/tensorlogic, workflow pypi-publish.yml). - [pytensorlogic-0.1.2.dist-info/sboms/tensorlogic-py.cyclonedx.json](https://pypi.sbomify.com/artifact/3007c006-d81a-5ae9-9e52-530898afaa1d/download): CycloneDX/1.5, `application/vnd.cyclonedx+json`, valid, 21 known vulnerabilities ### pytensorlogic-0.1.2-cp39-abi3-manylinux\_2\_17\_aarch64.manylinux2014\_aarch64.whl PEP 740 attestation verified (GitHub, cool-japan/tensorlogic, workflow pypi-publish.yml). - [pytensorlogic-0.1.2.dist-info/sboms/tensorlogic-py.cyclonedx.json](https://pypi.sbomify.com/artifact/7e8c111b-9dda-5e9f-87f0-4811b32624c4/download): CycloneDX/1.5, `application/vnd.cyclonedx+json`, valid, 21 known vulnerabilities ### pytensorlogic-0.1.2-cp39-abi3-manylinux\_2\_17\_x86\_64.manylinux2014\_x86\_64.whl PEP 740 attestation verified (GitHub, cool-japan/tensorlogic, workflow pypi-publish.yml). - [pytensorlogic-0.1.2.dist-info/sboms/tensorlogic-py.cyclonedx.json](https://pypi.sbomify.com/artifact/6687d3ac-af25-54ee-8717-b20fdc96c2cc/download): CycloneDX/1.5, `application/vnd.cyclonedx+json`, valid, 21 known vulnerabilities ### pytensorlogic-0.1.2-cp39-abi3-win\_amd64.whl PEP 740 attestation verified (GitHub, cool-japan/tensorlogic, workflow pypi-publish.yml). - [pytensorlogic-0.1.2.dist-info/sboms/tensorlogic-py.cyclonedx.json](https://pypi.sbomify.com/artifact/2fd10a52-c48d-5663-a140-7e6aea9b0f08/download): CycloneDX/1.5, `application/vnd.cyclonedx+json`, valid, 21 known vulnerabilities ## Known vulnerabilities Components listed in these SBOMs, matched against the [OSV database](https://osv.dev/) as of 2026-11-10. | Vulnerability | Severity | Component | Fixed in | Summary | |---|---|---|---|---| | [RUSTSEC-2026-0176](https://osv.dev/vulnerability/RUSTSEC-2026-0176) | high (8.7) | pyo3 0.27.2 (crates.io) | 0.29.0 | Out-of-bounds read in \`nth\` / \`nth\_back\` for \`PyList\` and \`PyTuple\` iterators | | [RUSTSEC-2026-0416](https://osv.dev/vulnerability/RUSTSEC-2026-0416) | high (7.5) | juniper 0.17.1 (crates.io) | 0.17.2 | Stack overflow on deeply nested GraphQL documents | | [RUSTSEC-2026-0417](https://osv.dev/vulnerability/RUSTSEC-2026-0417) | high (7.5) | juniper 0.17.1 (crates.io) | 0.17.2 | Excessive CPU and memory use on crafted GraphQL documents | | [RUSTSEC-2026-0415](https://osv.dev/vulnerability/RUSTSEC-2026-0415) | high (7.5) | juniper\_hyper 0.10.0 (crates.io) | 0.10.1 | Unbounded memory use on large request bodies | | [RUSTSEC-2026-0194](https://osv.dev/vulnerability/RUSTSEC-2026-0194) | high (7.5) | quick-xml 0.37.5 (crates.io) | 0.41.0 | Quadratic run time when checking a start tag for duplicate attribute names | | [RUSTSEC-2026-0195](https://osv.dev/vulnerability/RUSTSEC-2026-0195) | high (7.5) | quick-xml 0.37.5 (crates.io) | 0.41.0 | Unbounded namespace-declaration allocation in \`NsReader\` enables memory-exhaustion denial of service | | [RUSTSEC-2026-0177](https://osv.dev/vulnerability/RUSTSEC-2026-0177) | medium (6.3) | pyo3 0.27.2 (crates.io) | 0.29.0 | Missing \`Sync\` bound on \`PyCFunction::new\_closure\` closures | | [CVE-2023-49092](https://insights.sbomify.com/CVE-2023-49092/) | medium (5.9) | rsa 0.9.10 (crates.io) | 0.10.0 | Marvin Attack: potential key recovery through timing sidechannels | | [CVE-2026-123613](https://insights.sbomify.com/CVE-2026-123613/) | medium (5.3) | rustls 0.23.43 (crates.io) | 0.23.45 | TLS 1.3 handshake messages incorrectly accepted across encryption level boundaries | | [CVE-2026-123609](https://insights.sbomify.com/CVE-2026-123609/) | medium (4.0) | rustls 0.23.43 (crates.io) | 0.23.46 | \`Debug\` impls for client session values expose TLS secrets | | [CVE-2026-123610](https://insights.sbomify.com/CVE-2026-123610/) | low (3.7) | rustls 0.23.43 (crates.io) | 0.23.46 | Brotli certificate decompression can allocate up to 1 GiB before authentication | | [CVE-2026-123611](https://insights.sbomify.com/CVE-2026-123611/) | low (3.7) | rustls 0.23.43 (crates.io) | 0.23.46 | Unauthenticated ServerHello can downgrade later connections to classical key exchange | | [RUSTSEC-2026-0387](https://osv.dev/vulnerability/RUSTSEC-2026-0387) | unknown | crypto-bigint 0.5.5 (crates.io) | 0.7.6 | Multiple timing variability issues in operations intended to be constant-time | | [RUSTSEC-2026-0387](https://osv.dev/vulnerability/RUSTSEC-2026-0387) | unknown | crypto-bigint 0.7.5 (crates.io) | 0.7.6 | Multiple timing variability issues in operations intended to be constant-time | | [RUSTSEC-2026-0385](https://osv.dev/vulnerability/RUSTSEC-2026-0385) | unknown | ctutils 0.4.2 (crates.io) | 0.4.4 | Non-constant-time mask generation and \`u128\` comparisons | | [RUSTSEC-2024-0436](https://osv.dev/vulnerability/RUSTSEC-2024-0436) | unknown | paste 1.0.15 (crates.io) | none listed | paste - no longer maintained | | [RUSTSEC-2025-0134](https://osv.dev/vulnerability/RUSTSEC-2025-0134) | unknown | rustls-pemfile 2.2.0 (crates.io) | none listed | rustls-pemfile is unmaintained | | [CVE-2026-111943](https://insights.sbomify.com/CVE-2026-111943/) | unknown | rustls-webpki 0.103.15 (crates.io) | 0.103.16 | Certificate verification may accept distrusted intermediates | | [RUSTSEC-2026-0386](https://osv.dev/vulnerability/RUSTSEC-2026-0386) | unknown | tokio 1.53.1 (crates.io) | 1.53.3 | \`AsyncFd::new\` and related constructors violate I/O safety | | [RUSTSEC-2024-0449](https://osv.dev/vulnerability/RUSTSEC-2024-0449) | unknown | unsafe-libyaml 0.2.11 (crates.io) | none listed | unsafe-libyaml is unmaintained | | [CVE-2026-111943](https://insights.sbomify.com/CVE-2026-111943/) | unknown | webpki-roots 1.0.9 (crates.io) | 1.0.10 | Bundled root certificates allow trust in distrusted emSign intermediates | ## Fetch it over TEA This SBOM is served over the [Transparency Exchange API](https://github.com/CycloneDX/transparency-exchange-api) (TEA). With the `libtea` client: ``` pip install libtea python -m libtea https://pypi.sbomify.com pkg:pypi/pytensorlogic@0.1.2 ``` Machine-readable copy of this page: https://pypi.sbomify.com/package/pytensorlogic/0.1.2.json --- From pypi-tea by sbomify: https://pypi.sbomify.com/package/pytensorlogic/0.1.2