spine-rigc 2.49.0 → 2.51.0

package/src/assertions/bodies/a06.ts

@@ -1,7 +1,7 @@
 /**
  * A06, the body (issue #1025, step 4c of #380): every page the atlas names is
  * the size its PNG is, every region lies inside its page, and — under
- * `spine-html` — no page claims premultiplied alpha and no region is turned.
+ * `rig-play` — no page claims premultiplied alpha and no region is turned.
  * The clause that refused two regions on one page overlapping is
  * `A49_PACKED_FOOTPRINTS_DO_NOT_OVERLAP` since issue #1099 (`./a49.ts`).
  *

package/src/assertions/bodies/a12.ts

@@ -1,6 +1,9 @@
 /**
  * A12, the body (issue #1025, cut 4c-4 of #380): no dark colour and no
- * two-colour timeline — both parsed, then silently ignored by spine-html.
+ * two-colour timeline — both parsed, then ignored by rig-play's DOM mode.
+ * Only the DOM mode is named (issue #1277): rig-play's canvas mode carries
+ * `dark` on the frame, but no test of the player's draws it, so nothing here
+ * says it is drawn there.
  *
  * Moved out of `src/validate.ts` unchanged but for what it reads: the slots
  * are a fact (`../facts/skeleton_roster.ts`) and the slot timelines are A45's
@@ -16,14 +19,14 @@ import type { SlotTimelines } from '../facts/slot_colour.ts';
 export function a12NoDarkColor({ fail }: Verdicts, { slots }: SkeletonRosterFacts, slotTimelines: readonly SlotTimelines[]): void {
   for (const slot of slots) {
     if (slot.dark) {
-      fail('A12_NO_DARK_COLOR', `slot "${slot.name}" declares a dark colour; the renderer ignores it`);
+      fail('A12_NO_DARK_COLOR', `slot "${slot.name}" declares a dark colour; rig-play's DOM mode ignores it`);
     }
   }
   for (const { animation, slot, timelines } of slotTimelines) {
     for (const [name, keys] of Object.entries(timelines)) {
       if (!Array.isArray(keys)) continue;
       if (name === 'rgba2' || name === 'rgb2') {
-        fail('A12_NO_DARK_COLOR', `${animation}.slots.${slot}.${name}: two-colour timeline "${name}" is silently ignored by the renderer`);
+        fail('A12_NO_DARK_COLOR', `${animation}.slots.${slot}.${name}: two-colour timeline "${name}" is ignored by rig-play's DOM mode`);
       }
     }
   }

package/src/assertions/bodies/a19.ts

@@ -25,7 +25,7 @@ export function a19OverlayPngsHaveAlpha({ fail: failed, skip }: Verdicts, { atla
   // A SKIP for the same reason A06's is (#568). This one is invisible under
   // `spine`, where the profile excludes the rule before its body runs — and
   // that is exactly why it was worth finding: `--profile spine-html` reported
-  // it, and A27 below, green on an atlas nothing had read.
+  // it, and A27 (retired since, issue #1404), green on an atlas nothing had read.
   if (!atlas) return skip('A19_OVERLAY_PNGS_HAVE_ALPHA', SKIP_NO_ATLAS);
   if (atlas.pages.length === 0) return skip('A19_OVERLAY_PNGS_HAVE_ALPHA', SKIP_NO_ATLAS_PAGE);
   // Every sentence this body prints goes through here, so its end can tell
@@ -145,7 +145,7 @@ export function a19OverlayPngsHaveAlpha({ fail: failed, skip }: Verdicts, { atla
     // ⭐ Who names it is read off the two bodies, not chosen. Both ask
     // `readPngHeader` (`pngProblem`, the one reader of a page's identity) the
     // same question about the same file, A06 runs under both profiles and this
-    // rule under `spine-html` alone, and A06 FAILs on every page for which it
+    // rule under `rig-play` alone, and A06 FAILs on every page for which it
     // answers with a problem — so on every input that reaches this branch, A06
     // has already named the file and the report is red. A FAIL here would be
     // the second naming and a PASS a certificate over alpha nobody read, so
@@ -246,7 +246,7 @@ export function a19OverlayPngsHaveAlpha({ fail: failed, skip }: Verdicts, { atla
               `${region.y} is not where "${region.name}"'s texels are on this file and this rule states ` +
               'nothing about whether it can draw a transparent pixel. The page grid is ' +
               "A06_ATLAS_PAGE_SIZE_MATCHES_PNG's to judge, and it names the ratio and how to declare the page " +
-              'honestly. This is renderer policy, and it belongs to --profile spine-html: the default ' +
+              'honestly. This is renderer policy, and it belongs to --profile rig-play: the default ' +
               '--profile spine does not run this check.',
           );
         }
@@ -280,7 +280,7 @@ export function a19OverlayPngsHaveAlpha({ fail: failed, skip }: Verdicts, { atla
               `${plate.width}x${plate.height}, so it states nothing about whether "${region.name}" can draw a ` +
               "transparent pixel. A region's rectangle is A06_ATLAS_PAGE_SIZE_MATCHES_PNG's to judge, and one " +
               'that runs off its page is refused there by name. This is renderer policy, and it belongs to ' +
-              '--profile spine-html: the default --profile spine does not run this check.',
+              '--profile rig-play: the default --profile spine does not run this check.',
           );
           continue;
         }
@@ -298,7 +298,7 @@ export function a19OverlayPngsHaveAlpha({ fail: failed, skip }: Verdicts, { atla
           'A19_OVERLAY_PNGS_HAVE_ALPHA',
           `part "${region.name}" is opaque in ${over}, so it would paint a solid rectangle over whatever is ` +
             `drawn behind it. Re-export the part with transparency and pack again. ${exemption} This is ` +
-            'renderer policy, and it belongs to --profile spine-html: the default --profile spine does not run ' +
+            'renderer policy, and it belongs to --profile rig-play: the default --profile spine does not run ' +
             'this check.',
         );
       }
@@ -316,7 +316,7 @@ export function a19OverlayPngsHaveAlpha({ fail: failed, skip }: Verdicts, { atla
           `(${colourTypeName(info.colourType)}) with no tRNS chunk, so it would paint a solid rectangle over ` +
           'whatever is drawn behind it. Re-export it with transparency — as RGBA, or as an indexed or greyscale ' +
           `PNG that keeps its tRNS chunk. ${exemption} This is renderer policy, and it belongs to --profile ` +
-          'spine-html: the default --profile spine does not run this check.',
+          'rig-play: the default --profile spine does not run this check.',
       );
       continue;
     }
@@ -352,7 +352,7 @@ export function a19OverlayPngsHaveAlpha({ fail: failed, skip }: Verdicts, { atla
       `part image "${page.name}" is opaque in every one of its ${plate.width}x${plate.height} texels, so it ` +
         `would paint a solid rectangle over whatever is drawn behind it: its file can hold transparency — ${holds} ` +
         '— and no texel uses it. Re-export the part with the transparency it is meant to have. ' +
-        `${exemption} This is renderer policy, and it belongs to --profile spine-html: the default --profile ` +
+        `${exemption} This is renderer policy, and it belongs to --profile rig-play: the default --profile ` +
         'spine does not run this check.',
     );
   }

package/src/assertions/bodies/a20.ts

@@ -1,7 +1,7 @@
 /**
  * A20, the body (issue #1025, step 4c of #380): a weighted mesh's weights
  * cohere — every vertex bound, every weight finite and non-negative, every
- * vertex's weights summing to 1 — and, under `spine-html`, a generated mesh is
+ * vertex's weights summing to 1 — and, under `rig-play`, a generated mesh is
  * weighted, binds only bones that move it and binds every bone it declares.
  *
  * Moved out of `src/validate.ts` clause by clause, every clause about the
@@ -72,7 +72,7 @@ export function a20MeshWeightsCoherent({ fail, skip }: Verdicts, { meshes, bones
         // In a rigc-GENERATED ring or ribbon it is still a defect: the
         // generator bound a bone that does nothing, which is a bug in the
         // generator and dead work in the runtime's inner loop. So it stays a
-        // failure under spine-html and is not one under spine.
+        // failure under rig-play and is not one under spine.
         else if (policy && generated && weight === 0) {
           fail(
             'A20_MESH_WEIGHTS_COHERENT',

package/src/assertions/emitted/index.ts

@@ -22,7 +22,7 @@
  *
  * Links nothing from the runtime.
  */
