Merge main into fix/repro-regeneration-moved-input

d2afc9f

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

CI on: push 115

lint (ruff + mypy --strict)

rust (fmt + clippy + tests)

formal kernel (fmt + clippy + twins + fast Kani)

own-cli (ownir parity replay) (ubuntu-latest)

own-cli (ownir parity replay) (windows-latest)

owen --engine (#262 Stage 1 controls) (ubuntu-latest)

owen --engine (#262 Stage 1 controls) (windows-latest)

Windows-native mutation campaign (own-check.ps1 + the drive-rooted locator arm)

Stage-2 mutation campaign, Windows verdict (gate only, records nothing)

shadow compare (committed corpus)

audit aggregation selftests

release-workflow environment-protection predicate (fixture-driven)

tests (py3.11)

tests (py3.12)

tests (py3.13)

extended codegen fuzz

golden C# compiles & runs (.NET)

C# leak extractor (Roslyn) -> OwnIR -> core

OwnTS (React useEffect) -> OwnIR -> core

OwnTS OSS true positives -> runtime leak proof (jsdom)

own-check repo scan (github + msbuild) + composite action

own-check.ps1 exit-code tiers (Windows)

own-check SARIF -> GitHub code scanning (Rust dog-food)

Rust-default dogfood (Own.NET's own tree, via own-cli) (ubuntu-latest)

Rust-default dogfood (Own.NET's own tree, via own-cli) (windows-latest)

#263-A measurement instrument (CALIBRATION_ONLY) (ubuntu-latest)

#263-A measurement instrument (CALIBRATION_ONLY) (windows-latest)

P-014 Tier B — external reference resolution (--ref-dir)

corpus benchmark (real C# recall + specificity)

owen CLI (gate A) — clean install -> check -> findings (ubuntu-latest)

owen CLI (gate A) — clean install -> check -> findings (windows-latest)

shadow compare (C# samples)

pr-issue-validation on: pull_request 2

validate contribution format

P-022 merge gate on: pull_request 4

P-022 merge gate controls

P-022 merge gate

CI on: pull_request 115