research: rebuild RBC 1.3 DOMAIN_CALL as evidence-gated native organ ABI

.gitignore

@@ -14,6 +14,7 @@ zig-cache/
 # Native build byproducts. Keep native/rclvm.exe as the checked Windows VM.
 native/*.pdb
 native/*.o
+*.obj
 native/*.a
 native/*.so
 native/*.dll

README.md

@@ -1,7 +1,7 @@
-# RCL — Reality Compiler Language
+# RCL v0.94.0-alpha.1 — Reality Compiler Language
 
 **Current package:** `v0.94.0-alpha.1`  
-**Canonical source:** `xingxuling/RCL@main`  
+Canonical source: `xingxuling/RCL@main`
 **License:** Apache-2.0
 
 > RCL is an evidence-bearing, permission-constrained reality transaction language, compiler, native VM, provider runtime, and verification toolchain.
@@ -76,6 +76,14 @@ A failed required gate fails the cell. Missing evidence blocks it. No weighted s
 
 ---
 
+## RBC 1.3 admission boundary
+
+RBC 1.3 `DOMAIN_CALL` remains an experimental research surface in PR #39. The strict autonomous-growth maximum is currently `Level 2 VERIFIED`; `Level 3 CANDIDATE/BLOCKED` is not promoted by a bounded native candidate, an ACL2 compatibility result, or C/WASM parity alone. Formal A10 requires the full independent Native Promotion chain, and canonical language/version changes remain human-gated.
+
+Evidence: [`RBC13_FINAL_BLOCKER_CLOSURE_EVIDENCE_LEDGER_v0.1.md`](docs/RBC13_FINAL_BLOCKER_CLOSURE_EVIDENCE_LEDGER_v0.1.md), [`RCL_CAPABILITY_ASSIMILATION_COMPATIBILITY_SURFACE_v0.1.md`](docs/RCL_CAPABILITY_ASSIMILATION_COMPATIBILITY_SURFACE_v0.1.md), and [`RCL_WASM_DOMAIN_ORGAN_ABI_v0.1.md`](docs/RCL_WASM_DOMAIN_ORGAN_ABI_v0.1.md).
+
+---
+
 ## Current killer-task frontier
 
 | Task | Target | Coverage mode | Current result | Main remaining blocker |

docs/A3_LEGACY_EVIDENCE_CLOSURE_REPORT_v0.1.md

@@ -0,0 +1,49 @@
+# A3 Legacy Evidence Closure Report v0.1
+
+- Status: **VERIFIED**
+- Branch: `research/rbc13-domain-call-salvage-v0.1`
+- Commit: `8cf703eb01ac00850e82fd93c45ac5655d24918e`
+- Expected inventory: 6 stable IDs
+- Inventory root: `c33453601f567a33a11413b7d958f864ebca7f1445b65cae16b5f70a04003a8a`
+- Evidence root: `d8a439e0aa0a88552a118557106996de86bd41ae0ad7524ce6991d95b60b863a`
+- Reproduction: `npm run verify:rbc13-legacy-evidence-closure`
+
+## Scope
+
+The committed expected inventory is authoritative for this closure. It contains one current-source RBC 1.1 Stage-5 encoder case and five current-source RBC 1.2 Foundation Native bridge cases. RBC 1.3 experimental Domain Organ cases are intentionally excluded.
+
+## Receipt inventory
+
+| Case | RBC | Runtime | Source root | Bytecode root | Result root | Receipt root | Replay |
+|---|---:|---|---|---|---|---|---|
+| rbc11.stage5.encoder | 1.1 | rcl-native-vm/0.6.0-alpha.1 | fd9b4e1db21e91221eb89e11002650b5be1b1e36f416f7982ee474f00615011f | 2d99bbd95d7e67077db9694d156faf9c43484e58bff54c3381a3a32857071aea | 57d29cd1e7990002f842657d9862e1d3a04135671985ab6bf3f895371058301d | 8efbb04ceda586aaabbb9e4462a1333894de105614b995f06b44f6ef30a55f4d | VERIFIED |
+| rbc12.foundation.batch-a | 1.2 | rcl-native-vm/0.6.0-alpha.1 | 1c6d79d81ce5f6af02e73dde5021418df5061a73daabeadb72bfad2f143e88f8 | 3705305f0548d2945a313609c2f27da0c24166f31ee9659dc5ba7b0e57403209 | ea668d63168483bf6bc8e68a2c0166338df5912f355f2ae0edce5fc1d30d91ad | c44495f0c43bef3b895fe2ec1d5f0340b6bd965073017044784c426f9ea994de | VERIFIED |
+| rbc12.foundation.meta-batch-b | 1.2 | rcl-native-vm/0.6.0-alpha.1 | a26349e4cfe61007dfdfff228a8a1f8047addda1029e062a2f65f5346aa8fdff | e5ed4c14852ed7d531e36eed46779533d9c7905deecb34364e19edaff8d3048f | 5563283f81d4e407af65129034a5cb80d3a2d9a19082ca9de0f15e3cc7467df3 | c055733b5d1a85c66df196f4359af5b8905c540cc547236705ba30a1cca66968 | VERIFIED |
+| rbc12.foundation.batch-c | 1.2 | rcl-native-vm/0.6.0-alpha.1 | 8837e82b8e2a40dd1100044d6c8145cb7f4e5cd79b069944fcbb0dccfa808df3 | b9d3885ffdbcbaaf6f51fa229656bc235a1b6217f555e2f86f4983d2da3f14fa | 2740eb8b9fb8ff18d3aeae50a68996ab837e10601fbd38bb8beac741ae6a04ed | 7adaf88a4643e238f95d8483767d2b20b40a7a6ef0e6fa6da00ed3908f3c17da | VERIFIED |
+| rbc12.foundation.batch-d | 1.2 | rcl-native-vm/0.6.0-alpha.1 | 850f89424395477a24c9cd33be1c420110240b5f6db30c5df9a0047a2f50c4b7 | 46c8480d2232d73312f8072a450d028f6544142a24654787f1f4c54e752f70db | 60e94e8d86e2413c4b61fd0d1441315a895e8144b0b56e2a3e5c38e97d116b31 | 1a8a584fca7a9a2db345c9e4f9aa7af7a6ef749b8bea2773809a8389520e798a | VERIFIED |
+| rbc12.foundation.batch-e | 1.2 | rcl-native-vm/0.6.0-alpha.1 | ddd309904ac311c9878ef622238dec862e245d3ec1f7906c2ff3022960eeeb83 | 804225ba2601885ea8f96a1e97d35dfccf396f56027d18926d1067c36ed58290 | f501994fd6c4654f092985381654aa8f0c81e66681cbe15c38fbbade7ba87496 | 777ad97ea367f64e8db13e7e350cfc0173b31f0338940cc3d1dc2243ac1af2ea | VERIFIED |
+
+## Closure checks
+
+- expectedInventoryAuthoritative: PASS
+- stableIdsUnique: PASS
+- noUnexpectedCases: PASS
+- noMissingCases: PASS
+- noDuplicateReceiptRoots: PASS
+- noStaleReceipts: PASS
+- noAlteredReceipts: PASS
+- replayRootConsistency: PASS
+- rbc11Verified: PASS
+- rbc12Verified: PASS
+
+## Integrity findings
+
+- Missing: none
+- Duplicate: none
+- Stale: none
+- Altered: none
+- Replay mismatch: none
+
+## Boundary
+
+This closes only the committed RBC 1.1/RBC 1.2 legacy receipt inventory. It does not canonize RBC 1.3 or validate the experimental AI and Universal tracks.

docs/A3_VERSION_LEDGER_CONTRACT_CLOSURE_v0.1.md

@@ -0,0 +1,55 @@
+# A3 Version Ledger Contract Closure v0.1
+
+- Status: **VERIFIED**
+- Scope: RBC 1.1 / RBC 1.2 legacy receipt closure and current full-suite contract
+- Receipt closure evidence root: `d8a439e0aa0a88552a118557106996de86bd41ae0ad7524ce6991d95b60b863a`
+- Receipt inventory root: `c33453601f567a33a11413b7d958f864ebca7f1445b65cae16b5f70a04003a8a`
+- Receipt inventory: 6 expected / 6 verified / 0 missing / 0 duplicate / 0 stale / 0 altered / 0 replay mismatch
+
+## Original failure
+
+The first full-suite reproduction failed in `tests/self-akashic-record-compiler.test.mjs` with the assertion `scan.counts.versionLedgerCount >= 60`. The observed current scan had 35 version-ledger-bearing records at the first reproduction; after this closure's added evidence documents it has 39. The production self-Akashic specification declares `minVersionLedgerCount = 28`.
+
+Minimal reproduction before the fix:
+
+```text
+node --test --test-concurrency=1 tests/self-akashic-record-compiler.test.mjs
+4 tests; 3 pass; 1 fail
+AssertionError: 35 >= 60
+```
+
+The focused reproduction after the fix is:
+
+```text
+node --test --test-concurrency=1 tests/self-akashic-record-compiler.test.mjs
+4 tests; 4 pass; 0 fail
+```
+
+## Root cause
+
+This was a test-assumption drift, not missing history, a stale manifest, a missing receipt, a generated-artifact omission, a component-version mismatch, or a ledger inventory defect. Git history shows the production threshold `28` originated in `2ef6e68`; commit `b1e4cef4` changed the test assertion from `>= 28` to `>= 60` while retaining the production threshold. No current version-contract or RBC 1.1/RBC 1.2 receipt definition was changed.
+
+## Changed files
+
+- `tests/self-akashic-record-compiler.test.mjs`: the test now reads `DEFAULT_SELF_AKASHIC_RECORD_SPEC.thresholds.minVersionLedgerCount` instead of duplicating a stale literal.
+- `docs/A3_VERSION_LEDGER_CONTRACT_CLOSURE_v0.1.md`: this closure record.
+
+No legacy source, version history, expected receipt inventory, canonical language, or version-contract definition was deleted or rewritten.
+
+## Before/after contract
+
+| Surface | Before | After | Ruling |
+|---|---|---|---|
+| Production minimum | 28 | 28 | unchanged authoritative contract |
+| Test minimum | hard-coded 60 | imported production minimum 28 | drift removed |
+| Current scan | 35 at first reproduction | 39 after closure docs | above authoritative minimum |
+| Legacy receipt inventory | 6 expected | 6 verified | unchanged |
+| RBC 1.1 / RBC 1.2 | existing definitions | existing definitions | compatibility preserved |
+
+## Replay and final ledger root
+
+The six legacy receipts replay with stable source, bytecode, result, artifact, runtime-version, and RBC-version bindings. The self-Akashic scan now records 540 files, 172 modules, 36 documents, 162 tests, 247 commands, and 39 version-ledger records; its result root is `d5bb29e117668a80b8849b197e1274c7465ce487ac7eb6149a085bdabf584102`.
+
+The final RBC13 evidence ledger binds this closure root, the final full-suite summary, and the unchanged RBC 1.1/RBC 1.2 receipt roots. The final full-suite rerun is `741 total / 739 pass / 0 fail / 2 skip`; A3 admission is **VERIFIED** because the full suite is `0 FAIL`.
+
+Reproduction: `npm run verify:rbc13-legacy-evidence-closure` and `npm test`.