Classify scoped JSON trust boundaries - #5037

Merged

Widthdom merged 24 commits into

mainfrom

Aug 2, 2026

Commits on Jul 31, 2026

Commits on Aug 1, 2026

Bind JSON trust annotations to operations (#4913)
Widthdom
committed
ee03729
Stabilize JSON trust classification (#4913)
Widthdom
committed
0839b5e
Bind trust evidence across line columns (#4913)
Widthdom
committed
024a283
Reject prior same-line trust operations (#4913)
Widthdom
committed
23282aa
Tighten JSON trust operation binding (#4913)
Widthdom
committed
54334ac
Bind JSON trust across child queries (#4913)
Widthdom
committed
5150eff
Handle multiline JSON trust binding (#4913)
Widthdom
committed
cd463be
Harden JSON trust declaration binding (#4913)
Widthdom
committed
223845a
Harden multiline JSON trust binding (#4913)
Widthdom
committed
efd8e5d
Harden conditional JSON trust binding (#4913)
Widthdom
committed
2924434
Recognize spaced JSON trust directives (#4913)
Widthdom
committed
6b89929
Require declared JSON trust receivers (#4913)
Widthdom
committed
d45e63f
Merge origin/main into fix-issue4913 (#4913)
Widthdom
committed
32653b1
Merge remote-tracking branch 'origin/main' into fix-issue4913
Widthdom
committed
6d7cc25
Normalize verbatim JSON trust matches (#4913)
Widthdom
committed
c72f1be
Merge remote-tracking branch 'origin/main' into fix-issue4913
Widthdom
committed
d04ed5f

Commits on Aug 2, 2026