Imports, security, and extensions rules
Optional and host-facing behavior, importer contracts, security limits, diagnostics, and extension surfaces.
This view contains 39 of 344 active rules. Every rule remains mandatory where applicable.
Return to the rule index or read the complete formal grammar.
| Rule | Part | Clause |
|---|---|---|
CARVE-P2-029 | 2 | AN IMPORTER DROPS INFO-STRING TEXT THAT IS NOT A LANGUAGE |
CARVE-P2-030 | 2 | A BARE --- BLOCK IS IMPORTED AS FRONTMATTER ONLY WHERE IT SHAPES AS A MAPPING |
CARVE-P2-031 | 2 | MARKDOWN MIGRATION FRAGMENTS |
CARVE-P2-032 | 2 | UNRESOLVED MARKDOWN REFERENCES KEEP THEIR SYNTAX ON IMPORT |
CARVE-P2-033 | 2 | A GITHUB ALERT IMPORTS AS AN ADMONITION |
CARVE-P2-024 | 2 | RENDER-LOSS REPORTING |
CARVE-P4-008 | 4 | AN IMPORTER READS A BRACE RUN'S CONTINUATION ONLY WHERE IT IS INDENTED |
CARVE-P6-001 | 6 | FILE INCLUSION SEMANTICS |
CARVE-P9-070 | 9 | SOCIAL LINK RESOLUTION |
CARVE-P9-071 | 9 | THE MEDIA TYPE AND THE FILE EXTENSION |
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-074 | 9 | A MARKDOWN LABEL THAT IS BOTH A CHECKBOX AND A DEFINED REFERENCE IS THE CHECKBOX |
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 | A TASK LIST AND ITS NAMED TASK STATES NAME THEMSELVES |
CARVE-P10-010 | 10 | A PLACED ELEMENT'S OWN TAGS CARRY THE PER-IMPLEMENTATION INDENTATION |
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 |
CARVE-P10-013 | 10 | AN ESCAPED RAW BLOCK IS WRITTEN AS CODE |
CARVE-P10-017 | 10 | EXPORT DOES NOT SELECT AN IMPORT MODE |
CARVE-P10-020 | 10 | AN IMPORTER READS THE DEPRECATED data-djot- SPELLING |
CARVE-P10-021 | 10 | EVERY IMPORT MODE CONSUMES THE INVENTORY AND WRITES NO RESERVED NAME BACK |