docs: regenerate the repository map (PROOF-STATUS, agda-lib rows)

b7d12c3

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

Push email notification on: push

Email on push

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

Lock Sync Gate on: pull_request 1

actions.lock is in sync with the workflow YAML

Dependabot Auto-Merge on: pull_request

automerge

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

🟡 CHECK: K9 Contract Validation on: pull_request 3

🟡 CHECK: Validate K9 contracts

Estate Rules on: pull_request 2

estate-rules

🟡 CHECK: Groove Protocol Compliance on: pull_request 1

🟡 CHECK: Groove manifest check

Guix Package Policy on: pull_request 1

check

OpenSSF Compliance on: pull_request 2

openssf-compliance

Security Policy on: pull_request 1

check

🟡 CHECK: DEED Manifest Validation on: pull_request 1

Validate DEED manifests

SonarQube on: pull_request 2

SonarQube

ℹ️ ADVISORY: Dogfooding Compliance Scorecard on: pull_request 1

Dogfooding compliance summary

CodeQL Security Analysis on: pull_request 1

analyze (actions, none)

🟡 CHECK: Eclexiaiser Manifest Validation on: pull_request 1

🟡 CHECK: Validate eclexiaiser manifest

Static Analysis Gate on: pull_request 18

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

Dogfood Gate on: pull_request 13

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)

🔴 GATE: Invisible Character Detection on: pull_request 1

🔴 GATE: Empty-linter (invisible characters)

.github/workflows/main-estate-audit.yml on: pull_request 1

Runtime Policy on: pull_request 2

Runtime Policy

Code Quality on: pull_request 1

Code scanning results

CodeQL

docs: regenerate the repository map (PROOF-STATUS, agda-lib rows)

Uh oh!

Select a check to view from the sidebar