Repository navigation
board: concept labels via the plug (D-LBL-0..5), two corrections, three accepted decisions - #1472
Merged
Merged
Conversation
…ections The operator ruled 2026-10-11 that labels are ontology data in ogar-vocab, pulled through hotplug.rs only for the concepts a consumer plugs. An activation carries every language now. A per-consumer language spec comes later, minted by the consumer, built on a concept x language LazyLock index, and non-breaking (an additive Activation::with_labels builder and a default trait method). Customer binaries activate at build time. 0x0103 gets German preferred "Zeiterfassung" and alternate "Stundenzettel". Corrections in the same record. The source-id mapping lives in the consumer's HotPlug, not in OGAR port alias tables (lockstep, deprecated and kept). Capabilities carry no consumer list, so the expected-executors check in resolve_hotplug is a lockstep residue. The two 2026-10-11 entries carry supersession notes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
|
Warning Review limit reachedYour organization has reached its usage spending cap. Adjust your spending cap in the billing tab. Next included review available in 4 minutes. View limit details
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. Comment |
…D-HPR-8) Operator 2026-10-11, "Recommended accepted": - O3: storage readings leave the concept key. They move out of concept_override into the slab declaration or the owning consumer's plug (W7, D-HPR-7). - A plug that asks only for a reading succeeds; reading is not a capability (W8, D-HPR-8). - D-HPR-6b goes ahead, staged after W6a, W3 and a stored-classid check. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A
AdaWorldAPI
changed the title
AdaWorldAPI
marked this pull request as ready for review
October 11, 2026 07:40
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. |
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.
Board and plan changes only. No code changes.
What changes
concept-labels-hotplug-v1(D-LBL-0..5), recording the operator decisions of 2026-10-11:ogar-vocab, one row per (concept u16, BCP-47 tag, role, text).hotplug.rsonly for the concepts it plugs, so nothing keeps every label hot.HotPlug.LabelSpec, and a default trait methodactivate_with_labelsfilters through a concept × languageLazyLockindex. Nothing breaks:Activationis built only throughActivation::new, and thewith_labelsbuilder follows the existingwith_register_lawspattern. No sibling repo constructsActivation.lance-graph-contract.0x0103: German preferred "Zeiterfassung", German alternate "Stundenzettel".HotPlug, not in OGAR port alias tables. Those tables are lockstep tables: deprecated and kept.resolve_hotplugis a lockstep residue.concept_overrideinto the slab declaration or the owning consumer's plug, so plugging a shared concept readsPLUG_AND_PLAY_V3.Checks
plan_dids.py: the added plan carries D-ids.supersession_index.py: regenerated, no diff.entries_index.py --check: passes.epiphany_provenance.py: passes.🤖 Generated with Claude Code
https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A