[krzysztofwojt]

The #5055 streamed producer still creates fresh physical scratch in each leaf/XOR consumer. This package supplies one source-bound reusable inventory for that complete local interval: q²+136 record tapes, including input copies, coefficient stacks, counters and disposal. The producer and returned full output remain separately charged.

The new adapter executes the predecessor's unchanged function bytecode with the existing physical-caller lease specialization. The accompanying proof gives a retained-backing bound A(M+2) and a paid interface bound T_pool <= T + K + 28J + 4AN; the source traffic T still needs its all-parameter tariff. This supplies the persistent-workspace part of the #5055 handoff, not whole-caller admission or a new kappa.

Evidence:

• Complete q3/w2/d2 high cube: all 243 physical prefixes, 19,683 dirty payload bits and 1,458 callbacks agree with the retained independent oracle. One 145-role pool retires all 261,468 leases and retains 1,248 cells after the first and final prefix.
• Separate actual SOURCE87 request1676 calibration: source-produced Program and callbacks, two dimension-64 prefixes, 13,122 payload bits; 134,854 leases retired and 199,666 retained cells. This does not execute the 3^4096 domain.
• Every boundary checks unchanged physical identities, blank backing, unique retirement, exact clear tariffs and physical/lease traffic conservation. Four deliberate workspace defects are rejected for specific reasons; inherited payload/corruption controls remain active.
• Python 3.12 ordinary and optimized registered verification passed. A fresh committed export also passed both modes (147.4s / 148.5s), with no Git, an empty executable PATH and read-only source files; all 426 exported files including the transport receipt were byte-identical afterward. Metadata/pins, committed bytes/source history and official export integrity checks passed.

Scope: one isolated research/r437-streamed-leaf-workspace/ package. Base main a5df48c55ea806d7952b65acc9c76d878ff09b13, priority revision 7, refined r437-carrier-integration card. Scoped claim. No selected-frontier file changes.

Publication head: f7c4d65b11e658fa093f0bac9f5f4b8ca346a4b8. Export SHA256: 1bd3690ffa701e7f1b794e0450c81d320e3ff037de115c3416cb69b9cc573e18 (425 package/input files). Cold replay used 91f3ce542091a6043de83eb183a2f69ff2b69e3e; the only subsequent difference is a README clarification that an oversized custom pool must pay its actual capacity. Every executed file, input, receipt, proof and manifest is identical, checked against both exports. Final-head metadata, byte/history and export checks were rerun.

Before publication, canonical main advanced to ec2780e8aeb1c88acaf5e9e470ef8c68e7fbbb6c; none of this package's source/provenance inputs, root guidance, priorities or R437 packages changed. Live PR/Discussion scope checks found no competing claim; the neighboring physical reversal claim explicitly excludes this workspace. The separate same-account Gram and projection-recurrence work is excluded.

Remaining obligations include producer/full-packet/arena/suspended-owner residents, the source-traffic tariff, complete node/recursive restoration, Context/codebook setup, precision/stock and native/compiler/outer admission. Successful source callbacks are assumed; arbitrary-exception rollback is not provided. The uniform role bound inherits the retained physical-caller lexical proof, not the observed 27/28-lease peaks.

Krzysztof Wójt, with substantial OpenAI Codex assistance and bounded Luna supporting audits; Apache-2.0. JoyboyBrian retains #5055/#4981 algorithm, fixture and oracle credit; Jose Manuel retains the physical lease/source-role proof credit; David Arias and Chris R retain the logical caller and R437 bridge credit. All predecessor notices and exact source pins are preserved.

Hosted CI run 39950400985 passed on publication head f7c4d65b11e658fa093f0bac9f5f4b8ca346a4b8: shared helper tests, ordinary/optimized package replay, and the committed-inputs-unchanged check.