Repository navigation
Conversation
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…so both modules rust-emit The floor's union emit refuses both with EffectfulSelfRecursionUnrealized (non-tail async recursion has no realization). entry_presence walks ancestors through entry_presence_above, carrying the cause read one level down; walk_cgroup walks a preorder pending frontier through walk_cgroup_pending. Results and refusal arms are unchanged. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
# Conflicts: # docs/design-rung-drops.md
…s claim-scope. The live control compared both-closure keep to scope_order; those are different sets. Identity-join prefixes, authored modules, and wet entry_modules, and require the policy module in the projected claim scope. Co-authored-by: Cursor <cursoragent@cursor.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…the emitted poll consumes; claims run hermetically over supplied observation sequences; drop the shell fixture and its wet enrolment Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…: the main merge took main's blob and dropped the count drop section); stage0 mirrors unchanged in both rounds, BuildBuddy cfe499af Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
… reader) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…pare cycle. Eval of the policy rosters needs a prepared graph that already contains the policy module; the gate prepare's keep-set is computed from those rosters. Keep the parse, refuse any form it cannot read, and let the floor's post-prepare eval plus identity join remain the pairing inhabitance. Co-authored-by: Cursor <cursoragent@cursor.com>
…98); network read-back after create takes the same wiring admission as a found resource; a running A1 namesake is held only at the planned OCPUs and memory (side-chat review) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…edule rows. review 78189: the wet grep walked every module_path in the file and minted empty identity/entry/function fields. Seed modules now come only from local_repo_wet_schedule's body; the wet lane runs the evalled rows after the one gate prepare. Co-authored-by: Cursor <cursoragent@cursor.com>
…ecord, exact replay, cleared on observation or definitive non-creation); A1 launches refuse until monthly billing eligibility is admitted; held instance must be attached to the selected subnet; network admitted on enabled gateway, planned CIDRs, public subnet and read security-list access; decimal_pow10 (reviews 78205 + side-chat) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…_tests_claim_interpolation_hole_census.rs) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…verge authority and projection Main gained consumers of the module this PR deletes; taking main's side whole restored them and left the import unresolved. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…eator's first-send definitive refusal; re-sends never retire; first-send time recorded and replay refused past the retry-token window; record under the custody directory /etc/gunbc/oracle-oci. SSH admission refuses source-port-restricted rules (side-chat re-review) Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…nflict
demand_engine_request decided sharing from the stored entry's nature alone, so a
FreshEffect request could attach to a PureComputation entry (including one already
holding an available result), and Pure/Idempotent or a changed WorldRead envelope
were treated as one demand.
The request now compares the complete stored and requested natures with
std.materialization_ladder nature_eq before any attachment or re-production. An
unequal pair marks the entry DemandBlocked { BlockedKeyConflict { stored, requested } }
(the arm existed with no producer; it now carries both natures). The conflict is
durable: readiness, seal and settlement carry it rather than re-deriving over it,
later requests leave it standing, and direct dependents read it as a refused
prerequisite instead of waiting with no cause.
Witnesses: Pure/Fresh in both orders, Pure/Idempotent in both orders, WorldRead
envelope both directions, conflict after an Available result (dependent leaves the
ready order), conflict surviving seal/settle/re-request and never admitted; positive
controls that equal natures still attach and share one execution. Against a mutant
keeping the stored-nature decision the six conflict claims fail and the two controls
hold; against a mutant without readiness preservation the durability claim fails.
Out of scope and still open (roadmap native-memory-demand-nature): two same-key
FreshEffect requests leave one runnable entry while counting productions; distinct
executions are not yet demonstrated. The native planner's contracts are all
PureComputation, so no suppressed native effect is claimed.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…gration/v1-closeout
…the one enforcer)
…one admit_callers enforcer) into v1-closeout Generated files provisional pending regen. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…tegration/v1-closeout
…ne reported Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…_sudo_binaries); retarget caller-admission real-route evidence to exact counts Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…pped with the deleted memo; failure-mode row re-scoped) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…ssion/calm-bee-170
…, updated plan Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…apture-78366' into integration/v1-closeout
review 78381: hand_authored_declarations still named emitted_absent_policy_refuses_before_spawn after that test was removed. Absent policy stays cited as capture_channels_without_stderr_capture_input_refuse_the_union. Co-authored-by: Cursor <cursoragent@cursor.com>
…apture-78366' into integration/v1-closeout
…to integration/v1-closeout
…tegration/v1-closeout
…ay-name' into integration/v1-closeout
…egration/v1-closeout
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…iew): seed Rust, workflow steps and the script-row refusal API go with it Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…nt set pending one regen round Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…k_43 Two folded PRs (#13442's seeded_filler rows and #13125's belt exit-drain rows) each added floor_route_gap_expectation_chunk_42. The second silently replaced the first and the native emitter refused (duplicate declaration). The exit-drain chunk becomes chunk_43 and joins the roster, so both expectation sets are read. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…ssion/calm-bee-170
briansrls
marked this pull request as ready for review
October 9, 2026 21:18
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. |
![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: fe15553bbe
ℹ️ 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".
| } | ||
|
|
||
| fn trim_zero_digits(s: String) -> String { | ||
| replace(s: replace(s: replace(s: replace(s: replace(s: replace(s: s, from: "0", to: ""), from: ".", to: ""), from: "-", to: ""), from: "+", to: ""), from: "e", to: ""), from: "E", to: "") |
There was a problem hiding this comment.
When /api/v1/key serializes a zero limit using valid exponent notation such as 0e1 or 0e-10, trim_zero_digits leaves the exponent digit ("1"), so openrouter_lexeme_is_zero misclassifies the cap as positive. The hosted binding then refuses an actually zero-capped key as capable of spending money; inspect only the significand or parse the numeric value so every valid representation of zero is admitted.
Useful? React with 👍 / 👎.
Contributor
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
2 participants
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.
Auto-opened by session-dashboard for session
calm-bee-170.Pushing to
session/calm-bee-170advances 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