Repository navigation

Follow-up to #107: review fixes and governance hardening - #108

Closed

hyperpolymath wants to merge 58 commits into

mainfrom

arena/99ad561a-trope-checker

Closed

Follow-up to #107: review fixes and governance hardening#108
hyperpolymath wants to merge 58 commits into
mainfrom
arena/99ad561a-trope-checker

Commits on Oct 27, 2026
Commits on Oct 28, 2026
Commits on Oct 29, 2026
- fix: key publisher concurrency on head SHA, not fork-controlled branch name
  
  hyperpolymath
  and
  arena-agent
  committed
  68865eb
- feat: structural graph validation in both cores (calculus MUST)
  
  hyperpolymath
  and
  arena-agent
  committed
  62176b9
- fix: rustfmt-canonical line in validate_graph
  
  hyperpolymath
  and
  arena-agent
  committed
  ee32596
- fix: authenticate fork-governance results before publishing (Codex P1)
  
  hyperpolymath
  and
  arena-agent
  committed
  34e0d63
- Validate Rust IR profile and effect
  
  hyperpolymath
  and
  arena-agent
  committed
  e761801
- Merge commit 'refs/pull/107/head' of https://github.com/hyperpolymath/trope-checker into arena/99ad561a-trope-checker
  
  hyperpolymath
  and
  arena-agent
  committed
  898b7e2
- Harden governance publication and proof audit coverage
  
  hyperpolymath
  and
  arena-agent
  committed
  d0e6927
- Repair setup portability and executable test gate
  
  hyperpolymath
  and
  arena-agent
  committed
  c6025e2
- ci: retry governance scan after scanner crash
  
  hyperpolymath
  and
  arena-agent
  committed
  f64f360