Repository navigation
D-DT64-7: behaviour addressing and registration (Frozen, Learned, Explore); fruits from the D-STAUNEN co-research - #1898
Merged
Conversation
…aph PRs New fruits: - IDEAS: P-X6A-CYCLE (Low-hanging), P-X6A-LEDGER parity with DerivationLedger (High-signal), recursion emits no count / one trace is not disjointness evidence (Low-hanging), Kythe ref/call from a call-fact source (Heavy). - TECH_DEBT: the native bag-count overflow refusal has no test (Low-hanging). - ISSUES: is a source root the observer or one report (High-signal, operator decision); rust-analyzer StaticIndex misses references inside assert_eq! arguments (Low-hanging). ISS-RECURSION-DRIVER and ISS-RETRACTION-PROVENANCE gain a candidate-evidence bullet for #1896; neither closes. FRUITS.md regenerated: 32 open, 1 closed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF
Frozen = compile time (left side 0x0000), Learned = registered in the BindStore (left side 0xF### or Domain::AppId), Explore = not registered; the right side is ClassView / WideFieldMask selection. ONNX, SQL and Gremlin are Frozen; the R2IL codegraph harvest is Learned / Explore; XLOG is Learned in the lab and Frozen once minted as lance-graph-xlog. Withdrawal never deletes and only the registrant withdraws (constraints C1-C8). Findings, each cited to main b38d88e: the Frozen polyfill is runtime-declared and named through ogar-r2il's vocabulary; only routes can be withdrawn; registration moves no version; no activation is consulted; classid_canon_compat misreads a left-empty classid; the global -> local selection is not yet a versioned table. Board: STATUS_BOARD D-DT64-7 rows, INTEGRATION_PLANS entry, two TECH_DEBT rows. Corrections: the traceroute is the stage-identity chain of DR256 capstone section C.5, not recursive::trace's node path; the D-STAUNEN probes are reframed as mask computations and the trace probe is dropped. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars.
 |
citation-decay flagged three new line-number citations in the D-DT64-7 TECH_DEBT entries. They now name the function and file. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF
AdaWorldAPI
marked this pull request as ready for review
October 31, 2026 20:33
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. |
Operator decision: hardcoded behaviour moves from left side 0x0000 to 0xFFFF, with the right-side 0xF### range naming the concern (relalg, XLOG, ONNX, TFLite, SQL, Gremlin; split proposed as O7). DT64 is the delegate that registers these classids for lance-graph-ogar without consulting ogar-vocab. Consumers register under their own Domain::AppId::0xF###. Consequences recorded: one classid per behaviour lens, never per word; classid_canon_compat reads 0xFFFF correctly, so F5 now concerns legacy ids only; CapabilityAuthority is in the contract, so DT64 can be the authority with no OGAR dependency (where the composition lives is O8). C1, section 6, O1-O3 and the plan items are revised; superseded text is marked, not deleted. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF
Operator decision: behaviour is normalized across languages as aliases over one algebra, and a classid replaces hardcoded strings. Recorded against binding.rs: prepare binds a word by its label through R2ILVocabulary (cold); run re-resolves nothing. The plan reverses the direction: the Frozen table fixes positions, each language supplies a ClassView of labels. Adds D-DT64-7-6 with a parity gate and an ns timing of prepare and run; the overhead claim stays a hypothesis. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF
…ensus 256 words is a per-lens limit (AlgebraRef word: u8, MAX_FIELDS); a concern range holds up to 256 lenses, so a large operator set such as full TensorFlow spans several lenses. Datatype belongs to the lens's fields, not the word. Outside counts (GGML, Burn IR, ONNX) are marked secondhand; D-DT64-7-7 recounts them from source and maps them to shared words or concern ranges. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF
This was referenced Oct 31, 2026
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.
Docs and board only. No code, crate, ABI or test changes.
Plan:
.claude/plans/d-dt64-7-behaviour-addressing-registration-v1.mdThe plan covers three questions: where behaviour lives, how a classid addresses it, and who may register and withdraw it.
0xFFFF :: 0xF###, registered by DT64BindStoreDomain::AppId :: 0xF###, under the registering consumer's own left sideHardcoded behaviour (§1a, operator decision, supersedes the earlier
0x0000left side):lance-graph-ogar, without consultingogar-vocab.F0__relalg polyfill,F1__XLOG (after thelance-graph-xlogmint),F2__ONNX,F3__TFLite,F4__SQL,F5__Gremlin.Other points:
CapabilityAuthoritylives in the zero-dependency contract, so DT64 can act as the authority for0xFFFFwith no OGAR dependency. Where the composition of DT64 andOgarAuthoritylives is O8.WideFieldMaskselection.lance-graph-xlog.Findings, each cited to code on
mainb38d88e:declare_algebra) and named throughogar_r2il::R2ILVocabulary. The fold lens0xC401is provisional.admitignores withdrawal.classid_canon_compat(0x0000_F123)returns0xF123. This affects legacy ids only:0xFFFFreads correctly.LocalMap, not a versioned table (D-LITHO Q5).Pop(dir-rmap-probe: IAM nested groups as a DR256 register, versioned populations and method folds (arm Q) #1666).dr256-where-capstone-v1.md§C.5, not a node path.Open decisions O1–O8 each have an owner. Plan items D-DT64-7-1 to D-DT64-7-5 are test-first and not started.
Board
STATUS_BOARD: new D-DT64-7 section.INTEGRATION_PLANS: new entry.TECH_DEBT:TD-FROZEN-POLYFILL-NAMED-BY-R2IL,TD-CLASSID-CANON-COMPAT-MISREADS-LEFT-EMPTY(now scoped to legacy ids),TD-XLOG-NATIVE-COUNT-OVERFLOW-UNTESTED.IDEAS: P-X6A-MASK, P-X6A-LEDGER, P-REC-NO-COUNT, P-KYTHE-CALL.ISSUES:ISS-SOURCE-ROOT-AGENT-OR-REPORT,ISS-RA-STATICINDEX-MISSES-MACRO-ARGUMENT-REFS. Candidate-evidence bullets for xlog-relcomp-probe: XLOG recursion on DR64, and XLOG × egglog over one relation #1896 added onISS-RECURSION-DRIVERandISS-RETRACTION-PROVENANCE; neither closes.recursive::traceis not the traceroute, the probes are recast as mask computations, and the trace probe is dropped.FRUITS.mdregenerated.Checks (run locally)
entries_index.py --check,fruits_index.py --check,plan_dids.py: pass.append_only_gate.py origin/main: pass, no protected file shrank.supersession_index.py: regenerated, no change.citation_decay.py --since b38d88e: 0 new decays.🤖 Generated with Claude Code
https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF