{
  "schema_version": "1.1.0",
  "contract_id": "maestro.facebook-ads-audit.v1",
  "record_scope": {
    "accounts": 1,
    "campaign_cohorts": 1,
    "routes": [
      "WEBSITE",
      "INSTANT_FORM"
    ],
    "route_cardinality": 1
  },
  "evidence_states": [
    "BLANK",
    "UNKNOWN",
    "OBSERVED",
    "DECLARED",
    "NOT_APPLICABLE"
  ],
  "check_results": [
    "PASS",
    "FAIL",
    "UNKNOWN",
    "NOT_APPLICABLE"
  ],
  "raw_observation_rule": "Readers supply typed observations and evidence references. The evaluator derives check results. It must reject a record that supplies a result in place of observations.",
  "evidence_entry_schema": {
    "required": [
      "evidence_id",
      "state",
      "value",
      "owner",
      "observed_at",
      "source_ref",
      "boundary",
      "account_ref",
      "cohort_ref"
    ],
    "state_rules": {
      "OBSERVED": "value is non-null; owner, ISO timestamp, source reference, boundary, account and cohort are non-placeholder strings",
      "DECLARED": "value is non-null; owner, ISO timestamp, source reference and boundary are non-placeholder strings",
      "UNKNOWN": "value is null; reason, owner request and next check are non-placeholder strings",
      "BLANK": "value, owner, observed_at and source_ref are null",
      "NOT_APPLICABLE": "value is null and the exact route/applicability rule is recorded"
    }
  },
  "conditional_dependencies": {
    "WEBSITE_EVENT_INTEGRITY": "E-EVENT-DEDUP is required only when event_architecture is DUAL_SOURCE_SAME_LOGICAL_ACTION. BROWSER_ONLY, SERVER_ONLY and DUAL_SOURCE_DISTINCT_ACTIONS must record the architecture and make the dedup subcheck NOT_APPLICABLE without exempting event receipt/name checks."
  },
  "outputs": {
    "audit_coverage": [
      "COMPLETE",
      "PARTIAL"
    ],
    "diagnosis": [
      "CONFIRMED_FAILURE",
      "HYPOTHESIS_ONLY",
      "INSUFFICIENT_EVIDENCE",
      "NO_SUPPORTED_FAILURE"
    ],
    "next_action": [
      "REPAIR_CONFIRMED_FAILURE",
      "COLLECT_EVIDENCE",
      "TEST_HYPOTHESIS",
      "CONTINUE_BOUNDED_OBSERVATION"
    ],
    "required": [
      "first_supported_failure",
      "first_unresolved_dependency",
      "hypotheses",
      "secondary_backlog",
      "verification_scopes"
    ]
  },
  "evidence_register": [
    {
      "evidence_id": "E-ACCOUNT-STATUS",
      "owner": "Meta account",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Dated restriction and delivery-status receipt"
    },
    {
      "evidence_id": "E-CAMPAIGN-CONFIG",
      "owner": "Meta Ads Manager",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Objective, optimization event and delivery configuration"
    },
    {
      "evidence_id": "E-INTENDED-OUTCOME",
      "owner": "Business owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Declared business outcome for this cohort"
    },
    {
      "evidence_id": "E-AUDIENCE-CONFIG",
      "owner": "Meta Ads Manager",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Audience source, eligibility and exclusion configuration"
    },
    {
      "evidence_id": "E-AUDIENCE-POLICY",
      "owner": "Business or privacy owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Allowed-use decision and required suppression policy"
    },
    {
      "evidence_id": "E-PLACEMENT-CONFIG",
      "owner": "Meta Ads Manager",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Delivered placement configuration for the scoped cohort"
    },
    {
      "evidence_id": "E-ASSET-PLACEMENT-RULE",
      "owner": "Creative owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Supplied placement and asset-compatibility rule"
    },
    {
      "evidence_id": "E-BUDGET-SCHEDULE",
      "owner": "Meta Ads Manager",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Active budget, schedule and delivery settings"
    },
    {
      "evidence_id": "E-DELIVERY-POLICY",
      "owner": "Campaign owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Supplied bounded budget and schedule policy"
    },
    {
      "evidence_id": "E-MESSAGE-PROMISE",
      "owner": "Ad creative",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Visible message, offer and requested action"
    },
    {
      "evidence_id": "E-DESTINATION-PROMISE",
      "owner": "Website or Instant Form",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Visible destination/form promise and action"
    },
    {
      "evidence_id": "E-DESTINATION-RETEST",
      "owner": "Website",
      "routes": [
        "WEBSITE"
      ],
      "description": "Dated load and form-completion functional retest"
    },
    {
      "evidence_id": "E-TEST-EVENTS",
      "owner": "Meta Events Manager",
      "routes": [
        "WEBSITE"
      ],
      "description": "Dated browser/server test-event trace"
    },
    {
      "evidence_id": "E-EVENT-DEDUP",
      "owner": "Implementation owner",
      "routes": [
        "WEBSITE"
      ],
      "description": "event_name and event_id pairing evidence"
    },
    {
      "evidence_id": "E-INSTANT-FORM-TEST",
      "owner": "Meta Instant Forms",
      "routes": [
        "INSTANT_FORM"
      ],
      "description": "Dated native form submission and lead creation receipt"
    },
    {
      "evidence_id": "E-CAPTURE-RECEIPTS",
      "owner": "Form owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Captured lead IDs/counts for the scoped cohort"
    },
    {
      "evidence_id": "E-CRM-RECEIPTS",
      "owner": "CRM",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "CRM receipt IDs/counts for the same mature cohort"
    },
    {
      "evidence_id": "E-JOIN-DEFINITION",
      "owner": "Data owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Join key and compatible scope boundary"
    },
    {
      "evidence_id": "E-CRM-DEFINITION",
      "owner": "CRM owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Acceptance rule and owner"
    },
    {
      "evidence_id": "E-CREATIVE-COMPARABLES",
      "owner": "Meta Ads Manager",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Comparable creative history and declared fatigue rule"
    },
    {
      "evidence_id": "E-QUALITY-DEFINITION",
      "owner": "Sales/CRM owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Supplied qualified-lead definition"
    },
    {
      "evidence_id": "E-MATURE-QUALITY-COHORT",
      "owner": "CRM",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Joined cohort beyond declared outcome cutoff"
    },
    {
      "evidence_id": "E-FOLLOW-UP-POLICY",
      "owner": "Sales owner",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Declared response SLA and completion rule"
    },
    {
      "evidence_id": "E-FOLLOW-UP-RECEIPTS",
      "owner": "CRM or engagement system",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "description": "Dated first-response and completion receipts"
    }
  ],
  "checks": [
    {
      "check_id": "ACCESS_RESTRICTION",
      "order": 10,
      "layer": "account",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-ACCOUNT-STATUS"
      ],
      "failure_predicate": "A dated account-native receipt shows a restriction that blocks delivery or management for the scoped account.",
      "symptoms_only": [],
      "observation_contract": {
        "fields": {
          "restriction_blocks_delivery": "boolean"
        },
        "fail_when": "restriction_blocks_delivery == true"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "OBJECTIVE_OPTIMIZATION_CONFLICT",
      "order": 20,
      "layer": "delivery",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-CAMPAIGN-CONFIG",
        "E-INTENDED-OUTCOME"
      ],
      "failure_predicate": "The current objective or optimization event directly conflicts with the declared intended outcome for this cohort.",
      "symptoms_only": [
        "LEARNING_LIMITED"
      ],
      "observation_contract": {
        "fields": {
          "objective_conflicts_with_outcome": "boolean"
        },
        "fail_when": "objective_conflicts_with_outcome == true"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "AUDIENCE_ELIGIBILITY_EXCLUSIONS",
      "order": 25,
      "layer": "audience",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-AUDIENCE-CONFIG",
        "E-AUDIENCE-POLICY"
      ],
      "failure_predicate": "The current audience includes a group explicitly excluded by the supplied eligibility or suppression policy, or uses a source without the supplied allowed-use decision.",
      "symptoms_only": [
        "LOW_CTR",
        "LOW_QUALIFIED_RATE"
      ],
      "observation_contract": {
        "fields": {
          "allowed_use_supplied": "boolean",
          "excluded_population_present": "boolean",
          "audience_source_matches_policy": "boolean"
        },
        "fail_when": "allowed_use_supplied == true AND (excluded_population_present == true OR audience_source_matches_policy == false)"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "PLACEMENT_CONFIGURATION",
      "order": 27,
      "layer": "delivery",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-PLACEMENT-CONFIG",
        "E-ASSET-PLACEMENT-RULE"
      ],
      "failure_predicate": "The delivered placement set directly conflicts with the supplied placement or asset-compatibility rule for this cohort.",
      "symptoms_only": [
        "LOW_CTR",
        "HIGH_CPA"
      ],
      "observation_contract": {
        "fields": {
          "placement_rule_supplied": "boolean",
          "delivered_placements_match_rule": "boolean",
          "assets_compatible_with_delivered_placements": "boolean"
        },
        "fail_when": "placement_rule_supplied == true AND (delivered_placements_match_rule == false OR assets_compatible_with_delivered_placements == false)"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "BUDGET_SCHEDULE_CONFIGURATION",
      "order": 28,
      "layer": "delivery",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-BUDGET-SCHEDULE",
        "E-DELIVERY-POLICY"
      ],
      "failure_predicate": "The active budget or schedule directly conflicts with the supplied bounded delivery policy for this cohort.",
      "symptoms_only": [
        "LEARNING_LIMITED",
        "UNDERDELIVERY"
      ],
      "observation_contract": {
        "fields": {
          "delivery_policy_supplied": "boolean",
          "budget_matches_policy": "boolean",
          "schedule_matches_policy": "boolean"
        },
        "fail_when": "delivery_policy_supplied == true AND (budget_matches_policy == false OR schedule_matches_policy == false)"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "MESSAGE_DESTINATION_CONTINUITY",
      "order": 29,
      "layer": "creative",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-MESSAGE-PROMISE",
        "E-DESTINATION-PROMISE"
      ],
      "failure_predicate": "The visible ad promise or action directly conflicts with the supplied destination or native-form promise for the same route.",
      "symptoms_only": [
        "LOW_CTR",
        "HIGH_BOUNCE_RATE"
      ],
      "observation_contract": {
        "fields": {
          "message_promise_supplied": "boolean",
          "destination_promise_supplied": "boolean",
          "promise_and_action_match": "boolean"
        },
        "fail_when": "message_promise_supplied == true AND destination_promise_supplied == true AND promise_and_action_match == false"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "WEBSITE_DESTINATION_FUNCTION",
      "order": 30,
      "layer": "destination",
      "routes": [
        "WEBSITE"
      ],
      "dependencies": [
        "E-DESTINATION-RETEST"
      ],
      "failure_predicate": "The scoped destination cannot load or the declared form action cannot complete in a dated functional retest.",
      "symptoms_only": [
        "HIGH_BOUNCE_RATE"
      ],
      "observation_contract": {
        "fields": {
          "destination_loads": "boolean",
          "declared_action_completes": "boolean"
        },
        "fail_when": "destination_loads == false OR declared_action_completes == false"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "WEBSITE_EVENT_INTEGRITY",
      "order": 40,
      "layer": "measurement",
      "routes": [
        "WEBSITE"
      ],
      "dependencies": [
        "E-TEST-EVENTS",
        "E-EVENT-DEDUP"
      ],
      "failure_predicate": "A dated Test Events or equivalent receipt shows the same logical event counted more than once, missing, or named differently across the scoped browser/server path.",
      "symptoms_only": [
        "LOW_CTR",
        "HIGH_CPA"
      ],
      "observation_contract": {
        "fields": {
          "event_architecture": "BROWSER_ONLY | SERVER_ONLY | DUAL_SOURCE_SAME_LOGICAL_ACTION | DUAL_SOURCE_DISTINCT_ACTIONS",
          "logical_action_event_count": "integer >= 0",
          "event_names_match": "boolean",
          "shared_event_id_when_dual_source": "boolean or null"
        },
        "fail_when": "logical_action_event_count != 1 OR event_names_match == false OR (event_architecture == DUAL_SOURCE_SAME_LOGICAL_ACTION AND shared_event_id_when_dual_source == false)"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "INSTANT_FORM_CAPTURE",
      "order": 50,
      "layer": "capture",
      "routes": [
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-INSTANT-FORM-TEST"
      ],
      "failure_predicate": "A dated native test cannot submit or cannot create the expected platform lead record.",
      "symptoms_only": [
        "LOW_FORM_COMPLETION"
      ],
      "observation_contract": {
        "fields": {
          "native_submission_succeeds": "boolean",
          "platform_lead_created": "boolean"
        },
        "fail_when": "native_submission_succeeds == false OR platform_lead_created == false"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "LEAD_TRANSPORT",
      "order": 60,
      "layer": "transport",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-CAPTURE-RECEIPTS",
        "E-CRM-RECEIPTS",
        "E-JOIN-DEFINITION"
      ],
      "failure_predicate": "A mature, scope-compatible joined cohort proves captured lead records are absent from CRM receipt beyond the declared transport policy.",
      "symptoms_only": [
        "PLATFORM_CRM_COUNT_DIFFERENCE"
      ],
      "observation_contract": {
        "fields": {
          "captured_count": "integer >= 0",
          "crm_received_count": "integer >= 0",
          "allowed_missing_count": "integer >= 0"
        },
        "fail_when": "scoped evidence is mature and captured_count - crm_received_count > allowed_missing_count"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "CRM_ACCEPTANCE",
      "order": 70,
      "layer": "crm",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-CRM-DEFINITION",
        "E-CRM-RECEIPTS",
        "E-JOIN-DEFINITION"
      ],
      "failure_predicate": "A mature joined cohort proves received records breach the declared CRM acceptance rule.",
      "symptoms_only": [
        "LOW_QUALIFIED_RATE"
      ],
      "observation_contract": {
        "fields": {
          "accepted_count": "integer >= 0",
          "received_count": "integer >= 0",
          "minimum_acceptance_rate": "number 0..1"
        },
        "fail_when": "mature scoped received_count > 0 AND accepted_count / received_count < minimum_acceptance_rate"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "CREATIVE_FATIGUE",
      "order": 80,
      "layer": "creative",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-CREATIVE-COMPARABLES"
      ],
      "failure_predicate": "Comparable dated creative history and a declared rule show the scoped asset breached its fatigue condition.",
      "symptoms_only": [
        "HIGH_FREQUENCY",
        "LOW_CTR"
      ],
      "observation_contract": {
        "fields": {
          "current_frequency": "number >= 0",
          "comparison_frequency": "number > 0",
          "current_ctr": "number >= 0",
          "comparison_ctr": "number > 0",
          "max_frequency_increase": "number >= 0",
          "max_ctr_decline": "number >= 0"
        },
        "fail_when": "frequency increase exceeds max_frequency_increase AND CTR decline exceeds max_ctr_decline"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "LEAD_QUALITY",
      "order": 90,
      "layer": "outcomes",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-QUALITY-DEFINITION",
        "E-MATURE-QUALITY-COHORT"
      ],
      "failure_predicate": "A mature, joined cohort with a supplied quality definition breaches the declared lead-quality rule.",
      "symptoms_only": [
        "CHEAP_LEADS",
        "ANECDOTAL_SALES_FEEDBACK"
      ],
      "observation_contract": {
        "fields": {
          "qualified_count": "integer >= 0",
          "assessed_count": "integer >= 0",
          "minimum_quality_rate": "number 0..1"
        },
        "fail_when": "mature scoped assessed_count > 0 AND qualified_count / assessed_count < minimum_quality_rate"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    },
    {
      "check_id": "FOLLOW_UP_POLICY",
      "order": 100,
      "layer": "follow_up",
      "routes": [
        "WEBSITE",
        "INSTANT_FORM"
      ],
      "dependencies": [
        "E-FOLLOW-UP-POLICY",
        "E-FOLLOW-UP-RECEIPTS"
      ],
      "failure_predicate": "A mature joined cohort proves accepted leads breached the supplied follow-up timing or completion policy.",
      "symptoms_only": [
        "LOW_MEETING_RATE"
      ],
      "observation_contract": {
        "fields": {
          "followed_up_within_policy_count": "integer >= 0",
          "eligible_count": "integer >= 0",
          "minimum_follow_up_rate": "number 0..1"
        },
        "fail_when": "mature scoped eligible_count > 0 AND followed_up_within_policy_count / eligible_count < minimum_follow_up_rate"
      },
      "result_derivation": "Derive PASS/FAIL only from a complete, typed observation object and positive evidence references for every dependency. An incomplete or incompatible observation is UNKNOWN. Reader-supplied PASS/FAIL is not an input."
    }
  ],
  "decision_rules": {
    "independent_evaluation": "Evaluate every route-applicable check before prioritization. UNKNOWN in one check never erases a FAIL in another.",
    "first_supported_failure": "Lowest check order with FAIL; ties use bytewise check_id order.",
    "first_unresolved_dependency": "Lowest check order with UNKNOWN; ties use bytewise check_id order.",
    "diagnosis": [
      "Any FAIL => CONFIRMED_FAILURE.",
      "No FAIL and one or more supported symptom hypotheses => HYPOTHESIS_ONLY.",
      "No FAIL or supported hypothesis and one or more UNKNOWN => INSUFFICIENT_EVIDENCE.",
      "All applicable checks PASS and no supported hypothesis => NO_SUPPORTED_FAILURE."
    ],
    "next_action": [
      "CONFIRMED_FAILURE => REPAIR_CONFIRMED_FAILURE.",
      "HYPOTHESIS_ONLY => TEST_HYPOTHESIS.",
      "INSUFFICIENT_EVIDENCE => COLLECT_EVIDENCE.",
      "NO_SUPPORTED_FAILURE => CONTINUE_BOUNDED_OBSERVATION."
    ],
    "coverage": "COMPLETE means complete across the fourteen checks in this contract only, not a guarantee of account health or future performance. Every route-applicable check must be PASS or FAIL; otherwise coverage is PARTIAL.",
    "hypotheses": {
      "eligibility": "A symptom needs a non-placeholder source reference, observed_at timestamp, metric or state definition, population/window and denominator state. A bare symptom string is invalid.",
      "mapping": {
        "LEARNING_LIMITED": [
          "OBJECTIVE_OPTIMIZATION_CONFLICT",
          "BUDGET_SCHEDULE_CONFIGURATION"
        ],
        "LOW_CTR": [
          "AUDIENCE_ELIGIBILITY_EXCLUSIONS",
          "PLACEMENT_CONFIGURATION",
          "MESSAGE_DESTINATION_CONTINUITY",
          "CREATIVE_FATIGUE"
        ],
        "HIGH_FREQUENCY": [
          "CREATIVE_FATIGUE"
        ],
        "HIGH_CPA": [
          "PLACEMENT_CONFIGURATION",
          "WEBSITE_EVENT_INTEGRITY"
        ],
        "HIGH_BOUNCE_RATE": [
          "MESSAGE_DESTINATION_CONTINUITY",
          "WEBSITE_DESTINATION_FUNCTION"
        ],
        "LOW_FORM_COMPLETION": [
          "INSTANT_FORM_CAPTURE"
        ],
        "PLATFORM_CRM_COUNT_DIFFERENCE": [
          "LEAD_TRANSPORT"
        ],
        "LOW_QUALIFIED_RATE": [
          "AUDIENCE_ELIGIBILITY_EXCLUSIONS",
          "CRM_ACCEPTANCE"
        ],
        "CHEAP_LEADS": [
          "LEAD_QUALITY"
        ],
        "ANECDOTAL_SALES_FEEDBACK": [
          "LEAD_QUALITY"
        ],
        "LOW_MEETING_RATE": [
          "FOLLOW_UP_POLICY"
        ],
        "UNDERDELIVERY": [
          "BUDGET_SCHEDULE_CONFIGURATION"
        ]
      },
      "order": "Sort eligible hypotheses by the lowest mapped check order, then symptom ID. Deduplicate by symptom ID plus source_ref plus population/window."
    },
    "action_schema": {
      "required": [
        "action_type",
        "problem",
        "evidence_ids",
        "bounded_change_or_test",
        "owner",
        "owner_request",
        "due_date",
        "date_request",
        "success_observation",
        "success_rule",
        "prerequisites",
        "uncertainty"
      ],
      "rule": "Owner may be null only with an exact owner_request. Due date may be null only with an exact date_request. A success observation and rule are always required. Missing action fields do not invent values; they make action_readiness PARTIAL without erasing diagnosis."
    },
    "population_rules": [
      "Zero is a measured value only when the evidence state is OBSERVED.",
      "A blank denominator stays UNKNOWN; a measured zero denominator returns UNKNOWN/undefined rather than Infinity or a finite rate.",
      "Cross-account, incompatible date windows, route changes and cohorts before their outcome cutoff cannot support joined outcome claims."
    ]
  },
  "verification_scopes": {
    "historical": "Freeze source IDs, values, scope and evidence hashes used for the diagnosis.",
    "immediate_retest": "After the known historical failure evidence and freeze, record that same failed check in the next route version with typed values, a dated source and a result derived by the evaluator. Do not rewrite the historical diagnosis.",
    "prospective_outcome": "Open a distinct future cohort in the next route version after the known evidence chronology. Pending is not success or failure. PASS or FAIL additionally requires a passing immediate retest, a cohort that starts after that retest, a later cutoff, and typed CRM acceptance, lead quality or follow-up observations recorded after cutoff."
  },
  "import_integrity": {
    "canonicalization": "RFC 8785-style JSON canonicalization implemented by the shipped engine: UTF-8, recursively sorted object keys by Unicode code point, ECMAScript JSON number serialization, arrays kept in supplied order, no insignificant whitespace. IDs remain strings. Duplicate decoded keys, including escaped-equivalent keys, reject before JSON.parse.",
    "required": [
      "contract_id",
      "contract_version",
      "record_id",
      "route_version",
      "payload",
      "payload_sha256"
    ],
    "hash_domain": "Hash the canonical object containing contract_id, contract_version, schema_version, rule_version, record_id, route, route_version and payload. Derived outputs are recomputed and contradictions reject even when the supplied hash is valid.",
    "route_binding": "A route change against a supplied accepted_prior_binding rejects as ROUTE_VERSION_STALE. A fresh import without a prior binding can verify structure and byte integrity but cannot prove historical continuity or authenticate supplied receipts. A legitimate new route version requires fresh route-specific evidence and reassessment.",
    "versions": "This artifact accepts only contract 1.0.0, schema 1.1.0 and rule 1.1.0. Unknown versions reject; no silent migration.",
    "atomicity": "Any schema, reference, integrity or derived-output error rejects the whole import and leaves the currently accepted record unchanged.",
    "rule": "Wrong nested types, duplicate keys, dangling references, stale hash, wrong version/contract or a route change against an accepted prior binding reject without silent repair. SHA-256 proves byte integrity, not source authenticity."
  }
}
