diff --git a/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md b/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md index 24e794ca..bf763431 100644 --- a/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md +++ b/docs/development/current/main/01-JoinIR-Selfhost-INDEX.md @@ -47,6 +47,8 @@ JoinIR の箱構造と責務、ループ/if の lowering パターンを把握 - `docs/development/current/main/phases/phase-93/README.md` 7. Phase 94: P5b “完全E2E”(escape skip / derived) - `docs/development/current/main/phases/phase-94/README.md` +8. Phase 95: MiniJsonLoader escape ループ(Phase 94 基盤の横展開) + - `docs/development/current/main/phases/phase-95/README.md` 6. MIR Builder(Context 分割の入口) - `src/mir/builder/README.md` 7. Scope/BindingId(shadowing・束縛同一性の段階移行) diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 1ab04098..b055566b 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -56,6 +56,13 @@ - integration smoke: `tools/smokes/v2/profiles/integration/apps/phase94_p5b_escape_e2e.sh` - Phase 記録(入口): `docs/development/current/main/phases/phase-94/README.md` +## 2025‑12‑16:Phase 95(短報) + +- MiniJsonLoader の escape ループを Phase 94 基盤で固定(派生 body-local + 条件付き skip)。 + - フィクスチャ: `apps/tests/phase95_json_loader_escape_min.hako` + - smoke: `tools/smokes/v2/profiles/integration/apps/phase95_json_loader_escape_vm.sh` + - Phase 記録(入口): `docs/development/current/main/phases/phase-95/README.md` + ## 2025‑12‑14:現状サマリ (補足)docs が増えて迷子になったときの「置き場所ルール(SSOT)」: diff --git a/docs/development/current/main/phases/phase-95/README.md b/docs/development/current/main/phases/phase-95/README.md new file mode 100644 index 00000000..7aabe10d --- /dev/null +++ b/docs/development/current/main/phases/phase-95/README.md @@ -0,0 +1,3 @@ +- Phase 95: json_loader escape loopを Phase 94 基盤(BodyLocalDerivedEmitter + p5b_escape_derived_policy)でE2E固定する。 +- 新規フィクスチャ: apps/tests/phase95_json_loader_escape_min.hako(hello" world を出力) +- ガード: HAKO_JOINIR_STRICT=1 で fail-fast 維持。smoke (integration) で VM 出力を検証。