docs(receipts): Document VeriSim adapter methods and Lean and Rocq so…

e84a1de

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/rust-ci.yml on: pull_request 1

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

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

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

.github/workflows/secret-scanner.yml on: pull_request 1

Static Analysis Gate on: pull_request 23

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

E2E + P2P + Unit on: pull_request 1

E2E — Unit, P2P and End-to-End

DB Checks on: pull_request 1

Migrations + schema drift

OpenSSF Compliance on: pull_request 1

openssf-compliance

echidnabot Proof Verification on: pull_request 8

Detect proof files

Verify Coq proofs

Verify Lean proofs

Verify Z3/SMT proofs

Verify Agda proofs

Verification Summary

Documentation (casket-ssg) on: pull_request 1

build

deploy

Dependabot Auto-Merge on: pull_request

automerge

Proof Safety on: pull_request

Proof protocol contracts

ClusterFuzzLite PR fuzzing on: pull_request

PR

Dogfood Gate on: pull_request 12

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

Cargo Audit on: pull_request 2

Dependency audit

docs(receipts): Document VeriSim adapter methods and Lean and Rocq so…

Uh oh!

Select a check to view from the sidebar