Repository navigation
Integration batch 10-25: land #3189 over #3186 - #3202
Merged
Merged
Conversation
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013ejYrMLnLWah8wCDDcb57V
…arlier claims Every install mints a new claimed generation per unit. The cursor proof (CursorOwner._matches_input) demanded that each input was sent under exactly the current claim, so after a restart no unit could ever prove its own history: the cursor never started and every wake rescanned the whole history under the registry lock. The claim is a writer fence, not the identity of who sent an input; require_live still fences a stale writer at publish. - NativeClaimEpoch.sent_by_lineage: sent under this claim or an earlier one of the same name (claims only grow, thread_identity.py:565). - The cursor proof, the recorded-reference check and InjectedInput.allows use it. Tool claim scope (selected_tool_broker.py:256) stays exact. - CursorOwner.cursor reads the thread's newest row at or below its claim; an earlier claim's row is an InheritedCursor whose first publish inserts this claim's row from it. without_input stamps the current claim. - Deletes #3186's foreign-claim bound (first_foreign_claim_source, SourcePrefix.before, the since() stop_seq) and its tests: nothing left for it to stop at. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013ejYrMLnLWah8wCDDcb57V
ACP scopes every cursor observation to the live claim (acp_extension.py validate_scope), and cursor_publication builds the envelope from a plain read without catching ValueError. An earlier claim's row read before the first publish would have raised there. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013ejYrMLnLWah8wCDDcb57V
trissim
force-pushed
the
integration/batch-1025
branch
3 times, most recently
from
October 25, 2026 03:04
67421fc to
590f08d
Compare
trissim
changed the title
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013ejYrMLnLWah8wCDDcb57V
# Conflicts: # src/agent_comms/historical_native_inputs.py
trissim
force-pushed
the
integration/batch-1025
branch
from
October 25, 2026 03:09
590f08d to
987f54b
Compare
trissim
changed the title
trissim
marked this pull request as ready for review
October 25, 2026 03:11
trissim
enabled auto-merge
October 25, 2026 03:11
There was a problem hiding this comment.
Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota.
An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.
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
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.
Integration batch 10-25. #3189 conflicts with main (#3186) and lands here, with the conflict resolved once.
Member
historical_native_inputs.pyis resolved to A restarted unit's cursor inherits the inputs its thread sent under earlier claims #3189's side, because A restarted unit's cursor inherits the inputs its thread sent under earlier claims #3189 deletes Source coverage reads only what changed and lets go of the registry lock #3186's_selected_sourcesandfirst_foreign_claim_sourcestop_seq bound.git grepover src, tests and tools finds no caller or test of either one left:cursor_owner.pyandtest_sqlite_source_coverage.pychange with it.Local proof on 987f54b, run the way CI runs it:
tools/debt_ratchet.py --root srcand--root toolsagainst origin/main ac90cef: rc=0 on both, nothing introduced, found or grew.pytest -p no:xdistwith an absolute PYTHONPATH on test_certified_bootstrap, test_native_context_reference, test_sqlite_source_coverage and test_carry: 44 passed, 1 skipped.Landed alone once their verdicts were recorded: #3203 #3204 #3188 #3200 #3205 #3206 #3201.
Dropped, each for its own red
tools/cutover/carry_native_cursor_thread_key.pyadds FamilyFlattened +2, UnannotatedParameter at :43 and one TypeError. Sent back.test_carry::test_the_install_start_stops_owners_on_a_ledger_the_outgoing_runtime_cannot_openandtest_commander_forks::test_retained_schema_is_carried_under_maintenance_before_runtime_writes. Both pass once Opening a store never migrates it; reconcile-stores is the one carry #3174 is out.tools/debt_ratchet.py.TypedTable+10.tools/debt_ratchet.py+1.tools/repairs.pyand OwnTypeTest intools/typing_names.py.stack/pi-native.sha256was not updated.🤖 Generated with Claude Code
https://claude.ai/code/session_013ejYrMLnLWah8wCDDcb57V