1- //! Contracts bridge — implements agentic-contracts v0.2.0 traits for Codebase.
1+ //! Contracts bridge — implements agentic-sdk v0.2.0 traits for Codebase.
22//!
33//! This module provides `CodebaseSister`, a contracts-compliant wrapper
44//! around the core `CodeGraph` + grounding engine. It implements:
1212//! The MCP server can use `CodebaseSister` instead of raw graph + engine
1313//! to get compile-time contracts compliance.
1414
15- use agentic_contracts :: prelude:: * ;
15+ use agentic_sdk :: prelude:: * ;
1616use std:: collections:: HashMap ;
1717use std:: path:: { Path , PathBuf } ;
1818use std:: time:: Instant ;
@@ -375,7 +375,7 @@ impl WorkspaceManagement for CodebaseSister {
375375// GROUNDING (bridges existing GroundingEngine to contracts trait)
376376// ═══════════════════════════════════════════════════════════════════
377377
378- impl agentic_contracts :: prelude:: Grounding for CodebaseSister {
378+ impl agentic_sdk :: prelude:: Grounding for CodebaseSister {
379379 fn ground ( & self , claim : & str ) -> SisterResult < GroundingResult > {
380380 let engine = self . grounding_engine ( ) . ok_or_else ( || {
381381 SisterError :: new ( ErrorCode :: InvalidState , "No active graph for grounding" )
@@ -786,7 +786,7 @@ mod tests {
786786
787787 // Ground a claim with known symbols
788788 let result =
789- agentic_contracts :: prelude:: Grounding :: ground ( & sister, "process_payment" ) . unwrap ( ) ;
789+ agentic_sdk :: prelude:: Grounding :: ground ( & sister, "process_payment" ) . unwrap ( ) ;
790790 // Should find the function
791791 assert ! (
792792 result. status == GroundingStatus :: Verified || result. status == GroundingStatus :: Partial ,
@@ -796,7 +796,7 @@ mod tests {
796796
797797 // Ground a claim with unknown symbol
798798 let result =
799- agentic_contracts :: prelude:: Grounding :: ground ( & sister, "totally_fake_function_xyz" )
799+ agentic_sdk :: prelude:: Grounding :: ground ( & sister, "totally_fake_function_xyz" )
800800 . unwrap ( ) ;
801801 assert_eq ! ( result. status, GroundingStatus :: Ungrounded ) ;
802802 }
@@ -807,7 +807,7 @@ mod tests {
807807 add_test_units ( & mut sister) ;
808808
809809 let evidence =
810- agentic_contracts :: prelude:: Grounding :: evidence ( & sister, "process_payment" , 10 )
810+ agentic_sdk :: prelude:: Grounding :: evidence ( & sister, "process_payment" , 10 )
811811 . unwrap ( ) ;
812812 assert ! (
813813 !evidence. is_empty( ) ,
@@ -822,7 +822,7 @@ mod tests {
822822 add_test_units ( & mut sister) ;
823823
824824 let suggestions =
825- agentic_contracts :: prelude:: Grounding :: suggest ( & sister, "process_pay" , 5 ) . unwrap ( ) ;
825+ agentic_sdk :: prelude:: Grounding :: suggest ( & sister, "process_pay" , 5 ) . unwrap ( ) ;
826826 // Should suggest "process_payment" as a similar name
827827 assert ! ( !suggestions. is_empty( ) ) ;
828828 }
0 commit comments