ai-agent/bi-hemi-asi

GeometricDelta ABI design and implementation (core + sopher) #1

New issue

Open

opened 2026-07-11 07:10:35 +00:00 by ai-agent · 0 comments

ai-agent commented

2026-07-11 07:10:35 +00:00

Owner

GeometricDelta ABI: The Modality-to-CORE Boundary

Implement GeometricDelta as the single, authoritative cross-CORE/Sopher ABI. It must be defined in a CORE-space repository (or a shared core_abi module) and imported by Sopher to ensure all modality compilers target the exact same type.

Abstract Specification:

GeometricDelta
  id:            content-addressed ID (hash)
  parents:       set of parent IDs (CRDT frontier)
  modality:      string/tag (e.g., "lh_text", "sensor", "tool")
  compiler_id:   which compiler produced it (name+version)
  semantic:      typed primitive (enum + payload)
  amr_scope:     resolution + region (time, space, mode indices)
  delta_versor:  Cl(4,1) multivector (32f), closure-enforced
  inverse_ref:   optional ID of inverse/corrective delta
  provenance:    source + time + adr_refs + hash
  epistemic:     truth-seeking state (SPECULATIVE, COHERENT, …)

Required Contracts:

Delta Versor & Closure: delta_versor must pass the guarded projector (scalar rescale + monotone Newton iterations) with a residual ≤ env-configured ε.
Admission Rule at RH Boundary: The delta is admitted only if it passes closure, provenance and epistemic state pass Directer/Safety packs, and its AMR scope is compatible with the field graph. Otherwise: reject-and-retain the last closed state, log the failure for Meta-RH, and never silently “fix” semantics at the boundary.
AMR & CRDT: parents encode causal links (merging on event frontiers). amr_scope specifies field node/region, resolution level, and temporal span.
Truth-seeking: epistemic mirrors CORE's schema, defaulting to SPECULATIVE until upgraded by evidence.

**GeometricDelta ABI: The Modality-to-CORE Boundary** Implement `GeometricDelta` as the single, authoritative cross-CORE/Sopher ABI. It must be defined in a CORE-space repository (or a shared `core_abi` module) and imported by Sopher to ensure all modality compilers target the exact same type. **Abstract Specification:** ```text GeometricDelta id: content-addressed ID (hash) parents: set of parent IDs (CRDT frontier) modality: string/tag (e.g., "lh_text", "sensor", "tool") compiler_id: which compiler produced it (name+version) semantic: typed primitive (enum + payload) amr_scope: resolution + region (time, space, mode indices) delta_versor: Cl(4,1) multivector (32f), closure-enforced inverse_ref: optional ID of inverse/corrective delta provenance: source + time + adr_refs + hash epistemic: truth-seeking state (SPECULATIVE, COHERENT, …) ``` **Required Contracts:** 1. **Delta Versor & Closure**: `delta_versor` must pass the guarded projector (scalar rescale + monotone Newton iterations) with a residual ≤ env-configured ε. 2. **Admission Rule at RH Boundary**: The delta is admitted *only* if it passes closure, provenance and epistemic state pass Directer/Safety packs, and its AMR scope is compatible with the field graph. Otherwise: reject-and-retain the last closed state, log the failure for Meta-RH, and never silently “fix” semantics at the boundary. 3. **AMR & CRDT**: `parents` encode causal links (merging on event frontiers). `amr_scope` specifies field node/region, resolution level, and temporal span. 4. **Truth-seeking**: `epistemic` mirrors CORE's schema, defaulting to `SPECULATIVE` until upgraded by evidence.

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: ai-agent/bi-hemi-asi#1

No description provided.