From bc4313f5896ca2c5db8c9eca2c4f597e58676894 Mon Sep 17 00:00:00 2001 From: Seungpyo Hong Date: Mon, 22 Jun 2026 15:12:37 +0900 Subject: [PATCH] ci: /verify runs all tiers (0-3) via app.verify pr Replace the Tier 0-only score calls with a single 'app.verify pr', which reports Tier 0/1/2/3 (Tier 3 dry-run) for the PR's changed records + a full baseline. --- .github/workflows/techapi-verify-comment.yml | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) diff --git a/.github/workflows/techapi-verify-comment.yml b/.github/workflows/techapi-verify-comment.yml index f6d16d6..98eeff3 100644 --- a/.github/workflows/techapi-verify-comment.yml +++ b/.github/workflows/techapi-verify-comment.yml @@ -66,20 +66,17 @@ jobs: python-version: "3.12" # app.verify is a stdlib-only TechAPI module; run it from the checkout. - - name: Run Tier 0 verification + # `pr` runs all tiers (0 offline score, 1 source-URL liveness, 2 external + # cross-reference, 3 promotion DRY-RUN) over the PR's changed records, plus + # a full-dataset Tier 0 baseline. Network tiers are capped and never write. + - name: Run all-tiers verification id: verify run: | cd TechAPI git fetch origin main --depth=1 || true { echo 'report<> "$GITHUB_OUTPUT" @@ -96,13 +93,12 @@ jobs: const marker = ''; const report = (process.env.REPORT || '').trim() || '(no output)'; const by = process.env.REQUESTED_BY || 'someone'; + // `pr` already emits its own H2 heading + tier sections; just frame it. const body = [ marker, - '## ๐Ÿ”Ž Data verification โ€” Tier 0 (on demand)', - '', - `Requested by @${by} via \`/verify\` ยท scored by \`app.verify\`, posted by **TechEngineBot**. Informational only โ€” the structural gate (\`app.validate\`) is separate.`, - '', report, + '', + `Requested by @${by} via \`/verify\` ยท scored by \`app.verify\`, posted by **TechEngineBot**. Informational only โ€” the structural gate (\`app.validate\`) is separate; Tier 3 here is dry-run.`, ].join('\n'); const owner = 'GetTechAPI'; const repo = 'TechAPI';