docs: remove the root copy of PROOF-STATUS.adoc

4c9351d

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

GitGuardian

GitGuardian Security Checks

SonarQubeCloud

SonarCloud Code Analysis

Push email notification on: push

Email on push

OpenSSF Compliance on: pull_request 1

openssf-compliance

SonarQube on: pull_request 1

SonarQube

Agda proofs on: pull_request 1

Core proofs and expected rejections

Static Analysis Gate on: pull_request 12

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

Code Quality on: pull_request

lint

docs

🔴 GATE: Invisible Character Detection on: pull_request

🔴 GATE: Empty-linter (invisible characters)

Guix Package Policy on: pull_request

check

Security Policy on: pull_request

check

Dogfood Gate on: pull_request 3

Validate DEED manifests

Validate K9 contracts

🔴 GATE: Empty-linter (invisible characters)

🟡 CHECK: Groove manifest check

Validate eclexiaiser manifest

Canon lockstep

RSR oracle — dogfood this repo

ℹ️ ADVISORY: Dogfooding compliance summary (non-gating)

🟡 CHECK: Groove Protocol Compliance on: pull_request

🟡 CHECK: Groove manifest check

Dependabot Auto-Merge on: pull_request

automerge

CodeQL Security Analysis on: pull_request

analyze (actions, none)

🟡 CHECK: DEED Manifest Validation on: pull_request

Validate DEED manifests

Runtime Policy on: pull_request 1

Runtime Policy

ℹ️ ADVISORY: Dogfooding Compliance Scorecard on: pull_request

Dogfooding compliance summary

Lock Sync Gate on: pull_request

actions.lock is in sync with the workflow YAML

Estate Rules on: pull_request 1

estate-rules

🟡 CHECK: K9 Contract Validation on: pull_request 3

🟡 CHECK: Validate K9 contracts

Workflow Security Linter on: pull_request

lint-workflows

🟡 CHECK: Eclexiaiser Manifest Validation on: pull_request

🟡 CHECK: Validate eclexiaiser manifest

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Hypatia Security Scan on: pull_request 1

hypatia / Hypatia Neurosymbolic Analysis

Governance on: pull_request 21

governance / Check Workflow Staleness

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 / Validate Hypatia Baseline

Central Estate CI/CD Audit on: pull_request 17

call-estate-audit / estate-audit

Rust CI on: pull_request 1

rust-ci / Detect Cargo.toml

rust-ci / Cargo check + clippy + fmt

rust-ci / Cargo audit (security)

rust-ci / llvm-cov line coverage

rust-ci / Cargo test

Code scanning results

CodeQL

Hypatia

docs: remove the root copy of PROOF-STATUS.adoc

Uh oh!

Select a check to view from the sidebar