Commit Graph

  • 3f81640764 feat(normalization): Phase 143 P0 Step 1-2 - Pattern detection skeleton + routing main tomoaki 2025-12-19 05:52:19 +09:00
  • af2a5e27d6 feat(normalization): Phase 142 P1 - LLVM EXE parity for loop normalization tomoaki 2025-12-19 05:42:11 +09:00
  • 4082abb30c feat(normalization): Phase 142 P0 - Loop statement-level normalization tomoaki 2025-12-19 05:28:49 +09:00
  • 275fe45ba4 feat(normalization): Phase 142 P0 - Statement-level normalization tomoaki 2025-12-19 04:41:01 +09:00
  • 3ef929df53 docs(normalization): Update README for Phase 142 P0 tomoaki 2025-12-19 04:40:35 +09:00
  • aaba27d311 refactor(normalization): Deprecate LoopWithPost variant tomoaki 2025-12-19 04:39:25 +09:00
  • 21a3c6b5d4 docs(normalization): Update suffix_router comments for Phase 142 P0 tomoaki 2025-12-19 04:31:45 +09:00
  • 1742f0412e feat(normalized): Phase 141 P1.5 - external env inputs + KnownIntrinsic SSOT nyash-codex 2025-12-19 03:59:41 +09:00
  • 1154aeb40a docs: Phase 138 - ReturnValueLowererBox SSOT documentation nyash-codex 2025-12-19 00:56:02 +09:00
  • 95daf230c4 refactor(normalized_shadow): Phase 138 - extract ReturnValueLowererBox (no behavior change) nyash-codex 2025-12-19 00:55:51 +09:00
  • 962d1803c9 docs: Phase 136/137 - return literal and add expression documentation nyash-codex 2025-12-19 00:16:06 +09:00
  • 1264b3593d fix(normalization): Tighten loop(true) gate to prevent loop(i<n) mismatch nyash-codex 2025-12-19 00:15:51 +09:00
  • ff09adebe0 feat(control_tree): Phase 136/137 - return literal and add expression (dev-only) nyash-codex 2025-12-19 00:15:32 +09:00
  • 91c7dfbf0b refactor(normalization): Phase 135 P0 - Extend plan to zero post-loop assigns nyash-codex 2025-12-18 22:46:32 +09:00
  • f4ab5ca5f4 refactor(control_flow): Phase 134 P0 - Normalization entry point SSOT nyash-codex 2025-12-18 22:29:29 +09:00
  • ef71ea955c feat(control_tree): Phase 133 P0 - Multiple post-loop assigns support nyash-codex 2025-12-18 22:11:08 +09:00
  • 9fb35bbc05 docs: Phase 132 DONE - loop(true) + post-loop complete nyash-codex 2025-12-18 21:53:54 +09:00
  • d5a36cf818 refactor(joinir): Phase 132-R0 - Continuation SSOT + legacy isolation nyash-codex 2025-12-18 21:52:21 +09:00
  • 149e30cae5 fix(joinir): Phase 132 P1 - k_exit continuation classification fix nyash-codex 2025-12-18 21:51:52 +09:00
  • b5d8ace6ab feat(control_tree): Phase 132 P0 + P0.5 - loop(true) + post-loop support nyash-codex 2025-12-18 21:51:33 +09:00
  • 4169da8c33 docs: Phase 131 refactoring tasks 1-7 completion nyash-codex 2025-12-18 18:29:02 +09:00
  • f42fcd33b4 refactor(joinir,smokes): Task 2,3,4 - instruction_rewriter boxification + OutputContract unification nyash-codex 2025-12-18 18:28:50 +09:00
  • 0ef032ccc8 refactor(smokes): Task 5 - Environment variable SSOT centralization nyash-codex 2025-12-18 18:28:37 +09:00
  • d6225a88d0 refactor(joinir): Task 6 & 7 - MergeConfig unification + contract_checks tests nyash-codex 2025-12-18 18:28:24 +09:00
  • f775c0fe01 docs: Phase 131 P2 DirectValue exit reconnection complete nyash-codex 2025-12-18 17:48:18 +09:00
  • 02c4c313e5 feat(control_tree): Phase 131 P1.5-P2 DirectValue exit reconnection nyash-codex 2025-12-18 17:48:05 +09:00
  • bfac188732 docs: Phase 131 P1.5 DirectValue exit reconnection design nyash-codex 2025-12-18 17:47:45 +09:00
  • bd39e09c5d docs: Phase 131 P0 structure implementation complete nyash-codex 2025-12-18 09:36:50 +09:00
  • b531a64d67 feat(control_tree): Phase 131 normalized loop(true) break-once builder (dev-only) nyash-codex 2025-12-18 09:36:38 +09:00
  • 38d3c98822 test(joinir): Phase 131 loop(true) break-once fixture + VM/LLVM smokes nyash-codex 2025-12-18 09:36:25 +09:00
  • 353b8022af docs: clarify Phase 130 LLVM EXE smoke gating nyash-codex 2025-12-18 09:22:15 +09:00
  • 46a623fd75 fix(llvm): make LLVM EXE smokes use workspace target and reliable build_llvm nyash-codex 2025-12-18 09:22:11 +09:00
  • 4a109eb6b9 test(smokes): make LLVM EXE runner skip when object emit unavailable nyash-codex 2025-12-18 09:13:23 +09:00
  • b5d628d8bf docs: Phase 130 DONE (if-only normalized small expr/assign) nyash-codex 2025-12-18 09:13:19 +09:00
  • 1afbb17529 test(joinir): Phase 130 post-if add fixture + smokes nyash-codex 2025-12-18 09:13:13 +09:00
  • 15c2eda1cf feat(control_tree): Phase 130 assign var/add in if-only normalized nyash-codex 2025-12-18 09:13:08 +09:00
  • 05fccce09a docs: add Phase 130 plan and set Now to Phase 130 nyash-codex 2025-12-18 08:36:38 +09:00
  • 80df1cccd4 feat(control_tree): Phase 129-C post-if via post_k continuation nyash-codex 2025-12-18 08:33:56 +09:00
  • b2af9fb297 docs: update normalized_shadow references and Phase 129 status nyash-codex 2025-12-18 08:18:20 +09:00
  • df23a52916 refactor(control_tree): modularize normalized_shadow dev pipeline nyash-codex 2025-12-18 08:14:49 +09:00
  • 36717cad4f docs: update Now/INDEX for Phase 129-B join_k as-last nyash-codex 2025-12-18 07:54:16 +09:00
  • e0cbeb9aa0 feat(control_tree): Phase 129-B join_k as-last lowering nyash-codex 2025-12-18 07:53:27 +09:00
  • f0a03d20d0 test(joinir): Phase 129 join_k as-last fixture + VM smoke nyash-codex 2025-12-18 07:53:27 +09:00
  • 088122df71 docs: update Now/INDEX for Phase 127 DONE and Phase 129 next nyash-codex 2025-12-18 07:28:30 +09:00
  • b822355431 docs: Phase 129 progress report (P0-P3 complete) nyash-codex 2025-12-18 07:20:46 +09:00
  • 0d2eafd780 docs: Phase 129 P1 implementation plan (join_k materialization) nyash-codex 2025-12-18 07:19:22 +09:00
  • 083be99214 test(joinir): Phase 129 P2 - add post-if return var fixture + VM smoke nyash-codex 2025-12-18 07:18:00 +09:00
  • e7ad3d31ba test(joinir): Phase 129 P0 - add LLVM EXE smoke for Phase 128 nyash-codex 2025-12-18 07:15:23 +09:00
  • d74f77d2ed docs: Phase 128 DONE nyash-codex 2025-12-18 07:08:32 +09:00
  • daf1827c03 test(joinir): Phase 128 - add fixture + smoke test (VM) nyash-codex 2025-12-18 07:07:04 +09:00
  • 505ce03dfc test(joinir): Phase 128 P3 - add minimal fixture for partial assign pattern nyash-codex 2025-12-18 07:05:32 +09:00
  • c522d22daa feat(control_tree): Phase 128 - add Assign(int literal) to Normalized builder (dev-only) nyash-codex 2025-12-18 07:03:57 +09:00
  • 44762a2467 refactor(control_tree): Phase 128 - add value_ast to Assign for Normalized lowering nyash-codex 2025-12-18 07:01:39 +09:00
  • 85ee761858 docs: Phase 128 plan (if-only env merge) nyash-codex 2025-12-18 06:59:50 +09:00
  • 9aedc19413 docs: add Phase 127 entry (planned) nyash-codex 2025-12-18 06:55:29 +09:00
  • 49c2bdf2e9 docs: Phase 126 feedback report nyash-codex 2025-12-18 06:47:43 +09:00
  • b195e8bad9 docs: Phase 126 DONE (available_inputs wired) nyash-codex 2025-12-18 06:46:43 +09:00
  • 7ae424df3c test(joinir): Phase 126 assert readonly inputs actually wired nyash-codex 2025-12-18 06:45:56 +09:00
  • 72f2c1f64d feat(joinir/dev): Phase 126 wire available_inputs into normalized builder nyash-codex 2025-12-18 06:45:23 +09:00
  • 89c2915fa0 feat(control_tree): Phase 126 AvailableInputsCollectorBox nyash-codex 2025-12-18 06:43:27 +09:00
  • b7a16aacd0 docs: Phase 126 plan (wire available_inputs) nyash-codex 2025-12-18 06:40:36 +09:00
  • aabb67cdc2 docs: Phase 125 P2-P5 feedback (boxification review) nyash-codex 2025-12-18 06:33:55 +09:00
  • d7c77e1046 docs: Phase 125 P2-P5 DONE (structure-only, P3 pending) nyash-codex 2025-12-18 06:33:03 +09:00
  • 92b3c2afb5 test(joinir): Phase 125 P5 fixture + smoke (VM, structure-only) nyash-codex 2025-12-18 06:32:10 +09:00
  • 4c98313b58 refactor(control_tree): Phase 125 P2-P4 introduce EnvLayout (writes+inputs) + Return(Variable) from inputs nyash-codex 2025-12-18 06:30:55 +09:00
  • 7eeeb588e4 docs: add Phase 125 entry (planned) nyash-codex 2025-12-18 06:28:39 +09:00
  • d044af1fbc docs: Phase 124 DONE nyash-codex 2025-12-18 06:10:17 +09:00
  • 8e6791a623 test(joinir): Phase 124 return-var normalized smoke (VM) nyash-codex 2025-12-18 06:09:36 +09:00
  • c40971dc74 feat(control_tree): Phase 124 return variable from env (dev-only) nyash-codex 2025-12-18 06:05:18 +09:00
  • 320a23e3d1 refactor(control_tree): include reads in StepTreeContract signature nyash-codex 2025-12-18 06:00:21 +09:00
  • 95b25e54ad feat(control_tree): Phase 124 add reads to StepTreeFacts nyash-codex 2025-12-18 05:58:08 +09:00
  • fb4ec2c2bf docs: Phase 124 plan (reads facts + return var) nyash-codex 2025-12-18 05:54:51 +09:00
  • 4f0ffae70d docs: Phase 123 DONE nyash-codex 2025-12-18 05:50:29 +09:00
  • b3cd7c0884 test(joinir): Phase 123 normalized semantics smoke (VM) nyash-codex 2025-12-18 05:50:16 +09:00
  • 7eec4ec0c8 feat(control_tree): Phase 123 if-only compare+return lowering (Normalized, dev-only) nyash-codex 2025-12-18 05:50:09 +09:00
  • f72064f35a feat(control_tree): Phase 123 P1 return integer literal in Normalized if-only nyash-codex 2025-12-18 05:37:13 +09:00
  • 51ed137339 docs: Phase 123 plan (if-only normalized semantics) nyash-codex 2025-12-18 05:29:34 +09:00
  • bf7d3899b0 docs: Phase 122 DONE (if-only Normalized emit dev-only) nyash-codex 2025-12-18 04:54:49 +09:00
  • 4abd434366 test: Phase 122 if-only Normalized emit smoke nyash-codex 2025-12-18 04:53:04 +09:00
  • cc1a0946b0 feat(joinir/dev): build Normalized if-only module with structure verification (no behavior change) nyash-codex 2025-12-18 04:52:09 +09:00
  • 7603ef8a6a feat(control_tree): emit Normalized JoinModule for if-only (dev-only) nyash-codex 2025-12-18 04:50:32 +09:00
  • c92154966c docs: add Phase 122 entry (planned) nyash-codex 2025-12-18 04:48:53 +09:00
  • 95c9394396 docs: Phase 122 plan (if-only emit) nyash-codex 2025-12-18 04:48:49 +09:00
  • 2a53f87d10 docs: Phase 121 DONE (StepTree→Normalized shadow parity for if-only) nyash-codex 2025-12-18 04:40:53 +09:00
  • 0892df6dff test(joinir): Phase 121 shadow parity smokes (VM + LLVM EXE) nyash-codex 2025-12-18 04:39:23 +09:00
  • 89b868703f feat(joinir/dev): wire Phase 121 StepTree shadow lowering (strict fail-fast) nyash-codex 2025-12-18 04:34:43 +09:00
  • 1e5432f61a feat(control_tree): add StepTree→Normalized shadow lowerer (if-only, dev-only) nyash-codex 2025-12-18 04:31:41 +09:00
  • 8d930d2dcc docs: Phase 121 StepTree→Normalized shadow plan nyash-codex 2025-12-18 04:27:30 +09:00
  • 9d5e58305e docs: Phase 120 DONE nyash-codex 2025-12-18 04:19:48 +09:00
  • dd125cb700 test(control_tree): cover facts→contract determinism nyash-codex 2025-12-18 04:19:14 +09:00
  • 43d3e7c935 refactor(control_tree): split StepTree facts vs contract boxes nyash-codex 2025-12-18 04:18:37 +09:00
  • 4e863c7cd8 docs: Phase 120 StepTree facts/contract SSOT nyash-codex 2025-12-18 04:16:04 +09:00
  • 708accc853 docs: Phase 119 DONE nyash-codex 2025-12-18 04:09:47 +09:00
  • 98061260a0 refactor(control_tree): store AST cond handles in StepTree (dev-only) nyash-codex 2025-12-18 04:09:00 +09:00
  • 84d63ac11b docs: Phase 119 StepTree cond SSOT (AST handle) nyash-codex 2025-12-18 04:03:50 +09:00
  • 052040e59c refactor(joinir): extract ExitArgsCollectorBox for jump_args SSOT nyash-codex 2025-12-18 03:56:21 +09:00
  • 432fc96082 refactor(joinir): extract IfSumExitMetaBuilderBox for Fail-Fast carrier binding nyash-codex 2025-12-18 03:56:10 +09:00
  • 5091cda9cb docs: Phase 118 DONE (loop+if merge parity) nyash-codex 2025-12-18 03:43:16 +09:00
  • 8fb393b5e8 test(joinir): Phase 118 loop+if merge parity smokes nyash-codex 2025-12-18 03:43:10 +09:00
  • 1080dee58f fix(joinir): Phase 118 Pattern3 exit carrier PHI SSOT nyash-codex 2025-12-18 03:43:00 +09:00