Skip to content

D-HOLO: pre-register H11 and H12, add connectedness to H6b; record #1550 - #1551

Merged
AdaWorldAPI merged 1 commit into
mainfrom
ccr-9f3b8075-74u47l-holo-prereg
Oct 14, 2026
Merged

AdaWorldAPI merged 1 commit into
mainfrom
ccr-9f3b8075-74u47l-holo-prereg

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

Pre-registrations and board hygiene only: no code changes and no runs.

Changes

  • H11, stacked logic (runs after H6b). A chain of NAL polyfill bricks at depth 1–8 is composed and then evaluated once. It passes on three criteria, each with its own falsifier:
    • Every answer matches the oracle, and the chain answers queries no single brick answers.
    • Total cost at d = 4 is below the cost of d separate brick runs.
    • Confidence is never inflated: evidence sharing a base is never revised together, and disabling the Gadamer gate must produce an inflated confidence on the fixture.
  • H12, a semantic map of inference functions across OpenNARS for Research, ONA and the NAL polyfill, plus a MeTTa NAL if one can be pinned. The method follows Haspelmath (2003):
    • Selection rule: a function becomes a node when two systems differ on it.
    • Stability rule: assimilation is complete when the last system added contributes zero new nodes, in both addition orders.
    • Each difference is classified as a real distinction or as a defect in one system.
  • H6b amendment, made before any run: a connected-component count is added as a measured column, plus a doughnut fixture. Connectedness is tested as a selector input and never assumed.
  • Board:

Not in this PR

  • H13 (saccades) and the meta-level inertness tests stay unregistered. H13 needs a named focus signal, and the meta levels need a stated meaning.

🤖 Generated with Claude Code

https://claude.ai/code/session_011BMJnDBAfzcuQh5HeT39Rh


Generated by Claude Code



- H11: stacked logic. A chain of NAL polyfill bricks composed before one
  evaluation must answer what no single brick does (== oracle), cost less
  than separate runs, and never inflate confidence (gate disable must fail).
- H12: a semantic map of inference functions across OpenNARS, ONA and the
  NAL polyfill, using Haspelmath's selection and stability rules.
- H6b amendment, before any run: connected-component count as a measured
  column and a doughnut fixture; connectedness is tested, never assumed.
- Board: #1550 arc and LATEST_STATE entries; STATUS rows H11, H12.

Not run. No code change.

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

coderabbitai Bot commented Oct 14, 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: 796333b2-a68e-4a0b-8bd0-42f215f593f1
  • 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.

@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review October 14, 2026 19:03
@AdaWorldAPI
AdaWorldAPI merged commit 9337da4 into main Oct 14, 2026
5 checks passed
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 14, 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-14T19:03:48.945464Z d56f258 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 added a commit that referenced this pull request Oct 14, 2026
…arvest

Model policy: six supervised Haiku cards for harvest, deep mapping and spec edits; record #1551
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