Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
eukhe PROOF.bend
121 kB · 1,706 lines
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707# eukhe: the proofs. Each law of laws/<area>.bend is proven in# proof/<area>/<law>.bend from the lemmas of its area (proof/<area>/base.bend)# and of every area (proof/base.bend). `bend PROOF.bend --verdict` checks them all.
import Baseimport ./LAWS.bend as Lawsimport ./proof/base/bool.bend as LBoolimport ./proof/base/child.bend as LChildimport ./proof/base/command.bend as LCommandimport ./proof/base/director.bend as LDirectorimport ./proof/base/effort.bend as LEffortimport ./proof/base/fsmode.bend as LFsmodeimport ./proof/base/list.bend as LListimport ./proof/base/logic/bool.bend as LLogicBoolimport ./proof/base/logic/list.bend as LLogicListimport ./proof/base/logic/logic.bend as LLogicLogicimport ./proof/base/logic/maybe.bend as LLogicMaybeimport ./proof/base/logic/nat.bend as LLogicNatimport ./proof/base/logic/semver.bend as LLogicSemverimport ./proof/base/logic/string.bend as LLogicStringimport ./proof/base/logic/wire.bend as LLogicWireimport ./proof/base/nat.bend as LNatimport ./proof/base/optchat.bend as LOptchatimport ./proof/base/pair.bend as LPairimport ./proof/base/progress.bend as LProgressimport ./proof/base/replace.bend as LReplaceimport ./proof/base/retry.bend as LRetryimport ./proof/base/run.bend as LRunimport ./proof/base/semver.bend as LSemverimport ./proof/base/string.bend as LStringimport ./proof/base/tree.bend as LTreeimport ./proof/base/wire.bend as LWireimport ./proof/base/wire_dec.bend as LWireDecimport ./proof/base/wire_strs.bend as LWireStrsimport ./proof/optchat/base.bend as LAOptchatimport ./proof/optchat/view_covers.bend as PViewCoversimport ./proof/optchat/cview_covers.bend as PCviewCoversimport ./proof/optchat/message_appends.bend as PMessageAppendsimport ./proof/optchat/message_merges_nothing.bend as PMessageMergesNothingimport ./proof/optchat/merge_is_one_pair.bend as PMergeIsOnePairimport ./proof/optchat/merge_covers.bend as PMergeCoversimport ./proof/optchat/push_agrees.bend as PPushAgreesimport ./proof/optchat/push_agrees_always.bend as PPushAgreesAlwaysimport ./proof/optchat/push_agrees_always/list.bend as LLPushAgreesAlwaysListimport ./proof/optchat/push_agrees_always/logic.bend as LLPushAgreesAlwaysLogicimport ./proof/optchat/push_agrees_always/nat.bend as LLPushAgreesAlwaysNatimport ./proof/optchat/push_agrees_always/optchat.bend as LLPushAgreesAlwaysOptchatimport ./proof/optchat/push_agrees_always/pair.bend as LLPushAgreesAlwaysPairimport ./proof/optchat/fit_reaches_budget.bend as PFitReachesBudgetimport ./proof/optchat/fit_merges_built.bend as PFitMergesBuiltimport ./proof/optchat/view_summarized.bend as PViewSummarizedimport ./proof/optchat/cview_summarized.bend as PCviewSummarizedimport ./proof/optchat/last_merges_8_9.bend as PLastMerges89import ./proof/optchat/first_merges_0_7.bend as PFirstMerges07import ./proof/optchat/first_is_not_last.bend as PFirstIsNotLastimport ./proof/optchat/first_leaves_push.bend as PFirstLeavesPushimport ./proof/optchat/context_ends_at_node.bend as PContextEndsAtNodeimport ./proof/optchat/context_is_prefix.bend as PContextIsPrefiximport ./proof/optchat/need_progress.bend as PNeedProgressimport ./proof/compactor/base.bend as LACompactorimport ./proof/compactor/line_calls_at_most_tries.bend as PLineCallsAtMostTriesimport ./proof/compactor/line_fits.bend as PLineFitsimport ./proof/compactor/line_takes_first_fit.bend as PLineTakesFirstFitimport ./proof/compactor/line_stops_when_not_shorter.bend as PLineStopsWhenNotShorterimport ./proof/compactor/line_empty_is_a_try.bend as PLineEmptyIsATryimport ./proof/compactor/line_error_fails.bend as PLineErrorFailsimport ./proof/compactor/fail_cap_builds.bend as PFailCapBuildsimport ./proof/compactor/need_first.bend as PNeedFirstimport ./proof/compactor/need_first_running.bend as PNeedFirstRunningimport ./proof/compactor/wait_keeps_needed.bend as PWaitKeepsNeededimport ./proof/compactor/settle_falls.bend as PSettleFallsimport ./proof/compactor/settle_bounded.bend as PSettleBoundedimport ./proof/compactor/settle_reached.bend as PSettleReachedimport ./proof/compactor/settle_start.bend as PSettleStartimport ./proof/compactor/line_open_exact.bend as PLineOpenExactimport ./proof/compactor/line_step_exact.bend as PLineStepExactimport ./proof/compactor/pend_after_exact.bend as PPendAfterExactimport ./proof/compactor/line_fits_exact.bend as PLineFitsExactimport ./proof/compactor/line_first_exact.bend as PLineFirstExactimport ./proof/compactor/first_fit_exact.bend as PFirstFitExactimport ./proof/compactor/read_exact.bend as PReadExactimport ./proof/compactor/failures_exact.bend as PFailuresExactimport ./proof/compactor/pend_pending_exact.bend as PPendPendingExactimport ./proof/compactor/line_steps.bend as PLineStepsimport ./proof/compactor/compactor_ffi_open.bend as PCompactorFfiOpenimport ./proof/compactor/compactor_ffi_step.bend as PCompactorFfiStepimport ./proof/compactor/compactor_ffi_after.bend as PCompactorFfiAfterimport ./proof/compactor/compactor_ffi_malformed_exact.bend as PCompactorFfiMalformedExactimport ./proof/compactor/compactor_ffi_example.bend as PCompactorFfiExampleimport ./proof/wait/base.bend as LAWaitimport ./proof/wait/wait_ends_once.bend as PWaitEndsOnceimport ./proof/wait/wait_end_is_final.bend as PWaitEndIsFinalimport ./proof/wait/wait_arrival_wins.bend as PWaitArrivalWinsimport ./proof/wait/wait_cancel_wins.bend as PWaitCancelWinsimport ./proof/lease/base.bend as LALeaseimport ./proof/lease/lease_fifo.bend as PLeaseFifoimport ./proof/lease/lease_never_idle.bend as PLeaseNeverIdleimport ./proof/lease/lease_keeps_waiters.bend as PLeaseKeepsWaitersimport ./proof/lease/lease_stop_never_holds.bend as PLeaseStopNeverHoldsimport ./proof/lease/lease_crash_frees.bend as PLeaseCrashFreesimport ./proof/child/base.bend as LAChildimport ./proof/child/child_stalls_in_time.bend as PChildStallsInTimeimport ./proof/child/child_unreachable_in_time.bend as PChildUnreachableInTimeimport ./proof/child/child_clock_bounded.bend as PChildClockBoundedimport ./proof/child/child_progress_is_not_a_stall.bend as PChildProgressIsNotAStallimport ./proof/child/child_one_live.bend as PChildOneLiveimport ./proof/child/child_report_once.bend as PChildReportOnceimport ./proof/child/child_resubmits_per_abort.bend as PChildResubmitsPerAbortimport ./proof/child/child_delivered_once.bend as PChildDeliveredOnceimport ./proof/child/child_task_call.bend as PChildTaskCallimport ./proof/child/child_silent_never_reports.bend as PChildSilentNeverReportsimport ./proof/child/child_report_move.bend as PChildReportMoveimport ./proof/child/child_report_move_is_owe.bend as PChildReportMoveIsOweimport ./proof/child/child_abort_rule.bend as PChildAbortRuleimport ./proof/child/child_entry_verdict.bend as PChildEntryVerdictimport ./proof/child/child_entry_move.bend as PChildEntryMoveimport ./proof/child/child_entry_abort.bend as PChildEntryAbortimport ./proof/admission/base/admission/St.bend as LAAdmissionAdmissionStimport ./proof/admission/base/admission/bit.bend as LAAdmissionAdmissionBitimport ./proof/admission/base/admission/calm.bend as LAAdmissionAdmissionCalmimport ./proof/admission/base/admission/cnt.bend as LAAdmissionAdmissionCntimport ./proof/admission/base/admission/collect.bend as LAAdmissionAdmissionCollectimport ./proof/admission/base/admission/ended.bend as LAAdmissionAdmissionEndedimport ./proof/admission/base/admission/get.bend as LAAdmissionAdmissionGetimport ./proof/admission/base/admission/hit.bend as LAAdmissionAdmissionHitimport ./proof/admission/base/admission/isz.bend as LAAdmissionAdmissionIszimport ./proof/admission/base/admission/le.bend as LAAdmissionAdmissionLeimport ./proof/admission/base/admission/lv.bend as LAAdmissionAdmissionLvimport ./proof/admission/base/admission/pick.bend as LAAdmissionAdmissionPickimport ./proof/admission/base/admission/pot.bend as LAAdmissionAdmissionPotimport ./proof/admission/base/admission/release.bend as LAAdmissionAdmissionReleaseimport ./proof/admission/base/admission/room.bend as LAAdmissionAdmissionRoomimport ./proof/admission/base/admission/step.bend as LAAdmissionAdmissionStepimport ./proof/admission/base/admission/waits.bend as LAAdmissionAdmissionWaitsimport ./proof/admission/base/bool.bend as LAAdmissionBoolimport ./proof/admission/base/list.bend as LAAdmissionListimport ./proof/admission/base/logic.bend as LAAdmissionLogicimport ./proof/admission/base/nat.bend as LAAdmissionNatimport ./proof/admission/base/wire.bend as LAAdmissionWireimport ./proof/admission/admission_preempts.bend as PAdmissionPreemptsimport ./proof/admission/admission_capacity.bend as PAdmissionCapacityimport ./proof/admission/admission_no_lost_wakeup.bend as PAdmissionNoLostWakeupimport ./proof/admission/admission_background_yields.bend as PAdmissionBackgroundYieldsimport ./proof/admission/admission_fifo.bend as PAdmissionFifoimport ./proof/admission/admission_interactive_step.bend as PAdmissionInteractiveStepimport ./proof/admission/admission_interactive_bound.bend as PAdmissionInteractiveBoundimport ./proof/admission/admission_ended_stays_ended.bend as PAdmissionEndedStaysEndedimport ./proof/admission/admission_end_twice_changes_nothing.bend as PAdmissionEndTwiceChangesNothingimport ./proof/admission/admission_every_ticket_ends.bend as PAdmissionEveryTicketEndsimport ./proof/admission/admission_live_step.bend as PAdmissionLiveStepimport ./proof/admission/admission_live_run.bend as PAdmissionLiveRunimport ./proof/admission/admission_live_example.bend as PAdmissionLiveExampleimport ./proof/admission/adw_cls_round_trip.bend as PAdwClsRoundTripimport ./proof/admission/adw_sts_round_trip.bend as PAdwStsRoundTripimport ./proof/admission/adw_lv_round_trip.bend as PAdwLvRoundTripimport ./proof/admission/adw_lvs_round_trip.bend as PAdwLvsRoundTripimport ./proof/admission/adw_live_round_trip.bend as PAdwLiveRoundTripimport ./proof/admission/adw_open_answers.bend as PAdwOpenAnswersimport ./proof/admission/adw_step_answers.bend as PAdwStepAnswersimport ./proof/admission/adw_open_malformed.bend as PAdwOpenMalformedimport ./proof/admission/adw_open_left_over.bend as PAdwOpenLeftOverimport ./proof/admission/adw_step_malformed.bend as PAdwStepMalformedimport ./proof/admission/adw_step_left_over.bend as PAdwStepLeftOverimport ./proof/admission/adw_shut_refuses.bend as PAdwShutRefusesimport ./proof/admission/adw_tags_example.bend as PAdwTagsExampleimport ./proof/admission/adw_lim_example.bend as PAdwLimExampleimport ./proof/admission/adw_lv_example.bend as PAdwLvExampleimport ./proof/admission/adw_lvs_example.bend as PAdwLvsExampleimport ./proof/admission/adw_live_example.bend as PAdwLiveExampleimport ./proof/admission/adw_op_example.bend as PAdwOpExampleimport ./proof/admission/adw_open_example.bend as PAdwOpenExampleimport ./proof/admission/adw_malformed_example.bend as PAdwMalformedExampleimport ./proof/tree/base/bool.bend as LATreeBoolimport ./proof/tree/base/director.bend as LATreeDirectorimport ./proof/tree/base/list.bend as LATreeListimport ./proof/tree/base/logic.bend as LATreeLogicimport ./proof/tree/base/maybe.bend as LATreeMaybeimport ./proof/tree/base/nat.bend as LATreeNatimport ./proof/tree/base/pair.bend as LATreePairimport ./proof/tree/base/tree/Ent.bend as LATreeTreeEntimport ./proof/tree/base/tree/KMap.bend as LATreeTreeKMapimport ./proof/tree/base/tree/above.bend as LATreeTreeAboveimport ./proof/tree/base/tree/core.bend as LATreeTreeCoreimport ./proof/tree/base/tree/dels.bend as LATreeTreeDelsimport ./proof/tree/base/tree/elem.bend as LATreeTreeElemimport ./proof/tree/base/tree/get.bend as LATreeTreeGetimport ./proof/tree/base/tree/gone.bend as LATreeTreeGoneimport ./proof/tree/base/tree/has.bend as LATreeTreeHasimport ./proof/tree/base/tree/ok.bend as LATreeTreeOkimport ./proof/tree/base/tree/put.bend as LATreeTreePutimport ./proof/tree/base/tree/puts.bend as LATreeTreePutsimport ./proof/tree/base/tree/rooted.bend as LATreeTreeRootedimport ./proof/tree/base/tree/same.bend as LATreeTreeSameimport ./proof/tree/base/tree/sorted.bend as LATreeTreeSortedimport ./proof/tree/base/tree/sound.bend as LATreeTreeSoundimport ./proof/tree/base/tree/unset.bend as LATreeTreeUnsetimport ./proof/tree/base/tree/within.bend as LATreeTreeWithinimport ./proof/tree/base/wire.bend as LATreeWireimport ./proof/tree/tree_apply_sound.bend as PTreeApplySoundimport ./proof/tree/tree_replay_sound.bend as PTreeReplaySoundimport ./proof/tree/tree_snapshot.bend as PTreeSnapshotimport ./proof/tree/tree_rewind_reaches.bend as PTreeRewindReachesimport ./proof/tree/tree_rewind_still.bend as PTreeRewindStillimport ./proof/tree/tree_rewind_minimal.bend as PTreeRewindMinimalimport ./proof/tree/tree_delete_removes.bend as PTreeDeleteRemovesimport ./proof/tree/tree_delete_only_below.bend as PTreeDeleteOnlyBelowimport ./proof/tree/tree_delete_within.bend as PTreeDeleteWithinimport ./proof/tree/tree_put_sets.bend as PTreePutSetsimport ./proof/tree/tree_put_keeps_others.bend as PTreePutKeepsOthersimport ./proof/tree/tree_core_tree.bend as PTreeCoreTreeimport ./proof/tree/tree_core_answer.bend as PTreeCoreAnswerimport ./proof/tree/tree_core_note.bend as PTreeCoreNoteimport ./proof/tree/tree_core_plan.bend as PTreeCorePlanimport ./proof/tree/tree_core_snap.bend as PTreeCoreSnapimport ./proof/tree/tree_core_plan_keeps.bend as PTreeCorePlanKeepsimport ./proof/tree/tree_core_snap_keeps.bend as PTreeCoreSnapKeepsimport ./proof/tree/dir_encode_sound.bend as PDirEncodeSoundimport ./proof/tree/dir_rewind_restores.bend as PDirRewindRestoresimport ./proof/tree/tree_ffi_ask_round_trip.bend as PTreeFfiAskRoundTripimport ./proof/tree/tree_ffi_step.bend as PTreeFfiStepimport ./proof/tree/tree_ffi_malformed.bend as PTreeFfiMalformedimport ./proof/tree/tree_ffi_trailing.bend as PTreeFfiTrailingimport ./proof/tree/tree_ffi_refused.bend as PTreeFfiRefusedimport ./proof/tree/tree_ffi_open.bend as PTreeFfiOpenimport ./proof/tree/tree_ffi_open_malformed.bend as PTreeFfiOpenMalformedimport ./proof/tree/tree_ffi_open_trailing.bend as PTreeFfiOpenTrailingimport ./proof/tree/tree_ffi_fits_exists.bend as PTreeFfiFitsExistsimport ./proof/tree/tree_ffi_example.bend as PTreeFfiExampleimport ./proof/job/base.bend as LAJobimport ./proof/job/job_output_bounded.bend as PJobOutputBoundedimport ./proof/job/job_no_silent_loss.bend as PJobNoSilentLossimport ./proof/job/job_optout_keeps_all.bend as PJobOptoutKeepsAllimport ./proof/job/job_cap_drops_only_excess.bend as PJobCapDropsOnlyExcessimport ./proof/job/job_ends_once.bend as PJobEndsOnceimport ./proof/job/job_end_is_final.bend as PJobEndIsFinalimport ./proof/job/job_kill_ends_now.bend as PJobKillEndsNowimport ./proof/job/call_blocks_at_most_budget.bend as PCallBlocksAtMostBudgetimport ./proof/job/call_settles_with_job.bend as PCallSettlesWithJobimport ./proof/job/stream_journals_two.bend as PStreamJournalsTwoimport ./proof/job/stream_settles_once.bend as PStreamSettlesOnceimport ./proof/job/stream_settle_carries_all.bend as PStreamSettleCarriesAllimport ./proof/job/rewind_stops_orphans.bend as PRewindStopsOrphansimport ./proof/job/rewind_keeps_target_jobs.bend as PRewindKeepsTargetJobsimport ./proof/job/job_feed_fits.bend as PJobFeedFitsimport ./proof/job/job_feed_no_output.bend as PJobFeedNoOutputimport ./proof/job/job_feed_ended.bend as PJobFeedEndedimport ./proof/job/job_feed_is_a_step.bend as PJobFeedIsAStepimport ./proof/job/job_feed_bounded.bend as PJobFeedBoundedimport ./proof/job/job_feed_fills.bend as PJobFeedFillsimport ./proof/job/job_entry.bend as PJobEntryimport ./proof/sandbox/base.bend as LASandboximport ./proof/sandbox/proto_one_reply_each.bend as PProtoOneReplyEachimport ./proof/sandbox/proto_runs_only_accepted.bend as PProtoRunsOnlyAcceptedimport ./proof/sandbox/proto_runs_every_accepted.bend as PProtoRunsEveryAcceptedimport ./proof/sandbox/proto_rejects_oversize.bend as PProtoRejectsOversizeimport ./proof/sandbox/cow_keeps_parent.bend as PCowKeepsParentimport ./proof/sandbox/cow_takes_child.bend as PCowTakesChildimport ./proof/sandbox/cow_conflict_reported.bend as PCowConflictReportedimport ./proof/sandbox/cow_conflict_is_real.bend as PCowConflictIsRealimport ./proof/sandbox/cow_plan.bend as PCowPlanimport ./proof/sandbox/cow_plan_is_merge.bend as PCowPlanIsMergeimport ./proof/sandbox/cow_entry.bend as PCowEntryimport ./proof/cvar/base.bend as LACvarimport ./proof/cvar/cvar_registry_unique.bend as PCvarRegistryUniqueimport ./proof/cvar/cvar_registry_typed.bend as PCvarRegistryTypedimport ./proof/cvar/cvar_value_typed.bend as PCvarValueTypedimport ./proof/cvar/cvar_inherits.bend as PCvarInheritsimport ./proof/cvar/cvar_set_wins.bend as PCvarSetWinsimport ./proof/cvar/cvar_global_uniform.bend as PCvarGlobalUniformimport ./proof/cvar/cvar_written_flagged.bend as PCvarWrittenFlaggedimport ./proof/cvar/cvar_persist_roundtrip.bend as PCvarPersistRoundtripimport ./proof/cvar/cvar_toggle_twice.bend as PCvarToggleTwiceimport ./proof/cvar/alias_expands_fully.bend as PAliasExpandsFullyimport ./proof/cvar/alias_self_cycle.bend as PAliasSelfCycleimport ./proof/cvar/alias_unknown_reported.bend as PAliasUnknownReportedimport ./proof/cvar/alias_runs_body.bend as PAliasRunsBodyimport ./proof/cvar/alias_expands_in_order.bend as PAliasExpandsInOrderimport ./proof/cvar/alias_expand_example.bend as PAliasExpandExampleimport ./proof/cvar/bind_press_plain.bend as PBindPressPlainimport ./proof/cvar/bind_unbound_runs_nothing.bend as PBindUnboundRunsNothingimport ./proof/cvar/bind_first_wins.bend as PBindFirstWinsimport ./proof/cvar/cvar_ffi_round_trip.bend as PCvarFfiRoundTripimport ./proof/cvar/cvar_ffi_is_expand.bend as PCvarFfiIsExpandimport ./proof/cvar/cvar_ffi_malformed.bend as PCvarFfiMalformedimport ./proof/cvar/cvar_ffi_open.bend as PCvarFfiOpenimport ./proof/cvar/cvar_ffi_open_malformed.bend as PCvarFfiOpenMalformedimport ./proof/cvar/cvar_ffi_press.bend as PCvarFfiPressimport ./proof/cvar/cvar_ffi_refused.bend as PCvarFfiRefusedimport ./proof/cvar/cvar_fits_example.bend as PCvarFitsExampleimport ./proof/director/base.bend as LADirectorimport ./proof/director/dir_stack_bounded.bend as PDirStackBoundedimport ./proof/director/dir_loop_stack_bounded.bend as PDirLoopStackBoundedimport ./proof/director/dir_loop_ends.bend as PDirLoopEndsimport ./proof/director/dir_end_is_final.bend as PDirEndIsFinalimport ./proof/director/dir_resume_restores.bend as PDirResumeRestoresimport ./proof/director/dir_go_empty.bend as PDirGoEmptyimport ./proof/director/dir_go_unjudged.bend as PDirGoUnjudgedimport ./proof/director/dir_go_defer.bend as PDirGoDeferimport ./proof/director/dir_go_leave.bend as PDirGoLeaveimport ./proof/director/dir_go_lead_stays.bend as PDirGoLeadStaysimport ./proof/director/dir_go_lead_leaves.bend as PDirGoLeadLeavesimport ./proof/director/dir_go_yield.bend as PDirGoYieldimport ./proof/director/dir_go_abort.bend as PDirGoAbortimport ./proof/director/dir_go_again.bend as PDirGoAgainimport ./proof/director/dir_go_again_spent.bend as PDirGoAgainSpentimport ./proof/director/dir_go_push.bend as PDirGoPushimport ./proof/director/dir_go_push_full.bend as PDirGoPushFullimport ./proof/director/dir_go_push_spent.bend as PDirGoPushSpentimport ./proof/director/dir_room.bend as PDirRoomimport ./proof/director/dir_decide_goes_on.bend as PDirDecideGoesOnimport ./proof/director/dir_tick_goes_on.bend as PDirTickGoesOnimport ./proof/director/dir_tick_out_of_steps.bend as PDirTickOutOfStepsimport ./proof/director/dir_tick_hands_back.bend as PDirTickHandsBackimport ./proof/director/dir_tick_fails.bend as PDirTickFailsimport ./proof/director/dir_lead_leaves_with_the_continuation.bend as PDirLeadLeavesWithTheContinuationimport ./proof/director/dir_lead_stays_when_the_loop_ends.bend as PDirLeadStaysWhenTheLoopEndsimport ./proof/director/dir_lead_goes_example.bend as PDirLeadGoesExampleimport ./proof/director/dir_lead_stays_example.bend as PDirLeadStaysExampleimport ./proof/director/dir_ffi_round_trip.bend as PDirFfiRoundTripimport ./proof/director/dir_ffi_is_tick.bend as PDirFfiIsTickimport ./proof/director/dir_ffi_malformed.bend as PDirFfiMalformedimport ./proof/director/dir_ffi_left_over.bend as PDirFfiLeftOverimport ./proof/director/dir_req_fits_example.bend as PDirReqFitsExampleimport ./proof/infer/base.bend as LAInferimport ./proof/infer/quirk_unknown_rejected.bend as PQuirkUnknownRejectedimport ./proof/infer/quirk_clash_rejected.bend as PQuirkClashRejectedimport ./proof/infer/quirk_unknown_when_none.bend as PQuirkUnknownWhenNoneimport ./proof/infer/quirk_known_when_some.bend as PQuirkKnownWhenSomeimport ./proof/infer/quirk_highest_wins.bend as PQuirkHighestWinsimport ./proof/infer/quirk_order_free.bend as PQuirkOrderFreeimport ./proof/infer/quirk_compile_order_free.bend as PQuirkCompileOrderFreeimport ./proof/infer/force_bounded.bend as PForceBoundedimport ./proof/infer/force_first_flag.bend as PForceFirstFlagimport ./proof/infer/force_retry_flag.bend as PForceRetryFlagimport ./proof/infer/force_reports.bend as PForceReportsimport ./proof/infer/strict_within_cap.bend as PStrictWithinCapimport ./proof/infer/strict_keeps_every_tool.bend as PStrictKeepsEveryToolimport ./proof/infer/strict_by_priority.bend as PStrictByPriorityimport ./proof/infer/strict_no_cap.bend as PStrictNoCapimport ./proof/infer/strict_cap_is_strict.bend as PStrictCapIsStrictimport ./proof/infer/plan_fits_lists_the_loose.bend as PPlanFitsListsTheLooseimport ./proof/infer/plan_never_loosens_a_needed_tool.bend as PPlanNeverLoosensANeededToolimport ./proof/infer/plan_refusal_names_a_needed_loose_tool.bend as PPlanRefusalNamesANeededLooseToolimport ./proof/infer/plan_example_over.bend as PPlanExampleOverimport ./proof/infer/plan_example_fits.bend as PPlanExampleFitsimport ./proof/infer/guard_cuts_repeats.bend as PGuardCutsRepeatsimport ./proof/infer/guard_cuts_loops.bend as PGuardCutsLoopsimport ./proof/infer/guard_keeps_others.bend as PGuardKeepsOthersimport ./proof/infer/compact_starts_early.bend as PCompactStartsEarlyimport ./proof/infer/quirk_ladder_explicit_first.bend as PQuirkLadderExplicitFirstimport ./proof/infer/quirk_ladder_rule_second.bend as PQuirkLadderRuleSecondimport ./proof/infer/quirk_ladder_default_last.bend as PQuirkLadderDefaultLastimport ./proof/infer/quirk_ladder_shipped_is_s10.bend as PQuirkLadderShippedIsS10import ./proof/infer/quirk_ladder_reasons.bend as PQuirkLadderReasonsimport ./proof/infer/core_infer_round_trip.bend as PCoreInferRoundTripimport ./proof/infer/core_infer_answers.bend as PCoreInferAnswersimport ./proof/infer/core_infer_malformed.bend as PCoreInferMalformedimport ./proof/infer/core_infer_left_over.bend as PCoreInferLeftOverimport ./proof/infer/core_infer_req_example.bend as PCoreInferReqExampleimport ./proof/infer/core_infer_reply_example.bend as PCoreInferReplyExampleimport ./proof/infer/core_infer_malformed_example.bend as PCoreInferMalformedExampleimport ./proof/infer/facts_rulebook_decides.bend as PFactsRulebookDecidesimport ./proof/infer/facts_rulebook_default.bend as PFactsRulebookDefaultimport ./proof/infer/facts_only_the_rulebook_decides.bend as PFactsOnlyTheRulebookDecidesimport ./proof/tools/base.bend as LAToolsimport ./proof/tools/roster_fixed.bend as PRosterFixedimport ./proof/tools/roster_sent_fixed.bend as PRosterSentFixedimport ./proof/tools/dyn_reaches_joined.bend as PDynReachesJoinedimport ./proof/tools/dyn_drops_quit.bend as PDynDropsQuitimport ./proof/tools/schema_has_intent.bend as PSchemaHasIntentimport ./proof/tools/schema_versioned.bend as PSchemaVersionedimport ./proof/tools/schema_keeps_params.bend as PSchemaKeepsParamsimport ./proof/tools/schema_build_idempotent.bend as PSchemaBuildIdempotentimport ./proof/tools/path_rejects_escape.bend as PPathRejectsEscapeimport ./proof/tools/path_resolves_inside.bend as PPathResolvesInsideimport ./proof/tools/tools_ffi_request_round_trip.bend as PToolsFfiRequestRoundTripimport ./proof/tools/tools_ffi_answers.bend as PToolsFfiAnswersimport ./proof/tools/tools_ffi_rejects_malformed.bend as PToolsFfiRejectsMalformedimport ./proof/tools/tools_ffi_rejects_left_over.bend as PToolsFfiRejectsLeftOverimport ./proof/tools/gate_prefix.bend as PGatePrefiximport ./proof/tools/gate_needs_yes.bend as PGateNeedsYesimport ./proof/tools/gate_deny_stops.bend as PGateDenyStopsimport ./proof/tools/gate_finish_runs_all.bend as PGateFinishRunsAllimport ./proof/tools/gate_inside_write_runs.bend as PGateInsideWriteRunsimport ./proof/tools/step_holds_every_part.bend as PStepHoldsEveryPartimport ./proof/tools/secret_needs_a_secret_path.bend as PSecretNeedsASecretPathimport ./proof/tools/secret_path_gives_secret.bend as PSecretPathGivesSecretimport ./proof/tools/auto_needs_every_effect.bend as PAutoNeedsEveryEffectimport ./proof/tools/auto_never_sensitive.bend as PAutoNeverSensitiveimport ./proof/tools/composed_needs_every_part.bend as PComposedNeedsEveryPartimport ./proof/tools/auto_runs_within.bend as PAutoRunsWithinimport ./proof/tools/held_needs_a_yes.bend as PHeldNeedsAYesimport ./proof/tools/gateway_refuses_protected.bend as PGatewayRefusesProtectedimport ./proof/tools/gateway_refuses_secret.bend as PGatewayRefusesSecretimport ./proof/tools/gateway_runs_the_rest.bend as PGatewayRunsTheRestimport ./proof/tools/default_auto_is_grantable.bend as PDefaultAutoIsGrantableimport ./proof/tools/never_auto_is_routed.bend as PNeverAutoIsRoutedimport ./proof/tools/never_auto_asks_the_client.bend as PNeverAutoAsksTheClientimport ./proof/tools/outside_runs_only_by_the_gateway.bend as POutsideRunsOnlyByTheGatewayimport ./proof/tools/guarded_refused_from_the_phone.bend as PGuardedRefusedFromThePhoneimport ./proof/screen/base.bend as LAScreenimport ./proof/screen/tx_gapless.bend as PTxGaplessimport ./proof/screen/tx_scrollback_append_only.bend as PTxScrollbackAppendOnlyimport ./proof/screen/tx_resize_keeps.bend as PTxResizeKeepsimport ./proof/screen/tx_flush_settles.bend as PTxFlushSettlesimport ./proof/screen/pace_never_ahead.bend as PPaceNeverAheadimport ./proof/screen/pace_never_back.bend as PPaceNeverBackimport ./proof/screen/pace_drains.bend as PPaceDrainsimport ./proof/screen/verify_only_checked.bend as PVerifyOnlyCheckedimport ./proof/screen/paint_first_passing_check.bend as PPaintFirstPassingCheckimport ./proof/screen/layout_inside.bend as PLayoutInsideimport ./proof/screen/layout_apart.bend as PLayoutApartimport ./proof/screen/layout_whole_when_room.bend as PLayoutWholeWhenRoomimport ./proof/screen/pace_reveal_formula.bend as PPaceRevealFormulaimport ./proof/screen/pace_lag_at_cap.bend as PPaceLagAtCapimport ./proof/screen/tx_committed_inert.bend as PTxCommittedInertimport ./proof/screen/all_comm_example.bend as PAllCommExampleimport ./proof/screen/all_comm_rejects.bend as PAllCommRejectsimport ./proof/screen/rec_length_retries_with_a_note.bend as PRecLengthRetriesWithANoteimport ./proof/screen/rec_leak_retries_with_a_note.bend as PRecLeakRetriesWithANoteimport ./proof/screen/screen_ffi_run.bend as PScreenFfiRunimport ./proof/screen/screen_ffi_pace.bend as PScreenFfiPaceimport ./proof/screen/screen_ffi_stack.bend as PScreenFfiStackimport ./proof/screen/screen_ffi_example.bend as PScreenFfiExampleimport ./proof/screen/screen_ffi_refuses_example.bend as PScreenFfiRefusesExampleimport ./proof/screen/screen_ffi_paint.bend as PScreenFfiPaintimport ./proof/screen/screen_ffi_paint_example.bend as PScreenFfiPaintExampleimport ./proof/tiny/base.bend as LATinyimport ./proof/tiny/tiny_pick_in_chain.bend as PTinyPickInChainimport ./proof/tiny/tiny_pick_first.bend as PTinyPickFirstimport ./proof/tiny/tiny_pick_unavailable.bend as PTinyPickUnavailableimport ./proof/tiny/tiny_every_need_served.bend as PTinyEveryNeedServedimport ./proof/tiny/tiny_worker_current.bend as PTinyWorkerCurrentimport ./proof/tiny/tiny_same_tag_joins.bend as PTinySameTagJoinsimport ./proof/tiny/tiny_ffi_request_round_trip.bend as PTinyFfiRequestRoundTripimport ./proof/tiny/tiny_ffi_answers.bend as PTinyFfiAnswersimport ./proof/tiny/tiny_ffi_rejects_malformed.bend as PTinyFfiRejectsMalformedimport ./proof/tiny/tiny_ffi_rejects_left_over.bend as PTinyFfiRejectsLeftOverimport ./proof/tiny/tiny_elect_spec.bend as PTinyElectSpecimport ./proof/tiny/tiny_shut_spec.bend as PTinyShutSpecimport ./proof/tiny/tiny_launched_spec.bend as PTinyLaunchedSpecimport ./proof/tiny/tiny_confirm_spec.bend as PTinyConfirmSpecimport ./proof/tiny/tiny_bind_spec.bend as PTinyBindSpecimport ./proof/tiny/tiny_elect_is_worker_model.bend as PTinyElectIsWorkerModelimport ./proof/tiny/tiny_elect_entry_answers.bend as PTinyElectEntryAnswersimport ./proof/tiny/tiny_elect_entry_reads.bend as PTinyElectEntryReadsimport ./proof/tiny/tiny_elect_entry_exact.bend as PTinyElectEntryExactimport ./proof/tiny/tiny_elect_entry_refuses.bend as PTinyElectEntryRefusesimport ./proof/tiny/tiny_elect_entry_example.bend as PTinyElectEntryExampleimport ./proof/effort/base.bend as LAEffortimport ./proof/effort/effort_offered_plain.bend as PEffortOfferedPlainimport ./proof/effort/effort_offered_null.bend as PEffortOfferedNullimport ./proof/effort/effort_offered_ext.bend as PEffortOfferedExtimport ./proof/effort/effort_offered_kept.bend as PEffortOfferedKeptimport ./proof/effort/effort_offered_asc.bend as PEffortOfferedAscimport ./proof/effort/effort_clamp_offered.bend as PEffortClampOfferedimport ./proof/effort/effort_clamp_keeps.bend as PEffortClampKeepsimport ./proof/effort/effort_clamp_idem.bend as PEffortClampIdemimport ./proof/effort/effort_cycle_still.bend as PEffortCycleStillimport ./proof/effort/effort_cycle_next.bend as PEffortCycleNextimport ./proof/effort/effort_cycle_wrap.bend as PEffortCycleWrapimport ./proof/effort/effort_cycle_prev.bend as PEffortCyclePrevimport ./proof/effort/effort_cycle_wrap_back.bend as PEffortCycleWrapBackimport ./proof/effort/effort_cycle_inverse.bend as PEffortCycleInverseimport ./proof/effort/effort_cycle_inverse_back.bend as PEffortCycleInverseBackimport ./proof/effort/effort_unset_default.bend as PEffortUnsetDefaultimport ./proof/effort/effort_settle_offered.bend as PEffortSettleOfferedimport ./proof/effort/effort_stored_is_sent.bend as PEffortStoredIsSentimport ./proof/effort/effort_shown_is_sent.bend as PEffortShownIsSentimport ./proof/effort/quirk_ladder_offered_exact.bend as PQuirkLadderOfferedExactimport ./proof/effort/quirk_ladder_plain_exact.bend as PQuirkLadderPlainExactimport ./proof/effort/quirk_ladder_model_offers.bend as PQuirkLadderModelOffersimport ./proof/effort/core_effort_round_trip.bend as PCoreEffortRoundTripimport ./proof/effort/core_effort_offered.bend as PCoreEffortOfferedimport ./proof/effort/core_effort_clamp.bend as PCoreEffortClampimport ./proof/effort/core_effort_cycle.bend as PCoreEffortCycleimport ./proof/effort/core_effort_malformed.bend as PCoreEffortMalformedimport ./proof/effort/core_effort_left_over.bend as PCoreEffortLeftOverimport ./proof/effort/core_effort_req_example.bend as PCoreEffortReqExampleimport ./proof/effort/core_effort_reply_example.bend as PCoreEffortReplyExampleimport ./proof/effort/core_effort_malformed_example.bend as PCoreEffortMalformedExampleimport ./proof/run/base.bend as LARunimport ./proof/run/run_ends.bend as PRunEndsimport ./proof/run/run_end_stays.bend as PRunEndStaysimport ./proof/run/run_abort_ends_now.bend as PRunAbortEndsNowimport ./proof/run/run_rounds_capped.bend as PRunRoundsCappedimport ./proof/run/run_rounds_fail_at_cap.bend as PRunRoundsFailAtCapimport ./proof/run/run_polls_need_defers.bend as PRunPollsNeedDefersimport ./proof/run/run_no_answer_is_an_error.bend as PRunNoAnswerIsAnErrorimport ./proof/run/run_calls_never_answer.bend as PRunCallsNeverAnswerimport ./proof/run/run_note_spends_no_retry.bend as PRunNoteSpendsNoRetryimport ./proof/run/run_retry_spends_no_note.bend as PRunRetrySpendsNoNoteimport ./proof/run/run_retry_sends_a_new_request.bend as PRunRetrySendsANewRequestimport ./proof/run/run_cut_names_the_request.bend as PRunCutNamesTheRequestimport ./proof/run/run_note_is_never_logged.bend as PRunNoteIsNeverLoggedimport ./proof/run/run_reply_is_the_rust_rule.bend as PRunReplyIsTheRustRuleimport ./proof/run/run_prepare_is_the_rust_rule.bend as PRunPrepareIsTheRustRuleimport ./proof/run/run_prepare_compacted_reads_no_threshold.bend as PRunPrepareCompactedReadsNoThresholdimport ./proof/run/run_compact_is_the_rust_rule.bend as PRunCompactIsTheRustRuleimport ./proof/run/run_round_is_the_rust_rule.bend as PRunRoundIsTheRustRuleimport ./proof/run/run_round_counts_down.bend as PRunRoundCountsDownimport ./proof/run/run_note_counts_down.bend as PRunNoteCountsDownimport ./proof/run/run_note_keeps_the_retries.bend as PRunNoteKeepsTheRetriesimport ./proof/run/run_retry_counts_down.bend as PRunRetryCountsDownimport ./proof/run/run_retry_premise_witness.bend as PRunRetryPremiseWitnessimport ./proof/run/run_retry_keeps_the_notes.bend as PRunRetryKeepsTheNotesimport ./proof/run/run_counts_lossless.bend as PRunCountsLosslessimport ./proof/run/run_counts_within_witness.bend as PRunCountsWithinWitnessimport ./proof/run/run_rounds_lossless.bend as PRunRoundsLosslessimport ./proof/run/run_rounds_within_witness.bend as PRunRoundsWithinWitnessimport ./proof/run/run_failed_poll_is_the_job_model.bend as PRunFailedPollIsTheJobModelimport ./proof/run/run_deferred_reply_is_the_job_model.bend as PRunDeferredReplyIsTheJobModelimport ./proof/run/run_first_deferred_reply_is_the_job_model.bend as PRunFirstDeferredReplyIsTheJobModelimport ./proof/run/run_reply_saturates_the_wait.bend as PRunReplySaturatesTheWaitimport ./proof/run/run_reply_saturates_the_attempt.bend as PRunReplySaturatesTheAttemptimport ./proof/run/rec_length_gives_up.bend as PRecLengthGivesUpimport ./proof/run/rec_leak_rebuilt_is_calls.bend as PRecLeakRebuiltIsCallsimport ./proof/run/rec_leak_stands.bend as PRecLeakStandsimport ./proof/run/rec_calls_run.bend as PRecCallsRunimport ./proof/run/rec_repeat_never_runs.bend as PRecRepeatNeverRunsimport ./proof/run/rec_repeat_redirects.bend as PRecRepeatRedirectsimport ./proof/run/rec_repeat_gives_up.bend as PRecRepeatGivesUpimport ./proof/run/rec_user_breaks_the_row.bend as PRecUserBreaksTheRowimport ./proof/run/rec_notes_capped.bend as PRecNotesCappedimport ./proof/run/rec_never_runs_a_repeat.bend as PRecNeverRunsARepeatimport ./proof/run/rec_stuck_gets_help.bend as PRecStuckGetsHelpimport ./proof/run/rec_redo_is_noted.bend as PRecRedoIsNotedimport ./proof/run/rec_quit_fails.bend as PRecQuitFailsimport ./proof/run/rec_recover_is_the_rust_rule.bend as PRecRecoverIsTheRustRuleimport ./proof/run/run_ffi_ask_round_trip.bend as PRunFfiAskRoundTripimport ./proof/run/run_ffi_ask_fits_witness.bend as PRunFfiAskFitsWitnessimport ./proof/run/run_ffi_answers.bend as PRunFfiAnswersimport ./proof/run/run_ffi_refuses_left_over.bend as PRunFfiRefusesLeftOverimport ./proof/run/run_ffi_left_over_witness.bend as PRunFfiLeftOverWitnessimport ./proof/run/run_ffi_refuses_malformed.bend as PRunFfiRefusesMalformedimport ./proof/run/run_ffi_malformed_witness.bend as PRunFfiMalformedWitnessimport ./proof/run/run_ffi_then_round_trip.bend as PRunFfiThenRoundTripimport ./proof/run/run_ffi_prepared_round_trip.bend as PRunFfiPreparedRoundTripimport ./proof/run/run_ffi_end_round_trip.bend as PRunFfiEndRoundTripimport ./proof/run/run_ffi_help_round_trip.bend as PRunFfiHelpRoundTripimport ./proof/run/run_ffi_reply_round_trip.bend as PRunFfiReplyRoundTripimport ./proof/run/run_ffi_answer_fits_witness.bend as PRunFfiAnswerFitsWitnessimport ./proof/semver/base.bend as LASemverimport ./proof/semver/semver_roundtrip.bend as PSemverRoundtripimport ./proof/semver/semver_le_refl.bend as PSemverLeReflimport ./proof/semver/semver_le_antisym.bend as PSemverLeAntisymimport ./proof/semver/semver_le_trans.bend as PSemverLeTransimport ./proof/semver/semver_le_total.bend as PSemverLeTotalimport ./proof/semver/semver_le_exact.bend as PSemverLeExactimport ./proof/semver/semver_next_newer.bend as PSemverNextNewerimport ./proof/semver/semver_next_not_tagged.bend as PSemverNextNotTaggedimport ./proof/semver/semver_next_tag_new.bend as PSemverNextTagNewimport ./proof/semver/semver_fresh_series.bend as PSemverFreshSeriesimport ./proof/semver/semver_other_series.bend as PSemverOtherSeriesimport ./proof/semver/semver_title.bend as PSemverTitleimport ./proof/semver/semver_tag_roundtrip.bend as PSemverTagRoundtripimport ./proof/semver/semver_release_newest.bend as PSemverReleaseNewestimport ./proof/semver/semver_release_progress.bend as PSemverReleaseProgressimport ./proof/semver/semver_release_refuses_patch_workspace.bend as PSemverReleaseRefusesPatchWorkspaceimport ./proof/semver/semver_release_refuses_unparsed_workspace.bend as PSemverReleaseRefusesUnparsedWorkspaceimport ./proof/semver/semver_parse_patch_example.bend as PSemverParsePatchExampleimport ./proof/semver/semver_parse_two_fields_example.bend as PSemverParseTwoFieldsExampleimport ./proof/semver/semver_show_decimal.bend as PSemverShowDecimalimport ./proof/semver/semver_dec_spec_example.bend as PSemverDecSpecExampleimport ./proof/semver/semver_parse_exact.bend as PSemverParseExactimport ./proof/semver/semver_in_series_exact.bend as PSemverInSeriesExactimport ./proof/semver/semver_next_exact.bend as PSemverNextExactimport ./proof/semver/semver_release_exact.bend as PSemverReleaseExactimport ./proof/semver/semver_ffi_release.bend as PSemverFfiReleaseimport ./proof/semver/semver_ffi_release_long.bend as PSemverFfiReleaseLongimport ./proof/semver/semver_ffi_series.bend as PSemverFfiSeriesimport ./proof/semver/semver_ffi_series_long.bend as PSemverFfiSeriesLongimport ./proof/semver/semver_ffi_exact.bend as PSemverFfiExactimport ./proof/semver/semver_ffi_exact_fits.bend as PSemverFfiExactFitsimport ./proof/semver/semver_ffi_release_example.bend as PSemverFfiReleaseExampleimport ./proof/semver/semver_ffi_behind_example.bend as PSemverFfiBehindExampleimport ./proof/semver/semver_ffi_why_example.bend as PSemverFfiWhyExampleimport ./proof/semver/semver_ffi_series_example.bend as PSemverFfiSeriesExampleimport ./proof/semver/semver_ffi_long_example.bend as PSemverFfiLongExampleimport ./proof/semver/semver_ffi_malformed_example.bend as PSemverFfiMalformedExampleimport ./proof/semver/replace_rank_in_range.bend as PReplaceRankInRangeimport ./proof/auth_flight/base.bend as LAAuthFlightimport ./proof/auth_flight/flight_one_fetch.bend as PFlightOneFetchimport ./proof/auth_flight/flight_board_joins.bend as PFlightBoardJoinsimport ./proof/auth_flight/flight_callers_get_its_outcome.bend as PFlightCallersGetItsOutcomeimport ./proof/auth_flight/flight_landed_serves.bend as PFlightLandedServesimport ./proof/auth_flight/flight_after_end_stored.bend as PFlightAfterEndStoredimport ./proof/auth_flight/flight_after_end_served.bend as PFlightAfterEndServedimport ./proof/auth_flight/flight_board_leads.bend as PFlightBoardLeadsimport ./proof/auth_flight/flight_terms_exact.bend as PFlightTermsExactimport ./proof/auth_flight/flight_land_ends.bend as PFlightLandEndsimport ./proof/auth_flight/flight_step_exact.bend as PFlightStepExactimport ./proof/auth_flight/flight_new_example.bend as PFlightNewExampleimport ./proof/auth_flight/flight_store_terms_exact.bend as PFlightStoreTermsExactimport ./proof/auth_flight/base/entry.bend as LAAuthFlightEntryimport ./proof/auth_flight/flight_ffi_answers.bend as PFlightFfiAnswersimport ./proof/auth_flight/flight_ffi_reads.bend as PFlightFfiReadsimport ./proof/auth_flight/flight_ffi_malformed_exact.bend as PFlightFfiMalformedExactimport ./proof/auth_flight/flight_ffi_example.bend as PFlightFfiExampleimport ./proof/auth_flight/flight_next_load_is_model.bend as PFlightNextLoadIsModelimport ./proof/auth_flight/flight_next_check_is_model.bend as PFlightNextCheckIsModelimport ./proof/auth_flight/flight_next_fetch_is_model.bend as PFlightNextFetchIsModelimport ./proof/auth_flight/flight_next_store_is_model.bend as PFlightNextStoreIsModelimport ./proof/auth_flight/flight_open_empty.bend as PFlightOpenEmptyimport ./proof/auth_flight/flight_open_refuses.bend as PFlightOpenRefusesimport ./proof/auth_flight/flight_step_answers.bend as PFlightStepAnswersimport ./proof/auth_flight/flight_step_reads.bend as PFlightStepReadsimport ./proof/auth_flight/flight_step_malformed_exact.bend as PFlightStepMalformedExactimport ./proof/auth_flight/flight_step_example.bend as PFlightStepExampleimport ./proof/theme/base.bend as LAThemeimport ./proof/theme/theme_resolve_empty.bend as PThemeResolveEmptyimport ./proof/theme/theme_resolve_first.bend as PThemeResolveFirstimport ./proof/theme/theme_resolve_missing.bend as PThemeResolveMissingimport ./proof/theme/theme_load_valid.bend as PThemeLoadValidimport ./proof/theme/theme_tokens_complete.bend as PThemeTokensCompleteimport ./proof/theme/theme_mode_background.bend as PThemeModeBackgroundimport ./proof/theme/theme_palette_name_free.bend as PThemePaletteNameFreeimport ./proof/theme/theme_mode_name_free.bend as PThemeModeNameFreeimport ./proof/theme/theme_shipped_legible.bend as PThemeShippedLegibleimport ./proof/theme/theme_shipped_status_distinct.bend as PThemeShippedStatusDistinctimport ./proof/theme/theme_chase_rule.bend as PThemeChaseRuleimport ./proof/theme/theme_chase_example.bend as PThemeChaseExampleimport ./proof/theme/theme_entry_unknown.bend as PThemeEntryUnknownimport ./proof/theme/theme_entry_color.bend as PThemeEntryColorimport ./proof/theme/theme_entry_invalid.bend as PThemeEntryInvalidimport ./proof/theme/theme_read_first_error.bend as PThemeReadFirstErrorimport ./proof/theme/theme_required_tokens.bend as PThemeRequiredTokensimport ./proof/theme/theme_read_missing.bend as PThemeReadMissingimport ./proof/theme/theme_read_page.bend as PThemeReadPageimport ./proof/theme/theme_read_card.bend as PThemeReadCardimport ./proof/theme/theme_read_info.bend as PThemeReadInfoimport ./proof/theme/theme_read_loaded.bend as PThemeReadLoadedimport ./proof/theme/theme_parse_rejected.bend as PThemeParseRejectedimport ./proof/theme/theme_parse_painted.bend as PThemeParsePaintedimport ./proof/theme/theme_palette_tokens.bend as PThemePaletteTokensimport ./proof/theme/theme_fill_required.bend as PThemeFillRequiredimport ./proof/theme/theme_fill_md.bend as PThemeFillMdimport ./proof/theme/theme_fill_refinement.bend as PThemeFillRefinementimport ./proof/theme/theme_fill_canvas.bend as PThemeFillCanvasimport ./proof/theme/theme_defaults_shipped.bend as PThemeDefaultsShippedimport ./proof/theme/theme_background_order.bend as PThemeBackgroundOrderimport ./proof/theme/theme_pick_res.bend as PThemePickResimport ./proof/theme/theme_pick_cause.bend as PThemePickCauseimport ./proof/theme/theme_pick_quiet.bend as PThemePickQuietimport ./proof/theme/theme_pick_broken.bend as PThemePickBrokenimport ./proof/theme/theme_pick_clashes.bend as PThemePickClashesimport ./proof/theme/theme_pick_example.bend as PThemePickExampleimport ./proof/theme/tui_roles_resolve.bend as PTuiRolesResolveimport ./proof/color/theme_hex_example.bend as PThemeHexExampleimport ./proof/color/theme_hex_digits.bend as PThemeHexDigitsimport ./proof/color/theme_hex_value.bend as PThemeHexValueimport ./proof/color/theme_hex_shape.bend as PThemeHexShapeimport ./proof/color/theme_num_bytes.bend as PThemeNumBytesimport ./proof/color/theme_num_bytes_128.bend as PThemeNumBytes128import ./proof/color/theme_num_example.bend as PThemeNumExampleimport ./proof/color/theme_to256_palette_16.bend as PThemeTo256Palette16import ./proof/color/theme_to256_palette_76.bend as PThemeTo256Palette76import ./proof/color/theme_to256_palette_136.bend as PThemeTo256Palette136import ./proof/color/theme_to256_palette_196.bend as PThemeTo256Palette196import ./proof/color/theme_contrast_example.bend as PThemeContrastExampleimport ./proof/tokens/tokens_paired.bend as PTokensPairedimport ./proof/tokens/tokens_legible.bend as PTokensLegibleimport ./proof/tokens/tokens_layers_ordered.bend as PTokensLayersOrderedimport ./proof/tokens/tokens_space_ascends.bend as PTokensSpaceAscendsimport ./proof/tokens/tokens_type_ascends.bend as PTokensTypeAscendsimport ./proof/tokens/tokens_ffi_blocks.bend as PTokensFfiBlocksimport ./proof/tokens/tokens_ffi_malformed_exact.bend as PTokensFfiMalformedExactimport ./proof/tokens/tokens_ffi_example.bend as PTokensFfiExampleimport ./proof/tokens/tokens_palette_tones.bend as PTokensPaletteTonesimport ./proof/tokens/tokens_ascends_exact.bend as PTokensAscendsExactimport ./proof/tokens/tokens_find_exact.bend as PTokensFindExactimport ./proof/tokens/tokens_readable_exact.bend as PTokensReadableExactimport ./proof/tokens/tokens_pairs_exact.bend as PTokensPairsExactimport ./proof/tokens/tokens_ink_opaque.bend as PTokensInkOpaqueimport ./proof/tokens/tokens_names_exact.bend as PTokensNamesExactimport ./proof/tokens/tokens_channels_in_range.bend as PTokensChannelsInRangeimport ./proof/tokens/tokens_scale_keys_distinct.bend as PTokensScaleKeysDistinctimport ./proof/tokens/tokens_scale_keys_plain.bend as PTokensScaleKeysPlainimport ./proof/tokens/tokens_alpha_visible.bend as PTokensAlphaVisibleimport ./proof/tokens/tokens_layers_in_range.bend as PTokensLayersInRangeimport ./proof/tokens/tokens_px_in_range.bend as PTokensPxInRangeimport ./proof/tokens/tokens_type_in_range.bend as PTokensTypeInRangeimport ./proof/progress/base.bend as LAProgressimport ./proof/progress/child_repeat_is_no_work.bend as PChildRepeatIsNoWorkimport ./proof/progress/child_loop_is_a_stall.bend as PChildLoopIsAStallimport ./proof/progress/child_new_work_is_progress.bend as PChildNewWorkIsProgressimport ./proof/progress/goal_stops_without_progress.bend as PGoalStopsWithoutProgressimport ./proof/progress/goal_progress_continues.bend as PGoalProgressContinuesimport ./proof/progress/goal_first_check_starts.bend as PGoalFirstCheckStartsimport ./proof/progress/goal_judge_is_check.bend as PGoalJudgeIsCheckimport ./proof/progress/goal_judge_counts_work.bend as PGoalJudgeCountsWorkimport ./proof/progress/goal_judge_held.bend as PGoalJudgeHeldimport ./proof/progress/goal_judge_top_stops.bend as PGoalJudgeTopStopsimport ./proof/progress/goal_entry.bend as PGoalEntryimport ./proof/aux_fallback/base.bend as LAAuxFallbackimport ./proof/aux_fallback/fallback_is_reported.bend as PFallbackIsReportedimport ./proof/aux_fallback/fallback_quiet_when_routed.bend as PFallbackQuietWhenRoutedimport ./proof/aux_fallback/fallback_quiet_when_unset.bend as PFallbackQuietWhenUnsetimport ./proof/aux_fallback/fallback_quiet_when_same.bend as PFallbackQuietWhenSameimport ./proof/aux_fallback/fallback_gate_then_settle.bend as PFallbackGateThenSettleimport ./proof/aux_fallback/fallback_known_needs_no_lookup.bend as PFallbackKnownNeedsNoLookupimport ./proof/aux_fallback/fallback_gate_other.bend as PFallbackGateOtherimport ./proof/aux_fallback/fallback_gate_session.bend as PFallbackGateSessionimport ./proof/aux_fallback/fallback_miss_keeps_reason.bend as PFallbackMissKeepsReasonimport ./proof/aux_fallback/fallback_window_fits.bend as PFallbackWindowFitsimport ./proof/aux_fallback/fallback_window_small.bend as PFallbackWindowSmallimport ./proof/aux_fallback/fallback_pass_events.bend as PFallbackPassEventsimport ./proof/aux_fallback/afw_ev_round_trip.bend as PAfwEvRoundTripimport ./proof/aux_fallback/afw_evs_round_trip.bend as PAfwEvsRoundTripimport ./proof/aux_fallback/afw_pass_round_trip.bend as PAfwPassRoundTripimport ./proof/aux_fallback/afw_answers_gate.bend as PAfwAnswersGateimport ./proof/aux_fallback/afw_answers_settle.bend as PAfwAnswersSettleimport ./proof/aux_fallback/afw_answers_pass.bend as PAfwAnswersPassimport ./proof/aux_fallback/afw_malformed.bend as PAfwMalformedimport ./proof/aux_fallback/afw_left_over.bend as PAfwLeftOverimport ./proof/aux_fallback/afw_key_example.bend as PAfwKeyExampleimport ./proof/aux_fallback/afw_keys_example.bend as PAfwKeysExampleimport ./proof/aux_fallback/afw_route_example.bend as PAfwRouteExampleimport ./proof/aux_fallback/afw_gate_example.bend as PAfwGateExampleimport ./proof/aux_fallback/afw_sel_example.bend as PAfwSelExampleimport ./proof/aux_fallback/afw_look_example.bend as PAfwLookExampleimport ./proof/aux_fallback/afw_ev_example.bend as PAfwEvExampleimport ./proof/aux_fallback/afw_evs_example.bend as PAfwEvsExampleimport ./proof/aux_fallback/afw_gate_req_example.bend as PAfwGateReqExampleimport ./proof/aux_fallback/afw_settle_req_example.bend as PAfwSettleReqExampleimport ./proof/aux_fallback/afw_pass_req_example.bend as PAfwPassReqExampleimport ./proof/aux_fallback/afw_pass_example.bend as PAfwPassExampleimport ./proof/aux_fallback/afw_ffi_example.bend as PAfwFfiExampleimport ./proof/aux_fallback/afw_malformed_example.bend as PAfwMalformedExampleimport ./proof/skill_load/skill_failure_reported.bend as PSkillFailureReportedimport ./proof/skill_load/skill_loaded_not_failed.bend as PSkillLoadedNotFailedimport ./proof/skill_load/base.bend as LASkillLoadimport ./proof/skill_load/skill_ffi_answers.bend as PSkillFfiAnswersimport ./proof/skill_load/skill_ffi_malformed.bend as PSkillFfiMalformedimport ./proof/skill_load/skill_ffi_example.bend as PSkillFfiExampleimport ./proof/skill_load/skill_diag_kinds.bend as PSkillDiagKindsimport ./proof/skill_load/skill_distinct_example.bend as PSkillDistinctExampleimport ./proof/skill_load/skill_ffi_malformed_exact.bend as PSkillFfiMalformedExactimport ./proof/skill_load/skill_loaded_exact.bend as PSkillLoadedExactimport ./proof/skill_load/skill_in_first_example.bend as PSkillInFirstExampleimport ./proof/skill_load/skill_in_later_example.bend as PSkillInLaterExampleimport ./proof/kernel_local/kernel_session_never_downloads.bend as PKernelSessionNeverDownloadsimport ./proof/kernel_local/kernel_download_only_on_install.bend as PKernelDownloadOnlyOnInstallimport ./proof/kernel_local/kernel_fetch_verified_before_use.bend as PKernelFetchVerifiedBeforeUseimport ./proof/kernel_local/kernel_setup_runs.bend as PKernelSetupRunsimport ./proof/kernel_local/kernel_install_fetches.bend as PKernelInstallFetchesimport ./proof/kernel_local/kernel_missing_spares_tools.bend as PKernelMissingSparesToolsimport ./proof/kernel_local/kernel_missing_names_install.bend as PKernelMissingNamesInstallimport ./proof/kernel_local/kernel_lock_attempt_leaves_none.bend as PKernelLockAttemptLeavesNoneimport ./proof/kernel_local/kernel_lock_sweep_removes_dead.bend as PKernelLockSweepRemovesDeadimport ./proof/kernel_local/kernel_lock_sweep_keeps_live.bend as PKernelLockSweepKeepsLiveimport ./proof/kernel_local/base.bend as LAKernelLocalimport ./proof/kernel_local/kernel_plan_exact.bend as PKernelPlanExactimport ./proof/kernel_local/kernel_lock_judge.bend as PKernelLockJudgeimport ./proof/kernel_local/kernel_ffi_answers.bend as PKernelFfiAnswersimport ./proof/kernel_local/kernel_ffi_malformed.bend as PKernelFfiMalformedimport ./proof/kernel_local/kernel_ffi_example.bend as PKernelFfiExampleimport ./proof/kernel_local/kernel_start_exact.bend as PKernelStartExactimport ./proof/kernel_local/kernel_answer_exact.bend as PKernelAnswerExactimport ./proof/kernel_local/kernel_ffi_malformed_exact.bend as PKernelFfiMalformedExactimport ./proof/kernel_local/kernel_terms_exact.bend as PKernelTermsExactimport ./proof/kernel_local/kernel_sweep_terms_exact.bend as PKernelSweepTermsExactimport ./proof/log/base.bend as LALogimport ./proof/log/log_reads_lines.bend as PLogReadsLinesimport ./proof/log/log_ack_durable.bend as PLogAckDurableimport ./proof/log/log_only_commits.bend as PLogOnlyCommitsimport ./proof/log/log_open_cuts_the_torn_tail.bend as PLogOpenCutsTheTornTailimport ./proof/log/log_open_keeps_the_complete_lines.bend as PLogOpenKeepsTheCompleteLinesimport ./proof/log/log_open_refuses_odd_facts.bend as PLogOpenRefusesOddFactsimport ./proof/log/log_plan_runs_the_model.bend as PLogPlanRunsTheModelimport ./proof/log/log_plan_ack_durable.bend as PLogPlanAckDurableimport ./proof/log/log_plan_only_commits.bend as PLogPlanOnlyCommitsimport ./proof/log/log_commit_plan.bend as PLogCommitPlanimport ./proof/log/log_open_plan.bend as PLogOpenPlanimport ./proof/log/log_ffi_answers_the_open.bend as PLogFfiAnswersTheOpenimport ./proof/log/log_ffi_reads_only_requests.bend as PLogFfiReadsOnlyRequestsimport ./proof/log/log_ffi_reads_only_fitting_requests.bend as PLogFfiReadsOnlyFittingRequestsimport ./proof/log/log_stepper_open.bend as PLogStepperOpenimport ./proof/log/log_stepper_open_reads_only_a_bool.bend as PLogStepperOpenReadsOnlyABoolimport ./proof/log/log_stepper_open_refused_shuts.bend as PLogStepperOpenRefusedShutsimport ./proof/log/log_stepper_commit.bend as PLogStepperCommitimport ./proof/log/log_stepper_reads_only_commits.bend as PLogStepperReadsOnlyCommitsimport ./proof/log/log_stepper_reads_only_fitting_commits.bend as PLogStepperReadsOnlyFittingCommitsimport ./proof/log/log_stepper_refusal_keeps_the_state.bend as PLogStepperRefusalKeepsTheStateimport ./proof/log/log_stepper_shut_refuses.bend as PLogStepperShutRefusesimport ./proof/log/log_fits_example.bend as PLogFitsExampleimport ./proof/log/log_ffi_example.bend as PLogFfiExampleimport ./proof/log/log_stepper_example.bend as PLogStepperExampleimport ./proof/staging/base.bend as LAStagingimport ./proof/staging/publish_never_overwrites.bend as PPublishNeverOverwritesimport ./proof/staging/publish_moves.bend as PPublishMovesimport ./proof/staging/sweep_never_live.bend as PSweepNeverLiveimport ./proof/staging/sweep_never_young.bend as PSweepNeverYoungimport ./proof/staging/sweep_stays_out.bend as PSweepStaysOutimport ./proof/staging/sweep_reaches_every_depth.bend as PSweepReachesEveryDepthimport ./proof/staging/list_one_location.bend as PListOneLocationimport ./proof/staging/list_import_lists_storage.bend as PListImportListsStorageimport ./proof/staging/list_import_keeps_others.bend as PListImportKeepsOthersimport ./proof/staging/judge_day_example.bend as PJudgeDayExampleimport ./proof/staging/judge_exact.bend as PJudgeExactimport ./proof/staging/judge_refines.bend as PJudgeRefinesimport ./proof/staging/meet_exact.bend as PMeetExactimport ./proof/staging/meet_minted_leftover.bend as PMeetMintedLeftoverimport ./proof/staging/meet_minted_orphan.bend as PMeetMintedOrphanimport ./proof/staging/meet_names_example.bend as PMeetNamesExampleimport ./proof/staging/publish_settle_refines.bend as PPublishSettleRefinesimport ./proof/staging/publish_settles.bend as PPublishSettlesimport ./proof/staging/staging_entry_answers.bend as PStagingEntryAnswersimport ./proof/staging/staging_entry_exact.bend as PStagingEntryExactimport ./proof/staging/staging_entry_example.bend as PStagingEntryExampleimport ./proof/staging/staging_entry_malformed_example.bend as PStagingEntryMalformedExampleimport ./proof/staging/sweep_never_live_real.bend as PSweepNeverLiveRealimport ./proof/staging/sweep_never_young_real.bend as PSweepNeverYoungRealimport ./proof/staging/sweep_stays_out_real.bend as PSweepStaysOutRealimport ./proof/staging/sweep_takes_stale_free_real.bend as PSweepTakesStaleFreeRealimport ./proof/listing/rows_are_entries.bend as PRowsAreEntriesimport ./proof/listing/rows_each_once.bend as PRowsEachOnceimport ./proof/listing/rows_example.bend as PRowsExampleimport ./proof/listing/rows_ignore_unread.bend as PRowsIgnoreUnreadimport ./proof/listing/rows_newest_first.bend as PRowsNewestFirstimport ./proof/listing/rows_order_strict.bend as PRowsOrderStrictimport ./proof/listing/scan_exact.bend as PScanExactimport ./proof/listing/scan_example.bend as PScanExampleimport ./proof/listing/scan_import_keeps_others.bend as PScanImportKeepsOthersimport ./proof/listing/scan_import_lists_storage.bend as PScanImportListsStorageimport ./proof/listing/scan_legacy_named.bend as PScanLegacyNamedimport ./proof/listing/scan_one_location.bend as PScanOneLocationimport ./proof/catalog_union/base.bend as LACatalogUnionimport ./proof/catalog_union/union_hides_nothing.bend as PUnionHidesNothingimport ./proof/catalog_union/union_lists_each_model_once.bend as PUnionListsEachModelOnceimport ./proof/catalog_union/union_bundled_only.bend as PUnionBundledOnlyimport ./proof/catalog_union/union_compiled_only.bend as PUnionCompiledOnlyimport ./proof/catalog_union/union_both_keeps_bundled.bend as PUnionBothKeepsBundledimport ./proof/catalog_union/union_both_fills_from_compiled.bend as PUnionBothFillsFromCompiledimport ./proof/catalog_union/union_both_other_api.bend as PUnionBothOtherApiimport ./proof/catalog_union/union_fields_example.bend as PUnionFieldsExampleimport ./proof/catalog_union/union_fast.bend as PUnionFastimport ./proof/catalog_union/union_order_free.bend as PUnionOrderFreeimport ./proof/catalog_union/catalog_union_ffi_request_round_trip.bend as PCatalogUnionFfiRequestRoundTripimport ./proof/catalog_union/catalog_union_ffi_answers.bend as PCatalogUnionFfiAnswersimport ./proof/catalog_union/catalog_union_ffi_rejects_malformed.bend as PCatalogUnionFfiRejectsMalformedimport ./proof/catalog_union/catalog_union_ffi_rejects_left_over.bend as PCatalogUnionFfiRejectsLeftOverimport ./proof/cron/base/bool.bend as LACronBoolimport ./proof/cron/base/cron.bend as LACronCronimport ./proof/cron/base/list.bend as LACronListimport ./proof/cron/base/logic.bend as LACronLogicimport ./proof/cron/base/nat.bend as LACronNatimport ./proof/cron/cron_fires_once.bend as PCronFiresOnceimport ./proof/cron/cron_once_finished_after_end.bend as PCronOnceFinishedAfterEndimport ./proof/cron/cron_never_drops.bend as PCronNeverDropsimport ./proof/cron/cron_claim_owned.bend as PCronClaimOwnedimport ./proof/cron/cron_backoff_bounded.bend as PCronBackoffBoundedimport ./proof/supervise/base.bend as LASuperviseimport ./proof/supervise/restart_gives_up.bend as PRestartGivesUpimport ./proof/supervise/restart_decide_window.bend as PRestartDecideWindowimport ./proof/supervise/restart_decide_verdict.bend as PRestartDecideVerdictimport ./proof/supervise/restart_wire_req.bend as PRestartWireReqimport ./proof/supervise/restart_wire_reply_relaunch.bend as PRestartWireReplyRelaunchimport ./proof/supervise/restart_wire_reply_give_up.bend as PRestartWireReplyGiveUpimport ./proof/supervise/restart_ffi_decides.bend as PRestartFfiDecidesimport ./proof/supervise/restart_ffi_malformed.bend as PRestartFfiMalformedimport ./proof/supervise/restart_ffi_left_over.bend as PRestartFfiLeftOverimport ./proof/supervise/timeouts_ordered.bend as PTimeoutsOrderedimport ./proof/revive/revive_after_refresh.bend as PReviveAfterRefreshimport ./proof/timeouts/base.bend as LATimeoutsimport ./proof/timeouts/timeouts_ffi_answers.bend as PTimeoutsFfiAnswersimport ./proof/timeouts/timeouts_ffi_reads.bend as PTimeoutsFfiReadsimport ./proof/timeouts/timeouts_ffi_malformed_exact.bend as PTimeoutsFfiMalformedExactimport ./proof/timeouts/timeouts_ffi_example.bend as PTimeoutsFfiExampleimport ./proof/timeouts/timeouts_values_are_model.bend as PTimeoutsValuesAreModelimport ./proof/revive/base.bend as LAReviveimport ./proof/revive/revive_ffi_answers.bend as PReviveFfiAnswersimport ./proof/revive/revive_ffi_reads.bend as PReviveFfiReadsimport ./proof/revive/revive_ffi_malformed_exact.bend as PReviveFfiMalformedExactimport ./proof/revive/revive_ffi_example.bend as PReviveFfiExampleimport ./proof/revive/revive_veto_ages_as_model.bend as PReviveVetoAgesAsModelimport ./proof/revive/revive_ffi_ages_as_model.bend as PReviveFfiAgesAsModelimport ./proof/orphan/base.bend as LAOrphanimport ./proof/orphan/orphan_never_aborts_resumable.bend as POrphanNeverAbortsResumableimport ./proof/orphan/orphan_idle_exit_due.bend as POrphanIdleExitDueimport ./proof/orphan/orphan_work_exit_due.bend as POrphanWorkExitDueimport ./proof/orphan/orphan_capped_window_never_expires.bend as POrphanCappedWindowNeverExpiresimport ./proof/orphan/orphan_exit_by_work.bend as POrphanExitByWorkimport ./proof/orphan/orphan_wire_req_window.bend as POrphanWireReqWindowimport ./proof/orphan/orphan_wire_req_no_window.bend as POrphanWireReqNoWindowimport ./proof/orphan/orphan_wire_reply.bend as POrphanWireReplyimport ./proof/orphan/orphan_ffi_decides.bend as POrphanFfiDecidesimport ./proof/orphan/orphan_ffi_malformed.bend as POrphanFfiMalformedimport ./proof/orphan/orphan_ffi_left_over.bend as POrphanFfiLeftOverimport ./proof/launcher/idle_shutdown_never_aborts.bend as PIdleShutdownNeverAbortsimport ./proof/launcher/adopt_same_build.bend as PAdoptSameBuildimport ./proof/launcher/base.bend as LALauncherimport ./proof/launcher/launcher_ffi_answers.bend as PLauncherFfiAnswersimport ./proof/launcher/launcher_ffi_malformed.bend as PLauncherFfiMalformedimport ./proof/launcher/launcher_ffi_example.bend as PLauncherFfiExampleimport ./proof/launcher/launcher_stop_counts_runs.bend as PLauncherStopCountsRunsimport ./proof/launcher/launcher_step_exact.bend as PLauncherStepExactimport ./proof/launcher/launcher_closed_gate_waits_example.bend as PLauncherClosedGateWaitsExampleimport ./proof/launcher/launcher_ffi_malformed_exact.bend as PLauncherFfiMalformedExactimport ./proof/launcher/launcher_adoption_exact.bend as PLauncherAdoptionExactimport ./proof/replace/base.bend as LAReplaceimport ./proof/replace/replace_never_downgrades.bend as PReplaceNeverDowngradesimport ./proof/replace/replacement_terminates.bend as PReplacementTerminatesimport ./proof/replace/background_never_replaces.bend as PBackgroundNeverReplacesimport ./proof/replace/replace_rank_reads_semver.bend as PReplaceRankReadsSemverimport ./proof/replace/replace_rank_example.bend as PReplaceRankExampleimport ./proof/replace/replace_rank_past_range_example.bend as PReplaceRankPastRangeExampleimport ./proof/replace/replace_relation_exact.bend as PReplaceRelationExactimport ./proof/replace/replace_verdict_exact.bend as PReplaceVerdictExactimport ./proof/replace/replace_ping_pong_example.bend as PReplacePingPongExampleimport ./proof/replace/replace_rank_cut.bend as PReplaceRankCutimport ./proof/replace/replace_ffi_relation.bend as PReplaceFfiRelationimport ./proof/replace/replace_ffi_verdict.bend as PReplaceFfiVerdictimport ./proof/replace/replace_ffi_example.bend as PReplaceFfiExampleimport ./proof/notice/base.bend as LANoticeimport ./proof/notice/notice_shown_once.bend as PNoticeShownOnceimport ./proof/notice/notice_per_restore.bend as PNoticePerRestoreimport ./proof/notice/notice_rule_history.bend as PNoticeRuleHistoryimport ./proof/notice/notice_real_shown_once.bend as PNoticeRealShownOnceimport ./proof/notice/notice_real_record_keeps.bend as PNoticeRealRecordKeepsimport ./proof/notice/notice_real_apart.bend as PNoticeRealApartimport ./proof/notice/notice_real_other_shows.bend as PNoticeRealOtherShowsimport ./proof/notice/notice_real_custom_shows.bend as PNoticeRealCustomShowsimport ./proof/notice/notice_real_refines.bend as PNoticeRealRefinesimport ./proof/notice/notice_real_once.bend as PNoticeRealOnceimport ./proof/notice/notice_real_per_restore.bend as PNoticeRealPerRestoreimport ./proof/notice/notice_once_exact.bend as PNoticeOnceExactimport ./proof/notice/notice_ffi_open.bend as PNoticeFfiOpenimport ./proof/notice/notice_ffi_open_refused.bend as PNoticeFfiOpenRefusedimport ./proof/notice/notice_ffi_shut.bend as PNoticeFfiShutimport ./proof/notice/notice_ffi_step.bend as PNoticeFfiStepimport ./proof/notice/notice_ffi_history.bend as PNoticeFfiHistoryimport ./proof/notice/notice_ffi_exact.bend as PNoticeFfiExactimport ./proof/notice/notice_ffi_malformed.bend as PNoticeFfiMalformedimport ./proof/notice/notice_ffi_fits_witness.bend as PNoticeFfiFitsWitnessimport ./proof/notice/notice_ffi_spell_example.bend as PNoticeFfiSpellExampleimport ./proof/notice/notice_ffi_wire_example.bend as PNoticeFfiWireExampleimport ./proof/notice/notice_ffi_malformed_witness.bend as PNoticeFfiMalformedWitnessimport ./proof/gateway_width/base.bend as LAGatewayWidthimport ./proof/gateway_width/table_aligned.bend as PTableAlignedimport ./proof/gateway_width/ascii_unchanged.bend as PAsciiUnchangedimport ./proof/gateway_width/layout_widths.bend as PLayoutWidthsimport ./proof/gateway_width/layout_pads.bend as PLayoutPadsimport ./proof/gateway_width/gateway_width_ffi_request_round_trip.bend as PGatewayWidthFfiRequestRoundTripimport ./proof/gateway_width/gateway_width_ffi_answers.bend as PGatewayWidthFfiAnswersimport ./proof/gateway_width/gateway_width_ffi_rejects_malformed.bend as PGatewayWidthFfiRejectsMalformedimport ./proof/gateway_width/gateway_width_ffi_rejects_left_over.bend as PGatewayWidthFfiRejectsLeftOverimport ./proof/tui_color/base.bend as LATuiColorimport ./proof/tui_color/tui_effort_ramp_length.bend as PTuiEffortRampLengthimport ./proof/tui_color/tui_effort_ramp_ordered.bend as PTuiEffortRampOrderedimport ./proof/tui_color/tui_effort_ramp_distinct.bend as PTuiEffortRampDistinctimport ./proof/tui_color/tui_effort_shipped_distinct.bend as PTuiEffortShippedDistinctimport ./proof/tui_color/tui_usage_bands_ascend.bend as PTuiUsageBandsAscendimport ./proof/tui_color/tui_usage_band_monotone.bend as PTuiUsageBandMonotoneimport ./proof/tui_color/tui_usage_band_fraction.bend as PTuiUsageBandFractionimport ./proof/tui_color/tui_usage_band_full.bend as PTuiUsageBandFullimport ./proof/tui_color/tui_roles_shipped.bend as PTuiRolesShippedimport ./proof/fsmode/base.bend as LAFsmodeimport ./proof/fsmode/socket_dir_owned.bend as PSocketDirOwnedimport ./proof/fsmode/socket_dir_progress.bend as PSocketDirProgressimport ./proof/fsmode/fsmode_ffi_answers.bend as PFsmodeFfiAnswersimport ./proof/fsmode/fsmode_ffi_malformed.bend as PFsmodeFfiMalformedimport ./proof/fsmode/fsmode_ffi_example.bend as PFsmodeFfiExampleimport ./proof/fsmode/fsmode_ffi_malformed_exact.bend as PFsmodeFfiMalformedExactimport ./proof/fsmode/fsmode_socket_dir_exact.bend as PFsmodeSocketDirExactimport ./proof/fsmode/fsmode_safe_exact.bend as PFsmodeSafeExactimport ./proof/fsmode/fsmode_modes_exact.bend as PFsmodeModesExactimport ./proof/fsmode/socket_dir_created.bend as PSocketDirCreatedimport ./proof/fsmode/socket_dir_created_used.bend as PSocketDirCreatedUsedimport ./proof/fsmode/peer_same_uid.bend as PPeerSameUidimport ./proof/fsmode/peer_own_accepted.bend as PPeerOwnAcceptedimport ./proof/fsmode/private_on_create.bend as PPrivateOnCreateimport ./proof/fsmode/cwd_is_explicit.bend as PCwdIsExplicitimport ./proof/fsmode/cwd_none_refused.bend as PCwdNoneRefusedimport ./proof/fsmode/cwd_gone_refused.bend as PCwdGoneRefusedimport ./proof/fsmode/cwd_file_refused.bend as PCwdFileRefusedimport ./proof/fsmode/cwd_dir_opens.bend as PCwdDirOpensimport ./proof/path_policy/base.bend as LAPathPolicyimport ./proof/path_policy/path_real_has_no_link.bend as PPathRealHasNoLinkimport ./proof/path_policy/path_secret_wins.bend as PPathSecretWinsimport ./proof/path_policy/path_inside_is_safe.bend as PPathInsideIsSafeimport ./proof/path_policy/path_ancestor_guarded.bend as PPathAncestorGuardedimport ./proof/path_policy/path_judge_class.bend as PPathJudgeClassimport ./proof/path_policy/path_judge_holds.bend as PPathJudgeHoldsimport ./proof/path_policy/gate_write_auto_never_secret.bend as PGateWriteAutoNeverSecretimport ./proof/path_policy/gate_secret_read_needs_yes.bend as PGateSecretReadNeedsYesimport ./proof/path_policy/gate_yes_runs.bend as PGateYesRunsimport ./proof/path_policy/secrets_need_yes.bend as PSecretsNeedYesimport ./proof/path_policy/path_policy_ffi_request_round_trip.bend as PPathPolicyFfiRequestRoundTripimport ./proof/path_policy/path_policy_ffi_answers.bend as PPathPolicyFfiAnswersimport ./proof/path_policy/path_policy_ffi_rejects_malformed.bend as PPathPolicyFfiRejectsMalformedimport ./proof/path_policy/path_policy_ffi_rejects_left_over.bend as PPathPolicyFfiRejectsLeftOverimport ./proof/child_env/base.bend as LAChildEnvimport ./proof/child_env/env_drops_credentials.bend as PEnvDropsCredentialsimport ./proof/child_env/env_kernel_keeps_only_listed.bend as PEnvKernelKeepsOnlyListedimport ./proof/child_env/env_keeps_the_rest.bend as PEnvKeepsTheRestimport ./proof/child_env/env_keeps_listed.bend as PEnvKeepsListedimport ./proof/child_env/env_child_from_merge.bend as PEnvChildFromMergeimport ./proof/child_env/env_overlay_in_merge.bend as PEnvOverlayInMergeimport ./proof/child_env/env_base_in_merge.bend as PEnvBaseInMergeimport ./proof/child_env/env_merge_named_from_overlay.bend as PEnvMergeNamedFromOverlayimport ./proof/child_env/env_merge_from_inputs.bend as PEnvMergeFromInputsimport ./proof/child_env/env_cred_example.bend as PEnvCredExampleimport ./proof/child_env/env_not_cred_example.bend as PEnvNotCredExampleimport ./proof/child_env/env_registry_example.bend as PEnvRegistryExampleimport ./proof/child_env/env_step_example.bend as PEnvStepExampleimport ./proof/child_env/env_kernel_example.bend as PEnvKernelExampleimport ./proof/child_env/env_ffi_round_trip.bend as PEnvFfiRoundTripimport ./proof/child_env/env_ffi_is_child.bend as PEnvFfiIsChildimport ./proof/child_env/env_ffi_malformed.bend as PEnvFfiMalformedimport ./proof/child_env/env_ffi_left_over.bend as PEnvFfiLeftOverimport ./proof/child_env/env_req_fits_example.bend as PEnvReqFitsExampleimport ./proof/runners/base.bend as LARunnersimport ./proof/runners/gate_covers_every_runner.bend as PGateCoversEveryRunnerimport ./proof/runners/ipython_gated_each_call.bend as PIpythonGatedEachCallimport ./proof/runners/cell_runs_only_within_or_approved.bend as PCellRunsOnlyWithinOrApprovedimport ./proof/runners/cell_within_runs_unasked.bend as PCellWithinRunsUnaskedimport ./proof/runners/cell_approved_runs.bend as PCellApprovedRunsimport ./proof/runners/cell_no_yes_stops.bend as PCellNoYesStopsimport ./proof/runners/cell_exec_asks.bend as PCellExecAsksimport ./proof/approvals/base.bend as LAApprovalsimport ./proof/approvals/child_answered_by_root.bend as PChildAnsweredByRootimport ./proof/approvals/nearest_answer_wins.bend as PNearestAnswerWinsimport ./proof/approvals/unanswered_only_when_quiet.bend as PUnansweredOnlyWhenQuietimport ./proof/approvals/quiet_is_unanswered.bend as PQuietIsUnansweredimport ./proof/approvals/gateway_never_waits.bend as PGatewayNeverWaitsimport ./proof/approvals/left_to_the_gateway.bend as PLeftToTheGatewayimport ./proof/approvals/gateway_rules_a_subagent.bend as PGatewayRulesASubagentimport ./proof/wire/base.bend as LAWireimport ./proof/wire/wire_nat_exact.bend as PWireNatExactimport ./proof/wire/wire_nat_decoded_fits.bend as PWireNatDecodedFitsimport ./proof/wire/wire_nat_too_long.bend as PWireNatTooLongimport ./proof/wire/wire_too_long_exists.bend as PWireTooLongExistsimport ./proof/wire/wire_nat_not_err.bend as PWireNatNotErrimport ./proof/wire/wire_nat_example.bend as PWireNatExampleimport ./proof/wire/wire_nat_zero_example.bend as PWireNatZeroExampleimport ./proof/wire/wire_nat_leading_zero_example.bend as PWireNatLeadingZeroExampleimport ./proof/wire/wire_nat_unterminated_example.bend as PWireNatUnterminatedExampleimport ./proof/wire/wire_digits_spells.bend as PWireDigitsSpellsimport ./proof/wire/wire_u32_round_trip.bend as PWireU32RoundTripimport ./proof/wire/wire_u32_exact.bend as PWireU32Exactimport ./proof/wire/wire_u32_example.bend as PWireU32Exampleimport ./proof/wire/wire_bool_round_trip.bend as PWireBoolRoundTripimport ./proof/wire/wire_bool_exact.bend as PWireBoolExactimport ./proof/wire/wire_bool_not_err.bend as PWireBoolNotErrimport ./proof/wire/wire_bool_example.bend as PWireBoolExampleimport ./proof/wire/wire_str_exact.bend as PWireStrExactimport ./proof/wire/wire_str_example.bend as PWireStrExampleimport ./proof/wire/wire_list_exact.bend as PWireListExactimport ./proof/wire/wire_list_example.bend as PWireListExampleimport ./proof/wire/wire_err_example.bend as PWireErrExampleimport ./proof/wire/wire_end_exact.bend as PWireEndExactimport ./proof/facts/base.bend as LAFactsimport ./proof/facts/core_facts_round_trip.bend as PCoreFactsRoundTripimport ./proof/facts/core_facts_level.bend as PCoreFactsLevelimport ./proof/facts/core_facts_room.bend as PCoreFactsRoomimport ./proof/facts/core_facts_adjust.bend as PCoreFactsAdjustimport ./proof/facts/core_facts_google.bend as PCoreFactsGoogleimport ./proof/facts/core_facts_aux.bend as PCoreFactsAuximport ./proof/facts/core_facts_malformed.bend as PCoreFactsMalformedimport ./proof/facts/core_facts_left_over.bend as PCoreFactsLeftOverimport ./proof/facts/core_facts_req_example.bend as PCoreFactsReqExampleimport ./proof/facts/core_facts_reply_example.bend as PCoreFactsReplyExampleimport ./proof/facts/core_facts_malformed_example.bend as PCoreFactsMalformedExampleimport ./proof/facts/facts_adaptive_compat_first.bend as PFactsAdaptiveCompatFirstimport ./proof/facts/facts_adaptive_rulebook_second.bend as PFactsAdaptiveRulebookSecondimport ./proof/facts/facts_google_budget_at_most_high.bend as PFactsGoogleBudgetAtMostHighimport ./proof/facts/facts_google_budget_at_least_minimal.bend as PFactsGoogleBudgetAtLeastMinimalimport ./proof/facts/facts_google_rule_is_the_table.bend as PFactsGoogleRuleIsTheTableimport ./proof/facts/facts_fit_budget_under_ceiling.bend as PFactsFitBudgetUnderCeilingimport ./proof/facts/facts_fit_ceiling_under_model.bend as PFactsFitCeilingUnderModelimport ./proof/facts/facts_room_leaves_the_answer.bend as PFactsRoomLeavesTheAnswerimport ./proof/facts/facts_aux_cap_answer_room.bend as PFactsAuxCapAnswerRoomimport ./proof/facts/facts_google_unordered_refused.bend as PFactsGoogleUnorderedRefusedimport ./proof/facts/facts_google_ordered_tokens.bend as PFactsGoogleOrderedTokensimport ./proof/facts/facts_google_budget_held.bend as PFactsGoogleBudgetHeldimport ./proof/facts/facts_google_free_user.bend as PFactsGoogleFreeUserimport ./proof/facts/facts_google_free_dynamic.bend as PFactsGoogleFreeDynamicimport ./proof/facts/facts_budget_levels.bend as PFactsBudgetLevelsimport ./proof/facts/facts_budget_user_first.bend as PFactsBudgetUserFirstimport ./proof/facts/facts_budget_default.bend as PFactsBudgetDefaultimport ./proof/facts/facts_fit_exact_caller.bend as PFactsFitExactCallerimport ./proof/facts/facts_fit_exact_model.bend as PFactsFitExactModelimport ./proof/facts/facts_fit_saturated_caller.bend as PFactsFitSaturatedCallerimport ./proof/facts/facts_fit_saturated_budget.bend as PFactsFitSaturatedBudgetimport ./proof/facts/facts_aux_cap_within.bend as PFactsAuxCapWithinimport ./proof/facts/facts_bedrock_effort_oracle.bend as PFactsBedrockEffortOracleimport ./proof/facts/facts_bedrock_budget_oracle.bend as PFactsBedrockBudgetOracleimport ./proof/facts/facts_tier_price_model_row_first.bend as PFactsTierPriceModelRowFirstimport ./proof/facts/facts_tier_price_no_row_base.bend as PFactsTierPriceNoRowBaseimport ./proof/facts/facts_tier_price_openai_oracle.bend as PFactsTierPriceOpenaiOracleimport ./proof/facts/facts_tier_price_codex_oracle.bend as PFactsTierPriceCodexOracleimport ./proof/facts/facts_cache_write_1h_own_rate.bend as PFactsCacheWrite1hOwnRateimport ./proof/facts/facts_flag_exact.bend as PFactsFlagExactimport ./proof/facts/facts_effort_exact.bend as PFactsEffortExactimport ./proof/facts/facts_price_exact.bend as PFactsPriceExactimport ./proof/facts/facts_customs_at_exact.bend as PFactsCustomsAtExactimport ./proof/facts/facts_aux_exact.bend as PFactsAuxExactimport ./proof/model_facts/base.bend as LAModelFactsimport ./proof/model_facts/model_facts_ffi_flag.bend as PModelFactsFfiFlagimport ./proof/model_facts/model_facts_ffi_adaptive.bend as PModelFactsFfiAdaptiveimport ./proof/model_facts/model_facts_ffi_effort.bend as PModelFactsFfiEffortimport ./proof/model_facts/model_facts_ffi_price.bend as PModelFactsFfiPriceimport ./proof/model_facts/model_facts_ffi_malformed_exact.bend as PModelFactsFfiMalformedExactimport ./proof/model_facts/model_facts_ffi_example.bend as PModelFactsFfiExampleimport ./proof/retry/base.bend as LARetryimport ./proof/retry/retry_never_parked.bend as PRetryNeverParkedimport ./proof/retry/retry_never_limit.bend as PRetryNeverLimitimport ./proof/retry/retry_never_client_error.bend as PRetryNeverClientErrorimport ./proof/retry/retry_only_retryable.bend as PRetryOnlyRetryableimport ./proof/retry/retry_status_first.bend as PRetryStatusFirstimport ./proof/retry/retry_kind_before_text.bend as PRetryKindBeforeTextimport ./proof/retry/retry_server_errors.bend as PRetryServerErrorsimport ./proof/retry/retry_classifier_exact.bend as PRetryClassifierExactimport ./proof/retry/retry_classifier_example.bend as PRetryClassifierExampleimport ./proof/retry/retry_after_respected.bend as PRetryAfterRespectedimport ./proof/retry/retry_refuses_past_cap.bend as PRetryRefusesPastCapimport ./proof/retry/retry_wait_plain.bend as PRetryWaitPlainimport ./proof/retry/retry_wait_uncapped.bend as PRetryWaitUncappedimport ./proof/retry/retry_wait_within_cap.bend as PRetryWaitWithinCapimport ./proof/retry/retry_wait_saturation_exact.bend as PRetryWaitSaturationExactimport ./proof/retry/retry_step_exact.bend as PRetryStepExactimport ./proof/retry/retry_step_example.bend as PRetryStepExampleimport ./proof/retry/retry_jitter_exact.bend as PRetryJitterExactimport ./proof/retry/retry_jitter_zero_step.bend as PRetryJitterZeroStepimport ./proof/retry/retry_wait_composes.bend as PRetryWaitComposesimport ./proof/retry/failover_visits_once.bend as PFailoverVisitsOnceimport ./proof/retry/failover_never_twice_in_a_row.bend as PFailoverNeverTwiceInARowimport ./proof/retry/failover_return_waits.bend as PFailoverReturnWaitsimport ./proof/retry/failover_delay_capped.bend as PFailoverDelayCappedimport ./proof/retry/failover_bounded.bend as PFailoverBoundedimport ./proof/retry/failover_exact.bend as PFailoverExactimport ./proof/retry/failover_example.bend as PFailoverExampleimport ./proof/retry/failover_budget_example.bend as PFailoverBudgetExampleimport ./proof/retry/failover_wait_saturation_exact.bend as PFailoverWaitSaturationExactimport ./proof/retry/failover_base_saturation_exact.bend as PFailoverBaseSaturationExactimport ./proof/retry/deferred_pays_once.bend as PDeferredPaysOnceimport ./proof/retry/deferred_bounded_in_time.bend as PDeferredBoundedInTimeimport ./proof/retry/deferred_failed_poll_repolls.bend as PDeferredFailedPollRepollsimport ./proof/retry/stall_retry_extends.bend as PStallRetryExtendsimport ./proof/retry/stall_retry_doubles.bend as PStallRetryDoublesimport ./proof/retry/stall_detection_bounded.bend as PStallDetectionBoundedimport ./proof/retry/stall_silent_ends_at_deadline.bend as PStallSilentEndsAtDeadlineimport ./proof/retry/retry_ffi_request_round_trip.bend as PRetryFfiRequestRoundTripimport ./proof/retry/retry_ffi_request_exact.bend as PRetryFfiRequestExactimport ./proof/retry/retry_ffi_classify.bend as PRetryFfiClassifyimport ./proof/retry/retry_ffi_wait.bend as PRetryFfiWaitimport ./proof/retry/retry_ffi_failover.bend as PRetryFfiFailoverimport ./proof/retry/retry_ffi_stall.bend as PRetryFfiStallimport ./proof/retry/retry_ffi_malformed.bend as PRetryFfiMalformedimport ./proof/retry/retry_ffi_trailing.bend as PRetryFfiTrailingimport ./proof/retry/retry_ffi_fits_exists.bend as PRetryFfiFitsExistsimport ./proof/retry/retry_ffi_example.bend as PRetryFfiExampleimport ./proof/dash/base.bend as LADashimport ./proof/dash/dash_frame_runs_only_current.bend as PDashFrameRunsOnlyCurrentimport ./proof/dash/dash_current_frame_runs.bend as PDashCurrentFrameRunsimport ./proof/dash/dash_open_pairs_only_current.bend as PDashOpenPairsOnlyCurrentimport ./proof/dash/dash_current_open_pairs.bend as PDashCurrentOpenPairsimport ./proof/dash/dash_paired_holds_token.bend as PDashPairedHoldsTokenimport ./proof/dash/dash_closed_runs_nothing.bend as PDashClosedRunsNothingimport ./proof/dash/dash_rejected_runs_nothing.bend as PDashRejectedRunsNothingimport ./proof/dash/dash_rotation_ends_connections.bend as PDashRotationEndsConnectionsimport ./proof/dash/dash_rotation_rejects_old_tokens.bend as PDashRotationRejectsOldTokensimport ./proof/dash/dash_token_spec.bend as PDashTokenSpecimport ./proof/dash/dash_stored_spec.bend as PDashStoredSpecimport ./proof/dash/dash_gate_spec.bend as PDashGateSpecimport ./proof/dash/dash_frame_spec.bend as PDashFrameSpecimport ./proof/dash/dash_keep_spec.bend as PDashKeepSpecimport ./proof/dash/dash_gate_is_model.bend as PDashGateIsModelimport ./proof/dash/dash_frame_is_model.bend as PDashFrameIsModelimport ./proof/dash/dash_token_example.bend as PDashTokenExampleimport ./proof/dash/dash_entry_answers.bend as PDashEntryAnswersimport ./proof/dash/dash_entry_reads.bend as PDashEntryReadsimport ./proof/dash/dash_entry_exact.bend as PDashEntryExactimport ./proof/dash/dash_entry_refuses.bend as PDashEntryRefusesimport ./proof/dash/dash_entry_example.bend as PDashEntryExampleimport ./proof/dash_policy/base.bend as LADashPolicyimport ./proof/dash_policy/dash_policy_spec.bend as PDashPolicySpecimport ./proof/dash_policy/dash_policy_owned_refused.bend as PDashPolicyOwnedRefusedimport ./proof/dash_policy/dash_policy_example.bend as PDashPolicyExampleimport ./proof/dash_policy/dash_policy_entry_reads.bend as PDashPolicyEntryReadsimport ./proof/dash_policy/dash_policy_entry_answers.bend as PDashPolicyEntryAnswersimport ./proof/dash_policy/dash_policy_entry_exact.bend as PDashPolicyEntryExactimport ./proof/dash_policy/dash_policy_entry_refuses.bend as PDashPolicyEntryRefusesimport ./proof/dash_policy/dash_policy_entry_example.bend as PDashPolicyEntryExampleimport ./proof/dash_access/base.bend as LADashAccessimport ./proof/dash_access/dash_access_host_spec.bend as PDashAccessHostSpecimport ./proof/dash_access/dash_access_host_long_port.bend as PDashAccessHostLongPortimport ./proof/dash_access/dash_access_origin_spec.bend as PDashAccessOriginSpecimport ./proof/dash_access/dash_access_host_01_example.bend as PDashAccessHost01Exampleimport ./proof/dash_access/dash_access_host_02_example.bend as PDashAccessHost02Exampleimport ./proof/dash_access/dash_access_host_03_example.bend as PDashAccessHost03Exampleimport ./proof/dash_access/dash_access_host_04_example.bend as PDashAccessHost04Exampleimport ./proof/dash_access/dash_access_host_05_example.bend as PDashAccessHost05Exampleimport ./proof/dash_access/dash_access_host_06_example.bend as PDashAccessHost06Exampleimport ./proof/dash_access/dash_access_host_07_example.bend as PDashAccessHost07Exampleimport ./proof/dash_access/dash_access_host_08_example.bend as PDashAccessHost08Exampleimport ./proof/dash_access/dash_access_host_09_example.bend as PDashAccessHost09Exampleimport ./proof/dash_access/dash_access_host_10_example.bend as PDashAccessHost10Exampleimport ./proof/dash_access/dash_access_host_11_example.bend as PDashAccessHost11Exampleimport ./proof/dash_access/dash_access_host_12_example.bend as PDashAccessHost12Exampleimport ./proof/dash_access/dash_access_host_13_example.bend as PDashAccessHost13Exampleimport ./proof/dash_access/dash_access_host_14_example.bend as PDashAccessHost14Exampleimport ./proof/dash_access/dash_access_host_15_example.bend as PDashAccessHost15Exampleimport ./proof/dash_access/dash_access_host_16_example.bend as PDashAccessHost16Exampleimport ./proof/dash_access/dash_access_host_17_example.bend as PDashAccessHost17Exampleimport ./proof/dash_access/dash_access_host_18_example.bend as PDashAccessHost18Exampleimport ./proof/dash_access/dash_access_host_19_example.bend as PDashAccessHost19Exampleimport ./proof/dash_access/dash_access_host_20_example.bend as PDashAccessHost20Exampleimport ./proof/dash_access/dash_access_host_21_example.bend as PDashAccessHost21Exampleimport ./proof/dash_access/dash_access_host_22_example.bend as PDashAccessHost22Exampleimport ./proof/dash_access/dash_access_host_23_example.bend as PDashAccessHost23Exampleimport ./proof/dash_access/dash_access_host_24_example.bend as PDashAccessHost24Exampleimport ./proof/dash_access/dash_access_host_25_example.bend as PDashAccessHost25Exampleimport ./proof/dash_access/dash_access_origin_example.bend as PDashAccessOriginExampleimport ./proof/dash_access/dash_access_entry_reads.bend as PDashAccessEntryReadsimport ./proof/dash_access/dash_access_entry_answers.bend as PDashAccessEntryAnswersimport ./proof/dash_access/dash_access_entry_exact.bend as PDashAccessEntryExactimport ./proof/dash_access/dash_access_entry_refuses.bend as PDashAccessEntryRefusesimport ./proof/dash_access/dash_access_entry_example.bend as PDashAccessEntryExampleimport ./proof/gateway_backoff/gateway_backoff_spec.bend as PGatewayBackoffSpecimport ./proof/gateway_backoff/gateway_backoff_bounded.bend as PGatewayBackoffBoundedimport ./proof/gateway_backoff/gateway_backoff_example.bend as PGatewayBackoffExampleimport ./proof/gateway_backoff/gateway_backoff_entry_reads.bend as PGatewayBackoffEntryReadsimport ./proof/gateway_backoff/gateway_backoff_entry_answers.bend as PGatewayBackoffEntryAnswersimport ./proof/gateway_backoff/gateway_backoff_entry_exact.bend as PGatewayBackoffEntryExactimport ./proof/gateway_backoff/gateway_backoff_entry_refuses.bend as PGatewayBackoffEntryRefusesimport ./proof/gateway_backoff/gateway_backoff_entry_example.bend as PGatewayBackoffEntryExampleimport ./proof/gateway_backoff/gateway_backoff_entry_capped.bend as PGatewayBackoffEntryCappedimport ./proof/slash_suggest/base.bend as LASlashSuggestimport ./proof/slash_suggest/slash_suggest_distance.bend as PSlashSuggestDistanceimport ./proof/slash_suggest/slash_suggest_spec.bend as PSlashSuggestSpecimport ./proof/slash_suggest/slash_suggest_example.bend as PSlashSuggestExampleimport ./proof/slash_suggest/slash_suggest_distance_example.bend as PSlashSuggestDistanceExampleimport ./proof/slash_suggest/slash_suggest_entry_answers.bend as PSlashSuggestEntryAnswersimport ./proof/slash_suggest/slash_suggest_entry_reads.bend as PSlashSuggestEntryReadsimport ./proof/slash_suggest/slash_suggest_entry_exact.bend as PSlashSuggestEntryExactimport ./proof/slash_suggest/slash_suggest_entry_refuses.bend as PSlashSuggestEntryRefusesimport ./proof/slash_suggest/slash_suggest_entry_example.bend as PSlashSuggestEntryExampleimport ./proof/gateway_commands/base.bend as LAGatewayCommandsimport ./proof/gateway_commands/gateway_commands_entry_answers.bend as PGatewayCommandsEntryAnswersimport ./proof/gateway_commands/gateway_commands_entry_exact.bend as PGatewayCommandsEntryExactimport ./proof/gateway_commands/gateway_commands_entry_example.bend as PGatewayCommandsEntryExampleimport ./proof/gateway_commands/gateway_commands_entry_reads.bend as PGatewayCommandsEntryReadsimport ./proof/gateway_commands/gateway_commands_entry_refuses.bend as PGatewayCommandsEntryRefusesimport ./proof/gateway_commands/gateway_commands_example.bend as PGatewayCommandsExampleimport ./proof/gateway_commands/gateway_commands_spec.bend as PGatewayCommandsSpecimport ./proof/gateway_answer/base.bend as LAGatewayAnswerimport ./proof/gateway_answer/gateway_answer_spec.bend as PGatewayAnswerSpecimport ./proof/gateway_answer/gateway_answer_example.bend as PGatewayAnswerExampleimport ./proof/gateway_answer/gateway_answer_entry_reads.bend as PGatewayAnswerEntryReadsimport ./proof/gateway_answer/gateway_answer_entry_answers.bend as PGatewayAnswerEntryAnswersimport ./proof/gateway_answer/gateway_answer_entry_exact.bend as PGatewayAnswerEntryExactimport ./proof/gateway_answer/gateway_answer_entry_refuses.bend as PGatewayAnswerEntryRefusesimport ./proof/gateway_answer/gateway_answer_entry_example.bend as PGatewayAnswerEntryExampleimport ./proof/doc_commit/base.bend as LADocCommitimport ./proof/doc_commit/edit_reports_what_landed.bend as PEditReportsWhatLandedimport ./proof/doc_commit/edit_all_or_nothing_on_conflict.bend as PEditAllOrNothingOnConflictimport ./proof/doc_commit/edit_lands_every_file.bend as PEditLandsEveryFileimport ./proof/doc_commit/write_never_loses_unseen.bend as PWriteNeverLosesUnseenimport ./proof/doc_commit/write_writes_seen.bend as PWriteWritesSeenimport ./proof/doc_commit/move_never_overwrites.bend as PMoveNeverOverwritesimport ./proof/doc_commit/move_moves.bend as PMoveMovesimport ./proof/doc_commit/temp_sweep_never_held.bend as PTempSweepNeverHeldimport ./proof/doc_commit/temp_sweep_only_own.bend as PTempSweepOnlyOwnimport ./proof/doc_commit/temp_sweep_removes_free.bend as PTempSweepRemovesFreeimport ./proof/doc_commit/entry/list_met.bend as PDocCommitEntryListMetimport ./proof/doc_commit/entry/list_fate.bend as PDocCommitEntryListFateimport ./proof/doc_commit/entry/list_ents.bend as PDocCommitEntryListEntsimport ./proof/doc_commit/entry/fields.bend as PDocCommitEntryFieldsimport ./proof/doc_commit/commit_check_spec.bend as PCommitCheckSpecimport ./proof/doc_commit/commit_check_is_conflict.bend as PCommitCheckIsConflictimport ./proof/doc_commit/commit_outcome_spec.bend as PCommitOutcomeSpecimport ./proof/doc_commit/commit_outcome_is_publish.bend as PCommitOutcomeIsPublishimport ./proof/doc_commit/commit_answer_spec.bend as PCommitAnswerSpecimport ./proof/doc_commit/commit_answer_is_reply.bend as PCommitAnswerIsReplyimport ./proof/doc_commit/commit_gate_spec.bend as PCommitGateSpecimport ./proof/doc_commit/commit_seen_spec.bend as PCommitSeenSpecimport ./proof/doc_commit/commit_prefix_spec.bend as PCommitPrefixSpecimport ./proof/doc_commit/commit_sweep_spec.bend as PCommitSweepSpecimport ./proof/doc_commit/commit_sweep_is_model.bend as PCommitSweepIsModelimport ./proof/doc_commit/commit_choices_example.bend as PCommitChoicesExampleimport ./proof/doc_commit/commit_entry_reads.bend as PCommitEntryReadsimport ./proof/doc_commit/commit_entry_answers.bend as PCommitEntryAnswersimport ./proof/doc_commit/commit_entry_exact.bend as PCommitEntryExactimport ./proof/doc_commit/commit_entry_refuses.bend as PCommitEntryRefusesimport ./proof/doc_commit/commit_entry_example.bend as PCommitEntryExampleimport ./proof/doc_commit/write_unseen_spec.bend as PWriteUnseenSpecimport ./proof/doc_commit/write_saw_spec.bend as PWriteSawSpecimport ./proof/doc_lines/base.bend as LADocLinesimport ./proof/doc_lines/load_persist_roundtrip.bend as PLoadPersistRoundtripimport ./proof/doc_lines/edit_keeps_untouched_bytes.bend as PEditKeepsUntouchedBytesimport ./proof/doc_lines/edit_cut_points_exact.bend as PEditCutPointsExactimport ./proof/doc_lines/lines_carry_is_first_end.bend as PLinesCarryIsFirstEndimport ./proof/doc_lines/edit_writes_new_lines.bend as PEditWritesNewLinesimport ./proof/doc_lines/grep_line_is_read_line.bend as PGrepLineIsReadLineimport ./proof/doc_lines/persist_weaves_carry.bend as PPersistWeavesCarryimport ./proof/doc_lines/persist_writes_with_carry.bend as PPersistWritesWithCarryimport ./proof/doc_lines/edit_exact.bend as PEditExactimport ./proof/doc_lines/load_holds_first_end.bend as PLoadHoldsFirstEndimport ./proof/doc_lines/persist_plan_refines.bend as PPersistPlanRefinesimport ./proof/doc_lines/persist_plan_example.bend as PPersistPlanExampleimport ./proof/doc_lines/lines_entry_refines.bend as PLinesEntryRefinesimport ./proof/doc_lines/lines_entry_rejects_example.bend as PLinesEntryRejectsExampleimport ./proof/doc_lines/lines_wire_fits_example.bend as PLinesWireFitsExampleimport ./proof/doc_lines/lines_carry_is_first.bend as PLinesCarryIsFirstimport ./proof/doc_lines/lines_write_keeps.bend as PLinesWriteKeepsimport ./proof/doc_lines/lines_entry_answers.bend as PLinesEntryAnswersimport ./proof/doc_lines/lines_entry_exact.bend as PLinesEntryExactimport ./proof/doc_lines/lines_entry_example.bend as PLinesEntryExampleimport ./proof/doc_lines/lines_req_fits_example.bend as PLinesReqFitsExampleimport ./proof/doc_rows/base.bend as LADocRowsimport ./proof/doc_rows/rows_lines_are_read_rows.bend as PRowsLinesAreReadRowsimport ./proof/doc_rows/rows_raw_lines_are_pieces.bend as PRowsRawLinesArePiecesimport ./proof/doc_rows/rows_gate_refuses.bend as PRowsGateRefusesimport ./proof/doc_rows/rows_view_shows.bend as PRowsViewShowsimport ./proof/doc_rows/rows_view_example.bend as PRowsViewExampleimport ./proof/doc_rows/rows_gap_marks_every_jump.bend as PRowsGapMarksEveryJumpimport ./proof/doc_rows/rows_gap_example.bend as PRowsGapExampleimport ./proof/doc_rows/rows_entry_answers.bend as PRowsEntryAnswersimport ./proof/doc_rows/rows_entry_exact.bend as PRowsEntryExactimport ./proof/doc_rows/rows_entry_example.bend as PRowsEntryExampleimport ./proof/doc_rows/rows_req_fits_example.bend as PRowsReqFitsExampleimport ./proof/doc_tags/tag_names_shown_text.bend as PTagNamesShownTextimport ./proof/doc_tags/base.bend as LADocTagsimport ./proof/doc_tags/grep_tag_fates_spec.bend as PGrepTagFatesSpecimport ./proof/doc_tags/tags_entry_answers.bend as PTagsEntryAnswersimport ./proof/doc_tags/tags_entry_reads.bend as PTagsEntryReadsimport ./proof/doc_tags/tags_entry_exact.bend as PTagsEntryExactimport ./proof/doc_tags/tags_entry_refuses.bend as PTagsEntryRefusesimport ./proof/doc_tags/tags_entry_example.bend as PTagsEntryExampleimport ./proof/doc_seen/base.bend as LADocSeenimport ./proof/doc_seen/edit_only_seen_lines.bend as PEditOnlySeenLinesimport ./proof/doc_seen/edit_seen_applies.bend as PEditSeenAppliesimport ./proof/doc_seen/reveal_then_retry.bend as PRevealThenRetryimport ./proof/doc_seen/edit_marks_whole_reveal.bend as PEditMarksWholeRevealimport ./proof/doc_seen/reject_names_unseen.bend as PRejectNamesUnseenimport ./proof/doc_seen/reject_shows_lines.bend as PRejectShowsLinesimport ./proof/doc_seen/reject_whole_exact.bend as PRejectWholeExactimport ./proof/doc_seen/reveal_example.bend as PRevealExampleimport ./proof/doc_seen/retry_few_witness.bend as PRetryFewWitnessimport ./proof/doc_seen/retry_applies_example.bend as PRetryAppliesExampleimport ./proof/doc_seen/retry_rejected_example.bend as PRetryRejectedExampleimport ./proof/doc_seen/seen_runs_example.bend as PSeenRunsExampleimport ./proof/doc_seen/reveal_bounds.bend as PRevealBoundsimport ./proof/doc_seen/seen_entry_refines.bend as PSeenEntryRefinesimport ./proof/doc_seen/seen_entry_rejects_example.bend as PSeenEntryRejectsExampleimport ./proof/doc_seen/seen_wire_fits_example.bend as PSeenWireFitsExampleimport ./proof/doc_search/base.bend as LADocSearchimport ./proof/doc_search/grep_accounts_every_file.bend as PGrepAccountsEveryFileimport ./proof/doc_search/grep_notes_every_gap.bend as PGrepNotesEveryGapimport ./proof/doc_search/grep_notes_every_cut.bend as PGrepNotesEveryCutimport ./proof/doc_search/continuation_progresses.bend as PContinuationProgressesimport ./proof/doc_search/continuation_contiguous.bend as PContinuationContiguousimport ./proof/doc_search/continuation_disjoint.bend as PContinuationDisjointimport ./proof/doc_search/search_calls_example.bend as PSearchCallsExampleimport ./proof/doc_search/search_walk_example.bend as PSearchWalkExampleimport ./proof/doc_search/search_refuses_example.bend as PSearchRefusesExampleimport ./proof/doc_search/page_is_window.bend as PPageIsWindowimport ./proof/doc_search/next_is_more.bend as PNextIsMoreimport ./proof/doc_search/past_is_beyond.bend as PPastIsBeyondimport ./proof/doc_search/grep_scope_pages.bend as PGrepScopePagesimport ./proof/doc_search/upto_counts.bend as PUptoCountsimport ./proof/doc_search/limit_cuts.bend as PLimitCutsimport ./proof/doc_search/fetch_reaches.bend as PFetchReachesimport ./proof/doc_search/grep_keeps_spec.bend as PGrepKeepsSpecimport ./proof/doc_search/grep_walk_spec.bend as PGrepWalkSpecimport ./proof/doc_search/limit_round_robin.bend as PLimitRoundRobinimport ./proof/doc_search/search_page_answers.bend as PSearchPageAnswersimport ./proof/doc_search/search_limit_answers.bend as PSearchLimitAnswersimport ./proof/doc_search/search_scope_answers.bend as PSearchScopeAnswersimport ./proof/doc_search/search_scope_rule.bend as PSearchScopeRuleimport ./proof/doc_search/grep_account_exact.bend as PGrepAccountExactimport ./proof/doc_search/search_list_tests_exact.bend as PSearchListTestsExactimport ./proof/doc_search/search_note_count_exact.bend as PSearchNoteCountExactimport ./proof/doc_search/search_cuts_exact.bend as PSearchCutsExactimport ./proof/doc_search/search_open_answers.bend as PSearchOpenAnswersimport ./proof/doc_search/search_ask_stops.bend as PSearchAskStopsimport ./proof/doc_search/search_ask_fetches.bend as PSearchAskFetchesimport ./proof/doc_search/search_met_answers.bend as PSearchMetAnswersimport ./proof/doc_search/search_walk_runs.bend as PSearchWalkRunsimport ./proof/doc_search/search_shut_refuses.bend as PSearchShutRefusesimport ./proof/doc_search/search_step_refuses.bend as PSearchStepRefusesimport ./proof/doc_search/search_open_refuses.bend as PSearchOpenRefusesimport ./proof/doc_search/search_ffi_refuses.bend as PSearchFfiRefusesimport ./proof/doc_glob/base/rank.bend as LADocGlobRankimport ./proof/doc_glob/base/keep.bend as LADocGlobKeepimport ./proof/doc_glob/base/state.bend as LADocGlobStateimport ./proof/doc_glob/base/steps.bend as LADocGlobStepsimport ./proof/doc_glob/glob_walk_runs.bend as PGlobWalkRunsimport ./proof/doc_glob/glob_events_answer.bend as PGlobEventsAnswerimport ./proof/doc_glob/glob_open_refuses.bend as PGlobOpenRefusesimport ./proof/doc_glob/glob_shut_refuses.bend as PGlobShutRefusesimport ./proof/doc_glob/glob_step_refuses.bend as PGlobStepRefusesimport ./proof/doc_glob/glob_walk_example.bend as PGlobWalkExampleimport ./proof/doc_glob/glob_refuses_example.bend as PGlobRefusesExampleimport ./proof/doc_glob/glob_fits_example.bend as PGlobFitsExampleimport ./proof/config/base.bend as LAConfigimport ./proof/config/rmw_refuses_broken.bend as PRmwRefusesBrokenimport ./proof/config/rmw_keeps_others.bend as PRmwKeepsOthersimport ./proof/config/rmw_applies_change.bend as PRmwAppliesChangeimport ./proof/config/settings_save_preserves.bend as PSettingsSavePreservesimport ./proof/config/leaf_applied_or_reported.bend as PLeafAppliedOrReportedimport ./proof/config/leaf_not_both.bend as PLeafNotBothimport ./proof/config/limit_malformed_fails_closed.bend as PLimitMalformedFailsClosedimport ./proof/config/limit_number_applies.bend as PLimitNumberAppliesimport ./proof/config/untrusted_changes_nothing_guarded.bend as PUntrustedChangesNothingGuardedimport ./proof/config/trusted_project_applies.bend as PTrustedProjectAppliesimport ./proof/config/project_entry_never_merges.bend as PProjectEntryNeverMergesimport ./proof/config/global_entry_kept.bend as PGlobalEntryKeptimport ./proof/default_model/base.bend as LADefaultModelimport ./proof/default_model/default_honoured_or_reported.bend as PDefaultHonouredOrReportedimport ./proof/default_model/default_quiet_when_honoured.bend as PDefaultQuietWhenHonouredimport ./proof/default_model/default_quiet_when_unset.bend as PDefaultQuietWhenUnsetimport ./proof/default_model/default_unkeyed_never_moves.bend as PDefaultUnkeyedNeverMovesimport ./proof/default_model/default_unset_runs_pick.bend as PDefaultUnsetRunsPickimport ./proof/default_model/default_unset_without_pick.bend as PDefaultUnsetWithoutPickimport ./proof/default_model/default_usable_runs.bend as PDefaultUsableRunsimport ./proof/default_model/default_uncatalogued_swaps.bend as PDefaultUncataloguedSwapsimport ./proof/default_model/default_uncatalogued_refused.bend as PDefaultUncataloguedRefusedimport ./proof/default_model/default_unkeyed_refused.bend as PDefaultUnkeyedRefusedimport ./proof/default_model/default_unscoped_swaps.bend as PDefaultUnscopedSwapsimport ./proof/default_model/default_unscoped_refused.bend as PDefaultUnscopedRefusedimport ./proof/default_model/dmw_reason_round_trip.bend as PDmwReasonRoundTripimport ./proof/default_model/dmw_pick_round_trip.bend as PDmwPickRoundTripimport ./proof/default_model/dmw_sub_round_trip.bend as PDmwSubRoundTripimport ./proof/default_model/dmw_res_round_trip.bend as PDmwResRoundTripimport ./proof/default_model/dmw_answers.bend as PDmwAnswersimport ./proof/default_model/dmw_malformed.bend as PDmwMalformedimport ./proof/default_model/dmw_left_over.bend as PDmwLeftOverimport ./proof/default_model/dmw_reason_example.bend as PDmwReasonExampleimport ./proof/default_model/dmw_saved_example.bend as PDmwSavedExampleimport ./proof/default_model/dmw_next_example.bend as PDmwNextExampleimport ./proof/default_model/dmw_in_example.bend as PDmwInExampleimport ./proof/default_model/dmw_key_example.bend as PDmwKeyExampleimport ./proof/default_model/dmw_pick_example.bend as PDmwPickExampleimport ./proof/default_model/dmw_sub_example.bend as PDmwSubExampleimport ./proof/default_model/dmw_res_example.bend as PDmwResExampleimport ./proof/default_model/dmw_ffi_example.bend as PDmwFfiExampleimport ./proof/default_model/dmw_malformed_example.bend as PDmwMalformedExampleimport ./proof/workflow/base.bend as LAWorkflowimport ./proof/workflow/wf_running_within_concurrency.bend as PWfRunningWithinConcurrencyimport ./proof/workflow/wf_spawned_within_budget.bend as PWfSpawnedWithinBudgetimport ./proof/workflow/wf_cached_key_spawns_nothing.bend as PWfCachedKeySpawnsNothingimport ./proof/workflow/wf_empty_cache_spawns_all.bend as PWfEmptyCacheSpawnsAllimport ./proof/workflow/wf_failure_spares_siblings.bend as PWfFailureSparesSiblingsimport ./proof/workflow/wf_admitted_never_respawns.bend as PWfAdmittedNeverRespawnsimport ./proof/workflow/wf_reuses_first_answer.bend as PWfReusesFirstAnswerimport ./proof/workflow/wf_spawns_within_budget.bend as PWfSpawnsWithinBudgetimport ./proof/workflow/wf_refused_when_spent.bend as PWfRefusedWhenSpentimport ./proof/workflow/wf_first_example.bend as PWfFirstExampleimport ./proof/workflow/wf_limits_uncapped.bend as PWfLimitsUncappedimport ./proof/workflow/wf_limits_capped.bend as PWfLimitsCappedimport ./proof/workflow/wfw_sts_round_trip.bend as PWfwStsRoundTripimport ./proof/workflow/wfw_admit_round_trip.bend as PWfwAdmitRoundTripimport ./proof/workflow/wfw_decision_round_trip.bend as PWfwDecisionRoundTripimport ./proof/workflow/wfw_limits_round_trip.bend as PWfwLimitsRoundTripimport ./proof/workflow/wfw_answers_admit.bend as PWfwAnswersAdmitimport ./proof/workflow/wfw_answers_limits.bend as PWfwAnswersLimitsimport ./proof/workflow/wfw_malformed.bend as PWfwMalformedimport ./proof/workflow/wfw_left_over.bend as PWfwLeftOverimport ./proof/workflow/wfw_tags_example.bend as PWfwTagsExampleimport ./proof/workflow/wfw_prior_example.bend as PWfwPriorExampleimport ./proof/workflow/wfw_row_example.bend as PWfwRowExampleimport ./proof/workflow/wfw_rows_example.bend as PWfwRowsExampleimport ./proof/workflow/wfw_pool_example.bend as PWfwPoolExampleimport ./proof/workflow/wfw_admit_req_example.bend as PWfwAdmitReqExampleimport ./proof/workflow/wfw_limits_req_example.bend as PWfwLimitsReqExampleimport ./proof/workflow/wfw_admit_example.bend as PWfwAdmitExampleimport ./proof/workflow/wfw_decision_example.bend as PWfwDecisionExampleimport ./proof/workflow/wfw_limits_example.bend as PWfwLimitsExampleimport ./proof/workflow/wfw_ffi_example.bend as PWfwFfiExampleimport ./proof/workflow/wfw_malformed_example.bend as PWfwMalformedExampleimport ./proof/command/base.bend as LACommandimport ./proof/command/command_path_runs_itself.bend as PCommandPathRunsItselfimport ./proof/command/command_unknown_runs_nothing.bend as PCommandUnknownRunsNothingimport ./proof/command/command_free_takes_rest.bend as PCommandFreeTakesRestimport ./proof/command/command_stray_is_not_a_command.bend as PCommandStrayIsNotACommandimport ./proof/command/command_memory_model_example.bend as PCommandMemoryModelExampleimport ./proof/command/command_memory_model_keys_example.bend as PCommandMemoryModelKeysExampleimport ./proof/command/command_menu_lists_children.bend as PCommandMenuListsChildrenimport ./proof/command/command_menu_names_first_word.bend as PCommandMenuNamesFirstWordimport ./proof/command/command_menu_shut_off_path.bend as PCommandMenuShutOffPathimport ./proof/command/command_tab_completes_row.bend as PCommandTabCompletesRowimport ./proof/command/command_enter_on_row.bend as PCommandEnterOnRowimport ./proof/command/command_enter_without_row.bend as PCommandEnterWithoutRowimport ./proof/command/command_tab_without_row.bend as PCommandTabWithoutRowimport ./proof/command/command_stale_row_ignored.bend as PCommandStaleRowIgnoredimport ./proof/command/command_ffi_round_trip.bend as PCommandFfiRoundTripimport ./proof/command/command_ffi_answers.bend as PCommandFfiAnswersimport ./proof/command/command_ffi_left_over.bend as PCommandFfiLeftOverimport ./proof/command/command_ffi_malformed.bend as PCommandFfiMalformedimport ./proof/command/command_ffi_res_round_trip.bend as PCommandFfiResRoundTripimport ./proof/command/command_ffi_menu_round_trip.bend as PCommandFfiMenuRoundTripimport ./proof/command/command_ffi_out_round_trip.bend as PCommandFfiOutRoundTripimport ./proof/command/command_ffi_witness.bend as PCommandFfiWitnessimport ./proof/shell/base.bend as LAShellimport ./proof/shell/shell_ffi_exact.bend as PShellFfiExactimport ./proof/shell/shell_ffi_answers.bend as PShellFfiAnswersimport ./proof/shell/shell_ffi_left_over.bend as PShellFfiLeftOverimport ./proof/shell/shell_ffi_example.bend as PShellFfiExampleimport ./proof/runners/base/entry.bend as LARunnersEntryimport ./proof/runners/runners_ffi_exact.bend as PRunnersFfiExactimport ./proof/runners/runners_ffi_answers.bend as PRunnersFfiAnswersimport ./proof/runners/runners_ffi_left_over.bend as PRunnersFfiLeftOverimport ./proof/runners/runners_ffi_example.bend as PRunnersFfiExampleimport ./proof/approvals/base/entry.bend as LAApprovalsEntryimport ./proof/approvals/approvals_ffi_exact.bend as PApprovalsFfiExactimport ./proof/approvals/approvals_ffi_answers.bend as PApprovalsFfiAnswersimport ./proof/approvals/approvals_ffi_left_over.bend as PApprovalsFfiLeftOverimport ./proof/approvals/approvals_ffi_example.bend as PApprovalsFfiExampleimport ./proof/sandbox/base/frames.bend as LASandboxFramesimport ./proof/sandbox/frames_admit_seen.bend as PFramesAdmitSeenimport ./proof/sandbox/frames_admit_oversize.bend as PFramesAdmitOversizeimport ./proof/sandbox/frames_admit_within.bend as PFramesAdmitWithinimport ./proof/sandbox/frames_admit_serves_accepted.bend as PFramesAdmitServesAcceptedimport ./proof/sandbox/frames_ffi_exact.bend as PFramesFfiExactimport ./proof/sandbox/frames_ffi_answers.bend as PFramesFfiAnswersimport ./proof/sandbox/frames_ffi_left_over.bend as PFramesFfiLeftOverimport ./proof/sandbox/frames_ffi_example.bend as PFramesFfiExampleimport ./proof/tool_surface/base.bend as LAToolSurfaceimport ./proof/tool_surface/tool_surface_ffi_exact.bend as PToolSurfaceFfiExactimport ./proof/tool_surface/tool_surface_ffi_answers.bend as PToolSurfaceFfiAnswersimport ./proof/tool_surface/tool_surface_ffi_left_over.bend as PToolSurfaceFfiLeftOverimport ./proof/tool_surface/tool_surface_ffi_example.bend as PToolSurfaceFfiExampleimport ./proof/sandbox/frames_verdict_serve_exact.bend as PFramesVerdictServeExactimport ./proof/infer_force/infer_force_flag_exact.bend as PInferForceFlagExactimport ./proof/infer_force/infer_force_after_exact.bend as PInferForceAfterExactimport ./proof/infer_force/infer_force_steps.bend as PInferForceStepsimport ./proof/infer_force/infer_force_ffi_flag.bend as PInferForceFfiFlagimport ./proof/infer_force/infer_force_ffi_after.bend as PInferForceFfiAfterimport ./proof/infer_force/infer_force_ffi_malformed_exact.bend as PInferForceFfiMalformedExactimport ./proof/infer_force/infer_force_ffi_example.bend as PInferForceFfiExampleimport ./proof/infer_guard/base.bend as LAInferGuardimport ./proof/infer_guard/infer_guard_start_exact.bend as PInferGuardStartExactimport ./proof/infer_guard/infer_guard_feed_exact.bend as PInferGuardFeedExactimport ./proof/infer_guard/infer_guard_steps.bend as PInferGuardStepsimport ./proof/infer_guard/infer_guard_ffi_open.bend as PInferGuardFfiOpenimport ./proof/infer_guard/infer_guard_ffi_open_malformed_exact.bend as PInferGuardFfiOpenMalformedExactimport ./proof/infer_guard/infer_guard_ffi_step.bend as PInferGuardFfiStepimport ./proof/infer_guard/infer_guard_ffi_step_malformed_exact.bend as PInferGuardFfiStepMalformedExactimport ./proof/infer_guard/infer_guard_ffi_ended.bend as PInferGuardFfiEndedimport ./proof/infer_guard/infer_guard_ffi_shut.bend as PInferGuardFfiShutimport ./proof/infer_guard/infer_guard_ffi_example.bend as PInferGuardFfiExampleimport ./proof/infer_threshold/base.bend as LAInferThresholdimport ./proof/infer_threshold/infer_threshold_over_exact.bend as PInferThresholdOverExactimport ./proof/infer_threshold/infer_threshold_blocks_steps.bend as PInferThresholdBlocksStepsimport ./proof/infer_threshold/infer_threshold_early_steps.bend as PInferThresholdEarlyStepsimport ./proof/infer_threshold/infer_threshold_ffi_answers.bend as PInferThresholdFfiAnswersimport ./proof/infer_threshold/infer_threshold_ffi_malformed_exact.bend as PInferThresholdFfiMalformedExactimport ./proof/infer_threshold/infer_threshold_ffi_example.bend as PInferThresholdFfiExampleimport ./proof/bound/base.bend as LABoundimport ./proof/bound/bound_entry_example.bend as PBoundEntryExampleimport ./proof/bound/bound_ffi_malformed_exact.bend as PBoundFfiMalformedExactimport ./proof/bound/bound_ffi_notice.bend as PBoundFfiNoticeimport ./proof/bound/bound_ffi_slice.bend as PBoundFfiSliceimport ./proof/bound/bound_head_full_keeps.bend as PBoundHeadFullKeepsimport ./proof/bound/bound_keep_exact.bend as PBoundKeepExactimport ./proof/bound/bound_look_exact.bend as PBoundLookExactimport ./proof/bound/bound_margin_exact.bend as PBoundMarginExactimport ./proof/bound/bound_notice_exact.bend as PBoundNoticeExactimport ./proof/bound/bound_open_answers.bend as PBoundOpenAnswersimport ./proof/bound/bound_open_refuses.bend as PBoundOpenRefusesimport ./proof/bound/bound_out_exact.bend as PBoundOutExactimport ./proof/bound/bound_shut_refuses.bend as PBoundShutRefusesimport ./proof/bound/bound_skip_exact.bend as PBoundSkipExactimport ./proof/bound/bound_slice_conserves.bend as PBoundSliceConservesimport ./proof/bound/bound_slice_exact.bend as PBoundSliceExactimport ./proof/bound/bound_step_look.bend as PBoundStepLookimport ./proof/bound/bound_step_out.bend as PBoundStepOutimport ./proof/bound/bound_step_refuses.bend as PBoundStepRefusesimport ./proof/bound/bound_step_skip.bend as PBoundStepSkipimport ./proof/bound/bound_steps_whole.bend as PBoundStepsWholeimport ./proof/bound/bound_window_exact.bend as PBoundWindowExactimport ./proof/bound/bound_window_keeps_what_fits.bend as PBoundWindowKeepsWhatFitsimport ./proof/bound/bound_window_within.bend as PBoundWindowWithinimport ./proof/selection/base.bend as LASelectionimport ./proof/selection/sel_release_copies/row.bend as LASelectionRowimport ./proof/selection/sel_release_copies.bend as PSelReleaseCopiesimport ./proof/selection/sel_copy_anchor_to_head.bend as PSelCopyAnchorToHeadimport ./proof/selection/sel_wrap_joins.bend as PSelWrapJoinsimport ./proof/selection/sel_wrap_trailing_blanks_example.bend as PSelWrapTrailingBlanksExampleimport ./proof/selection/sel_release_copies_once.bend as PSelReleaseCopiesOnceimport ./proof/selection/sel_click_copies_nothing.bend as PSelClickCopiesNothingimport ./proof/selection/sel_single_press.bend as PSelSinglePressimport ./proof/selection/sel_word_bounds.bend as PSelWordBoundsimport ./proof/selection/sel_line_bounds.bend as PSelLineBoundsimport ./proof/selection/sel_drag_moves_head.bend as PSelDragMovesHeadimport ./proof/selection/sel_scroll_past_edge.bend as PSelScrollPastEdgeimport ./proof/selection/sel_key_clears.bend as PSelKeyClearsimport ./proof/selection/sel_esc_clears.bend as PSelEscClearsimport ./proof/selection/selection_ffi_decides.bend as PSelectionFfiDecidesimport ./proof/selection/selection_ffi_open.bend as PSelectionFfiOpenimport ./proof/selection/selection_ffi_example.bend as PSelectionFfiExampleimport ./proof/selection/selection_ffi_left_over.bend as PSelectionFfiLeftOverimport ./proof/selection/selection_ffi_error_keeps_the_state.bend as PSelectionFfiErrorKeepsTheStateimport ./proof/selection/selection_ffi_reads_only_events.bend as PSelectionFfiReadsOnlyEventsimport ./proof/selection/selection_ffi_unknown_event.bend as PSelectionFfiUnknownEventimport ./proof/selection/selection_ffi_unknown_wrap.bend as PSelectionFfiUnknownWrapimport ./proof/codemode_id/base.bend as LACodemodeIdimport ./proof/codemode_id/codemode_id_exact.bend as PCodemodeIdExactimport ./proof/codemode_id/codemode_id_is_identifier.bend as PCodemodeIdIsIdentifierimport ./proof/codemode_id/codemode_id_keeps_identifiers.bend as PCodemodeIdKeepsIdentifiersimport ./proof/codemode_id/codemode_id_example.bend as PCodemodeIdExampleimport ./proof/codemode_id/codemode_id_is_exact.bend as PCodemodeIdIsExactimport ./proof/codemode_id/codemode_id_is_example.bend as PCodemodeIdIsExampleimport ./proof/codemode_id/codemode_id_ffi_answers.bend as PCodemodeIdFfiAnswersimport ./proof/codemode_id/codemode_id_ffi_is.bend as PCodemodeIdFfiIsimport ./proof/codemode_id/codemode_id_ffi_exact.bend as PCodemodeIdFfiExactimport ./proof/codemode_id/codemode_id_ffi_malformed.bend as PCodemodeIdFfiMalformedimport ./proof/codemode_id/codemode_id_ffi_left_over.bend as PCodemodeIdFfiLeftOverimport ./proof/codemode_id/codemode_id_ffi_example.bend as PCodemodeIdFfiExampleimport ./proof/submission/base.bend as LASubmissionimport ./proof/submission/submission_step_exact.bend as PSubmissionStepExactimport ./proof/submission/submission_settled_stays.bend as PSubmissionSettledStaysimport ./proof/submission/submission_moves_forward.bend as PSubmissionMovesForwardimport ./proof/submission/submission_example.bend as PSubmissionExampleimport ./proof/submission/submission_ffi_example.bend as PSubmissionFfiExampleimport ./proof/submission/submission_ffi_answers.bend as PSubmissionFfiAnswersimport ./proof/submission/submission_ffi_left_over.bend as PSubmissionFfiLeftOverimport ./proof/submission/submission_ffi_exact.bend as PSubmissionFfiExactimport ./proof/scan/base.bend as LAScanimport ./proof/scan/scan_start_exact.bend as PScanStartExactimport ./proof/scan/scan_cursor_keeps_its_order.bend as PScanCursorKeepsItsOrderimport ./proof/scan/scan_id_exact.bend as PScanIdExactimport ./proof/scan/scan_start_example.bend as PScanStartExampleimport ./proof/scan/scan_ffi_example.bend as PScanFfiExampleimport ./proof/scan/scan_ffi_answers.bend as PScanFfiAnswersimport ./proof/scan/scan_ffi_left_over.bend as PScanFfiLeftOverimport ./proof/scan/scan_ffi_exact.bend as PScanFfiExactimport ./proof/scan/scan_ffi_malformed_exact.bend as PScanFfiMalformedExactimport ./proof/scan/scan_ffi_read_example.bend as PScanFfiReadExampleimport ./proof/submission/submission_ffi_malformed_exact.bend as PSubmissionFfiMalformedExactimport ./proof/submission/submission_ffi_read_example.bend as PSubmissionFfiReadExampleimport ./proof/wire/wire_nat_decimal.bend as PWireNatDecimalimport ./proof/wire/wire_strs_example.bend as PWireStrsExampleimport ./proof/wire/base/spell.bend as LAWireSpellimport ./proof/wire/wire_strs_spells.bend as PWireStrsSpellsimport ./proof/wire/wire_nats_spells.bend as PWireNatsSpellsimport ./proof/wire/wire_strs_round_trip.bend as PWireStrsRoundTripimport ./proof/wire/wire_strs_exact.bend as PWireStrsExactimport ./proof/wire/wire_str_decoded_fits.bend as PWireStrDecodedFitsimport ./proof/wire/wire_strs_decoded_fit.bend as PWireStrsDecodedFitimport ./proof/command/command_ffi_example.bend as PCommandFfiExampleimport ./proof/command/command_spacing_example.bend as PCommandSpacingExampleimport ./proof/command/base/entry.bend as LACommandEntryimport ./proof/command/command_ffi_decides.bend as PCommandFfiDecidesimport ./proof/command/command_ffi_spelled_left_over.bend as PCommandFfiSpelledLeftOverimport ./proof/command/command_ffi_unknown_query.bend as PCommandFfiUnknownQueryimport ./proof/command/command_ffi_unknown_row.bend as PCommandFfiUnknownRowimport ./proof/command/command_ffi_unknown_press.bend as PCommandFfiUnknownPressimport ./proof/command/command_ffi_unknown_res.bend as PCommandFfiUnknownResimport ./proof/command/command_ffi_unknown_menu.bend as PCommandFfiUnknownMenuimport ./proof/command/command_ffi_res_reads_spelled.bend as PCommandFfiResReadsSpelledimport ./proof/command/command_ffi_menu_reads_spelled.bend as PCommandFfiMenuReadsSpelledimport ./proof/command/command_ffi_out_reads_spelled.bend as PCommandFfiOutReadsSpelledimport ./proof/command/command_ffi_reads_only_requests.bend as PCommandFfiReadsOnlyRequestsimport ./proof/command/command_ffi_malformed_unless_request.bend as PCommandFfiMalformedUnlessRequestimport ./proof/command/base/space.bend as LACommandSpaceimport ./proof/command/base/named.bend as LACommandNamedimport ./proof/command/command_named_example.bend as PCommandNamedExampleimport ./proof/command/command_named_dup_example.bend as PCommandNamedDupExampleimport ./proof/command/command_named_premises_witness.bend as PCommandNamedPremisesWitnessimport ./proof/command/command_named_word_resolves.bend as PCommandNamedWordResolvesimport ./proof/command/command_named_word_menu.bend as PCommandNamedWordMenuimport ./proof/command/command_named_word_ends.bend as PCommandNamedWordEndsimport ./proof/command/command_named_word_menu_any.bend as PCommandNamedWordMenuAnyimport ./proof/command/command_named_word_resolves_alike.bend as PCommandNamedWordResolvesAlikeimport ./proof/command/command_named_word_then_blank.bend as PCommandNamedWordThenBlankimport ./proof/command/command_named_word_then_child.bend as PCommandNamedWordThenChildimport ./proof/command/command_named_word_then_other.bend as PCommandNamedWordThenOtherimport ./proof/command/command_key_follows_menu.bend as PCommandKeyFollowsMenuimport ./proof/command/command_row_ignored_shut_menu.bend as PCommandRowIgnoredShutMenuimport ./proof/command/command_blank_runs_nothing.bend as PCommandBlankRunsNothingimport ./proof/command/command_space_lead.bend as PCommandSpaceLeadimport ./proof/command/command_tab_row_any_spacing.bend as PCommandTabRowAnySpacingimport ./proof/command/command_enter_row_any_spacing.bend as PCommandEnterRowAnySpacingimport ./proof/command/command_stale_row_any_spacing.bend as PCommandStaleRowAnySpacingimport ./proof/command/command_space_trailing.bend as PCommandSpaceTrailingimport ./proof/command/command_space_gap.bend as PCommandSpaceGapimport ./proof/command/command_menu_space_gap.bend as PCommandMenuSpaceGapimport ./proof/command/command_menu_space_lead.bend as PCommandMenuSpaceLeadimport ./proof/command/command_menu_space_lead_word.bend as PCommandMenuSpaceLeadWordimport ./proof/command/command_row_ignored_off_path.bend as PCommandRowIgnoredOffPathimport ./proof/command/command_premises_witness.bend as PCommandPremisesWitnessimport ./proof/command/command_ffi_premises_witness.bend as PCommandFfiPremisesWitnessimport ./proof/retry_note/base.bend as LARetryNoteimport ./proof/retry_note/retry_note_exact.bend as PRetryNoteExactimport ./proof/retry_note/retry_note_example.bend as PRetryNoteExampleimport ./proof/retry_note/retry_note_limit_example.bend as PRetryNoteLimitExampleimport ./proof/retry_note/retry_note_ffi_answers.bend as PRetryNoteFfiAnswersimport ./proof/retry_note/retry_note_ffi_left_over.bend as PRetryNoteFfiLeftOverimport ./proof/retry_note/retry_note_ffi_exact.bend as PRetryNoteFfiExactimport ./proof/retry_note/retry_note_ffi_left_over_exact.bend as PRetryNoteFfiLeftOverExactimport ./proof/retry_note/retry_note_ffi_errors.bend as PRetryNoteFfiErrorsimport ./proof/retry_note/retry_note_ffi_example.bend as PRetryNoteFfiExampleimport ./proof/doc_plan/base.bend as LADocPlanimport ./proof/doc_plan/doc_plan_content_exact.bend as PDocPlanContentExactimport ./proof/doc_plan/doc_plan_publishes_exact.bend as PDocPlanPublishesExactimport ./proof/doc_plan/doc_plan_example.bend as PDocPlanExampleimport ./proof/doc_plan/doc_plan_ffi_answers.bend as PDocPlanFfiAnswersimport ./proof/doc_plan/doc_plan_ffi_left_over.bend as PDocPlanFfiLeftOverimport ./proof/doc_plan/doc_plan_ffi_exact.bend as PDocPlanFfiExactimport ./proof/doc_plan/doc_plan_ffi_left_over_exact.bend as PDocPlanFfiLeftOverExactimport ./proof/doc_plan/doc_plan_ffi_errors.bend as PDocPlanFfiErrorsimport ./proof/doc_plan/doc_plan_ffi_example.bend as PDocPlanFfiExample