Skip to content

OntoLogos

v1.1.0 release checklist

eddiethedean/ontologos

v1.1.4 release checklist¶

Pre-tag verification for OntoLogos v1.1.4 (conformance nightly deferred-WG fix). Execute in order.

1. Version alignment¶

Location	Expected
Workspace `Cargo.toml`	`version = "1.1.4"`
`crates/ontologos-py/pyproject.toml`	`version = "1.1.4"`
`crates/ontologos-py/python/ontologos/__init__.py`	`__version__ = "1.1.4"`
`crates/ontologos-cli/src/main.rs`	`after_help` advertises `v1.1.4`
`docs/scripts/check-doc-versions.sh`	`PUBLISHED_VERSION="1.1.4"`
`.github/release/v1.1.4.md`	GitHub Release body ready

2. Documentation¶

Location	Action
channel banner (repo)	Single-channel v1.1.4 on crates.io/PyPI
`docs/project/release-status.md`	Published 1.1.4
README (repo)	Install pins 1.1.4; CLI `--tag v1.1.4`
CHANGELOG (repo)	Dated `[1.1.4]` section; empty `[Unreleased]`
`.github/release/v1.1.4.md`	GitHub Release body ready

Run:

./docs/scripts/check-doc-versions.sh
./docs/scripts/check-doc-snippets.sh
./docs/build-site.sh

3. Pre-release CI (local)¶

./benchmarks/scripts/download.sh
cargo fmt --all -- --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspace --exclude ontologos-conformance --exclude ontologos-contract --locked
cargo test -p ontologos-contract --release --locked
./benchmarks/scripts/check-hermit-parity-phases.sh
./benchmarks/scripts/check-1.0-release-gates.sh
bash scripts/ci-bindings.sh
bash scripts/ci-node.sh
cargo build -p ontologos-cli --release

Full release verify (includes ~26 min conformance — matches release.yml):

export ONTOLOGOS_DL_BUDGET_SECS=30 ONTOLOGOS_WG_SHORTCUTS=1 ONTOLOGOS_CONFORMANCE=1
cargo test --workspace --locked
cargo test -p ontologos-conformance --release --locked

Note: Consistent-but-all-unsat is deferred / #[ignore] in 1.1.4 (weak IRI guard removed; DL does not yet prove named-class ⊥). Re-promote when named_classes_unsatisfiable succeeds.

4. Tag and publish¶

Confirm CHANGELOG [1.1.4] section is complete; [Unreleased] empty.
Commit release prep on main.
Annotated tag:

git tag -a v1.1.4 -m "OntoLogos v1.1.4"
git push origin main && git push origin v1.1.4

Release workflow publishes crates.io (12 crates), PyPI wheels, Wasmer eddiethedean/ontologos, and npm (ontologos, @ontologos/wasm) on tag push.
Create GitHub Release from v1.1.4 release notes.

5. Secrets required¶

Secret	Purpose
`CARGO_REGISTRY_TOKEN`	crates.io publish
`PYPI_API_TOKEN`	PyPI `ontologos` wheels
`WASMER_TOKEN`	Wasmer Registry `eddiethedean/ontologos`
`NPM_TOKEN`	npm `ontologos` + `@ontologos/wasm`

6. Post-publish verification¶

pip install ontologos==1.1.4
python -c "import ontologos; assert ontologos.__version__ == '1.1.4'"
cargo install ontologos-core --version 1.1.4