Observed hierarchy after contributions
+ 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
19.04
CorrelationEstimate, anti-double-counting factors, composite observed hierarchy strength, dense rank, structural confidence and Topic19 final tests.
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
Coefficient
A named source/owner may provide a finite coefficient in [-1,1] for one exact declared 19.00 dependency.
Explicit paired samples
Pearson is computed only for an explicit aligned sample set attached to one exact dependency. No automatic pair discovery.
|ρ|.Every aggregation choice is declared
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
}Dependency reduces repeated evidence
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
Highest composite
Rank 1 is the highest observed composite hierarchy strength under the same explicit policy.
Exact equality
Exact-equal composite values share a dense rank. There is no implicit epsilon.
Local observation
Rank is neither Topic18 role nor dominance/focal ranking nor final-layout rank.
Confidence means coverage
dependencyCoverage = resolved dependency estimates / relevant declared dependencies
hierarchyConfidence = explicit weighted mean(signalCoverage, dependencyCoverage)
Missing is never zero
| Contribution = 0 | Valid weak-end numeric observation |
| Correlation = 0 | Valid numeric no-linear-correlation evidence for that estimate |
| Missing required kind | N_A or reduced confidence, explicitly by policy |
| Missing dependency estimate | N_A or reduced confidence, explicitly by policy |
| No declared dependencies | dependencyCoverage = 1; nothing declared remains unresolved |
| Invalid policy / lineage | INVALID |
Topic19 ownership chain is complete
| 19.00 | Signal subjects, bindings, observations and dependency topology. |
| 19.01 | Normalized SIZE contribution. |
| 19.02 | Normalized TONE / COLOR contributions. |
| 19.03 | Normalized ISOLATION / POSITION / SEMANTIC_PRIORITY contributions. |
| 19.04 | Dependency-scoped correlation, anti-double-counting, observed composite rank and structural confidence. |
| Topic18 | Declared generic hierarchy / subordination remains separate. |
| Compo13 | Dominance / focal ranking remains separate. |
Composite hierarchy is not quality
!= 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
19.04 regression suite
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.
DATA FOR LAYOUT ENGINE
{
"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."
}