Repository navigation
research: D-ORACLE-0 original-oracle fidelity and 64 auditable thoughts - #1549
Conversation
|
Important
This repository does not receive automatic reviews because it has fewer than 10 stars. ⚙️ Run configuration
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. Comment |
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. |
|
Add Carrot credits or activate Agent usage billing to use Autofix |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 53131901a5
ℹ️ 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".
| | OpenNARS Java | https://github.com/opennars/opennars | main source, inference implementations, stamps, truth functions, native test harness and versioning | Reference URL identified; NOT installed, run or evaluated | | ||
| | ONA C | https://github.com/opennars/OpenNARS-for-Applications | compiler flags, inference, event cycle, task inputs, choice/revision and native fixture syntax | Reference URL identified; NOT installed, run or evaluated | |
There was a problem hiding this comment.
Carry forward the existing oracle runs
The reviewed tree already contains .claude/knowledge/nal-recipe-audit/oracles.md, which pins ONA and OpenNARS to exact SHAs, records the successful ONA build and deterministic runs, and documents nine OpenNARS runs via a reproducible workaround. Marking both systems as not run or evaluated hides an existing baseline and sends the handoff toward duplicating work or choosing incompatible revisions; reference and qualify that audit here instead.
Useful? React with 👍 / 👎.
| |---|---|---| | ||
| | https://github.com/AdaWorldAPI/lance-graph/pull/1314 | multi-reading FSM with certain/alternative; was scoped to lexical grammar wave; current source may have more | Historical baseline, NOT comprehensive current-crate inventory | | ||
| | https://github.com/AdaWorldAPI/lance-graph/pull/1321 | position-vs-frequency homograph tests and language probing | Metrics are benchmarks on particular corpora, not ground truth for all grammar | | ||
| | https://github.com/AdaWorldAPI/lance-graph/blob/main/crates/deepnsm-v2/src/lib.rs | currently exports belief, reason, tekamolo, hydrate, lexical, fsm etc. | Current built module presence verified by source read, integration/production wiring NOT verified | |
There was a problem hiding this comment.
Pin the workspace evidence to an immutable commit
When main advances, this URL and the other blob/main/tree/main anchors in the ledger will display different code while remaining attached to statements described as evidence grounded on 2026-10-14. That makes the claimed provenance unreproducible and can cause a later executor to validate against a different implementation; use the inspected commit SHA in these links.
Useful? React with 👍 / 👎.
Why
The research thread was drifting toward blending NAL, ONA, OpenPsi, Hyperon/MeTTa, Pearl projections, Shannon entropy and Gadamer admission into one un-auditable model. The operator's actual goal is original upstream implementations as independent executable oracles, with model-specific outputs preserved over 64 auditable thought alpha channels, and only later a mathematical/ISA normalization and end-to-end materialization comparison.
The DeepNSM close reading also conflated historically excluded scope (#1314) with the current main: belief/reason/tekamolo/hydrate modules are already present.
What this research-only PR adds
Critical unsolved falsifiers
Boundaries
Docs only. 3 newly added Markdown files, zero production changes, zero oracle runs, zero performance or parity claims. The 144 entries are a fixture budget, not completed results. Original SHA/CLI/runtime/license needs to be frozen prior to testing. The PR is draft until the operator approves follow-on test/code ownership.
Research precedent: #1314, #1319, #1321, #1407, #1408, #1410, #1227, #1294, #981 and the current .claude/plans/dialectic-engine-v1.md.