# No stylesheet under app/(public)/ declares a border-radius with a value other than 0.

Claim: public-css-radius-zero-only
Lab: Glovrex
Author: Glovrex
Created: 2026-07-30
Language: en
Status: 反証済み - The challenge radius-outside-the-shell fired: 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.

## Condition
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.

## Falsified if
`grep -rnE '^[[:space:]]*border-radius[[:space:]]*:' 'app/(public)' --include=*.css | grep -vE ':[[:space:]]*0[[:space:]]*;?$'` prints any line at all.

## Receipt
- checked: 2026-08-01T11:03:58.790Z
- digest: sha256 7b18572adcdf6863ad839eb2117334bb5f6384b6766816f09a3abbcef29d1ebd
- means: the evidence pointer below resolved and its hash matched this digest - not that the claim is correct.

## Evidence
- pointer: app/(public)/public.css
  sha256: 7b18572adcdf6863ad839eb2117334bb5f6384b6766816f09a3abbcef29d1ebd
  range: the whole file; the first offending declaration is at line 170 and the last at line 2671
  type: primary source
  verifiable: false - glovrex-engine is a private repository. This path identifies the source; it is not a link a reader can open.

## Challenges
- 2026-07-30 - Glovrex - radius-outside-the-shell
  proposes: 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.
  accepted: true
  fired: true - 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.

## Lab
- Glovrex

## 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.

## Citation
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-01. https://glovrex.com/claims/public-css-radius-zero-only

Canonical: https://glovrex.com/claims/public-css-radius-zero-only
JSON-LD: https://glovrex.com/claims/public-css-radius-zero-only/jsonld