CI

verify(vcr): VCR-VER-001 program gate DEMONSTRATED — patch-accretion reverses (#242) #1150

Sign in to view logs

Triggered via pull request July 8, 2026 17:17

avrabe

opened #659

feat/vcr-ver-001-reversal

Status Success

Total duration 44m 46s

Artifacts –

ci.yml

on: pull_request

Version Pin Sweep

Z3 Verification

Kani Verification

Rivet Validation

Bazel Build & Proofs

cmp-select two-move execution oracle

fact-spec elision oracle (#494 phases 2 + 2b)

rv32 immediate-shift-fold execution oracle

rv32 const-address-fold execution oracle

optimized-path callee-saved preservation oracle

call_indirect bounds-guard oracle (Thumb-2 + A32)

multi-table call_indirect oracle (Thumb-2 + A32)

optimized-path block/br_if lowering oracle

optimized-path spill-frame teardown oracle

optimized-path register-exhaustion oracle

flight-seam relocatable-path execution oracle

control-step relocatable-path execution oracle

AAPCS stack-argument path oracle

i64 stack-param + spill-pool-grow oracle

i64 rotl/rotr/div/rem expansion oracle

optimized-path br_table oracle

const-CSE flag-on execution oracle

frame-slot DCE default+optout execution oracle

Annotations

1 warning

Rivet Validation

Cross-repo link errors present (expected — external projects need rivet init)