Proof statement v1 - #236

Merged

docushell-dev merged 22 commits into

mainfrom

proof-statement-v1

Aug 9, 2026

Commits on Aug 9, 2026

docs: draft Proof Statement v1 and add a DCO commit-msg hook

docushell-dev
and
claude
committed
bddde49
docs: rule the three Proof Statement v1 decisions

docushell-dev
and
claude
committed
c27a625
docs: lock the predicateType base URI and add the build plan

docushell-dev
and
claude
committed
f486e27
docs: cut corroboration and multi-source from Proof Statement v1

docushell-dev
and
claude
committed
1c0af17
ci: restore the RAG framework examples gate, drop its wiring assertion

docushell-dev
and
claude
committed
f81dccc
docs: rule that representations stay bare

docushell-dev
and
claude
committed
c06fa1a
docs: make v0.6.0 pickup-ready and add WP-0

docushell-dev
and
claude
committed
6287240
docs: drop the public-beta posture from the README

docushell-dev
and
claude
committed
95f16ee
test: lock the geometry-free text anchoring path (WP-0 task 0.1)

docushell-dev
and
claude
committed
67dc849
feat(grounding): make bbox optional in the trait, schema unchanged (WP-0 task 0.2)

docushell-dev
and
claude
committed
fb1d46d
docs: record the five multi-format gates where adapters look (WP-0 task 0.3)

docushell-dev
and
claude
committed
db7d1b9
feat(core): add the in-toto Statement builder (WP-1)

docushell-dev
and
claude
committed
db39e8b
feat(cli): ethos verify emits an in-toto Statement (WP-2)

docushell-dev
and
claude
committed
408cac4
docs: rule that subject[1] carries only a hash Ethos computed

docushell-dev
and
claude
committed
c4722db
feat: attest the verifier, config, and claims in every report (WP-3)

docushell-dev
and
claude
committed
564156e
feat: state how precisely each check bound its evidence (WP-4)

docushell-dev
and
claude
committed
77ae87b
feat(cli): every verdict command emits a proof statement (WP-5)

docushell-dev
and
claude
committed
0e84075
docs: publish CLAIMS.md and the migration guide (WP-6)

docushell-dev
and
claude
committed
7f05f29
docs: reconcile the spec with what shipped and consolidate the changelog

docushell-dev
and
claude
committed
1b9c123
fix: read the predicate in the RAG framework examples gate

docushell-dev
and
claude
committed
a1b10ac
fix: update the Python and npm consumer surfaces for the new report fields

docushell-dev
and
claude
committed
18b70f1
fix: update the four remaining report consumers outside cargo test

docushell-dev
and
claude
committed
23f209e

Navigation Menu

Uh oh!

Proof statement v1 - #236

Proof statement v1#236
docushell-dev merged 22 commits into
mainfrom
proof-statement-v1

Commits on Aug 9, 2026

docs: draft Proof Statement v1 and add a DCO commit-msg hook

docs: rule the three Proof Statement v1 decisions

docs: lock the predicateType base URI and add the build plan

docs: cut corroboration and multi-source from Proof Statement v1

ci: restore the RAG framework examples gate, drop its wiring assertion

docs: rule that representations stay bare

docs: make v0.6.0 pickup-ready and add WP-0

docs: drop the public-beta posture from the README

test: lock the geometry-free text anchoring path (WP-0 task 0.1)

feat(grounding): make bbox optional in the trait, schema unchanged (WP-0 task 0.2)

docs: record the five multi-format gates where adapters look (WP-0 task 0.3)

feat(core): add the in-toto Statement builder (WP-1)

feat(cli): ethos verify emits an in-toto Statement (WP-2)

docs: rule that subject[1] carries only a hash Ethos computed

feat: attest the verifier, config, and claims in every report (WP-3)

feat: state how precisely each check bound its evidence (WP-4)

feat(cli): every verdict command emits a proof statement (WP-5)

docs: publish CLAIMS.md and the migration guide (WP-6)

docs: reconcile the spec with what shipped and consolidate the changelog

fix: read the predicate in the RAG framework examples gate

fix: update the Python and npm consumer surfaces for the new report fields

fix: update the four remaining report consumers outside cargo test