Step3 manifest#102

Merged

hyperpolymath merged 15 commits into

mainfrom

May 16, 2026

Commits on May 13, 2026

docs(adr): record octad/verification/justfile decisions, strip empty trees

hyperpolymath
and
claude
committed
test(integration): fix verisim_ vs verisimdb_ prefix + Windows path escaping

hyperpolymath
and
claude
committed
build(just): remove aspirational augment/check-octad/migrate recipes

hyperpolymath
and
claude
committed
chore(lint): remove blanket #![allow(...)] blocks; fix surfaced lints

hyperpolymath
and
claude
committed
docs(readme,roadmap): align around concerns octad (ADR-0001)

hyperpolymath
and
claude
committed
ci(rust-ci): add concurrency cancellation; honour fmt fixes from prior commit

hyperpolymath
and
claude
committed
prov: tamper-evident hash chain — V-L1-B1 + V-L2-N1 + V-L2-C1..C4 + V-L2-L1..L2

hyperpolymath
and
claude
committed
manifest: explicit Constraints + conflict-detection + Default-driven init

hyperpolymath
and
claude
committed
codegen: DDL hardening — identifier validation, CHECK enums, latest-prov fix (#67)

hyperpolymath
and
claude
authored

Commits on May 16, 2026