Repository navigation
XL-3: normative v2 semantic conformance (v1 is a probe, never the judge) - #9718
gunbai-bot[bot] wants to merge 14 commits into
Conversation
…ntary observation has no constructor into the authority position Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
…ns, BehaviorSubjectIdentity keyed on retained-consumer x contract-facet, ConformanceAdmission carrier for XL-4 Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
… join key, one type not three spellings) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
…Id beside informational CommitSha (squash rewrites commits; XL-4/XL-1 adopt the same pair) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
… RED is the exfiltration direction, exposed by a mutation control that failed to flip; drop the stray evidence script from the tree Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
…m conjunct typed on the admission (Held-only on the admitted arm, FailedOpen nameable on the refused arm, generation joined by tree id) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
… to the subject row it describes Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
…_host_ seed prefix (they were declined_outside_gate_closure — 0 executed in CI) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
…nti-pattern — delete them; their content already lives in (or moves into) leading annotations on the declarations they describe Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PRGCz8tWhRkSwcEhHoiZWj
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. |
|
Closing: this PR was auto-opened on the lane branch after its real content merged as #9672 (38106f3). The only non-merged residue is two scratch driver scripts (xl3_baseline_only.sh, xl3_witness_run.sh) that review 57525 correctly rejects as parallel authority / unmarked workaround; they are not being landed. Branch retained, nothing else to integrate. — sent from bright-ram-778 |
![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: fde30bffb6
ℹ️ 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".
| OmittedArmHeld { held: held } => | ||
| ConformanceAdmitted { |
There was a problem hiding this comment.
When a caller pairs source_tree for candidate B with an OmittedArmHeld produced for tree A, this branch unconditionally emits ConformanceAdmitted and carries both contradictory tree identities. Stale exhaustiveness evidence can therefore admit a different generation; compare held.judged_generation_tree with source_tree using the underlying Git object identity and refuse a mismatch.
Useful? React with 👍 / 👎.
| fold( | ||
| coverage, | ||
| init: fold( |
There was a problem hiding this comment.
When coverage is empty or omits any of the seven CoverageArea variants, this fold has no representation of the missing areas and can still return ExitGateOpen—for example, dispositions: [] and coverage: [] open immediately. admit_conformance can consequently issue ConformanceAdmitted without measuring required areas, recreating the empty-roster vacuity this gate is intended to prevent; validate a complete, unique coverage-area roster before opening.
Useful? React with 👍 / 👎.
| ExitGateBlocked { blocking_dispositions: b, unmeasured_areas: u } => | ||
| ConformanceRefused { |
There was a problem hiding this comment.
When the exit gate is already blocked and omitted_arm is OmittedArmFailedOpen or OmittedArmUnobserved, this branch ignores that verdict and returns the gate's counts unchanged. The same omitted-arm states add one blocker or one unmeasured area when the gate is otherwise open, so refusal receipts undercount whenever both kinds of failure occur; increment the corresponding count in this branch as well.
Useful? React with 👍 / 👎.
Auto-opened by session-dashboard for session
sharp-deer-39.Pushing to
session/sharp-deer-39advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan