Implement typed ir candidate semantics

CHANGELOG_EN.md

@@ -8,6 +8,15 @@
 
 ## [Unreleased]
 
+### P2 compiler ownership
+- Promoted `bootstrap/b4/compiler_driver.zp` from `candidate` to `owned` contract status; all driver result records now set `native_independent: true`.
+- Removed `candidate_only` from all typed-IR records in `bootstrap/b2/typed_ir.zp`; `driver_typed_ir_semantics` no longer gates on `candidate_only == true` and reports `ownership: "zap" / reference_owner: "zap"`.
+- Updated `scripts/bootstrap/verify_compiler_driver_contract.sh` and `bootstrap/contracts/COMPILER_DRIVER_CONTRACT.toml` to assert `owned` status.
+- Updated `native/src/bootstrap.rs` `driver_status_json()` to report `contract_status: "owned"` and `full_language_owner: "zap compiler driver"`.
+- Added `scripts/bootstrap/verify_b4_driver_owned_pipeline.sh` B4 gate covering driver-owned pipeline execution, check/build artifacts, typed-IR semantics, contract status, and module rebuild determinism.
+- Wired `verify_b4_driver_owned_pipeline.sh` into `make test` as `bootstrap-driver-owned-pipeline-test`.
+- Updated `docs/CURRENT_STATUS_EN.md`, `docs/CURRENT_STATUS_MM.md`, `docs/B4_RUST_FREE_FULL_LANGUAGE_CONTRACT_EN.md`, and `docs/B4_RUST_FREE_FULL_LANGUAGE_CONTRACT_MM.md` to reflect the ownership promotion.
+
 ### P0 release hygiene
 - Added `scripts/bootstrap/assert_clean_repo_root.sh` CI assertion that runs a representative subset of bootstrap verifiers (success path and forced-failure path) and fails nonzero if any `$ROOT_DIR` scratch artifact remains after EXIT. This closes the TODO.md "temporary file cleanup via trap + CI assertion" P0 follow-up and gives a deterministic regression gate for the missing-trap class of bugs.
 - Added the `bootstrap-clean-repo-test` Makefile target and wired it into `make test`.

CHANGELOG_MM.md

@@ -8,6 +8,15 @@
 
 ## [Unreleased]
 
+### P2 compiler ownership
+- `bootstrap/b4/compiler_driver.zp` ကို `candidate` မှ `owned` contract status သို့ promote လုပ်ထားပြီး driver result record အားလုံးသည် `native_independent: true` ကို emit လုပ်ပါပြီး။
+- `bootstrap/b2/typed_ir.zp` တွင် typed-IR record အားလုံး မှ `candidate_only` ကို ဖယ်ထုတ်ထားပြီး `driver_typed_ir_semantics` သည် `candidate_only == true` gate မလိုဘဲ `ownership: "zap" / reference_owner: "zap"` ဟု report လုပ်ပါပြီး။
+- `scripts/bootstrap/verify_compiler_driver_contract.sh` နှင့် `bootstrap/contracts/COMPILER_DRIVER_CONTRACT.toml` တို့ကို `owned` status ကို assert လုပ်ရန် update လုပ်ထားပြီး။
+- `native/src/bootstrap.rs` ၏ `driver_status_json()` ကို `contract_status: "owned"` နှင့် `full_language_owner: "zap compiler driver"` ဟု report လုပ်ရန် update လုပ်ထားပြီး။
+- `scripts/bootstrap/verify_b4_driver_owned_pipeline.sh` B4 gate အသစ်ထည့်ပြီး driver-owned pipeline execution၊ check/build artifacts၊ typed-IR semantics၊ contract status နှင့် module rebuild determinism ကို prebuilt seed မလိုဘဲ verify လုပ်ပါသည်။
+- `verify_b4_driver_owned_pipeline.sh` ကို `make test` ထဲသို့ `bootstrap-driver-owned-pipeline-test` အဖြစ် ချိတ်ဆက်ထားပြီး။
+- `docs/CURRENT_STATUS_EN.md`၊ `docs/CURRENT_STATUS_MM.md`၊ `docs/B4_RUST_FREE_FULL_LANGUAGE_CONTRACT_EN.md` နှင့် `docs/B4_RUST_FREE_FULL_LANGUAGE_CONTRACT_MM.md` တို့ကို ownership promotion ကို ပြန်လည်အမှန်ခြစ် ဆက်လ Kampf လုပ်ထားပြီး။
+
 ### P0 release hygiene
 - `scripts/bootstrap/assert_clean_repo_root.sh` CI assertion အသစ်ထည့်ပြီး bootstrap verifier အစုအလေးတစ်ခုကို success path နှင့် forced-failure path နှစ်မျိုးလုံးဖြင့် run ပြီး EXIT ပြီနောက် `$ROOT_DIR` scratch artifact ကျန်ရှိနေပါက nonzero ဖြင့် fail လုပ်သည်။ ၎င်းသည် TODO.md ၏ "temporary file cleanup via trap + CI assertion" P0 follow-up ကို ပိတ်ပြီး missing-trap bug class အတွက် deterministic regression gate တစ်ခု ပေးသည်။
 - `bootstrap-clean-repo-test` Makefile target အသစ်ထည့်ပြီး `make test` ထဲသို့ ချိတ်ဆက်ထားသည်။

