ogdoad

Ogdoad is a pure-Rust library for Clifford and Weyl algebras, quadratic forms, and related arithmetic over exact, finite, local, transfinite, and game-adjacent coefficient systems. Optional PyO3 bindings expose selected concrete backends without entering the generic math core.

The library supports degenerate metrics. In characteristic two it keeps the quadratic and polar data independent:

e_i^2             = q_i
e_i e_j + e_j e_i = b_ij

An optional upper-triangular a_ij records ordered contraction for a general bilinear metric. Generic product code obtains signs through Scalar::neg and does not special-case the characteristic.

Scope

A Clifford scalar is a commutative ring. Arbitrary partizan games form only an abelian group under disjunctive sum, so Ogdoad is not a Clifford algebra over all games. The scalar pillar includes field-like game subclasses such as finite nimbers and represented surcomplex numbers; genuinely game-theoretic constructions live in the separate games pillar.

Representation limits are part of the API:

Nimber(u128) is F_(2^128), not the algebraic closure of F_2.
Surreal stores finite-support Conway-normal-form expressions, not arbitrary surreal series.
valued and local models have explicit precision caps and do not silently claim exact field laws outside them.
Ordinal::nim_mul, nim_pow, checked_inv, and checked_sqrt preserve the supported Kummer-tower boundary through Option; the Scalar multiplication wrapper panics if that checked boundary is ignored.
fixed-width mathematical payloads use u128 or i128; usize is reserved for dimensions, indices, and ABI hooks.

Architecture

path	role
`src/scalar/`	coefficient traits and exact, finite, valued, global, surreal, and ordinal backends
`src/clifford/`	metrics, blades, multivectors, products, versors, spinors, and geometric-algebra constructions
`src/weyl/`	alternating commutator forms, sparse PBW elements, Weyl products, filtrations, and the rank-one polynomial action
`src/forms/`	quadratic-form classification, Clifford centers, Witt/Brauer and low Milnor-symbol theory, Springer and local--global arithmetic
`src/forms/integral/`	lattices, discriminant forms, codes, theta series, genera, neighbors, and Weyl bridges
`src/games/`	impartial, partizan, misere, loopy, thermographic, Witt--FIFO/Brown, octal-certificate, Hackenbush, and game-exterior constructions
`src/py/`	optional per-backend PyO3 bindings; scalar worlds never mix at runtime
`src/linalg/`	crate-private shared linear algebra
`grundy/`	unpublished expression-language workspace crate using only Ogdoad's public API
`formal/`	separately pinned Lean 4 development
`writeups/`	current mathematical papers and BibTeX sources

Public pillars re-export their children shallowly. Each source pillar has an AGENTS.md with its local invariants; docs/README.md indexes the current project documentation.

The Weyl pillar constructs T(V)/(z_i*z_j - z_j*z_i - omega_ij) from an alternating scalar-valued commutator form. WeylAlgebra::standard(n) uses PBW order x_0,...,x_(n-1),d_0,...,d_(n-1) with [d_i,x_j] = delta_ij. Elements have finite sparse support, while the algebra remains infinite-dimensional. In positive characteristic the enlarged center is retained explicitly; the ordinary polynomial differential action is therefore not claimed faithful.

Use

Rust:

cargo add ogdoad
cargo run --example tour
cargo run --example weyl

Python 3.9 or newer:

python -m maturin build --profile dev -i python
python -m pip install --force-reinstall --no-deps target/wheels/ogdoad-*.whl

import ogdoad as og

# q and b are independent in characteristic two.
A = og.NimberAlgebra(q=[og.Nimber(2), og.Nimber(3)], b={(0, 1): 1})
e0, e1 = A.gen(0), A.gen(1)
assert e0 * e1 + e1 * e0 == A.scalar(og.Nimber(1))

# Exact finite-support surreal monomials.
S = og.SurrealAlgebra(q=[og.omega(), og.epsilon()])
assert (S.gen(0) * S.gen(1)) ** 2 == S.scalar(og.Surreal.from_int(-1))

# A Hermitian form restricts to the ordinary quadratic form q(v)=h(v,v)
# over the involution-fixed field; dimension doubles.
H = og.HermitianForm.diagonal([1, -1])
Q = H.restrict_scalars()
assert Q.dim == 4 and og.surreal_signature(Q) == (2, 2, 0)

