http1_head_budget head;

http1_body_budget body;

http1_outbox_budget outbox;

websocket::options websocket_limits;

// The watchdog's deadline inventory (§3.4): header covers awaiting

// a head and the idle keep-alive gap, body_idle a decoding body

// with no new octets, write_idle a non-empty outbox with a stalled

// peer, suspension a suspended exchange.

server::timeout_options timeouts;

http1_response_framer::clock_source clock;

// TASK-118: the construction-time error-page factories (plan D3).

// Null means the v2 default pages; the engine normalizes a null to

// an empty set at construction.

std::shared_ptr<const error_page_factories> pages;

static connection_engine_config from_budget_limits(

const server::budget_limits& limits) noexcept {

connection_engine_config config;

config.head = http1_head_budget::from_budget_limits(limits);

config.body = http1_body_budget::from_budget_limits(limits);

config.outbox = http1_outbox_budget::from_budget_limits(limits);

config.websocket_limits = websocket::options::from_budgets(limits);

return config;

}

: public std::enable_shared_from_this<connection_engine> {

public:

// Invoked exactly once after every loop finished and the transport

// was released (the listener engine erases its record there). Must

// not touch the engine afterwards.

using stopped_callback = concurrency::unique_function<void()>;

// @p budget is the scope the connection reserves its seat against

// (the server root at TASK-108); @p scope is the server's drain

// counter, entered for the engine's whole live window (TASK-110).

// @p peer is the transport peer snapshot captured at accept

// (TASK-119); the default (unspec) serves rigs that build an

// engine over a fabricated transport.

connection_engine(io_poll_backend& backend, worker_pool& pool,

const server::route_registry& routes,

const server::hook_bus& hooks,

const server::resource_budget& budget,

drain_scope& scope, connection_engine_config config,

std::uint64_t id, stopped_callback on_stopped,

net::peer_address peer = net::peer_address{},

const server::peer_policy* peers = nullptr);

connection_engine(const connection_engine&) = delete;

connection_engine& operator=(const connection_engine&) = delete;

// Reserves the connection seat and spawns the task tree. A budget

// refusal reports the stop immediately (the accept path closes the

// transport without a response).

void start();

// Server-stop path (request_stop): disconnects the live exchange,

// abandons the outbox, releases the connection. Idempotent,

// non-blocking, handler-safe (DR-V3-008).

void shutdown(http::outcome_code reason = http::outcome_code::connection_closed) noexcept;

// Drain path (begin_drain, TASK-110): finish the in-flight

// exchange -- the response commits and the writer flushes the

// entire outbox before releasing the transport; pipelined-unstarted

// heads are dropped; an idle connection closes at once. Idempotent,

// non-blocking, handler-safe; a shutdown() before or after wins

// (the harder state closes regardless).

void quiesce(std::chrono::steady_clock::time_point server_deadline =

std::chrono::steady_clock::time_point::max()) noexcept;

// Marks the connection close-once-drained (the error, abort, and

// upgrade paths): the writer still flushes the outbox before the

// release. Public for the same callers as quiesce() -- the engine's

// own close-mark verb, safe from any thread.

void request_close() noexcept;

std::uint64_t id() const noexcept { return id_; }

// True while any loop of the task tree is still running.

bool running() const noexcept;

// Wakes every parked loop (wake ops coalesce globally; spurious

// wakes re-check).

void wake_loops() noexcept;

// wake_loops() ordered against every mu_-held park check (the

// lost-wake closure, TASK-109). Call AFTER mutating outbox state:

// a concurrently parking loop either already sees the mutation at

// its own under-mu_ check, or its wake op -- submitted under the

// same mutex -- is completed by this wake. The caller must NOT

// hold mu_.

void wake_loops_ordered();

static constexpr std::size_t k_read_buffer_bytes = 16384;

static constexpr std::size_t k_write_buffer_bytes = 4096;

// Deferred-state re-check cadence (an exchange is routed, no

// inventory deadline applies): the poll driver's one-wake-per-

// second posture, so a bare suspension decision is noticed.

static constexpr std::chrono::milliseconds k_watchdog_tick{1000};

private:

friend struct connection_engine_test_access; // private native regression seam

friend class http1_exchange_sink;

friend class wake_body_sink;

// Per-exchange body posture (TASK-109). none: the parser owns the

// byte stream. pending: the head is complete and the framing known,

// but the handler has not admitted the body -- upload bytes park,

// bounded, in early_bytes_ and the decoder stays unfed. admitted:

// the decoder consumes the stream (the TASK-106/108 posture).

// draining: a rejected length-framed body is discarded down to its

// counted remainder so the connection can be reused.

enum class body_gate : std::uint8_t {

none, pending, admitted, draining,

};

// Blocks until a complete head is parseable, the parser failed, the

// peer hung up, or the server stopped; true only for the complete

// head.

static task<bool> wait_for_head(std::shared_ptr<connection_engine> self);

static task<void> reader_loop(std::shared_ptr<connection_engine> self);

static task<void> writer_loop(std::shared_ptr<connection_engine> self);

static task<void> watchdog_loop(std::shared_ptr<connection_engine> self);

// True when the writer has nothing left to wait for: the outbox is

// empty, or its front slot FAILED (a refused or abandoned head can

// never queue more bytes, so its end marker will never arrive --

// TASK-118: the refusal close must complete).

bool outbox_drained() const;

// The watchdog's next move: exit (the connection is closing), defer

// (an exchange is routed and no inventory deadline applies), or arm

// a timer at the deadline.

struct watchdog_plan {

bool exit = false;

bool defer = false;

std::chrono::steady_clock::time_point deadline{};

};

// mu_ must be held.

watchdog_plan plan_watchdog_locked();

// True while this exchange's body is decoding and the message

// boundary has not been reached (the body_idle candidate). mu_ must

// be held.

bool body_decode_pending_locked() const;

// The suspension candidate, anchored at first sight of the

// suspended exchange so the deadline cannot slide; a disconnected

// exchange arms nothing (its handler is already unwinding). mu_

// must be held.

std::optional<std::chrono::steady_clock::time_point>

suspension_deadline_locked();

// The drain candidate, anchored at drain start so a trickling

// remainder cannot slide the deadline (TASK-109); nullopt while no

// drain is outstanding. mu_ must be held.

std::optional<std::chrono::steady_clock::time_point>

drain_deadline_locked() const;

// True when the deadline that just fired still governs the current

// state (activity re-arms instead of enforcing).

bool watchdog_due(std::chrono::steady_clock::time_point deadline);

// Drops the pending watchdog timer so the next state change re-arms

// (exactly-once claim resolves the race with a firing deadline).

void rearm_watchdog() noexcept;

// Records transport progress (a read or a completed write) and

// re-arms ordinary HTTP activity deadlines. Established WebSocket

// output idle slides only for a successful write.

void note_transport_activity(bool written = false);

// A fired deadline: disconnect the live exchange, mark the close,

// release the transport, wake the loops.

void enforce_timeout(std::chrono::steady_clock::time_point deadline) noexcept;

static task<void> route_loop(std::shared_ptr<connection_engine> self);

static task<bool> serve_one(std::shared_ptr<connection_engine> self);

// Parks the route side while a rejection drain runs down its

// counted remainder (TASK-109). True when the drain completed (or

// none was armed): the connection may serve its next exchange.

// False when EOF, a close verdict, or a stop ended the wait

// mid-drain.

static task<bool> await_drain(std::shared_ptr<connection_engine> self);

// Stages one exchange's body decoder WITHOUT feeding it: the

// drained seed parks as the early-byte buffer and the decoder is

// fed only at the admission transition (TASK-109's bounded

// pre-admission posture). A seed framing failure surfaces at that

// transition, not here.

void stage_body(const http1_body_mode& mode, std::string seed);

// The admission transition (called from the exchange sink): feeds

// the parked early bytes to the decoder, flips the gate, and wakes

// the gated reader. False when the seed already fails framing (the

// caller must not emit the interim then; the exchange is

// disconnected and the connection marked to close).

bool admit_early_body();

// Reader-side byte admission: feeds the active body decoder or the

// head parser, parking unhandable bytes in the pending tail.

void absorb(std::string_view data);

// The head-phase half of absorb; the mutex must be held.

void absorb_head_locked(std::string_view data);

// Pre-admission parking: appends to the bounded early buffer; the

// mutex must be held.

void absorb_pending_locked(std::string_view data);

// The admitted-state decoder feed (pending-tail re-feed posture of

// TASK-106/108); the mutex must be held. True on a framing failure.

bool absorb_admitted_locked(std::string_view data);

// Discards the counted rejection remainder; whatever follows it is

// the next pipelined head and feeds the parser. True when the drain

// completed (the caller wakes the loops and re-arms); the mutex

// must be held.

bool absorb_drain_locked(std::string_view data);

// True when the reader may submit another socket read. Parking

// (not reading) is the pre-admission memory bound; the mutex must

// be held.

bool reader_may_read_locked() const;

// Disconnects the live exchange, if one is being routed.

void disconnect_current(http::outcome_code reason,

std::string detail) noexcept;

// Emits a bare synthesized error (http1_error_synth wire form)

// through the outbox and marks the close. For the no-routing paths:

// a failed head, a rejected framing, an exhausted budget.

void emit_error(std::uint16_t code);

// Maps a typed failure to its synthesized status: 431 for a budget

// violation, 501 for an unsupported feature, 400 otherwise.

static std::uint16_t error_code_for(http::outcome_code code) noexcept;

// Exchange-tail: end synthesis, keep-alive verdict, pipelined-byte

// recycle. Returns the keep-alive decision for the route loop.

bool finish_exchange(wake_body_sink& forwarding,

const exchange& routed,

http1_exchange_sink& engine_sink,

const http1_body_mode& mode);

// True while this exchange's body ends undrained -- the decoder

// unfed (never admitted) or fed but incomplete. mu_ must be held.

bool body_undrained_locked(const http1_body_mode& mode) const;

// The mutex-guarded half: budget the keep verdict against undrained

// bodies (drain-or-close, TASK-109), recycle parked pipelined

// bytes, record the close verdict. A quiescing engine closes

// regardless of the verdict (TASK-110).

void settle_exchange_state(bool& keep, const http1_body_mode& mode);

// The drain-or-close verdict for an undrained body at settle time.

// Length framing with a healthy peer and a keep verdict reuses the

// connection: the gate flips to draining over the counted

// socket-side remainder (a remainder of zero completes at once),

// and early bytes past the counted body park as the recyclable next

// pipelined head. Every other posture -- chunked framing, a hung-up

// peer, or the response's own close -- keeps the close. mu_ must be

// held.

void decide_drain_locked(bool& keep, const http1_body_mode& mode);

// Protocol calls never hold mu_; observer delivery is outside the

// session lock. Snapshot reads may take the session lock under mu_:

// no session->engine lock edge exists during a mutation.

enum class io_posture : std::uint8_t { stop, retry, park, proceed };

io_posture reader_posture(wake_operation& wake);

bool submit_read(read_operation& read);

bool read_completed(const io_result& result);

void handle_read_failure(const io_result& result);

std::shared_ptr<websocket_driver> websocket_output_driver();

std::size_t copy_transport_output(std::span<std::byte> buffer, std::shared_ptr<websocket_driver>& driver);

io_posture writer_posture(const std::shared_ptr<websocket_driver>& driver,

wake_operation& wake);

bool transport_output_pending_locked() const;

bool watchdog_terminal_locked() const;

bool arm_watchdog(timer_operation& timer, const watchdog_plan& plan);

void add_protocol_deadlines_locked(std::span<std::chrono::steady_clock::time_point> candidates,

std::size_t& count) const;

void observe_websocket_driver(const std::shared_ptr<websocket_driver>& driver);

void websocket_progressed();

void update_websocket_write_anchor_locked(const websocket_progress& progress);

void fail_websocket(http::outcome reason);

void feed_websocket_tail();

void loop_finished();

void finalize();

io_poll_backend& backend_;

worker_pool& pool_;

const server::route_registry& routes_;

const server::hook_bus& hooks_;

io_connection_owner owner_;

const server::resource_budget& budget_;

drain_scope& scope_;

connection_engine_config config_;

const std::uint64_t id_;

stopped_callback on_stopped_;

// The immutable accept-time snapshot; stamped onto every exchange

// of this connection (TASK-119 plan D3).

const net::peer_address peer_;

// The server-wide policy the head-of-pipeline revalidation

// consults (TASK-119 plan D1); null on rigged engines skips the

// gate. A borrowed reference: the native_server's policy member

// outlives every listener and engine.

const server::peer_policy* peers_ = nullptr;

// --- coordination state (guarded by mu_) ---------------------------

mutable std::mutex mu_;

http1_head_parser parser_;

http1_response_outbox outbox_;

std::unique_ptr<http1_body_source> body_;

enum class stream_phase : std::uint8_t { http, upgrade_pending_flush, websocket, terminal };

stream_phase phase_ = stream_phase::http;

std::shared_ptr<websocket_driver> websocket_;

std::optional<std::chrono::steady_clock::time_point> upgrade_anchor_, server_drain_deadline_;

// Established WebSocket output idle starts when output becomes pending,

// slides only on successful writes, and clears when the queue drains.

std::optional<std::chrono::steady_clock::time_point> websocket_write_anchor_;

// Only the reader consumes this retained buffer. No suffix copy is

// needed while admission releases one message at a time.

std::size_t websocket_tail_offset_ = 0;

bool websocket_codec_blocked_ = false;

bool head_routed_ = false;

std::string pending_tail_; // bytes no consumer could take yet

std::string early_bytes_; // pre-admission parking (bounded)

body_gate gate_ = body_gate::none;

std::uint64_t drain_remaining_ = 0;

std::optional<std::chrono::steady_clock::time_point> drain_anchor_;

std::uint64_t next_sequence_ = 0;

exchange* current_ = nullptr; // live exchange being routed

std::chrono::steady_clock::time_point last_activity_

= std::chrono::steady_clock::now();

// The armed timer's state, shared-owned so a re-arm racing the

// timer's own completion never dereferences a dead handle (the

// op handle itself lives in the watchdog's frame).

std::shared_ptr<op_state> pending_timer_;

std::shared_ptr<op_state> pending_read_;

// Suspension deadline anchor: set at first sight of the suspended

// exchange, held until the exchange leaves the suspended state.

std::optional<std::chrono::steady_clock::time_point>

suspension_anchor_;

bool eof_ = false;

bool shutdown_ = false;

bool quiescing_ = false;

bool route_done_ = false;

bool close_after_drain_ = false;

bool started_ = false;

int live_loops_ = 0;

server::reservation seat_;

public:

// @p head must outlive this sink (serve_one frames own it first).

// @p refused_flag, when not null, receives the acceptance verdict

// of on_respond: the engine sets it when the framer refuses the

// committed head, so the owning frame's lifecycle interceptor can

// observe the refusal (response_sent suppression, request_

// completed failure verdict).

http1_exchange_sink(std::shared_ptr<connection_engine> engine,

http1_response_outbox& outbox,

const http::request_head& head,

bool* refused_flag = nullptr);

// Late binding: the outbox slot opens only after the exchange

// exists (its disconnect token parks outbox waits); decisions fire

// strictly later, inside run_route.

void bind(http1_response_sink& slot) noexcept;

// True once on_respond serialized the head into the slot.

bool responded_ok() const noexcept;

// The keep-alive verdict captured at response commit; close unless

// a successful final response said otherwise.

http1_keepalive keepalive() const noexcept;

// True when the exchange took the upgrade decision (the M8 posture

// closes cleanly after the committed head).

bool upgraded() const noexcept;

private:

void on_admit(const body_policy& policy) override;

void on_respond(const http::status& s, const http::fields& f) override;

websocket_upgrade_result on_upgrade(const ws_upgrade_options& options) override;

void on_abort() override;

std::shared_ptr<connection_engine> engine_;

http1_response_outbox& outbox_;

const http::request_head& head_;

http1_response_sink* slot_ = nullptr;

bool* refused_flag_ = nullptr;

http1_keepalive keepalive_ = http1_keepalive::close;

bool responded_ = false;

bool upgraded_ = false;

public:

explicit wake_body_sink(connection_engine& engine) noexcept

: engine_(engine) { }

void bind(body_sink& inner) noexcept { inner_ = &inner; }

// True once push_end was accepted through this wrapper.

bool ended() const noexcept { return ended_; }

body_push_result push(std::span<const std::byte> from) override;

body_push_result push_end(const http::fields& trailers) override;

const http::outcome& failure() const noexcept override {

return inner_->failure();

}

void park(body_write_wait& wait) override { inner_->park(wait); }

void unpark(body_write_wait& wait) override { inner_->unpark(wait); }

private:

connection_engine& engine_;

body_sink* inner_ = nullptr;

bool ended_ = false;