Skip to content

Add redacted evidence excerpts for the four incident cases - #130

Merged
uda-lab-agent merged 1 commit into
mainfrom
issue-127-redacted-excerpts
Sep 23, 2026
Merged

uda-lab-agent merged 1 commit into
mainfrom
issue-127-redacted-excerpts

Conversation

@uda-lab-agent

Copy link
Copy Markdown
Collaborator

Closes #127

変更

evidence/redacted-excerpts/ に,論文 §IV の 4 事例それぞれについて一次セッション記録からの抜粋を置いた.本文の "The claim-to-evidence manifests in the paper repository […] alongside redacted evidence excerpts and metric scripts" はそのまま(owner 判断 2026-09-17).

ファイル Incident 論文 session / EV 窓(UTC)
INC-001-case-A.md INC-001 Case A 90fa24bb / EV-0925 06-28 07:33–07:59
INC-002-case-B.md INC-002 Case B 90fa24bb / EV-0925 06-21 02:57–03:18
INC-004-case-C.md INC-004 Public declarations during refactoring 7e6156bf / EV-1669 07-10 00:12–00:39
INC-005-case-D.md INC-005 Resource availability and orchestration de129390 / EV-0247 07-18 06:28–06:31, 07:32–07:52
README.md — 索引と redaction 方針 — —

各ファイルの冒頭に EV-ID・JSONL 行範囲・incident card・claim・支える本文の文を記す.引用は原文のまま,省略は […].username を含む home directory は ~,session 固有の長い作業ディレクトリは <scratchpad> に置換.Git trailer・session URL・agent 内部 ID は省いた.

凍結ゲートの扱い(#90)

scripts/check_frozen_paths.sh の FREEZE_EXEMPT_PINNED に 5 ファイルを blob hash で pin した(#100・#109 と同じ one-shot 方式.issue #127 の owner 承認を根拠として script 内コメントに記載).以後この 5 ファイルを変更すると再び gate が落ちる..gitkeep は残した(削除は gate 上 pin できないため).

検証

$ python3 scripts/redact_check.py --dir evidence/redacted-excerpts
5 file(s) scanned, 0 finding(s)

denylist は #86 の対象語(local-secondary のホスト名)を含む版で実行した(issue #127 の注意書きと異なり,現 local の private/redact-names.txt は既にこの語を含んでいた.念のため確認済み).

$ make integrity
claim-link verification OK (EV known: 2145, INC cards: 5, claims defined: 12 (12 frozen), …)
check_no_raw_logs: no raw-log leakage in tracked files
94 file(s) scanned, 0 finding(s)
freeze gate OK (6 changed path(s), all under paper/ or in the owner-authorized exemption list)
$ make lint      # OK (39 unit tests, prose style OK, chktex clean)
$ make selftest  # 97 passed, 0 failed

抜粋の選別で気づいた点(card・本文は凍結のため変更していない)

Acceptance(#127)

  • evidence/redacted-excerpts/ に Case A–D それぞれ 1 件以上,出典付き — 済
  • redact_check が denylist を読み込んだ状態で 0 findings — 済
  • make integrity green(freeze gate の例外扱い含む) — 済
  • 本文の当該文と repository の中身が一致 — 済

🤖 Generated with Claude Code

https://claude.ai/code/session_01G8qj8hqfhhZP5TXD2L6z2w

The manuscript states that the paper repository provides redacted evidence
excerpts; the directory was empty. Add one excerpt file per paper case,
selected from the primary session transcripts in the escrow, plus an index:

- INC-001 / Case A: the 2026-06-28 consumer verdict on
  w1pTime_continuous_in_H (EV-0925, session 90fa24bb)
- INC-002 / Case B: the 2026-06-21 pre-merge adjudication of
  galerkinConvection_antisymm on PR #27 (EV-0925, session 90fa24bb)
- INC-004 / Case C: the 2026-07-10 detection of the deleted public theorem
  edge_inf_eq_schwartz_tensor on PR #120 (EV-1669, session 7e6156bf)
- INC-005 / Case D: the 2026-07-18 container memory cascade, detection and
  recovery (EV-0247, session de129390)

Each file records the evidence ID, the JSONL line range, the incident card,
the claim, and the manuscript sentences it supports. Paths containing a
username or a session-specific scratch directory are replaced; Git trailers
and session URLs are omitted. redact_check reports 0 findings with the
denylist loaded.

Freeze gate: the five new files are pinned by blob hash in
scripts/check_frozen_paths.sh as owner-authorized additions (issue #127),
following the one-shot exemption pattern of issues #100 and #109.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01G8qj8hqfhhZP5TXD2L6z2w
@t-uda

t-uda commented Sep 23, 2026

Copy link
Copy Markdown
Contributor

@codex please review this PR

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 23, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-09-23T11:57:46.060079Z 0fc2014 Manual request
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0fc2014dfc

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread scripts/check_frozen_paths.sh Resolved
@uda-lab-agent
uda-lab-agent merged commit b08e339 into main Sep 23, 2026
1 check passed
@t-uda
t-uda deleted the issue-127-redacted-excerpts branch September 23, 2026 12:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

evidence/redacted-excerpts/ に論文の証拠抜粋を置く(本文の記述に repository を合わせる)

2 participants