Proof KEYRUPT_UPRUPT #600 (#737)

Co-authored-by: James Harris <wopian@wopian.me>
This commit is contained in:
Chyanne Haugen 2020-10-20 08:26:58 -07:00 committed by GitHub
parent e4daadc009
commit 91c2a8d8f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -51,7 +51,7 @@ ACCEPTUP CAF CHRPRIO # (NOTE: RUPTREG4 = KEYTEMP1)
CA RUPTREG4 CA RUPTREG4
INDEX LOCCTR INDEX LOCCTR
TS MPAC # LEAVE 5 BIT KEY CODE IN MPAC FOR CHARIN TS MPAC # LEAVE 5 BIT KEY CDE IN MPAC FOR CHARIN
TC RESUME TC RESUME
# Page 1339 # Page 1339
@ -83,9 +83,9 @@ UPRPT1 CAF LOW5 # TEST FOR TRIPLE CHAR REDUNDANCY
COM COM
TC UPTEST TC UPTEST
UPCK CS ELRCODE # CODE IS GOOD. IF CODE = `ERROR RESET', UPCK CS ELRCODE # CODE IS GOOD. IF CODE = 'ERROR RESET',
AD KEYTEMP1 # CLEAR UPLOCKFL(SET BIT4 OF FLAGWRD7 = 0) AD KEYTEMP1 # CLEAR UPLOCKFL(SET BIT4 OF FLAGWRD7 = 0)
EXTEND # IF CODE DOES NOT = `ERROR RESET', ACCEPT EXTEND # IF CODE DOES NOT = 'ERROR RESET', ACCEPT
BZF CLUPLOCK # CODE ONLY IF UPLOCKFL IS CLEAR (=0). BZF CLUPLOCK # CODE ONLY IF UPLOCKFL IS CLEAR (=0).
CAF UPLOCBIT # TEST UPLOCKFL FOR 0 OR 1 CAF UPLOCBIT # TEST UPLOCKFL FOR 0 OR 1
@ -94,7 +94,7 @@ UPCK CS ELRCODE # CODE IS GOOD. IF CODE = `ERROR RESET',
TC RESUME # UPLOCKFL = 1 TC RESUME # UPLOCKFL = 1
TC ACCEPTUP # UPLOCKFL = 0 TC ACCEPTUP # UPLOCKFL = 0
CLUPLOCK CS UPLOCBIT # CLEAR UPLOCKFL (I.E., SET BIT 4 OF CLUPLOCK CS UPLOCBIT # CLEAR UPLOCKFL (I.E.,SET BIT 4 OF )
MASK FLAGWRD7 # FLAGWRD7 = 0) MASK FLAGWRD7 # FLAGWRD7 = 0)
TS FLAGWRD7 TS FLAGWRD7
TC ACCEPTUP TC ACCEPTUP
@ -102,7 +102,7 @@ CLUPLOCK CS UPLOCBIT # CLEAR UPLOCKFL (I.E., SET BIT 4 OF
# CODE IS BAD # CODE IS BAD
TMFAIL2 CS FLAGWRD7 # LOCK OUT FURTHER UPLINK ACTIVITY TMFAIL2 CS FLAGWRD7 # LOCK OUT FURTHER UPLINK ACTIVITY
MASK UPLOCBIT # (BY SETTING UPLOCKFL = 1) UNTIL MASK UPLOCBIT # (BY SETTING UPLOCKFL = 1) UNTIL
ADS FLAGWRD7 # `ERROR RESET' IS SENT VIA UPLINK. ADS FLAGWRD7 # 'ERROR RESET' IS SENT VIA UPLINK.
TC RESUME TC RESUME
UPTEST AD KEYTEMP1 UPTEST AD KEYTEMP1
# Page 1340 # Page 1340
@ -114,19 +114,17 @@ HI10 OCT 77740
ELRCODE OCT 22 ELRCODE OCT 22
# `UPLINK ACTIVITY LIGHT' IS TURNED OFF BY ..... # 'UPLINK ACTIVITY LIGHT' IS TURNED OFF BY .....
# 1. VBRELDSP # 1. VBRELDSP
# 2. ERROR RESET # 2. ERROR RESET
# 3. UPDATE PROGRAM(P27) ENTERED BY V70,V71,V72,AND V73. # 3. UPDATE PROGRAM(P27) ENTERED BY V70,V71,V72,AND V73.
# _
# THE RECEPTION OF A BAD CODE (I.E., CCC FAILURE) LOCKS OUT FURTHER UPLINK ACTIVITY BY SETTING BIT4 OF FLAGWRD7 = 1.
# THIS INDICATION WILL BE TRANSFERRED TO THE GROUND BY THE DOWNLINK WHICH DOWNLINKS ALL FLAGWORDS.
# WHEN UPLINK ACTIVITY IS LOCKED OUT, IT CAN BE ALLOWED WHEN THE GROUND UPLINKS AND `ERROR RESET' CODE.
# (IT IS RECOMMENDED THAT THE `ERROR LIGHT RESET' CODE IS PRECEEDED BY 16 BITS THE FIRST OF WHICH IS 1 FOLLOWED
# BY 15 ZEROS. THIS WILL ELIMINATE EXTRANEOUS BITS FROM INLINK WHICH MAY HAVE BEEN LEFT OVER FROM THE ORIGINAL
# FAILURE).
# #
# _
# THE RECEPTION OF A BAD CODE(I.E CCC FAILURE) LOCKS OUT FURTHER UPLINK ACTIVITY BY SETTING BIT4 OF FLAGWRD7 = 1.
# THIS INDICATION WILL BE TRANSFERRED TO THE GROUND BY THE DOWNLINK WHICH DOWNLINKS ALL FLAGWORDS.
# WHEN UPLINK ACTIVITY IS LOCKED OUT ,IT CAN BE ALLOWED WHEN THE GROUND UPLINKS AND 'ERROR RESET' CODE.
# (IT IS RECOMMENDED THAT THE 'ERROR LIGHT RESET' CODE IS PRECEEDED BY 16 BITS THE FIRST OF WHICH IS 1 FOLLOWED
# BY 15 ZEROES. THIS WILL ELIMINATE EXTRANEOUS BITS FROM INLINK WHICH MAY HAVE BEEN LEFT OVER FROM THE ORIGINAL
# FAILURE)
# UPLINK ACTIVITY IS ALSO ALLOWED(UNLOCKED) DURING FRESH START WHEN FRESH START SETS BIT4 OF FLAGWRD7 = 0. # UPLINK ACTIVITY IS ALSO ALLOWED(UNLOCKED) DURING FRESH START WHEN FRESH START SETS BIT4 OF FLAGWRD7 = 0.
CS XDSPBIT CS XDSPBIT