Skip to content

ogar-loco: mint the epistemic mask-algebra band (0x86..0x8B) into the reserved core slots - #296

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/medcare-rs-continue-6nhbxn
Sep 1, 2026
Merged

ogar-loco: mint the epistemic mask-algebra band (0x86..0x8B) into the reserved core slots#296
AdaWorldAPI merged 1 commit into
mainfrom
claude/medcare-rs-continue-6nhbxn

Conversation

@AdaWorldAPI

@AdaWorldAPI AdaWorldAPI commented Sep 1, 2026

Copy link
Copy Markdown
Owner

ogar-loco: the epistemic mask-algebra band in the reserved core slots (0x86..0x8B)

Primitives like Belnap become reusable bytecode macros — and they land in the
CORE because core bytes are read from the core in every vocabulary
(VocabularyTable::compose cannot be forged), which is what makes them
available to every palette: blockly's, dismech's, r2il's, and every future
classid-selected 256.

index call arity semantics
0x86 TERNLOG 3 any 3-input boolean over stacked masks; the call's ONE VALUE BYTE is the 8-bit truth table — one FnIndex covers all 256 combinators
0x87 BELNAP_JOIN 2 knowledge-order join of two mask pairs (OR per side; provably the state layer of one-hop accumulation)
0x88 INFO_GAIN 2 Shannon expected info gain — whole bits of candidate narrowing (proprioception, never evidence)
0x89 SIGMA_TENSION 2 EWA tension in quarters of the concentration certificate (7 = the 1.75× PASS slack)
0x8A ACCUMULATE 1 one-hop accumulation of a LIST of bassin pairs (list = one operand — the variadic-refusal rule stays satisfied)
0x8B STANCE_ENTROPY 2 four-state entropy of the direct children's stances on one axis

Semantics are owned by lance-graph-contract::epistemic_bassin (the scalar
oracles; the armed parity check on the lance-graph side asserts both sides
byte-for-byte). Batch SIMD execution is ndarray's shipped W1a-#9 ternlog
(native VPTERNLOGQ). Green-certified atoms only: Hambly-Lyons is
deliberately absent
while jc Pillar 11 is red — the red-pillar mint rule.

body_refs 0 / min_shape Pairs / pushes_result true all fall out of the
existing derivations; only stack_arity and name rows were added. The
named-census guard fired exactly as designed (95 → 101) and is re-pinned
with the reason. 0x8C..0x8F stay reserved.

The domain-shaped rest (the 24-axis catalogue as a ValueCodebook, per-axis
macros, revision verbs) is NOT here — per the 256:256 ruling it belongs in
an epistemic vocabulary under its own classid, with r2il's
byte-addresses-a-whole-script microcode shape for compound macros.

ogar-loco: 55/55; clippy --no-deps -D warnings clean; fmt clean.

🤖 Generated with Claude Code

https://claude.ai/code/session_01PFnYKqw6d7TTiB9cT8eFdK

Summary by CodeRabbit

  • New Features
    • Added six epistemic analysis operations for ternary logic evaluation, belief-state combination, information gain, tension, accumulation, and stance entropy.
    • Exposed canonical names and stack behavior for the new operations.
  • Documentation
    • Documented operand and result behavior, oracle references, and SIMD execution semantics.
  • Tests
    • Updated operation coverage tracking to include all six additions.

…e slots (0x86..0x8B)

The essence-directive executed: primitives like Belnap become reusable
bytecode macros in loco, for literally everything. Six calls, minted into
the 0x86..0x8F slots the ABI doc explicitly reserves for the CORE:

  0x86 TERNLOG        arity 3 — any 3-input boolean over stacked masks;
                      the call's ONE VALUE BYTE IS the 8-bit truth table
                      (IMM bit index = (a<<2)|(b<<1)|c), so one FnIndex
                      covers all 256 combinators — the purest
                      (function : value) in the ABI
  0x87 BELNAP_JOIN    arity 2 — knowledge-order join of two mask pairs
                      (bitwise OR per side; provably the state layer of
                      one-hop accumulation)
  0x88 INFO_GAIN      arity 2 — Shannon expected info gain, whole bits of
                      candidate narrowing (proprioception, never evidence)
  0x89 SIGMA_TENSION  arity 2 — EWA tension in quarters of the
                      concentration certificate (7 = the 1.75x PASS slack)
  0x8A ACCUMULATE     arity 1 — one-hop accumulation of a LIST of bassin
                      pairs (the list is one operand, so the
                      variadic-refusal rule stays satisfied)
  0x8B STANCE_ENTROPY arity 2 — four-state entropy of the direct
                      children's stances on one axis

Semantics are owned by lance-graph-contract::epistemic_bassin (the scalar
oracles); batch SIMD execution is ndarray's shipped W1a-#9 ternlog
(native VPTERNLOGQ). Green-certified atoms only: Hambly-Lyons is
deliberately ABSENT while jc Pillar 11 is red — the red-pillar mint rule.

body_refs 0 / min_shape Pairs / pushes_result true all fall out of the
existing derivations; only stack_arity and name rows were added. The named
census guard fired exactly as designed (95 -> 101) and is re-pinned with
the reason.

ogar-loco: 55/55; clippy --no-deps -D warnings clean; fmt clean.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PFnYKqw6d7TTiB9cT8eFdK
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@cursor

cursor Bot commented Sep 1, 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_10165cd4-bced-40c4-aed2-a9ed25171e8a)

@coderabbitai

coderabbitai Bot commented Sep 1, 2026

Copy link
Copy Markdown

Review Change Stack

Caution

Review failed

The pull request is closed.

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Essentials

Run ID: 8b238ad4-ea4d-4b62-a281-2be0c0847cbc

📥 Commits

Reviewing files that changed from the base of the PR and between ae781df and 3c3a76a.

📒 Files selected for processing (2)
  • crates/ogar-loco/src/lib.rs
  • crates/ogar-loco/src/vocabulary.rs

📝 Walkthrough

Walkthrough

The change adds six epistemic mask-algebra operations to FnIndex and registers their stack arities, canonical names, and shared-core coverage counts.

Changes

Epistemic mask algebra

Layer / File(s) Summary
Operation index declarations
crates/ogar-loco/src/lib.rs
Adds TERNLOG, BELNAP_JOIN, INFO_GAIN, SIGMA_TENSION, ACCUMULATE, and STANCE_ENTROPY at indices 0x86..=0x8B.
Operation vocabulary metadata
crates/ogar-loco/src/vocabulary.rs
Defines stack arities and canonical names for the six operations. Updates the shared-core census to 101 named and 96 covered operations.

Estimated code review effort: 2 (Simple) | ~10 minutes

Suggested reviewers: claude

Poem

A rabbit counts six masks in line
New names and numbers now align
Three inputs hop to TERNLOG’s door
Two-input joins compare once more
One-hop sums and entropy glow
The vocabulary tells them where to go

✨ Finishing Touches
📝 Generate docstrings
  • Create stacked PR
  • Commit on current branch

Comment @coderabbitai help to get the list of available commands.

@AdaWorldAPI
AdaWorldAPI merged commit f92e457 into main Sep 1, 2026
2 of 3 checks passed
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