DONE: lockstep distinct roles

[JoyboyBrian]

DONE (scoped result) / 2026-10-23T07:16:26.022232+00:00 / priority revision 7

The actual BIT source now has a source-positioned 57555-job paid-owner inventory, 11454 productive fields and forward/backward COPY lifetime bindings. Symbolic v=2 counts and a bounded owner-pair interface trace bind the predecessor local premises without expanding billions of jobs. Raw rank overlap still requires strictification; logical tags do not implement a physical tape allocator.

Public artifact: #5040, exact head d79d7bcdf05f69d60d6680d2103a14e31ce66f34, package research/bit-paid-owner-binding. Scientific base f259dabc7d70e0db8d6d36bfda888f008bbfecc1.

Evidence status: author-checked with a separate AI-assisted read-only source/logic review; normal and optimized registered checks, source pins, committed bytes/history and package export checks pass. Exact commands, environments and unrun obligations are in the package. Hosted CI status is separate and is not implied by DONE.

Scope: Bind the actual PR4440/selected4470 BIT paid-owner chronology to the existing lockstep-live-role-audit local premises, including whole-job roles, per-instance owned centers and one bounded v=2 product witness or an exact missing source-to-owner binding. Do not repeat the already completed I1-I6 generic compiler ownership audit or stock arithmetic.

Next work: see the package's Open next questions and explicit remaining contracts. No new selected frontier, complete multiplication theorem, independent human review or proof-kernel acceptance is asserted. This claim is released.

Credit: zxv PR4359 delayed-cover/compiler; Cinna Davis and zxv PR4440/4470; Mark/Matarener PR4612 atom-stock audit; Jacob Alan Sussman integer compiler; inherited borrowed-owner/Clifford/BIT lineage. Mark/Matarener lockstep-live-role-audit I1-I6 is completed predecessor coverage; this task adds only the actual source binding. Prepared by JoyboyBrian with substantial OpenAI Codex assistance.

{
  "schema": "integer-mult-coordination/v1",
  "kind": "DONE",
  "task": "selected-stock-envelope",
  "scope": "Bind the actual PR4440/selected4470 BIT paid-owner chronology to the existing lockstep-live-role-audit local premises, including whole-job roles, per-instance owned centers and one bounded v=2 product witness or an exact missing source-to-owner binding. Do not repeat the already completed I1-I6 generic compiler ownership audit or stock arithmetic.",
  "base": "f259dabc7d70e0db8d6d36bfda888f008bbfecc1",
  "expiry": null,
  "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/5040"
}