Repository navigation
Conversation
iperev
force-pushed
the
feat/custom-epoch-review
branch
from
October 12, 2026 09:28
ce975fd to
ed3ccc3
Compare
Move the development Proofkit pin from 0.14.18 to the latest 0.14.x patch, 0.14.21 (provisional owner decision 2026-10-11). Offline comparison of the published wheels shows identical consumed command records, process contract, all 168 contract definitions and root/command help for the seven consumed commands; 0.15.0 and 0.16.0 stay deferred. uv.lock and the requirements projection change only the agentic-proofkit record. The consumed-contract test now binds the fourteen admitted root-definition digests. Record Intel macOS as unsupported for the pnpm/gitleaks locks (provisional owner decision 2026-10-11) and correct the stale pnpm 11.25.0 artifact reason. Record the 2026-10-12 audit/lock observation: no admitted advisory, three low dev-only mermaid advisories below the owned high threshold, no other version change. Native consumer tests remain required; CI-063 stays open.
iperev
force-pushed
the
chore/toolchain-qualification
branch
from
October 12, 2026 09:29
b3acbab to
b9554ab
Compare
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.
Context
CI-063 remainder after #56. Provisional owner decisions (2026-10-11): Q6(b) move Proofkit to the latest 0.14.x patch if the consumed contract is identical, and defer 0.16.0; Q7 document Intel macOS as unsupported for the pnpm/gitleaks locks.
What changed
Expected result
Native consumer tests pass on 0.14.21 with unchanged consumed behavior.
Non-claims: this does not prove runtime/binary equivalence, adopt 0.15 or 0.16, support Intel macOS, update other dependencies, close CI-063, or renew the runtime-repair expiry.
Provisional owner decisions (2026-10-11): Q6(b) and Q7, as listed under Context.
Independent review: gpt-6-astra (xhigh); findings addressed or rejected with reasons in the single commit. Provisional owner decisions (2026-10-11) are labelled in the changed documents.