docs: add phase95 json_loader escape entry
This commit is contained in:
@ -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・束縛同一性の段階移行)
|
||||
|
||||
@ -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)」:
|
||||
|
||||
3
docs/development/current/main/phases/phase-95/README.md
Normal file
3
docs/development/current/main/phases/phase-95/README.md
Normal file
@ -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 出力を検証。
|
||||
Reference in New Issue
Block a user