Repository navigation

Step3 manifest - #102

Merged

hyperpolymath merged 15 commits into

mainfrom

step3-manifest

May 16, 2026

Merged

Step3 manifest#102
hyperpolymath merged 15 commits into
mainfrom
step3-manifest

Commits on May 13, 2026
- docs(adr): record octad/verification/justfile decisions, strip empty trees
  
  hyperpolymath
  and
  claude
  committed
  78fedce
- test(integration): fix verisim_ vs verisimdb_ prefix + Windows path escaping
  
  hyperpolymath
  and
  claude
  committed
  de0e7fb
- build(just): remove aspirational augment/check-octad/migrate recipes
  
  hyperpolymath
  and
  claude
  committed
  6a0ccfd
- chore(lint): remove blanket #![allow(...)] blocks; fix surfaced lints
  
  hyperpolymath
  and
  claude
  committed
  b218130
- docs(readme,roadmap): align around concerns octad (ADR-0001)
  
  hyperpolymath
  and
  claude
  committed
  46663c7
- ci(rust-ci): add concurrency cancellation; honour fmt fixes from prior commit
  
  hyperpolymath
  and
  claude
  committed
  db7b7e9
- prov: tamper-evident hash chain — V-L1-B1 + V-L2-N1 + V-L2-C1..C4 + V-L2-L1..L2
  
  hyperpolymath
  and
  claude
  committed
  f227c60
- manifest: explicit Constraints + conflict-detection + Default-driven init
  
  hyperpolymath
  and
  claude
  committed
  0c6b540
- codegen: DDL hardening — identifier validation, CHECK enums, latest-prov fix (#67)
  
  hyperpolymath
  and
  claude
  authored
  36fe7ee
Commits on May 16, 2026
- Merge origin/main into step3-manifest
  
  tanush5800
  and
  claude
  committed
  2d271e2
- fix: post-merge reconciliation — compile, clippy -D warnings, tests, fmt
  
  tanush5800
  and
  claude
  committed
  3c69a80
- fix(ci): hypatia-scan working-directory env.HOME -> /home/runner/hypatia
  
  tanush5800
  and
  claude
  committed
  5c9766b
- fix(ci): adopt canonical hypatia-scan.yml (resolve full template drift)
  
  tanush5800
  and
  claude
  committed
  c2e139a
- fix(ci): hypatia-scan PR-comment must not gate the scan
  
  tanush5800
  and
  claude
  committed
  52046ea
- fix(ci): CodeQL analyse rust, not javascript-typescript
  
  tanush5800
  and
  claude
  committed
  b711346

Commits

Commits on May 13, 2026

Commits on May 16, 2026