From 1c31c32d0c42cc970cb2ecb0888f6fc808bc3c98 Mon Sep 17 00:00:00 2001
From: Dex <eldan-dex@users.noreply.github.com>
Date: Wed, 7 Oct 2020 03:14:08 +0200
Subject: [PATCH] Proof R31 #627 (#703)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* Proof Luminary099/R31.agc

* Apply suggestions from code review

* Resolve requested changes

Co-authored-by: Matěj Havránek <havrama5@fit.cvut.cz>
Co-authored-by: James Harris <wopian@wopian.me>
---
 Luminary099/R31.agc | 31 +++++++++++++++----------------
 1 file changed, 15 insertions(+), 16 deletions(-)

diff --git a/Luminary099/R31.agc b/Luminary099/R31.agc
index 7639d80..0b7d0b6 100644
--- a/Luminary099/R31.agc
+++ b/Luminary099/R31.agc
@@ -67,12 +67,12 @@ DISPN5X		CAF	V16N54
 V83CALL		CS	FLAGWRD7	# TEST AVERAGE G FLAG
 		MASK	AVEGFBIT
 		EXTEND
-		BZF	MUNG?		# ON.  TEST MUNFLAG
+		BZF	MUNG?		# ON - TEST MUNFLAG
 
 		CS	FLAGWRD8
 		MASK	SURFFBIT
 		EXTEND
-		BZF	ONEBASE		# ON SURFACE -- BYPASS LEMPREC
+		BZF	ONEBASE		# ON SURFACE - BYPASS LEMPREC
 
 		TC	INTPRET		# EXTRAPOLATE BOTH STATE VECTORS
 		RTB
@@ -104,7 +104,7 @@ REV83		CS	FLAGWRD7
 		CS	FLAGWRD8
 		MASK	SURFFBIT
 		EXTEND
-		BZF	R31SURF		# IF ON SURFACE, USE LEMAREC
+		BZF	R31SURF		# IF ON SURFACE,USE LEMAREC
 
 		TC	INTPRET		# DO CONIC EXTRAPOLATION FOR BOTH VEHICLES
 		RTB
@@ -125,13 +125,13 @@ REV83		CS	FLAGWRD7
 		SET
 			INTYPFLG	# CONIC EXTRAP.
 		STCALL	TET
-			INTEGRVS	# INTEGRATION --- AT LAST ---
+			INTEGRVS	# INTEGRATION --- AT LAST---
 OTHCONIC	VLOAD
 # Page 705
 			RATT
 		STOVL	RONE
 			VATT
-		STCALL	VONE		# GET SET FOR CONIC EXTRAP., OTHER.
+		STCALL	VONE		# GET SET FOR CONIC EXTRAP.,OTHER.
 			INTSTALL
 		SET	DLOAD
 			INTYPFLG
@@ -160,7 +160,7 @@ COMPDISP	VLOAD	VSU
 			0,1
 		STOVL	RANGE		# SCALED 2(29)M
 			VATT
-		VSU	DOT		# (VCM-VLM).UNIT(LOS), PD=0
+		VSU	DOT		# (VCM- VLM).UNIT(LOS). PD=0
 			VONE
 		SL1			# SCALED 2(7)M/CS
 		STOVL	RRATE
@@ -169,9 +169,9 @@ COMPDISP	VLOAD	VSU
 			UNITZ
 		CALL
 			CDU*NBSM
-		VXM	PUSH		# UNIT(Z)/4 TO PD 6-11
+		VXM	PUSH		# UNIT (Z)/4 TO PD 6-11
 			REFSMMAT
-		VPROJ	VSL2		# UNIT(P)=UNIT(UZ-(UZ)PROJ(UR))
+		VPROJ	VSL2		# UNIT(P)=UNIT(UZ -(UZ)PROJ(UR))
 			0D
 		BVSU	UNIT
 			6D
@@ -179,10 +179,10 @@ COMPDISP	VLOAD	VSU
 			0D		# UNIT(RL)
 			VONE
 # Page 706
-		VXV	DOT		# (UR * VL) * UR . U(P)
+		VXV	DOT		# (UR * VL)*UR . U(P)
 			0D
 			12D
-		PDVL			# SIGN TO 12-13, LOAD U(P)
+		PDVL			# SIGN TO 12-13 , LOAD U(P)
 		DOT	SIGN
 			6D
 			12D
@@ -190,7 +190,7 @@ COMPDISP	VLOAD	VSU
 		STOVL	RTHETA
 			0D
 		DOT	BPL		# IF UR.UZ NEG,
-			6D		#	RTHETA = 1 - RTHETA
+			6D		#   RTHETA = 1 - RTHETA
 			+5
 		DLOAD	DSU
 			DPPOSMAX
@@ -201,7 +201,7 @@ COMPDISP	VLOAD	VSU
 		CA	BIT5
 		MASK	EXTVBACT
 		EXTEND			# IF ANSWERED,
-		BZF	ENDEXT		#	TERMINATE
+		BZF	ENDEXT		#	 TERMINATE
 
 		CS	EXTVBACT
 		MASK	BIT12
@@ -212,12 +212,12 @@ GETRVN		CA	PRIO22		# INHIBIT SERVICER
 		TC	PRIOCHNG
 		TC	INTPRET
 		VLOAD	SETPD
-			RN		# LM STATE VECTOR IN RN,VN.
+			RN		# LM STATE VECTOR IN RN,VN
 			0
 		STOVL	RONE
 			VN
 		STOVL	VONE		# LOAD R(CSM),V(CSM) IN CASE MUNFLAG SET
-			V(CSM)		# (TO INSURE TIME COMPATIBILITY)
+			V(CSM)		# (TO INSURE TIME COMPATABILITY)
 		PDVL	PDDL
 			R(CSM)
 			PIPTIME
@@ -246,7 +246,7 @@ GETRVN2		CALL
 			OTHINT
 R31SURF		TC	INTPRET
 		RTB			# LM IS ON SURFACE, SO PRECISION
-			LOADTIME	# INTEGRATION USED PLANETARY INERTIAL
+			LOADTIME	# INTEGRATION USES PLANETARY INERTIAL
 		STCALL	TDEC1		# ORIENTATION SUBROUTINE
 			LEMPREC
 		GOTO			# DO CSM CONIC
@@ -264,4 +264,3 @@ ONEBASE		TC	INTPRET		# GET CSM BASE VECTOR
 V16N54		VN	1654
 
 # Page 708 (empty page)
-