AUDIT PASS: 2 transcripts; 27 checkpoints; 92 assertions. Driver hashes identical; independent plist XML parser agrees.
K1 D03 precondition: healthy installed A ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D04 D04 after caller reconciliation ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/promptCount', '/unit']
K1 D04 precondition: healthy installed A ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D04 D04 direct reinstall result ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D05 D05 restarted B ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D04 D04 stale launcher sentinel while source/state A ['/commands', '/operations', '/parsedProgram', '/programArguments', '/status/current', '/unit']
K1 D05 D05 staged B, restart pending ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D01 D01 complete ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D05 precondition: healthy installed A ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D02 D02 genuine base-generated A unit/state reused without rendering in driver []
K1 D02 D02 BASE-GENERATED LEGACY A persisted for head reuse []
K1 D02 D02 migrated []
K1 D03 D03 B published, old FD read A ['/commands', '/launcherAndSiblings/entries', '/launcherAndSiblings/entryCount', '/launcherAndSiblings/fileCount', '/launcherAndSiblings/manifestSHA256', '/launcherAndSiblings/totalFileBytes', '/operations', '/parsedProgram', '/programArguments', '/unit']
K1 D04 D04 launcher absent ['/parsedProgram', '/programArguments', '/status/current', '/unit']
