{
  "schema_version": "0.1",
  "model_id": "WACK-CLAIM-TRACE-0001",
  "name": "Claims Ledger Trace Model",
  "status": "practitioner-method-schema-draft",
  "authority_classification": ["PRACTITIONER_METHOD", "AI_ASSISTED"],
  "source_content_ids": ["WACK-CONTENT-0107", "WACK-CONTENT-0116", "WACK-CONTENT-0141", "WACK-CONTENT-0142"],
  "purpose": "Let a cold reader traverse one bounded assessment claim through its subject, obligation occurrence, evidence, applicability predicate, disposition, and reopening trigger without reconstructing the joins from prose.",
  "boundary": "This model preserves identifiers, relationships, time, authority, limitations, and unresolved work. A complete trace is not proof that a claim is true, evidence is sufficient, a PCI DSS requirement applies, an assessment result is warranted, or a compliance-accepting entity will accept the result.",
  "cold_reader_questions": [
    "What exact proposition is being asserted?",
    "Which stable subject and boundary does it describe?",
    "Which obligation and dated occurrence should produce support?",
    "What period does each evidence object actually represent?",
    "Which explicit predicate is being evaluated?",
    "Which authority may record the bounded disposition?",
    "Where must the conclusion stop today?",
    "What change, contradiction, or missed occurrence reopens it?"
  ],
  "join_types": [
    {"id": "ABOUT_SUBJECT", "from": "CLAIM", "to": "SCOPE_SUBJECT", "meaning": "The claim names the exact subject and boundary it describes."},
    {"id": "REQUIRES_OCCURRENCE", "from": "CLAIM", "to": "OBLIGATION_OCCURRENCE", "meaning": "The claim depends on a dated instance of expected work."},
    {"id": "SUPPORTED_BY", "from": "CLAIM", "to": "EVIDENCE_OBJECT", "meaning": "An evidence object is offered for a bounded part of the claim."},
    {"id": "EVALUATES", "from": "TEST", "to": "APPLICABILITY_PREDICATE", "meaning": "A named procedure evaluates an explicit predicate rather than inferring from a form."},
    {"id": "INFORMS", "from": "OBSERVATION", "to": "DISPOSITION", "meaning": "Observed results inform, but do not automatically decide, the accountable disposition."},
    {"id": "REOPENS", "from": "TRIGGER", "to": "CLAIM", "meaning": "A dated change or contradiction returns the affected claim to review."}
  ],
  "stages": [
    {"id": "claim", "order": 1, "label": "Claim", "question": "What exactly is asserted?", "required_fields": ["claim_id", "statement", "claim_period", "assessment_cutoff"]},
    {"id": "subject", "order": 2, "label": "Subject", "question": "About which stable object and boundary?", "required_fields": ["scope_subject_id", "subject_type", "environment"]},
    {"id": "occurrence", "order": 3, "label": "Occurrence", "question": "Which dated performance should exist?", "required_fields": ["obligation_id", "occurrence_id", "window", "status"]},
    {"id": "evidence", "order": 4, "label": "Evidence", "question": "What fact and period does the evidence represent?", "required_fields": ["evidence_id", "evidence_period", "time_lane", "limitations"]},
    {"id": "predicate", "order": 5, "label": "Predicate", "question": "Which explicit condition is tested?", "required_fields": ["predicate_id", "procedure", "truth_state"]},
    {"id": "disposition", "order": 6, "label": "Disposition", "question": "What may the accountable reviewer conclude now?", "required_fields": ["state", "authority", "rationale", "report_use"]},
    {"id": "reopen", "order": 7, "label": "Reopen", "question": "What makes this conclusion stale?", "required_fields": ["trigger_ids", "affected_record_ids", "owner"]}
  ],
  "fictional_traces": [
    {
      "trace_id": "WACK-TRACE-EXAMPLE-0001",
      "label": "Closed historical occurrence",
      "claim": {
        "claim_id": "EXAMPLE-CLAIM-ASV-COVERAGE@2026-Q2",
        "statement": "The identified public-edge population was represented in the fictional 2026 Q2 external scan occurrence.",
        "claim_period": "2026-04-01 through 2026-06-30",
        "assessment_cutoff": "2026-07-15"
      },
      "subject": {"scope_subject_id": "EXAMPLE-SUBJECT-PUBLIC-EDGE", "subject_type": "public-presence population", "environment": "Fictional production payment boundary"},
      "occurrence": {"obligation_id": "WACK-OBLIGATION-0001", "occurrence_id": "WACK-OCCURRENCE-0001", "window": "2026 Q2", "status": "completed"},
      "evidence": {"evidence_id": "EXAMPLE-EVIDENCE-ASV-2026-Q2", "evidence_period": "2026-04-01 through 2026-06-25", "time_lane": "Historical", "limitations": "Supports only the identified population and completed occurrence; it says nothing about later changes or the open Q3 occurrence."},
      "predicate": {"predicate_id": "APR-EXAMPLE-PUBLIC-EDGE-COVERAGE", "procedure": "Compare the dated scope-subject population to the occurrence target record and preserved result.", "truth_state": "SUPPORTED_TRUE"},
      "disposition": {"state": "BOUNDED_HISTORICAL_SUPPORT", "authority": "ASSESSOR_OR_ENTITY_AS_APPLICABLE", "rationale": "The joined records support the narrow historical proposition through the stated cut-off.", "report_use": "May inform a period-bounded assessment statement only after the applicable reviewer evaluates sufficiency and accuracy."},
      "reopen": {"trigger_ids": ["PUBLIC-EDGE-POPULATION-CHANGE", "LATE-DISCOVERED-ENDPOINT", "EVIDENCE-CONTRADICTION"], "affected_record_ids": ["EXAMPLE-CLAIM-ASV-COVERAGE@2026-Q2", "EXAMPLE-SUBJECT-PUBLIC-EDGE", "WACK-OCCURRENCE-0001"], "owner": "PCI Program Owner"},
      "stop_reason": "The trace stops at historical support. It cannot support the open Q3 occurrence or any endpoint introduced after the evidence period."
    },
    {
      "trace_id": "WACK-TRACE-EXAMPLE-0002",
      "label": "Open current occurrence",
      "claim": {
        "claim_id": "EXAMPLE-CLAIM-ASV-COVERAGE@2026-Q3",
        "statement": "The current public-edge population is represented in the fictional 2026 Q3 external scan occurrence.",
        "claim_period": "2026-07-01 through 2026-09-30",
        "assessment_cutoff": "2026-09-15"
      },
      "subject": {"scope_subject_id": "EXAMPLE-SUBJECT-PUBLIC-EDGE", "subject_type": "public-presence population", "environment": "Fictional production payment boundary"},
      "occurrence": {"obligation_id": "WACK-OBLIGATION-0001", "occurrence_id": "WACK-OCCURRENCE-0002", "window": "2026 Q3", "status": "open"},
      "evidence": {"evidence_id": "EVIDENCE-NOT-YET-RECORDED", "evidence_period": "Not yet established", "time_lane": "Current", "limitations": "The prior-quarter artifact is historical context, not evidence that the current occurrence is complete or population-complete."},
      "predicate": {"predicate_id": "APR-EXAMPLE-PUBLIC-EDGE-COVERAGE", "procedure": "Compare the current dated subject population to the open occurrence target record and any preserved result.", "truth_state": "UNTESTED"},
      "disposition": {"state": "PENDING_CURRENT_EVIDENCE", "authority": "ASSESSOR_OR_ENTITY_AS_APPLICABLE", "rationale": "The occurrence is open and the current evidence object does not yet exist.", "report_use": "Do not project the historical Q2 support forward as a current Q3 conclusion."},
      "reopen": {"trigger_ids": ["OCCURRENCE-COMPLETED", "OCCURRENCE-MISSED", "PUBLIC-EDGE-POPULATION-CHANGE", "EVIDENCE-RECORDED"], "affected_record_ids": ["EXAMPLE-CLAIM-ASV-COVERAGE@2026-Q3", "EXAMPLE-SUBJECT-PUBLIC-EDGE", "WACK-OCCURRENCE-0002"], "owner": "Vulnerability Management"},
      "stop_reason": "The trace stops before disposition because the current occurrence is still open and no current-period evidence object has been recorded."
    }
  ],
  "downloads": {
    "model": "/downloads/claims/claims-ledger-trace-model-v0.1.json",
    "schema": "/downloads/claims/claim-trace-record.schema.json",
    "guide": "/downloads/claims/claims-ledger-trace-guide.md"
  }
}
