Skip to content

Clarify verification claims and test source-read faults - #31

Merged
mikecerisano merged 5 commits into
mainfrom
audit/verification-claims-20261017
Oct 17, 2026
Merged

mikecerisano merged 5 commits into
mainfrom
audit/verification-claims-20261017

Conversation

@mikecerisano

@mikecerisano mikecerisano commented Oct 17, 2026 •

Copy link
Copy Markdown
Collaborator

What this does

The README and guide now describe what each verification mode actually checks. Quick checks sizes; Standard reads each backup back with SHA-256. For a new copy, it compares that readback with the source hash made during copying. When an existing file is reused, it checks against a fresh source read. Thorough and Paranoid reread the card. The README also makes clear that two folders on one physical drive are one backup, not two independent backups.

The new fault tests pin the important limit: Standard can miss a transient wrong read from the card during copying, while Thorough and Paranoid catch that scenario. If every read of the card returns the same wrong bytes, no mode can establish the original camera bytes without outside evidence. This is a test of the assurance boundary, not evidence that BitMatch has corrupted a user's footage.

Local validation

  • Before the wording follow-up, the full engine suite passed: 129 XCTest cases, 17 intentional hardware skips, zero failures; 165 Swift Testing cases passed. The focused fan-out suite passed 20/20.
  • After the wording follow-up, focused transfer/reuse/verification tests passed 12/12. The Swift Testing suite passed 165/165.
  • After the wording follow-up, Mac Debug and iPad/iPhone generic-simulator Debug builds passed.
  • The post-follow-up full engine XCTest run stalled after ComparisonDiagnosticTests and was stopped; its result is inconclusive. The standalone Mac app test suite has not completed on this host; no Mac app test pass is claimed.

GitHub Actions started automatically when this draft was first pushed. Earlier observed Mac jobs stopped before tests during an Xcode 26.3 compiler IR-generation crash in PreferencesWindow.swift; engine jobs stopped before tests on Swift concurrency compile errors in ChecksumTruncationTests.swift and StressTests.swift. The same compile failures appeared on the existing #28 CI branch. Evidence-corpus jobs passed in that earlier run. These are prior observations, not a new hosted CI result for the wording follow-up. No manual CI rerun was requested. This remains a draft until the standalone Mac app test execution can be checked.

@mikecerisano
mikecerisano marked this pull request as ready for review October 17, 2026 06:39
@mikecerisano
mikecerisano merged commit e56a04a into main Oct 17, 2026
4 of 8 checks passed
@mikecerisano
mikecerisano deleted the audit/verification-claims-20261017 branch October 17, 2026 06:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant