Skip to content

Actions: PhysShell/Own.NET

Actions

pr-issue-validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-issue-validation.yml
919 workflow runs
919 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision) pr-issue-validation #869: Pull request #373 edited by PhysShell
58s research/p037-phase-b1-shadow
research/p037-phase-b1-shadow
58s
P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision) pr-issue-validation #868: Pull request #373 synchronize by PhysShell
26s research/p037-phase-b1-shadow
research/p037-phase-b1-shadow
26s
P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision) pr-issue-validation #867: Pull request #373 synchronize by PhysShell
35s research/p037-phase-b1-shadow
research/p037-phase-b1-shadow
35s
P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision) pr-issue-validation #866: Pull request #373 synchronize by PhysShell
15s research/p037-phase-b1-shadow
research/p037-phase-b1-shadow
15s
P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision) pr-issue-validation #865: Pull request #373 opened by PhysShell
21s research/p037-phase-b1-shadow
research/p037-phase-b1-shadow
21s
P-037 B0: audit the formal/production proof boundary pr-issue-validation #864: Pull request #372 edited by PhysShell
11s research/p037-phase-b-proof-boundary
research/p037-phase-b-proof-boundary
11s
P-037 B0: audit the formal/production proof boundary pr-issue-validation #863: Pull request #372 synchronize by PhysShell
24s research/p037-phase-b-proof-boundary
research/p037-phase-b-proof-boundary
24s
P-037 B0: audit the formal/production proof boundary pr-issue-validation #862: Pull request #372 opened by PhysShell
1m 24s research/p037-phase-b-proof-boundary
research/p037-phase-b-proof-boundary
1m 24s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut) pr-issue-validation #861: Pull request #371 edited by PhysShell
18s claude/p037-a2.2-honest-call-facts
claude/p037-a2.2-honest-call-facts
18s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut) pr-issue-validation #860: Pull request #371 synchronize by PhysShell
25s claude/p037-a2.2-honest-call-facts
claude/p037-a2.2-honest-call-facts
25s
P-037 A2.2: honest call facts for every relevant call (zero semantic cut) pr-issue-validation #859: Pull request #371 opened by PhysShell
13s claude/p037-a2.2-honest-call-facts
claude/p037-a2.2-honest-call-facts
13s
research: election reuse gate for the plain-Rocq solver theory (#369): KEEP generic theory pr-issue-validation #858: Pull request #370 opened by PhysShell
19s research/plain-rocq-election-instance
research/plain-rocq-election-instance
19s
research: plain-Rocq control for the MathComp spike (#367): KILL MathComp pr-issue-validation #857: Pull request #369 opened by PhysShell
26s research/plain-rocq-control
research/plain-rocq-control
26s
P-037 kernel: solve_with / lfp_chaotic returns Some(non-fixpoint) on an unfair schedule pr-issue-validation #856: Issue #368 opened by PhysShell
9s
9s
research: MathComp applicability spike for Own.NET pr-issue-validation #855: Pull request #367 opened by PhysShell
15s claude/mathcomp-ownnet-spike-911fbt
claude/mathcomp-ownnet-spike-911fbt
15s
Own.Concurrent: detect ownership-handoff violations across concurrent publication boundaries pr-issue-validation #854: Issue #366 opened by PhysShell
9s
9s
Research: mine G# for reusable CFG/dataflow/analyzer patterns pr-issue-validation #853: Issue #365 opened by PhysShell
9s
9s
Extractor: services[].scope_cache_sites[].file carries the absolute input path (pre-existing portability defect) pr-issue-validation #852: Issue #364 opened by PhysShell
13s
13s
P-037 A2.1: guarded-fact sidecar (corrected), richer facts with zero MOS/verdict movement pr-issue-validation #851: Pull request #363 opened by PhysShell
42s claude/p037-a2.1-relevance-fix
claude/p037-a2.1-relevance-fix
42s
P-037 A2.1: guarded-fact sidecar, richer facts with zero MOS/verdict movement pr-issue-validation #850: Pull request #362 opened by PhysShell
1m 15s claude/p037-a2.1-after-dce26ed
claude/p037-a2.1-after-dce26ed
1m 15s
P-037 A2.0: evidence harness hardening + terminal-green baseline (T, R) pr-issue-validation #849: Pull request #361 opened by PhysShell
13s claude/p037-a2-baseline-4a8e658
claude/p037-a2-baseline-4a8e658
13s
P-037 A1.0 (bootstrap): port the formal kernel and controls onto post-cutover main; re-measure the pre-A1 record pr-issue-validation #848: Pull request #360 opened by PhysShell
13s claude/p037-a1-guarded-transfer
claude/p037-a1-guarded-transfer
13s
Post-cutover: summary-backed lifecycle release reachability (generalize the landed #293/#302 predicates) pr-issue-validation #847: Issue #304 edited by PhysShell
11s
11s
Roadmap: ship Owen Alpha and complete the Rust production vertical after #214 pr-issue-validation #846: Issue #250 edited by PhysShell
10s
10s
P-022 step 8: Rust-default cutover, rollback gate, and Python distribution removal pr-issue-validation #845: Issue #262 edited by PhysShell
10s
10s