Format
normalization &
scale invariance.

CanvasNormalizationContext {
  contextRef,
  canvasRef,
  normalizationDomainRef,

  mode:
    SHORT_SIDE_ISOTROPIC,

  sourceUnit,

  width,
  height,
  shortSide,
  longSide,

  lengthScaleValue:
    shortSide,

  areaScaleValue:
    shortSide²,

  shortSidePx?,
  widthShortN,
  heightShortN,
  longSideShortN,
  areaShortN2,
  diagonalShortN,

  axisFractionSpaceRef,
  confidence,
  provenance
}

{
  "module": "Compo 6.03",
  "name": "format_normalization_and_scale_invariance",
  "version": "1.1-audited",
  "canonical_main_title": "Format-normalization and scale invariance",
  "topic": "06_ФОРМАТ_ПОСТЕРА_И_СООТНОШЕНИЕ_СТОРОН",
  "scope": "CANVAS_NORMALIZATION_CONTEXT_ISOTROPIC_SHORT_SIDE_SPACE_AXIS_FRACTION_SPACE_AND_SCALE_BEHAVIOR",
  "consumes": [
    "Compo6.00.CanvasDescriptor",
    "Compo6.00.CanvasDomainBoundary",
    "Compo6.00.canvas.geometry.width/height/shortSide/longSide/area",
    "optional Compo6.02.PhysicalCanvasMetadata for a separately declared physical normalization domain",
    "owner-declared metric dimensional metadata"
  ],
  "provides": [
    "CanvasNormalizationContext",
    "NormalizationDomainDescriptor",
    "ShortSideNormalizedPoint",
    "AxisFractionPoint",
    "DimensionalNormalizationDescriptor",
    "ScaleBehaviorDescriptor",
    "MetricResult[canvas.normalized.widthShortN]",
    "MetricResult[canvas.normalized.heightShortN]",
    "MetricResult[canvas.normalized.longSideShortN]",
    "MetricResult[canvas.normalized.areaShortN2]",
    "MetricResult[canvas.normalized.diagonalShortN]",
    "MetricResult[canvas.normalized.confidence]",
    "normalizationContextRef for CanvasDescriptor",
    "canonical shortSidePx bridge consumed by Compo4.01 / Compo5.02 when extent unit is PX",
    "NormalizationCorrectionRequest[]"
  ],
  "owns_metrics": [
    "canvas.normalized.widthShortN",
    "canvas.normalized.heightShortN",
    "canvas.normalized.longSideShortN",
    "canvas.normalized.areaShortN2",
    "canvas.normalized.diagonalShortN",
    "canvas.normalized.confidence"
  ],
  "descriptors_only": [
    "canvas.normalized.contextRef",
    "canvas.normalized.mode",
    "canvas.normalized.sourceUnit",
    "canvas.normalized.lengthScaleValue",
    "canvas.normalized.areaScaleValue",
    "canvas.normalized.shortSidePx",
    "canvas.normalized.axisFractionSpaceRef",
    "canvas.normalized.status"
  ],
  "normalization_domain_schema": {
    "normalizationDomainRef": "stable domain/version ref",
    "canvasRef": "Compo6.00 canvas",
    "domainRef": "Compo6.00 CanvasDomainBoundary or another explicit compatible rectangular domain",
    "width": "finite >0",
    "height": "finite >0",
    "unit": "PX|CANVAS_UNIT|MM",
    "sourceOwner": "Compo6.00 for canvas geometry; Compo6.02 only for an explicitly separate physical-MM domain",
    "confidence": "0..1",
    "provenance": "object"
  },
  "canvas_normalization_context_schema": {
    "contextRef": "stable versioned ref",
    "canvasRef": "string",
    "normalizationDomainRef": "NormalizationDomainDescriptor ref",
    "mode": "SHORT_SIDE_ISOTROPIC",
    "sourceUnit": "PX|CANVAS_UNIT|MM",
    "width": "source width",
    "height": "source height",
    "shortSide": "min(width,height)",
    "longSide": "max(width,height)",
    "lengthScaleValue": "shortSide",
    "areaScaleValue": "shortSide^2",
    "shortSidePx": "shortSide only when sourceUnit=PX; otherwise null",
    "widthShortN": "width/shortSide",
    "heightShortN": "height/shortSide",
    "longSideShortN": "longSide/shortSide",
    "areaShortN2": "width*height/shortSide^2",
    "diagonalShortN": "hypot(width,height)/shortSide",
    "axisFractionSpaceRef": "parallel coordinate convenience ref, not Euclidean metric space",
    "confidence": "0..1",
    "status": "OK|N_A|INVALID",
    "provenance": "object"
  },
  "short_side_isotropic_space": {
    "point": "(xShortN,yShortN) = (x/shortSide, y/shortSide)",
    "vector": "vShortN = v/shortSide",
    "length": "LShortN = L/shortSide",
    "area": "AShortN2 = A/shortSide^2",
    "inverseLength": "for owner-declared length exponent -1: qN = q*shortSide",
    "generic": "for owner-declared length dimension exponent p: qN = q / shortSide^p",
    "inverse": "q = qN * shortSide^p",
    "properties": [
      "isotropic uniform scale",
      "preserves Euclidean angles",
      "preserves shape similarity",
      "preserves length ratios",
      "preserves orientation and reflection state",
      "normalized long-axis coordinates may exceed 1"
    ]
  },
  "axis_fraction_space": {
    "point": "u=x/width, v=y/height",
    "inverse": "x=u*width, y=v*height",
    "canonical_range": "[0,1]×[0,1] for points inside full canvas",
    "purpose": "relative placement / anchoring convenience",
    "not_metric_space": "on non-square canvas this transformation is anisotropic and does not preserve Euclidean distance, angle, curvature or clearance",
    "forbidden_uses": [
      "Euclidean length",
      "angle measurement",
      "clearance",
      "curvature",
      "shape similarity",
      "line thickness",
      "physical metric comparison"
    ]
  },
  "dimensional_normalization_schema": {
    "metricRef": "owner metric ref",
    "value": "finite raw value",
    "lengthDimensionExponent": "finite declared p; 1=length, 2=area, -1=curvature-like inverse length, 0=dimensionless",
    "normalizationContextRef": "CanvasNormalizationContext ref",
    "normalizedValue": "value / shortSide^p",
    "rule": "6.03 does not infer p from metric names; the source owner or adapter must declare dimensional semantics",
    "unit_firewall": "raw quantity unit must be compatible with context.sourceUnit"
  },
  "scale_behavior": {
    "common_scale_transform": "all source-space coordinates and canvas width/height multiplied by same k>0",
    "raw_length": "×k",
    "raw_area": "×k^2",
    "raw_inverse_length": "×k^-1",
    "dimensionless": "unchanged",
    "short_side_normalized_geometric_quantity": "unchanged when source quantity and canvas undergo the same common scale",
    "axis_fraction_point": "unchanged under same common scale",
    "aspect_ratio": "unchanged; ownership remains 6.00",
    "orientation_behavior": "unchanged under common scale; ownership remains 6.01"
  },
  "comparison_compatibility": {
    "same_context": "directly comparable when metric semantics match",
    "different_canvas_same_mode": "dimensionless ShortN values can support cross-format scale comparison when the downstream owner explicitly intends format-relative comparison",
    "different_mode": "SHORT_SIDE_ISOTROPIC and AXIS_FRACTION_UV are never interchangeable representations of metric geometry",
    "different_unit_domains": "do not mix PX/CANVAS_UNIT/MM raw values without an explicit owner-qualified unit mapping",
    "aspect_change": "common-scale invariance does not imply aspect-ratio invariance; changing W/H can change normalized coordinates and canvas-normalized extents"
  },
  "handoff_contracts": {
    "to_Compo4.01": "CanvasNormalizationContext.shortSidePx is the canonical source for visualMass.geometry *ShortN2 calculations when normalization sourceUnit=PX",
    "to_Compo5.02": "CanvasNormalizationContext.shortSidePx is the canonical source for maxClearanceShortN/localRadiusShortN when clearance is measured in PX",
    "to_Compo5.03": "dimensionless boundary fractions need no short-side normalization; raw boundary lengths may be normalized only by declared owner adapter",
    "to_Compo6.04": "contextRef/version changes become adaptation/recompute triggers",
    "to_future_geometry": "use SHORT_SIDE_ISOTROPIC for Euclidean geometric normalization; use UV only for explicit placement semantics"
  },
  "metric_policy": {
    "normalized_canvas_extents": "descriptors only",
    "dimensional_normalization": "unit-preserving dimensional transform contract, not scoring",
    "scale_invariance": "property under a declared common-scale transform, not evidence of quality",
    "direct_scoring": "FORBIDDEN in 6.03",
    "closer_to_one": "no universal preference for any normalized metric",
    "uv_center": "u=.5/v=.5 is not automatically compositionally preferred"
  },
  "hard_constraints": [
    "one metric = one owner",
    "6.03 consumes explicit canvas/domain extent and must not infer normalization scale from content bounds",
    "canonical Euclidean normalization mode is SHORT_SIDE_ISOTROPIC with one scalar scale applied to both axes",
    "shortSide must be positive finite; zero or missing extent yields N/A/INVALID rather than division by zero",
    "shortSidePx is published only when normalization sourceUnit is PX",
    "ShortN point coordinates on the long axis may exceed 1 and must not be clamped",
    "area normalization uses shortSide^2 and must not divide by shortSide only",
    "owner-declared lengthDimensionExponent is required for generic dimensional normalization; 6.03 must not infer units from metric names",
    "dimensionless values with exponent 0 remain unchanged",
    "AXIS_FRACTION_UV is a placement coordinate convenience and not an Euclidean metric space on non-square canvases",
    "UV coordinates must not be used for length, angle, clearance, curvature, stroke thickness or shape-similarity computations",
    "common-scale invariance requires canvas and compared geometry to be scaled by the same positive factor",
    "scale invariance does not imply invariance to aspect-ratio changes, crop changes, nonuniform scaling or coordinate-frame changes",
    "PX/CANVAS_UNIT/MM normalization domains must not be mixed without explicit unit mapping",
    "6.03 does not re-own 6.00 aspect ratio or 6.01 orientation behavior",
    "6.03 does not re-own 6.02 physical/viewing metrics",
    "stateful adaptation/reflow remains 6.04",
    "safe/bleed/margins remain Topic7",
    "grid occupancy remains Topic8",
    "free-space masks/regions remain Topic5",
    "visual mass raw/contextual ownership remains Topic4",
    "global balance/hierarchy/eye-flow remain future owners",
    "N/A != 0",
    "no beautyScore"
  ],
  "initial_heuristics": {
    "numeric_epsilon": {
      "value": 1e-12,
      "provenance": "IMPLEMENTATION_HEURISTIC"
    }
  },
  "correction_policy": {
    "foreign_geometry_mutation": "FORBIDDEN",
    "invalid_canvas_extent": "route to Compo6.00",
    "unit_mapping_missing": "request explicit owner-qualified unit mapping",
    "wrong_normalization_mode": "request downstream owner to choose SHORT_SIDE_ISOTROPIC vs AXIS_FRACTION_UV explicitly",
    "dimensional_exponent_missing": "request metric owner/adapter dimensional metadata",
    "physical_context_issue": "route to Compo6.02",
    "adaptation_or_reflow_issue": "route to Compo6.04"
  },
  "deferred_inputs": [
    "Compo6.04 adaptation hooks / context-version invalidation / regression",
    "Topic7 safe/bleed/margins",
    "Topic8 grids",
    "future modules consuming normalized geometry",
    "future global balance/hierarchy/eye-flow"
  ],
  "recompute_when": [
    "Compo6.00 width/height/unit/domain changes",
    "normalization domain changes",
    "normalization mode/version changes",
    "explicit unit mapping changes",
    "source metric dimensional metadata changes"
  ],
  "finality": "FORMAT_NORMALIZATION_AND_SCALE_INVARIANCE_CONTRACT_ONLY",
  "audit_note": "No semantic ownership rewrite required in Topic6 closing audit; canonical ShortN/UV split and dimensional normalization contract retained."
}