# Checked game constructors preserve their proof and validation boundaries.
arena = og.WittFifoArena(diagonal=[True], polar=[0], input=1)
assert arena.quadratic_value and arena.grundy(state_budget=100_000) != 0

selector = og.BrownSelector(q4=[3], brown_polar=[0], input=1)
outcome = selector.outcome_class(state_budget_per_follower=100_000)
assert og.BrownSelector.decode_outcome(outcome) == selector.residue

code = og.OctalCode([2])
certificate = og.GuySmithCertificate.compute(code, 1, 2, term_budget=16)
assert certificate.heap_grundy(10**30) == 1

The Python layer monomorphizes a documented slice of the Rust backends. It does not provide a runtime-tagged any-scalar algebra. Its typed report surface includes finite quadratic modules and Nikulin criteria, extraspecial and Heisenberg--Weil objects, function-field Brauer--Wall classes, Niemeier data, finite-field Witt decompositions and numeric-invariant reports, characteristic-two additive spinor norms and symmetry certificates, lexicode turning games, conformal-algebra accessors, represented ordinal finite-subfield degrees, checked Witt--FIFO and Brown constructors, Hermitian restriction to typed ordinary quadratic backends, and sealed Guy--Smith periodicity certificates. Python repr delegates to canonical Rust rendering where the core provides it.

Mathematical status

The papers under writeups/ form one current research suite:

paper	result
`transfinite_arf.tex`	classification over perfect Artin--Schreier-surjective characteristic-two fields and its full-nimber specialization
`goldarf.tex`	quadratic-refinement realization in normal play, Gold specialization, Brown selector, and game-exterior obstruction
`witt_realization.tex`	quadratic Witt coordinates over `F_2(t)`, finite impartial realization, explicit ramified naturality, and finite-static and singular no-go theorems
`thermo_newton.tex`	thermic regrading under Norton multiplication and its separation from Newton tropicalization
`semiring_stability.tex`	stable quadratic-pair classification over Hessenberg and supertropical semirings, the universal scalar-extension quotient, and the thermograph wall obstruction
`linking_affine.tex`	proved reductions and exact remaining obstruction for isolated-dummy FIFO linking
`excess.tex`	exact four-arm selected-order reduction, proved arithmetic boundaries, and authoritative open status of the transfinite nim-excess `0/1/4` rule
`nim_fast_multiplication.tex`	quasi-linear canonical-word multiplication via explicit affine transforms to a primitive Artin--Schreier tower
`misere_natural_realization.tex`	exact octal trace calculus, finite-exception heap normal form, realization of every tame finite quotient, and exact misere Grundy quotients through heap 18

The unresolved universal claims and their sharp proof boundaries are in docs/OPEN.md. Lean checks named algebraic components and end-to-end finite constructions including the literal Gold--Arf root; cited bridges and the open propositions remain outside that boundary. See formal/README.md for the theorem map.

Verification

cargo fmt --all --check
cargo test --workspace
cargo clippy --workspace --all-targets -- -D warnings
RUSTDOCFLAGS="-D warnings" cargo doc --no-deps --workspace
(cd formal && lake build --wfail)
npm ci
python scripts/check_writeups.py

docs/VERIFY.md records the optional Python-binding gates, exactness contracts, certificate boundary, and claim classes. Contributions should identify mathematical claims as standard/cited, implemented and tested, proved here, or open; see CONTRIBUTING.md.

Ogdoad is licensed under AGPL-3.0-or-later.

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

ogdoad-1.0.7.tar.gz (971.2 kB view details)

Uploaded Aug 20, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

ogdoad-1.0.7-cp39-abi3-win_amd64.whl (18.0 MB view details)

Uploaded Aug 20, 2026 CPython 3.9+Windows x86-64

ogdoad-1.0.7-cp39-abi3-musllinux_1_2_x86_64.whl (17.6 MB view details)

Uploaded Aug 20, 2026 CPython 3.9+musllinux: musl 1.2+ x86-64

ogdoad-1.0.7-cp39-abi3-musllinux_1_2_aarch64.whl (16.2 MB view details)

Uploaded Aug 20, 2026 CPython 3.9+musllinux: musl 1.2+ ARM64

ogdoad-1.0.7-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (15.9 MB view details)

Uploaded Aug 20, 2026 CPython 3.9+manylinux: glibc 2.17+ x86-64

ogdoad-1.0.7-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (16.0 MB view details)

Uploaded Aug 20, 2026 CPython 3.9+manylinux: glibc 2.17+ ARM64

