Repository navigation
board: crumb BC-13, goldstaub G-5, ten fruits from session inventory, T-CLOSURE refinement - #1732
Merged
Merged
Conversation
…stranded stacked PRs) BC-2026-10-23-13: the thought-git receipt is sealed before landing, its CommitWitness is issued only by commit_cycle, and replay -> proof is a refused promotion. A seventh independent source for trail T-ADMISSION. G-2026-10-23-5: a stacked PR is finished only when its commits are on main. Receipts #1696 and #1708 (both re-landed stranded stacks), plus lance-graph-java ISS-LGJ-STACK-TAIL-STRANDED-MINOR-8. IDs follow draft #1730 (BC-5..12, G-4); expect a trivial prepend conflict. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars. ⚙️ Run configuration
Warning Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption. Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
… and a T-CLOSURE refinement New fruit rows, each verified on main 8f610a8: - IDEAS: proof + receipt + commit-witness replay (High-signal); TLAC-P01 kill test from real IAM/HubSPO/Rubicon guards (High-signal); MeTTa four-binding against the D-MPS-9 oracle (Low-hanging). - TECH_DEBT: bgz-tensor CI runs --lib only, nine probe files unrun (Low-hanging); edge.rs:944 W=0 doc (Low-hanging); syllogize writes ALL_HOT into the WIRE-50 bits (High-signal); STATUS_BOARD has no rows for the six rulings, D-DRMC, D-TLAC, D-RV (Low-hanging). - ISSUES: no contract type for the frozen-codebook/order witness, seven items wait on it (Heavy); ADMISSION B call-site classification not started, owner unnamed (Heavy); Fruit tag on the existing causal-edge clippy issue (Low-hanging). FRUITS.md regenerated (Open: 1 -> 11). BREADCRUMBS T-CLOSURE: appended evidence. BC-4 and K3 are closed carriers that still fail, so the candidate condition is commutation of the map into the carrier (abstract-interpretation soundness), not closure alone. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
AdaWorldAPI
changed the title
…n-decay) citation_decay.py flagged two citations added in this PR whose anchors were not on the cited lines. Cite the symbols instead of line numbers. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
The witness is W (bits 53..58), the lane dimension. NodeGuids are identical across lanes, so a vertical read of one address shows which thoughts wrote it. A frozen codebook or an untouched sorted range is that read (only lane 0 present in the reader's merge set), not a missing contract type. Open: whether a preparation-time projection must repeat the read at use, and whether #1659's ordered-lane gate is the same property. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
…eplay idea with the witness dimension Removed (duplicates; details go to the owning rows as receipts): - TD-BGZ-TENSOR-CI-RUNS-LIB-ONLY = #1733 TD-BGZ-TENSOR-INTEGRATION-TESTS-UNGATED-1 - TD-SYLLOGIZE-WRITES-ALL-HOT-PLASTICITY, covered by #1730 ISS-SIX-DECISIONS-NOT-EXECUTED-WIRE50-ISA-LEGACY - TD-STATUS-BOARD-HAS-NO-ROWS-FOR-RULED-AND-SHIPPED-WORK, covered by #1730 TD-STATUS-BOARD-ROWS-MISSING-FOR-OCT-PLANS-1 IDEAS replay row: the commit witness is the CE64 lane dimension. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
AdaWorldAPI
marked this pull request as ready for review
October 23, 2026 08:48
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. |
…f the ledger prepends, regenerate FRUITS.md Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
EXO-114: Lance keeps no physical order. A sorted-key seek needs the vertical read (untouched since sealing) plus a per-sealed-version order attest (sorted when sealed). Corrects the overclaim in the witness row. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
AdaWorldAPI
pushed a commit
that referenced
this pull request
Oct 23, 2026
BREADCRUMBS and IDEAS: both sides kept (BC-13 and #1732's two ideas beside BC-14 and the lumpability idea). FRUITS.md regenerated, not merged. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
AdaWorldAPI
pushed a commit
that referenced
this pull request
Oct 23, 2026
ISSUES and TECH_DEBT: both prepends kept, per this PR's own rule. FRUITS.md regenerated with fruits_index.py --write, not merged. append_only_gate: no protected file shrank vs main or vs this branch. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg
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.
Board-only, append-only ledgers. Every row was checked on main
8f610a85.Breadcrumb and goldstaub
Fruits (
FRUITS.mdOpen 1 → 8)edge.rs:944documents W = 0 as "no corpus anchor" (EXO-65)Three earlier rows were withdrawn as duplicates: the bgz-tensor
--librow (= #1733), the syllogize/WIRE-50 row and the STATUS_BOARD row (both covered by #1730). Their extra receipts were posted to the row owners on EXO-50 /010.T-CLOSURE: one appended evidence line, aligned with the trail's NAMED candidate, lumpability.
#1730, #1733 and #1734 prepend at the same anchors. Each one merged later keeps both sides and re-runs
fruits_index.py --write.🤖 Generated with Claude Code
https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A