Тест-кейсы
линейной
системы.

CONSUMES / PROVIDES

Compo 2.00–2.18 owner contracts
Compo 2.19 LineStructureCandidate[]
Compo 2.19 CandidateLineage / GenerationTrace
Compo 2.20 LineSystemScoreResult
Compo 2.22 MaskCropSeamResult
Compo 2.23 LineContextProjection
MetricResult[] / PenaltyResult[]
StylePreset / semantic target
seed / engineVersion / ownerVersion map

LineRegressionCase[]
LineRegressionFixture[]
LineRegressionSuite
RegressionBaselineManifest
SuiteRunReport
FailureRecord[]
CompatibilityMatrix
deterministic smoke runner

Если baseline изменился из-за осознанной migration/corrective pass, expected обновляется только вместе с reason, ownerVersion и новой baseline version.

A=(0,0)
B=(3,4)
expected:
 lengthPx = 5
 finite = true

A→D = 100 px
A→B→C→D collinear
expected:
 same pathLength
 same orientation
 no segment-count bias

A=(10,10)
B=(10,10)
expected:
 status=degenerate
 angle=N/A
 no NaN metric vote

Transformation invariants

line.rhythm.localRhythmScore → Compo2.17
line.color.localColorScore   → Compo2.16
line.curvature.localTensionScore → Compo2.18
line.grid.localGridFit       → Compo2.13
line.boundary.localBoundaryScore → Compo2.14
lineSystem.local_score       → Compo2.20

N/A          != 0
descriptor   != score
dependsOn    != derivedFrom
local cue    != global eye-flow
area ratio   != global balance
raw contrast != universal positive vote
repair hint  != foreign mutation

Double-counting barrier

1. run owner unit tests
2. run 2.21 full suite
3. compare structural signatures
4. compare hard-reject set
5. compare owner/status changes
6. compare metric deltas
7. inspect rank inversions
8. inspect suppression/penalty log
9. inspect lineage determinism
10. accept migration only with reason

rewrite expected because test is red
convert N/A to 0 for convenience
widen EPS to hide instability
duplicate owner formula in test suite
assert universal beauty preference
allow foreign mutation
drop seed/lineage from baseline
silently change owner key
let global metrics leak into local suite

Baseline manifest

