docs(evidence): P-014 FIX0 — PASS-P014-FIX0 locally (F-PROD0-1..4 fix…

4b0321e

Select commit

Loading

Failed to load commit list.

Uh oh!

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

CI on: push 121

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)

state protocols (C# -> OwnIR v1, real ASP.NET Core + EF Core backend) (ubuntu-latest)

state protocols (C# -> OwnIR v1, real ASP.NET Core + EF Core backend) (windows-latest)

corpus benchmark (real C# recall + specificity)

Owen extension substrate (Owen.Build + Owen.TypedBuilder, isolated consumer) (ubuntu-latest)

Owen extension substrate (Owen.Build + Owen.TypedBuilder, isolated consumer) (windows-latest)

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

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

shadow compare (C# samples)

CI on: pull_request 121

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)

state protocols (C# -> OwnIR v1, real ASP.NET Core + EF Core backend) (ubuntu-latest)

state protocols (C# -> OwnIR v1, real ASP.NET Core + EF Core backend) (windows-latest)

corpus benchmark (real C# recall + specificity)

Owen extension substrate (Owen.Build + Owen.TypedBuilder, isolated consumer) (ubuntu-latest)

Owen extension substrate (Owen.Build + Owen.TypedBuilder, isolated consumer) (windows-latest)

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

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

shadow compare (C# samples)

Owen.Cli release on: pull_request 10

build own-cli (linux-x64)

build own-cli (win-x64)

build + test + pack

install from the packed artifact — clean install -> check -> findings (ubuntu-latest)

install from the packed artifact — clean install -> check -> findings (windows-latest)

publish to nuget.org (protected)

P-022 merge gate on: pull_request 4

P-022 merge gate controls

P-022 merge gate

H-28 DbCommand falsifier on: pull_request 2

H-28 required runtime + extractor gates

pr-issue-validation on: pull_request 2

validate contribution format

Code scanning results

Owen

pr-issue-validation on: pull_request 2

validate contribution format

Select a check to view from the sidebar