<?xml version="1.0" encoding="UTF-8"?>

<HSTProposal
   Phase1ID="6866"
   Phase2ID="18141"
   Phase="Phase I"
   AptVersion="Version 2025.3.4  JWST PRD: PRDAPTSOC-069-002, Roman PRD: RPRDDEVSOC-018">
   <!--**********************************************************************************************************************-->
   <!--This file is automatically generated and should not be edited by hand. Editing this file directly is at your own risk.-->
   <!--**********************************************************************************************************************-->
   <!--APT Output Product-->
   <!---->
   <!--APT Version: Version 2025.3.4  JWST PRD: PRDAPTSOC-069-002, Roman PRD: RPRDDEVSOC-018-->
   <!--Date: Fri Jul 18 13:05:13 GMT 2025-->
   
   <ToolData>
      
      <ToolDataItem
         Key="SubmissionData">
         
         <SubmissionData
            AptVersion="Version 2025.1  "
            SubmissionMode=""
            SubmissionCounter="1"
            SubmissionSuccessCounter="0"
            HasErrors="false"
            Cycle="33"
            IncludeSysInfo="true"
            NotificationAddress=""
            AssignedID="6866">
            
            <SystemInformation
               Runtime.maxMemory="6000"
               java.version="21.0.3"
               linux.distribution="not available"
               linux.version="not available"
               os.arch="amd64"
               os.name="Windows 11"
               os.version="10.0"
               screens="2560x1600" />
            
            <ErrorText />
            
            <SubmissionComments />
            
            <SubmissionCommentsCheckSum>0</SubmissionCommentsCheckSum>
            
            <SubmissionLog>Assigned ID: 6866

----- Attempting Submission 1 (Thu Apr 10 23:47:21 GMT 2025) -----</SubmissionLog>
            
            <DiagnosticJustification />
         </SubmissionData>
      </ToolDataItem>
   </ToolData>
   
   <ProposalInformation
      Category="AR"
      SnapPriority="Normal Priority"
      PureParallelProposal="false"
      Cycle="33"
      STScIEditNumber="0">
      
      <Title>Characterizing Planet Formation through a Outer Solar System Binary Survey Simulator</Title>
      
      <Abstract>Solar System Small Bodies provide direct insight into the formation and evolution of the solar system and to planet formation in general. Of particular value are Outer Solar System Binaries (OSSBs) since they encode information about a variety of planetesimal formation processes like the Streaming Instability, collisional evolution, and dynamical stirring. HST has invested a significant amount of solar system observations to discovering these binaries, but almost no effort has been devoted to measuring the observational biases to determine the true underlying frequency of OSSB binaries. Without information on the binary fraction as a function of size, dynamical class, and other properties, many important questions about planet formation are left unanswered. In this Archival proposal, we  will characterize the Detection Probability of over 500 outer solar system small bodies observed with HST. Using the same pipeline on real and injected objects minimizes biases and allows a "Binary Survey Simulator" to leverage hundreds of non-detections to rigorously test binary population models. Bayesian parameter inference on binary population statistics (like frequency as a function of size, orbit and relative brightness) will finally provide OSSB  population models. This enables a variety of investigations but we focus on three major questions related to differences between Trojans, Centaurs, Cold TNOs, and Hot TNOs that inform specific planet formation processes. This project maximally leverages HST's unique archival dataset to answer open questions in planet formation. Since it uses only HST archival data, it is ideally and uniquely suited for Archival Program support.</Abstract>
      
      <PrincipalInvestigator
         Honorific="Prof."
         FirstName="Darin"
         LastName="Ragozzine"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="8355"
         Institution="Brigham Young University"
         Country="USA"
         State="UT"
         Contact="true" />
      
      <CoInvestigator
         Honorific="Dr."
         FirstName="Benjamin"
         LastName="Proudfoot"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="26789"
         Institution="University of Central Florida Board of Trustees"
         Country="USA"
         State="FL"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Dr."
         FirstName="Will"
         MiddleInitial="M."
         LastName="Grundy"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="4452"
         Institution="Lowell Observatory"
         Country="USA"
         State="AZ"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         FirstName="Dallin"
         MiddleInitial="J"
         LastName="Spencer"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="43389"
         Institution="Brigham Young University"
         Country="USA"
         State="UT"
         Contact="false"
         AdminUSPI="false" />
      
      <Questions>
         
         <Phase2Questions />
      </Questions>
      
      <TeamExpertise>PI Ragozzine is an expert in TNO binaries (e.g., Ragozzine &amp; Brown 2009, Ragozzine et al. 2024) and has been PI of several binary HST proposals. He has detailed expertise in the orbital dynamics, Bayesian parameter inference, and population modeling. For example, he is a major co-author on the exoplanet-based Planetary System Simulator (SysSim, He et al. 2020). 

Co-I Grundy is a major expert in HST data reduction and analysis for TNBs. He has led several programs focusing on characterization of individual TNB systems. He maintains an extensive online catalog of TNBs.

