-
fee479af83
docs: freeze the P24-02-EVLOG event log readability specification
main
Claude Opus 5.5 (Desktop)
2026-10-25 19:22:54 +09:00
-
50207e9e6e
Correct the retention claim in the P16-01-DISMISS formal proof
Claude Opus 5.5 (Desktop)
2026-10-25 18:58:32 +09:00
-
34b16de279
Align the P16-01-DISMISS acceptance record with its kept record gaps
Claude Opus 5.5 (Desktop)
2026-10-25 18:55:36 +09:00
-
8a2ea74f44
Record the P16-01-DISMISS auxiliary acceptance and keep original P16-01 open
Claude Opus 5.5 (Desktop)
2026-10-25 18:52:22 +09:00
-
4ca3bbef55
Merge commit 'f5fe2196740466a673879cb2950d96446fd99d6e' into HEAD
Agent Control Runner
2026-10-25 18:38:28 +09:00
-
-
f5fe219674
P16-01-DISMISS: 一般従業員の通常操作での解雇（退職金を含む。P16-01 の補助の作業。原単位への加算 0）
Agent Control Runner
2026-10-25 17:01:25 +09:00
-
a073ccb59b
P16-01-DISMISS: 一般従業員の通常操作での解雇（退職金を含む。P16-01 の補助の作業。原単位への加算 0）
Agent Control Runner
2026-10-25 14:45:45 +09:00
-
b06fec17c7
P16-01-DISMISS: 一般従業員の通常操作での解雇（退職金を含む。P16-01 の補助の作業。原単位への加算 0）
Agent Control Runner
2026-10-24 12:49:31 +09:00
-
-
0b59d7c23c
Record the P07-01-WX auxiliary acceptance and keep original P07-01 open
Claude Opus 5.5 (Desktop)
2026-10-24 10:45:24 +09:00
-
9b5b09b35e
Merge commit 'db87270972c9b243e3a1fccdf2c1fa96975dffc1' into HEAD
Agent Control Runner
2026-10-24 10:25:30 +09:00
-
-
db87270972
P07-01-WX: 仕上がった天候の機能の受入：自然天候・雨・嵐・世界樹と成人客のマナ霧・上部の表示と予報・保存と移行（マナ炉の産出 120 を除く。P07-01 の補助の作業。原単位への加算 0）
Agent Control Runner
2026-10-24 08:59:36 +09:00
-
f99c881bca
P07-01-WX: 仕上がった天候の機能の受入：自然天候・雨・嵐・世界樹と成人客のマナ霧・上部の表示と予報・保存と移行（マナ炉の産出 120 を除く。P07-01 の補助の作業。原単位への加算 0）
Agent Control Runner
2026-10-24 07:08:23 +09:00
-
c50136017b
P07-01-WX: 仕上がった天候の機能の受入：自然天候・雨・嵐・世界樹と成人客のマナ霧・上部の表示と予報・保存と移行（マナ炉の産出 120 を除く。P07-01 の補助の作業。原単位への加算 0）
Agent Control Runner
2026-10-24 05:04:48 +09:00
-
-
7ac2224e47
docs: freeze P07 weather auxiliary acceptance scope
Codex
2026-10-24 04:47:24 +09:00
-
4654789b01
docs: freeze approved weather and severance specifications
Codex
2026-10-24 03:36:52 +09:00
-
48d3b0023b
Complete original P05-02 acceptance and keep P05 residuals open
Claude Opus 5.5 (Desktop)
2026-10-23 22:52:34 +09:00
-
cb183fd127
Merge commit '895491456477b42a74e59fa239bea86c4fb9aa33' into HEAD
Agent Control Runner
2026-10-23 22:38:54 +09:00
-
-
8954914564
P05-02: 全費目と資金区分：表金・裏金、維持費未払い、仕入れ、人件費、元本、利息、税の帳簿への接続（原 P05-02 の完了の条件）
Agent Control Runner
2026-10-23 21:14:42 +09:00
-
d65e3da9f3
P05-02: 全費目と資金区分：表金・裏金、維持費未払い、仕入れ、人件費、元本、利息、税の帳簿への接続（原 P05-02 の完了の条件）
Agent Control Runner
2026-10-23 19:42:50 +09:00
-
37deb6e877
P05-02: 全費目と資金区分：表金・裏金、維持費未払い、仕入れ、人件費、元本、利息、税の帳簿への接続（原 P05-02 の完了の条件）
Agent Control Runner
2026-10-23 16:12:07 +09:00
-
7808ca76db
P05-02: 全費目と資金区分：表金・裏金、維持費未払い、仕入れ、人件費、元本、利息、税の帳簿への接続（原 P05-02 の完了の条件）
Agent Control Runner
2026-10-23 16:02:54 +09:00
-
-
613b9886da
docs: freeze P05-02 funds contract and decision provenance
Codex
2026-10-23 15:28:56 +09:00
-
dda3eed47d
Fix the P28-02-OPT registration documents (r04) for the continuing registration
Claude Opus 5.5 (Desktop)
2026-10-22 16:15:36 +09:00
-
a916841bfc
Fix the P28-02-OPT registration documents (r03) before product optimization
Claude Opus 5.5 (Desktop)
2026-10-22 11:17:17 +09:00
-
44bce9177c
Record formal P28-02 equivalence harness acceptance without original-unit credit
Claude Opus 5.5 (Desktop)
2026-10-22 10:15:10 +09:00
-
4e34e52097
Merge commit '9adbbee334548ac36cd49d68efc021abb7acd003' into HEAD
Agent Control Runner
2026-10-22 09:07:26 +09:00
-
-
9adbbee334
P28-02-EQ: 意味を保つ軽量化：同等性の先行固定（harness）
Agent Control Runner
2026-10-22 06:42:29 +09:00
-
a46418d064
P28-02-EQ: 意味を保つ軽量化：同等性の先行固定（harness）
Agent Control Runner
2026-10-22 04:31:20 +09:00
-
b2dbda8c95
P28-02-EQ: 意味を保つ軽量化：同等性の先行固定（harness）
Agent Control Runner
2026-10-22 03:38:46 +09:00
-
54e07ca980
Update P28-02 ledger for delegated Opus reader repair
Codex
2026-10-22 01:48:26 +09:00
-
6f75c9a051
P28-02-EQ: 意味を保つ軽量化：同等性の先行固定（harness）
Agent Control Runner
2026-10-21 10:10:39 +09:00
-
ac1a115e3f
Preserve retained EQ completion and static-check repair evidence
Codex
2026-10-21 10:02:07 +09:00
-
e758d6873a
Preserve EQ ownership evidence and final submission-stage contract
Codex
2026-10-21 09:40:14 +09:00
-
f3840c9637
Correct facility enumeration and retain EQ continuation evidence
Codex
2026-10-21 09:16:20 +09:00
-
51d453040f
Record EQ rejection evidence and retained ownership continuation
Codex
2026-10-21 09:09:12 +09:00
-
f50e2752bc
Preserve EQ S2 evidence and source-backed S3a continuation
Codex
2026-10-21 08:47:37 +09:00
-
e29e743ab3
Record P28-02 EQ S1 evidence and S2 continuation
Codex
2026-10-21 08:14:27 +09:00
-
b0d2463a92
Record EQ timing comparison clarification and retained repair progress
Codex
2026-10-21 07:32:10 +09:00
-
-
2549cf7d69
Freeze Opus P28-02 equivalence contract before product optimization
Codex
2026-10-21 07:17:23 +09:00
-
dfe07eba27
Record formal P28-02 diagnostic acceptance without original-unit credit
Codex
2026-10-21 07:10:27 +09:00
-
fdb309f3bc
Merge commit 'd6ce6ddb95e38ef987f37af98f02f0531483008f' into HEAD
Agent Control Runner
2026-10-21 07:07:28 +09:00
-
-
a25ee83441
Record current Windows upload and retained P28 diagnostic repair
Codex
2026-10-21 06:36:13 +09:00
-
d6ce6ddb95
P28-02-DIAG: 意味を保つ軽量化：実測上位の特定（受動的な診断）
Agent Control Runner
2026-10-21 06:36:04 +09:00
-
ecbbb6bb16
P28-02-DIAG: 意味を保つ軽量化：実測上位の特定（受動的な診断）
Agent Control Runner
2026-10-21 06:24:40 +09:00
-
89162734d4
Define diagnostic lifecycle and retain same-worker continuation
Codex
2026-10-21 06:06:36 +09:00
-
8b5d0d46fa
Clarify diagnostic state guards and continue the retained P28-02 task
Codex
2026-10-21 05:58:18 +09:00
-
0fb102d497
Record actual Opus-directed P28-02 diagnostic execution
Codex
2026-10-21 05:49:53 +09:00
-
-
8c06c3b442
Define P28-02 passive diagnostics and equivalence acceptance sequence
Codex
2026-10-21 05:42:36 +09:00
-
413c8e3e51
Complete original P28-01 acceptance and preserve performance shortfalls
Codex
2026-10-21 05:33:29 +09:00
-
ae9ae47646
Merge commit 'ddde6f8ab50db6baa03f25453a02814b78bbf365' into HEAD
Agent Control Runner
2026-10-21 05:27:11 +09:00
-
-
ddde6f8ab5
P28-01-GATE: 原P28-01 whole-unit 受入ゲート（既存証拠の結合）
Agent Control Runner
2026-10-21 05:00:40 +09:00
-
-
0aee05e1d9
Record restart acceptance and adopt original P28-01 evidence gate
Codex
2026-10-21 04:41:32 +09:00
-
3ac2cedc8d
Merge commit '954528a7c5a0e27e2e50b642373168fa0a550aba' into HEAD
Agent Control Runner
2026-10-21 04:23:01 +09:00
-
-
3086af2ccd
Record restart canonical fix validation and retained failures
Codex
2026-10-21 04:01:07 +09:00
-
954528a7c5
P28-01-RESTART: 現HEADの性能基準：途中保存・別PID再開の再現
Agent Control Runner
2026-10-21 03:50:39 +09:00
-
464cc26fd3
Preserve formal restart results and native parser failure
Codex
2026-10-21 03:10:44 +09:00
-
e524ff2924
P28-01-RESTART: 現HEADの性能基準：途中保存・別PID再開の再現
Agent Control Runner
2026-10-21 03:09:04 +09:00
-
5e4d96d910
P28-01-RESTART: 現HEADの性能基準：途中保存・別PID再開の再現
Agent Control Runner
2026-10-21 02:55:23 +09:00
-
14764a2e0a
Record restart native evidence and actual review repair state
Codex
2026-10-21 02:40:15 +09:00
-
ab4f40e71c
docs: record formally validated restart candidate and native acceptance stage
Codex
2026-10-21 02:06:25 +09:00
-
bc703c9f6f
P28-01-RESTART: 現HEADの性能基準：途中保存・別PID再開の再現
Agent Control Runner
2026-10-21 01:57:18 +09:00
-
f2a1249440
P28-01-RESTART: 現HEADの性能基準：途中保存・別PID再開の再現
Agent Control Runner
2026-10-21 01:51:44 +09:00
-
558fca6f8f
docs: record actual restart repair2 and retain failed run history
Codex
2026-10-21 01:31:50 +09:00
-
2f77560013
P28-01-RESTART: Clarification02 patch (own 4 modules vs 6 external deps; full typed-bytes SHA vs SimulationDigest)
TakeshiandClaude Opus 5.5
2026-10-21 01:26:45 +09:00
-
971996f6d5
P28-01-RESTART: Track SPEC_CLARIFICATION_02 (6-file import closure, execution contract)
TakeshiandClaude Opus 5.5
2026-10-21 01:21:00 +09:00
-
d908a2c4a2
Carry forward Opus restart clarification and repair evidence
Codex
2026-10-21 01:16:07 +09:00
-
bc582be820
P28-01-RESTART: Track SPEC_CLARIFICATION_01 (spec SHA algorithms, exact X(B, SAVE_LOAD_FAILED))
TakeshiandClaude Opus 5.5
2026-10-21 01:08:32 +09:00
-
815e86f589
Pin current P28 ledger validation result
Codex
2026-10-21 01:05:53 +09:00
-
71290054b7
Record integrated P28 measurement and retained acceptance gaps
Codex
2026-10-21 01:05:20 +09:00
-
131e9a599a
P28-01-RESTART: Registration proposal pinned to base
2132bbe and full9 receipt
TakeshiandClaude Opus 5.5
2026-10-21 00:54:07 +09:00
-
-
2132bbe3d3
P28-01-RESTART: Track spec, worker instructions and Root 4-PID procedure
TakeshiandClaude Opus 5.5
2026-10-21 00:53:49 +09:00
-
db9d6132a8
Record formal P28 collector acceptance and remaining original-unit gates
Codex
2026-10-21 00:29:48 +09:00
-
0f53a67210
Merge commit '5db97d78a15c2895ac5379a8bbba2fb95f0004dd' into HEAD
Agent Control Runner
2026-10-21 00:18:54 +09:00
-
-
5db97d78a1
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 23:56:37 +09:00
-
25198e2924
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 23:44:54 +09:00
-
061df6f120
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 23:27:09 +09:00
-
c1d9ad51db
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 23:12:06 +09:00
-
90e3e312fe
docs: reconcile Claude progress and current P28 acceptance
Takeshi
2026-10-20 23:01:54 +09:00
-
a09681e287
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 22:37:35 +09:00
-
3ac3243dfb
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 21:48:59 +09:00
-
7bf44b072c
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 21:35:45 +09:00
-
11b7a24a52
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 21:19:49 +09:00
-
990481709c
P28-01-COLLECTOR: 現HEADの性能基準：windowed x1/x3・Operations ON collector
Agent Control Runner
2026-10-20 20:47:01 +09:00
-
86049b3819
P28-01: Align registration proposal with revised spec (base
8fe128c, C1-C9, inputs)
TakeshiandClaude Opus 5.5
2026-10-20 20:14:28 +09:00
-
-
8fe128c5a8
P28-01: Fix Ops ON input, startup order, render counts and proof roles in spec
TakeshiandClaude Opus 5.5
2026-10-20 20:13:56 +09:00
-
91676c6e16
P28-01: Pin registration base_commit to
9b4518c, which contains SPEC.md
TakeshiandClaude Opus 5.5
2026-10-20 20:09:47 +09:00
-
9b4518cd48
P28-01: Prepare minimal batch spec, registration proposal and task instructions
TakeshiandClaude Opus 5.5
2026-10-20 20:05:10 +09:00
-
8c36c100b2
P14-03: Record Runner formal completion; P14 package complete, units 22/88
TakeshiandClaude Opus 5.5
2026-10-20 19:56:15 +09:00
-
b7f6168dc8
Merge commit 'a5d2491204f0604d07bfd1f1c41344a08e6f4835' into HEAD
Agent Control Runner
2026-10-20 19:46:30 +09:00
-
-
a5d2491204
P14-03: 混雑と経路選択
Agent Control Runner
2026-10-20 19:29:07 +09:00
-
-
e8b3dbe7a4
P14-03: Record review PASS awaiting Runner gate; sync current status
TakeshiandClaude Opus 5.5
2026-10-20 19:18:54 +09:00
-
83b170a4c7
Fix regressions in roster-only suites from A06/A07/P14-03
TakeshiandClaude Opus 5.5
2026-10-20 17:08:40 +09:00
-
40364345ab
P14-03: Prove new-PID pairs inside the roster; declare UIDs and policy pins
TakeshiandClaude Opus 5.5
2026-10-20 16:54:45 +09:00
-
a8edd3c3a1
P14-03: Versioned shaft-wait saves, keep riders aboard, real-actor proof
TakeshiandClaude Opus 5.5
2026-10-20 16:51:41 +09:00
-
62d1dcecad
P14-03: Add evidence matrix (regression and review pending)
TakeshiandClaude Opus 5.5
2026-10-20 16:10:56 +09:00
-
0754f412a8
P14-03: Price whole-shaft elevator waits in A* route choice
TakeshiandClaude Opus 5.5
2026-10-20 15:57:28 +09:00
-
50ceca0b7d
P06-02: Record completion under delegated approval; P06 package complete, units 21/88
TakeshiandClaude Opus 5.5
2026-10-20 15:48:26 +09:00
-
d743bd67b6
P06-02: Assert no SERVICE_SALE events during the natural outage
TakeshiandClaude Opus 5.5
2026-10-20 15:48:08 +09:00
-
f6f9c9c0d4
P06-02: Prove whole-tower stop under natural A06 depletion across PIDs
TakeshiandClaude Opus 5.5
2026-10-20 15:18:38 +09:00
-
0f23d34e9f
Path: Apply "!id" access to layer-crossing and no-route diagnostics
TakeshiandClaude Opus 5.5
2026-10-20 15:12:47 +09:00