Clarify runtime L10 and cardinality bounds

68eb692

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

.github/workflows/release.yml on: push 1

REUSE compliance on: push 1

license-policy

.github/workflows/governance.yml on: pull_request 1

.github/workflows/hypatia-scan.yml on: pull_request 1

.github/workflows/rust-ci.yml on: pull_request 1

CodeQL Security Analysis on: pull_request 1

analyze (actions, none)

E2E, Property and Aspect Tests on: pull_request 3

E2E structural validation

Root workspace tests

Aspect tests

REUSE compliance on: pull_request 1

license-policy

Proof Corpus on: pull_request 1

idris2 0.8.0 --build vclut-core

Cargo Audit on: pull_request 1

Dependency audit

Backend Matrix on: pull_request 2

Validate Echidna prover catalogue

Client wiremock transport (prover-independent)

Parse Gate on: pull_request 1

vcltotal-parse — panic-free / clippy / tests

OpenSSF Compliance on: pull_request 1

openssf-compliance

Zig Shim Gate on: pull_request 1

ffi/zig — fmt / header / zig build test

Dogfood Gate on: pull_request 9

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

Static Analysis Gate on: pull_request 22

panic-attack assail

Hypatia neurosymbolic scan

Deposit findings for gitbot-fleet

Dependabot Auto-Merge on: pull_request

automerge

ABI Bindings Gate on: pull_request 1

idris2 0.8.0 --build vclut-abi

Satellite Crates Gate on: pull_request 2

attest — clippy / tests

recompute-wasm — clippy / tests

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

Clarify runtime L10 and cardinality bounds

Uh oh!

Select a check to view from the sidebar