Record Grade 3 Agda receipt and fix SD022 false positive

4428672

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

ABI codegen drift on: pull_request 1

abi-codegen-drift

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

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

Standards Integration on: pull_request 1

Standards integration contract

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

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

Zig on: pull_request 1

zig build test (FFI + wire contract)

Rust CI on: pull_request 6

Check

Test

Format

Clippy

Cargo check + clippy + fmt

Cargo test

CICD Squabbler on: pull_request 1

Squabble chains (hard gate)

Dependabot Auto-Merge on: pull_request

automerge

Dogfood Gate on: pull_request 6

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

bridge-gate on: pull_request

bridge-gate

CodeQL Security Analysis on: pull_request 2

analyze (javascript-typescript, none)

analyze (actions, none)

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

Language Policy Blockers on: pull_request 1

Language Policy

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Governance on: pull_request 38

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

Code scanning results

Trivy

CodeQL

Hypatia

Language Policy Blockers on: push 1

Record Grade 3 Agda receipt and fix SD022 false positive

Uh oh!

Select a check to view from the sidebar