|
|
b105f82547
|
phase29ao(p39): release adopt pattern2 break subset
|
2025-12-30 18:04:39 +09:00 |
|
|
|
46834f3aec
|
docs(phase29ao): add p39 stage2 pattern2 instructions
|
2025-12-30 17:56:58 +09:00 |
|
|
|
f46217d93f
|
phase29ao(p38): release adopt pattern7 split-scan subset
|
2025-12-30 17:51:29 +09:00 |
|
|
|
45a3487bb1
|
docs(phase29ao): add p38 stage2 pattern7 instructions
|
2025-12-30 17:44:10 +09:00 |
|
|
|
7bb5ee56db
|
phase29ao(p37): release adopt pattern6 scan_with_init subset
|
2025-12-30 17:40:00 +09:00 |
|
|
|
2c77baedd1
|
docs(phase29ao): add p37 stage2 pattern6 instructions
|
2025-12-30 17:29:57 +09:00 |
|
|
|
1b11f75a6e
|
phase29ao(p36): release adopt pattern1 coreplan skeleton pilot
|
2025-12-30 17:22:14 +09:00 |
|
|
|
f6adf2a43f
|
phase29ao(p35): ssot tag coverage and pattern1 negative gate
|
2025-12-30 16:55:38 +09:00 |
|
|
|
3bbd501479
|
docs: reduce coreplan roadmap duplication
|
2025-12-30 16:45:49 +09:00 |
|
|
|
743933225e
|
phase29ao(p34): prevent pattern2 shadow-adopt on negative cases
|
2025-12-30 16:35:27 +09:00 |
|
|
|
7307ff76f6
|
phase29ao(p34): prevent pattern2 shadow-adopt on negative cases
|
2025-12-30 16:06:24 +09:00 |
|
|
|
59a29a86d3
|
phase29ao(p33): planner-derive pattern2 loopbodylocal smokes
|
2025-12-30 15:58:19 +09:00 |
|
|
|
363549b152
|
docs(phase29ao): add p33 pattern2 loopbodylocal planner-derive instruction
|
2025-12-30 15:34:58 +09:00 |
|
|
|
dd7f923b88
|
phase29ao(p32): strict adopt pattern2 realworld from facts
|
2025-12-30 15:28:40 +09:00 |
|
|
|
e84739f0c0
|
docs(phase29ao): add p32 pattern2 realworld instruction
|
2025-12-30 14:54:22 +09:00 |
|
|
|
20a3a918be
|
phase29ao(p31): ssot shadow adopt routing in composer
|
2025-12-30 14:47:44 +09:00 |
|
|
|
b3e2ff57d5
|
docs(phase29ao): add p31 shadow adopt router refactor instruction
|
2025-12-30 14:32:29 +09:00 |
|
|
|
a189c9e301
|
phase29ao(p30): move shadow adopt composer ssot
|
2025-12-30 14:28:42 +09:00 |
|
|
|
a352e7e800
|
docs(phase29ao): add p30 move shadow adopt composer ssot instruction
|
2025-12-30 14:15:24 +09:00 |
|
|
|
ac5231555f
|
phase29ao(p29): require shadow adopt tags for all gate patterns
|
2025-12-30 14:11:17 +09:00 |
|
|
|
ac272526c1
|
docs(phase29ao): add p29 shadow adopt tag coverage instruction
|
2025-12-30 14:03:31 +09:00 |
|
|
|
ab745e958a
|
phase29ao(p28): add shadow adopt tags + gate smokes for p6/p7
|
2025-12-30 13:57:07 +09:00 |
|
|
|
6acda7f15d
|
docs(phase29ao): add p28 shadow adopt observability instruction
|
2025-12-30 13:47:35 +09:00 |
|
|
|
bbd1194a26
|
phase29ao(p27): strict/dev adopt pattern6 scan_with_init subset from facts
|
2025-12-30 13:41:18 +09:00 |
|
|
|
d9afc803ef
|
docs(phase29ao): add p27 pattern6 subset strict adopt instruction
|
2025-12-30 13:34:29 +09:00 |
|
|
|
52fc3f9353
|
phase29ao(p26): strict/dev adopt pattern2 break subset from facts
|
2025-12-30 13:30:28 +09:00 |
|
|
|
00f824e3e5
|
docs(phase29ao): add p26 pattern2 subset strict adopt instruction
|
2025-12-30 11:03:28 +09:00 |
|
|
|
45369ba763
|
phase29ao(p25): strict/dev adopt pattern5 from facts
|
2025-12-30 10:58:08 +09:00 |
|
|
|
7556ffd8ec
|
docs(phase29ao): add p25 pattern5 strict adopt instruction
|
2025-12-30 10:50:21 +09:00 |
|
|
|
e122c9a7d6
|
phase29ao(p24): strict/dev adopt pattern7 from facts
|
2025-12-30 10:34:31 +09:00 |
|
|
|
6a2a0061ec
|
docs(phase29ao): add coreloop exitmap composition ssot (p20)
|
2025-12-30 09:20:24 +09:00 |
|
|
|
0e78122129
|
docs(phase29ao): add p1 composer api bridge roadmap
|
2025-12-30 04:05:49 +09:00 |
|
|
|
fceae90f63
|
docs(phase29an): start skeleton/feature facts phase
|
2025-12-29 17:20:41 +09:00 |
|
|
|
9b8673207e
|
docs(phase29al): coreplan migration roadmap ssot
|
2025-12-29 16:25:34 +09:00 |
|
|
|
c53f1edf31
|
docs(phase29al): exitkind cleanup effect contract ssot
|
2025-12-29 16:21:13 +09:00 |
|
|
|
786d2f5720
|
docs(phase29al): effect classification ssot
|
2025-12-29 16:16:53 +09:00 |
|
|
|
77b488b256
|
docs(phase29al): post-phi final form ssot
|
2025-12-29 16:10:33 +09:00 |
|
|
|
e598712298
|
docs(phase29al): post-phi final form ssot
|
2025-12-29 16:06:14 +09:00 |
|
|
|
bf9a63c53f
|
docs(phase29al): ssot skeleton/feature model; planfrag freeze tag
|
2025-12-29 16:01:26 +09:00 |
|
|
|
c7697edde1
|
phase29ai(p7): planner returns DomainPlan (no hardcoded names)
|
2025-12-29 08:39:33 +09:00 |
|
|
|
b8586cfaf7
|
docs(phase29ai): link P2 SSOT docs
|
2025-12-29 07:13:55 +09:00 |
|
|
|
07529d3826
|
docs(phase29ai): add P2 SSOT registry + freeze taxonomy
|
2025-12-29 07:07:39 +09:00 |
|
|
|
d8786ebab9
|
phase29ad(p3): finalize pattern6/7 fixture naming ssot
|
2025-12-28 17:51:11 +09:00 |
|
|
|
9c44e990a9
|
phase29ad(p0): split pattern6 ok vs contract fixtures
|
2025-12-28 17:30:34 +09:00 |
|
|
|
1e1679f361
|
phase29ac(p1): normalize pattern6 reverse scan and flip smoke to PASS
|
2025-12-28 16:54:01 +09:00 |
|
|
|
209b04d808
|
docs(phase29ab): closeout P1-P9
|
2025-12-28 16:36:15 +09:00 |
|
|
|
b52788b3f6
|
phase29ab(p6): freeze pattern6 scan-with-init near-miss with fixture+smoke
|
2025-12-28 15:38:19 +09:00 |
|
|
|
bea2a8d9bb
|
phase29ab(p5): freeze pattern7 split-scan near-miss with fixture+smoke
|
2025-12-28 14:32:19 +09:00 |
|
|
|
630ed02c48
|
feat(joinir): Phase 286 P2.7 - V10不変条件追加（body_bb effects契約）
- verifier.rs: V10検証追加 - body_bbのblock_effectsは空でなければならない
- 違反時: "[V10] Loop at depth N has non-empty block_effects for body_bb"
- テスト: test_v10_body_bb_effects_in_block_effects_fails
- joinir-plan-frag-ssot.md: V10をPlan段階の不変条件に追加
- README.md: P2.7セクション追加
Phase 286 P2.6.1で発見した「lowererはloop_plan.bodyをemitし、
block_effectsのbody_bbは無視する」問題を契約化し再発防止。
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
|
2025-12-26 04:55:14 +09:00 |
|
|
|
843d094598
|
refactor(joinir): Phase 286 P1-P3 - Boundary contract context enrichment
- P1: Add alloc_join_param()/alloc_join_local() API to JoinValueSpace
- Prevents future API misuse (thin wrappers with explicit "JoinIR" context)
- Updated docs with footnote-style number references
- P2: Enrich error context with host_fn for better diagnostics
- Added context: &str parameter to verify_boundary_contract_at_creation()
- Error format now shows: [merge_joinir_mir_blocks host=<fn> ...]
- P3: Add join-side info to error context (continuation count + boundary summary)
- Uses boundary.continuation_func_ids.len() for join=
- Adds [conts=X exits=Y conds=Z] suffix with fixed key names
- Enables faster debugging with log-searchable format
Error format: [merge_joinir_mir_blocks host=X join=Y [conts=A exits=B conds=C]]
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-Authored-By: Claude <noreply@anthropic.com>
|
2025-12-25 02:15:40 +09:00 |
|
