feat(network): admit and compare typed-text postconditions - #271

Draft

seonghobae wants to merge 68 commits into

feat/webdriver-bidi-type-text-postcondition-transportfrom

feat/webdriver-bidi-type-text-postcondition-response

Commits on Sep 1, 2026

test(network): require correlated text-value postcondition admission
seonghobae
committed
160365b
feat(network): admit correlated text-value postconditions
seonghobae
committed
924e027
feat(network): export typed text-value response admission
seonghobae
committed
384643f
style(network): apply rustfmt to text-value response admission
seonghobae
committed
cecc0ac
test(network): use valid JSON escape fixture for text observation
seonghobae
committed
724e323
test(network): keep projection regression clippy-clean
seonghobae
committed
8861c03
fix(network): close BiDi response coverage gaps
seonghobae
committed
d897909
test(network): exercise BiDi response failure paths
seonghobae
committed
8357e9e
style(network): apply canonical rustfmt diagnostics
seonghobae
committed
9a27068
style(network): apply remaining rustfmt diagnostics
seonghobae
committed
11d6588
test(network): cover observation error correlation
seonghobae
committed
8c09f1a
test(network): cover expected text rejection paths
seonghobae
committed
0ba5a4d
style(network): apply canonical rustfmt
seonghobae
committed
57af3c8
test(network): close typed-text coverage obligations
seonghobae
committed
67d9046
test(network): cover malformed text observation paths
seonghobae
committed
26b455d
test(network): replace non-causal coverage probes
seonghobae
committed
edc4a7b
test(network): cover malformed observation propagation
seonghobae
committed
f8ed02a
test(network): close exact observation coverage
seonghobae
committed
64c8588
test(network): close observation coverage instrumentation
seonghobae
committed
14ab832
test(network): satisfy coverage and strict clippy together
seonghobae
committed
3c2135c
fix(network): keep text validation assertion type-local
seonghobae
committed
1f2d298
test(network): cover public text observation diagnostics
seonghobae
committed
086d11b
style(network): restore rustfmt newline
seonghobae
committed
8d38457
test(network): cover unicode observation projection
seonghobae
committed
364f2f2
style(network): apply canonical rustfmt to unicode response tests
seonghobae
committed
12656b1
fix(network): restore exact unicode JSON fixture bytes
seonghobae
committed
aa732cb
test(network): exercise text-value public boundary in unit build
seonghobae
committed
a8d7a0a
test(network): run text-value boundary in unit build
seonghobae
committed
9903195
test(network): assert exact page text stays redacted
seonghobae
committed
13afb69
test(network): exercise fail-closed text response paths
seonghobae
committed
34e4980
style(network): apply exact current-head rustfmt diagnostics
seonghobae
committed
eb05dd6
test(network): cover typed text error display adapters
seonghobae
committed
1bdd8ae
test(network): require explicit text postcondition gate
seonghobae
committed
d7c9878
feat(network): require verified text postcondition
seonghobae
committed
dce81cb
feat(network): expose verified text postcondition
seonghobae
committed
aaec533
test(network): preserve postcondition error for diagnostics
seonghobae
committed
6d5559a
test(network): cover postcondition error contracts
seonghobae
committed
58af9ed
fix(network): apply canonical rustfmt to postcondition tests
seonghobae
committed
48aeba9
fix(network): avoid prohibited expect in postcondition tests
seonghobae
committed
61bd2e0
test(network): reject unbound postcondition response ids
seonghobae
committed
335667e
chore(stack): inherit typed observation correlation provenance
seonghobae
committed
ed1e146
chore(stack): inherit typed observation registration
seonghobae
committed
b7e1c7b
chore(stack): inherit typed command provenance regression
seonghobae
committed
f67c8bf

Commits on Sep 2, 2026

fix(stack): reconcile #271 with current #270 command provenance
seonghobae
committed
426f9dc

Commits on Sep 4, 2026

Commits on Sep 5, 2026

merge: adopt observation transport parent
seonghobae
committed
bc8d9b1
docs(network): scope typed-text postconditions
seonghobae
committed
802ec80

Commits on Sep 7, 2026

Commits on Sep 8, 2026

fix(network): complete intent acknowledgement verification

seonghobae
and
codex
committed
46db004