Skip to content

docs(plan): correct D-TRI-1 classid spec — cognitive task types are already frozen atoms#726

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/review-claude-board-files-nhqgx1
Jul 18, 2026
Merged

docs(plan): correct D-TRI-1 classid spec — cognitive task types are already frozen atoms#726
AdaWorldAPI merged 1 commit into
mainfrom
claude/review-claude-board-files-nhqgx1

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

What

Corrects the D-TRI-1 classid-half mint spec (.claude/plans/dtri1-classid-mint-spec-v1.md, merged as a proposal in #719). The v1 draft proposed a new Cognition 0x03 ConceptDomain with a cognitive_<verb> CODEBOOK block (cognitive_inference 0x0304, cognitive_deduction 0x0305, …). That duplicated types that already exist.

Why

The cognitive task types (inference / deduction / induction / abduction / counterfactual / extrapolation / syllogism / synthesis / fan-out) are already global frozen atoms in crates/holograph/src/dntree.rs:

  • Epistemic verbs 72–95: INFERS=74, HYPOTHESIZES=81, DEDUCES=82, INDUCES=83, ABDUCES=84, PREDICTS=89, EXPECTS=90
  • Frameworks 0x80–0x8F: NARS=0x80, CAUSALITY=0x83, COUNTERFACTUAL=0x84, ABDUCTION=0x85
  • Syllogism = the shipped NARS syllogize() op (lance-graph-osint p5_syllogize)
  • Synthesis / fan-out = orchestration/compose ops, not single atoms

Minting a parallel 0x03 concept domain is the exact 30-turn rediscovery tax the workspace rules warn against. Operator-taught 2026-07-18.

Changes (docs only — no code, no bytes minted)

  • §2 rewritten — reference the frozen atoms, never mint a Cognition domain. Byte 0x03 stays reserved (RESERVE-DON'T-RECLAIM). A thinking/task row carries classid = its domain, task-type = a frozen atom index in a row lane, and thinking-lane materialisation = a read-mode property (ValueSchema::Thinking, §5).
  • §2a added — persona/play-style modeling is per-consumer opt-in + its own mint (chess play-style = nice-to-have; business consumers smb-office/woa/medcare = not business-logic-conform, no persona lanes).
  • §0ccognitive_* and cognitive_board 0x0309 classid rows removed; only chess 0x06 remains a concept mint; BoardAggregates@188 is a value tenant only.
  • §0/§4/§5/§6/§7 — Cognition origination removed; community-id does not mint (S1 retracted by arigraph: remove the S1 similarity probe; add EpisodicMemory::basins() (structure, not similarity) #722); one open knob left (BoardAggregates width).
  • EPIPHANIES.md — prepend E-COGNITIVE-ATOMS-ALREADY-FROZEN.
  • STATUS_BOARD.md — D-TRI-1 row updated to the corrected model.

The #719 spec was a proposal (no bytes ever minted), so this is a pre-mint correction with zero on-chain reclaim. The only real concept mint left in the D-TRI-1 batch is chess 0x06 + BoardAggregates@188 (value tenant).

Cross-refs

🤖 Generated with Claude Code

https://claude.ai/code/session_01Awg6TXocHcwTtc6eGsHcdD


Generated by Claude Code

…lready frozen atoms

The #719 spec proposed a new Cognition 0x03 ConceptDomain with a
cognitive_<verb> CODEBOOK block. That duplicated types that already
exist: the cognitive task types (inference/deduction/induction/abduction/
counterfactual/extrapolation/syllogism/synthesis/fan-out) are global
frozen atoms in holograph::dntree — epistemic verbs 72-95 (INFERS=74,
DEDUCES=82, INDUCES=83, ABDUCES=84, PREDICTS=89, HYPOTHESIZES=81) and
frameworks 0x80-0x8F (COUNTERFACTUAL=0x84, ABDUCTION=0x85, CAUSALITY=0x83);
syllogism is the shipped NARS syllogize() op; synthesis/fan-out are
orchestration ops.

Corrections:
- §2 rewritten: reference the frozen atoms, never mint a Cognition domain;
  byte 0x03 stays reserved (RESERVE-DON'T-RECLAIM). A thinking/task row
  carries classid=its domain, task-type=a frozen atom index in a lane,
  thinking-lane materialisation=a read-mode property (ValueSchema::Thinking).
- §2a added: persona/play-style modeling is per-consumer opt-in + its own
  mint (chess play-style nice-to-have; business consumers not conform).
- §0c: cognitive_* and cognitive_board classid rows removed; only chess
  0x06 remains a concept mint; BoardAggregates@188 is a value tenant only.
- §0/§4/§5/§6/§7: Cognition origination removed; community-id does not
  mint (S1 retracted by #722); one open knob left (BoardAggregates width).

No bytes were ever minted (the spec was a proposal), so this is a pre-mint
correction with zero on-chain reclaim.

Records E-COGNITIVE-ATOMS-ALREADY-FROZEN (EPIPHANIES prepend) and updates
the D-TRI-1 STATUS_BOARD row.

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

coderabbitai Bot commented Jul 18, 2026

Copy link
Copy Markdown

Warning

Review limit reached

@AdaWorldAPI, you've reached your PR review limit, so we couldn't start this review.

Next review available in: 8 minutes

Enable usage-based reviews in Billing to review now. Otherwise, wait until the next included review is available.
You're only billed for reviews past your plan's rate limits ($0.25/file).

How can I continue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews.

How do review limits work?

CodeRabbit enforces per-developer PR review limits for each organization. Most developers receive the normal plan review availability.

For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.

Please refer docs for additional details.

Review details
⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: f31caedc-0cb3-4288-983b-fe180f1585e7

📥 Commits

Reviewing files that changed from the base of the PR and between 16d3d9d and 813fb2a.

📒 Files selected for processing (3)
  • .claude/board/EPIPHANIES.md
  • .claude/board/STATUS_BOARD.md
  • .claude/plans/dtri1-classid-mint-spec-v1.md

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.

@cursor

cursor Bot commented Jul 18, 2026

Copy link
Copy Markdown

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_59b1b559-e6da-4f70-9118-a8bba1f88169)

@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review July 18, 2026 19:23
@AdaWorldAPI
AdaWorldAPI merged commit 48fd08f into main Jul 18, 2026
2 checks passed

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 813fb2a600

ℹ️ 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".

Comment on lines +151 to +152
- **classid = its domain** (chess `0x06`, OSINT `0x07`, ProjectMgmt `0x01`,
…) — the row is *about* something in a domain;

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Add a distinct classid for thinking rows

When task rows reuse the same domain classid as normal rows, the mandatory ValueSchema::Thinking routing below cannot be implemented without also changing every entity in that domain: classid_read_mode is keyed only by the classid (crates/lance-graph-contract/src/canonical_node.rs:1402-1406), and the existing domain roots such as Project/ERP/OSINT currently resolve to Cognitive. Following this spec would therefore either drop the triangle lanes for task rows or force unrelated entity rows in the same domain to materialise Thinking; the deleted cognitive_task classid needs a replacement discriminator.

Useful? React with 👍 / 👎.

Comment on lines +43 to +45
community-id NEVER mints and the batch is exactly chess `0x06` +
BoardAggregates + the graphrag `D-GR-5` doc-seam classid. If S1 measures
*distinct*, one more concept row folds in. (S1 was subsequently retracted

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Remove the stale S1 gate from the mint boundary

This still describes the mint as if S1 can produce a distinct community-id row, but the correction later in the same paragraph and in §6 says S1 was retracted and community-id does not mint. If the council follows §0 as the handoff boundary, this leaves an obsolete pre-execution gate and an extra possible row in the batch even though the corrected model is supposed to be execution-ready without S1.

Useful? React with 👍 / 👎.

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