Repository navigation

test: fold branch-only lines #5622 #5632 #5626 - #5728

Closed

noahgift wants to merge 13 commits into

mainfrom

batch/test-fold-branch-only-0450

Closed

test: fold branch-only lines #5622 #5632 #5626#5728
noahgift wants to merge 13 commits into
mainfrom
batch/test-fold-branch-only-0450

Commits on Oct 19, 2026
- test(contracts-cli): cover certify::analyze_config (Refs #5622)
  
  noahgift
  and
  claude
  committed
  fce2dbe
- test(sparse): cover BsrMatrix::new validation (Refs #5632)
  
  noahgift
  and
  claude
  committed
  f99500f
- test(test-lib): LoadTest::run_phase_max covered via local HTTP server + contract (Refs #5626)
  
  noahgift
  and
  claude
  committed
  595e3bd
- chore(regen): derived files, PV-006 renumber and CI fragment for the fourth branch-only fold
  
  noahgift
  and
  claude
  committed
  a251af6
- fix(contracts): cargo-test formal entries carry a declared symbol so formal_prose stays at 1464
  
  noahgift
  and
  claude
  committed
  a294c6d
- Merge remote-tracking branch 'origin/main' into tmp-m
  noahgift
  committed
  464871a
- Merge remote-tracking branch 'origin/main' into fx5728
  noahgift
  committed
  8d211ff
- fix(contracts): regenerate witness after merging main (WitnessStale failed ont5/lint gates)
  
  noahgift
  and
  claude
  committed
  4071bae
- fix(contracts): regenerate witness after merging main (WitnessStale failed ont5/lint gates)
  
  noahgift
  and
  claude
  committed
  694aa8c
- merge: origin/main (witness, contracts.nt, shapes.ttl regenerated)
  
  noahgift
  and
  claude
  committed
  7afe496
- fix(contracts): regenerate shapes.ttl and witness with the in-tree pv (ont4b freshness gate)
  
  noahgift
  and
  claude
  committed
  94dc1ac
Commits on Oct 20, 2026
- merge: origin/main (witness, contracts.nt, shapes.ttl regenerated)
  
  noahgift
  and
  claude
  committed
  e4ed326
Commits on Oct 21, 2026
- merge: origin/main (Refs #5728)
  
  noahgift
  and
  claude
  committed
  bd1e070

Commits

Commits on Oct 19, 2026

Commits on Oct 20, 2026

Commits on Oct 21, 2026