ogdoad-1.0.7-cp39-abi3-macosx_11_0_arm64.whl (15.0 MB view details)

Uploaded Aug 20, 2026 CPython 3.9+macOS 11.0+ ARM64

ogdoad-1.0.7-cp39-abi3-macosx_10_12_x86_64.whl (16.1 MB view details)

Uploaded Aug 20, 2026 CPython 3.9+macOS 10.12+ x86-64

File details

Details for the file ogdoad-1.0.7.tar.gz.

File metadata

Download URL: ogdoad-1.0.7.tar.gz
Upload date: Aug 20, 2026
Size: 971.2 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7.tar.gz
Algorithm	Hash digest
SHA256	`4bcfa899703714ede487ffcc960af06f2cf512bf7ae748e6dc468a27d96961a3`
MD5	`e8c77424dab83fb96eec094679449925`
BLAKE2b-256	`20709c2a3be04d79cc77bd5a33e284085309e4e8db11a68420c65ba57c600d44`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7.tar.gz:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7.tar.gz
- Subject digest: 4bcfa899703714ede487ffcc960af06f2cf512bf7ae748e6dc468a27d96961a3
- Sigstore transparency entry: 2526364160
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

File details

Details for the file ogdoad-1.0.7-cp39-abi3-win_amd64.whl.

File metadata

Download URL: ogdoad-1.0.7-cp39-abi3-win_amd64.whl
Upload date: Aug 20, 2026
Size: 18.0 MB
Tags: CPython 3.9+, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7-cp39-abi3-win_amd64.whl
Algorithm	Hash digest
SHA256	`9c9403b581938fc4efff2c8694fee14569a4289c2fe0844cdf577ffd86804bb9`
MD5	`bce3744c780cd82875d8280c1a61b8a9`
BLAKE2b-256	`44184070f165a69dc175f8a2980b2436ed2f127143109be362d1a31dadc37919`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7-cp39-abi3-win_amd64.whl:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7-cp39-abi3-win_amd64.whl
- Subject digest: 9c9403b581938fc4efff2c8694fee14569a4289c2fe0844cdf577ffd86804bb9
- Sigstore transparency entry: 2526364469
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

File details

Details for the file ogdoad-1.0.7-cp39-abi3-musllinux_1_2_x86_64.whl.

File metadata

Download URL: ogdoad-1.0.7-cp39-abi3-musllinux_1_2_x86_64.whl
Upload date: Aug 20, 2026
Size: 17.6 MB
Tags: CPython 3.9+, musllinux: musl 1.2+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7-cp39-abi3-musllinux_1_2_x86_64.whl
Algorithm	Hash digest
SHA256	`5448cdcee9bd7d350eb9be6cd4b2b20e5725ffa168bb2dae72b4d06227ad288f`
MD5	`9df86793cb1f89420b70b36be6f401f3`
BLAKE2b-256	`59c37b3250be94314d6240d184064522c971557470d825802a723a529b78037f`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7-cp39-abi3-musllinux_1_2_x86_64.whl:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7-cp39-abi3-musllinux_1_2_x86_64.whl
- Subject digest: 5448cdcee9bd7d350eb9be6cd4b2b20e5725ffa168bb2dae72b4d06227ad288f
- Sigstore transparency entry: 2526364402
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

File details

Details for the file ogdoad-1.0.7-cp39-abi3-musllinux_1_2_aarch64.whl.

File metadata

Download URL: ogdoad-1.0.7-cp39-abi3-musllinux_1_2_aarch64.whl
Upload date: Aug 20, 2026
Size: 16.2 MB
Tags: CPython 3.9+, musllinux: musl 1.2+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7-cp39-abi3-musllinux_1_2_aarch64.whl
Algorithm	Hash digest
SHA256	`769085d61fbb695277dc3d950599502d0a380c8f70ba478f462750fcf6b48a62`
MD5	`f342010e6a6cb66b80fbe8f95f1fdd37`
BLAKE2b-256	`9a3d085c4f5182de0486f44faf298ae63ac78ab52ed5570e3a940454e396af31`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7-cp39-abi3-musllinux_1_2_aarch64.whl:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7-cp39-abi3-musllinux_1_2_aarch64.whl
- Subject digest: 769085d61fbb695277dc3d950599502d0a380c8f70ba478f462750fcf6b48a62
- Sigstore transparency entry: 2526364580
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

