diff --git a/.github/workflows/hourly-nvidia-nim-review-repair.yml b/.github/workflows/hourly-nvidia-nim-review-repair.yml index 9eb450619..72dc585c2 100644 --- a/.github/workflows/hourly-nvidia-nim-review-repair.yml +++ b/.github/workflows/hourly-nvidia-nim-review-repair.yml @@ -17,6 +17,7 @@ on: - .github/workflows/orgmetra-hourly-review-repair.yml - .github/workflows/originweave-hourly-review-repair.yml - .github/workflows/quarantine-sandbox-hourly-review-repair.yml + - .github/workflows/keyverse-hourly-review-repair.yml - scripts/ci/pr_review_conflict_scope.py - scripts/ci/pr_review_autofix_context.py - tests/test_bandscope_hourly_review_caller.py @@ -29,6 +30,7 @@ on: - tests/test_orgmetra_hourly_review_caller.py - tests/test_originweave_hourly_review_caller.py - tests/test_quarantine_sandbox_hourly_review_caller.py + - tests/test_keyverse_hourly_review_caller.py - tests/test_hourly_autofix_context_quality_gate.py - tests/test_pr_review_conflict_scope.py - tests/test_pr_review_conflict_scope_control_files.py @@ -54,6 +56,7 @@ on: - docs/doctoring/orgmetra-hourly-review-caller.md - docs/doctoring/originweave-hourly-review-caller.md - docs/doctoring/quarantine-sandbox-hourly-review-caller.md + - docs/doctoring/keyverse-hourly-review-caller.md push: paths: - .github/workflows/pr-review-fix-scheduler.yml @@ -70,6 +73,7 @@ on: - .github/workflows/orgmetra-hourly-review-repair.yml - .github/workflows/originweave-hourly-review-repair.yml - .github/workflows/quarantine-sandbox-hourly-review-repair.yml + - .github/workflows/keyverse-hourly-review-repair.yml - scripts/ci/pr_review_conflict_scope.py - scripts/ci/pr_review_autofix_context.py - tests/test_bandscope_hourly_review_caller.py @@ -82,6 +86,7 @@ on: - tests/test_orgmetra_hourly_review_caller.py - tests/test_originweave_hourly_review_caller.py - tests/test_quarantine_sandbox_hourly_review_caller.py + - tests/test_keyverse_hourly_review_caller.py - tests/test_hourly_autofix_context_quality_gate.py - tests/test_pr_review_conflict_scope.py - tests/test_pr_review_conflict_scope_control_files.py @@ -107,6 +112,7 @@ on: - docs/doctoring/orgmetra-hourly-review-caller.md - docs/doctoring/originweave-hourly-review-caller.md - docs/doctoring/quarantine-sandbox-hourly-review-caller.md + - docs/doctoring/keyverse-hourly-review-caller.md permissions: contents: read @@ -164,6 +170,7 @@ jobs: tests/test_orgmetra_hourly_review_caller.py \ tests/test_originweave_hourly_review_caller.py \ tests/test_quarantine_sandbox_hourly_review_caller.py \ + tests/test_keyverse_hourly_review_caller.py \ tests/test_pr_review_conflict_scope_control_files.py \ tests/test_hourly_autofix_context_quality_gate.py \ tests/test_pr_review_conflict_scope_git_executable.py \ diff --git a/.github/workflows/keyverse-hourly-review-repair.yml b/.github/workflows/keyverse-hourly-review-repair.yml new file mode 100644 index 000000000..4858f4f95 --- /dev/null +++ b/.github/workflows/keyverse-hourly-review-repair.yml @@ -0,0 +1,32 @@ +name: Keyverse Hourly Review Repair + +on: + schedule: + # Minute 29 avoids Clearfolio (23), DiskSage (37), fast-mlsirm (49), + # BandScope (53), naruon (11), Inkspan (47), orchestrator (17), and + # Wardnet (7). + - cron: "29 * * * *" + +concurrency: + group: keyverse-hourly-review-repair + # A later heartbeat must not cancel an in-flight IdP RCA or repair. + cancel-in-progress: false + +permissions: + contents: read + +jobs: + dispatch-review-repair: + permissions: + contents: read + id-token: write + uses: ./.github/workflows/pr-review-fix-scheduler.yml + with: + target_repository: ContextualWisdomLab/keyverse + base_branch: main + max_prs: "50" + max_dispatches: "1" + retry_hours: "2" + secrets: + PR_REVIEW_MERGE_TOKEN: ${{ secrets.PR_REVIEW_MERGE_TOKEN }} + OPENCODE_APPROVE_TOKEN: ${{ secrets.OPENCODE_APPROVE_TOKEN }} diff --git a/ARCHITECTURE.md b/ARCHITECTURE.md index c48db831f..7190dec15 100644 --- a/ARCHITECTURE.md +++ b/ARCHITECTURE.md @@ -39,6 +39,13 @@ only established scheduler credentials, and grants job-scoped only established scheduler credentials, and grants job-scoped `id-token: write`. The reusable engine stays product-neutral. +## Keyverse hourly caller + +`keyverse-hourly-review-repair.yml` is a thin, read-only caller at minute +29. It names `ContextualWisdomLab/keyverse` and protected `main`, maps +only established scheduler credentials, and grants job-scoped +`id-token: write`. The reusable engine stays product-neutral. + ## Hourly NVIDIA NIM repair gate ```mermaid diff --git a/docs/doctoring/keyverse-hourly-review-caller.md b/docs/doctoring/keyverse-hourly-review-caller.md new file mode 100644 index 000000000..3d0eab1c4 --- /dev/null +++ b/docs/doctoring/keyverse-hourly-review-caller.md @@ -0,0 +1,138 @@ +# Keyverse hourly review-repair caller + +검토 기준일: **2026-08-17** + +## Decision + +ContextualWisdomLab operates one protected hourly caller for +`ContextualWisdomLab/keyverse` (keyverse.io — passwordless IdP: OIDC / +OAuth 2.1 / FIDO2 / SCIM / SAML). The caller runs at minute 29, delegates +to the product-neutral central review-fix scheduler, inspects at most 50 +open pull requests targeting protected `main`, and dispatches at most one +bounded repair per heartbeat. + +A paying buyer of the IdP would feel live keyverse pull requests stalling +while hourly NVIDIA NIM repair scanned only Clearfolio, DiskSage, and +fast-mlsirm. Live heads such as ContextualWisdomLab/keyverse#83 (runtime +RP reconcile), #100 (LineageWeave RP profile), and #101 (atomic Python +dependency updates) target `main` and never enter those other callers. + +The caller does not implement review or mutation logic itself. Keyverse +remains standalone; naruon and noema federate through it without owning +its Keycloak-backed runtime. Privileged automation stays in +`ContextualWisdomLab/.github`. + +## Root-cause analysis and remediation feasibility + +The reusable worker performs exact-head root-cause analysis and tests +remediation feasibility before it edits. The reusable worker must: + +1. Refetch the exact live head, base, reviews, checks, changed paths, and + writer state. +2. Establish the causal chain rather than repeat the terminal symptom. +3. Enumerate materially distinct minimal remedies. +4. Reject remedies that lack writer authority, cross sealed paths, require + unavailable credentials or protected-setting changes, violate stack + order, cannot be verified, or do not alter the diagnosed cause. +5. Dispatch at most one feasible repair. Otherwise leave the tree + unchanged. + +A queued or pending check remains a merge blocker but is not itself a +code finding. The independent non-author approval remains an external +authorization gate and is never synthesized by the repair worker. The +worker cannot approve, merge, release, resolve review findings by +inference, change protection, or manufacture passing checks. + +## Cadence and concurrency + +The caller uses a single concurrency group and `cancel-in-progress: false`. +This preserves an in-flight bounded RCA instead of discarding IdP evidence +when the next hourly heartbeat arrives. The reusable scheduler cancels +only its own superseded short queue scan. + +The caller sets a **two-hour same-head retry floor**. Central OpenCode and +NVIDIA NIM work, plus keyverse realm/RP reconciliation analysis, can +legitimately approach two hours. An hourly redispatch of the same +unchanged head would create duplicate writer pressure rather than faster +remediation. + +GitHub scheduled workflows can be delayed under load and execute only +from the default branch. The cron expression is a heartbeat, not a +real-time SLA. + +## Credential and model boundary + +The caller keeps workflow `GITHUB_TOKEN` at `contents: read` and grants +the reusable job `id-token: write` so the central scheduler can mint the +OpenCode GitHub App token from GitHub OIDC when the mapped PAT is absent +(GitHub, n.d.-c). It maps only `PR_REVIEW_MERGE_TOKEN` and +`OPENCODE_APPROVE_TOKEN`. It never uses `secrets: inherit`, receives +`NVIDIA_NIM_API_KEY`, or introduces `COPILOT_GITHUB_TOKEN`. CWE-250 +forbids executing the caller with write or model privileges it does not +need (MITRE, 2026). + +Model execution remains inside the central worker. The model credential +is the GitHub Secret `NVIDIA_NIM_API_KEY`; the caller does not receive or +forward it. + +Before protected-main activation, the repository variable +`OPENCODE_REPOSITORY_DISPATCH_TARGETS` must contain the exact +`ContextualWisdomLab/keyverse` target. Missing or mismatched +configuration fails before mutation credential materialization. + +## Security, standalone operation, and modularity + +The caller adds no keyverse runtime dependency, database object, network +endpoint, tenant authority, or product credential. Keyverse continues to +run as a standalone passwordless IdP. Naruon, noema, and other CWL +services may federate through keyverse, but they cannot weaken its +config-as-code, protected-branch, exact-head, approval, or security +gates. + +## Verification and rollback + +Machine-checkable contracts require the exact target/base, minute 29 +cadence, non-cancelling single-flight group, one dispatch, two-hour +retry floor, explicit secret mapping, read-only contents plus job-scoped +`id-token: write`, focused path-filter coverage, and absence of model or +Copilot credentials. Independent `pull_request`, `push`, and `compileall` +path blocks must each name the caller, doctoring, or contract they own. + +After source integration, closure requires a scheduled or manual +protected-main consumer run proving the exact keyverse repository and +`main` base. Source checks alone are not protected-main operational acceptance. +Merge still requires zero unresolved valid findings and a +qualifying independent non-author approval. + +Rollback removes the keyverse caller, its focused test, doctoring, and +central path-filter/documentation entries. It must not remove scheduler +dispatch validation or affect independent product callers. + +## APA 7th references + +GitHub, Inc. (n.d.-a). *Events that trigger workflows*. GitHub Docs. +Retrieved August 17, 2026, from +https://docs.github.com/en/actions/reference/workflows-and-actions/events-that-trigger-workflows#schedule + +GitHub, Inc. (n.d.-b). *Reuse workflows*. GitHub Docs. Retrieved August +17, 2026, from +https://docs.github.com/en/actions/how-tos/sharing-automations/reuse-workflows + +GitHub, Inc. (n.d.-c). *Automatic token authentication*. GitHub Docs. +Retrieved August 17, 2026, from +https://docs.github.com/en/actions/security-for-github-actions/security-guides/automatic-token-authentication#permissions-for-the-github_token + +MITRE. (2026). *CWE-250: Execution with unnecessary privileges*. +https://cwe.mitre.org/data/definitions/250.html + +National Institute of Standards and Technology. (2022). *Secure software +development framework (SSDF) version 1.1: Recommendations for mitigating +the risk of software vulnerabilities* (NIST Special Publication 800-218). +https://doi.org/10.6028/NIST.SP.800-218 + +NVIDIA. (n.d.). *NVIDIA NIM for large language models documentation*. +Retrieved August 17, 2026, from +https://docs.nvidia.com/nim/large-language-models/latest/ + +OpenCode. (n.d.). *OpenCode documentation*. Retrieved August 17, 2026, +from https://opencode.ai/docs/ diff --git a/tests/test_keyverse_hourly_review_caller.py b/tests/test_keyverse_hourly_review_caller.py new file mode 100644 index 000000000..89c44f3d4 --- /dev/null +++ b/tests/test_keyverse_hourly_review_caller.py @@ -0,0 +1,187 @@ +"""Contract tests for Keyverse's bounded hourly review-repair caller.""" + +from pathlib import Path + + +CALLER = Path(".github/workflows/keyverse-hourly-review-repair.yml") +DOCTORING = Path("docs/doctoring/keyverse-hourly-review-caller.md") +QUALITY_WORKFLOW = Path(".github/workflows/hourly-nvidia-nim-review-repair.yml") +SCHEDULER = Path(".github/workflows/pr-review-fix-scheduler.yml") + + +def _read(path: Path) -> str: + """Return one repository contract file as UTF-8 text.""" + return path.read_text(encoding="utf-8") + + +def _yaml_path_entries(block: str) -> set[str]: + """Return dashed YAML path entries from one trigger or compileall block.""" + entries: set[str] = set() + for raw_line in block.splitlines(): + stripped = raw_line.strip() + if stripped.startswith("- "): + entries.add(stripped[2:].strip()) + elif stripped.startswith("tests/") or stripped.startswith("scripts/"): + entries.add(stripped.rstrip(" \\")) + return entries + + +def _trigger_path_block(quality: str, trigger: str) -> str: + """Return the dashed path list under one named workflow trigger.""" + marker = f" {trigger}:\n paths:\n" + start = quality.index(marker) + len(marker) + lines: list[str] = [] + for line in quality[start:].splitlines(): + if line.startswith(" - "): + lines.append(line) + continue + if line.strip() == "": + continue + break + return "\n".join(lines) + + +def _compileall_block(quality: str) -> str: + """Return the compileall argument list from the focused quality job.""" + marker = "python -m compileall -q \\" + start = quality.index(marker) + remainder = quality[start:] + end = remainder.find("\n git ") + return remainder if end < 0 else remainder[:end] + + +def test_keyverse_caller_is_hourly_bounded_and_non_cancelling() -> None: + """Keyverse receives one realistic IdP repair opportunity without cancellation.""" + caller = _read(CALLER) + + assert 'cron: "29 * * * *"' in caller + assert "group: keyverse-hourly-review-repair" in caller + assert "cancel-in-progress: false" in caller + assert "uses: ./.github/workflows/pr-review-fix-scheduler.yml" in caller + assert "target_repository: ContextualWisdomLab/keyverse" in caller + assert "base_branch: main" in caller + assert 'max_prs: "50"' in caller + assert 'max_dispatches: "1"' in caller + assert 'retry_hours: "2"' in caller + + +def test_keyverse_caller_preserves_oidc_and_explicit_secret_scope() -> None: + """The queue scanner maps established credentials without model secrets.""" + caller = _read(CALLER) + workflow_scope, jobs_scope = caller.split("\njobs:\n", maxsplit=1) + + assert "\npermissions:\n contents: read\n" in workflow_scope + assert ( + "\n permissions:\n contents: read\n id-token: write\n" + in jobs_scope + ) + assert "PR_REVIEW_MERGE_TOKEN: ${{ secrets.PR_REVIEW_MERGE_TOKEN }}" in caller + assert "OPENCODE_APPROVE_TOKEN: ${{ secrets.OPENCODE_APPROVE_TOKEN }}" in caller + assert "secrets: inherit" not in caller + assert "NVIDIA_NIM_API_KEY" not in caller + assert "COPILOT_GITHUB_TOKEN" not in caller + for forbidden in ( + "actions: write", + "contents: write", + "issues: write", + "pull-requests: write", + "statuses: write", + ): + assert forbidden not in caller + + +def test_keyverse_target_is_not_hard_coded_in_shared_scheduler() -> None: + """Product identity remains in the thin caller rather than the engine.""" + assert "ContextualWisdomLab/keyverse" not in _read(SCHEDULER) + + +def test_keyverse_doctoring_records_idp_activation_and_credentials() -> None: + """Operators retain target-allowlist, IdP, and approval prerequisites.""" + doctoring = _read(DOCTORING) + + for phrase in ( + "ContextualWisdomLab/keyverse", + "OPENCODE_REPOSITORY_DISPATCH_TARGETS", + "independent non-author approval", + "NVIDIA_NIM_API_KEY", + "COPILOT_GITHUB_TOKEN", + "id-token: write", + "two-hour same-head retry floor", + "root-cause analysis", + "remediation feasibility", + "protected-main operational acceptance", + "APA 7th references", + "ContextualWisdomLab/keyverse#83", + ): + assert phrase in doctoring + + +def test_keyverse_documentation_preserves_adjacent_nonnest2_contract() -> None: + """Keep the new section from splitting the preceding architecture paragraph.""" + architecture = Path("ARCHITECTURE.md").read_text(encoding="utf-8") + nonnest2 = architecture.split("## nonnest2 hourly caller\n", 1)[1].split( + "## Keyverse hourly caller\n", 1 + )[0] + + assert "protected `master`" in nonnest2 + assert "only established scheduler credentials" in nonnest2 + assert "`id-token: write`" in nonnest2 + assert nonnest2.rstrip().endswith("The reusable engine stays product-neutral.") + + +def test_product_caller_guidance_has_one_complete_scheduler_boundary() -> None: + """Keep contributor guidance singular and actionable after adding a caller.""" + guidance = Path("CLAUDE.md").read_text(encoding="utf-8") + bullets = [line for line in guidance.splitlines() if "Product hourly callers" in line] + + assert bullets == [ + "- **Product hourly callers** stay thin. Do not hard-code OriginWeave, naruon, or Keyverse" + ] + assert "into `pr-review-fix-scheduler.yml`." in guidance + + +def test_path_block_helpers_keep_trigger_and_compileall_sets_disjoint() -> None: + """A path listed only under push or compileall must not satisfy pull_request.""" + quality = ( + "on:\n" + " pull_request:\n" + " paths:\n" + " - .github/workflows/keyverse-hourly-review-repair.yml\n" + " push:\n" + " paths:\n" + " - docs/doctoring/keyverse-hourly-review-caller.md\n" + " python -m compileall -q \\\n" + " tests/test_keyverse_hourly_review_caller.py\n" + " git diff --check\n" + ) + + pull_request_paths = _yaml_path_entries(_trigger_path_block(quality, "pull_request")) + push_paths = _yaml_path_entries(_trigger_path_block(quality, "push")) + compileall_paths = _yaml_path_entries(_compileall_block(quality)) + + assert pull_request_paths == {".github/workflows/keyverse-hourly-review-repair.yml"} + assert push_paths == {"docs/doctoring/keyverse-hourly-review-caller.md"} + assert compileall_paths == {"tests/test_keyverse_hourly_review_caller.py"} + assert "docs/doctoring/keyverse-hourly-review-caller.md" not in pull_request_paths + assert ".github/workflows/keyverse-hourly-review-repair.yml" not in compileall_paths + + +def test_focused_quality_workflow_tracks_keyverse_contracts() -> None: + """Caller, test, and doctoring edits always rerun the focused gate.""" + quality = _read(QUALITY_WORKFLOW) + pull_request_paths = _yaml_path_entries(_trigger_path_block(quality, "pull_request")) + push_paths = _yaml_path_entries(_trigger_path_block(quality, "push")) + compileall_paths = _yaml_path_entries(_compileall_block(quality)) + caller = ".github/workflows/keyverse-hourly-review-repair.yml" + doctoring = "docs/doctoring/keyverse-hourly-review-caller.md" + contract = "tests/test_keyverse_hourly_review_caller.py" + + assert caller in pull_request_paths + assert doctoring in pull_request_paths + assert contract in pull_request_paths + assert caller in push_paths + assert doctoring in push_paths + assert contract in push_paths + assert contract in compileall_paths + assert caller not in compileall_paths + assert doctoring not in compileall_paths