nyash-codex 30aa39f50b hv1 verify: add direct route (env JSON) and clean inline path; fix v1 phi incoming order; make test_runner use hv1 direct; add phase2037 phi canaries; load modules.workspace exports for alias; update docs (phase-20.38, source extensions) and CURRENT_TASK

2025-11-04 16:33:04 +09:00

..

binop.hako

smokes: 追加カバレッジ — ループ比較のネスト版、Stage‑B OOB（opt‑in）、const/binop 自己受検\n\n- loops/compare_loop_nested_vm.sh（SMOKES_ENABLE_LOOP_COMPARE=1）\n- selfhost_stageb_oob_vm.sh（SMOKES_ENABLE_STAGEB_OOB=1）\n- const/binop self_param_*（インスタンス経由の lower_* を確認）

2025-11-01 17:04:06 +09:00

branch.hako

llvm(self): compare/branch/jump/ret に self 先頭規約を導入 + 自己受検スモーク追加\n\n- lang/src/llvm_ir/instructions/{compare,branch,jump,ret}.hako self化\n- quick/core/{compare,branch,jump,ret}/self_param_* 追加\n\nsmokes(stage-b): OOB を map missing read まで拡張（寛容に観測）\n- selfhost_stageb_oob_vm.sh 更新

2025-11-01 17:16:54 +09:00

compare.hako

llvm(self): compare/branch/jump/ret に self 先頭規約を導入 + 自己受検スモーク追加\n\n- lang/src/llvm_ir/instructions/{compare,branch,jump,ret}.hako self化\n- quick/core/{compare,branch,jump,ret}/self_param_* 追加\n\nsmokes(stage-b): OOB を map missing read まで拡張（寛容に観測）\n- selfhost_stageb_oob_vm.sh 更新

2025-11-01 17:16:54 +09:00

const.hako

smokes: 追加カバレッジ — ループ比較のネスト版、Stage‑B OOB（opt‑in）、const/binop 自己受検\n\n- loops/compare_loop_nested_vm.sh（SMOKES_ENABLE_LOOP_COMPARE=1）\n- selfhost_stageb_oob_vm.sh（SMOKES_ENABLE_STAGEB_OOB=1）\n- const/binop self_param_*（インスタンス経由の lower_* を確認）

2025-11-01 17:04:06 +09:00

copy.hako

fix(mir): PHI検証panic修正 - update_cfg()を検証前に呼び出し

2025-11-01 13:28:56 +09:00

jump.hako

llvm(self): compare/branch/jump/ret に self 先頭規約を導入 + 自己受検スモーク追加\n\n- lang/src/llvm_ir/instructions/{compare,branch,jump,ret}.hako self化\n- quick/core/{compare,branch,jump,ret}/self_param_* 追加\n\nsmokes(stage-b): OOB を map missing read まで拡張（寛容に観測）\n- selfhost_stageb_oob_vm.sh 更新

2025-11-01 17:16:54 +09:00

loopform.hako

feat(phase33): loopform.hako complete implementation - All Stages (1-4) finished

2025-11-01 08:32:20 +09:00

mir_call.hako

hv1 verify: add direct route (env JSON) and clean inline path; fix v1 phi incoming order; make test_runner use hv1 direct; add phase2037 phi canaries; load modules.workspace exports for alias; update docs (phase-20.38, source extensions) and CURRENT_TASK

2025-11-04 16:33:04 +09:00

phi.hako

llvm(phis): 静的Box self 先頭規約を phi に段階導入し、自己検証スモークを追加\n\n- lang/src/llvm_ir/instructions/phi.hako: lower_* 群に self を追加（呼び出し側はインスタンス経由で互換）\n- smokes: quick/core/phi/self_param_phi_vm.sh で JSON 生成を確認

2025-11-01 17:01:14 +09:00

ret.hako

llvm(self): compare/branch/jump/ret に self 先頭規約を導入 + 自己受検スモーク追加\n\n- lang/src/llvm_ir/instructions/{compare,branch,jump,ret}.hako self化\n- quick/core/{compare,branch,jump,ret}/self_param_* 追加\n\nsmokes(stage-b): OOB を map missing read まで拡張（寛容に観測）\n- selfhost_stageb_oob_vm.sh 更新

2025-11-01 17:16:54 +09:00