Struct KernelProposal 

pub struct KernelProposal {
    pub id: String,
    pub kind: ProposalKind,
    pub payload: String,
    pub structured_payload: Option<Value>,
    pub trace_link: TraceLink,
    pub contract_results: Vec<ContractResult>,
    pub requires_human: bool,
    pub confidence: Option<f32>,
}

A proposal from the reasoning kernel.

This is the only output type that crosses the kernel boundary. It must be validated and promoted by converge-core before becoming a Fact.

Axiom: “Agents Suggest, Engines Decide”

Kernels (including LLM kernels) emit KernelProposal, not Fact. The engine validates proposals against contracts and truth requirements before promoting them to facts.

Fields

id: String

Unique identifier for this proposal

kind: ProposalKind

What kind of proposal this is

payload: String

The actual content/payload

structured_payload: Option<Value>

Structured payload (if applicable)

trace_link: TraceLink

Link to the generation trace (for audit/replay)

contract_results: Vec<ContractResult>

Contract/truth validation results

requires_human: bool

Whether this proposal requires human approval

confidence: Option<f32>

Confidence score (0.0 - 1.0) if available

Implementations

impl KernelProposal

pub fn all_contracts_passed(&self) -> bool

Check if all contracts passed.

pub fn failed_contracts(&self) -> Vec<&str>

Get failed contract names.

pub fn is_auto_promotable(&self) -> bool

Check if this proposal is eligible for automatic promotion.

A proposal can be auto-promoted if:

• All contracts passed
• Human approval is not required

Trait Implementations

impl Clone for KernelProposal

fn clone(&self) -> KernelProposal

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for KernelProposal

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelProposal

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for KernelProposal

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.