L3 · 88j read projections — the queries every consumer hand-rolled by scraping lineage edges and mining invocation facts. Pure reads over the durable log through the port (read-state, so they are cross-process honest and need no live slot): a delegation report per turn, and a claim verifier for refs/heads/edges a model (or anything else) asserts exist.
COST: read-state on sqlite is a full log re-fold; delegation-report does one per DISTINCT child session plus one for the parent — O(subtree log). Built for one-shot inspection/audit; poll politely, like read-state itself.
L3 · 88j read projections — the queries every consumer hand-rolled by scraping lineage edges and mining invocation facts. Pure reads over the durable log through the port (read-state, so they are cross-process honest and need no live slot): a delegation report per turn, and a claim verifier for refs/heads/edges a model (or anything else) asserts exist. COST: read-state on sqlite is a full log re-fold; delegation-report does one per DISTINCT child session plus one for the parent — O(subtree log). Built for one-shot inspection/audit; poll politely, like read-state itself.
(delegation-report st sid turn-id)What did turn turn-id of session sid actually delegate, and what did the
subtree cost? Edges (invocation + derivation) recorded during the turn, one
summary per child (status, turns, usage/cost rolled :unknown-aware from the
child's own turns — summarized ONCE per distinct child), plus the turn's
self-only usage/cost for contrast.
What did turn `turn-id` of session `sid` actually delegate, and what did the subtree cost? Edges (invocation + derivation) recorded during the turn, one summary per child (status, turns, usage/cost rolled :unknown-aware from the child's own turns — summarized ONCE per distinct child), plus the turn's self-only usage/cost for contrast.
(verify-claim st claim)Mechanical existence check for a claimed engine fact. Accepts:
Mechanical existence check for a claimed engine fact. Accepts:
- a payload-ref → does the blob resolve?
- {:session/id s :head/id h} → is that head published in s's log?
- {:session/id s :edge/id e} → is that edge in s's log?
- {:session/id s} → does the session exist?
Returns {:claim/kind k :verified? bool}.cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |