[
 "All agreement rates, query counts per family (daily 174,959; daily-tail 230,145; interval 135,630; long 1,856; leap 7,830; total 550,420), class query/scenario/zone counts and examples: artifact/results/summary.json, produced by scripts/analyse.py from {dart,swift,kotlin}_<zone>.json in artifact/results/raw.tar.gz, run 2 Nov 2026.",
 "7,658 publications (daily 2,756; daily-tail 2,756; interval 1,740; long 232; leap 174; 2,606 with Today override), 29 zones, seed 20261102: artifact/vectors/scenarios.json from scripts/gen_vectors.py.",
 "Source provenance: Adelante commit af1aea2 (2026-10-02, 'Ignore iOS build output and the Firebase cache'); rotation files clean in that commit; SHA-256 of each copied file in artifact/source-hashes/SHA256SUMS.",
 "currentPoolIndex is referenced only in lib/features/widgets/domain/widget_rotation.dart (definition), test/widget_text_and_payload_test.dart and as a string in test/widget_parity_test.dart: grep -rn 'PoolIndex' lib test ios/AdelanteWidgets android/app/src on 2 Nov 2026.",
 "22 contract tests (widget_parity_test 18, android_widget_remote_views_test 2, ios_widget_source_test 2) all pass on shipping source: flutter test on scratch copy, Flutter 3.44.1, output 'All tests passed!' (+22), 2 Nov 2026.",
 "Mutant results (12 behaviour, 2 refactor; contract kills, differential kills, answers changed): artifact/results/mutants.json from scripts/run_mutants.sh and scripts/mutant_results.py over six zones.",
 "Latent payload results (7 of 9 disagree; per-case counts in Table 4): artifact/results/latent/latent_{swift,kotlin}_t{0,1,2}.json from scripts/gen_latent.py, TZ=UTC.",
 "Library behaviour probes: Foundation date(bySettingHour:2,minute:30) on 2027-03-14 America/Los_Angeles returns 03:00 PDT; startOfDay on 2026-09-06 America/Santiago returns 01:00; Java Calendar 01:30 on 2026-11-01 America/New_York resolves to 01:30 EST and 02:30 on 2027-03-14 to 03:30 EDT, add(DATE,1) keeps 03:30; Dart DateTime(2027,3,14,2,30) in New York gives 03:30 EDT and DateTime(2027,11,7,1,30) gives 05:30Z (EDT): artifact/probes/.",
 "Nuuk 2026-03-28: local 22:59:59 -02:00 followed by 00:00 -01:00 (Python zoneinfo, system tzdata 2026e).",
 "Corpus: 12,759 quotes in assets/content/library.json, 0 non-ASCII IDs, 0 duplicate IDs (python check, 2 Nov 2026).",
 "Cost: CPU user+sys summed over 29 zone processes — Dart 6.5 s, Swift 91.0 s, Kotlin/JVM 195.3 s; 0.53 ms per query: artifact/results/cost.json from /usr/bin/time -p; load average 68-112 (uptime) during run.",
 "Toolchains: Dart 3.12.1, Flutter 3.44.1, Swift 6.4 (swiftlang-6.4.0.34.1), Xcode 27.1, macOS 27.0.1, Apple M1 Pro, Foundation tz 2026e, Kotlin 2.4.21 (Homebrew), OpenJDK 17.0.19, JVM tzdb 2026a, Python 3.14.2; Adelante Kotlin Gradle plugin 2.3.20 (android/settings.gradle.kts).",
 "App Store availability since 4 October 2026: owner's statement in the study brief.",
 "References verified 2 Nov 2026 via Crossref API (DOIs 10.1109/TSE.1985.231893, 10.1109/TSE.1986.6312924, 10.1145/351240.351266, 10.1145/3143561, 10.1109/TSE.2016.2532875, 10.1109/MSR66628.2025.00020, 10.1145/1993498.1993532 (PLDI proceedings DOI), 10.1109/ASE.2017.8115644, 10.17487/RFC6557, 10.1109/TSE.2010.62, 10.1145/2635868.2635929); McKeeman 1998 verified via DBLP/Wikipedia citation (Digital Technical Journal 10(1):100-107), no DOI.",
 "Re-verified 2 Nov 2026: analyse.py rerun on extracted raw.tar.gz reproduces queries, scenarios, agreement and classes in results/summary.json exactly.",
 "Instant-level disagreements: 550,420 - 526,530 = 23,890 = D1 18,534 + D2 965 + D3 867 + D4a 457 + Samoa 272 + D4b 2,576 + D7 219. Interval family disagreements 135,630 - 117,097 = 18,533; the 18,534th D1 query is in the long family.",
 "Current-rule publication counts (scenario t0 in 2025 or later): D1 1,125; D2 47; D3 58; D4a 48; D4b 47; D5 9; D6 93; D7 8. Historical-only zones: D4b São Paulo, Tehran; D7 Apia (2011-12).",
 "Zone categories from Python zoneinfo (tzdata 2026e), local change times 2026-2027: no changes UTC, KL, Singapore, Kolkata, Kathmandu, Kiritimati, Moscow, Asuncion, Sao_Paulo, Tehran, Apia; small hours New York, Los Angeles, St Johns, London, Dublin, Berlin, Gaza, Sydney, Auckland, Chatham (02:45); midnight Santiago, Havana, Cairo, Beirut, Azores; unusual Nuuk (23:00 gap), Lord Howe (30 min), Troll (2 h).",
 "Examples checked in raw answers: s00560 (New York D2), s01258 (St John's D2, persists), s02566 (Nuuk D2, 27-28 Oct 2029), s00648 (D3), s00997 (D4a), s01648 (D4b, lag to 2026-09-15), s02614 (D5, Nuuk 00:00-22:59 29 Mar 2026), s02485 (D7, 30 min), s06167 (D6 Lord Howe 30 min), s00714 (D6 New York 1 h).",
 "Clopper-Pearson 95%: 0/12 upper 1-0.025^(1/12) = 26.5%; 12/12 lower 0.025^(1/12) = 73.5%. Mutant answers changed 168 (S6) to 95,419 (K1) of 220,228.",
 "Override probability 0.35 for non-leap publications (gen_vectors.py); 2,606 of 7,658 overall (34.0%).",
 "Tiwari et al. abstract (MSR 2025 programme page): 151 bugs; time-zone mistakes largest contributing factor; root causes often misconceptions about library API behaviour such as default conventions. Payload size estimate: 365 epoch seconds x ~11 bytes = ~4 KB."
]