Skip to content

docs(laws): an internal law holds behavior in place #65

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
ngngardner merged 1 commit into from
Nov 1, 2026
Merged

docs(laws): an internal law holds behavior in place #65

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: 8 additions & 9 deletions LAWS.bend
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,15 +21,14 @@
# laws/UnescapeFindsReferences.bend (character references) and
# laws/CookieHeaderEchoesStore.bend (cookies sent back).
#
# ezhttp's other laws are closed equalities for URL parsing (RFC 3986),
# HTTP/1.1 message framing (RFC 9112), HTTP semantics (RFC 9110), TLS
# selection (RFC 2818), Basic and Bearer credentials (RFC 7617, RFC 4648,
# RFC 6750), the cookie jar in src/cookie.bend (RFC 6265), caching
# directives (RFC 9111) and Fetch CORS. They are not inventoried as
# guarantees yet: each is a file of its own holding one law, named for what
# the law states and with no prose (laws/UrlPathIsAbsolute.bend,
# laws/CacheReadsKnownDirectives.bend), and promises nothing beyond the
# equality it states.
# ezhttp's other laws hold internal behavior in place, each a closed equality
# on one input, for URL parsing (RFC 3986), HTTP/1.1 message framing (RFC
# 9112), HTTP semantics (RFC 9110), TLS selection (RFC 2818), Basic and Bearer
# credentials (RFC 7617, RFC 4648, RFC 6750), the cookie jar in
# src/cookie.bend (RFC 6265), caching directives (RFC 9111) and Fetch CORS.
# Each is a file of its own holding one law, named for what the law states,
# with no prose yet (laws/UrlPathIsAbsolute.bend,
# laws/CacheReadsKnownDirectives.bend).
#
# Commits before these files name guarantees by the requirement IDs of
# docs/SPEC.md, the table these files replaced.
Expand Down
Loading