{
  "schema_version": 1,
  "title": "Clear app status in a community LiveContainer fork",
  "reviewed_on": "2026-10-02",
  "classification": "functional_correctness_and_robustness",
  "repository": "https://github.com/SSH-PuR66/LiveContainer-Plus",
  "before_commit": "12b2ec0f8c945b95ec45ca3bf293edd94964c361",
  "after_commit": "478f525c5bb44a84d5786145b992ee27eee74422",
  "pull_request": "https://github.com/SSH-PuR66/LiveContainer-Plus/pull/1",
  "findings": [
    {
      "id": "expiry-status",
      "before": "Missing expiry became a valid status through Int.max; positive sub-day expiry truncated to zero whole days and became expired.",
      "after": "Missing expiry is unknown; actual elapsed expiry is expired; positive sub-day expiry remains expiring soon.",
      "before_source": [
        "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/12b2ec0f8c945b95ec45ca3bf293edd94964c361/LiveContainerSwiftUI/Models/LCCertificateMonitor.swift#L87",
        "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/12b2ec0f8c945b95ec45ca3bf293edd94964c361/LiveContainerSwiftUI/Models/LCCertificateMonitor.swift#L179"
      ],
      "after_source": "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/478f525c5bb44a84d5786145b992ee27eee74422/LiveContainerSwiftUI/Models/LCCertificateHealth.swift#L25",
      "test_source": "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/478f525c5bb44a84d5786145b992ee27eee74422/.github/tests/home/main.swift#L11"
    },
    {
      "id": "backup-read-errors",
      "before": "Directory read failure discarded the error and replaced the displayed backup list with an empty array.",
      "after": "Missing directories are empty; other read failures are unavailable, preserve the previous list, and surface a retry action.",
      "before_source": [
        "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/12b2ec0f8c945b95ec45ca3bf293edd94964c361/LiveContainerSwiftUI/Models/LCBackupManager.swift#L243"
      ],
      "after_source": "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/478f525c5bb44a84d5786145b992ee27eee74422/LiveContainerSwiftUI/Models/LCBackupManager.swift#L244",
      "view_source": "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/478f525c5bb44a84d5786145b992ee27eee74422/LiveContainerSwiftUI/Views/Settings/DataManagement/LCBackupView.swift#L163",
      "test_source": "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/478f525c5bb44a84d5786145b992ee27eee74422/.github/tests/home/main.swift#L56"
    },
    {
      "id": "date-robustness",
      "before": "Future check timestamps could count as fresh; expiry days were converted to Int without finite-value or integer-range guards.",
      "after": "Future or invalid check observations require refresh; expiry conversion checks finite values and a strict Int bound.",
      "before_source": [
        "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/12b2ec0f8c945b95ec45ca3bf293edd94964c361/LiveContainerSwiftUI/Models/LCCertificateMonitor.swift#L91",
        "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/12b2ec0f8c945b95ec45ca3bf293edd94964c361/LiveContainerSwiftUI/Models/LCCertificateMonitor.swift#L109"
      ],
      "after_source": "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/478f525c5bb44a84d5786145b992ee27eee74422/LiveContainerSwiftUI/Models/LCCertificateHealth.swift#L28",
      "test_source": "https://github.com/SSH-PuR66/LiveContainer-Plus/blob/478f525c5bb44a84d5786145b992ee27eee74422/.github/tests/home/main.swift#L27"
    }
  ],
  "verification": {
    "native_ci_url": "https://github.com/SSH-PuR66/LiveContainer-Plus/actions/runs/37054512612",
    "head_sha": "478f525c5bb44a84d5786145b992ee27eee74422",
    "conclusion": "success",
    "checks_passed": 29,
    "test_log_summary": "Passed 29 native readiness and filesystem checks",
    "xcode_archive": "success",
    "test_scope": "Pure Swift date and readiness decisions plus temporary-directory filesystem cases",
    "ci_reexecuted_for_case_study": false
  },
  "claim_limits": {
    "cve_or_new_vulnerability_claim": false,
    "exploit_demonstrated": false,
    "performance_gain_measured": false,
    "device_installation_verified_by_this_case": false,
    "physical_device_ui_verified_by_this_case": false,
    "guest_app_launch_verified_by_this_case": false,
    "backup_restore_verified_by_this_case": false,
    "later_background_backup_changes_in_scope": false
  }
}