Merge branch 'main' into marina/optimistic-cray-js64k7

a96ef5f

Select commit

Loading

Failed to load commit list.

Uh oh!

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

coderabbitai

CodeRabbit

GitGuardian

GitGuardian Security Checks

SonarQubeCloud

SonarCloud Code Analysis

Push email notification on: push

Email on push

Workflow Security Linter on: push

lint-workflows

CodeQL Security Analysis on: pull_request

analyze (actions, none)

Code Quality on: pull_request

lint

mint-gates

docs

Lock Sync Gate on: pull_request

actions.lock is in sync with the workflow YAML

CICD Squabbler on: pull_request

Squabble CI chains & required-context gate

Workflow Security Linter on: pull_request

lint-workflows

🟡 CHECK: Groove Protocol Compliance on: pull_request

🟡 CHECK: Groove manifest check

Dogfood Gate on: pull_request

Validate DEED manifests

Validate K9 contracts

🔴 GATE: Empty-linter (invisible characters)

🟡 CHECK: Groove manifest check

Validate eclexiaiser manifest

Canon lockstep

RSR oracle — dogfood this repo

Publish the lane badges

ℹ️ ADVISORY: Dogfooding compliance summary (non-gating)

Fork governance on: pull_request 1

DEED syntax

K9-DEED conformance

Fleet report-backs

Fork governance verdict

Security Policy on: pull_request

check

Dependabot Auto-Merge on: pull_request

automerge

Agda proofs on: pull_request 1

Core proofs, countermodels, expected rejections, minimal-laws certificate

Rocq and Lean recheck legs (no axioms, no libraries)

ℹ️ ADVISORY: Dogfooding Compliance Scorecard on: pull_request

Dogfooding compliance summary

Proven Tests and Benches on: pull_request

Proven 3-outcome test & bench suite

Central Estate CI/CD Audit on: pull_request 3

Central Estate CI/CD Audit

OpenSSF Compliance on: pull_request

openssf-compliance

🟡 CHECK: Eclexiaiser Manifest Validation on: pull_request

🟡 CHECK: Validate eclexiaiser manifest

SonarQube on: pull_request 1

SonarQube

Hypatia Security Scan on: pull_request

Hypatia Neurosymbolic Analysis

Guix Package Policy on: pull_request

check

Static Analysis Gate on: pull_request

panic-attack & pons-asinorum deep recon

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

Estate Rules on: pull_request

estate-rules

🔴 GATE: Invisible Character Detection on: pull_request

🔴 GATE: Empty-linter (invisible characters)

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Rust CI on: pull_request 1

rust-ci / Detect Cargo.toml

rust-ci / Cargo check + clippy + fmt

rust-ci / Cargo audit (security)

rust-ci / llvm-cov line coverage

rust-ci / Cargo test

Governance on: pull_request 31

governance / Check Workflow Staleness

governance / UUID v7 conformance

governance / UUID v8 conformance

governance / Allowlist Preflight

governance / Live Actions policy (credentialed advisory)

governance / Language / package anti-pattern policy

governance / Guix packaging policy (Nix retired)

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

governance / Actions lockfile verify

governance / Trusted-base reduction policy

governance / Licence consistency

governance / Exemption ratchet

governance / Debt ratchet

governance / JS runtimes — environment provisions Bun first

governance / JS runtimes — bun

governance / JS runtimes — deno

governance / JS runtimes — pnpm

governance / Validate Hypatia Baseline

Code scanning results

CodeQL

Hypatia

Merge branch 'main' into marina/optimistic-cray-js64k7

Uh oh!

Select a check to view from the sidebar