Merge branch 'main' into arena/82ed8898-hypatia

5f3cb25

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

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

SonarQubeCloud

SonarCloud Code Analysis

Language Policy Blockers on: push 1

Language Policy

Docs & Code Quality on: push 16

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

bridge-gate on: pull_request

bridge-gate

CI on: pull_request 10

Rust Check & Clippy

Rust Format

Detect Haskell tree

k9iser manifest + build

Elixir Compile (dogfood toolchain)

Rust Tests

Haskell Build & Test

HLint

Rust Coverage

CI Status

Dogfood Gate on: pull_request 6

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Security on: pull_request 10

Rust Dependency Audit

Rust License & Ban Check

Secret Detection (Gitleaks)

Secret Detection (TruffleHog)

CodeQL Analysis (actions)

Container Security (Trivy) (deploy/Containerfile)

License Compliance Check

Generate SBOM

Security Status

Verify Proofs (Idris / Lean / TLA+ / Agda) on: pull_request 7

idris2 --check

lake build

agda strict-profile check

TLC model-check

PROOF-STATUS currency

check-trusted-base

sibling citations at pin

Rust CI on: pull_request 6

Check

Test

Format

Clippy

Cargo check + clippy + fmt

Cargo test

Docs & Code Quality on: pull_request 16

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

Escript Soundness on: pull_request 2

Startup probe

Escript packaging soundness

Language Policy Blockers on: pull_request 1

Language Policy

Zig on: pull_request 1

zig build test (FFI + wire contract)

Standards Integration on: pull_request 1

Standards integration contract

CICD Squabbler on: pull_request 1

Squabble chains (hard gate)

Dependabot Auto-Merge on: pull_request

automerge

ABI codegen drift on: pull_request 1

abi-codegen-drift

Tests (E2E / Integration / Stress / Bench) on: pull_request 11

Estate rules and sweep structure

E2E — Elixir Scanner Pipeline

E2E — Rust CLI Scan

Aspect — Rule Module Coverage

Build Test Images

stress-test

criterion + baseline gate

Integration Tests

Integration Coverage

Integration Status

CodeQL Security Analysis on: pull_request 2

analyze (javascript-typescript, none)

analyze (actions, none)

Governance on: pull_request 37

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

Hypatia Security Scan on: pull_request 4

hypatia / Hypatia Neurosymbolic Analysis

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

Trivy

CodeQL

Hypatia

Merge branch 'main' into arena/82ed8898-hypatia

Uh oh!

Select a check to view from the sidebar