Skip to content

d-rmap: palette generation in the binding, and versioning derived from Thought Git and #1605 - #1619

Merged
AdaWorldAPI merged 3 commits into
mainfrom
ccr-08f48cec-lbv9l4
Oct 19, 2026
Merged

AdaWorldAPI merged 3 commits into
mainfrom
ccr-08f48cec-lbv9l4

Conversation

@AdaWorldAPI

@AdaWorldAPI AdaWorldAPI commented Oct 19, 2026 •

Copy link
Copy Markdown
Owner

Two commits, both documentation and CI. Nothing here is implemented code.

1. a7e075d3: the #1618 follow-up

  • ThoughtMapPaletteBinding stores the palette generation it bound, and refuses when the palette's current generation is different.
  • The ACT-R CI job also runs when rust-toolchain.toml changes.

2. 59ff8508: versioning (D-RMAP-1A §7, PROPOSED)

D-RMAP does not keep its own revision counters. Each of its generation concepts is read from an identity that D-TGA or #1605 already specifies.

D-RMAP concept Authority Derived or retained
Map generation DurableRef{dataset, branch, version} derived
Palette generation DurableRef once sealed; ThoughtCommitId while speculative derived
Thought-palette binding (ThoughtCommitId, palette generation), replacing (slot, incarnation) derived
Focus generation none retained; ephemeral, local to the frame
Index seal RelationOrder DurableRef plus the row-address map retained, unless RelationFacts uses stable row ids
Authorization scope the RBAC decision made at bind time retained; a separate key component

Replay always reads QueryReference::at(v, rung) with Strict, never QueryReference::default().

What I read in code:

  • No version type carries a dataset or a branch: temporal.rs:72, temporal_pov.rs:49, scheduler.rs:36.
  • versioned.rs::commit_encounter_round writes three datasets and returns only the nodes version.
  • AlphaStamp.visits saturates, so it cannot serve as a generation.
  • D-TGA defines no thought incarnation.

Falsifiers X1–X9 are specified, not run. Each names its disable. They cover:

  • cross-dataset collision
  • compaction
  • palette ABA
  • slot reuse
  • an uncommitted change
  • rebase
  • an authorization change
  • squash followed by replay
  • deletion / DRed

Gaps written into the source plans:

  • ThoughtCommitId must never be reused.
  • A thought needs a dirty bit.
  • A write that spans several datasets needs one DurableRef per dataset, or must be refused.

Board changes: STATUS_BOARD D-RMAP-1A-V, ENTROPY-MILESTONES M28, a new entry file, and a regenerated entries index. The supersession index regenerated with no changes.

No CE64 change, no new executor or store, no per-fold commit. The no-gather ruling still holds.

🤖 Generated with Claude Code

https://claude.ai/code/session_01VyWZYKycy6MoYDxHRVnV5K

… toolchain changes

ThoughtMapPaletteBinding now records the palette generation it bound and
refuses resolution when the palette's generation has moved, so §6a's
stale-binding refusal is enforceable; the §4 example shows it. The act-r
job also runs on rust-toolchain.toml changes, since no workspace job
builds the excluded crate.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VyWZYKycy6MoYDxHRVnV5K
@coderabbitai

coderabbitai Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

Important

  • 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: CHILL
  • Plan: Advanced
  • Run ID: 513d9d85-3202-4b3a-8e47-194a4f03f426
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

…and #1605

D-RMAP-1A §7 maps each of its generation concepts onto the identities
D-TGA and #1605 already specify. Map and palette generation become
readings of DurableRef (sealed) or ThoughtCommitId (speculative); the
thought-palette binding is (ThoughtCommitId, palette generation) instead
of (slot, incarnation). Focus generation stays an ephemeral witness, the
index seal stays separate unless RelationFacts uses stable row ids, and
authorization scope stays its own key component. D-RMAP adds no durable
counter.

Read in code: no version type carries a dataset or branch,
versioned.rs::commit_encounter_round returns only the nodes version of a
three-dataset write, AlphaStamp.visits saturates and is not a generation,
and D-TGA defines no thought incarnation.

Falsifiers X1-X9 are specified with their disables; none are run. Gaps
recorded in thought-git-api-v1 and the causal-pickaxe plan:
ThoughtCommitId must be never-reused, a dirty bit, and one DurableRef per
dataset for a multi-dataset write. ENTROPY-MILESTONES M28, STATUS_BOARD
D-RMAP-1A-V, board entry, entries index regenerated.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VyWZYKycy6MoYDxHRVnV5K
@AdaWorldAPI AdaWorldAPI changed the title Follow-up to #1618: palette generation in thought bindings; ACT-R CI on toolchain changes d-rmap: palette generation in the binding, and versioning derived from Thought Git and #1605 Oct 19, 2026
AdaWorldAPI pushed a commit that referenced this pull request Oct 19, 2026
The probe's bare u64 generation is enough for the in-probe Stale
refusal, but outside the probe two datasets can share a version number.
D-RMAP-1A §7 (#1619) replaces it with DurableRef + index seal +
QueryReference::at(v, rung). The backend switch does not touch the
witness.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VyWZYKycy6MoYDxHRVnV5K
citation-decay flagged temporal.rs:134 as anchorless. Every §7 and
board-entry citation into source now names the symbol instead of a line.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VyWZYKycy6MoYDxHRVnV5K
@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 19, 2026 21:12
@AdaWorldAPI
AdaWorldAPI merged commit 8e004a2 into main Oct 19, 2026
6 checks passed
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 19, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-19T21:13:38.757295Z 79baa04 Draft marked ready
ℹ️ 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" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

AdaWorldAPI pushed a commit that referenced this pull request Oct 19, 2026
PR_ARC_INVENTORY entries for #1618 (post-merge recovery for
#1601-#1617, merged dbe0696) and #1619 (D-RMAP binding palette
generation and the §7 versioning crosswalk, merged 8e004a2), and a
LATEST_STATE section for main after #1619. Contract inventory delta:
none.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VyWZYKycy6MoYDxHRVnV5K
AdaWorldAPI pushed a commit that referenced this pull request Oct 19, 2026
Two Codex findings on #1621, both checked against the plan text:
- #1619: map generation is the sealed RelationshipMap/RelationFacts
  DurableRef only; ThoughtCommitId applies to palette generation alone
  (D-RMAP-1A §7.3).
- #1618: at dbe0696 the thought-palette binding still keyed only
  MapPaletteId; #1618 added the map generation to the tile key and a
  palette generation to MapPalette. The binding change is #1619's.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VyWZYKycy6MoYDxHRVnV5K
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants