Repository navigation

Flag absence and capability claims as unverified-shaped in diu-stop - #1383

Closed

EdbertChan wants to merge 16 commits into

stack/EdbertChan/reflect/prove-it-hooks-20261009/list-run-check-first-unverified-claim-notice-stop--7b3f426ffrom

stack/EdbertChan/reflect/prove-it-hooks-20261009/flag-absence-capability-claims-unverified-shaped--6f50c350

Closed

Flag absence and capability claims as unverified-shaped in diu-stop#1383
EdbertChan wants to merge 16 commits into
stack/EdbertChan/reflect/prove-it-hooks-20261009/list-run-check-first-unverified-claim-notice-stop--7b3f426ffrom
stack/EdbertChan/reflect/prove-it-hooks-20261009/flag-absence-capability-claims-unverified-shaped--6f50c350

Commits on Oct 13, 2026
- Add ci-job-timing skill: per-step timing report from Datadog (#1354)
  
  EdbertChan
  and
  claude
  authored
  e4d3d1b
- Give the merge queue 120 minutes for checks (#1374)
  
  EdbertChan
  and
  claude
  authored
  b399990
- Read the merge queue's reason when it rejects a pull request (#1373)
  
  EdbertChan
  and
  claude
  authored
  b9ab23a
- cat-mode: treat intervention marker as proof wording. (#1310)
  
  EdbertChan
  and
  CI Bot
  authored
  1eb2105
- ci-job-timing: add context report and job-number lookup (#1356)
  
  EdbertChan
  and
  claude
  authored
  7ede769
- invoker: wf-1791858459856-87/repair — Repair PR #1360 (failed check test) (#1360)
  
  EdbertChan
  and
  CI Bot
  authored
  95a7429
- cat-mode: align publishing-analytics fixture asserts with revised example phrasing. (#1311)
  
  authored
  4c092f7
- cat-mode: lead the multi-emitter backfill done-gate with the general lesson. (#1312)
  
  authored
  ff82cf8
- Make the pre-push check run on the shell macOS ships (#1388)
  EdbertChan
  authored
  12ae673
- learned: list the user's own items before keyword search when asked who made their thing (#1387)
  
  EdbertChan
  and
  claude
  authored
  8c43e89
- cat-mode: look for a cheaper source, answer from measured numbers, small-window first (#1386)
  
  EdbertChan
  and
  CI Bot
  authored
  d9d05c4
- cat-mode: allowlist intervention-must-automate as a flag token. (#1313)
  
  EdbertChan
  and
  cursoragent
  authored
  f497aa7
- Block a CAT-UNVERIFIED tag that hands a read-only check back as 'say X' (#1381)
  
  EdbertChan
  and
  claude
  authored
  26a533a
- List run-the-check first in the unverified-claim notice and stop releasing the ledger block on a rewrite (#1382)
  
  EdbertChan
  and
  claude
  authored
  995b525
- cat-mode: local-only repos end in a local merge, never GitHub (#1378)
  
  authored
  9cf9f36
- Flag absence and capability claims as unverified-shaped in diu-stop
  
  EdbertChan
  and
  claude
  committed
  c00094b

Commits

Commits on Oct 13, 2026