CoolFace
Datasetpublic

hschumann2/TempleOS-Source-Code

sourceHugging Faceupdated 1y agoView on Hugging Face
0likes838downloads
TOSExt.txt306 linesDownload Raw Back to TOS
1 2#help_index "Misc/TOS/God;God/TOS"3 4#define NIST_TIME_OFFSET        (tos_nist_offset-local_time_offset/CDATE_FREQ)5#define NIST_TIME_TO_SWITCH     36 7#define GSRC_NIST_BEACON        08#define GSRC_HOTBITS            19#define GSRC_ANU_NIST           210#define GSRC_GOOGLE             311#define GSRC_RANDOM_ORG         412#define GSRC_RANDOM_NUMBERS_INFO 513#define GSRC_PASSWORD           614#define GSRC_GENERATE_DATA      715#define GSRC_VIRTUAL_NOTARY     816#define GSRC_TIMER              917 18#define GBP_SHORT       019#define GBP_MEDIUM      120#define GBP_LONG        221 22class CRandExtDec5Form23{24  I64   timestamp;25  U8    rnd0[512]       format "$DA-P,A=\"5 Decimal Digits from Hex:%s\"$\n";26  U8    rnd1[512];27  U8    rnd2[512];28  U8    rnd3[512];29  U8    rnd4[512];30  U8    rnd5[512];31  U8    rnd6[512];32  U8    rnd7[512];33  U8    rnd8[512];34  U8    rnd9[512];35  U8    rndA[512];36  U8    rndB[512];37  I64   cert;38};39 40class CHexWordForm41{42  I64   timestamp;43  U8    rnd0[512]       format "$DA-P,A=\"Hex Word Indices#0:%s\"$\n";44  U8    rnd1[512]       format "$DA-P,A=\"Hex Word Indices#1:%s\"$\n";45  U8    rnd2[512]       format "$DA-P,A=\"Hex Word Indices#2:%s\"$\n";46  U8    rnd3[512]       format "$DA-P,A=\"Hex Word Indices#3:%s\"$\n";47  U8    rnd4[512]       format "$DA-P,A=\"Hex Word Indices#4:%s\"$\n";48  U8    rnd5[512]       format "$DA-P,A=\"Hex Word Indices#5:%s\"$\n";49  U8    rnd6[512]       format "$DA-P,A=\"Hex Word Indices#6:%s\"$\n";50  U8    rnd7[512]       format "$DA-P,A=\"Hex Word Indices#7:%s\"$\n";51  U8    rnd8[512]       format "$DA-P,A=\"Hex Word Indices#8:%s\"$\n";52  U8    rnd9[512]       format "$DA-P,A=\"Hex Word Indices#9:%s\"$\n";53  U8    rndA[512]       format "$DA-P,A=\"Hex Word Indices#A:%s\"$\n";54  U8    rndB[512]       format "$DA-P,A=\"Hex Word Indices#B:%s\"$\n";55  I64   cert;56};57 58class CNISTBeaconHexWordForm59{60  I64   timestamp       format "$DA,A=\"TimeStamp:%d\"$\n";61  U8    rnd0[512]       format "$DA-P,A=\"Hex Word Indices#0:%s\"$\n";62  U8    rnd1[512]       format "$DA-P,A=\"Hex Word Indices#1:%s\"$\n";63  U8    rnd2[512]       format "$DA-P,A=\"Hex Word Indices#2:%s\"$\n";64  U8    rnd3[512]       format "$DA-P,A=\"Hex Word Indices#3:%s\"$\n";65  U8    rnd4[512]       format "$DA-P,A=\"Hex Word Indices#4:%s\"$\n";66  U8    rnd5[512]       format "$DA-P,A=\"Hex Word Indices#5:%s\"$\n";67  U8    rnd6[512]       format "$DA-P,A=\"Hex Word Indices#6:%s\"$\n";68  U8    rnd7[512]       format "$DA-P,A=\"Hex Word Indices#7:%s\"$\n";69  U8    rnd8[512]       format "$DA-P,A=\"Hex Word Indices#8:%s\"$\n";70  U8    rnd9[512]       format "$DA-P,A=\"Hex Word Indices#9:%s\"$\n";71  U8    rndA[512]       format "$DA-P,A=\"Hex Word Indices#A:%s\"$\n";72  U8    rndB[512]       format "$DA-P,A=\"Hex Word Indices#B:%s\"$\n";73  I64   cert;74};75 76class CRandHex5Form77{78  I64   timestamp;79  U8    rnd0[512]       format "$DA-P-TRM,LEN=5,"80        "A=\"Line (5-Digit Hex):%5s\"$\n";81  U8    rnd1[512];82  U8    rnd2[512];83  U8    rnd3[512];84  U8    rnd4[512];85  U8    rnd5[512];86  U8    rnd6[512];87  U8    rnd7[512];88  U8    rnd8[512];89  U8    rnd9[512];90  U8    rndA[512];91  U8    rndB[512];92  I64   cert;93};94 95class CRandHex8Form96{97  I64   timestamp;98  U8    rnd0[512]       format "$DA-P-TRM,LEN=8,"99        "A=\"Line (8-Digit Hex):%8s\"$\n";100  U8    rnd1[512];101  U8    rnd2[512];102  U8    rnd3[512];103  U8    rnd4[512];104  U8    rnd5[512];105  U8    rnd6[512];106  U8    rnd7[512];107  U8    rnd8[512];108  U8    rnd9[512];109  U8    rndA[512];110  U8    rndB[512];111  I64   cert;112};113 114class CMoviesForm115{116  I64   timestamp;117  U8    rnd0[512]       format "$DA-P,"118        "A=\"Movie #1-100 (2 Decimal Digits from Hex):%s\"$\n";119  U8    rnd1[512];120  U8    rnd2[512];121  U8    rnd3[512];122  U8    rnd4[512];123  U8    rnd5[512];124  U8    rnd6[512];125  U8    rnd7[512];126  U8    rnd8[512];127  U8    rnd9[512];128  U8    rndA[512];129  U8    rndB[512];130  I64   cert;131};132 133class CPaintings100Form134{135  I64   timestamp;136  U8    rnd0[512]       format "$DA-P,"137        "A=\"Painting #00-99 (2 Decimal Digits from Hex):%s\"$\n";138  U8    rnd1[512];139  U8    rnd2[512];140  U8    rnd3[512];141  U8    rnd4[512];142  U8    rnd5[512];143  U8    rnd6[512];144  U8    rnd7[512];145  U8    rnd8[512];146  U8    rnd9[512];147  U8    rndA[512];148  U8    rndB[512];149  I64   cert;150};151 152class CPaintings1000Form153{154  I64   timestamp;155  U8    rnd0[512]       format "$DA-P,"156        "A=\"Painting #000-999 (3 Decimal Digits from Hex):%s\"$\n";157  U8    rnd1[512];158  U8    rnd2[512];159  U8    rnd3[512];160  U8    rnd4[512];161  U8    rnd5[512];162  U8    rnd6[512];163  U8    rnd7[512];164  U8    rnd8[512];165  U8    rnd9[512];166  U8    rndA[512];167  U8    rndB[512];168  I64   cert;169};170 171class CPoems100Form172{173  I64   timestamp;174  U8    rnd0[512]       format "$DA-P,"175        "A=\"Poems #00-99 (2 Decimal Digits from Hex):%s\"$\n";176  U8    rnd1[512];177  U8    rnd2[512];178  U8    rnd3[512];179  U8    rnd4[512];180  U8    rnd5[512];181  U8    rnd6[512];182  U8    rnd7[512];183  U8    rnd8[512];184  U8    rnd9[512];185  U8    rndA[512];186  U8    rndB[512];187  I64   cert;188};189 190class CMetallicaForm191{192  I64   timestamp;193  U8    rnd0[512]       format "$DA-P,"194        "A=\"Song #1-99 (2 Decimal Digits from Hex):%s\"$\n";195  U8    rnd1[512];196  U8    rnd2[512];197  U8    rnd3[512];198  U8    rnd4[512];199  U8    rnd5[512];200  U8    rnd6[512];201  U8    rnd7[512];202  U8    rnd8[512];203  U8    rnd9[512];204  U8    rndA[512];205  U8    rndB[512];206  I64   cert;207};208 209class CCertRandDec5Form210{211  I64   timestamp;212  U8    rnd0[512]       format "$DA-P,A=\"Line (Dec):%s\"$\n";213  U8    rnd1[512];214  U8    rnd2[512];215  U8    rnd3[512];216  U8    rnd4[512];217  U8    rnd5[512];218  U8    rnd6[512];219  U8    rnd7[512];220  U8    rnd8[512];221  U8    rnd9[512];222  U8    rndA[512];223  U8    rndB[512];224  I64   cert            format "$DA,A=\"Certificate:%d\"$\n";225};226 227class CGodVideoForm228{229  U8    title[STR_LEN]  format "$DA-P,A=\"Title:%s\"$\n";230  U8    serial[STR_LEN] format "$DA-P-TRM,LEN=11,A=\"SerialNum:%11s\"$\n";231  I64   min             format "$DA,A=\"Minutes:%d\"$\n";232  I64   sec             format "$DA,A=\"Seconds:%d\"$\n";233};234 235class CWebBibleForm236{237  U8    tag[STR_LEN]    format "$DA-P,A=\"Tag Text:%s\"$\n";238  U8    special[STR_LEN] format "$DA-P,A=\"Bible Passage:%s\"$\n";239  I64   min;240  I64   sec;241};242 243class CYouTubeForm244{245  U8    tag[STR_LEN]    format "$DA-P,A=\"Title:%s\"$\n";246  U8    special[STR_LEN] format "$DA-P-TRM,LEN=11,A=\"SerialNum:%11s\"$\n";247  I64   min             format "$DA,A=\"Minutes:%d\"$\n";248  I64   sec             format "$DA,A=\"Seconds:%d\"$\n";249};250 251class CImgurForm252{253  U8    tag[STR_LEN];254  U8    special[STR_LEN] format "$DA-P,A=\"SerialNum:%s\"$\n";255  I64   min             format "$DA,A=\"Width    :%d\"$\n";256  I64   sec             format "$DA,A=\"Height   :%d\"$\n";257};258 259class CWikipediaForm260{261  U8    tag[STR_LEN]    format "$DA-P,A=\"Tag Text:%s\"$\n";262  U8    special[STR_LEN] format "$DA-P,A=\"Index   :%s\"$\n";263  I64   min;264  I64   sec;265};266 267class CWebBookMarkForm268{269  U8    tag[STR_LEN]    format "$DA-P,A=\"Tag Text:%s\"$\n";270  U8    special[STR_LEN];271  I64   min;272  I64   sec;273};274 275DefineLstLoad("ST_FAMLY_PHOTOS","Family1_58-78\0Family2_78-86\0"276        "Family3_86-99\0Family4_99\0");277 278class CFamilyPhotoForm279{280  I64   volume          format "$LS,D=\"ST_FAMLY_PHOTOS\"$\n";281  I64   part            format "$DA,A=\"Part   :%d\"$\n";282  U8    picture[STR_LEN] format "$DA-P,A=\"Picture:%s\"$\n";283  I64   width           format "$DA,A=\"Width  :%d\"$\n";284  I64   height          format "$DA,A=\"Height :%d\"$\n";285};286 287class CBlogImgForm288{289  U8    picture[STR_LEN] format "$DA-P,A=\"Picture:%s\"$\n";290  I64   width           format "$DA,A=\"Width  :%d\"$\n";291  I64   height          format "$DA,A=\"Height :%d\"$\n";292};293 294extern U0 FreshenBlog();295extern U0 GodBooksPassageU32(U32 rand_u32,U8 *files_find_mask,296        U8 *file_mask="*",I64 len=512,I64 verbosity=GBP_MEDIUM);297extern I64 GodHeaderIns(U8 *type=NULL);298extern U0 GodVideoDigits(U8 *title,U8 *webpage,U8 *rnd,I64 digits,U8 *filename);299extern U0 GodVideoU32(U32 rand_u32,U8 *filename);300extern U0 GodWebIdx(U8 *title,U8 *webpage,U8 *rnd,I64 digits,U8 *filename)301extern U0 GodWordBatch(CHexWordForm *gm,I64 radix,I64 digits);302extern U8 *TOSBlogAbs(U8 *filename);303extern U0 TOSBookLines(U8 *book_filename,I64 book_lines,U8 *st,I64 num_lines,304        I64 radix,Bool modulo,Bool plus_one);305extern U0 TOSGodDoodle(I64 god_src,CNISTBeaconHexWordForm *gm=NULL);306