P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision) by PhysShell · Pull Request #373 · PhysShell/Own.NET

P-037 B1: pre-register the guarded shadow read (contract only, no code)

claude

committed

571669e

P-037 B1: amend the pre-registration per owner review (no code)

claude

committed

667873e

P-037 B1: own-guarded, the guarded shadow read over the A2 facts

claude

committed

8504ad4

P-037 B1: the proof-boundary checker learns the guarded shadow

claude

committed

3efdd24

P-037 B1: the shadow report entry point and the A14 side report

claude

committed

5fb31c4

P-037 B1: the frozen-population shadow driver and the N4 guarded read

claude

committed

5c6207e

P-037 B1: dag.rs kernel guard reads metadata without indexing

claude

committed

ec5a78a

P-037 B1: RESULT FAIL — B1 BLOCKED (KILL 5), with the first shadow report

claude

committed

fd5e35a

P-037 B1: build own-guarded-report before the CI inertness run

claude

committed

92cedb7

Navigation Menu

Repository navigation

P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision) - #373

P-037 B1: guarded shadow read — RESULT FAIL, B1 BLOCKED (KILL 5, owner decision)#373
PhysShell wants to merge 9 commits into
research/p037-phase-b-proof-boundaryfrom
research/p037-phase-b1-shadow

Commits on Sep 28, 2026

P-037 B1: pre-register the guarded shadow read (contract only, no code)

P-037 B1: amend the pre-registration per owner review (no code)

P-037 B1: own-guarded, the guarded shadow read over the A2 facts

P-037 B1: the proof-boundary checker learns the guarded shadow

P-037 B1: the shadow report entry point and the A14 side report

P-037 B1: the frozen-population shadow driver and the N4 guarded read

P-037 B1: dag.rs kernel guard reads metadata without indexing

P-037 B1: RESULT FAIL — B1 BLOCKED (KILL 5), with the first shadow report

P-037 B1: build own-guarded-report before the CI inertness run