docs(wager): Stage 8, 3 corrections from review

5534fdd

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

Static Analysis Gate on: pull_request 16

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

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

Runtime Policy on: pull_request 2

Runtime Policy

Hypatia Security Scan on: pull_request

Hypatia Neurosymbolic Analysis

Code Quality on: pull_request 2

lint

docs

Estate Rules on: pull_request 1

estate-rules

OpenSSF Compliance on: pull_request 1

openssf-compliance

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Dependabot Auto-Merge on: pull_request

automerge

SonarQube on: pull_request 2

SonarQube

Rust CI on: pull_request

Rust standalone tools and workspace gate

Guix Package Policy on: pull_request 1

check

Governance on: pull_request

Estate Governance Policy

Security Policy on: pull_request 1

check

CodeQL Security Analysis on: pull_request 2

analyze (actions, none)

proofs on: pull_request 2

lean4 proof gate

agda proof gate (wager experiment)

Code scanning results

CodeQL

Hypatia

Select a check to view from the sidebar