{"id":"https://openalex.org/W7204102502","doi":"https://doi.org/10.5281/zenodo.22085608","title":"BIT-TSCM-001-R0 \u2014 Typed Stateful Computation, Memory-Mediated Cross-Domain Dynamics and Independent Clean-Room Reimplementation: Master Overview, Reproduction Guide and Independent Research Handoff","display_name":"BIT-TSCM-001-R0 \u2014 Typed Stateful Computation, Memory-Mediated Cross-Domain Dynamics and Independent Clean-Room Reimplementation: Master Overview, Reproduction Guide and Independent Research Handoff","publication_year":2026,"publication_date":"2026-08-24","ids":{"openalex":"https://openalex.org/W7204102502","doi":"https://doi.org/10.5281/zenodo.22085608"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22085608","doi":"https://doi.org/10.5281/zenodo.22085608","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22085608","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.22085608","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5146468081","display_name":"B\u00f9i Quang Tr\u1ecbnh","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I125839683","display_name":"Beijing Institute of Technology","ror":"https://ror.org/01skt4w74","country_code":"CN","type":"education","lineage":["https://openalex.org/I125839683","https://openalex.org/I890469752"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"B\u00f9i Quang Tr\u1ecbnh","raw_affiliation_strings":["B\u00f9i Quang Tr\u1ecbnh - Cosmic Emissary - Global thinker - Chief Architect - Founder Boundary Information Theory (BIT)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"B\u00f9i Quang Tr\u1ecbnh - Cosmic Emissary - Global thinker - Chief Architect - Founder Boundary Information Theory (BIT)","institution_ids":["https://openalex.org/I125839683"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5146468081"],"corresponding_institution_ids":["https://openalex.org/I125839683"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.56275362,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.39259999990463257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.39259999990463257,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.16089999675750732,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.11729999631643295,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/memory-bias","display_name":"memory bias","score":0.4059999883174896},{"id":"https://openalex.org/keywords/independent-verification","display_name":"independent verification","score":0.36899998784065247},{"id":"https://openalex.org/keywords/integrity-verification","display_name":"integrity verification","score":0.42399999499320984}],"concepts":[{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.9440000057220459},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7544000148773193},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.5942999720573425},{"id":"https://openalex.org/C111852164","wikidata":"https://www.wikidata.org/wiki/Q1414679","display_name":"Handover","level":2,"score":0.5896000266075134},{"id":"https://openalex.org/C177284502","wikidata":"https://www.wikidata.org/wiki/Q1005390","display_name":"Adapter (computing)","level":2,"score":0.4595000147819519},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.451200008392334},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.42820000648498535},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4059999883174896},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.3862000107765198},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3522999882698059},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3490999937057495},{"id":"https://openalex.org/C103613024","wikidata":"https://www.wikidata.org/wiki/Q230924","display_name":"Stateless protocol","level":3,"score":0.32519999146461487},{"id":"https://openalex.org/C2776055716","wikidata":"https://www.wikidata.org/wiki/Q7316893","display_name":"Retract","level":2,"score":0.31520000100135803},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3100000023841858},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.3003999888896942},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.296099990606308},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.2700999975204468},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.265500009059906}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22085608","doi":"https://doi.org/10.5281/zenodo.22085608","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22085608","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.22085609","doi":"https://doi.org/10.5281/zenodo.22085609","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22085609","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22085608","doi":"https://doi.org/10.5281/zenodo.22085608","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22085608","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7204490067","https://openalex.org/W6963713768","https://openalex.org/W7204215861","https://openalex.org/W7204022327","https://openalex.org/W2035134754","https://openalex.org/W7212174394","https://openalex.org/W7168082100","https://openalex.org/W7220995516","https://openalex.org/W7206169485","https://openalex.org/W68674173"],"abstract_inverted_index":{"BIT-TSCM-001-R0":[0],"is":[1,122,158],"the":[2,7,49,57],"independent-research":[3],"handoff":[4],"release":[5],"of":[6,138],"Typed":[8],"Stateful":[9],"Computation":[10],"and":[11,23,38,62,69,87,99,115],"Memory":[12],"(TSCM)":[13],"programme.":[14],"It":[15],"moves":[16],"from":[17],"a":[18,24,123,133],"pre-canonical":[19],"typed":[20],"state-memory":[21],"kernel":[22],"formal":[25],"cross-domain":[26],"memory":[27],"delta":[28],"to":[29],"one":[30],"frozen":[31],"artificial":[32,125],"platform":[33],"(AFSM-1/FX17),":[34],"exact":[35],"do(M)":[36],"execution,":[37],"an":[39],"implementation-diverse":[40],"clean-room":[41],"replay.":[42],"The":[43,154],"local":[44],"result":[45],"shows":[46],"that,":[47],"in":[48],"locked":[50],"deterministic":[51],"rig,":[52],"intervention":[53],"on":[54,127],"AdapterMemory.bias":[55],"changes":[56],"read/decode":[58],"path,":[59],"adapter":[60],"output":[61],"RecipientState.z_post":[63],"while":[64],"policy":[65],"P1,":[66],"route":[67,157],"GAMMA0":[68],"guard":[70],"GUARD1":[71],"remain":[72],"fixed.":[73],"F2R1":[74],"recorded":[75],"272/272":[76],"integrity":[77],"checks,":[78,104],"34":[79],"finalized":[80],"TrialReceipts,":[81],"8/8":[82],"negative":[83,109],"controls,":[84,110],"5/5":[85],"mutations,":[86],"two":[88],"semantically":[89],"byte-identical":[90],"runs.":[91],"F3R1":[92],"independently":[93],"reimplemented":[94],"runner/checker":[95],"paths":[96],"using":[97],"Node.js":[98],"Perl,":[100],"with":[101],"274/274":[102],"verifier":[103],"68/68":[105],"cross-implementation":[106],"comparisons,":[107],"16/16":[108],"26/26":[111],"adversarial":[112],"mutations":[113],"killed":[114],"1/1":[116],"positive":[117],"control.":[118],"Claim":[119],"boundary:":[120],"this":[121],"constructed":[124],"witness":[126],"AFSM-1/FX17;":[128],"it":[129],"does":[130],"not":[131],"establish":[132],"universal":[134],"or":[135,141,152],"natural":[136],"law":[137],"memory,":[139],"hardware":[140],"biological":[142],"realization,":[143],"consciousness,":[144],"personal":[145],"identity,":[146],"cross-death":[147],"continuity,":[148],"external":[149,163],"independent":[150],"replication":[151],"authority.":[153],"valid":[155],"next":[156],"STOP/CHECKPOINT":[159],"pending":[160],"separately":[161],"authorized":[162],"reproduction.":[164]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-25T00:00:00"}