Skip to content

v0.1.4

Choose a tag to compare

View all tags
@amadeus-dlc-bot amadeus-dlc-bot released this 22 Jul 13:34
· 1659 commits to main since this release
v0.1.4
5396010

What's Changed

  • record(election-ts-foundation): ideation 完了ハンドオフ — 選挙TS基盤の intent birth record by @j5ik2o in #1223
  • record(election-ts-foundation): Inception 完了の record 同期 by @j5ik2o in #1224
  • norm(project): manual-sensor-fire へ stage-mismatch 偽赤の追補4(E-PM10 C1) by @j5ik2o in #1225
  • feat(election): Bolt 1 walking-skeleton — 指令駆動選挙ループ(U1/U2/U5 核) by @j5ik2o in #1227
  • record(mirror-productization): Ideation 完了の record 同期 by @j5ik2o in #1229
  • feat(election): Bolt 2 model-complete — 5クラス検証完全化・決定的シャッフル・early tally・後着分類 by @j5ik2o in #1231
  • feat(election): Bolt 3 io-record-transport — U2 完全化+U3 record+U4 transport by @j5ik2o in #1233
  • feat(election): Bolt 4 cli-complete — U5 完全化+機械実行器 e2e(ADR-6 CI 層) by @j5ik2o in #1235
  • feat(election): Bolt 5 skill-wrap — 指令転送のみの薄い SKILL+語彙/構造/委譲ガード by @j5ik2o in #1236
  • record(election-ts-foundation): 工程記録の最終同期(18ステージ完了) by @j5ik2o in #1244
  • norm(team): election intent の §13 学習9件+amadeus-election CLI 正本切替宣言(E-ETF 系一括) by @j5ik2o in #1245
  • record(audit): d4a945003a7f シャード追記の取りこぼし同期(260717/260718) by @j5ik2o in #1246
  • record(audit): 260718 シャード末尾イベントの追記同期(#1246 フォローアップ) by @j5ik2o in #1247
  • fix(norm-metrics): accept hyphenated multi-segment E-codes in GoA and PM-cid schemas by @j5ik2o in #1256
  • norm(team): E-GMECG 追補 — 落ちる実証の pre-fix 面切替は fix コミット後・復元 ref 明示 by @j5ik2o in #1259
  • record(goa-multiseg-ecode): sync #1226 fix intent record and codekb diff-refresh by @j5ik2o in #1263
  • fix: intent完了時にactive-intentカーソルを解放し、完了済みintentへの監査追記を抑止する by @j5ik2o in #1258
  • record(cursor-complete-clear): #1248 修正ワークフローの intent record・codekb・選挙記録・intents.json を同期する by @j5ik2o in #1264
  • norm(team): E-BFAADS13 追補 — レビュアー subagent への書込禁止+verdict 最終テキストのみの明示 by @j5ik2o in #1265
  • fix(election-cli): derive rulings from choice majority in tally, not GoA favor counts alone by @j5ik2o in #1268
  • norm(team): E-TCRCGS13 追補 — worktree 隔離 subagent の resume は隔離を保証しない by @j5ik2o in #1270
  • record(tally-choice-ruling): sync #1261 fix intent record and codekb diff-refresh by @j5ik2o in #1271
  • fix(election-cli): fail-closed ballot acceptance — invalid-timestamp validation, amend submission path, per-voter resolution by @j5ik2o in #1273
  • norm(team): E-BFACG 追補2 — worktree fork はコミット済み状態のみ可視(fork 前コミット or プロンプト焼き込み) by @j5ik2o in #1274
  • record(ballot-failclosed-amend): sync #1252/#1253 fix intent record and codekb diff-refresh by @j5ik2o in #1275
  • fix(election-cli): record ballot receipt time and check timeline monotonicity on the receipt axis by @j5ik2o in #1277
  • record(ballot-received-at): sync #1262 fix intent record and codekb diff-refresh by @j5ik2o in #1278
  • record(elections,audit)+norm: leader 選挙 store 全量同期(51本)+PM10 ラウンド persist by @j5ik2o in #1280
  • norm(team): E-DAGRE 追補 — 環境固有バグの RE は再現環境内 read-only プローブ+ambient 第一容疑を定型に by @j5ik2o in #1286
  • norm(team): E-LSSADS13 追補 — 予算消費後の残余是正は検証可能性クラスで受理分岐 by @j5ik2o in #1289
  • record(diary-autogen-guard): sync #1279 fix intent record and codekb diff-refresh by @j5ik2o in #1290
  • fix(engine): derive stage-diary creation from the directive memory_path itself, loud advisory on unresolved record prefix by @j5ik2o in #1288
  • record(formal-verif-experiment): ideation 完了 — 形式仕様検証実験の intent birth+スコープ確定(park 済み) by @j5ik2o in #1291
  • docs(norm): marker artifactをH2 floorから明示免除 by @j5ik2o in #1298
  • norm(team): conditional optional の不存在検査を追補 by @j5ik2o in #1297
  • norm(team): Bun test path母集団の完全性検査を追補 by @j5ik2o in #1299
  • feat(election): resolve tie holds by choice by @j5ik2o in #1301
  • docs(norm): persist verification learnings by @j5ik2o in #1302
  • record(hold-choice-resolution): sync completed workflow by @j5ik2o in #1303
  • docs(norm): require blind-arm provenance evidence by @j5ik2o in #1306
  • record(upstream-sync-230): complete Inception phase by @j5ik2o in #1305
  • docs(norm): require atomic audit batch transitions by @j5ik2o in #1312
  • docs(amadeus): complete formal verification Inception by @j5ik2o in #1310
  • docs(amadeus): guard empty leader sync pathsets by @j5ik2o in #1311
  • docs(norm): define safe Herdr agent health checks by @j5ik2o in #1308
  • docs(memory): persist E-GSFCGS13 parser boundary learning by @j5ik2o in #1307
  • fix(test): scope foreign prefix evidence exemptions by @j5ik2o in #1314
  • ランナーのCLI解決をPATHベースに変更 by @j5ik2o in #1317
  • [codex] チームメンバーの質問UIを無効化 by @j5ik2o in #1318
  • feat(norm-metrics): accept sparse GoA records by @j5ik2o in #1316
  • feat(sync): add leader-owned record sync tool by @j5ik2o in #1315
  • docs(memory): clarify evidence-first election boundary by @j5ik2o in #1322
  • fix(team-up): safely resume Codex safety waits by @j5ik2o in #1323
  • リリースノートからメトリクスbotのPRを除外する by @j5ik2o in #1325
  • テストとCIジョブを並列化して実行時間を短縮する by @j5ik2o in #1326
  • feat(formal-verif): 形式仕様検証実験の2アーム実験装置一式(U1〜U8) by @j5ik2o in #1327
  • fix(tests): t113のreplay-approve契約をpost-complete監査封鎖(#1248)へ再ピン by @j5ik2o in #1330
  • fix(tests): 実ツリー変異テストの直列化とmatrixテストのタイムアウト増枠(#1326並列化フレーク対策) by @j5ik2o in #1332
  • fix(tests): t-team-up-codex-resumeを直列バンドへ移設(並列タイミングフレーク対策) by @j5ik2o in #1337
  • chore(book-pack): 書籍執筆 book パック(ローカル定義)の原本を追加 by @j5ik2o in #1339
  • fix(tests): ランナーがbun testへ渡す既定タイムアウトを30秒へ引き上げ(負荷起因timeoutフレーク族の根治) by @j5ik2o in #1345
  • docs(record): formal-verif第三レビュー結果とlive probeレシートのrecord固定 by @j5ik2o in #1343
  • fix(formal-verif): verifyFullMatrixにinput-set/schedule束縛検証(INPUT_DRIFT)を追加 — U7残Major 1の閉包 by @j5ik2o in #1342
  • feat(formal-verif): 最終FDゲート裁定の反映 — DESIGNED_BLOCKED解除とBR-19改定 by @j5ik2o in #1348
  • test(book-pack): verify-dummy を CI に組み込みエンジン結合の無音破損を検知する by @j5ik2o in #1350
  • feat(upstream-sync): v2.2.0→v2.3.0 同期 — 24 ADOPT/ADAPT 項目の実装(plugin 機構含む) by @j5ik2o in #1338
  • chore(upstream-sync): ledger を APPLIED へ遷移(v2.3.0 同期完了) by @j5ik2o in #1353
  • fix(lock): reaperをreap mutexで直列化 — #1344復元窓レースの閉鎖 by @j5ik2o in #1354
  • docs(readme): 本家フォーク由来を脱した独自 README.md へ全面改稿+README.ja.md 新設 by @j5ik2o in #1356
  • docs(record): formal-verif Phase 1 欠陥台帳 — D-COUNT=7確定(falling proof付き) by @j5ik2o in #1358
  • fix(tests): t199 prefix契約にREADMEの本家帰属リンクを許可(#1356後のmain既存赤の修復) by @j5ik2o in #1360
  • fix(formal-verif): TLC初期状態違反(MSG 2107)を反例としてparse — D4実測で発見した誤分類の修復 by @j5ik2o in #1361
  • feat(formal-verif): walking-skeleton CIワークフロー — TLA×D4を2-run決定性つきで実行 by @j5ik2o in #1364
  • docs(record): walking-skeletonレシート — TLA×D4 DETECTED・環境跨ぎ決定性の実測固定 by @j5ik2o in #1365
  • feat(formal-verif): 残り6欠陥のarm-T面patch+実traceラベル文法の修復 — 全7欠陥がTLCでDETECTED by @j5ik2o in #1367
  • docs(record): Phase 2 provenance ledger発行 — S_FROZEN/MANIFEST_PROMOTABLE(全identity実在導出) by @j5ik2o in #1370
  • docs(record): 適格性レポート — 実験の決着(TLA 7/7適格・PBT 3/7不適格) by @j5ik2o in #1372
  • docs(memory): PBTオラクル相殺の知見をノルム化(形式検証実験の成果) by @j5ik2o in #1373
  • docs(memory): 二層検証運用の採用(FR-6裁定)— team方針化 by @j5ik2o in #1375
  • chore(record): 未マージ intent record と audit シャード追記分の回収 by @j5ik2o in #1376
  • feat(state): state CLI の get/set/checkbox/count に --intent/--space セレクタを追加(fork 同型) by @j5ik2o in #1374
  • docs(record): intent 260722-state-intent-selector の完了 state を反映 by @j5ik2o in #1378

Full Changelog: v0.1.3...v0.1.4

Contributors

j5ik2o
Assets 2
Loading