Skip to content

docs: drop internal "Repository Hygiene" section from README #69

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ErenAri merged 1 commit into from
Jul 1, 2026
Merged

docs: drop internal "Repository Hygiene" section from README #69

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 0 additions & 17 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -284,23 +284,6 @@ Implemented:
Keep the runtime track framed as decisioning/proof unless you are running it in
a controlled environment. Host loading stays disabled/gated by default.

## Repository Hygiene

Generated runtime outputs are intentionally not committed:

- `.bpfcompat/`
- `reports/`
- `evidence/`
- `vm/cache/`
- generated `.bpf.o` files

Recreate proof artifacts locally with the commands below.

If this repository is being prepared for public release, read
[`docs/public-release-checklist.md`](docs/public-release-checklist.md) before
changing GitHub visibility. Deleting private/generated files in a later commit
does not remove them from git history.

## Install

There are three ways to get the CLI. Most users want the prebuilt release
Expand Down