Define bounded local owner continuation candidate - #43
Merged
Conversation
![sourcery-ai[bot]](https://avatars.githubusercontent.com/in/48477?s=60&v=4){kind=small}
Reviewer's GuideThis PR adds a narrowly scoped, specification-only local owner continuation candidate with authenticated human-authority bindings, deterministic record integrity, status and clock rules, serialized one-shot start semantics, and a 39-observation proof inventory, while documenting independent review evidence and explicitly withholding implementation, runtime, release, and execution authority. Sequence diagram for guarded local continuation startsequenceDiagram
participant Caller
participant Verifier
participant Store
participant Clock
participant LocalProbe
Caller->>Verifier: authenticated start request
Verifier->>Store: acquire serialization guard
Verifier->>Store: read decision, claim, status heads, start slot
Verifier->>Clock: sample wall and monotonic clocks
Clock-->>Verifier: accepted time sample
Verifier->>Verifier: verify authority, bindings, status, expiry
alt admission denied
Verifier-->>Caller: fail closed
else admission allowed
Verifier->>Store: record start-intent
Verifier->>Clock: re-sample clocks immediately before observation
Clock-->>Verifier: fresh time sample
alt clock or revocation check fails
Verifier-->>Caller: deny without observation
else still admissible
Verifier->>LocalProbe: observe_fixed_payload()
LocalProbe-->>Verifier: observation or uncertainty
Verifier->>Store: record start-result
Verifier-->>Caller: completed or uncertain
end
end
Verifier->>Store: release serialization guard
Flow diagram for fail-closed continuation admissionflowchart TD
A[Authenticated verifier request] --> B{Valid human start_work authority?}
B -- No --> X[Fail closed]
B -- Yes --> C{Exact profile, action, and record bindings?}
C -- No --> X
C -- Yes --> D{Decision and claim status active?}
D -- No --> X
D -- Yes --> E{Expiry and paired clock checks valid?}
E -- No --> X
E -- Yes --> F{Unused start slot?}
F -- No --> H[Human inspection required]
F -- Yes --> G[Durably record start-intent]
G --> I{Immediate handoff still admissible?}
I -- No --> X
I -- Yes --> J[observe_fixed_payload]
J --> K[Record start-result: completed or uncertain]
File-Level Changes
Possibly linked issues
Tips and commandsInteracting with Sourcery
Customizing Your ExperienceAccess your dashboard to:
Getting Help
|
PR Summary by QodoDefine bounded local owner continuation candidate contract
AI Description
Diagram
High-Level Assessment
Files changed (5)
|
Owner
Author
|
@codex review |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
Code Review by Qodo
1.
|
![qodo-code-review[bot]](https://avatars.githubusercontent.com/in/484649?s=60&v=4){kind=small}
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 21a59ddef7
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Owner
Author
|
PR review loop disposition:
This note records why the loop is not waiting indefinitely on this finding state. |
Owner
Author
|
PR review loop disposition:
This note records why the loop is not waiting indefinitely on this finding state. |
Owner
Author
|
@codex review agent-control fresh required Codex review request |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: de8a2a7a01
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Owner
Author
|
PR review loop disposition:
This note records why the loop is not waiting indefinitely on this finding state. |
Owner
Author
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 664dc73e14
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Owner
Author
|
PR review loop disposition:
This note records why the loop is not waiting indefinitely on this finding state. |
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.
Summary
Boundaries
This is a candidate contract and fixture inventory only. It adds no hosted execution, provider/model/tool dispatch, GitHub mutation, billing, worker launch, automatic recovery, deployment, release, or merge authority.
Validation
npm run hacp:cli-bridge-examplesnpm run hacp:doctor -- schemas/examplesgit diff --checkReview evidence
Two fresh independent Codex contexts reviewed the same initial commit and file hashes without cross-priming. Both found no P1 and converged on P2 authority, digest/status, and fixture gaps; one separately classified clock executability as P2. Commit
21a59ddapplies the bounded dispositions. These reviews are architecture evidence, not cross-tool ship approval or release authority.Summary by Sourcery
Define a bounded, model-free local owner continuation candidate contract and its evidence requirements without adding hosted execution or external side effects.
New Features:
Bug Fixes:
Enhancements:
Documentation:
Tests: