Bùi Quang Trịnh

BIT-CAUSAL-XD-001-REL-001 — Cross-Domain Tính-Lưu-Hành Causal Semantics: Terminal Public-Audit Release

Terminal public-audit release of BIT-CAUSAL-XD-001, a cross-domain typed causal representation built around the author-originated Tính-Lưu-Hành formulation. F5-R3 remains OPENED_HOLD_WITH_SCOPE. Checker-M and Checker-N agree on 36/36 full result envelopes and 36/36 generated exac...

BIT-LMIND-BMS-001-F6-R1-TC — Independent-Research Terminal Closure and Public Handoff

Terminal independent-research checkpoint for the BIT Living Mind Body-Mind-Soul formal architecture. The deposit freezes the exact F3.3-to-F6-R1 lineage, scoped analytic and finite executable evidence, six unresolved external/Lean gates, a complete Host-2/Lean handoff capsule, an...

BIT-DCCC-001: Dynamic Coalition Capability Closure — Formal Architecture, Analytic Proof, Finite Regression, and Lean 4.30.0 Mechanization Handoff

BIT-DCCC-001 introduces Dynamic Coalition Capability Closure, a pre-canonical formal programme for reasoning about capabilities that emerge when multiple agents, tools, credentials, data, channels, policies and mandates are dynamically composed. The programme separates capability...

BIT-LMIND-BMS-001-F6-R1-TC — Independent-Research Terminal Closure and Public Handoff

Terminal independent-research checkpoint for the BIT Living Mind Body-Mind-Soul formal architecture. The deposit freezes the exact F3.3-to-F6-R1 lineage, scoped analytic and finite executable evidence, six unresolved external/Lean gates, a complete Host-2/Lean handoff capsule, an...