P3.35: correct OS-process isolation claims to module/data-level independence - #74

Merged

franciszver merged 7 commits into

mainfrom

docs/p3-35-process-isolation-claims

Jul 26, 2026

Commits on Jul 26, 2026

test(P3.35 red): guard fails while docs claim OS-process isolation the shipped runner does not implement
franciszver
committed
90cba1c
docs(P3.35): correct OS-process isolation claims to module/data-level independence (issue #73)
franciszver
committed
d80b224
fix(P3.35 cold-review): correct 339->340 / 232->234 arithmetic in ATO packet; widen test-count guard
franciszver
committed
765e3c0
fix(P3.35 cold-review): correct residual model-Judge implication in ARCHITECTURE.md Sec6
franciszver
committed
479c73e
fix(P3.35 cold-review): widen process-isolation claim/qualifier guards; scope prose; distinguish env failure
franciszver
committed
388aab4
fix(P3.35 cold-review): catch relative imports in Judge independence scan; drop false alias-import understatement
franciszver
committed
0d6c2e6
fix(P3.35 cold-review): fix shifted judge.py citation; cite reverse-direction independence test; strengthen context-window claim
franciszver
committed
3c610b7