Merge branch 'main' into claude/gifted-thompson-vsrzhw-pr4

8e1022b

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

Dependabot Auto-Merge on: pull_request

automerge

CICD Squabbler on: pull_request 1

Squabble chains (hard gate)

bridge-gate on: pull_request 1

Bridge report contract

bridge-gate

Dogfood Gate on: pull_request 8

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

CI on: pull_request 11

Rust Check & Clippy

Rust Format

Detect Haskell tree

k9iser manifest + build

Elixir Compile (dogfood toolchain)

KYAML conformance (Hypatia.Kyaml against kyq)

Rust Tests

Haskell Build & Test

HLint

Rust Coverage

CI Status

Language Policy Blockers on: pull_request 1

Language Policy

Security on: pull_request 11

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

Rust CI on: pull_request 6

Check

Test

Format

Clippy

Cargo check + clippy + fmt

Cargo test

Standards Integration on: pull_request 1

Standards integration contract

ClusterFuzzLite on: pull_request 1

detect-fuzz-targets

pr-fuzzing

batch-fuzzing

Escript Soundness on: pull_request 2

Startup probe

Escript packaging soundness

Docs & Code Quality on: pull_request 16

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

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 4

analyze (javascript-typescript, none)

analyze (actions, none)

Zig on: pull_request 1

zig build test (FFI + wire contract)

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

idris2 --check

Lean hole re-check (HYP-01 control)

agda strict-profile check

TLC model-check

PROOF-STATUS currency

check-trusted-base

sibling citations at pin

ABI codegen drift on: pull_request 1

abi-codegen-drift

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Hypatia Security Scan on: pull_request 4

hypatia / Hypatia Neurosymbolic Analysis

Governance on: pull_request 36

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

Trivy

Merge branch 'main' into claude/gifted-thompson-vsrzhw-pr4

Uh oh!

Select a check to view from the sidebar