Project first.
Judge later.

{
  "module": "Compo 25.03",
  "name": "object_projection_coverage_and_gaps",
  "version": "1.0-canonical",
  "canonical_main_title": "Object projection, coverage and gaps",
  "topic": "25_S_КРИВАЯ_L_СТРУКТУРА_И_ДРУГИЕ_МАРШРУТЫ",
  "scope": "EXPLICIT_OWNER_QUALIFIED_OBJECT_TO_FLOW_PATH_PROJECTION_EVIDENCE_NORMALIZED_PATH_COORDINATES_COVERAGE_INTERVAL_UNION_GAP_DESCRIPTORS_AND_GEOMETRIC_PATH_COORDINATE_ORDER_ONLY_WITHOUT_TEMPLATE_SELECTION_TARGET_FIT_SCORING_METRICRESULT_OR_ATTENTION_INFERENCE",
  "main_topic_contract": {
    "topic_title": "S-кривая, L-структура и другие маршруты",
    "topic_goal": "Хранит типовые маршруты S/C/L/Z и другие flow templates, чтобы сравнивать arrangement объектов с конкретной траекторией, а не оценивать движение абстрактно.",
    "expected_output": "FlowTemplate, route-fit descriptors, ordered objects",
    "planned_files": [
      "25.00 Flow-template schema",
      "25.01 S/C/serpentine paths",
      "25.02 L/Z/vertical/diagonal paths",
      "25.03 Object projection, coverage and gaps",
      "25.04 Template selection, scoring and tests"
    ]
  },
  "ownership": {
    "owner": "Compo25.03",
    "owns": [
      "FlowProjectionMode taxonomy",
      "FlowGapKind taxonomy",
      "FlowObjectProjectionEvidence",
      "FlowObjectProjectionResolution",
      "ObjectFlowProjectionDescriptor",
      "FlowPathCoordinateOrderDescriptor",
      "FlowCoverageIntervalDescriptor",
      "FlowGapDescriptor",
      "FlowCoverageDescriptor",
      "FlowProjectionCoveragePolicy",
      "FlowProjectionCoverageSet",
      "FlowProjectionCoverageAttachment",
      "exact owner-qualified object-to-path projection evidence resolution",
      "normalized path-coordinate ordering with exact-tie groups",
      "coverage interval union and complement gap computation",
      "identity/status/provenance rules for Topic25 projection/coverage layer",
      "non-mutating correction request for projection/coverage evidence"
    ],
    "does_not_own": [
      "FlowTemplate identity/path binding/traversal declaration — Compo25.00",
      "S/C/serpentine geometry realization — Compo25.01",
      "L/Z/vertical/diagonal geometry realization — Compo25.02",
      "raw image-to-object detection or raw path extraction — upstream owners",
      "automatic nearest-point computation from foreign geometry not supplied as evidence",
      "template selection / target profile / route-fit quality — Compo25.04",
      "MetricResult / independent numeric vote — Compo25.04",
      "attention order / eye tracking / reading order — Topic27 or semantic owner",
      "rhythm interval semantics — Topic26",
      "beauty / final-layout quality"
    ]
  },
  "semantics": {
    "normalized_path_position": "0..1 coordinate on the exact realized path representation; it is geometry lineage, not quality.",
    "coverage_interval": "closed normalized interval [start,end] contributed by one projected object footprint; degenerate zero-length interval is valid.",
    "coverage_union": "set union of valid object coverage intervals; overlaps are not double-counted.",
    "gap": "complement of the coverage union inside [0,1]; exact zero gap is valid and distinct from N_A.",
    "path_coordinate_order": "geometric ordering by normalized path position; ties remain groups and are not silently broken.",
    "directed_traversal": "may expose traversal-coordinate order, but still does not prove observed attention order.",
    "undirected_traversal": "path-coordinate order is representation-relative and never promoted to directional attention order."
  },
  "status_semantics": {
    "OK": "required exact lineage is present and internally consistent",
    "N_A": "projection evidence is missing/conflicting or root lineage does not bind; no zero substitution",
    "INVALID": "malformed evidence/policy/value/domain violation",
    "zero": "a valid numeric observation, including zero perpendicular distance, zero interval length, zero uncovered fraction or zero gap length"
  },
  "policy": {
    "selectionMode": "EXPLICIT_OBJECT_REFS_ONLY",
    "projectionEvidenceMode": "EXACT_OBJECT_TEMPLATE_PATH_DESCRIPTOR_FRAME_LINEAGE_ONLY",
    "conflictMode": "N_A_NO_WINNER",
    "maxObjects": "1..4096",
    "maxEvidencePerObject": "1..64",
    "overflow": "N_A_NO_TRUNCATION",
    "autoObjectDiscovery": false,
    "autoPathInference": false,
    "autoNearestPointComputation": false,
    "autoTemplateSelection": false,
    "autoAttentionOrdering": false,
    "autoScoring": false
  },
  "firewalls": [
    "projection distance != penalty",
    "coverage fraction != quality score",
    "full coverage != automatically better",
    "large gap != automatically bad",
    "geometric path-coordinate order != attention order",
    "DIRECTED traversal != observed eye movement",
    "UNDIRECTED path != bidirectional attention",
    "overlap != redundancy",
    "zero gap != N_A",
    "N_A != 0",
    "descriptor != score",
    "local != global",
    "geometry != interpretation"
  ],
  "outputs": [
    "ObjectFlowProjectionDescriptor[]",
    "FlowPathCoordinateOrderDescriptor",
    "FlowCoverageDescriptor",
    "FlowGapDescriptor[]",
    "FlowProjectionCoverageAttachment"
  ],
  "metric_discipline": {
    "owns_metrics": [],
    "independent_numeric_votes": 0,
    "MetricResult": "FORBIDDEN_IN_25.03",
    "scoringGroup": null,
    "beautyScore": false
  },
  "topic25ProgressAfterThisModule": "4/5 local",
  "next_module": "Compo 25.04 — Template selection, scoring and tests",
  "hard_stop": "NO_25.04_IMPLEMENTATION_IN_THIS_FILE",
  "publication": "NOT_VERIFIED"
}