@mildastudio/milda 0.2.0 → 0.3.0

package/dist/index.cjs

@@ -3044,6 +3044,78 @@ const preludeV0 = {
 const atomsByName = Object.fromEntries(atoms.map((a) => [a.name, a]));
 const compositesByName = Object.fromEntries(composites.map((c) => [c.name, c]));
 const archetypesByName = Object.fromEntries(archetypes.map((a) => [a.name, a]));
+// prelude/required.ts
+function archetypeDef(archetype) {
+	return typeof archetype === "string" ? archetypesByName[archetype] : archetype ?? void 0;
+}
+function anatomyIndex(archetype) {
+	const out = /* @__PURE__ */ new Map();
+	const parts = archetypeDef(archetype)?.anatomy;
+	if (!parts) return out;
+	const walk = (part, parentName) => {
+		const seen = out.get(part.name);
+		if (seen) seen.repeated = true;
+		else out.set(part.name, {
+			name: part.name,
+			parentName,
+			role: part.role,
+			optional: part.optional === true,
+			repeated: false
+		});
+		for (const child of part.children ?? []) walk(child, part.name);
+	};
+	for (const part of parts) walk(part, null);
+	return out;
+}
+const LOWERED_ANATOMY = { BooleanInput: ["control", "indicator"] };
+function loweredAnatomy(archetype) {
+	const name = typeof archetype === "string" ? archetype : archetype?.name;
+	return name && LOWERED_ANATOMY[name] || [];
+}
+function findDeclaredPart(name, parentPath, rootPath, paths, repeated) {
+	let best;
+	for (const path of paths) {
+		if ((path.split(".").pop() || path) !== name) continue;
+		const under = parentPath === rootPath || path.startsWith(`${parentPath}.`);
+		if (repeated && !under) continue;
+		if (!best || path.split(".").length < best.split(".").length) best = path;
+	}
+	return best;
+}
+function missingRequiredParts(archetype, anatomy) {
+	const parts = archetypeDef(archetype)?.anatomy;
+	const paths = Object.keys(anatomy);
+	const rootPath = paths[0];
+	if (!parts || rootPath === void 0) return [];
+	const known = anatomyIndex(archetype);
+	const lowered = new Set(loweredAnatomy(archetype));
+	const parentOf = (path) => path.includes(".") ? path.slice(0, path.lastIndexOf(".")) : rootPath;
+	const standIns = /* @__PURE__ */ new Set();
+	for (const path of paths.slice(1)) {
+		const leaf = path.split(".").pop() || path;
+		if (anatomy[path]?.kind === "input" && !known.has(leaf)) standIns.add(parentOf(path));
+	}
+	const out = [];
+	const walk = (part, parentPath, parentMissing) => {
+		const repeated = known.get(part.name)?.repeated ?? false;
+		const declared = findDeclaredPart(part.name, parentPath, rootPath, paths, repeated);
+		if (declared) {
+			for (const child of part.children ?? []) walk(child, declared, false);
+			return;
+		}
+		if (part.optional) return;
+		if (!parentMissing && part.role === "input" && standIns.has(parentPath)) return;
+		const path = parentPath === rootPath ? part.name : `${parentPath}.${part.name}`;
+		out.push({
+			path,
+			kind: part.role,
+			implied: parentMissing
+		});
+		for (const child of part.children ?? []) walk(child, path, true);
+	};
+	for (const part of parts) if (!lowered.has(part.name)) walk(part, rootPath, false);
+	return out;
+}
 // engine/resolveToken.ts
 function resolveToken(tokenId, contextIds, layers, _depth = 0) {
 	if (_depth > 20) return null;
@@ -3641,6 +3713,17 @@ const LOGICAL_EDGES = [
 	"inline",
 	"all"
 ];
+/** The edges an inset can be stated on, besides all four at once (proposal 0057). A dotted facet
+*  name each - `inset.inline`, `inset.block-start` - the way `border` takes `.<edge>`. The bare
+*  `inset` already means all four, so `all` is not one of them. */
+const INSET_EDGES = [
+	"block",
+	"inline",
+	"block-start",
+	"block-end",
+	"inline-start",
+	"inline-end"
+];
 /** The physical edge words the parser used to take, read as the logical edge each names in a
 *  horizontal left-to-right system. Read, never offered, never written - the `rgba` treatment. */
 const PHYSICAL_EDGE_ALIASES = {
@@ -3675,7 +3758,7 @@ function kebab(s) {
 function camelField(s) {
 	return s.replace(/-([a-z0-9])/g, (_, c) => c.toUpperCase());
 }
-const MILDA_SURFACE_VERSION = "0.8";
+const MILDA_SURFACE_VERSION = "0.10";
 const PRELUDE_VERSION = "0.0.2";
 // dsl/literal.ts
 const NUMBER_RE = /^-?\d+(\.\d+)?$/;
@@ -3792,6 +3875,17 @@ function validate(doc, prelude) {
 			where,
 			id: comp.id
 		});
+		const archetype = prelude.archetypes.find((a) => a.name === comp.archetype);
+		for (const gap of missingRequiredParts(archetype, comp.anatomy)) {
+			if (gap.implied) continue;
+			issues.push({
+				severity: "error",
+				code: "part.required",
+				message: `a ${comp.archetype} requires the part "${gap.path}" (${gap.kind})`,
+				where,
+				id: comp.id
+			});
+		}
 		const propIds = new Set(comp.contract.props.map((p) => p.id));
 		for (const [param, binding] of Object.entries(comp.contract.params)) if ("prop" in binding && !propIds.has(binding.prop)) issues.push({
 			severity: "error",
@@ -4074,6 +4168,7 @@ const FACET_MAP = {
 	"border.block-end": "border.block-end",
 	corner: "corner",
 	inset: "inset",
+	...Object.fromEntries(INSET_EDGES.map((e) => [`inset.${e}`, `inset.${e}`])),
 	gap: "gap",
 	text: "text",
 	"text.clamp": "textClamp",
@@ -4210,7 +4305,6 @@ const SLOT_ARITIES = [
 const PART_KEYWORDS = [
 	"kind",
 	"origin",
-	"locked",
 	"present",
 	"slot",
 	"content",
@@ -5970,7 +6064,13 @@ var Parser = class Parser {
 		return spec;
 	}
 	parseFacetStmt() {
-		const raw = this.expectWord("facet-name");
+		let raw = this.expectWord("facet-name");
+		const physical = /^inset\.(top|right|bottom|left)$/.exec(raw);
+		if (physical) {
+			const logical = `inset.${PHYSICAL_EDGE_ALIASES[physical[1]]}`;
+			this.issue("warning", "inset-physical", `'${raw}' is read as '${logical}' - write the logical edge`);
+			raw = logical;
+		}
 		const mapped = FACET_MAP[raw];
 		if (mapped === void 0) {
 			this.issue("warning", "facet-unknown", `unknown facet "${raw}" skipped`);
@@ -5986,6 +6086,19 @@ var Parser = class Parser {
 			name: "inset",
 			value: { inset: this.parseInsetArgs() }
 		};
+		if (mapped.startsWith("inset.")) {
+			const w = this.at("word") ? this.next().value : void 0;
+			if (w === void 0) {
+				this.issue("error", "facet-value", `"${raw}" needs a value`);
+				this.skipToTerminator();
+				return null;
+			}
+			if (!this.at("semi") && !this.at("newline") && !this.at("rbrace")) this.skipToTerminator();
+			return {
+				name: mapped,
+				value: { token: tokId(w) }
+			};
+		}
 		if (mapped === "border" || mapped.startsWith("border.")) {
 			const border = {};
 			while (this.at("word")) {
@@ -6466,13 +6579,30 @@ var Parser = class Parser {
 		}
 		return out;
 	}
+	parsePartHeader(part) {
+		const said = {};
+		if (this.at("colon")) {
+			this.next();
+			if (!this.at("word")) this.issue("error", "part-header-kind", "expected the part's kind after ':'");
+			else {
+				said.kind = this.next().value;
+				part.kind = said.kind;
+			}
+		}
+		while (!this.at("lbrace") && !this.atValueEnd()) {
+			const tok = this.next();
+			this.issue("error", "part-header-word", `unexpected ${JSON.stringify(tok.value)} in a part header - expected '{'`, tok);
+		}
+		return said;
+	}
 	parsePart() {
 		const kw = this.next();
 		const nameTok = this.peek();
 		const name = this.expectWord("part-name");
 		if (!name) return null;
-		this.expect("lbrace", "part-lbrace");
 		const part = {};
+		const header = this.parsePartHeader(part);
+		this.expect("lbrace", "part-lbrace");
 		const facets = {};
 		const variants = [];
 		while (!this.at("rbrace") && !this.at("eof")) {
@@ -6502,16 +6632,17 @@ var Parser = class Parser {
 				this.next();
 				part.slot = this.parseSlot();
 			} else if (this.atWord("kind")) {
-				this.next();
-				part.kind = this.expectWord("part-kind");
+				const tok = this.next();
+				const stated = this.expectWord("part-kind");
+				if (header.kind === void 0) part.kind = stated;
+				else if (stated === header.kind) this.issue("warning", "part-kind-twice", `kind '${stated}' is stated twice`, tok);
+				else if (stated) this.issue("error", "part-kind-conflict", `kind '${stated}' contradicts the header's '${header.kind}' - the header wins`, tok);
 			} else if (this.atWord("origin")) {
 				this.next();
 				const o = this.expectWord("part-origin");
 				if (o === "root" || o === "archetype" || o === "author") part.origin = o;
-			} else if (this.atWord("locked")) {
-				this.next();
-				part.locked = true;
-			} else if (this.atWord("content")) {
+			} else if (this.atWord("locked")) this.next();
+			else if (this.atWord("content")) {
 				this.next();
 				part.content = this.parsePartContent();
 			} else if (this.atWord("a11y")) {
@@ -7630,7 +7761,7 @@ var Parser = class Parser {
 		let docs;
 		let assets;
 		let icons;
-		let mildaVer = opts.milda ?? "0.8";
+		let mildaVer = opts.milda ?? "0.10";
 		let preludeVer = opts.prelude ?? "0.0.2";
 		let docName = opts.name ?? "Design system";
 		let docVersion = "0.0.0";
@@ -7759,7 +7890,7 @@ function parseMildaDocument(src, opts = {}) {
 }
 function emptyDocument(opts) {
 	return {
-		milda: opts.milda ?? "0.8",
+		milda: opts.milda ?? "0.10",
 		kind: "design-system",
 		prelude: opts.prelude ?? "0.0.2",
 		meta: {
@@ -7801,6 +7932,7 @@ exports.DOC_TRANSCLUSIONS = DOC_TRANSCLUSIONS;
 exports.EXAMPLE_KEYWORDS = EXAMPLE_KEYWORDS;
 exports.FACET_NAMES = FACET_NAMES;
 exports.GROUP_REALIZATIONS = GROUP_REALIZATIONS;
+exports.INSET_EDGES = INSET_EDGES;
 exports.INTERACTION_KINDS = INTERACTION_KINDS;
 exports.LAYOUT_ALIGNS = LAYOUT_ALIGNS;
 exports.LAYOUT_DIRECTIONS = LAYOUT_DIRECTIONS;
@@ -7834,14 +7966,18 @@ exports.TOKEN_VALUE_KIND = TOKEN_VALUE_KIND;
 exports.TOKEN_VALUE_KINDS = TOKEN_VALUE_KINDS;
 exports.VALUE_LITERAL_FNS = VALUE_LITERAL_FNS;
 exports.allTokensOfType = allTokensOfType;
+exports.anatomyIndex = anatomyIndex;
 exports.archetypesByName = archetypesByName;
 exports.atomsByName = atomsByName;
 exports.camelField = camelField;
 exports.compositesByName = compositesByName;
 exports.conformance = conformance;
+exports.findDeclaredPart = findDeclaredPart;
 exports.findToken = findToken;
 exports.kebabField = kebab;
 exports.lex = lex;
+exports.loweredAnatomy = loweredAnatomy;
+exports.missingRequiredParts = missingRequiredParts;
 exports.parseMildaDocument = parseMildaDocument;
 exports.preludeV0 = preludeV0;
 exports.resolveToken = resolveToken;

package/dist/index.d.cts

@@ -427,6 +427,11 @@ type PositionKind = (typeof POSITION_KINDS)[number];
 /** Logical edges, so a design system reads the same in a right-to-left locale. */
 declare const LOGICAL_EDGES: readonly ['block-start', 'block-end', 'inline-start', 'inline-end', 'block', 'inline', 'all'];
 type LogicalEdge = (typeof LOGICAL_EDGES)[number];
+/** The edges an inset can be stated on, besides all four at once (proposal 0057). A dotted facet
+ *  name each - `inset.inline`, `inset.block-start` - the way `border` takes `.<edge>`. The bare
+ *  `inset` already means all four, so `all` is not one of them. */
+declare const INSET_EDGES: readonly ["block", "inline", "block-start", "block-end", "inline-start", "inline-end"];
+type InsetEdge = (typeof INSET_EDGES)[number];
 /** The physical edge words the parser used to take, read as the logical edge each names in a
  *  horizontal left-to-right system. Read, never offered, never written - the `rgba` treatment. */
 declare const PHYSICAL_EDGE_ALIASES: Readonly<Record<string, LogicalEdge>>;
@@ -441,17 +446,12 @@ declare const DEMO_ACTION_OPS: readonly string[];
 declare function kebab(s: string): string;
 /** A surface kebab key → the IR's camelCase field (`week-starts-on` → `weekStartsOn`). */
 declare function camelField(s: string): string;
-declare const MILDA_SURFACE_VERSION = "0.8";
+declare const MILDA_SURFACE_VERSION = "0.10";
 declare const PRELUDE_VERSION = "0.0.2";
-type FacetName = 'fill' | 'ink' | 'border' | 'border.top' | 'border.right' | 'border.bottom' | 'border.left' | 'border.inline-start' | 'border.inline-end' | 'border.block-start' | 'border.block-end' | 'corner' | 'inset' | 'gap' | 'text' | 'textClamp' | 'textWrap' | 'weight' | 'font' | 'slant' | 'elevation' | 'overlay' | 'opacity' | 'ring' | 'backdrop';
+type FacetName = 'fill' | 'ink' | 'border' | 'border.top' | 'border.right' | 'border.bottom' | 'border.left' | 'border.inline-start' | 'border.inline-end' | 'border.block-start' | 'border.block-end' | 'corner' | 'inset' | `inset.${InsetEdge}` | 'gap' | 'text' | 'textClamp' | 'textWrap' | 'weight' | 'font' | 'slant' | 'elevation' | 'overlay' | 'opacity' | 'ring' | 'backdrop';
 type InsetValue = {
   block?: Id;
   inline?: Id;
-} | {
-  top?: Id;
-  right?: Id;
-  bottom?: Id;
-  left?: Id;
 } | {
   all: Id;
 };
@@ -923,7 +923,6 @@ interface Part {
   facets?: FacetMap;
   kind?: string;
   origin?: 'root' | 'archetype' | 'author';
-  locked?: boolean;
   content?: PartContent;
   a11y?: PartA11y;
   emits?: PartEmit[];
@@ -1302,6 +1301,23 @@ declare const preludeV0: PreludeDocument;
 declare const atomsByName: Record<string, Atom>;
 declare const compositesByName: Record<string, CompositeBehavior>;
 declare const archetypesByName: Record<string, ArchetypeDef>;
+type ArchetypeRef = ArchetypeDef | string | null | undefined;
+interface AnatomyEntry {
+  name: string;
+  parentName: string | null;
+  role: PartRole;
+  optional: boolean;
+  repeated: boolean;
+}
+declare function anatomyIndex(archetype: ArchetypeRef): Map<string, AnatomyEntry>;
+declare function loweredAnatomy(archetype: ArchetypeRef): readonly string[];
+declare function findDeclaredPart(name: string, parentPath: string, rootPath: string, paths: Iterable<string>, repeated: boolean): string | undefined;
+interface MissingPart {
+  path: string;
+  kind: PartRole;
+  implied: boolean;
+}
+declare function missingRequiredParts(archetype: ArchetypeRef, anatomy: Anatomy): MissingPart[];
 type ResolvedToken = {
   kind: 'value';
   type: TokenType;
@@ -1482,4 +1498,4 @@ interface SkippedChar {
   col: number;
 }
 declare function lex(src: string, skipped?: SkippedChar[]): Token[];
-export { ASSET_BASE_KEYS, ASSET_FIELDS, ASSET_FIELD_KEYS, ASSET_KINDS, AXIS_CLAMPS, AXIS_INTENTS, type AliasTokenValue, type Align, type Anatomy, type AnatomyPart, type AnimationAsset, type AnimationFormat, type AnyTokenValue, type ArchetypeDef, type ArchetypeGroup, type ArchetypeRealize, type Asset, type AssetByKind, type AssetDecl, type AssetFolder, type AssetFolderDecl, type AssetKind, type AssetRegistry, type AssetsDecl, type Assignment, type Atom, type AtomContextVar, type AtomEvent, type AtomParam, type AtomStateNode, type AxisIntent, type AxisIntentKind, type AxisSize, type AxisSizeValue, BEHAVIOR_FIELDS, BEHAVIOR_KINDS, type BlurValue, type BorderFacetStyle, type BorderFacetValue, type BorderStyle, type BorderValue, type BorderWidth, type BrowseRealize, CELL_MODIFIERS, COLOR_KEYWORDS, COLOR_LITERAL_ALIASES, COLOR_LITERAL_FNS, COLOR_LITERAL_SPELLINGS, COLOR_TOKEN_TYPE_NAMES, CONTROL_REALIZATIONS, type Capability, type CapabilityDef, type ColorOrRef, type ColorSpace, type ColorValue, type CommitRealize, type CompareOp, type Component, type ComponentGroupDecl, type CompositeBehavior, type Composition, type ComputeOp, type ComputeSpace, type ComputeTokenValue, type ConfigFieldSpec, type ConfigSurface, type ConformanceOptions, type ConformanceReport, type ContentCategory, type Context, type ContextGroup, type Contract, type CoordEntry, DEMO_ACTION_OPS, DOCS_FOOTER_KEYWORDS, DOCS_KEYWORDS, DOCS_SITE_KEYS, DOC_BLOCK_KEYWORDS, DOC_PROSE_KINDS, DOC_TRANSCLUSIONS, type DemoVariable, type DesignSystemDocument, type DimensionOrRef, type DimensionUnit, type DimensionValue, type Distribute, type DocBlockDecl, type DocPageDecl, type DocsDecl, type DocsFooterDecl, type DocsFooterLinkDecl, type DocsSiteDecl, type DocumentKind, type DocumentMeta, type DocumentMeta as ProjectMeta, type Token as DslToken, type DurationValue, EXAMPLE_KEYWORDS, type Emit, type EscapeTokenValue, type EventDef, type Example, type Expose, FACET_NAMES, type FacetDef, type FacetMap, type FacetName, type FacetTokenType, type FacetValue, type FieldType, type FontAsset, type FontCategory, type FontFamilyValue, type FontProvenance, type FontWeightValue, type Foundations, GROUP_REALIZATIONS, type GlobalProp, type Hole, INTERACTION_KINDS, type IconDecl, type IconSetDecl, type IconsDecl, type Id, type ImageAsset, type InsetValue, LAYOUT_ALIGNS, LAYOUT_DIRECTIONS, LAYOUT_DISTRIBUTES, LAYOUT_KEYS, LAYOUT_RECORD_KEYS, LAYOUT_VALUES, LAYOUT_WRAPS, LENGTH_LITERAL_FNS, LENGTH_TOKEN_TYPE_NAMES, LOGICAL_EDGES, type Layer, type LayoutAlign, type LayoutDirection, type LayoutDistribute, type LayoutRecordKey, type LayoutSpec, type LayoutWrap, type LengthKeyword, type LengthKeywordValue, type LengthValue, LexError, type LiteralChannel, type LiteralFnSpec, type LogicalEdge, MEDIA_TYPES, MILDA_SURFACE_VERSION, type Metadata, type MildaDocumentBase, NODE_KINDS, NODE_ORIGINS, type NodeSpan, type NoneValue, type ObjectField, type OpacityValue, PART_CONFIGS, PART_CONFIG_NAMES, PART_CONFIG_WORDS, PART_KEYWORDS, PHYSICAL_EDGE_ALIASES, POSITION_KINDS, PRELUDE_VERSION, PRESENTATION_KINDS, type ParamBinding, type ParseIssue, type ParseOptions, type ParseResult, type Part, type PartA11y, type PartAction, type PartBehavior, type PartCell, type PartConfigs, type PartContent, type PartContentRule, type PartEmit, type PartForeign, type PartInstance, type PartMediaSample, type PartMediaSource, type PartMotionTransition, type PartRepeat, type PartRepeatSource, type PartRole, type PartSlot, type PartSlotAccepts, type PartSlotArity, type PartSlotSample, type PartState, type PartStateBinding, type PartValue, type PartVariant, type Position, type PositionKind, type Predicate, type PredicateRef, type PreludeDocument, type PresentationRealize, type PrimitiveTokenType, type Project, type ProjectMetadataEntry, type PropConstraint, type PropDef, type PropValue, type RawTokenValue, type Realization, type RealizeCond, type RequiresClause, type ResolvedToken, type RuleSubject, SLOT_ARITIES, SLOT_MODIFIERS, SLOT_ROLES, type ShadowLayer, type ShadowValue, type SharedType, type SkippedChar, type SourcePosition, type SourceRange, type SpanKind, type StackAxis, type StateDef, type StateName, type Substitution, type SvgAsset, TOKEN_TYPES_BY_NAME, TOKEN_TYPE_NAMES, TOKEN_VALUE_KIND, TOKEN_VALUE_KINDS, type TaxonomyNote, type Token$1 as Token, type TokenRef, type TokenType, type TokenValue, type TokenValueSchemaByType, type TonalValue, type Transition, type TransitionTarget, type TypeExpr, type TypeRef, type TypographyValue, type UsageRule, type UsesClause, VALUE_LITERAL_FNS, type ValidationIssue, type VideoAsset, type Wire, allTokensOfType, archetypesByName, atomsByName, camelField, compositesByName, conformance, findToken, kebab as kebabField, lex, parseMildaDocument, preludeV0, resolveToken, tokenTypeFamily, validate };
+export { ASSET_BASE_KEYS, ASSET_FIELDS, ASSET_FIELD_KEYS, ASSET_KINDS, AXIS_CLAMPS, AXIS_INTENTS, type AliasTokenValue, type Align, type Anatomy, type AnatomyEntry, type AnatomyPart, type AnimationAsset, type AnimationFormat, type AnyTokenValue, type ArchetypeDef, type ArchetypeGroup, type ArchetypeRealize, type ArchetypeRef, type Asset, type AssetByKind, type AssetDecl, type AssetFolder, type AssetFolderDecl, type AssetKind, type AssetRegistry, type AssetsDecl, type Assignment, type Atom, type AtomContextVar, type AtomEvent, type AtomParam, type AtomStateNode, type AxisIntent, type AxisIntentKind, type AxisSize, type AxisSizeValue, BEHAVIOR_FIELDS, BEHAVIOR_KINDS, type BlurValue, type BorderFacetStyle, type BorderFacetValue, type BorderStyle, type BorderValue, type BorderWidth, type BrowseRealize, CELL_MODIFIERS, COLOR_KEYWORDS, COLOR_LITERAL_ALIASES, COLOR_LITERAL_FNS, COLOR_LITERAL_SPELLINGS, COLOR_TOKEN_TYPE_NAMES, CONTROL_REALIZATIONS, type Capability, type CapabilityDef, type ColorOrRef, type ColorSpace, type ColorValue, type CommitRealize, type CompareOp, type Component, type ComponentGroupDecl, type CompositeBehavior, type Composition, type ComputeOp, type ComputeSpace, type ComputeTokenValue, type ConfigFieldSpec, type ConfigSurface, type ConformanceOptions, type ConformanceReport, type ContentCategory, type Context, type ContextGroup, type Contract, type CoordEntry, DEMO_ACTION_OPS, DOCS_FOOTER_KEYWORDS, DOCS_KEYWORDS, DOCS_SITE_KEYS, DOC_BLOCK_KEYWORDS, DOC_PROSE_KINDS, DOC_TRANSCLUSIONS, type DemoVariable, type DesignSystemDocument, type DimensionOrRef, type DimensionUnit, type DimensionValue, type Distribute, type DocBlockDecl, type DocPageDecl, type DocsDecl, type DocsFooterDecl, type DocsFooterLinkDecl, type DocsSiteDecl, type DocumentKind, type DocumentMeta, type DocumentMeta as ProjectMeta, type Token as DslToken, type DurationValue, EXAMPLE_KEYWORDS, type Emit, type EscapeTokenValue, type EventDef, type Example, type Expose, FACET_NAMES, type FacetDef, type FacetMap, type FacetName, type FacetTokenType, type FacetValue, type FieldType, type FontAsset, type FontCategory, type FontFamilyValue, type FontProvenance, type FontWeightValue, type Foundations, GROUP_REALIZATIONS, type GlobalProp, type Hole, INSET_EDGES, INTERACTION_KINDS, type IconDecl, type IconSetDecl, type IconsDecl, type Id, type ImageAsset, type InsetEdge, type InsetValue, LAYOUT_ALIGNS, LAYOUT_DIRECTIONS, LAYOUT_DISTRIBUTES, LAYOUT_KEYS, LAYOUT_RECORD_KEYS, LAYOUT_VALUES, LAYOUT_WRAPS, LENGTH_LITERAL_FNS, LENGTH_TOKEN_TYPE_NAMES, LOGICAL_EDGES, type Layer, type LayoutAlign, type LayoutDirection, type LayoutDistribute, type LayoutRecordKey, type LayoutSpec, type LayoutWrap, type LengthKeyword, type LengthKeywordValue, type LengthValue, LexError, type LiteralChannel, type LiteralFnSpec, type LogicalEdge, MEDIA_TYPES, MILDA_SURFACE_VERSION, type Metadata, type MildaDocumentBase, type MissingPart, NODE_KINDS, NODE_ORIGINS, type NodeSpan, type NoneValue, type ObjectField, type OpacityValue, PART_CONFIGS, PART_CONFIG_NAMES, PART_CONFIG_WORDS, PART_KEYWORDS, PHYSICAL_EDGE_ALIASES, POSITION_KINDS, PRELUDE_VERSION, PRESENTATION_KINDS, type ParamBinding, type ParseIssue, type ParseOptions, type ParseResult, type Part, type PartA11y, type PartAction, type PartBehavior, type PartCell, type PartConfigs, type PartContent, type PartContentRule, type PartEmit, type PartForeign, type PartInstance, type PartMediaSample, type PartMediaSource, type PartMotionTransition, type PartRepeat, type PartRepeatSource, type PartRole, type PartSlot, type PartSlotAccepts, type PartSlotArity, type PartSlotSample, type PartState, type PartStateBinding, type PartValue, type PartVariant, type Position, type PositionKind, type Predicate, type PredicateRef, type PreludeDocument, type PresentationRealize, type PrimitiveTokenType, type Project, type ProjectMetadataEntry, type PropConstraint, type PropDef, type PropValue, type RawTokenValue, type Realization, type RealizeCond, type RequiresClause, type ResolvedToken, type RuleSubject, SLOT_ARITIES, SLOT_MODIFIERS, SLOT_ROLES, type ShadowLayer, type ShadowValue, type SharedType, type SkippedChar, type SourcePosition, type SourceRange, type SpanKind, type StackAxis, type StateDef, type StateName, type Substitution, type SvgAsset, TOKEN_TYPES_BY_NAME, TOKEN_TYPE_NAMES, TOKEN_VALUE_KIND, TOKEN_VALUE_KINDS, type TaxonomyNote, type Token$1 as Token, type TokenRef, type TokenType, type TokenValue, type TokenValueSchemaByType, type TonalValue, type Transition, type TransitionTarget, type TypeExpr, type TypeRef, type TypographyValue, type UsageRule, type UsesClause, VALUE_LITERAL_FNS, type ValidationIssue, type VideoAsset, type Wire, allTokensOfType, anatomyIndex, archetypesByName, atomsByName, camelField, compositesByName, conformance, findDeclaredPart, findToken, kebab as kebabField, lex, loweredAnatomy, missingRequiredParts, parseMildaDocument, preludeV0, resolveToken, tokenTypeFamily, validate };

package/dist/index.d.mts

@@ -427,6 +427,11 @@ type PositionKind = (typeof POSITION_KINDS)[number];
 /** Logical edges, so a design system reads the same in a right-to-left locale. */
 declare const LOGICAL_EDGES: readonly ['block-start', 'block-end', 'inline-start', 'inline-end', 'block', 'inline', 'all'];
 type LogicalEdge = (typeof LOGICAL_EDGES)[number];
+/** The edges an inset can be stated on, besides all four at once (proposal 0057). A dotted facet
+ *  name each - `inset.inline`, `inset.block-start` - the way `border` takes `.<edge>`. The bare
+ *  `inset` already means all four, so `all` is not one of them. */
+declare const INSET_EDGES: readonly ["block", "inline", "block-start", "block-end", "inline-start", "inline-end"];
+type InsetEdge = (typeof INSET_EDGES)[number];
 /** The physical edge words the parser used to take, read as the logical edge each names in a
  *  horizontal left-to-right system. Read, never offered, never written - the `rgba` treatment. */
 declare const PHYSICAL_EDGE_ALIASES: Readonly<Record<string, LogicalEdge>>;
@@ -441,17 +446,12 @@ declare const DEMO_ACTION_OPS: readonly string[];
 declare function kebab(s: string): string;
 /** A surface kebab key → the IR's camelCase field (`week-starts-on` → `weekStartsOn`). */
 declare function camelField(s: string): string;
-declare const MILDA_SURFACE_VERSION = "0.8";
+declare const MILDA_SURFACE_VERSION = "0.10";
 declare const PRELUDE_VERSION = "0.0.2";
-type FacetName = 'fill' | 'ink' | 'border' | 'border.top' | 'border.right' | 'border.bottom' | 'border.left' | 'border.inline-start' | 'border.inline-end' | 'border.block-start' | 'border.block-end' | 'corner' | 'inset' | 'gap' | 'text' | 'textClamp' | 'textWrap' | 'weight' | 'font' | 'slant' | 'elevation' | 'overlay' | 'opacity' | 'ring' | 'backdrop';
+type FacetName = 'fill' | 'ink' | 'border' | 'border.top' | 'border.right' | 'border.bottom' | 'border.left' | 'border.inline-start' | 'border.inline-end' | 'border.block-start' | 'border.block-end' | 'corner' | 'inset' | `inset.${InsetEdge}` | 'gap' | 'text' | 'textClamp' | 'textWrap' | 'weight' | 'font' | 'slant' | 'elevation' | 'overlay' | 'opacity' | 'ring' | 'backdrop';
 type InsetValue = {
   block?: Id;
   inline?: Id;
-} | {
-  top?: Id;
-  right?: Id;
-  bottom?: Id;
-  left?: Id;
 } | {
   all: Id;
 };
@@ -923,7 +923,6 @@ interface Part {
   facets?: FacetMap;
   kind?: string;
   origin?: 'root' | 'archetype' | 'author';
-  locked?: boolean;
   content?: PartContent;
   a11y?: PartA11y;
   emits?: PartEmit[];
@@ -1302,6 +1301,23 @@ declare const preludeV0: PreludeDocument;
 declare const atomsByName: Record<string, Atom>;
 declare const compositesByName: Record<string, CompositeBehavior>;
 declare const archetypesByName: Record<string, ArchetypeDef>;
+type ArchetypeRef = ArchetypeDef | string | null | undefined;
+interface AnatomyEntry {
+  name: string;
+  parentName: string | null;
+  role: PartRole;
+  optional: boolean;
+  repeated: boolean;
+}
+declare function anatomyIndex(archetype: ArchetypeRef): Map<string, AnatomyEntry>;
+declare function loweredAnatomy(archetype: ArchetypeRef): readonly string[];
+declare function findDeclaredPart(name: string, parentPath: string, rootPath: string, paths: Iterable<string>, repeated: boolean): string | undefined;
+interface MissingPart {
+  path: string;
+  kind: PartRole;
+  implied: boolean;
+}
+declare function missingRequiredParts(archetype: ArchetypeRef, anatomy: Anatomy): MissingPart[];
 type ResolvedToken = {
   kind: 'value';
   type: TokenType;
@@ -1482,4 +1498,4 @@ interface SkippedChar {
   col: number;
 }
 declare function lex(src: string, skipped?: SkippedChar[]): Token[];
-export { ASSET_BASE_KEYS, ASSET_FIELDS, ASSET_FIELD_KEYS, ASSET_KINDS, AXIS_CLAMPS, AXIS_INTENTS, type AliasTokenValue, type Align, type Anatomy, type AnatomyPart, type AnimationAsset, type AnimationFormat, type AnyTokenValue, type ArchetypeDef, type ArchetypeGroup, type ArchetypeRealize, type Asset, type AssetByKind, type AssetDecl, type AssetFolder, type AssetFolderDecl, type AssetKind, type AssetRegistry, type AssetsDecl, type Assignment, type Atom, type AtomContextVar, type AtomEvent, type AtomParam, type AtomStateNode, type AxisIntent, type AxisIntentKind, type AxisSize, type AxisSizeValue, BEHAVIOR_FIELDS, BEHAVIOR_KINDS, type BlurValue, type BorderFacetStyle, type BorderFacetValue, type BorderStyle, type BorderValue, type BorderWidth, type BrowseRealize, CELL_MODIFIERS, COLOR_KEYWORDS, COLOR_LITERAL_ALIASES, COLOR_LITERAL_FNS, COLOR_LITERAL_SPELLINGS, COLOR_TOKEN_TYPE_NAMES, CONTROL_REALIZATIONS, type Capability, type CapabilityDef, type ColorOrRef, type ColorSpace, type ColorValue, type CommitRealize, type CompareOp, type Component, type ComponentGroupDecl, type CompositeBehavior, type Composition, type ComputeOp, type ComputeSpace, type ComputeTokenValue, type ConfigFieldSpec, type ConfigSurface, type ConformanceOptions, type ConformanceReport, type ContentCategory, type Context, type ContextGroup, type Contract, type CoordEntry, DEMO_ACTION_OPS, DOCS_FOOTER_KEYWORDS, DOCS_KEYWORDS, DOCS_SITE_KEYS, DOC_BLOCK_KEYWORDS, DOC_PROSE_KINDS, DOC_TRANSCLUSIONS, type DemoVariable, type DesignSystemDocument, type DimensionOrRef, type DimensionUnit, type DimensionValue, type Distribute, type DocBlockDecl, type DocPageDecl, type DocsDecl, type DocsFooterDecl, type DocsFooterLinkDecl, type DocsSiteDecl, type DocumentKind, type DocumentMeta, type DocumentMeta as ProjectMeta, type Token as DslToken, type DurationValue, EXAMPLE_KEYWORDS, type Emit, type EscapeTokenValue, type EventDef, type Example, type Expose, FACET_NAMES, type FacetDef, type FacetMap, type FacetName, type FacetTokenType, type FacetValue, type FieldType, type FontAsset, type FontCategory, type FontFamilyValue, type FontProvenance, type FontWeightValue, type Foundations, GROUP_REALIZATIONS, type GlobalProp, type Hole, INTERACTION_KINDS, type IconDecl, type IconSetDecl, type IconsDecl, type Id, type ImageAsset, type InsetValue, LAYOUT_ALIGNS, LAYOUT_DIRECTIONS, LAYOUT_DISTRIBUTES, LAYOUT_KEYS, LAYOUT_RECORD_KEYS, LAYOUT_VALUES, LAYOUT_WRAPS, LENGTH_LITERAL_FNS, LENGTH_TOKEN_TYPE_NAMES, LOGICAL_EDGES, type Layer, type LayoutAlign, type LayoutDirection, type LayoutDistribute, type LayoutRecordKey, type LayoutSpec, type LayoutWrap, type LengthKeyword, type LengthKeywordValue, type LengthValue, LexError, type LiteralChannel, type LiteralFnSpec, type LogicalEdge, MEDIA_TYPES, MILDA_SURFACE_VERSION, type Metadata, type MildaDocumentBase, NODE_KINDS, NODE_ORIGINS, type NodeSpan, type NoneValue, type ObjectField, type OpacityValue, PART_CONFIGS, PART_CONFIG_NAMES, PART_CONFIG_WORDS, PART_KEYWORDS, PHYSICAL_EDGE_ALIASES, POSITION_KINDS, PRELUDE_VERSION, PRESENTATION_KINDS, type ParamBinding, type ParseIssue, type ParseOptions, type ParseResult, type Part, type PartA11y, type PartAction, type PartBehavior, type PartCell, type PartConfigs, type PartContent, type PartContentRule, type PartEmit, type PartForeign, type PartInstance, type PartMediaSample, type PartMediaSource, type PartMotionTransition, type PartRepeat, type PartRepeatSource, type PartRole, type PartSlot, type PartSlotAccepts, type PartSlotArity, type PartSlotSample, type PartState, type PartStateBinding, type PartValue, type PartVariant, type Position, type PositionKind, type Predicate, type PredicateRef, type PreludeDocument, type PresentationRealize, type PrimitiveTokenType, type Project, type ProjectMetadataEntry, type PropConstraint, type PropDef, type PropValue, type RawTokenValue, type Realization, type RealizeCond, type RequiresClause, type ResolvedToken, type RuleSubject, SLOT_ARITIES, SLOT_MODIFIERS, SLOT_ROLES, type ShadowLayer, type ShadowValue, type SharedType, type SkippedChar, type SourcePosition, type SourceRange, type SpanKind, type StackAxis, type StateDef, type StateName, type Substitution, type SvgAsset, TOKEN_TYPES_BY_NAME, TOKEN_TYPE_NAMES, TOKEN_VALUE_KIND, TOKEN_VALUE_KINDS, type TaxonomyNote, type Token$1 as Token, type TokenRef, type TokenType, type TokenValue, type TokenValueSchemaByType, type TonalValue, type Transition, type TransitionTarget, type TypeExpr, type TypeRef, type TypographyValue, type UsageRule, type UsesClause, VALUE_LITERAL_FNS, type ValidationIssue, type VideoAsset, type Wire, allTokensOfType, archetypesByName, atomsByName, camelField, compositesByName, conformance, findToken, kebab as kebabField, lex, parseMildaDocument, preludeV0, resolveToken, tokenTypeFamily, validate };
+export { ASSET_BASE_KEYS, ASSET_FIELDS, ASSET_FIELD_KEYS, ASSET_KINDS, AXIS_CLAMPS, AXIS_INTENTS, type AliasTokenValue, type Align, type Anatomy, type AnatomyEntry, type AnatomyPart, type AnimationAsset, type AnimationFormat, type AnyTokenValue, type ArchetypeDef, type ArchetypeGroup, type ArchetypeRealize, type ArchetypeRef, type Asset, type AssetByKind, type AssetDecl, type AssetFolder, type AssetFolderDecl, type AssetKind, type AssetRegistry, type AssetsDecl, type Assignment, type Atom, type AtomContextVar, type AtomEvent, type AtomParam, type AtomStateNode, type AxisIntent, type AxisIntentKind, type AxisSize, type AxisSizeValue, BEHAVIOR_FIELDS, BEHAVIOR_KINDS, type BlurValue, type BorderFacetStyle, type BorderFacetValue, type BorderStyle, type BorderValue, type BorderWidth, type BrowseRealize, CELL_MODIFIERS, COLOR_KEYWORDS, COLOR_LITERAL_ALIASES, COLOR_LITERAL_FNS, COLOR_LITERAL_SPELLINGS, COLOR_TOKEN_TYPE_NAMES, CONTROL_REALIZATIONS, type Capability, type CapabilityDef, type ColorOrRef, type ColorSpace, type ColorValue, type CommitRealize, type CompareOp, type Component, type ComponentGroupDecl, type CompositeBehavior, type Composition, type ComputeOp, type ComputeSpace, type ComputeTokenValue, type ConfigFieldSpec, type ConfigSurface, type ConformanceOptions, type ConformanceReport, type ContentCategory, type Context, type ContextGroup, type Contract, type CoordEntry, DEMO_ACTION_OPS, DOCS_FOOTER_KEYWORDS, DOCS_KEYWORDS, DOCS_SITE_KEYS, DOC_BLOCK_KEYWORDS, DOC_PROSE_KINDS, DOC_TRANSCLUSIONS, type DemoVariable, type DesignSystemDocument, type DimensionOrRef, type DimensionUnit, type DimensionValue, type Distribute, type DocBlockDecl, type DocPageDecl, type DocsDecl, type DocsFooterDecl, type DocsFooterLinkDecl, type DocsSiteDecl, type DocumentKind, type DocumentMeta, type DocumentMeta as ProjectMeta, type Token as DslToken, type DurationValue, EXAMPLE_KEYWORDS, type Emit, type EscapeTokenValue, type EventDef, type Example, type Expose, FACET_NAMES, type FacetDef, type FacetMap, type FacetName, type FacetTokenType, type FacetValue, type FieldType, type FontAsset, type FontCategory, type FontFamilyValue, type FontProvenance, type FontWeightValue, type Foundations, GROUP_REALIZATIONS, type GlobalProp, type Hole, INSET_EDGES, INTERACTION_KINDS, type IconDecl, type IconSetDecl, type IconsDecl, type Id, type ImageAsset, type InsetEdge, type InsetValue, LAYOUT_ALIGNS, LAYOUT_DIRECTIONS, LAYOUT_DISTRIBUTES, LAYOUT_KEYS, LAYOUT_RECORD_KEYS, LAYOUT_VALUES, LAYOUT_WRAPS, LENGTH_LITERAL_FNS, LENGTH_TOKEN_TYPE_NAMES, LOGICAL_EDGES, type Layer, type LayoutAlign, type LayoutDirection, type LayoutDistribute, type LayoutRecordKey, type LayoutSpec, type LayoutWrap, type LengthKeyword, type LengthKeywordValue, type LengthValue, LexError, type LiteralChannel, type LiteralFnSpec, type LogicalEdge, MEDIA_TYPES, MILDA_SURFACE_VERSION, type Metadata, type MildaDocumentBase, type MissingPart, NODE_KINDS, NODE_ORIGINS, type NodeSpan, type NoneValue, type ObjectField, type OpacityValue, PART_CONFIGS, PART_CONFIG_NAMES, PART_CONFIG_WORDS, PART_KEYWORDS, PHYSICAL_EDGE_ALIASES, POSITION_KINDS, PRELUDE_VERSION, PRESENTATION_KINDS, type ParamBinding, type ParseIssue, type ParseOptions, type ParseResult, type Part, type PartA11y, type PartAction, type PartBehavior, type PartCell, type PartConfigs, type PartContent, type PartContentRule, type PartEmit, type PartForeign, type PartInstance, type PartMediaSample, type PartMediaSource, type PartMotionTransition, type PartRepeat, type PartRepeatSource, type PartRole, type PartSlot, type PartSlotAccepts, type PartSlotArity, type PartSlotSample, type PartState, type PartStateBinding, type PartValue, type PartVariant, type Position, type PositionKind, type Predicate, type PredicateRef, type PreludeDocument, type PresentationRealize, type PrimitiveTokenType, type Project, type ProjectMetadataEntry, type PropConstraint, type PropDef, type PropValue, type RawTokenValue, type Realization, type RealizeCond, type RequiresClause, type ResolvedToken, type RuleSubject, SLOT_ARITIES, SLOT_MODIFIERS, SLOT_ROLES, type ShadowLayer, type ShadowValue, type SharedType, type SkippedChar, type SourcePosition, type SourceRange, type SpanKind, type StackAxis, type StateDef, type StateName, type Substitution, type SvgAsset, TOKEN_TYPES_BY_NAME, TOKEN_TYPE_NAMES, TOKEN_VALUE_KIND, TOKEN_VALUE_KINDS, type TaxonomyNote, type Token$1 as Token, type TokenRef, type TokenType, type TokenValue, type TokenValueSchemaByType, type TonalValue, type Transition, type TransitionTarget, type TypeExpr, type TypeRef, type TypographyValue, type UsageRule, type UsesClause, VALUE_LITERAL_FNS, type ValidationIssue, type VideoAsset, type Wire, allTokensOfType, anatomyIndex, archetypesByName, atomsByName, camelField, compositesByName, conformance, findDeclaredPart, findToken, kebab as kebabField, lex, loweredAnatomy, missingRequiredParts, parseMildaDocument, preludeV0, resolveToken, tokenTypeFamily, validate };

package/dist/index.mjs

@@ -3043,6 +3043,78 @@ const preludeV0 = {
 const atomsByName = Object.fromEntries(atoms.map((a) => [a.name, a]));
 const compositesByName = Object.fromEntries(composites.map((c) => [c.name, c]));
 const archetypesByName = Object.fromEntries(archetypes.map((a) => [a.name, a]));
+// prelude/required.ts
+function archetypeDef(archetype) {
+	return typeof archetype === "string" ? archetypesByName[archetype] : archetype ?? void 0;
+}
+function anatomyIndex(archetype) {
+	const out = /* @__PURE__ */ new Map();
+	const parts = archetypeDef(archetype)?.anatomy;
+	if (!parts) return out;
+	const walk = (part, parentName) => {
+		const seen = out.get(part.name);
+		if (seen) seen.repeated = true;
+		else out.set(part.name, {
+			name: part.name,
+			parentName,
+			role: part.role,
+			optional: part.optional === true,
+			repeated: false
+		});
+		for (const child of part.children ?? []) walk(child, part.name);
+	};
+	for (const part of parts) walk(part, null);
+	return out;
+}
+const LOWERED_ANATOMY = { BooleanInput: ["control", "indicator"] };
+function loweredAnatomy(archetype) {
+	const name = typeof archetype === "string" ? archetype : archetype?.name;
+	return name && LOWERED_ANATOMY[name] || [];
+}
+function findDeclaredPart(name, parentPath, rootPath, paths, repeated) {
+	let best;
+	for (const path of paths) {
+		if ((path.split(".").pop() || path) !== name) continue;
+		const under = parentPath === rootPath || path.startsWith(`${parentPath}.`);
+		if (repeated && !under) continue;
+		if (!best || path.split(".").length < best.split(".").length) best = path;
+	}
+	return best;
+}
+function missingRequiredParts(archetype, anatomy) {
+	const parts = archetypeDef(archetype)?.anatomy;
+	const paths = Object.keys(anatomy);
+	const rootPath = paths[0];
+	if (!parts || rootPath === void 0) return [];
+	const known = anatomyIndex(archetype);
+	const lowered = new Set(loweredAnatomy(archetype));
+	const parentOf = (path) => path.includes(".") ? path.slice(0, path.lastIndexOf(".")) : rootPath;
+	const standIns = /* @__PURE__ */ new Set();
+	for (const path of paths.slice(1)) {
+		const leaf = path.split(".").pop() || path;
+		if (anatomy[path]?.kind === "input" && !known.has(leaf)) standIns.add(parentOf(path));
+	}
+	const out = [];
+	const walk = (part, parentPath, parentMissing) => {
+		const repeated = known.get(part.name)?.repeated ?? false;
+		const declared = findDeclaredPart(part.name, parentPath, rootPath, paths, repeated);
+		if (declared) {
+			for (const child of part.children ?? []) walk(child, declared, false);
+			return;
+		}
+		if (part.optional) return;
+		if (!parentMissing && part.role === "input" && standIns.has(parentPath)) return;
+		const path = parentPath === rootPath ? part.name : `${parentPath}.${part.name}`;
+		out.push({
+			path,
+			kind: part.role,
+			implied: parentMissing
+		});
+		for (const child of part.children ?? []) walk(child, path, true);
+	};
+	for (const part of parts) if (!lowered.has(part.name)) walk(part, rootPath, false);
+	return out;
+}
 // engine/resolveToken.ts
 function resolveToken(tokenId, contextIds, layers, _depth = 0) {
 	if (_depth > 20) return null;
@@ -3640,6 +3712,17 @@ const LOGICAL_EDGES = [
 	"inline",
 	"all"
 ];
+/** The edges an inset can be stated on, besides all four at once (proposal 0057). A dotted facet
+*  name each - `inset.inline`, `inset.block-start` - the way `border` takes `.<edge>`. The bare
+*  `inset` already means all four, so `all` is not one of them. */
+const INSET_EDGES = [
+	"block",
+	"inline",
+	"block-start",
+	"block-end",
+	"inline-start",
+	"inline-end"
+];
 /** The physical edge words the parser used to take, read as the logical edge each names in a
 *  horizontal left-to-right system. Read, never offered, never written - the `rgba` treatment. */
 const PHYSICAL_EDGE_ALIASES = {
@@ -3674,7 +3757,7 @@ function kebab(s) {
 function camelField(s) {
 	return s.replace(/-([a-z0-9])/g, (_, c) => c.toUpperCase());
 }
-const MILDA_SURFACE_VERSION = "0.8";
+const MILDA_SURFACE_VERSION = "0.10";
 const PRELUDE_VERSION = "0.0.2";
 // dsl/literal.ts
 const NUMBER_RE = /^-?\d+(\.\d+)?$/;
@@ -3791,6 +3874,17 @@ function validate(doc, prelude) {
 			where,
 			id: comp.id
 		});
+		const archetype = prelude.archetypes.find((a) => a.name === comp.archetype);
+		for (const gap of missingRequiredParts(archetype, comp.anatomy)) {
+			if (gap.implied) continue;
+			issues.push({
+				severity: "error",
+				code: "part.required",
+				message: `a ${comp.archetype} requires the part "${gap.path}" (${gap.kind})`,
+				where,
+				id: comp.id
+			});
+		}
 		const propIds = new Set(comp.contract.props.map((p) => p.id));
 		for (const [param, binding] of Object.entries(comp.contract.params)) if ("prop" in binding && !propIds.has(binding.prop)) issues.push({
 			severity: "error",
@@ -4073,6 +4167,7 @@ const FACET_MAP = {
 	"border.block-end": "border.block-end",
 	corner: "corner",
 	inset: "inset",
+	...Object.fromEntries(INSET_EDGES.map((e) => [`inset.${e}`, `inset.${e}`])),
 	gap: "gap",
 	text: "text",
 	"text.clamp": "textClamp",
@@ -4209,7 +4304,6 @@ const SLOT_ARITIES = [
 const PART_KEYWORDS = [
 	"kind",
 	"origin",
-	"locked",
 	"present",
 	"slot",
 	"content",
@@ -5969,7 +6063,13 @@ var Parser = class Parser {
 		return spec;
 	}
 	parseFacetStmt() {
-		const raw = this.expectWord("facet-name");
+		let raw = this.expectWord("facet-name");
+		const physical = /^inset\.(top|right|bottom|left)$/.exec(raw);
+		if (physical) {
+			const logical = `inset.${PHYSICAL_EDGE_ALIASES[physical[1]]}`;
+			this.issue("warning", "inset-physical", `'${raw}' is read as '${logical}' - write the logical edge`);
+			raw = logical;
+		}
 		const mapped = FACET_MAP[raw];
 		if (mapped === void 0) {
 			this.issue("warning", "facet-unknown", `unknown facet "${raw}" skipped`);
@@ -5985,6 +6085,19 @@ var Parser = class Parser {
 			name: "inset",
 			value: { inset: this.parseInsetArgs() }
 		};
+		if (mapped.startsWith("inset.")) {
+			const w = this.at("word") ? this.next().value : void 0;
+			if (w === void 0) {
+				this.issue("error", "facet-value", `"${raw}" needs a value`);
+				this.skipToTerminator();
+				return null;
+			}
+			if (!this.at("semi") && !this.at("newline") && !this.at("rbrace")) this.skipToTerminator();
+			return {
+				name: mapped,
+				value: { token: tokId(w) }
+			};
+		}
 		if (mapped === "border" || mapped.startsWith("border.")) {
 			const border = {};
 			while (this.at("word")) {
@@ -6465,13 +6578,30 @@ var Parser = class Parser {
 		}
 		return out;
 	}
+	parsePartHeader(part) {
+		const said = {};
+		if (this.at("colon")) {
+			this.next();
+			if (!this.at("word")) this.issue("error", "part-header-kind", "expected the part's kind after ':'");
+			else {
+				said.kind = this.next().value;
+				part.kind = said.kind;
+			}
+		}
+		while (!this.at("lbrace") && !this.atValueEnd()) {
+			const tok = this.next();
+			this.issue("error", "part-header-word", `unexpected ${JSON.stringify(tok.value)} in a part header - expected '{'`, tok);
+		}
+		return said;
+	}
 	parsePart() {
 		const kw = this.next();
 		const nameTok = this.peek();
 		const name = this.expectWord("part-name");
 		if (!name) return null;
-		this.expect("lbrace", "part-lbrace");
 		const part = {};
+		const header = this.parsePartHeader(part);
+		this.expect("lbrace", "part-lbrace");
 		const facets = {};
 		const variants = [];
 		while (!this.at("rbrace") && !this.at("eof")) {
@@ -6501,16 +6631,17 @@ var Parser = class Parser {
 				this.next();
 				part.slot = this.parseSlot();
 			} else if (this.atWord("kind")) {
-				this.next();
-				part.kind = this.expectWord("part-kind");
+				const tok = this.next();
+				const stated = this.expectWord("part-kind");
+				if (header.kind === void 0) part.kind = stated;
+				else if (stated === header.kind) this.issue("warning", "part-kind-twice", `kind '${stated}' is stated twice`, tok);
+				else if (stated) this.issue("error", "part-kind-conflict", `kind '${stated}' contradicts the header's '${header.kind}' - the header wins`, tok);
 			} else if (this.atWord("origin")) {
 				this.next();
 				const o = this.expectWord("part-origin");
 				if (o === "root" || o === "archetype" || o === "author") part.origin = o;
-			} else if (this.atWord("locked")) {
-				this.next();
-				part.locked = true;
-			} else if (this.atWord("content")) {
+			} else if (this.atWord("locked")) this.next();
+			else if (this.atWord("content")) {
 				this.next();
 				part.content = this.parsePartContent();
 			} else if (this.atWord("a11y")) {
@@ -7629,7 +7760,7 @@ var Parser = class Parser {
 		let docs;
 		let assets;
 		let icons;
-		let mildaVer = opts.milda ?? "0.8";
+		let mildaVer = opts.milda ?? "0.10";
 		let preludeVer = opts.prelude ?? "0.0.2";
 		let docName = opts.name ?? "Design system";
 		let docVersion = "0.0.0";
@@ -7758,7 +7889,7 @@ function parseMildaDocument(src, opts = {}) {
 }
 function emptyDocument(opts) {
 	return {
-		milda: opts.milda ?? "0.8",
+		milda: opts.milda ?? "0.10",
 		kind: "design-system",
 		prelude: opts.prelude ?? "0.0.2",
 		meta: {
@@ -7775,4 +7906,4 @@ function emptyDocument(opts) {
 		components: []
 	};
 }
-export { ASSET_BASE_KEYS, ASSET_FIELDS, ASSET_FIELD_KEYS, ASSET_KINDS, AXIS_CLAMPS, AXIS_INTENTS, BEHAVIOR_FIELDS, BEHAVIOR_KINDS, CELL_MODIFIERS, COLOR_KEYWORDS, COLOR_LITERAL_ALIASES, COLOR_LITERAL_FNS, COLOR_LITERAL_SPELLINGS, COLOR_TOKEN_TYPE_NAMES, CONTROL_REALIZATIONS, DEMO_ACTION_OPS, DOCS_FOOTER_KEYWORDS, DOCS_KEYWORDS, DOCS_SITE_KEYS, DOC_BLOCK_KEYWORDS, DOC_PROSE_KINDS, DOC_TRANSCLUSIONS, EXAMPLE_KEYWORDS, FACET_NAMES, GROUP_REALIZATIONS, INTERACTION_KINDS, LAYOUT_ALIGNS, LAYOUT_DIRECTIONS, LAYOUT_DISTRIBUTES, LAYOUT_KEYS, LAYOUT_RECORD_KEYS, LAYOUT_VALUES, LAYOUT_WRAPS, LENGTH_LITERAL_FNS, LENGTH_TOKEN_TYPE_NAMES, LOGICAL_EDGES, LexError, MEDIA_TYPES, MILDA_SURFACE_VERSION, NODE_KINDS, NODE_ORIGINS, PART_CONFIGS, PART_CONFIG_NAMES, PART_CONFIG_WORDS, PART_KEYWORDS, PHYSICAL_EDGE_ALIASES, POSITION_KINDS, PRELUDE_VERSION, PRESENTATION_KINDS, SLOT_ARITIES, SLOT_MODIFIERS, SLOT_ROLES, TOKEN_TYPES_BY_NAME, TOKEN_TYPE_NAMES, TOKEN_VALUE_KIND, TOKEN_VALUE_KINDS, VALUE_LITERAL_FNS, allTokensOfType, archetypesByName, atomsByName, camelField, compositesByName, conformance, findToken, kebab as kebabField, lex, parseMildaDocument, preludeV0, resolveToken, tokenTypeFamily, validate };
+export { ASSET_BASE_KEYS, ASSET_FIELDS, ASSET_FIELD_KEYS, ASSET_KINDS, AXIS_CLAMPS, AXIS_INTENTS, BEHAVIOR_FIELDS, BEHAVIOR_KINDS, CELL_MODIFIERS, COLOR_KEYWORDS, COLOR_LITERAL_ALIASES, COLOR_LITERAL_FNS, COLOR_LITERAL_SPELLINGS, COLOR_TOKEN_TYPE_NAMES, CONTROL_REALIZATIONS, DEMO_ACTION_OPS, DOCS_FOOTER_KEYWORDS, DOCS_KEYWORDS, DOCS_SITE_KEYS, DOC_BLOCK_KEYWORDS, DOC_PROSE_KINDS, DOC_TRANSCLUSIONS, EXAMPLE_KEYWORDS, FACET_NAMES, GROUP_REALIZATIONS, INSET_EDGES, INTERACTION_KINDS, LAYOUT_ALIGNS, LAYOUT_DIRECTIONS, LAYOUT_DISTRIBUTES, LAYOUT_KEYS, LAYOUT_RECORD_KEYS, LAYOUT_VALUES, LAYOUT_WRAPS, LENGTH_LITERAL_FNS, LENGTH_TOKEN_TYPE_NAMES, LOGICAL_EDGES, LexError, MEDIA_TYPES, MILDA_SURFACE_VERSION, NODE_KINDS, NODE_ORIGINS, PART_CONFIGS, PART_CONFIG_NAMES, PART_CONFIG_WORDS, PART_KEYWORDS, PHYSICAL_EDGE_ALIASES, POSITION_KINDS, PRELUDE_VERSION, PRESENTATION_KINDS, SLOT_ARITIES, SLOT_MODIFIERS, SLOT_ROLES, TOKEN_TYPES_BY_NAME, TOKEN_TYPE_NAMES, TOKEN_VALUE_KIND, TOKEN_VALUE_KINDS, VALUE_LITERAL_FNS, allTokensOfType, anatomyIndex, archetypesByName, atomsByName, camelField, compositesByName, conformance, findDeclaredPart, findToken, kebab as kebabField, lex, loweredAnatomy, missingRequiredParts, parseMildaDocument, preludeV0, resolveToken, tokenTypeFamily, validate };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mildastudio/milda",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "license": "MIT",
   "description": "The Milda language - a platform-neutral design language and canonical AST for design systems.",
   "repository": {