COMPO · 19.04 · CORRELATION-AWARE HIERARCHY

Combine signals.
Count evidence once.

19.04 завершает Topic 19: принимает нормализованные contributions из 19.01–19.03, связывает их только через явно объявленные dependencies из 19.00, оценивает correlation для конкретных dependency-пар и уменьшает повторный вес зависимых сигналов. На выходе получается observed composite hierarchy strength, dense rank и structural confidence. Это не aesthetic score и не final-layout ranking.

ModuleCompo 19.04
Input19.00–19.03
Correlationdependency scoped
Rankdense / observed
Metricsnone
Topic5/5 local

Observed hierarchy after contributions

00 / contract
19.00 explicit signal dependencies
+ 19.01 SIZE contribution
+ 19.02 TONE / COLOR contributions
+ 19.03 ISOLATION / POSITION / SEMANTIC_PRIORITY contributions
+ explicit dependency-scoped correlation evidence
+ explicit local aggregation policy
→ correlation-aware composite hierarchy strength
→ dense observed rank
→ structural hierarchy confidence

NO beautyScore
NO target-fit MetricResult
NO final-layout ranking

Aggregation owner, not upstream owner

01 / ownership
OWNS

19.04

CorrelationEstimate, anti-double-counting factors, composite observed hierarchy strength, dense rank, structural confidence and Topic19 final tests.

DOES NOT OWN

Foreign + upstream

Raw measurements, semantic truth, Topic18 roles, contribution normalization in 19.01–19.03, dominance, visual mass, global quality or final-layout choice.

Correlation is explicit and pair-scoped

02 / evidence
OWNER DECLARED

Coefficient

A named source/owner may provide a finite coefficient in [-1,1] for one exact declared 19.00 dependency.

PEARSON

Explicit paired samples

Pearson is computed only for an explicit aligned sample set attached to one exact dependency. No automatic pair discovery.

Correlation ≠ causality: coefficient sign or magnitude carries no desirability semantics. For redundancy control, the explicit v1 transform uses |ρ|.

Every aggregation choice is declared

03 / local policy
CorrelationAwareHierarchyPolicy {
  contributionWeightByKind: explicit nonnegative weights,
  requiredSignalKinds: explicit subset,
  missingRequiredKindPolicy:
    ALLOW_PARTIAL_REDUCE_CONFIDENCE | N_A,
  missingDependencyStrengthPolicy:
    ALLOW_UNRESOLVED_REDUCE_CONFIDENCE | N_A,
  antiDoubleCountingFormula:
    INVERSE_ONE_PLUS_SUM_ABS_CORRELATION,
  rankMode: DENSE_DESCENDING_EXACT,
  fullCartesianProductAllowed: false,
  autoPairDiscovery: false,
  autoMissingChannelImputation: false
}
No universal channel weights: SIZE, TONE, COLOR, ISOLATION, POSITION and SEMANTIC_PRIORITY do not receive hidden default importance from taxonomy order.

Dependency reduces repeated evidence

04 / anti-double-counting
redundancyLoadᵢ = Σ |ρᵢⱼ|

antiDoubleCountingFactorᵢ = 1 / (1 + redundancyLoadᵢ)

effectiveWeightᵢ = explicitBaseWeight(kindᵢ) × antiDoubleCountingFactorᵢ

compositeHierarchyStrength = Σ(wᵢ × contributionᵢ) / Σwᵢ

Only resolved, declared dependency pairs enter the sum. An undeclared pair receives no numeric penalty. Missing dependency strength is not silently replaced with zero; policy decides whether the subject becomes N_A or remains usable with lower confidence.

Rank describes observed hierarchy

05 / dense descending
1

Highest composite

Rank 1 is the highest observed composite hierarchy strength under the same explicit policy.

TIE

Exact equality

Exact-equal composite values share a dense rank. There is no implicit epsilon.

NOT GLOBAL

Local observation

Rank is neither Topic18 role nor dominance/focal ranking nor final-layout rank.

Confidence means coverage

06 / structural
signalCoverage = present required kinds / required kinds

dependencyCoverage = resolved dependency estimates / relevant declared dependencies

