feat(proofs): introduce fail-closed cross-kernel reconciliation receipts

crates/burrower-cli/src/main.rs

@@ -11,7 +11,10 @@
 //!   given a goal, return ranked candidate "homes".
 
 use anyhow::Result;
-use burrower_core::{parse_goal, rank, Corpus, Ledger, ProverConfig, Swarm};
+use burrower_core::{
+    parse_goal, rank, record_reconciliation, Corpus, Ledger, ProofReconciliation, ProverConfig,
+    Swarm,
+};
 use clap::{Parser, Subcommand};
 use std::path::PathBuf;
 
@@ -122,6 +125,18 @@ enum Cmd {
         #[arg(long, default_value = "julia")]
         oracle_julia: PathBuf,
     },
+    /// Record a reconciliation receipt as UNVERIFIED evidence, not a proof.
+    Reconcile {
+        /// JSON file with the proof.reconciliation/1 receipt.
+        #[arg(long)]
+        receipt: PathBuf,
+        /// Original theorem statement for ledger identity.
+        #[arg(long)]
+        goal: String,
+        /// Existing interim Burrow Ledger (JSONL).
+        #[arg(long)]
+        ledger: PathBuf,
+    },
     /// Burrow Ledger inspection.
     Ledger {
         #[command(subcommand)]
@@ -371,6 +386,9 @@ fn handle_attempt(
     Ok(())
 }
 
+/// Dispatch the requested command. Reconciliation reads a JSON receipt and
+/// records it as proposed evidence, propagating read, parse, validation and
+/// ledger errors.
 fn main() -> Result<()> {
     let cli = Cli::parse();
     match cli.cmd {
@@ -401,6 +419,18 @@ fn main() -> Result<()> {
                 oracle_julia,
             )
         }
+        Cmd::Reconcile {
+            receipt,
+            goal,
+            ledger,
+        } => {
+            let body = std::fs::read_to_string(&receipt)?;
+            let evidence: ProofReconciliation = serde_json::from_str(&body)?;
+            let ledger = Ledger::open(&ledger)?;
+            record_reconciliation(&ledger, &goal, &evidence)?;
+            eprintln!("reconciliation evidence recorded as proposed, NOT verified");
+            return Ok(());
+        }
         Cmd::Ledger { sub } => return handle_ledger(sub),
         Cmd::Serve { socket } => return burrower_core::serve::run(socket),
         Cmd::Index { root, output } => {

crates/burrower-core/src/lib.rs

@@ -34,6 +34,7 @@ pub mod ids;
 pub mod ledger;
 pub mod oracle;
 pub mod ranking;
+pub mod reconciliation;
 pub mod serve;
 pub mod specialist;
 
@@ -49,6 +50,10 @@ pub use ledger::{
     RecordResult,
 };
 pub use ranking::{rank, Home};
+pub use reconciliation::{
+    record_reconciliation, CheckLeg, Checker, Correspondence, LegOutcome, OriginalProof,
+    ProofReconciliation, Route, RECONCILIATION_SCHEMA,
+};
 pub use specialist::{
     Algebraist, Combinatorialist, ConsensusHome, OrderTheorist, Reading, Specialist, Swarm,
     Synthesis,