Evie Howard 0d4d22eab3 refactor(prover): separate outcome evaluation from rendering (#2632) ...

Signed-off-by: Evie Howard <evhoward@redhat.com>

2026-10-13 16:27:19 +00:00

..

openshell-binary-identity

fix(sandbox): cut executable identity hashing cost (#4221)

2026-10-07 14:26:33 +00:00

openshell-bootstrap

refactor(runtime): confine and reduce unsafe code (#4130)

2026-10-10 01:12:03 +00:00

openshell-cli

feat(providers): add CLI label creation and filtering (#4265)

2026-10-13 16:14:35 +00:00

openshell-conformance

test(conformance): run driver suites with cargo (#3866)

2026-10-12 15:35:03 +00:00

openshell-core

fix(cli): backpressure sandbox uploads (#4448)

2026-10-13 14:55:45 +00:00

openshell-driver-db-credstore

feat(api)!: use sandbox names as canonical RPC references (#3272)

2026-09-18 11:39:55 -07:00

openshell-driver-docker

test(oci): add a shared Docker and Podman suite for image USER and WORKDIR (#3931)

2026-10-13 13:00:59 +00:00

openshell-driver-kubernetes

fix(kubernetes): time out kube requests per request instead of per idle connection (#4452)

2026-10-13 13:03:15 +00:00

openshell-driver-kubernetes-secrets

fix(helm)!: reduce gateway Secret privileges (#3616)

2026-09-23 21:35:22 +00:00

openshell-driver-mxc

fix(windows): restore MSVC lint for CLI and MXC (#4194)

2026-10-12 23:09:38 +00:00

openshell-driver-podman

test(oci): add a shared Docker and Podman suite for image USER and WORKDIR (#3931)

2026-10-13 13:00:59 +00:00

openshell-driver-vault

feat(extensions)!: normalize protocol negotiation (#3352)

2026-09-21 13:19:39 -07:00

openshell-driver-vm

fix(vm): bind cached registry images to verified manifest digests (#4342)

2026-10-13 13:22:00 +00:00

openshell-extension-core

chore(deps): replace ring with AWS-LC (#3243)

2026-09-09 17:57:42 +00:00

openshell-gateway

fix(ssh): persist sandbox host identities (#4094)

2026-10-06 20:09:20 +00:00

openshell-gateway-interceptors

feat(server): add operator-only provider credential retrieval (#4357)

2026-10-09 16:16:47 +00:00

openshell-isolation-interface

refactor(runtime): confine and reduce unsafe code (#4130)

2026-10-10 01:12:03 +00:00

openshell-ocsf

fix(server): audit proposal rejections in the gateway (#4281)

2026-10-13 00:01:58 +00:00

openshell-otel

feat(supervisor): export OTLP traces from sandbox supervisors (#3977)

2026-10-06 00:23:14 +00:00

openshell-otel-test-support

refactor(otel): unify compute driver tracing (#2995)

2026-09-03 15:26:14 +00:00

openshell-policy

fix(providers): prepare dynamic credentials across HTTP relay paths (#4152)

2026-10-07 23:48:40 +00:00

openshell-policy-schema

fix(deps): update noyalib and preserve policy null rejection (#4348)

2026-10-09 05:04:49 +00:00

openshell-prover

refactor(prover): separate outcome evaluation from rendering (#2632)

2026-10-13 16:27:19 +00:00

openshell-prover-cli

chore(build): remove bundled Z3 support (#3275)

2026-10-01 12:08:33 +00:00

openshell-providers

feat(providers): support stable credential placeholders (#3339)

2026-10-12 16:39:31 +00:00

openshell-sandbox

fix(sandbox): release broker-owned listening sockets (#4444)

2026-10-13 16:13:43 +00:00

openshell-sandbox-backend

refactor(runtime): confine and reduce unsafe code (#4130)

2026-10-10 01:12:03 +00:00

openshell-sdk

feat(server): add operator-only provider credential retrieval (#4357)

2026-10-09 16:16:47 +00:00

openshell-server

feat(providers): add CLI label creation and filtering (#4265)

2026-10-13 16:14:35 +00:00

openshell-server-macros

docs: remove the architecture directory (#3799)

2026-09-29 17:35:22 +00:00

openshell-supervisor

test(oci): add a shared Docker and Podman suite for image USER and WORKDIR (#3931)

2026-10-13 13:00:59 +00:00

openshell-supervisor-middleware

feat(extensions)!: normalize protocol negotiation (#3352)

2026-09-21 13:19:39 -07:00

openshell-supervisor-middleware-builtins

feat(extensions)!: normalize protocol negotiation (#3352)

2026-09-21 13:19:39 -07:00

openshell-supervisor-network

fix(server): audit proposal rejections in the gateway (#4281)

2026-10-13 00:01:58 +00:00

openshell-supervisor-process

fix(cli): backpressure sandbox uploads (#4448)

2026-10-13 14:55:45 +00:00

openshell-tui

feat(providers): add CLI label creation and filtering (#4265)

2026-10-13 16:14:35 +00:00

openshell-vfio

chore: remove Bazel build support (#2840)

2026-08-20 15:08:09 +00:00