P-037 A2.0: evidence harness hardening + terminal-green baseline (T, R) - #361

Merged

PhysShell merged 22 commits into

mainfrom

claude/p037-a2-baseline-4a8e658

Sep 19, 2026

Commits on Sep 18, 2026

P-037 A1.1-a1 (tooling): a corpus verdict snapshot, so "same verdicts" is checkable
claude
committed
9f6dfe3
P-037 A1.1-a1 (tooling): the snapshot asked for a severity that does not exist; fail closed on an unreadable run
claude
committed
17e7285
P-037 A1.1-a1: the pre-change corpus baseline, both engines, 137 files
claude
committed
cca0f44
P-037 A1.1-a1: parameter-bearing methods reach OwnIR with params[]; no semantic cut
claude
committed
2720b9a
P-037 A1.1-a1: a returned PARAMETER is a bare CFG exit, not a fresh-factory transfer
claude
committed
2de574a
P-037 A1.1-a1: zero semantic cut, proved on two independent sources
claude
committed
464308b
P-037 A1.1: the fact-shape census, and both P-037 checkers wired into CI
claude
committed
80af136
docs(p037): freeze A2 execution governance
PhysShell
committed
aff77cd
P-037 A2.0: add evidence provenance closure

PhysShell
and
codex
committed
57510ee
P-037 A2.0: add whole-MOS differential gate

PhysShell
and
codex
committed
efb0d55
P-037 A2.0: wire provenance controls into evidence gates

PhysShell
and
codex
committed
bb11b56
P-037 A2.0: bind MOS source set to committed inputs

PhysShell
and
codex
committed
f968696
P-037 A2.0: satisfy lint and launcher census

PhysShell
and
codex
committed
7366ff9
P-037 A2.0: normalize MOS snapshot imports

PhysShell
and
codex
committed
5eaab59
P-037 A2.0: preserve repository compilation in MOS gate

PhysShell
and
codex
committed
6ed8f3f
P-037 A2.0: make provenance closure fail on phantom paths

PhysShell
and
codex
committed
f09ca0c
P-037 A2.0: expose provenance control to the regression suite

PhysShell
and
codex
committed
724ce19
P-037 A2.0: close evidence integrity gaps before baselines

PhysShell
and
codex
committed
dad79e3
P-037 A2.0: make snapshot integrity narrowing explicit

PhysShell
and
codex
committed
82b7449
P-037 A2.0: harden the evidence harness into a T-candidate contract
claude
committed
1113188
P-037 A2.0: seal the executed Rust artifacts per take and attest them after the run
claude
committed
4a8e658

Commits on Sep 19, 2026

docs(p037): record A2 baseline evidence at terminal-green T

PhysShell
and
claude
committed
5fd6bfa

Navigation Menu

P-037 A2.0: evidence harness hardening + terminal-green baseline (T, R) - #361

P-037 A2.0: evidence harness hardening + terminal-green baseline (T, R)#361
PhysShell merged 22 commits into
mainfrom
claude/p037-a2-baseline-4a8e658

Commits on Sep 18, 2026

P-037 A1.1-a1 (tooling): a corpus verdict snapshot, so "same verdicts" is checkable

P-037 A1.1-a1 (tooling): the snapshot asked for a severity that does not exist; fail closed on an unreadable run

P-037 A1.1-a1: the pre-change corpus baseline, both engines, 137 files

P-037 A1.1-a1: parameter-bearing methods reach OwnIR with params[]; no semantic cut

P-037 A1.1-a1: a returned PARAMETER is a bare CFG exit, not a fresh-factory transfer

P-037 A1.1-a1: zero semantic cut, proved on two independent sources

P-037 A1.1: the fact-shape census, and both P-037 checkers wired into CI

docs(p037): freeze A2 execution governance

P-037 A2.0: add evidence provenance closure

P-037 A2.0: add whole-MOS differential gate

P-037 A2.0: wire provenance controls into evidence gates

P-037 A2.0: bind MOS source set to committed inputs

P-037 A2.0: satisfy lint and launcher census

P-037 A2.0: normalize MOS snapshot imports

P-037 A2.0: preserve repository compilation in MOS gate

P-037 A2.0: make provenance closure fail on phantom paths

P-037 A2.0: expose provenance control to the regression suite

P-037 A2.0: close evidence integrity gaps before baselines

P-037 A2.0: make snapshot integrity narrowing explicit

P-037 A2.0: harden the evidence harness into a T-candidate contract

P-037 A2.0: seal the executed Rust artifacts per take and attest them after the run

Commits on Sep 19, 2026

docs(p037): record A2 baseline evidence at terminal-green T