DBL Main

DBL Main provides a deterministic projection of the dbl-core event stream V into a finite state model. It does not execute tasks.

Scope

• Pure state projection from V (append-only event stream).
• Deterministic status evaluation based only on event ordering and DECISION outcomes.
• No policy engine, no kernel runtime, no IO side effects. dbl-main exports projection primitives only.

Boundaries

• dbl-core defines event kinds and DECISION semantics; dbl-main only consumes events.
• dbl-main does not import dbl-policy or evaluate policy.
• dbl-main does not call dbl-gateway and performs no replay; it projects project_state(V) -> State only.
• dbl-policy contract: dbl-policy/docs/dbl_policy_contract.md

Contract

• docs/dbl_main_contract.md

Validation against dbl-reference

See docs/validation_workflow.md.

Install

pip install dbl-main

Requires dbl-core>=0.3.0, Python 3.11+.

Usage

from dbl_core import DblEvent, DblEventKind, GateDecision
from dbl_main import Phase, RunnerStatus, project_state

v = [
    DblEvent(DblEventKind.INTENT, correlation_id="c1", data={"psi": "x"}),
    DblEvent(DblEventKind.DECISION, correlation_id="c1", data=GateDecision("ALLOW", "ok")),
    DblEvent(DblEventKind.EXECUTION, correlation_id="c1", data={"trace": {}, "trace_digest": "..." }),
    DblEvent(DblEventKind.PROOF, correlation_id="c1", data={"proof": "p1"}),
]

state = project_state(v)
assert state.phase in (Phase.EXECUTED, Phase.PROVEN)
assert state.runner_status == RunnerStatus.FINALIZED

License

MIT License. See LICENSE.