{
  "module": "Compo 2.21",
  "name": "line_system_reference_regression_suite",
  "version": "1.1-consolidated",
  "scope": "REFERENCE_AND_REGRESSION_TESTS_FOR_COMPO_2_00_TO_2_23",
  "consumes": [
    "Compo2.00-Compo2.18 public owner contracts",
    "Compo2.19.LineStructureCandidate[]",
    "Compo2.19.CandidateLineage[]",
    "Compo2.19.GenerationTrace",
    "Compo2.20.LineSystemScoreResult",
    "Compo2.22.MaskCropSeamResult",
    "Compo2.23.LineContextProjection",
    "MetricResult[]",
    "PenaltyResult[]",
    "semanticTarget",
    "StylePreset",
    "seed",
    "ownerVersionMap"
  ],
  "provides": [
    "LineRegressionCase[]",
    "LineRegressionFixture[]",
    "LineRegressionSuite",
    "RegressionBaselineManifest",
    "SuiteRunReport",
    "FailureRecord[]",
    "CompatibilityMatrix"
  ],
  "owns_metrics": [],
  "descriptors_only": [
    "suite pass/fail report",
    "fixture hashes",
    "baseline signatures",
    "failure diagnostics",
    "coverage matrix"
  ],
  "hard_constraints": [
    "test suite must not become owner of line metrics",
    "N/A must never be coerced to zero",
    "accepted candidate hardViolation count must be zero",
    "global metrics must not affect local line regression results",
    "foreign mutation is forbidden",
    "same input+seed+versions must reproduce structural output",
    "owner key changes require documented migration"
  ],
  "soft_constraints": [
    "heuristic metrics use range or relational assertions",
    "score drift requires explicit tolerance provenance",
    "pixel-perfect generated layout assertions are forbidden"
  ],
  "preferences": [
    "derived math uses tight deterministic epsilon",
    "composite-first scoring assertions",
    "structural signatures over screenshot equality",
    "documented migration over silent expected update"
  ],
  "overrides_allowed_by": [
    "documented owner corrective pass",
    "versioned architecture migration",
    "explicit new StylePreset baseline"
  ],
  "initial_heuristics": {
    "normalizedGeometryEpsilon": {"value": 0.000001, "provenance": "INITIAL_HEURISTIC"},
    "ownerMetricDrift": {"value": 0.02, "provenance": "INITIAL_HEURISTIC"},
    "lineSystemScoreDrift": {"value": 0.03, "provenance": "INITIAL_HEURISTIC"}
  },
  "test_case_schema": {
    "id": "string",
    "owner": "Compo x.yy | CROSS_MODULE",
    "sourceClass": "DERIVED|CONSTRAINT|HEURISTIC_RANGE|RELATIONAL|DETERMINISM|REGRESSION",
    "tags": "string[]",
    "input": "object",
    "expected": "object",
    "tolerance": "number|object|null",
    "seed": "integer|string|null",
    "assertions": "array",
    "baselineVersion": "string|null"
  },
  "suite_policy": {
    "runOnEveryLineModuleChange": true,
    "covers2_22": true,
    "covers2_23": true,
    "runBeforeClosingTopic2": true,
    "updateExpectedRequiresReason": true,
    "pixelPerfectLayoutAssertion": false,
    "productionAdaptersRequiredForRelease": true,
    "inlineRunnerIsReferenceOracleOnly": true
  },
  "coverage_required": [
    "happy_path",
    "N_A",
    "scale_invariance",
    "sampling_or_segmentation_invariance",
    "direction_reversal",
    "angle_or_phase_wrap",
    "missing_data",
    "fallback_confidence",
    "ownership",
    "no_global_leakage",
    "no_double_counting",
    "degeneracy",
    "deterministic_seed",
    "bounded_generation",
    "lineage_immutability",
    "deterministic_ranking",
    "mask_topology",
    "crop_explicit_selection",
    "host_adapter_contract",
    "context_projection_immutability",
    "context_conflict_defer",
    "external_selection_preserves_local_facts"
  ],
  "live_reference_tests": [
    "G01","G02","G03","G04","G05","G06","G07","G08",
    "A01","A02","A03","A04","A05","A06","A07","A08","A09","A10",
    "O01","O02","O03","O04","O05","O06","O07","O08","O09","O10","O11","O12","O13","O14","O15",
    "GEN01","GEN02","GEN03","GEN04","GEN05","GEN06",
    "S01","S02","S03","S04","S05","S06","S07","S08","S09","S10",
    "R01","R02",
    "M01","M02","M03","M04","M05","M06",
    "C01","C02","C03","C04","C05","C06"
  ],
  "deferred_inputs": [
    "global.balance",
    "global.hierarchy",
    "global.negativeSpace",
    "global.eyeFlow",
    "typography.*",
    "imageCrop.*",
    "posterGlobalScore"
  ],
  "recompute_when": [
    "any Compo2.00-Compo2.23 public contract changes",
    "owner version changes",
    "2.19 generator seed/lineage policy changes",
    "2.20 scoring/suppression/ranking policy changes",
    "2.22 mask/crop/seam contract changes",
    "2.23 context projection/selection contract changes",
    "baseline migration is accepted"
  ],
  "finality": "LINE_SUBSYSTEM_REFERENCE_TEST_SUITE_ONLY",
  "invariants": [
    "ONE_METRIC_ONE_OWNER",
    "N_A_NOT_ZERO",
    "LOCAL_NOT_GLOBAL",
    "GEOMETRY_NOT_INTERPRETATION",
    "DESCRIPTOR_NOT_SCORE",
    "COMPOSITE_FIRST",
    "NO_BEAUTYSCORE",
    "NO_FOREIGN_MUTATION",
    "SAME_INPUT_SEED_VERSIONS_SAME_STRUCTURE"
  ]
}