hierarchyConfidence = explicit weighted mean(signalCoverage, dependencyCoverage)
Interpretation: hierarchyConfidence measures structural evidence coverage for this local aggregation. It is not a calibrated probability that the rank is “correct”.

Missing is never zero

07 / status
Contribution = 0Valid weak-end numeric observation
Correlation = 0Valid numeric no-linear-correlation evidence for that estimate
Missing required kindN_A or reduced confidence, explicitly by policy
Missing dependency estimateN_A or reduced confidence, explicitly by policy
No declared dependenciesdependencyCoverage = 1; nothing declared remains unresolved
Invalid policy / lineageINVALID

Topic19 ownership chain is complete

08 / owners
19.00Signal subjects, bindings, observations and dependency topology.
19.01Normalized SIZE contribution.
19.02Normalized TONE / COLOR contributions.
19.03Normalized ISOLATION / POSITION / SEMANTIC_PRIORITY contributions.
19.04Dependency-scoped correlation, anti-double-counting, observed composite rank and structural confidence.
Topic18Declared generic hierarchy / subordination remains separate.
Compo13Dominance / focal ranking remains separate.

Composite hierarchy is not quality

09 / critical firewalls
compositeHierarchyStrength
!= beautyScore
!= quality score
!= dominance score
!= semantic truth

denseRank
!= Topic18 hierarchy role
!= focal rank
!= final-layout rank

hierarchyConfidence
!= aesthetic confidence
!= correctness probability

correlation
!= causality
!= desirability

CANON → LAB → DATA → IDEAS

10 / mandatory hooks
IDEAS_REFS[]Human ranking and redundancy studies stay research.
DATA_CAPTURE[]Factors, weights, rank, confidence and dependency coverage.
DEFERRED_SEMANTIC_INPUTS[]Global quality and final ranking remain downstream.
HUMAN_FEEDBACK_HOOKS[]Correlation, policy and rank corrections preserved.
CONFLICT_PRIORITY_ASSUMPTIONS[]No hidden signal-kind or source priority.
LAB_HOOKS[]Ablation, human rank and missing-data calibration studies.

19.04 regression suite

11 / deterministic tests

Tests cover explicit correlation evidence, Pearson edge cases, contribution adapters, anti-double-counting behavior, partial/strict missing-data policies, dense exact ties, deterministic ordering, zero MetricResults, zero independent votes and all major ownership firewalls.

Tests not run yet.

DATA FOR LAYOUT ENGINE

