Skip to content

ci(mythos-auto): register provenance.rs as Tier-5#197

Merged
avrabe merged 1 commit into
mainfrom
ci/tier5-register-provenance
May 28, 2026
Merged

ci(mythos-auto): register provenance.rs as Tier-5#197
avrabe merged 1 commit into
mainfrom
ci/tier5-register-provenance

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented May 28, 2026

Summary

Adds `meld-core/src/provenance.rs` to the Tier-5 pattern list in `mythos-auto.yml`. v0.14.0's component-provenance section emitter shipped but wasn't in the Mythos auto-scan registry; future changes to the section format / origin-tuple plumbing / fused_func_idx arithmetic now get the AI-driven delta-pass scan on PR.

Split from #196 (LS-R-11 layer-2) because `anthropics/claude-code-action` requires this workflow file to be byte-identical to main for PR runs — a workflow self-reference breaks the action's auth flow. This PR touches no Tier-5 source, so its own Mythos scan is a no-op and the identity check passes once merged.

Test plan

  • One-line additive change to the pattern array; YAML still valid
  • CI green (no Rust changes, so Test/Clippy are trivial)

🤖 Generated with Claude Code

v0.14.0's component-provenance section emitter (meld-core/src/provenance.rs)
shipped but wasn't in the Mythos auto-scan registry. Future changes to the
section format, the origin-tuple plumbing, or the fused_func_idx arithmetic
now get the AI-driven delta-pass scan on PR.

Split from PR #196 (LS-R-11 layer-2) because anthropics/claude-code-action
requires this workflow file to be byte-identical to main for PR runs — a
workflow self-reference breaks the action's auth flow. This PR touches no
Tier-5 source, so its own scan is a no-op and the identity check passes.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

LS-N verification gate

⚠️ 35/37 verified — 2 missing regression tests

count
Passed (≥1 test, all green) 35
Failed (≥1 test failure) 0
Missing (no ls_*_NN_* test found) 2

Approved loss-scenarios.yaml entries are expected to have a
regression test named ls_<letter>_<num>_* (e.g. LS-A-11
ls_a_11_*). The gate runs each prefix via cargo test --lib --no-fail-fast and aggregates pass/fail/missing.

Failed LS entries

(none)

Missing regression tests
  • LS-R-13
  • LS-M-6

Updated automatically by tools/post_verification_comment.py.
Source of truth: safety/stpa/loss-scenarios.yaml.

@avrabe avrabe merged commit 8374def into main May 28, 2026
13 of 14 checks passed
@avrabe avrabe deleted the ci/tier5-register-provenance branch May 28, 2026 04:35
@avrabe avrabe mentioned this pull request May 28, 2026
4 tasks
avrabe added a commit that referenced this pull request May 28, 2026
LS-R-11 layer-2 per-edge precise stream type-mismatch (#196) — promotes
the v0.13.0 heuristic to a per-edge precise check via export-side
type-graph resolution through component_func_defs. Plus provenance.rs
registered as Tier-5 in the Mythos auto-scan registry (#197).

Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
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.

1 participant