Co-I Proudfoot has extensive experience in modeling TNO binaries, Bayesian parameter inference, and population modeling. He helped develop the nPSF tool that forms the basis of our search tool.

Co-I Spencer has experience in TNO binaries, Bayesian parameter inference, and PSF fitting. He is also separately funded to develop a similar binary population model for wide binaries detected in the DEEP survey.</TeamExpertise>
      
      <TargetOfOpportunityActivations />
      
      <Phase1ProposalInformation
         Attachment="/System/Volumes/Data/solaris/user1/williamj/HST-C33/TAC/C:\Users\dragozzi\Documents\proposals\2025\HST33\BINOPS\HST33AR_BINOPS_final.pdf">
         
         <ScientificCategory>Solar System Astronomy</ScientificCategory>
         
         <ScientificKeyword1
            Keyword="Astronomical simulations" />
         
         <ScientificKeyword2
            Keyword="Binary systems / Multiple systems" />
         
         <ScientificKeyword3
            Keyword="Orbits" />
         
         <ScientificKeyword4
            Keyword="Trans-Neptunian objects" />
         
         <ProprietaryPeriod
            Default="true">0</ProprietaryPeriod>
         
         <CalibProp>false</CalibProp>
         
         <UvInit>false</UvInit>
         
         <Legacy>false</Legacy>
         
         <Theory>false</Theory>
         
         <CloudComputing>false</CloudComputing>
         
         <DataScience>false</DataScience>
         
         <RomanPreparatoryScience>false</RomanPreparatoryScience>
      </Phase1ProposalInformation>
      
      <Phase2ProposalInformation
         PCFlag="true">
         
         <Availability>SUPPORTED</Availability>
      </Phase2ProposalInformation>
   </ProposalInformation>
   
   <Patterns />
   
   <Visits />
   
   <Cycles>
      
      <CycleInfo
         CycleNumber="0"
         CycleStart="1990.114 00:00:00"
         CycleEnd="1991.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="1"
         CycleStart="1991.182 00:00:00"
         CycleEnd="1992.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="2"
         CycleStart="1992.183 00:00:00"
         CycleEnd="1993.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="3"
         CycleStart="1993.182 00:00:00"
         CycleEnd="1993.337 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="4"
         CycleStart="1993.337 00:00:00"
         CycleEnd="1995.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="5"
         CycleStart="1995.182 00:00:00"
         CycleEnd="1996.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="6"
         CycleStart="1996.183 00:00:00"
         CycleEnd="1997.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="7"
         CycleStart="1997.182 00:00:00"
         CycleEnd="1999.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="8"
         CycleStart="1999.182 00:00:00"
         CycleEnd="2000.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="9"
         CycleStart="2000.183 00:00:00"
         CycleEnd="2001.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="10"
         CycleStart="2001.182 00:00:00"
         CycleEnd="2002.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="11"
         CycleStart="2002.182 00:00:00"
         CycleEnd="2003.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="12"
         CycleStart="2003.182 00:00:00"
         CycleEnd="2004.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="13"
         CycleStart="2004.183 00:00:00"
         CycleEnd="2005.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="14"
         CycleStart="2005.182 00:00:00"
         CycleEnd="2006.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="15"
         CycleStart="2006.182 00:00:00"
         CycleEnd="2007.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="16"
         CycleStart="2007.182 00:00:00"
         CycleEnd="2009.131 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="17"
         CycleStart="2009.131 00:00:00"
         CycleEnd="2010.244 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="18"
         CycleStart="2010.244 00:00:00"
         CycleEnd="2011.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="19"
         CycleStart="2011.274 00:00:00"
         CycleEnd="2012.275 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="20"
         CycleStart="2012.275 00:00:00"
         CycleEnd="2013.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="21"
         CycleStart="2013.274 00:00:00"
         CycleEnd="2014.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="22"
         CycleStart="2014.274 00:00:00"
         CycleEnd="2015.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="23"
         CycleStart="2015.274 00:00:00"
         CycleEnd="2016.275 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="24"
         CycleStart="2016.275 00:00:00"
         CycleEnd="2017.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="25"
         CycleStart="2017.274 00:00:00"
         CycleEnd="2018.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="26"
         CycleStart="2018.274 00:00:00"
         CycleEnd="2019.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="27"
         CycleStart="2019.274 00:00:00"
         CycleEnd="2020.275 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="28"
         CycleStart="2020.275 00:00:00"
         CycleEnd="2021.274 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="29"
         CycleStart="2021.274 00:00:00"
         CycleEnd="2022.274 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="30"
         CycleStart="2022.274 00:00:00"
         CycleEnd="2023.334 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="31"
         CycleStart="2023.334 00:00:00"
         CycleEnd="2024.320 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="32"
         CycleStart="2024.320 00:00:00"
         CycleEnd="2025.304 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="33"
         CycleStart="2025.305 00:00:00"
         CycleEnd="2026.304 00:00:00"
         IsActive="true" />
   </Cycles>
</HSTProposal>
