chickenbstrips
  • Joined on 2025-06-08
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-25 19:22:58 +09:00
fee479af83 docs: freeze the P24-02-EVLOG event log readability specification
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-25 18:58:34 +09:00
50207e9e6e Correct the retention claim in the P16-01-DISMISS formal proof
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-25 18:55:39 +09:00
34b16de279 Align the P16-01-DISMISS acceptance record with its kept record gaps
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-25 18:52:34 +09:00
8a2ea74f44 Record the P16-01-DISMISS auxiliary acceptance and keep original P16-01 open
4ca3bbef55 Merge commit 'f5fe2196740466a673879cb2950d96446fd99d6e' into HEAD
f5fe219674 P16-01-DISMISS: 一般従業員の通常操作での解雇(退職金を含む。P16-01 の補助の作業。原単位への加算 0)
a073ccb59b P16-01-DISMISS: 一般従業員の通常操作での解雇(退職金を含む。P16-01 の補助の作業。原単位への加算 0)
b06fec17c7 P16-01-DISMISS: 一般従業員の通常操作での解雇(退職金を含む。P16-01 の補助の作業。原単位への加算 0)
Compare 5 commits »
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-24 10:45:34 +09:00
0b59d7c23c Record the P07-01-WX auxiliary acceptance and keep original P07-01 open
9b5b09b35e Merge commit 'db87270972c9b243e3a1fccdf2c1fa96975dffc1' into HEAD
db87270972 P07-01-WX: 仕上がった天候の機能の受入:自然天候・雨・嵐・世界樹と成人客のマナ霧・上部の表示と予報・保存と移行(マナ炉の産出 120 を除く。P07-01 の補助の作業。原単位への加算 0)
f99c881bca P07-01-WX: 仕上がった天候の機能の受入:自然天候・雨・嵐・世界樹と成人客のマナ霧・上部の表示と予報・保存と移行(マナ炉の産出 120 を除く。P07-01 の補助の作業。原単位への加算 0)
c50136017b P07-01-WX: 仕上がった天候の機能の受入:自然天候・雨・嵐・世界樹と成人客のマナ霧・上部の表示と予報・保存と移行(マナ炉の産出 120 を除く。P07-01 の補助の作業。原単位への加算 0)
Compare 5 commits »
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-24 04:47:27 +09:00
7ac2224e47 docs: freeze P07 weather auxiliary acceptance scope
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-24 03:36:54 +09:00
4654789b01 docs: freeze approved weather and severance specifications
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-23 22:52:44 +09:00
48d3b0023b Complete original P05-02 acceptance and keep P05 residuals open
cb183fd127 Merge commit '895491456477b42a74e59fa239bea86c4fb9aa33' into HEAD
8954914564 P05-02: 全費目と資金区分:表金・裏金、維持費未払い、仕入れ、人件費、元本、利息、税の帳簿への接続(原 P05-02 の完了の条件)
d65e3da9f3 P05-02: 全費目と資金区分:表金・裏金、維持費未払い、仕入れ、人件費、元本、利息、税の帳簿への接続(原 P05-02 の完了の条件)
37deb6e877 P05-02: 全費目と資金区分:表金・裏金、維持費未払い、仕入れ、人件費、元本、利息、税の帳簿への接続(原 P05-02 の完了の条件)
Compare 6 commits »
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-23 15:34:29 +09:00
613b9886da docs: freeze P05-02 funds contract and decision provenance
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-22 16:15:43 +09:00
dda3eed47d Fix the P28-02-OPT registration documents (r04) for the continuing registration
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-22 11:17:24 +09:00
a916841bfc Fix the P28-02-OPT registration documents (r03) before product optimization
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-22 10:15:18 +09:00
44bce9177c Record formal P28-02 equivalence harness acceptance without original-unit credit
4e34e52097 Merge commit '9adbbee334548ac36cd49d68efc021abb7acd003' into HEAD
9adbbee334 P28-02-EQ: 意味を保つ軽量化:同等性の先行固定(harness)
a46418d064 P28-02-EQ: 意味を保つ軽量化:同等性の先行固定(harness)
b2dbda8c95 P28-02-EQ: 意味を保つ軽量化:同等性の先行固定(harness)
Compare 6 commits »
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-22 01:48:35 +09:00
54e07ca980 Update P28-02 ledger for delegated Opus reader repair
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-21 10:02:09 +09:00
ac1a115e3f Preserve retained EQ completion and static-check repair evidence
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-21 09:40:16 +09:00
e758d6873a Preserve EQ ownership evidence and final submission-stage contract
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-21 09:16:22 +09:00
f3840c9637 Correct facility enumeration and retain EQ continuation evidence
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-21 09:09:19 +09:00
51d453040f Record EQ rejection evidence and retained ownership continuation
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-21 08:47:43 +09:00
f50e2752bc Preserve EQ S2 evidence and source-backed S3a continuation
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-21 08:14:35 +09:00
e29e743ab3 Record P28-02 EQ S1 evidence and S2 continuation
chickenbstrips pushed to main at chickenbstrips/TheTree_mock 2026-10-21 07:32:14 +09:00
b0d2463a92 Record EQ timing comparison clarification and retained repair progress