Repository navigation

Pre-push testing hook: affected-set test gate + non-invasive gates - #6706

Merged

briansrls merged 16 commits into

mainfrom

session/royal-carp-451

Jul 16, 2026

Merged

Pre-push testing hook: affected-set test gate + non-invasive gates#6706
briansrls merged 16 commits into
mainfrom
session/royal-carp-451

Commits on Jul 16, 2026
- WIP: dag roadmap work
  briansrls
  committed
  c673f6c
- WIP: dag roadmap work
  briansrls
  committed
  4cfe477
- Merge origin/main (#6696 algebra flatten) into pre-push hook branch
  briansrls
  committed
  10a03c0
- Regenerate .githooks/pre-push from updated authority (witness gate + non-invasive gates)
  
  briansrls
  and
  claude
  committed
  ee5c91c
- Update pre-push hook witness for non-invasive + affected-test-gate contract
  
  briansrls
  and
  claude
  committed
  8001793
- WIP: dag roadmap work
  briansrls
  committed
  cffc7f3
- Revert bundled crate-layout .rs regen (main-inherited #6677 drift/fmt catch-22, not this PR's)
  briansrls
  committed
  384da02
- Merge latest origin/main into pre-push hook branch
  briansrls
  committed
  6d81aa1
- WIP: dag roadmap work
  briansrls
  committed
  c224742
- Fix doc/artifact hook gates: add --source-root src/v2 to claim_batch invocations
  
  briansrls
  and
  claude
  committed
  854f701
- Remove // comment from hook witness test (DAG has no comment syntax)
  briansrls
  committed
  b166cd5
- WIP: dag roadmap work
  briansrls
  committed
  2551800
- WIP: dag roadmap work
  briansrls
  committed
  cc15a2f
- Fix witness-corpus note (refuse not widen) + derive claim_batch source roots from authority
  
  briansrls
  and
  claude
  committed
  b66a58b
- WIP: dag roadmap work
  briansrls
  committed
  6212367
- Merge branch 'main' into session/royal-carp-451
  briansrls
  authored
  e84f791