-import { ASSERTION_KIND, type AssertionProfile } from '../kinds.ts';
+import { ASSERTION_KIND, resolveProfile, type AssertionProfile } from '../kinds.ts';
 import { verdictHarness, type VerdictLists } from '../harness.ts';
 import { MOVED_ASSERTIONS } from '../model/index.ts';
 import type { Verdicts } from '../harness.ts';
@@ -125,7 +125,9 @@ export function roundTripOnlyCodes(): string[] {
 }
 
 /** The restated rules over one build's emitted texts, in `validate()`'s report shape. */
-export function validateEmittedText(input: EmittedTextInput): VerdictLists & { profile: AssertionProfile } {
+export function validateEmittedText(given: EmittedTextInput): VerdictLists & { profile: AssertionProfile } {
+  // A former profile name reads as its profile (issue #1277), for the rules and the report alike.
+  const input: EmittedTextInput = { ...given, profile: resolveProfile(given.profile, 'the emitted text') };
   const known = new Set(EMITTED_TEXT_RULES.map((r) => r.code));
   const unrun = roundTripOnlyCodes().filter((code) => !known.has(code));
   if (unrun.length > 0) {

package/src/assertions/facts/atlas_regions.ts

@@ -2,10 +2,10 @@
  * The atlas as the page rules read it (issue #1025, step 4c of #380) — the
  * census's F20 and F21 whole: every page's name, declared size and `pma`, every
  * region's rectangle and the page it sits on, and the region a name resolves
- * to. A06, A19 and A27 read it; A17, which reads only the page names, keeps the
+ * to. A06, A19 and A49 read it; A17, which reads only the page names, keeps the
  * narrower `./atlas_pages.ts`.
  *
- * ⭐ **The order is a fact, and it is the file's.** A06 and A27 print one line
+ * ⭐ **The order is a fact, and it is the file's.** A06 prints one line
  * per offending page or region, and A06's overlap clause prints a pair in the
  * order it meets them, so `pages` and `regions` hold the atlas's own order —
  * pages as the file lists them, regions page by page in the file's order — and

package/src/assertions/facts/skin_entries.ts

@@ -28,10 +28,8 @@ export interface RegionEntry {
   readonly path?: string;
 }
 
-/** What the skins hold, for A03, A11 and A19. */
+/** What the skins hold, for A03 and A19. */
 export interface SkinEntryFacts {
   /** Every region attachment of every skin, in the file's walk order (the header's ⭐). */
   readonly regionAttachments: readonly RegionEntry[];
-  /** How many clipping attachments the skins hold, every skin counted. */
-  readonly clippingCount: number;
 }

package/src/assertions/harness.ts

@@ -18,7 +18,7 @@
  * This module links nothing from the runtime, directly or through what it
  * imports — the condition for the model side to use it, held by the selftest.
  */
-import { kindRunsUnder, type AssertionKind, type AssertionProfile } from './kinds.ts';
+import { kindRunsUnder, resolveProfile, type AssertionKind, type AssertionProfile } from './kinds.ts';
 
 /** One failure: the assertion's code and the sentence naming the object, the value found and the value required. */
 export interface Failure {
@@ -75,6 +75,10 @@ export interface VerdictHarness extends VerdictLists {
  * the table lacks — `validate` for the gate, so its message is the one it was.
  */
 export function verdictHarness(profile: AssertionProfile, kinds: Readonly<Record<string, AssertionKind>>, who: string): VerdictHarness {
+  // A former name resolves to its profile and anything outside the pair is
+  // refused by name — `resolveProfile` says why. The entries resolve before
+  // they get here, so this is the floor for a caller of the harness itself.
+  profile = resolveProfile(profile, who);
   const failures: Failure[] = [];
   const passed: string[] = [];
   const skipped: VerdictLists['skipped'] = [];

package/src/assertions/kinds.ts

@@ -12,7 +12,32 @@
  */
 
 /** The two rulebooks — `ValidateProfile` in `src/validate.ts`, where the choice between them is argued. */
-export type AssertionProfile = 'spine' | 'spine-html';
+export type AssertionProfile = 'spine' | 'rig-play';
+
+/**
+ * A profile's former name, which the CLI's `--profile` still reads for one
+ * minor and resolves at parse time, printing the deprecation line that names
+ * the profile it reads as (issue #1277). Nothing past the flag parser sees an
+ * alias: the rule set is keyed on the profile it resolves to, so the alias and
+ * its target cannot come to run different rules.
+ */
+export const PROFILE_ALIASES: Readonly<Record<string, AssertionProfile>> = { 'spine-html': 'rig-play' };
+
+/**
+ * The profile a gate entry runs under: a profile as given, a former name as the
+ * profile it became — silently, because the CLI prints the deprecation line and
+ * a library caller of `validate()` through a courtesy key passed the former
+ * name on the release before this one and must get the same rules — and
+ * anything else refused by name. `kindRunsUnder` reads every name but
+ * `rig-play` as validity-only, so an unresolved name would run a weaker gate in
+ * silence, under a name nobody chose (issue #1277).
+ */
+export function resolveProfile(profile: string, who: string): AssertionProfile {
+  if (profile === 'spine' || profile === 'rig-play') return profile;
+  const target = Object.hasOwn(PROFILE_ALIASES, profile) ? PROFILE_ALIASES[profile] : undefined;
+  if (target !== undefined) return target;
+  throw new Error(`${who}: profile ${JSON.stringify(profile)} is not a profile; the profiles are "spine" and "rig-play"`);
+}
 
 /** The three kinds a rule can be; the table's own comment says what each means. */
 export type AssertionKind = 'validity' | 'renderer' | 'archetype';
@@ -45,6 +70,13 @@ export type AssertionKind = 'validity' | 'renderer' | 'archetype';
  * restating it as the renderer's own join made it a tautology over the validity
  * half. The argument, with the renderer lines it is measured against, sits above
  * `check('A08_…')`.
+ *
+ * The numbering has gaps, and they are retirements, not reservations: A41
+ * (issue #1202), and A11 and A27 (issue #1404) — two `renderer` rules stating
+ * limits the player `rig-play` names does not have, since it draws a clipping
+ * attachment and a region on a page named for something else in both of its
+ * modes. A retired code is not reused, so a line that names one in an old
+ * report still means what it meant.
  */
 export const ASSERTION_KIND: Readonly<Record<string, AssertionKind>> = {
   A00_ROUNDTRIP_PARSE: 'validity',
@@ -58,7 +90,6 @@ export const ASSERTION_KIND: Readonly<Record<string, AssertionKind>> = {
   A08_REGION_NAMES_MATCH_ATTACHMENTS: 'validity', // no longer mixed — see above (#574)
   A09_ANIMATION_DURATION_MATCHES_SPEC: 'validity',
   A10_NO_NAN_AFTER_STEPPING: 'validity',
-  A11_NO_CLIPPING_ATTACHMENTS: 'renderer',
   A12_NO_DARK_COLOR: 'renderer',
   A13_MESH_BUDGET: 'renderer',
   A14_NO_FULL_FRAME_MESH: 'renderer',
@@ -74,7 +105,6 @@ export const ASSERTION_KIND: Readonly<Record<string, AssertionKind>> = {
   A24_AXIS_SPACE_STROKE: 'archetype',
   A25_DETACHED_BONE_PARENTAGE: 'archetype',
   A26_SLOT_DRAW_ORDER: 'archetype',
-  A27_REGION_NAME_MATCHES_PAGE_FILENAME: 'renderer',
   A28_RIBBON_ROWS_SHARE_WEIGHTS: 'archetype',
   A29_STROKE_WITHIN_CONTACT_DEPTH: 'archetype',
   A30_STROKE_WITHIN_CAP_CONTAINMENT: 'archetype',
@@ -100,7 +130,7 @@ export const ASSERTION_KIND: Readonly<Record<string, AssertionKind>> = {
   A51_BONES_LIE_ALONG_THEIR_DECLARED_AXIS: 'validity',
 };
 
-/** Whether `profile` runs a rule of `kind`: `spine` runs validity alone, `spine-html` every kind. */
+/** Whether `profile` runs a rule of `kind`: `spine` runs validity alone, `rig-play` every kind. */
 export function kindRunsUnder(kind: AssertionKind, profile: AssertionProfile): boolean {
-  return kind === 'validity' || profile === 'spine-html';
+  return kind === 'validity' || profile === 'rig-play';
 }

package/src/assertions/model/index.ts

@@ -37,11 +37,10 @@
  * Links nothing from the runtime, directly or through what it imports — held
  * by the selftest's `VF` controls.
  */
-import { ASSERTION_KIND, type AssertionProfile } from '../kinds.ts';
+import { ASSERTION_KIND, resolveProfile, type AssertionProfile } from '../kinds.ts';
 import { verdictHarness, type VerdictHarness, type Verdicts, type VerdictLists } from '../harness.ts';
 import { SKIP_NO_ATLAS, SKIP_NO_MODEL } from '../reasons.ts';
 import { a03RegionWidthHeightFinite } from '../bodies/a03.ts';
-import { a11NoClippingAttachments } from '../bodies/a11.ts';
 import { a17AtlasPageFilesExist } from '../bodies/a17.ts';
 import { a45SeparableColorTimelinesOwnTheirChannelsAndPoseAsWritten } from '../bodies/a45.ts';
 import { A00_MODEL_READ, A00_MODEL_REGIONS_ON_PAGES, MODEL_PARSE_KIND, modelRead, modelRegionsOnPages, SKIP_NO_MODEL_DOCUMENT, SKIP_NO_MODEL_PAGES, type ReadDocument } from './parse.ts';
@@ -69,7 +68,6 @@ import { modelSetupWorld } from './setup_world.ts';
 import type { SetupWorldFacts } from '../facts/setup_world.ts';
 import { modelStageBox } from './stage_box.ts';
 import type { StageBoxFacts } from '../facts/stage_box.ts';
-import { a27RegionNameMatchesPageFilename } from '../bodies/a27.ts';
 import { modelAnimatedBones } from './animated_bones.ts';
 import { modelSkinMembers } from './skin_members.ts';
 import { modelRegionJoins } from './region_joins.ts';
@@ -290,11 +288,10 @@ export const MOVED_ASSERTIONS: readonly MovedAssertion[] = [
   { code: 'A03_REGION_WIDTH_HEIGHT_FINITE', run: (v, read, _input, supply) => a03RegionWidthHeightFinite(v, supply.skinEntries(read)), unread: SKIP_NO_MODEL },
   { code: 'A04_MESH_TRIANGLES_AND_ENCODING', run: (v, read, _input, supply) => a04MeshTrianglesAndEncoding(v, supply.meshes(read)), unread: SKIP_NO_MODEL },
   { code: 'A33_VERTEX_ATTACHMENT_GEOMETRY', run: (v, read, _input, supply) => a33VertexAttachmentGeometry(v, supply.polygons(read)), unread: SKIP_NO_MODEL },
-  { code: 'A11_NO_CLIPPING_ATTACHMENTS', run: (v, read, _input, supply) => a11NoClippingAttachments(v, supply.skinEntries(read)), unread: SKIP_NO_MODEL },
   { code: 'A13_MESH_BUDGET', run: (v, read, input, supply) => a13MeshBudget(v, supply.meshes(read), { rig: supply.rigInfo(read, input) }), unread: SKIP_NO_MODEL },
   { code: 'A14_NO_FULL_FRAME_MESH', run: (v, read, input, supply) => a14NoFullFrameMesh(v, supply.meshes(read), supply.stage(read, input)), unread: SKIP_NO_MODEL },
   { code: 'A15_IDLE_NO_MESH_BONE_KEYS', run: (v, read, input, supply) => a15IdleNoMeshBoneKeys(v, supply.meshes(read), supply.animatedBones(read), { rig: supply.rigInfo(read, input) }), unread: SKIP_NO_MODEL },
-  { code: 'A20_MESH_WEIGHTS_COHERENT', run: (v, read, input, supply) => a20MeshWeightsCoherent(v, supply.meshes(read), input.profile === 'spine-html', supply.rigInfo(read, input)), unread: SKIP_NO_MODEL },
+  { code: 'A20_MESH_WEIGHTS_COHERENT', run: (v, read, input, supply) => a20MeshWeightsCoherent(v, supply.meshes(read), input.profile === 'rig-play', supply.rigInfo(read, input)), unread: SKIP_NO_MODEL },
   { code: 'A21_MESH_RIM_PINNED', run: (v, read, input, supply) => a21MeshRimPinned(v, supply.meshes(read), supply.rigInfo(read, input)), unread: SKIP_NO_MODEL },
   { code: 'A22_MESH_UVS_IN_UNIT_RANGE', run: (v, read, _input, supply) => a22MeshUvsInUnitRange(v, supply.meshes(read)), unread: SKIP_NO_MODEL },
   { code: 'A39_DEFORM_KEEPS_TRIANGLE_WINDING', run: (v, read, input, supply) => a39DeformKeepsTriangleWinding(v, supply.deformSurvey(read), supply.rigInfo(read, input)), unread: SKIP_NO_MODEL },
@@ -313,14 +310,13 @@ export const MOVED_ASSERTIONS: readonly MovedAssertion[] = [
   { code: 'A44_LINKED_MESH_STATES_NO_GEOMETRY_OF_ITS_OWN', run: (v, read, _input, supply) => a44LinkedMeshStatesNoGeometryOfItsOwn(v, supply.links(read)), unread: SKIP_NO_MODEL },
   { code: 'A46_SEQUENCE_ATTACHMENTS_SHOW_THE_FRAME_THE_FILE_STATES', run: (v, read, _input, supply) => a46SequenceAttachmentsShowTheFrameTheFileStates(v, supply.sequences(read)), unread: SKIP_NO_MODEL },
   { code: 'A17_ATLAS_PAGE_FILES_EXIST', run: (v, read, input, supply) => a17AtlasPageFilesExist(v, supply.atlasPages(read), input), unread: SKIP_NO_ATLAS },
-  { code: 'A06_ATLAS_PAGE_SIZE_MATCHES_PNG', run: (v, read, input, supply) => a06AtlasPageSizeMatchesPng(v, supply.atlasRegions(read, input), input, input.profile === 'spine-html'), unread: SKIP_NO_ATLAS },
+  { code: 'A06_ATLAS_PAGE_SIZE_MATCHES_PNG', run: (v, read, input, supply) => a06AtlasPageSizeMatchesPng(v, supply.atlasRegions(read, input), input, input.profile === 'rig-play'), unread: SKIP_NO_ATLAS },
   { code: 'A19_OVERLAY_PNGS_HAVE_ALPHA', run: (v, read, input, supply) => a19OverlayPngsHaveAlpha(v, supply.atlasRegions(read, input), supply.stage(read, input), supply.skinEntries(read), { atlasDir: input.atlasDir, rig: supply.rigInfo(read, input) }), unread: SKIP_NO_ATLAS },
   { code: 'A49_PACKED_FOOTPRINTS_DO_NOT_OVERLAP', run: (v, read, input, supply) => a49PackedFootprintsDoNotOverlap(v, supply.atlasRegions(read, input), supply.regionJoins(read), supply.meshes(read)), unread: SKIP_NO_ATLAS },
   { code: 'A50_STAGE_BOX_IS_THE_STAGE', run: (v, read, _input, supply) => a50StageBoxIsTheStage(v, supply.stageBox(read)), unread: SKIP_NO_MODEL },
   { code: 'A24_AXIS_SPACE_STROKE', run: (v, read, input, supply) => a24AxisSpaceStroke(v, supply.boneTimelines(read), { rig: supply.rigInfo(read, input) }), unread: SKIP_NO_MODEL, beforeTheParse: true },
   { code: 'A25_DETACHED_BONE_PARENTAGE', run: (v, read, input, supply) => a25DetachedBoneParentage(v, supply.skeletonRoster(read), { rig: supply.rigInfo(read, input) }), unread: SKIP_NO_MODEL, beforeTheParse: true },
   { code: 'A26_SLOT_DRAW_ORDER', run: (v, read, input, supply) => a26SlotDrawOrder(v, supply.skeletonRoster(read), { rig: supply.rigInfo(read, input) }), unread: SKIP_NO_MODEL, beforeTheParse: true },
-  { code: 'A27_REGION_NAME_MATCHES_PAGE_FILENAME', run: (v, read, input, supply) => a27RegionNameMatchesPageFilename(v, supply.atlasRegions(read, input)), unread: SKIP_NO_ATLAS },
   { code: 'A28_RIBBON_ROWS_SHARE_WEIGHTS', run: (v, read, input, supply) => a28RibbonRowsShareWeights(v, supply.meshes(read), supply.rigInfo(read, input)), unread: SKIP_NO_MODEL },
   { code: 'A29_STROKE_WITHIN_CONTACT_DEPTH', run: (v, read, input, supply) => a29StrokeWithinContactDepth(v, supply.boneTimelines(read), { rig: supply.rigInfo(read, input) }), unread: SKIP_NO_MODEL, beforeTheParse: true },
   { code: 'A30_STROKE_WITHIN_CAP_CONTAINMENT', run: (v, read, input, supply) => a30StrokeWithinCapContainment(v, supply.boneTimelines(read), { rig: supply.rigInfo(read, input) }), unread: SKIP_NO_MODEL, beforeTheParse: true },
@@ -389,7 +385,9 @@ function rigFigures(stats: Record<string, number | string>, read: ReadDocument |
  * prints. `plant` replaces a family's supplier; only the selftest's plants
  * pass one.
  */
-export function validateModel(input: ModelValidateInput, plant: Partial<ModelSupply> = {}): ModelReport {
+export function validateModel(given: ModelValidateInput, plant: Partial<ModelSupply> = {}): ModelReport {
+  // A former profile name reads as its profile (issue #1277), for the policy switches and the report alike.
+  const input: ModelValidateInput = { ...given, profile: resolveProfile(given.profile, 'the model side') };
   const supply: ModelSupply = { ...MODEL_SUPPLY, ...plant };
   const h = verdictHarness(input.profile, { ...ASSERTION_KIND, ...MODEL_PARSE_KIND }, 'the model side');
   const { read, held } = parse(h, input.modelText);

package/src/assertions/model/skin_entries.ts

@@ -1,6 +1,6 @@
 /**
  * The model side's supply of `SkinEntryFacts` (issue #1025, step 4c of #380):
- * the skins' region attachments and clipping count, read off the document.
+ * the skins' region attachments, read off the document.
  *
  * ⭐ **In the file's order, by the emitter's own rule.** The document holds the
  * skins in the spec's order and the Spine file holds them in the editor's
@@ -55,9 +55,7 @@ export function fileOrderedEntries(read: ReadDocument, order?: SkinOrder): Array
 
 export function modelSkinEntries(read: ReadDocument, order?: SkinOrder): SkinEntryFacts {
   const regionAttachments: RegionEntry[] = [];
-  let clippingCount = 0;
   for (const entry of fileOrderedEntries(read, order)) {
-    if (entry.record.kind === 'clipping') clippingCount++;
     if (entry.record.kind !== 'region') continue;
     const geometry = entry.record.geometry;
     // `readModel` reads every region record's geometry or refuses the document, so a record without one is this module's defect.
@@ -65,5 +63,5 @@ export function modelSkinEntries(read: ReadDocument, order?: SkinOrder): SkinEnt
     const shown = shownRow(entry);
     regionAttachments.push({ name: shown.name, width: geometry.region.width, height: geometry.region.height, path: shown.path as string });
   }
-  return { regionAttachments, clippingCount };
+  return { regionAttachments };
 }

package/src/assertions/reasons.ts

@@ -28,7 +28,7 @@ export const SKIP_NO_ATLAS = 'the round trip did not produce an atlas to measure
 /**
  * The third of them, and it is NOT waiting on A00 (issue #608): the atlas parsed
  * and it has no pages, which is what a compile that measured no art writes. The
- * four rules whose only subject is a page — A06, A17, A19, A27 — have nothing to
+ * three rules whose only subject is a page — A06, A17, A19 — have nothing to
  * look at, and an empty loop walking out of `check()` is reported as a PASS.
  */
 /*

package/src/assertions/report.ts

@@ -10,7 +10,18 @@ import type { AssertionProfile } from './kinds.ts';
 import type { VerdictLists } from './harness.ts';
 import { failLine } from '../guide.ts';
 
-export const VALIDATE_PROFILES: readonly AssertionProfile[] = ['spine', 'spine-html'];
+export const VALIDATE_PROFILES: readonly AssertionProfile[] = ['spine', 'rig-play'];
+
+/**
+ * The line `--profile <alias>` prints on stderr before the command runs: the
+ * old name, the profile it reads as, and the flag to pass instead (issue
+ * #1277). Stderr so a report on stdout reads the same whichever name the
+ * caller typed; the report itself names the profile that judged it, which is
+ * the target and never the alias.
+ */
+export function profileAliasLine(alias: string, target: AssertionProfile): string {
+  return `rigc: --profile ${alias} is deprecated and reads as --profile ${target}, the same rules; it is accepted until the next minor release — pass --profile ${target}`;
+}
 
 /**
  * What the CLI uses when `--profile` is absent — and ONLY the CLI. This is not
@@ -21,7 +32,7 @@ export const VALIDATE_PROFILES: readonly AssertionProfile[] = ['spine', 'spine-h
  * into the Spine editor", which is exactly the question `spine` asks, and a
  * stranger's first build was being judged instead against one renderer's policy
  * and one project's canvas budget — 14 rules they have no stake in, with the
- * escape hatch documented only in prose. Defaults beat prose. `spine-html` is
+ * escape hatch documented only in prose. Defaults beat prose. `rig-play` is
  * still one flag away, and every report names the profile that judged it.
  */
 export const CLI_DEFAULT_PROFILE: AssertionProfile = 'spine';

package/src/atlas.ts

@@ -553,7 +553,7 @@ export interface EmitPage {
  * against the unturned pack. But on neither rig did a turn shrink the page: both
  * were already on the smallest power-of-two page their area allows, and a turn
  * that buys no area only moves bytes. Shipping it would also need two clauses
- * changed that say rigc never turns a region — `A06`'s under `spine-html`
+ * changed that say rigc never turns a region — `A06`'s under `rig-play`
  * ([`src/validate.ts`](validate.ts)) and `artUvsOf`
  * ([`src/render.ts`](render.ts)), which returns no art UVs for a turned region
  * attachment, so `check`'s texture substitution would report it unmatched.

package/src/cli/shared.ts

@@ -26,10 +26,11 @@ import {
   CLI_DEFAULT_PROFILE,
   type GateHere,
   type PackPageFigures,
+  profileAliasLine,
   VALIDATE_PROFILES,
 } from '../assertions/report.ts';
 import type { VerdictLists } from '../assertions/harness.ts';
-import type { AssertionProfile } from '../assertions/kinds.ts';
+import { PROFILE_ALIASES, type AssertionProfile } from '../assertions/kinds.ts';
 import { MAX_CANDIDATES, MIN_CANDIDATES } from '../ballot.ts';
 import { BONEDIST_SPEC, IDENTITY_CORRESPONDENCE } from '../correspondence.ts';
 import { ANCHOR_MAX_RESIDUAL, ANCHOR_MAX_UNEXPLAINED, DEFAULT_HINGE_MAX, DEFAULT_HINGE_MIN, DEFAULT_MIN_LEVER_PX, DEFAULT_MIN_VISIBLE, DEFAULT_PASSES } from '../chainfit.ts';
@@ -988,7 +989,7 @@ const FLAG_MEANINGS: Record<string, string> = {
   cuts: 'the cuts.json --cut names',
   profile:
     'which rulebook to check against (default: spine) — spine = valid Spine 4.3 that any runtime plays ' +
-    "correctly; spine-html = also this project's renderer/archetype policy",
+    "correctly; rig-play = also this project's renderer/archetype policy",
   atlas: "the candidate's atlas, when it is not beside the skeleton",
   reference: 'the reference skeleton to pose beside the candidate — a directory or a skeleton.json path',
   'reference-atlas': "the reference's atlas, when it is not beside the reference skeleton",
@@ -1179,7 +1180,7 @@ const FLAG_VALUES: Record<string, string> = {
   manifest: '<path>',
   cut: '<name>',
   cuts: '<path>',
-  profile: 'spine|spine-html',
+  profile: 'spine|rig-play',
   atlas: '<path>',
   'atlas-in': '<file.atlas>',
   'page-size': '<px>',
@@ -1324,7 +1325,7 @@ export const COMMANDS: CommandDoc[] = [
       for: 'the gate round-trips every build through it before anything is written',
       core: {
         usage: [
-          'rigc build --rig <path> --motion <path> --out <dir> [--manifest <path>] [--images <dir>] [--profile spine|spine-html] [--copy-images] [--report <file>]   (the same files the round-tripped build writes; gated without spine-core — see build --help)',
+          'rigc build --rig <path> --motion <path> --out <dir> [--manifest <path>] [--images <dir>] [--profile spine|rig-play] [--copy-images] [--report <file>]   (the same files the round-tripped build writes; gated without spine-core — see build --help)',
           `rigc build … --pack [--page-size ${DEFAULT_PAGE_SIZE}] [--padding ${DEFAULT_PADDING}] [--page-edges pot|free] [--pack-shape rect|polygon]   (parts onto shared pages, written into --out)`,
           'rigc build … --atlas-in <skeleton.atlas>                    (resolve the parts against a pack somebody already made)',
           'rigc build --cut <name> --cuts <cuts.json>',
@@ -1348,7 +1349,7 @@ export const COMMANDS: CommandDoc[] = [
     },
     spineFormat: true,
     usage: [
-      'rigc build --rig <path> --motion <path> --out <dir> [--manifest <path>] [--images <dir>] [--profile spine|spine-html] [--copy-images] [--report <file>]',
+      'rigc build --rig <path> --motion <path> --out <dir> [--manifest <path>] [--images <dir>] [--profile spine|rig-play] [--copy-images] [--report <file>]',
       `rigc build … --pack [--page-size ${DEFAULT_PAGE_SIZE}] [--padding ${DEFAULT_PADDING}] [--page-edges pot|free] [--pack-shape rect|polygon]   (parts onto shared pages, written into --out)`,
       'rigc build … --atlas-in <skeleton.atlas>                    (resolve the parts against a pack somebody already made)',
       'rigc build --cut <name> --cuts <cuts.json>',
@@ -1378,8 +1379,8 @@ export const COMMANDS: CommandDoc[] = [
       for: 'the rebuild it writes is gated by build\'s gate, which round-trips it through spine-core',
       core: {
         usage: [
-          `rigc repack <dir | skeleton.json> --out <dir> [--atlas <path>] [--page-size ${DEFAULT_PAGE_SIZE}] [--padding ${DEFAULT_PADDING}] [--page-edges pot|free] [--pack-shape rect|polygon] [--profile spine|spine-html] [--stage x,y,w,h] [--stage-box <slot>] [--accept-skeleton-differences] [--report <file>]   (gated without spine-core — see repack --help)`,
-          `rigc repack <dir | skeleton.json> --out <dir> --keep-pages [--atlas <path>] [--profile spine|spine-html] [--stage x,y,w,h] [--stage-box <slot>] [--report <file>]   (skeleton.model.json alone, pages kept)`,
+          `rigc repack <dir | skeleton.json> --out <dir> [--atlas <path>] [--page-size ${DEFAULT_PAGE_SIZE}] [--padding ${DEFAULT_PADDING}] [--page-edges pot|free] [--pack-shape rect|polygon] [--profile spine|rig-play] [--stage x,y,w,h] [--stage-box <slot>] [--accept-skeleton-differences] [--report <file>]   (gated without spine-core — see repack --help)`,
+          `rigc repack <dir | skeleton.json> --out <dir> --keep-pages [--atlas <path>] [--profile spine|rig-play] [--stage x,y,w,h] [--stage-box <slot>] [--report <file>]   (skeleton.model.json alone, pages kept)`,
         ],
         notes: [
           'a packed build repacked from its own output — skeleton.json, skeleton.atlas and the',
@@ -1401,8 +1402,8 @@ export const COMMANDS: CommandDoc[] = [
     },
     spineFormat: true,
     usage: [
-      `rigc repack <dir | skeleton.json> --out <dir> [--atlas <path>] [--page-size ${DEFAULT_PAGE_SIZE}] [--padding ${DEFAULT_PADDING}] [--page-edges pot|free] [--pack-shape rect|polygon] [--profile spine|spine-html] [--stage x,y,w,h] [--stage-box <slot>] [--accept-skeleton-differences] [--report <file>]`,
-          `rigc repack <dir | skeleton.json> --out <dir> --keep-pages [--atlas <path>] [--profile spine|spine-html] [--stage x,y,w,h] [--stage-box <slot>] [--report <file>]   (skeleton.model.json alone, pages kept)`,
+      `rigc repack <dir | skeleton.json> --out <dir> [--atlas <path>] [--page-size ${DEFAULT_PAGE_SIZE}] [--padding ${DEFAULT_PADDING}] [--page-edges pot|free] [--pack-shape rect|polygon] [--profile spine|rig-play] [--stage x,y,w,h] [--stage-box <slot>] [--accept-skeleton-differences] [--report <file>]`,
+          `rigc repack <dir | skeleton.json> --out <dir> --keep-pages [--atlas <path>] [--profile spine|rig-play] [--stage x,y,w,h] [--stage-box <slot>] [--report <file>]   (skeleton.model.json alone, pages kept)`,
     ],
     flags: ['out', 'atlas', 'page-size', 'padding', 'page-edges', 'pack-shape', 'profile', 'stage', 'stage-box', 'accept-skeleton-differences', 'keep-pages', 'report'],
     overrides: {
@@ -1469,7 +1470,7 @@ export const COMMANDS: CommandDoc[] = [
     runtime: { for: 'the gate it re-runs is the round trip through it', rerunsTheGate: true },
     spineFormat: true,
     usage: [
-      'rigc validate <dir | skeleton.json> [--atlas <path>] [--profile spine|spine-html]',
+      'rigc validate <dir | skeleton.json> [--atlas <path>] [--profile spine|rig-play]',
       'rigc validate --cut <name> --cuts <cuts.json>   (also re-derives declared durations)',
     ],
     flags: ['atlas', 'profile', 'cut', 'cuts', 'rig', 'motion', 'out', 'manifest', 'images'],
@@ -1815,17 +1816,17 @@ export function commandHelp(name: string, docs: readonly CommandDoc[] = COMMANDS
  * `--profile` paragraph states each profile's rule count, which only the
  * validator knows (`CliEntry.profileRules`).
  */
-const USAGE_PARAGRAPHS: ReadonlyArray<{ about: readonly string[] | { flag: string }; lines: (rules: (profile: 'spine' | 'spine-html') => number) => string[] }> = [
+const USAGE_PARAGRAPHS: ReadonlyArray<{ about: readonly string[] | { flag: string }; lines: (rules: (profile: 'spine' | 'rig-play') => number) => string[] }> = [
   {
     about: ['build', 'validate', 'bench'],
     lines: (rules) => [
-      'build, validate and bench take --profile spine|spine-html:',
+      'build, validate and bench take --profile spine|rig-play:',
       '  spine       is this valid Spine 4.3 that any runtime plays correctly?',
       `              THE DEFAULT — ${rules('spine')} rules, and the question the output answers when`,
       '              you import it into the Spine editor.',
-      '  spine-html  the above, plus this project\'s renderer and archetype policy:',
-      `              all ${rules('spine-html')} rules, opt-in. Those extra ` +
-        `${rules('spine-html') - rules('spine')} fire on real, correct,`,
+      '  rig-play    the above, plus this project\'s renderer and archetype policy:',
+      `              all ${rules('rig-play')} rules, opt-in. Those extra ` +
+        `${rules('rig-play') - rules('spine')} fire on real, correct,`,
       '              editor-produced Spine data, so they are somebody\'s policy rather',
       '              than anybody\'s validity.',
       '',
@@ -1955,7 +1956,7 @@ const USAGE_PARAGRAPHS: ReadonlyArray<{ about: readonly string[] | { flag: strin
  * lines, then every paragraph about only those commands (`USAGE_PARAGRAPHS`).
  * `checkout` is the file a source checkout runs this entry as.
  */
-export function usageText(docs: readonly CommandDoc[], checkout: string, rules: ((profile: 'spine' | 'spine-html') => number) | undefined): string {
+export function usageText(docs: readonly CommandDoc[], checkout: string, rules: ((profile: 'spine' | 'rig-play') => number) | undefined): string {
   const names = new Set(docs.map((doc) => doc.name));
   const takes = (flag: string): boolean => docs.some((doc) => doc.flags.includes(flag));
   const lines = [
@@ -2002,6 +2003,13 @@ export function usageText(docs: readonly CommandDoc[], checkout: string, rules:
 export function readProfile(flags: Record<string, string>): AssertionProfile {
   const raw = flags.profile;
   if (raw === undefined) return CLI_DEFAULT_PROFILE;
+  // A former name resolves here and nowhere else (issue #1277): past this line
+  // the alias does not exist, so it cannot select a rule set of its own.
+  const aliased = Object.hasOwn(PROFILE_ALIASES, raw) ? PROFILE_ALIASES[raw] : undefined;
+  if (aliased !== undefined) {
+    console.error(profileAliasLine(raw, aliased));
+    return aliased;
+  }
   const found = VALIDATE_PROFILES.find((p) => p === raw);
   if (!found) throw new UsageError(`--profile ${JSON.stringify(raw)}; known profiles: ${VALIDATE_PROFILES.join(', ')}`);
   return found;
@@ -2633,7 +2641,7 @@ export interface CliEntry {
   /** Every command this entry runs, by name — exactly its set, or the run refuses to start. */
   runs: Readonly<Record<string, CommandRun>>;
   /** Each profile's rule count, for the `--profile` paragraph; the validator's, so only an entry that links it states it. */
-  profileRules?: (profile: 'spine' | 'spine-html') => number;
+  profileRules?: (profile: 'spine' | 'rig-play') => number;
   /** The refusals of bodies only this entry registers (`CliRefusal`). */
   refusals?: readonly CliRefusal[];
 }

package/src/cli/spine_commands.ts

@@ -818,4 +818,4 @@ export const SPINE_COMMAND_REFUSALS: readonly CliRefusal[] = [
 ];
 
 /** Each profile's rule count — the validator's, which the usage's `--profile` paragraph states. */
-export const PROFILE_RULES = (profile: 'spine' | 'spine-html'): number => assertionCountForProfile(profile);
+export const PROFILE_RULES = (profile: 'spine' | 'rig-play'): number => assertionCountForProfile(profile);

package/src/compile.ts

@@ -1420,7 +1420,7 @@ const SLIDER_TRACKS: Record<string, ValueTrackShape> = {
  * refused by `A12_NO_DARK_COLOR`, and that is not a contradiction — A12 is filed
  * `renderer` in `ASSERTION_KIND`, so it states what ONE renderer ignores rather
  * than what is wrong. The `spine` profile `build` runs reports it `PROF` and
- * never applies it; `--profile spine-html` is where it fires. Emitting a
+ * never applies it; `--profile rig-play` is where it fires. Emitting a
  * construct one consumer drops is exactly what a profile is for.
  */
 export const SLOT_TRACKS: Record<string, 'attachment' | SlotColourShape> = {

package/src/rig.ts

@@ -426,7 +426,7 @@ export interface RigSlot {
   attachment?: string | null;
   /** `rrggbbaa`. Default opaque white. */
   color?: string;
-  /** Two-colour tint, `rrggbb`. 🚫 `A12_NO_DARK_COLOR` under `spine-html`. */
+  /** Two-colour tint, `rrggbb`. 🚫 `A12_NO_DARK_COLOR` under `rig-play`. */
   dark?: string;
   /** Default `normal`. Only the first letter's case is free (`RigSlotBlend`). */
   blend?: RigSlotBlend;