SPEC-039 Phase-2: runtime bridge + FR-PKV10 contiguous KVCache (#887) - #889
Closed
Augustas11 wants to merge 1 commit into
Closed
SPEC-039 Phase-2: runtime bridge + FR-PKV10 contiguous KVCache (#887)#889Augustas11 wants to merge 1 commit into
Augustas11 wants to merge 1 commit into
Conversation
Increment 1 + 2 of the deferred SPEC-039 runtime bridge: - PagedKVRuntimeBridge: request-scoped attach gated on observed-identity match vs a trusted descriptor (admits() rejects empty/partial identity on all four fields); live FR-PKV10 contiguous KVCache extraction, reinjection, retain/reattach, and mid-block trim; shared [B,1] forward backend adapter. - ModelRuntime: schedulerBackendAvailable/requestedTuple exposed ONLY when the bridge is genuinely attached; production observation stays nil -> inert. - Bridge + parity tests. Default-off / runtime-inert: production never measures an observation, so attach never fires. Real enable proof deferred to a >32GB Mac per the enable gate. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Owner
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
SPEC-039 Phase-2 runtime bridge + FR-PKV10 (#887) — DRAFT, under independent audit
Implements the deferred runtime bridge that is allowed to activate the merged-but-inert paged engine (#814) and continuous-batching scheduler (#888).
Safety posture (verified): production never constructs a runtime observation, so
resolveDecisionAndBridgefails closed andschedulerBackendAvailable/engineBridgeAvailablestay false — the feature is runtime-inert. Attach requires an observed-identity match against a trusted descriptor;admits()rejects empty/partial identity on all four fields (hardware/metallib/kernel/parity) + exact poolEpoch. No speculative-activation path.Scope: Increment 1 (request-level attach + shared
[B,1]forward adapter) + Increment 2 (FR-PKV10 contiguous KVCache extraction / reinjection / retain-reattach / mid-block trim).Status: opened for CI + independent 3-lane codex audit. Real enable proof deferred to a >32GB Mac.
SPEC-GOVERNANCE-DECLARATION-BEGIN
{
"schema_version": "spec-pr-governance-v1",
"behavior_change": "yes",
"contract_change": "none",
"specs": ["SPEC-039"],
"requirements": ["SPEC-039-R010"],
"authority_domains": ["paged-kv-attention"],
"arbitration": ["CODE_BUG"],
"tests": ["swift test --filter PagedKVRuntimeBridgeTests", "swift test --filter PagedKVEngineTests"],
"journeys": ["not-required"]
}
SPEC-GOVERNANCE-DECLARATION-END