Typed Two-Mode Scratchpad Operator: Constitution, Authority Firewalls, Stateful Lineage, Crash Recovery, and Consensus Boundary — BIT-SCRATCHPAD-OPERATOR-001 F0–R5 Closure

Description — English This archival technical note preserves the terminal F0–R5 lineage of BIT-SCRATCHPAD-OPERATOR-001, closed at F5_CLOSED_WITH_SCOPE on 26 September 2026. It locks the typed two-mode Scratchpad constitution Omega_D, EXPLORE/VERIFY modes, typed opcodes, attention/event/zero-gate composition, the authority ladder, stateful lineage, concurrency guards, crash/recovery semantics and the boundary between local validation and external consensus. The preserved source reports 35 inherited repair gates, 51 firewall rules and 27,354 stage-local executed cases. Case totals are summed execution units, not globally unique states or independent experiments. Crash-recovery claims are limited to the tested bounded single-ledger model: at-most-once authority consumption and idempotent replay for an exactly bound operation/request. In the bounded two-replica model, the operator validates externally established leadership and canonical-log witnesses, rejects stale/conflicting authority and freezes authority on split-brain. It does not establish leader election or canonical ordering between incomparable authorized histories. The F5 lineage audit remains PASS_WITH_SCOPE / PASS_WITH_PROVENANCE_GAP. Original F0 bytes were unavailable in that audit; F0 was semantically recovered from its conversation summary. R1–R5 source archives are preserved. Later availability of a separately named F0 file is not used here to rewrite that historical provenance status. Boundary Surprise Attention retains only its inherited LAB_SYNTHETIC_SINGLE_ENGINE scope. F1, empirical A/B benchmarks, Transformer comparisons and distributed consensus implementation remain NOT_OPENED. Mechanized proof, cryptographic security, Byzantine tolerance, unbounded correctness, universal exactly-once delivery/world effects, performance superiority and novelty/priority are not claimed. The terminal ZIP is uploaded unchanged, alongside its exact DOCX report and external checksum file. ZIP SHA256: 32a2c8476b8ef0122a687ac47510bf298232bd351f9fa727c2385386380a5101. This REL-001 deposit preparation adds metadata and file-integrity checks only; it does not rerun scientific harnesses or reopen research. AI assisted the research workflow and archival preparation; the named author reviews and controls publication. The archive's historical DOI and proposed-license notices describe its original packaging state. The licence displayed on this record is subject to author review at publication; existing third-party notices retain their own scope. Mô tả — Tiếng Việt Hồ sơ lưu trữ chuỗi F0–R5 của BIT-SCRATCHPAD-OPERATOR-001, đã đóng F5_CLOSED_WITH_SCOPE ngày 26/09/2026. Hiến pháp toán tử khóa hai chế độ EXPLORE/VERIFY, các opcode có kiểu, thang quyền DRAFT → VERIFIED → AUTHORIZED, phả hệ trạng thái, kiểm đồng thời, phục hồi sau sự cố và ranh giới giữa kiểm cục bộ với đồng thuận bên ngoài. COMMIT không đồng nghĩa tác động thế giới. Nguồn lưu 35 cổng sửa, 51 firewall và tổng 27.354 ca thực thi theo từng lượt. Đây là tổng đơn vị chạy được nguồn báo cáo, không phải số trạng thái độc nhất hoặc thí nghiệm độc lập. Trong mô hình crash một ledger hữu hạn, kết quả chỉ nhận tiêu thụ quyền tối đa một lần và phát lại kết quả cuối theo operation/request đã ràng buộc exact. Trong mô hình hai replica hữu hạn, Scratchpad kiểm witness lãnh đạo và log chuẩn do bên ngoài thiết lập, chặn quyền cũ/xung đột và đóng quyền khi split-brain; không tự bầu lãnh đạo hoặc tạo thứ tự toàn cục. Phán quyết nguồn giữ PASS_WITH_SCOPE / PASS_WITH_PROVENANCE_GAP. F0 chỉ được phục hồi ngữ nghĩa trong audit F5 vì thiếu byte gốc lúc đó; các ZIP R1–R5 được bảo toàn. F1, benchmark A/B, so sánh Transformer và triển khai đồng thuận chưa mở. Không nhận chứng minh cơ giới, an toàn mật mã, chịu Byzantine, đúng vô hạn, exactly-once ngoài thế giới, ưu thế hiệu năng hoặc tính mới/ưu tiên khoa học. ZIP terminal giữ nguyên byte; báo cáo DOCX và checksum được cung cấp riêng để đọc và đối chiếu. REL-001 chỉ chuẩn bị công bố và kiểm toàn vẹn, không chạy lại nghiên cứu. Các nhãn chưa có DOI/giấy phép đề xuất trong archive là trạng thái lịch sử; tác giả kiểm giấy phép hiển thị trên bản ghi trước khi Publish.