Skip to content

feat: fiber bundle carries anchors + claims (A/K) for substrate double-grounding#320

Merged
mdheller merged 1 commit into
mainfrom
feat/fiber-substrate-double-grounding
Jul 5, 2026
Merged

feat: fiber bundle carries anchors + claims (A/K) for substrate double-grounding#320
mdheller merged 1 commit into
mainfrom
feat/fiber-substrate-double-grounding

Conversation

@mdheller

@mdheller mdheller commented Jul 5, 2026

Copy link
Copy Markdown
Member

What

Extends to_bundle with two domain-data line types beyond N/C/R structure:

A<TAB>node_id<TAB>anchor_ref                    page anchor (provenance-of-location)
K<TAB>node_id<TAB>claim_var<TAB>value<TAB>egrade  claim atom (fiber-product verdict input)

Why a sidecar, not core values: hellgraph's ValuePayload models only Field/Proof, not arbitrary strings/scalars — so anchors + ownership claims are fiber-retrieval domain data that ride an hg_fiber sidecar next to the store, not core graph values. That's the honest place for them, and it's what lets the fiber-product verdict + double-grounding run on the real substrate, not just in Python. Companion hellgraph PR ingests A/K and runs the verdict in Rust.

Details

  • Golden vector fiber_ownership.bundle regenerated → now 6N / 4C / 1R / 2A / 2K.
  • The ownership fixture gains owns_pct:parentco|subco=100/verified on both entities so the cross-fiber verdict is exercisable.
  • Deterministic (sorted) so the parity vector stays stable and byte-matches the Rust side.

Tests (full suite 298 green)

golden byte-match + A/K presence asserted; no regressions.

…or substrate double-grounding

Extends to_bundle with two domain-data line types beyond N/C/R structure:
  A<TAB>node_id<TAB>anchor_ref                    page anchor (provenance-of-location)
  K<TAB>node_id<TAB>claim_var<TAB>value<TAB>egrade  claim atom (fiber-product verdict input)

Rationale: hellgraph's ValuePayload models only Field/Proof, not arbitrary
strings/scalars, so anchors + ownership claims are fiber-retrieval DOMAIN data that
ride an hg_fiber sidecar next to the store (not core graph values) — which is what
lets the fiber-product verdict + double-grounding run on the real substrate, not
just in Python. Companion hellgraph PR ingests A/K and runs the verdict in Rust.

Golden vector fiber_ownership.bundle regenerated (now 6N/4C/1R/2A/2K); the
ownership fixture gains owns_pct:parentco|subco=100/verified on both entities so the
cross-fiber verdict is exercisable. Deterministic (sorted) so the vector stays stable.

Tests: golden byte-match + A/K presence asserted; full suite green.
@mdheller mdheller merged commit 9169fbd into main Jul 5, 2026
10 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.

1 participant