chore: add txe session (#16546)

This introduces `TXESession`, which handles a session's state (the
counterpart to each noir `#[test]`). Combined with
#16537, it means
we're now in a good place to split the oracle into smaller oracles that
get swapped depending on the session state.

Author: iAmMichaelConnor

noir-projects/aztec-nr/aztec/src/context/returns_hash.nr

@@ -45,7 +45,7 @@ mod test {
 
     #[test]
     unconstrained fn retrieves_preimage() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|_| {
             let value = MockStruct::new(4, 7);
             let serialized = value.serialize();
@@ -59,7 +59,7 @@ mod test {
 
     #[test]
     unconstrained fn retrieves_empty_preimage() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|_| {
             let value = ();
             let serialized = [];

noir-projects/aztec-nr/aztec/src/note/note_getter/test.nr

@@ -37,7 +37,7 @@ where
 
 #[test]
 unconstrained fn processes_single_note() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let mut notes_to_constrain = [Option::none(); _];
@@ -54,7 +54,7 @@ unconstrained fn processes_single_note() {
 
 #[test]
 unconstrained fn processes_many_notes() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let mut notes_to_constrain = [Option::none(); _];
@@ -72,7 +72,7 @@ unconstrained fn processes_many_notes() {
 
 #[test]
 unconstrained fn collapses_notes_at_the_beginning_of_the_array() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let mut opt_notes = [Option::none(); _];
@@ -101,7 +101,7 @@ unconstrained fn collapses_notes_at_the_beginning_of_the_array() {
 
 #[test]
 unconstrained fn can_return_zero_notes() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let opt_notes: [Option<RetrievedNote<MockNote>>; _] = [Option::none(); _];
@@ -115,7 +115,7 @@ unconstrained fn can_return_zero_notes() {
 
 #[test(should_fail_with = "Got more notes than limit.")]
 unconstrained fn rejects_mote_notes_than_limit() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let mut opt_notes: [Option<RetrievedNote<MockNote>>; _] = [Option::none(); _];
@@ -131,7 +131,7 @@ unconstrained fn rejects_mote_notes_than_limit() {
 
 #[test]
 unconstrained fn applies_filter_before_constraining() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let mut notes_to_constrain = [Option::none(); _];
@@ -167,7 +167,7 @@ unconstrained fn applies_filter_before_constraining() {
 
 #[test(should_fail_with = "Note contract address mismatch.")]
 unconstrained fn rejects_mismatched_address() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let note = MockNote::new(1).build_retrieved_note(); // We're not setting the right contract address
@@ -181,7 +181,7 @@ unconstrained fn rejects_mismatched_address() {
 
 #[test(should_fail_with = "Mismatch return note field.")]
 unconstrained fn rejects_mismatched_selector() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let value = 10;
@@ -203,7 +203,7 @@ unconstrained fn rejects_mismatched_selector() {
 
 #[test(should_fail_with = "Return notes not sorted in descending order.")]
 unconstrained fn rejects_mismatched_desc_sort_order() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let mut opt_notes = [Option::none(); _];
@@ -220,7 +220,7 @@ unconstrained fn rejects_mismatched_desc_sort_order() {
 
 #[test(should_fail_with = "Return notes not sorted in ascending order.")]
 unconstrained fn rejects_mismatched_asc_sort_order() {
-    let env = TestEnvironment::_new();
+    let env = TestEnvironment::new();
 
     env.private_context(|context| {
         let mut opt_notes = [Option::none(); _];

noir-projects/aztec-nr/aztec/src/oracle/capsules.nr

@@ -85,7 +85,7 @@ mod test {
 
     #[test]
     unconstrained fn stores_and_loads() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -98,7 +98,7 @@ mod test {
 
     #[test]
     unconstrained fn store_overwrites() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -114,7 +114,7 @@ mod test {
 
     #[test]
     unconstrained fn loads_empty_slot() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -125,7 +125,7 @@ mod test {
 
     #[test]
     unconstrained fn deletes_stored_value() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -140,7 +140,7 @@ mod test {
 
     #[test]
     unconstrained fn deletes_empty_slot() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -152,7 +152,7 @@ mod test {
 
     #[test]
     unconstrained fn copies_non_overlapping_values() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -174,7 +174,7 @@ mod test {
 
     #[test]
     unconstrained fn copies_overlapping_values_with_src_ahead() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -201,7 +201,7 @@ mod test {
 
     #[test]
     unconstrained fn copies_overlapping_values_with_dst_ahead() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -228,7 +228,7 @@ mod test {
 
     #[test(should_fail_with = "copy empty slot")]
     unconstrained fn cannot_copy_empty_values() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
 
@@ -238,7 +238,7 @@ mod test {
 
     #[test(should_fail_with = "not allowed to access")]
     unconstrained fn cannot_store_other_contract() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
             let other_contract_address = AztecAddress::from_field(contract_address.to_field() + 1);
@@ -250,7 +250,7 @@ mod test {
 
     #[test(should_fail_with = "not allowed to access")]
     unconstrained fn cannot_load_other_contract() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
             let other_contract_address = AztecAddress::from_field(contract_address.to_field() + 1);
@@ -261,7 +261,7 @@ mod test {
 
     #[test(should_fail_with = "not allowed to access")]
     unconstrained fn cannot_delete_other_contract() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
             let other_contract_address = AztecAddress::from_field(contract_address.to_field() + 1);
@@ -272,7 +272,7 @@ mod test {
 
     #[test(should_fail_with = "not allowed to access")]
     unconstrained fn cannot_copy_other_contract() {
-        let env = TestEnvironment::_new();
+        let env = TestEnvironment::new();
         env.private_context(|context| {
             let contract_address = context.this_address();
             let other_contract_address = AztecAddress::from_field(contract_address.to_field() + 1);