File details

Details for the file ogdoad-1.0.7-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: ogdoad-1.0.7-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Aug 20, 2026
Size: 15.9 MB
Tags: CPython 3.9+, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`b27ca6a8e66271f0f4f9b6ef0c721f6fff3e17fce65266bec213d5080b55c943`
MD5	`d1c3bc63513ef15da56fc6561ac48af8`
BLAKE2b-256	`48eda5f733379bba65711a98533885f39d28c97fadb04414b1e5abf820e4070b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Subject digest: b27ca6a8e66271f0f4f9b6ef0c721f6fff3e17fce65266bec213d5080b55c943
- Sigstore transparency entry: 2526364265
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

File details

Details for the file ogdoad-1.0.7-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: ogdoad-1.0.7-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Aug 20, 2026
Size: 16.0 MB
Tags: CPython 3.9+, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`a601b561e8eef4660f0bbaa0ff53a600ebbb10d02172730ae04732a25a5da761`
MD5	`8be6592c5848f854495bbd5c15c83a7d`
BLAKE2b-256	`60de00d3fe6c1cccb1001345d262940397ed7a5fbad661b47443783d19dd08da`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7-cp39-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Subject digest: a601b561e8eef4660f0bbaa0ff53a600ebbb10d02172730ae04732a25a5da761
- Sigstore transparency entry: 2526364521
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

File details

Details for the file ogdoad-1.0.7-cp39-abi3-macosx_11_0_arm64.whl.

File metadata

Download URL: ogdoad-1.0.7-cp39-abi3-macosx_11_0_arm64.whl
Upload date: Aug 20, 2026
Size: 15.0 MB
Tags: CPython 3.9+, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7-cp39-abi3-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`b524e522cd294427af72d8f8c23505ba02eb45589c5467b77a16311777801115`
MD5	`d705fc0fd3be5ff69acefa94692040cc`
BLAKE2b-256	`3063bf6d39efc0da35d47979617126948310d2d3a2743e6768ebd5afe875ce56`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7-cp39-abi3-macosx_11_0_arm64.whl:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7-cp39-abi3-macosx_11_0_arm64.whl
- Subject digest: b524e522cd294427af72d8f8c23505ba02eb45589c5467b77a16311777801115
- Sigstore transparency entry: 2526364629
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

File details

Details for the file ogdoad-1.0.7-cp39-abi3-macosx_10_12_x86_64.whl.

File metadata

Download URL: ogdoad-1.0.7-cp39-abi3-macosx_10_12_x86_64.whl
Upload date: Aug 20, 2026
Size: 16.1 MB
Tags: CPython 3.9+, macOS 10.12+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for ogdoad-1.0.7-cp39-abi3-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`3ef86818f1a3b3db0d941ea8494be231d807c2469844d61aab72b30d328d0c10`
MD5	`f2fcf47cd72c75912b039fa686ad275b`
BLAKE2b-256	`94ded887d72a246a8e919c7b5bc2442deda244461dfc34822eca943ba88483a5`

See more details on using hashes here.

Provenance

The following attestation bundles were made for ogdoad-1.0.7-cp39-abi3-macosx_10_12_x86_64.whl:

Publisher: release.yml on a9lim/ogdoad

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: ogdoad-1.0.7-cp39-abi3-macosx_10_12_x86_64.whl
- Subject digest: 3ef86818f1a3b3db0d941ea8494be231d807c2469844d61aab72b30d328d0c10
- Sigstore transparency entry: 2526364329
- Sigstore integration time: Aug 20, 2026
Source repository:
- Permalink: a9lim/ogdoad@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Branch / Tag: refs/heads/main
- Owner: https://github.com/a9lim
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@49ffaea2a2e4d8973cb00027af1362dc513dc54e
- Trigger Event: push

Release history Release notifications | RSS feed

This release

1.0.7 This release

Aug 20, 2026 8 files

Aug 18, 2026 8 files

Aug 15, 2026 8 files

Aug 14, 2026 8 files

Aug 13, 2026 8 files

Aug 12, 2026 8 files

Aug 4, 2026 8 files

Jul 17, 2026 8 files

ogdoad 1.0.7

ogdoad

Scope

Architecture

Use

Mathematical status

Verification

Project links

Key dates

1 maintainer

Credits

GitHub Statistics

License expression

Requires

Provides Extra

Tags

Classifiers

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

Release history Release notifications | RSS feed