AST interchange rules
The core serialized tree shape, source positions, and cross-implementation AST guarantees.
This view contains 60 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-P9-012 | 9 | SMART TYPOGRAPHY RECORDS SOURCE AND RESOLVED KIND |
CARVE-P12-001 | 12 | AST TYPE NAMES FOLLOW THE PROFILE VOCABULARY |
CARVE-P12-002 | 12 | ADJACENT TEXT RUNS ARE COALESCED |
CARVE-P12-004 | 12 | GENERATED NONBREAKING SPACES ARE NODES |
CARVE-P12-005 | 12 | THE SERIALIZED TREE IS PRE-RESOLVE |
CARVE-P12-006 | 12 | A RESOLVED REFERENCE KEEPS ITS DESTINATION |
CARVE-P12-007 | 12 | A NESTED LINK AND AN AUTOLINK STAY NODES |
CARVE-P12-008 | 12 | A DESTINATION IS THE AUTHOR'S TEXT, UNSANITIZED |
CARVE-P12-010 | 12 | A CROSSREF REMAINS A HEADING-REFERENCE NODE AFTER RESOLUTION |
CARVE-P12-011 | 12 | A SPAN CONTAINS ITS CHILDREN'S SPANS |
CARVE-P12-012 | 12 | A SPAN COVERS THE MARKUP THE AUTHOR WROTE |
CARVE-P12-013 | 12 | A SPAN BEGINS AT THE CONSTRUCT'S OPENING MARKUP |
CARVE-P12-014 | 12 | A SPAN ENDS IMMEDIATELY AFTER THE CONSTRUCT'S LAST OWNED SOURCE CODEPOINT |
CARVE-P12-015 | 12 | A HOISTED SIBLING IS NOT A CHILD, AND A CLOSERLESS CONTAINER ENDS BEFORE IT |
CARVE-P12-016 | 12 | A HOISTED DEFINITION MAY CLAIM SOURCE INSIDE THE CONTAINER IT WAS AUTHORED IN |
CARVE-P12-017 | 12 | A DEFINITION LIST ENDS AT ITS LAST PLACED CHILD |
CARVE-P12-018 | 12 | A CONTAINER WITH NO PLACED CHILD AT ALL SPANS ITS OWN MARKUP AND STOPS THERE |
CARVE-P12-019 | 12 | A CONTAINER STARTS AT ITS OPENING MARKUP EVEN WHERE ITS FIRST CHILD IS UNPLACED |
CARVE-P12-020 | 12 | A CONTAINER ENDS AT THE MARKUP THAT CLOSES IT EVEN WHERE ITS LAST CHILD IS UNPLACED |
CARVE-P12-021 | 12 | A SPAN DOES NOT BEGIN AT A LINE TERMINATOR |
CARVE-P12-022 | 12 | A REASSEMBLED NODE MUST OMIT pos |
CARVE-P12-023 | 12 | A GENERATED HEADING ID IS A RESOLUTION RESULT |
CARVE-P12-024 | 12 | THE DOCUMENT ROOT CARRIES THREE FIELDS AND AN OPTIONAL VERSION |
CARVE-P12-025 | 12 | CONTENT IS RAW, NOT PARSED |
CARVE-P12-026 | 12 | AN ABBREVIATION DEFINITION IS RECOGNIZED ONLY AT DOCUMENT LEVEL |
CARVE-P12-027 | 12 | A DEFINITION LIST'S ENTRIES ARE NODES |
CARVE-P12-028 | 12 | HOW DEEP AN INGESTED AST MAY NEST |
CARVE-P12-029 | 12 | A LINK REFERENCE DEFINITION IS A NODE |
CARVE-P12-030 | 12 | A PROPERTY THE SCHEMA DOES NOT NAME IS REJECTED ON INGEST |
CARVE-P12-031 | 12 | A ROOT THAT DEVIATES FROM §7 IS REJECTED ON INGEST |
CARVE-P12-035 | 12 | A COMPOSITE FIGURE IS ITS OWN NODE TYPE |
CARVE-P12-041 | 12 | U+0000 IS REPLACED ON INGEST |
CARVE-P12-042 | 12 | AN INGESTED VALUE THE SCHEMA CALLS ABSENT IS NORMALIZED AWAY |
CARVE-P12-043 | 12 | A BLOCK IMAGE IS A NAMED FIELD ON THE PARAGRAPH |
CARVE-P12-044 | 12 | AN INGESTED blockImage VALUE IS AUTHORITATIVE |
CARVE-P12-046 | 12 | A CHILDREN ARRAY HOLDS ONLY A CONTENT BLOCK |
CARVE-P12-047 | 12 | A REFERENCE NODE CARRIES ITS TARGET |
CARVE-P12-048 | 12 | A SPANNING CELL PUBLISHES ITS RESOLVED EXTENT |
CARVE-P12-049 | 12 | A TABLE CELL MAY CARRY BLOCK CONTENT INSTEAD OF INLINE |
CARVE-P12-050 | 12 | SMALL CAPS SURVIVE INTERCHANGE |
CARVE-P12-051 | 12 | A DISPLAY EQUATION MAY CARRY A LABEL AND NUMBER |
CARVE-P12-052 | 12 | SECTIONING IS INTERCHANGE-ONLY |
CARVE-P12-053 | 12 | A CITATION ITEM CARRIES ITS OWN MODE |
CARVE-P12-054 | 12 | RUBY ANNOTATIONS SURVIVE INTERCHANGE |
CARVE-P12-055 | 12 | A BLOCK EXTENSION DECLARES A CORE FALLBACK |
CARVE-P12-056 | 12 | A STORED TREE IS WRAPPED IN A VERSIONED ENVELOPE |
CARVE-P12-057 | 12 | A NAMED CONTAINER IS A CALLOUT, A DIRECTIVE OR A DIV |
CARVE-P12-058 | 12 | A LINE BLOCK MAY PUBLISH ITS LINES |
CARVE-P12-059 | 12 | A CITATION IS ONLY EVER AN ITEM OF A GROUP |
CARVE-P12-060 | 12 | NODE IDENTITY IS A SEPARATE OPT-IN SIDECAR |
CARVE-P12-061 | 12 | A COUNT WITH NO MARKERS IS INGESTED AS THE SPAN |
CARVE-P12-062 | 12 | AN ANNOTATION RANGE IS A SEPARATE OPT-IN SIDECAR |
CARVE-P12-063 | 12 | PROVENANCE IS A SEPARATE OPT-IN SIDECAR |
CARVE-P12-064 | 12 | CODE BLOCK CONTENT IS LITERAL PAYLOAD TEXT |
CARVE-P12-065 | 12 | RAW BLOCK CONTENT IS LITERAL PAYLOAD TEXT |
CARVE-P12-066 | 12 | A SHAPE NO CARVE SOURCE SPELLS IS CARRIED, NOT INVENTED |
CARVE-P12-067 | 12 | A SIDECAR TRAVELS BESIDE THE TREE AND NEVER IN IT |
CARVE-P12-068 | 12 | AN INGEST REFUSAL IS A TYPED ERROR NAMING WHAT AND WHERE |
CARVE-P12-069 | 12 | A CONTINUATION LINE IS A MARKER IN THE JOINED CELL |
CARVE-P12-070 | 12 | FOOTNOTE AND LINK REFERENCE DEFINITIONS HOIST TO THE DOCUMENT |