Skip to content

Cut AGENTS.md to what the code cannot tell an agent - #112

Merged
SeanTAllen merged 1 commit into
mainfrom
agents-md-cleanup
Jul 12, 2026
Merged

Cut AGENTS.md to what the code cannot tell an agent#112
SeanTAllen merged 1 commit into
mainfrom
agents-md-cleanup

Conversation

@SeanTAllen

Copy link
Copy Markdown
Member

AGENTS.md was 136 lines. Unlike most repos here, its content is mostly genuine FFI knowledge the compiler won't teach and the code scatters across files — so this is a light cut, not a gut.

Applying the pony-agents-md principle — a line earns its place only if reading it here is cheaper and truer than learning it from the repo — this removes the Key Files source listing and the two omnipresent ifdef/use-guard demo blocks, and keeps what a cold agent can't cheaply reconstruct: the five LibreSSL/OpenSSL divergences, the is_null()-before-FFI and _final null-default traps, the exclusion-guard 'multiple possible declarations' gotcha, and the C-to-Pony type mapping. 136 to ~90 lines.

Applies the pony-agents-md principle: a line earns its place only if
reading it here is cheaper and truer than learning it from the repo.
Removes the Key Files source listing and trims the build section. Keeps
the FFI knowledge the code scatters and the compiler won't teach you:
the LibreSSL/OpenSSL divergences, the is_null()-before-FFI and _final
null-default traps, the 'multiple possible declarations' ifdef-guard
gotcha, and the C-to-Pony type mapping.
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Jul 12, 2026
@SeanTAllen
SeanTAllen merged commit 0a4f89e into main Jul 12, 2026
7 checks passed
@SeanTAllen
SeanTAllen deleted the agents-md-cleanup branch July 12, 2026 22:19
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Jul 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants