Skip to content
14 changes: 1 addition & 13 deletions src/v1/compile.dag
Original file line number Diff line number Diff line change
Expand Up @@ -343,19 +343,7 @@ fn test_reference_debt() -> List<TestReferenceDebtRow> {
test_reference_row(module_name: "test.claim.spark.serving_arm_launch_witness_test", referrer: "w_all_serving_arm_launch_claims_hold", target: "test.claim.spark.serving_arm_launch_witness_test.w_the_group_b_arm_plans_exactly_four_ranks", occurrences: 1),
test_reference_row(module_name: "test.claim.spark.serving_arm_launch_witness_test", referrer: "w_all_serving_arm_launch_claims_hold", target: "test.claim.spark.serving_arm_launch_witness_test.w_the_utilisation_argv_is_the_profiles_value_at_full_precision", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.cross_language_add_python_to_typescript", referrer: "<import>", target: "v2.test.manual.typescript_effect_io_emit.ts_effect_io_emit_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.cross_language_add_python_to_typescript", referrer: "cross_language_add_python_to_typescript_chain_status_holds", target: "v2.test.manual.typescript_effect_io_emit.ts_effect_io_emit_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.field_access_emit", referrer: "field_access_emit_holds_keystone", target: "v2.test.manual.field_access_emit.field_access_emit_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.field_access_emit", referrer: "field_access_grammar_inverse_holds_keystone", target: "v2.test.manual.field_access_emit.field_access_grammar_inverse_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.field_access_emit", referrer: "field_access_ingest_via_coerce_holds_keystone", target: "v2.test.manual.field_access_emit.field_access_ingest_via_coerce_matches_canonical", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.inhabitant_neutralization", referrer: "<import>", target: "v2.test.manual.ingest_bridge.ingest_cross_language_compile_accepts_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.inhabitant_neutralization", referrer: "inhabitant_neutralization_same_language_cross_language_compile_accepts_holds", target: "v2.test.manual.ingest_bridge.ingest_cross_language_compile_accepts_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.record_construct_emit", referrer: "record_construct_emit_holds_keystone", target: "v2.test.manual.record_construct_emit.record_construct_emit_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.record_construct_emit", referrer: "record_construct_grammar_inverse_holds_keystone", target: "v2.test.manual.record_construct_emit.record_construct_grammar_inverse_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.record_construct_emit", referrer: "record_construct_ingest_via_coerce_holds_keystone", target: "v2.test.manual.record_construct_emit.record_construct_ingest_via_coerce_matches_canonical", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.rust_wire_serde_naming_policy_test", referrer: "unified_claim_rust_wire_serde_naming_discriminates", target: "v2.test.manual.rust_wire_serde_naming_policy_test.witness_rust_wire_serde_naming_discriminates", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.rust_wire_serde_naming_policy_test", referrer: "unified_claim_rust_wire_serde_screaming_snake", target: "v2.test.manual.rust_wire_serde_naming_policy_test.witness_rust_wire_serde_screaming_snake_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.rust_wire_serde_naming_policy_test", referrer: "unified_claim_rust_wire_serde_snake_case", target: "v2.test.manual.rust_wire_serde_naming_policy_test.witness_rust_wire_serde_snake_case_holds", occurrences: 1),
test_reference_row(module_name: "v2.test.manual.sg_rc_layering", referrer: "sg_rc_f1_dual_boundary_holds", target: "v2.test.manual.sg_rc_layering.sg_rc_f1_value_dual_boundary_holds", occurrences: 1)
test_reference_row(module_name: "v2.test.manual.cross_language_add_python_to_typescript", referrer: "cross_language_add_python_to_typescript_chain_status_holds", target: "v2.test.manual.typescript_effect_io_emit.ts_effect_io_emit_holds", occurrences: 1)
]
}