12 / machine contract
{
  "module": "Compo 19.04",
  "name": "correlation_aware_hierarchy_and_tests",
  "version": "1.0-canonical",
  "canonical_main_title": "Correlation-aware hierarchy and tests",
  "topic": "19_ВИЗУАЛЬНАЯ_ИЕРАРХИЯ_ПО_РАЗМЕРУ_ТОНУ_И_ЦВЕТУ",
  "scope": "EXPLICIT_DEPENDENCY_SCOPED_CORRELATION_ESTIMATION_ANTI_DOUBLE_COUNTING_COMPOSITE_OBSERVED_HIERARCHY_RANK_AND_STRUCTURAL_CONFIDENCE_WITHOUT_QUALITY_SCORING_OR_FINAL_LAYOUT_RANKING",
  "main_topic_contract": {
    "topic_title": "Визуальная иерархия по размеру, тону и цвету",
    "topic_goal": "Объединяет size, tone, color, isolation, position и semantic priority в многоканальную иерархию с защитой от double-counting коррелированных сигналов.",
    "expected_output": "HierarchySignal[], composite rank, confidence, dependencies",
    "planned_files": [
      "19.00 Hierarchy signal model",
      "19.01 Size contribution",
      "19.02 Tone/color contribution",
      "19.03 Isolation/position/semantic contribution",
      "19.04 Correlation-aware hierarchy and tests"
    ]
  },
  "ownership": {
    "owner": "Compo19.04",
    "owns": [
      "HierarchyCorrelationEstimateMethod taxonomy",
      "HierarchyCorrelationEstimate",
      "CorrelationAwareHierarchyPolicy",
      "HierarchyContributionAdapter",
      "CorrelationAwareDependencyDescriptor",
      "CorrelationAwareSubjectHierarchyDescriptor",
      "CorrelationAwareHierarchyRankEntry",
      "CorrelationAwareHierarchyResult",
      "CorrelationAwareHierarchyAttachment",
      "explicit dependency-scoped Pearson estimation from explicitly aligned paired samples",
      "owner-declared correlation coefficient adapter",
      "absolute-correlation anti-double-counting factors",
      "correlation-adjusted weighted composite observed hierarchy strength",
      "dense descending subject rank with exact ties",
      "structural hierarchy confidence from explicit signal/dependency coverage",
      "identity/status/provenance rules for Topic19 correlation-aware aggregation layer",
      "non-mutating correction request for correlation/policy/lineage declarations",
      "final Topic19 regression tests"
    ],
    "does_not_own": [
      "HierarchySignalSubject / HierarchySignalBinding / HierarchySignalObservation / dependency identity — Compo19.00",
      "raw SIZE measurement semantics — foreign measurement owner / Topic16 where applicable",
      "raw TONE/COLOR measurement semantics — foreign measurement owner",
      "raw ISOLATION/POSITION measurement semantics — foreign measurement owner",
      "semantic meaning / task importance truth — foreign semantic owner",
      "normalized SIZE contribution — Compo19.01",
      "normalized TONE/COLOR contribution — Compo19.02",
      "normalized ISOLATION/POSITION/SEMANTIC_PRIORITY contribution — Compo19.03",
      "generic hierarchy / subordination roles — Topic18",
      "visual mass — Compo4",
      "dominance / focal ranking — Compo13",
      "global composition quality",
      "global beautyScore",
      "final-layout ranking",
      "foreign geometry/style/color/semantic mutation"
    ]
  },
  "consumes": [
    "valid Compo19.00 HierarchySignalSystemSeed lineage",
    "valid Compo19.00 HierarchySignalDependency records",
    "valid Compo19.01 SizeContributionDescriptor records",
    "valid Compo19.02 ToneColorContributionDescriptor records",
    "valid Compo19.03 IsolationPositionSemanticContributionDescriptor records",
    "explicit correlation estimates or explicit aligned paired sample sets for declared dependencies",
    "explicit CorrelationAwareHierarchyPolicy"
  ],
  "provides": [
    "HierarchyCorrelationEstimate[]",
    "CorrelationAwareDependencyDescriptor[]",
    "CorrelationAwareSubjectHierarchyDescriptor[]",
    "CorrelationAwareHierarchyRankEntry[]",
    "CorrelationAwareHierarchyResult",
    "CorrelationAwareHierarchyAttachment"
  ],
  "owns_metrics": [],
  "independent_numeric_votes": 0,
  "metric_ownership_note": "19.04 produces observed composite hierarchy descriptors, rank and structural confidence. These are not MetricResults, not target-fit scores and not independent numeric votes.",
  "correlation_estimate_methods": {
    "OWNER_DECLARED_COEFFICIENT": "Finite coefficient in [-1,1] explicitly supplied by a named source/owner for one exact 19.00 dependency.",
    "PEARSON_FROM_EXPLICIT_PAIRED_SAMPLES": "Pearson coefficient computed only from an explicit aligned sample set for one exact declared dependency; no pair discovery and no automatic sampling."
  },
  "correlation_estimate_schema": {
    "hierarchyCorrelationEstimateRef": "stable identity",
    "hierarchySignalDependencyRef": "exact 19.00 dependency",
    "sourceSignalObservationRef": "exact dependency endpoint",
    "targetSignalObservationRef": "exact dependency endpoint",
    "method": "OWNER_DECLARED_COEFFICIENT|PEARSON_FROM_EXPLICIT_PAIRED_SAMPLES",
    "sampleSetRef": "explicit ref or null",
    "sampleCount": "integer >=2 for Pearson, null for owner-declared",
    "correlationCoefficient": "finite [-1,1]",
    "redundancyMagnitude": "abs(correlationCoefficient) in [0,1]",
    "estimateSourceRef": "explicit source",
    "estimateSourceOwnerRef": "owner",
    "provenance": "canonical provenance",
    "status": "OK|N_A|INVALID",
    "mutationAllowed": false,
    "firewall": "Correlation is dependency-scoped evidence, not causality, desirability, semantic priority or final-layout quality."
  },
  "policy_schema": {
    "contributionWeightByKind": "explicit nonnegative weights for SIZE/TONE/COLOR/ISOLATION/POSITION/SEMANTIC_PRIORITY; at least one positive",
    "requiredSignalKinds": "explicit unique subset of six kinds",
    "missingRequiredKindPolicy": "ALLOW_PARTIAL_REDUCE_CONFIDENCE|N_A",
    "missingDependencyStrengthPolicy": "ALLOW_UNRESOLVED_REDUCE_CONFIDENCE|N_A",
    "antiDoubleCountingFormula": "INVERSE_ONE_PLUS_SUM_ABS_CORRELATION",
    "correlationTransform": "ABSOLUTE_COEFFICIENT",
    "rankMode": "DENSE_DESCENDING_EXACT",
    "signalCoverageConfidenceWeight": "finite >=0",
    "dependencyCoverageConfidenceWeight": "finite >=0; together >0",
    "maxSubjects": "1..4096",
    "maxContributions": "1..16384",
    "maxDependencies": "0..32768",
    "fullCartesianProductAllowed": false,
    "autoPairDiscovery": false,
    "autoMissingChannelImputation": false,
    "mutationAllowed": false
  },
  "anti_double_counting_formula": {
    "redundancyLoad_i": "sum(abs(rho_ij)) over resolved declared dependencies touching included observation i",
    "antiDoubleCountingFactor_i": "1 / (1 + redundancyLoad_i)",
    "effectiveWeight_i": "explicitBaseWeight(signalKind_i) * antiDoubleCountingFactor_i",
    "compositeHierarchyStrength": "sum(effectiveWeight_i * contribution_i) / sum(effectiveWeight_i)",
    "note": "All pair strengths are explicit/dependency-scoped. No hidden universal channel weights or undeclared pair penalties."
  },
  "confidence_formula": {
    "signalCoverage": "present required kinds / required kinds",
    "dependencyCoverage": "resolved numeric dependency estimates / relevant declared dependencies; 1 when none are declared",
    "hierarchyConfidence": "explicit weighted mean of signalCoverage and dependencyCoverage",
    "firewall": "Confidence is structural evidence coverage, not probability of correctness and not aesthetic quality."
  },
  "rank_schema": {
    "correlationAwareHierarchyRankEntryRef": "stable identity",
    "hierarchySignalSubjectRef": "subject",
    "compositeHierarchyStrength": "finite [0,1] when status OK",
    "denseRank": "1..N for OK subjects; null for N_A/INVALID",
    "tie": "exact-equal composite strength only",
    "hierarchyConfidence": "finite [0,1]",
    "rankMode": "DENSE_DESCENDING_EXACT",
    "firewall": "Observed hierarchy rank is not Topic18 declared role, dominance rank, focal rank, beauty score or final-layout rank."
  },
  "status_policy": {
    "invalidPolicy": "INVALID",
    "noApplicableContributions": "N_A",
    "missingRequiredKindUnderStrictPolicy": "N_A",
    "missingDependencyEstimateUnderStrictPolicy": "N_A",
    "partialCoverageWhenAllowed": "OK with reduced hierarchyConfidence",
    "zeroContribution": "valid numeric 0",
    "zeroCorrelation": "valid numeric 0",
    "noDeclaredDependencies": "dependencyCoverage=1 because there is nothing declared to resolve",
    "N_A_not_zero": true,
    "INVALID_not_zero": true
  },
  "critical_firewalls": [
    "19.04 owns no MetricResult and no independent numeric vote",
    "compositeHierarchyStrength != quality score",
    "compositeHierarchyStrength != beautyScore",
    "denseRank != final-layout rank",
    "denseRank != Topic18 PRIMARY/SECONDARY/TERTIARY/DECORATIVE role",
    "hierarchyConfidence != probability of correctness",
    "hierarchyConfidence != aesthetic confidence",
    "correlation coefficient != causality",
    "correlation magnitude != penalty or desirability",
    "negative and positive correlation are both redundancy evidence under explicit ABS transform",
    "no undeclared pair receives a correlation penalty",
    "no automatic pair discovery",
    "no full Cartesian product",
    "missing channel != zero contribution",
    "missing dependency estimate != zero correlation",
    "zero contribution is valid numeric 0",
    "zero correlation is valid numeric 0",
    "N_A != 0",
    "INVALID != 0",
    "base weights are explicit local policy, not universal law",
    "required kinds are explicit local policy, not universal law",
    "size contribution remains Compo19.01-owned",
    "tone/color contribution remains Compo19.02-owned",
    "isolation/position/semantic contribution remains Compo19.03-owned",
    "root signal/dependency identity remains Compo19.00-owned",
    "Topic18 declared hierarchy remains separate from Topic19 observed visual hierarchy",
    "visual mass remains Compo4-owned",
    "dominance/focal ranking remains Compo13-owned",
    "correction request != foreign mutation",
    "one metric = one owner",
    "module execution order != rule priority",
    "IDEA != CANON",
    "EXPERIMENT != CANON"
  ],
  "correction_request_schema": {
    "correlationAwareHierarchyCorrectionRequestRef": "stable identity",
    "requestKind": "CORRELATION_ESTIMATE_CORRECTION|DEPENDENCY_CORRECTION|CONTRIBUTION_LINEAGE_CORRECTION|POLICY_CORRECTION",
    "targetRef": "exact target",
    "routeOwnerRef": "explicit rightful owner",
    "reasonCode": "explicit",
    "evidenceRefs": "actual lineage",
    "mutationAllowed": false,
    "firewall": "A request routes correction to the owner; 19.04 does not mutate upstream contributions, signal records, dependencies, geometry or semantics."
  },
  "IDEAS_REFS": [
    "IDEA-01 compare declared Topic18 hierarchy with observed Topic19 rank without ownership collapse",
    "IDEA-02 calibrate anti-double-counting against human hierarchy judgements",
    "IDEA-03 compare dependency kinds and empirical correlation estimates across media",
    "IDEA-04 study confidence calibration under missing channels and unresolved dependencies",
    "IDEA-05 collect correlation-aware hierarchy snapshots for future composition model"
  ],
  "DATA_CAPTURE": [
    "scopeRef",
    "snapshotRef",
    "hierarchySignalSystemSeedRef",
    "contributionDescriptorRefs[]",
    "dependencyRefs[]",
    "correlationEstimateRefs[]",
    "redundancyMagnitudeByDependency",
    "antiDoubleCountingFactorByContribution",
    "effectiveWeightByContribution",
    "compositeHierarchyStrengthBySubject",
    "denseRankBySubject",
    "signalCoverageBySubject",
    "dependencyCoverageBySubject",
    "hierarchyConfidenceBySubject",
    "unresolvedDependencyRefsBySubject",
    "status",
    "reasonCode"
  ],
  "DEFERRED_SEMANTIC_INPUTS": [
    "global composition quality",
    "final-layout ranking",
    "cross-topic beauty aggregation",
    "causal interpretation of correlation",
    "automatic learned channel weights"
  ],
  "HUMAN_FEEDBACK_HOOKS": [
    "correct correlation estimate",
    "correct dependency topology",
    "correct paired sample alignment",
    "correct base channel weight",
    "correct required signal kinds",
    "correct missing-data policy",
    "mark observed hierarchy rank implausible",
    "explain expected cross-channel redundancy"
  ],
  "CONFLICT_PRIORITY_ASSUMPTIONS": [
    "signal kind serialization order has no priority",
    "contribution source order has no priority",
    "dependency list order has no priority",
    "correlation estimate source order has no priority",
    "rank tie uses exact composite equality only",
    "module execution order does not imply hierarchy priority"
  ],
  "LAB_HOOKS": [
    "human perceived hierarchy vs composite rank study",
    "anti-double-counting ablation study",
    "Pearson vs owner-declared correlation study",
    "missing-channel confidence calibration study",
    "dependency coverage study",
    "declared Topic18 vs observed Topic19 divergence study"
  ],
  "topic19ProgressAfterThisModule": "5/5 local",
  "topicCompleteAfterThisModule": true,
  "next_module": null,
  "hard_stop": "STOP after Topic19. Do not start Topic20 in this file."
}
VISITS / ...