release: dorian v1.0.1 — hardening, DX, interop + first real cross-PR catch#8

Merged

ajaysurya1221 merged 18 commits into

mainfrom

week1-public-microbench

Jun 17, 2026

Commits on Jun 17, 2026

docs(v1): correct live PyPI/rc2 doc drift + extend doc-drift guard (TASK-001)

ajay-dev-2112
and
claude
committed
docs(v1): promote runnable hero demo + repoint Demo badge (TASK-002)

ajay-dev-2112
and
claude
committed
fix(security): reject option-like pytest checker nodeids (TASK-005a)

ajay-dev-2112
and
claude
committed
docs: add reproducible real cross-PR catch log (TASK-003)

ajay-dev-2112
and
claude
committed
perf(v1): build symbol/config indexes once per verify (TASK-005b)

ajay-dev-2112
and
claude
committed
fix(security): bound sqlite reconcile checks by a per-query timeout (TASK-014)

ajay-dev-2112
and
claude
committed
ci(security): pin actions to SHAs + add SCA/SAST + Dependabot (TASK-013)

ajay-dev-2112
and
claude
committed
feat: export a warrant as an in-toto ClaimVerification predicate (TASK-017)

ajay-dev-2112
and
claude
committed
docs: add guidance for writing checkable claims (TASK-006)

ajay-dev-2112
and
claude
committed
docs: sharpen the Claude Code warranted-claims recipe (TASK-008)

ajay-dev-2112
and
claude
committed
docs: add consolidated safe public-fork runner guidance (TASK-009)

ajay-dev-2112
and
claude
committed
docs: reconcile public benchmark protocol with what shipped (TASK-012)

ajay-dev-2112
and
claude
committed
feat: add deterministic suggest-claims scaffolding (TASK-016)

ajay-dev-2112
and
claude
committed
docs: wire the real-catch proof + new docs into the README (TASK-004)

ajay-dev-2112
and
claude
committed
docs: design note for broadening the public benchmark to C4+C5 (TASK-015)

ajay-dev-2112
and
claude
committed
style: ruff-format test_suggest_claims (TASK-016 follow-up)

ajay-dev-2112
and
claude
committed
release: prepare v1.0.1

ajay-dev-2112
and
claude
committed
docs: re-stamp BENCHMARK_CURRENT at 1.0.1 (numbers re-confirmed, unchanged)

ajay-dev-2112
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

release: dorian v1.0.1 — hardening, DX, interop + first real cross-PR catch#8

release: dorian v1.0.1 — hardening, DX, interop + first real cross-PR catch#8
ajaysurya1221 merged 18 commits into
mainfrom
week1-public-microbench

Commits on Jun 17, 2026

docs(v1): correct live PyPI/rc2 doc drift + extend doc-drift guard (TASK-001)

docs(v1): promote runnable hero demo + repoint Demo badge (TASK-002)

fix(security): reject option-like pytest checker nodeids (TASK-005a)

docs: add reproducible real cross-PR catch log (TASK-003)

perf(v1): build symbol/config indexes once per verify (TASK-005b)

fix(security): bound sqlite reconcile checks by a per-query timeout (TASK-014)

ci(security): pin actions to SHAs + add SCA/SAST + Dependabot (TASK-013)

feat: export a warrant as an in-toto ClaimVerification predicate (TASK-017)

docs: add guidance for writing checkable claims (TASK-006)

docs: sharpen the Claude Code warranted-claims recipe (TASK-008)

docs: add consolidated safe public-fork runner guidance (TASK-009)

docs: reconcile public benchmark protocol with what shipped (TASK-012)

feat: add deterministic suggest-claims scaffolding (TASK-016)

docs: wire the real-catch proof + new docs into the README (TASK-004)

docs: design note for broadening the public benchmark to C4+C5 (TASK-015)

style: ruff-format test_suggest_claims (TASK-016 follow-up)

release: prepare v1.0.1

docs: re-stamp BENCHMARK_CURRENT at 1.0.1 (numbers re-confirmed, unchanged)