docs: qualify package identity across uring agent guides

[hayabusa-cloud]

Summary

Make the uring agent guides refer to every neighbour package by its fully-qualified code.hybscloud.com/{pkg} import identity instead of a bare short name, and carry that identity into the runtime carrier lifts so prose, owner maps, and formal terms agree.

Changes

• Replace bare package names (iox, iofd, sock, iobuf, kont, cove, takt, sess, zcall, spin, lfq, framer) with code.hybscloud.com/{pkg} in owner maps, boundary rules, and guide prose.
• Strengthen the broad-edit instruction in the guide to require reading the complete current source of the relied-on neighbour packages before editing.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[Copilot]

Pull request overview

This PR updates the uring agent-guide documentation to consistently refer to neighbor packages by their fully-qualified import identity (code.hybscloud.com/{pkg}), aiming to keep prose, owner maps, and formal/lift terminology aligned across the guide set.

Changes:

• Qualify neighbor package references throughout the workflow, boundary, runtime, formalization, and lift docs (e.g., iox → code.hybscloud.com/iox).
• Strengthen guide-edit workflow instructions to require reading the complete current source of all relied-on neighbor packages before broad/cross-package-model edits.
• Extend the takt runtime guide and the runtime-carriers lift with additional formal-model detail (not just naming/qualification).

Reviewed changes

Copilot reviewed 20 out of 20 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
agents/workflow/task-checklists.md	Qualifies runtime-package names and strengthens “broad edit” prereqs to include reading neighbor package sources.
agents/workflow/boundary-gates.md	Updates G_read gate wording to require reading code.hybscloud.com/iox explicitly.
agents/runtime/takt.md	Qualifies package mentions and adds/adjusts formal model details around completion-memory storage and fatal/drain behavior.
agents/runtime/sess.md	Qualifies neighbor package references (iox, takt, etc.) and clarifies outcome-plane asymmetry phrasing.
agents/runtime/kont.md	Qualifies kont/takt references in rules text.
agents/runtime/cove.md	Qualifies cove references in rules text.
agents/lift/protocols-runtime.md	Qualifies runtime package references and refines runtime owner/fatal/drain/token-reuse modeling in the lift.
agents/lift/INDEX.md	Qualifies runtime carrier references in the lift index prose.
agents/formalization/sessions.md	Qualifies uring references in introductory prose.
agents/formalization/resources.md	Qualifies uring references in introductory prose.
agents/formalization/notation.md	Qualifies uring references in introductory prose.
agents/formalization/kernel-boundary.md	Qualifies uring references and cove mention in explanatory prose.
agents/formalization/INDEX.md	Qualifies terminology and updates how the composed-guide check is described; adjusts vocabulary listing.
agents/formalization/handler.md	Qualifies uring references in prose.
agents/formalization/guarantees.md	Qualifies uring references in prose.
agents/formalization/go-mapping.md	Qualifies uring references in prose.
agents/boundary/resources.md	Qualifies iobuf ownership references.
agents/boundary/protocols.md	Qualifies neighbor package ownership references in rule list.
agents/boundary/integration.md	Qualifies neighbor package ownership references and cove carrier wording.
AGENTS.md	Adds explicit instruction to read full neighbor package sources for broad/cross-package-model guide edits.