S2 Step 11 — Verified Target Wrapper gate (own-fix subscriptions verify-target) - #291

Merged

PhysShell merged 20 commits into

mainfrom

claude/s2-step11-verify-target

Jul 18, 2026

Commits on Jul 17, 2026

feat(s2-step11): the OwnSharp.WeakTargetProbe (bind + probe modes)

PhysShell
and
claude
committed
78da5df
feat(s2-step11): fix_target.py orchestration + verify-target CLI

PhysShell
and
claude
committed
71a7d44
test(s2-step11): red — verify-target Tier A + full-CLI Tier B acceptance

PhysShell
and
claude
committed
e2469f4
feat(s2-step11): green — TARGET_BINDING shape check in bind (WRAPPER_BINDING)

PhysShell
and
claude
committed
36cea9a
test(s2-step11): red — H1 a candidate wrapper must never bind; ambiguous decoy

PhysShell
and
claude
committed
a44564f
feat(s2-step11): green — bind never promotes CandidateSymbols to the bound symbol (H1)

PhysShell
and
claude
committed
fb4fcd1
test(s2-step11): red — H2 the wrapper load context must be closed

PhysShell
and
claude
committed
619d3c4
feat(s2-step11): green — close the wrapper AssemblyLoadContext (H2)

PhysShell
and
claude
committed
90ddc9f
test(s2-step11): red — H3 execution-root isolation + full revalidation

PhysShell
and
claude
committed
4961460
feat(s2-step11): green — literal G5 execution-root isolation + revalidation (H3)

PhysShell
and
claude
committed
8c692b8
test(s2-step11): red — H4 bounded child + strict result validation + bind_delta

PhysShell
and
claude
committed
97db6e3
feat(s2-step11): green — bounded child runner + strict validation + bind_delta (H4)

PhysShell
and
claude
committed
9876b36
test(s2-step11): red — K1 drift categories + K2 closed-schema validation

PhysShell
and
claude
committed
a44368c
feat(s2-step11): green — K1 drift categories + K2 closed-schema (fix_target)

PhysShell
and
claude
committed
f0af45c
test(s2-step11): red — K3 WRAPPER_RUNTIME_UNSUPPORTED needs a positive predicate

PhysShell
and
claude
committed
964507c
feat(s2-step11): green — positive runtime-incompat predicate in bind (K3)

PhysShell
and
claude
committed
1045ec8
test(s2-step11): red — L1 positive runtime-FAMILY incompatibility

PhysShell
and
claude
committed
5f0984a
feat(s2-step11): green — positive runtime-FAMILY predicate in bind (L1)

PhysShell
and
claude
committed
4cc5737
test(s2-step11): red — L2 exact consumed-schema + L3 strict failure cleanup

PhysShell
and
claude
committed
e1578a7
feat(s2-step11): green — exact consumed-schema (L2) + strict failure cleanup (L3)

PhysShell
and
claude
committed
c7ab5e4

Navigation Menu

S2 Step 11 — Verified Target Wrapper gate (own-fix subscriptions verify-target) - #291

S2 Step 11 — Verified Target Wrapper gate (own-fix subscriptions verify-target)#291
PhysShell merged 20 commits into
mainfrom
claude/s2-step11-verify-target

Commits on Jul 17, 2026

feat(s2-step11): the OwnSharp.WeakTargetProbe (bind + probe modes)

feat(s2-step11): fix_target.py orchestration + verify-target CLI

test(s2-step11): red — verify-target Tier A + full-CLI Tier B acceptance

feat(s2-step11): green — TARGET_BINDING shape check in bind (WRAPPER_BINDING)

test(s2-step11): red — H1 a candidate wrapper must never bind; ambiguous decoy

feat(s2-step11): green — bind never promotes CandidateSymbols to the bound symbol (H1)

test(s2-step11): red — H2 the wrapper load context must be closed

feat(s2-step11): green — close the wrapper AssemblyLoadContext (H2)

test(s2-step11): red — H3 execution-root isolation + full revalidation

feat(s2-step11): green — literal G5 execution-root isolation + revalidation (H3)

test(s2-step11): red — H4 bounded child + strict result validation + bind_delta

feat(s2-step11): green — bounded child runner + strict validation + bind_delta (H4)

test(s2-step11): red — K1 drift categories + K2 closed-schema validation

feat(s2-step11): green — K1 drift categories + K2 closed-schema (fix_target)

test(s2-step11): red — K3 WRAPPER_RUNTIME_UNSUPPORTED needs a positive predicate

feat(s2-step11): green — positive runtime-incompat predicate in bind (K3)

test(s2-step11): red — L1 positive runtime-FAMILY incompatibility

feat(s2-step11): green — positive runtime-FAMILY predicate in bind (L1)

test(s2-step11): red — L2 exact consumed-schema + L3 strict failure cleanup

feat(s2-step11): green — exact consumed-schema (L2) + strict failure cleanup (L3)