Merge branch 'main' into claude/awesome-wright-va45xo

224324f

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

coderabbitai

CodeRabbit

GitGuardian

GitGuardian Security Checks

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

SonarQubeCloud

SonarCloud Code Analysis

Dogfood Gate on: pull_request 12

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Idris ABI typecheck on: pull_request 1

idris-abi

Agda proofs on: pull_request 1

Reversibility as a grade (Loss instance), expected rejections

Rocq and Lean recheck legs, expected rejections

Squabble on: pull_request 1

CI dependency chains

squabble fight (propose-only)

Dashboard Check on: pull_request 1

STATE vs dashboard reconciliation

Dependabot Auto-Merge on: pull_request

automerge

E2E + Aspect + Bench + Security on: pull_request 5

Rust Build + Unit Tests

Criterion Benchmarks

E2E Lifecycle Test

Aspect Tests (Cross-Cutting)

Zig FFI Build + Test

Panic Attack Security Scan

Hypatia Security Scan on: pull_request 1

CodeQL Security Analysis on: pull_request 1

Governance on: pull_request 1

Secret Scanner on: pull_request 1

Rust CI on: pull_request 1