Normalize capability semantics and harden hostcall behavior #32

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

markthom-as merged 1 commit into main from codex/canonical-capability-hardening-20260212

Feb 12, 2026

Collaborator

markthom-as commented Feb 12, 2026

Summary

remove legacy capability aliases and enforce canonical capability kinds
align runtime, verifier, docs, and test vectors on canonical capability names
strengthen hostcall redirect and capability usage test coverage

Validation

cargo fmt --manifest-path cli/provenact-cli/Cargo.toml
cargo fmt --manifest-path core/verifier/Cargo.toml
cargo test -p provenact-cli --quiet
cargo test -p provenact-verifier --quiet


          Normalize capability semantics and harden hostcall behavior

2a44ec0

markthom-as merged commit cb7cde7 into main

5 checks passed

markthom-as deleted the codex/canonical-capability-hardening-20260212 branch

February 12, 2026 09:39

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet