Imports, security, and extensions rules
Optional and host-facing behavior, importer contracts, security limits, diagnostics, and extension surfaces.
This view contains 24 of 249 active rules. Every rule remains mandatory where applicable.
Return to the rule index or read the complete formal grammar.
| Rule | Part | Clause |
|---|---|---|
CARVE-P2-024 | 2 | RENDER-LOSS REPORTING |
CARVE-P9-009 | 9 | TABLE MARKER-PADDING DIAGNOSTICS SHARE ONE ID |
CARVE-P9-011 | 9 | HOSTS MAY OFFER A DOCUMENT-WIDE SMART TYPOGRAPHY SWITCH |
CARVE-P9-038 | 9 | AN IMPORTER WRITES THE CORE FORM, NEVER THE EXTENSION FENCE |
CARVE-P9-039 | 9 | CROSSREF AUTO-TEXT + DEFAULT-ON / PROCESSOR FEATURES |
CARVE-P9-054 | 9 | SECURITY REQUIREMENTS |
CARVE-P9-055 | 9 | A URL-LIST ATTRIBUTE IS PROBED TOKEN-WISE, NOT AT ITS HEAD |
CARVE-P9-056 | 9 | A FLATTENED OPENER IS ORDINARY PARAGRAPH TEXT |
CARVE-P9-057 | 9 | AT THE RENDER CEILING, A RENDERER REFUSES |
CARVE-P9-058 | 9 | TROJAN-SOURCE / INVISIBLE-UNICODE HARDENING |
CARVE-P9-063 | 9 | THE ENGINE'S OWN WORDS ARE A RENDER OPTION |
CARVE-P9-064 | 9 | AN EXTENSION WRITES INTO THE SAME MAP |
CARVE-P9-065 | 9 | AN IMPORTER DOES NOT BAKE A DERIVED NAME INTO SOURCE |
CARVE-P9-066 | 9 | A DERIVED VALUE IS ONE THE IMPORTER CAN RECONSTRUCT |
CARVE-P10-008 | 10 | THE OTHER SEMANTIC NAMES ARE AN EXTENSION |
CARVE-P10-009 | 10 | AN EXTENDED TASK STATE NAMES ITSELF ON THE ITEM |
CARVE-P12-009 | 12 | A CONSUMER THAT RENDERS A DESTINATION OWNS THE DENYLIST |
CARVE-P12-032 | 12 | SOURCE LAYOUT IS A SEPARATE OPT-IN SIDECAR |
CARVE-P12-033 | 12 | A CAPTION MAY CARRY AN OPTIONAL STRUCTURED SHORT CAPTION |
CARVE-P12-034 | 12 | A TABLE MAY CARRY AN OPTIONAL ROW GROUPING |
CARVE-P12-036 | 12 | A FIGURE MAY WRAP A TABLE, AND NO CARVE SOURCE SPELLS IT |
CARVE-P12-037 | 12 | A CITATION DEFINITION IS A NODE |
CARVE-P12-038 | 12 | A CITATION ITEM IS A POSITIONED INLINE NODE |
CARVE-P12-039 | 12 | A TABLE MAY CARRY OPTIONAL POSITIONAL COLUMN METADATA |