Struct SimpleLuminousSumcheck

Source

pub struct SimpleLuminousSumcheck {
    pub claim: LuminousClaim,
    pub transcript: BitInteractiveTranscript,
}

Expand description

A minimal luminous sum-check observation.

This structure annotates an external proof workflow. It does not implement or claim proof-system soundness.

Fields§

§claim: LuminousClaim

Semantic claim.

§transcript: BitInteractiveTranscript

Human-readable interactive transcript.

Implementations§

Source §

impl SimpleLuminousSumcheck

Source

pub fn to_luminous_metadata(&self) -> LuminousMetadata

Produces deterministic summary metadata.

Examples found in repository ?

examples/drone_observation.rs (line 25)

3fn main() -> Result<(), Box<dyn std::error::Error>> {
4    let claim = LuminousClaim::new("drone-camera-frame-7842", 4096).with_viz_hints(VizHints {
5        color: Some([0, 200, 255]),
6        icon: Some("camera".into()),
7        layer_name: Some("perception-conv3".into()),
8    });
9
10    let mut transcript = BitInteractiveTranscript::new(b"drone-seed-7842");
11    transcript.record_round_with_note(
12        0,
13        &[0xde, 0xad, 0xbe, 0xef],
14        "sensor-processing",
15        "Raw sensor frame converted into features",
16    );
17    transcript.record_round_with_note(
18        1,
19        &[0x42],
20        "attention-head-7",
21        "Stop-sign feature strongly activated",
22    );
23
24    let luminous = SimpleLuminousSumcheck { claim, transcript };
25    let metadata = luminous.to_luminous_metadata();
26    let packet = luminous.to_viz_packet()?;
27    packet.verify()?;
28
29    println!("claim: {}", metadata.claim_id);
30    println!("transcript: {}", metadata.transcript_digest);
31    println!("{}", packet.to_json());
32    Ok(())
33}

Source

pub fn to_viz_packet(&self) -> Result<VizPacket, SlbitError>

Validates the observation and creates a canonical visualization packet.

Examples found in repository ?

examples/drone_observation.rs (line 26)

3fn main() -> Result<(), Box<dyn std::error::Error>> {
4    let claim = LuminousClaim::new("drone-camera-frame-7842", 4096).with_viz_hints(VizHints {
5        color: Some([0, 200, 255]),
6        icon: Some("camera".into()),
7        layer_name: Some("perception-conv3".into()),
8    });
9
10    let mut transcript = BitInteractiveTranscript::new(b"drone-seed-7842");
11    transcript.record_round_with_note(
12        0,
13        &[0xde, 0xad, 0xbe, 0xef],
14        "sensor-processing",
15        "Raw sensor frame converted into features",
16    );
17    transcript.record_round_with_note(
18        1,
19        &[0x42],
20        "attention-head-7",
21        "Stop-sign feature strongly activated",
22    );
23
24    let luminous = SimpleLuminousSumcheck { claim, transcript };
25    let metadata = luminous.to_luminous_metadata();
26    let packet = luminous.to_viz_packet()?;
27    packet.verify()?;
28
29    println!("claim: {}", metadata.claim_id);
30    println!("transcript: {}", metadata.transcript_digest);
31    println!("{}", packet.to_json());
32    Ok(())
33}