CTX-PROOF-2: inherit proven on the flex, box-sizing, margin, padding, border and size longhands (30 alias probes)

.gitattributes

@@ -12,6 +12,7 @@ packages/dragon/src/ua/*.generated.ts merge=dragon-generated
 packages/layout/break-vectors/** merge=dragon-generated
 packages/layout/generated/** merge=dragon-generated
 packages/layout/paint-vectors/*/vectors.json merge=dragon-generated
+packages/layout/paint-vectors/radius/inputs.jsonl merge=dragon-generated
 packages/layout/rt-vectors/animator/** merge=dragon-generated
 packages/layout/rt-vectors/hit/** merge=dragon-generated
 packages/layout/vectors/*.json merge=dragon-generated

docs/ports.json

@@ -528,6 +528,7 @@
         { "file": "packages/dragon/src/css/aliases.ts", "symbol": null, "use": "reference" },
         { "file": "packages/dragon/src/css/grid-values.ts", "symbol": null, "use": "port" },
         { "file": "packages/dragon/src/css/math.ts", "symbol": "MathGrammar", "use": "port" },
+        { "file": "packages/dragon/src/css/shorthands/radius.ts", "symbol": null, "use": "reference" },
         { "file": "packages/dragon/src/fonts/family-list.ts", "symbol": null, "use": "port" },
         { "file": "packages/dragon/src/fonts/family-list.ts", "symbol": "isInvalidFontFamily", "use": "port" },
         { "file": "packages/dragon/src/fonts/family-list.ts", "symbol": "parseFamilyList", "use": "port" },
@@ -1223,6 +1224,7 @@
         { "lines": "2006-2437", "symbol": "ClipBorderSidePolygon", "source": "cited" }
       ],
       "dragon": [
+        { "file": "packages/dragon/src/analysis/paint-values/radius.ts", "symbol": "checkRoundedElement", "use": "reference" },
         { "file": "packages/layout/src/paint-dash.ts", "symbol": null, "use": "port" },
         { "file": "packages/layout/test/paint-dash.test.ts", "symbol": null, "use": "reference" }
       ]
@@ -1291,12 +1293,14 @@
       "headerSha256": "fc58abb313b0dbb837baebcadf633a83df109528c3a0516c4bb18b3c05ed3c69",
       "ranges": [
         { "lines": "207-231", "symbol": "PixelSnappedContouredInnerBorder", "source": "cited" },
-        { "lines": "187-193", "symbol": "ContouredBorder", "source": "located" }
+        { "lines": "187-193", "symbol": "ContouredBorder", "source": "located" },
+        { "lines": "178-185", "symbol": "PixelSnappedContouredBorder", "source": "located" }
       ],
       "dragon": [
         { "file": "packages/layout/src/paint-dash.ts", "symbol": "innerBorderRect", "use": "port" },
         { "file": "packages/layout/test/paint-dash.test.ts", "symbol": null, "use": "reference" },
-        { "file": "packages/layout/src/rt-hit.ts", "symbol": null, "use": "reference" }
+        { "file": "packages/layout/src/rt-hit.ts", "symbol": null, "use": "reference" },
+        { "file": "packages/layout/src/paint-radius.ts", "symbol": null, "use": "port" }
       ]
     },
     {