Expand Down
2 changes: 1 addition & 1 deletion src/v1/stage0/src/gunbc_stage0_crate_layout_generated.rs
Original file line number Diff line number Diff line change
Expand Up @@ -39,7 +39,7 @@ pub fn generated_pub_mod_basenames() -> Rc<Vec<String>> {
pub fn generated_stage0_filenames() -> Rc<Vec<String>> {
thread_local! {
static CACHED: Rc<Vec<String>> = {
Rc::new(vec!["v1_interpreter.rs".to_string(), "bounded_shell_host_drain.rs".to_string(), "cli_run.rs".to_string(), "codex_app_server_stdio_session.rs".to_string(), "coproduct_reflection.rs".to_string(), "data_initializer_identity.rs".to_string(), "declaration_index.rs".to_string(), "resolved_graph_cache.rs".to_string(), "shared_typecheck_store.rs".to_string(), "recorded_fixture.rs".to_string(), "phase_profile.rs".to_string(), "pre_push.rs".to_string(), "census_exclude_derive.rs".to_string(), "derived_realization_schedule.rs".to_string(), "memory_governor.rs".to_string(), "namespace_wave_admission.rs".to_string(), "v2_compiler_body_producer.rs".to_string(), "v2_compiler_normalize.rs".to_string(), "v2_compiler_target_carriers.rs".to_string(), "v2_compiler_discovery_enumeration.rs".to_string(), "v2_compiler_parse_engine_hooks.rs".to_string(), "v2_compiler_use_site_verdict.rs".to_string(), "cssl_seed_linked_closure_assembly.rs".to_string(), "required_regen_host.rs".to_string(), "target_invocation_host.rs".to_string(), "behavioral_receipt_host.rs".to_string(), "partition_crate_boundary_host.rs".to_string(), "generated_artifact_boundary_host.rs".to_string(), "emitted_closure_compile_host.rs".to_string(), "evaluation_budget_consequence_falsifier_host.rs".to_string(), "process_group.rs".to_string(), "v2_compiler_compile.rs".to_string(), "v2_compiler_program_assembly.rs".to_string(), "v2_compiler_source_authority.rs".to_string(), "std_logic.rs".to_string(), "usv_pilot_v2_std_algebra.rs".to_string(), "usv_pilot_v2_std_collection.rs".to_string(), "usv_pilot_v2_std_node.rs".to_string(), "v2_compiler_resolve.rs".to_string(), "v2_compiler_program_partition.rs".to_string(), "v2_compiler_tokenize.rs".to_string(), "v2_compiler_infer.rs".to_string(), "bootstrap_stage0_crate_layout_generated.rs".to_string(), "bootstrap_seed_retention_frontier_generated.rs".to_string(), "v1_interpreter_dispatch_generated.rs".to_string(), "evaluation_budget_consequence_generated.rs".to_string(), "gunbc_file_transport_generated.rs".to_string(), "main.rs".to_string()])
Rc::new(vec!["v1_interpreter.rs".to_string(), "bounded_shell_host_drain.rs".to_string(), "cli_run.rs".to_string(), "codex_app_server_stdio_session.rs".to_string(), "coproduct_reflection.rs".to_string(), "data_initializer_identity.rs".to_string(), "declaration_index.rs".to_string(), "resolved_graph_cache.rs".to_string(), "shared_typecheck_store.rs".to_string(), "recorded_fixture.rs".to_string(), "phase_profile.rs".to_string(), "pre_push.rs".to_string(), "census_exclude_derive.rs".to_string(), "derived_realization_schedule.rs".to_string(), "memory_governor.rs".to_string(), "namespace_baseline.rs".to_string(), "v2_compiler_body_producer.rs".to_string(), "v2_compiler_normalize.rs".to_string(), "v2_compiler_target_carriers.rs".to_string(), "v2_compiler_discovery_enumeration.rs".to_string(), "v2_compiler_parse_engine_hooks.rs".to_string(), "v2_compiler_use_site_verdict.rs".to_string(), "cssl_seed_linked_closure_assembly.rs".to_string(), "required_regen_host.rs".to_string(), "target_invocation_host.rs".to_string(), "behavioral_receipt_host.rs".to_string(), "partition_crate_boundary_host.rs".to_string(), "generated_artifact_boundary_host.rs".to_string(), "emitted_closure_compile_host.rs".to_string(), "evaluation_budget_consequence_falsifier_host.rs".to_string(), "process_group.rs".to_string(), "v2_compiler_compile.rs".to_string(), "v2_compiler_program_assembly.rs".to_string(), "v2_compiler_source_authority.rs".to_string(), "std_logic.rs".to_string(), "usv_pilot_v2_std_algebra.rs".to_string(), "usv_pilot_v2_std_collection.rs".to_string(), "usv_pilot_v2_std_node.rs".to_string(), "v2_compiler_resolve.rs".to_string(), "v2_compiler_program_partition.rs".to_string(), "v2_compiler_tokenize.rs".to_string(), "v2_compiler_infer.rs".to_string(), "bootstrap_stage0_crate_layout_generated.rs".to_string(), "bootstrap_seed_retention_frontier_generated.rs".to_string(), "v1_interpreter_dispatch_generated.rs".to_string(), "evaluation_budget_consequence_generated.rs".to_string(), "gunbc_file_transport_generated.rs".to_string(), "main.rs".to_string()])
};
}
CACHED.with(|c: &Rc<Vec<String>>| c.clone())
Expand Down
4 changes: 4 additions & 0 deletions src/v1/stage0/src/std_measure.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1532,6 +1532,10 @@ pub fn minute_count(m: Minute) -> Nat {
measure_count(m.clone())
}

pub fn minute_to_second(m: Minute) -> Second {
second((minute_count(m.clone()) * seconds_per_minute()))
}

pub fn minute_to_millisecond(m: Minute) -> Millisecond {
millisecond(((minute_count(m.clone()) * seconds_per_minute()) * milliseconds_per_second()))
}
Expand Down
Loading