Enable v9 Caveats and expiring Relationships - #175

Merged

theronic merged 42 commits into

mainfrom

agent/v9-qualified-evaluation

Sep 5, 2026

Commits on Sep 5, 2026

Keep the phased v9 plan and retire duplicate active changes
theronic
committed
a6e0c55
Model qualified evidence and temporal reuse before serving changes
theronic
committed
a013de3
Pass the full formal gate and measure sparse scan allocation
theronic
committed
711df33
Carry compact qualifier refs through native scan boundaries
theronic
committed
dfbdf89
Compose bounded conditional evidence with proven temporal witnesses
theronic
committed
f536086
Resolve immutable qualifiers once per request and expire before Caveat work
theronic
committed
243940c
Carry conditional and temporal evidence through scalar operator traversal
theronic
committed
e2ca085
Preserve evidence through bounded vector dispatch and exact point reuse
theronic
committed
77731a3
Add bounded incremental evidence joins for recursive updates
theronic
committed
3d170fb
Propagate recursive residuals and certificates to a bounded fixed point
theronic
committed
f9b5517
Apply canonical Dafny formatting to qualified models
theronic
committed
ec5246c
Carry qualified evidence through bounded stable point routes and scan caches
theronic
committed
958ea6b
Capture trusted evaluation time once across client reads and retained snapshots
theronic
committed
cbc5fcf
Reuse scoped node evidence without hiding previously encountered faults
theronic
committed
8831048
Qualify direct intersection and exclusion generators within native scan budgets
theronic
committed
b96f750
Project exact qualified generator evidence into lookup and count policies
theronic
committed
4010c1f
Complete qualified direct covers with scoped child evidence and bounded retention
theronic
committed
bd768e0
Complete conditional arrow evidence without rechecking a proven binding
theronic
committed
87431e3
Preserve qualified arrow evidence through ordered witnesses and resumed bindings
theronic
committed
f0eb499
Read bounded qualification data from the selected native adapter
theronic
committed
5142ff5
Count qualification data in aggregate authorization work limits
theronic
committed
ac53328
Reuse scoped path evidence in stable point traversal
theronic
committed
9747870
Carry qualified evidence through legacy ordered union lookups
theronic
committed
ffa2a1d
Admit one bounded Caveat request context before public reads
theronic
committed
e817357
Connect qualified public point checks and exact evidence reuse
theronic
committed
8f39f29
Model weighted recursive first-discovery admission and resumption
theronic
committed
645fa27
Propagate qualified evidence through recursive first-discovery traversal
theronic
committed
ecfc858
Preserve qualified page evidence through lookahead and scoped checkpoints
theronic
committed
662eb69
Expose definite and conditional public count policies across qualified routes
theronic
committed
012eef1
Expose detailed qualified lookups through pages, filters, and cache validation
theronic
committed
7f4d962
Publish qualified relationship batches and snapshot transaction plans
theronic
committed
5f6bc9e
Enforce qualified schema admission and preserve Relation alternatives
theronic
committed
683bca0
Add stored and expiry-active relationship inspection with bounded scans
theronic
committed
61b2738
Cache decoded qualifiers under exact or complete native content proof
theronic
committed
94fc89a
Reuse qualified point answers only within certified temporal intervals
theronic
committed
dcd95de
Certify qualified live and pinned cursors across retained page state
theronic
committed
e05d07d
Certify qualified cache coherence across native write and lifecycle traces
theronic
committed
968c001
Delete qualified endpoint pairs and owned qualifiers in bounded atomic batches
theronic
committed
d37f0ad
Certify qualified reuse and cross-epoch compatibility
theronic
committed
89e2586
Activate v9 qualified authorization after release qualification
theronic
committed
a2e84ae
Align historical replay cache expectations with v9
theronic
committed
e1bc712
Retry prepared native contention and certify v9 reuse expectations
theronic
committed
a5b84b0