Verifier assurance programme (OVK-VA) - #17

Open

fraware wants to merge 22 commits into

mainfrom

feat/verifier-assurance

Commits on Jul 24, 2026

chore: ignore local verifier-assurance scratch artifacts.
fraware
committed
1275264
docs: record VA-00 ADR, baseline, and adapter inventory.
fraware
committed
56e922c
feat: pin pcs-core and add PCS digest helpers.
fraware
committed
c2540d1
feat: add optional assurance capability manifests (VA-01).
fraware
committed
dbfceff
feat: configuration snapshots and redaction (VA-02).
fraware
committed
5e4e583
feat: invocation records and evidence packs (VA-03).
fraware
committed
5e636b0
feat: add assurance runner for opt-in verifier execution.
fraware
committed
699f99a
feat: replay assurance invocations from evidence packs (VA-04).
fraware
committed
a1d617c
feat: mutate verifier profiles for assurance probing (VA-05).
fraware
committed
2c845b0
feat: add shared helpers for assurance adapters.
fraware
committed
b2521a9
feat: add auth-state assurance adapter.
fraware
committed
7ee90ca
feat: add pytest-suite assurance adapter.
fraware
committed
022d41a
feat: add OPA policy assurance adapter.
fraware
committed
44e5514
feat: add lean-pfcore assurance adapter.
fraware
committed
ad44641
feat: add SQL state-diff assurance adapter.
fraware
committed
5f4bacc
feat: add model-judge assurance adapter.
fraware
committed
134b687
feat: wire assurance backend registry for ovk verifier.
fraware
committed
314018c
feat: add conformance harness and assurance examples.
fraware
committed
e67bfbe
feat: import adjudication records into assurance evidence.
fraware
committed
7878f3e
feat: expose ovk verifier CLI for assurance workflows.
fraware
committed
4d55de0
docs: document verifier-assurance guide, threat model, and indexes.
fraware
committed
9801395
ci: add assurance job pinned to pcs-core.
fraware
committed
b828fc0

Navigation Menu

Verifier assurance programme (OVK-VA) - #17

Verifier assurance programme (OVK-VA)#17
fraware wants to merge 22 commits into
mainfrom
feat/verifier-assurance

Commits on Jul 24, 2026

chore: ignore local verifier-assurance scratch artifacts.

docs: record VA-00 ADR, baseline, and adapter inventory.

feat: pin pcs-core and add PCS digest helpers.

feat: add optional assurance capability manifests (VA-01).

feat: configuration snapshots and redaction (VA-02).

feat: invocation records and evidence packs (VA-03).

feat: add assurance runner for opt-in verifier execution.

feat: replay assurance invocations from evidence packs (VA-04).

feat: mutate verifier profiles for assurance probing (VA-05).

feat: add shared helpers for assurance adapters.

feat: add auth-state assurance adapter.

feat: add pytest-suite assurance adapter.

feat: add OPA policy assurance adapter.

feat: add lean-pfcore assurance adapter.

feat: add SQL state-diff assurance adapter.

feat: add model-judge assurance adapter.

feat: wire assurance backend registry for ovk verifier.

feat: add conformance harness and assurance examples.

feat: import adjudication records into assurance evidence.

feat: expose ovk verifier CLI for assurance workflows.

docs: document verifier-assurance guide, threat model, and indexes.

ci: add assurance job pinned to pcs-core.