No stylesheet under app/(public)/ declares a border-radius with a value other than 0.
condition, falsification, receipt
- Declarations only, where a declaration is a line whose first non-space characters are `border-radius:`. Scope is every `.css` file under `app/(public)/`, not only the shell. As of 2026-07-30, for the copies of those files in this repository. Re-hashed on every read of this page.
- `grep -rnE '^[[:space:]]*border-radius[[:space:]]*:' 'app/(public)' --include=*.css | grep -vE ':[[:space:]]*0[[:space:]]*;?$'` prints any line at all.
notes
Written on 2026-07-30 as a generalisation of `shell-radius-zero-only`, which states the same property for one file. The reasoning behind the generalisation was that the box-free rule is a rule about the whole public surface, so the stylesheets that paint that surface should all satisfy it.
They do not, and this claim was checked and failed on the day it was written. The filter above returns 63 lines: 45 in `app/(public)/public.css` and 18 in `app/(public)/claims/writing.css`. Those two files carry the older light skin that the shell overrides from the outside rather than edits, so the rounded values are still declared even where nothing paints them.
The record is published rather than dropped, and this is the point of keeping it. What the site actually holds is the narrower claim about the shell plus a set of neutralisers that switch the old skin's boxes off in the registers where it matters. That is a weaker property than the one stated here, and the honest way to show the difference is to leave the failed generalisation standing with the number that killed it.
Two things this claim is deliberately NOT:
It is not a claim about what paints. A declaration under a selector that never matches, or one that a later rule overrides to `0`, still counts here, because the condition is written against the source text and the digest is a digest of the source text. A claim about rendered output needs a different condition and a different kind of evidence.
It is not superseded. `shell-radius-zero-only` is narrower, not newer: it was written first, about one file, and says nothing about the directory. Nothing here replaces anything, so this record carries a fired challenge and no supersede link.
evidence
primary source - not independently openable
glovrex-engine is a private repository. This path identifies the source; it is not a link a reader can open.
challenges
recorded
Any `.css` file under `app/(public)/` other than the three shell files carries a line-initial `border-radius:` declaration whose value is not 0. The claim's own condition names the whole directory, but the property it generalises was only ever measured on `app/(public)/_shell/primitives.css`; the light-skin stylesheets in the same directory were never counted.
Fired on 2026-07-30, the day the claim was written. The filter in the claim's own falsification condition returns 63 lines: 45 in app/(public)/public.css (first at line 170, last at line 2671) and 18 in app/(public)/claims/writing.css. Zero in the three shell files, which is the narrower property the claim was generalised from and which still holds.
relations
Nothing points at this claim yet, and it points at nothing.
lab
citation
copyable line + linked excerpt
Glovrex. "No stylesheet under app/(public)/ declares a border-radius with a value other than 0." Claim public-css-radius-zero-only, checked 2026-08-05. https://glovrex.com/claims/public-css-radius-zero-only