Crate dsfb_gpu_debug_core 

Deterministic CPU reference and semantic authority for dsfb-gpu-debug — the court half of the densorial / tekmeric inference posture.

Front-door identity (panel-locked): DSFB-GPU implements densorial / tekmeric inference (deterministic inference over evidence densors + evidence-based deterministic adjudication), not neural inference over learned-weight tensors. This crate hosts the CPU reference path, the Q16.16 fixed-point primitive that pins CPU/GPU byte- equality, and the bank module that owns admission authority for Episode (the Semantic Non-Bypass Axiom: only the bank’s private BankAdmissionToken constructor can mint admitted episodes; the GPU never does).

neural inference:
  tensor → learned weights → probabilistic output

densorial / tekmeric inference:
  densor → deterministic witness court → replayable case file

This crate is intentionally #![no_std] and dependency-free. It contains:

• The Q16.16 fixed-point primitive (fixed::Q16) used by both the CPU reference and the CUDA kernels, so CPU↔GPU byte-equality is achievable per stage of the pipeline.
• A hand-rolled SHA-256 implementation in hash so that intermediate artifact hashes can be computed in a no_std context without pulling in external dependencies.

As the workspace grows, additional modules (canonical serialization, pipeline stages, heuristics bank, episode collapse, case file emission) will live alongside these two foundations. Sections are added one at a time so each is independently auditable.

Re-exports

pub use event::TraceEvent;

pub use fixed::Q16;

pub use grammar::GrammarState;

pub use grammar::ReasonCode;

pub use hash::sha256;

pub use hash::Sha256;

pub use motif::registry_hash;

pub use motif::MotifClass;

pub use motif::MOTIF_CATALOG;

pub use verdict::FinalVerdict;

Modules

event

The canonical trace-event record.

fixed

Q16.16 signed fixed-point arithmetic.

grammar

Four-state grammar used by the episode collapser.

hash

Hand-rolled SHA-256.

motif

Detector-motif registry: the canonical 16 detectors plus the registry hash that the contract pins.

verdict

Final verdict enum and its lexical name table.