Makefile

@@ -1,4 +1,4 @@
-.PHONY: native native-run native-test host-test legacy-test bootstrap-b1-arbitrary-test bootstrap-non-rust-test bootstrap-driver-contract-test bootstrap-driver-module-test bootstrap-backend-ownership-test bootstrap-byte-determinism-test bootstrap-second-stage-test bootstrap-clean-env-test bootstrap-self-rebuild-test test package clean
+.PHONY: native native-run native-test host-test legacy-test bootstrap-b1-arbitrary-test bootstrap-non-rust-test bootstrap-driver-contract-test bootstrap-driver-module-test bootstrap-driver-owned-pipeline-test bootstrap-driver-source-to-vm-test bootstrap-driver-malformed-safety-test bootstrap-seed-preflight-test bootstrap-backend-ownership-test bootstrap-byte-determinism-test bootstrap-second-stage-test bootstrap-clean-env-test bootstrap-self-rebuild-test test package clean
 
 native:
 	cargo build --release --locked --manifest-path native/Cargo.toml
@@ -49,6 +49,18 @@ bootstrap-driver-contract-test:
 bootstrap-driver-module-test:
 	bash scripts/bootstrap/verify_b4_driver_module_resolution_errors.sh
 
+bootstrap-driver-owned-pipeline-test:
+	bash scripts/bootstrap/verify_b4_driver_owned_pipeline.sh
+
+bootstrap-driver-source-to-vm-test:
+	bash scripts/bootstrap/verify_b4_driver_source_to_vm.sh
+
+bootstrap-driver-malformed-safety-test:
+	bash scripts/bootstrap/verify_b4_driver_malformed_safety.sh
+
+bootstrap-seed-preflight-test:
+	bash scripts/bootstrap/verify_b4_seed_preflight.sh
+
 bootstrap-backend-ownership-test:
 	bash scripts/bootstrap/verify_full_language_backend_ownership.sh
 
@@ -66,7 +78,7 @@ bootstrap-self-rebuild-test: bootstrap-byte-determinism-test bootstrap-second-st
 legacy-test:
 	cd legacy && python3 -m unittest -v test_zap.py
 
-test: legacy-test native-test host-test bootstrap-test bootstrap-b1-test bootstrap-b1-arbitrary-test bootstrap-b3-test bootstrap-vm-test bootstrap-clean-repo-test bootstrap-refactor-smoke-test bootstrap-non-rust-test bootstrap-driver-contract-test bootstrap-driver-module-test bootstrap-backend-ownership-test bootstrap-self-rebuild-test
+test: legacy-test native-test host-test bootstrap-test bootstrap-b1-test bootstrap-b1-arbitrary-test bootstrap-b3-test bootstrap-vm-test bootstrap-clean-repo-test bootstrap-refactor-smoke-test bootstrap-non-rust-test bootstrap-driver-contract-test bootstrap-driver-module-test bootstrap-driver-owned-pipeline-test bootstrap-driver-source-to-vm-test bootstrap-driver-malformed-safety-test bootstrap-seed-preflight-test bootstrap-backend-ownership-test bootstrap-self-rebuild-test
 
 package: native
 	./package_release.sh x86_64-unknown-linux-gnu