MJos Predictive Model | First manifestation of the Bangel Language
Terminology revised ยท evidence inherited
Grey Pages Definitive Glossary 120 Pages. Source pages 7073-7073. Nomenclature updated; historical equations, evidence limits and unresolved relationships retained.
GREY-012
Glossary entries 0089-0096
MJ-PBMEF-DAY0-R11-COLOR-PAPERS-180K-FINAL
Definitive categorized terminology and alias reference
F-061 Bangel Sheet cell state [FORMULA]
Every cell is a governed measurement object, not an untyped mutable value. Expression: C_ij=<value,unit,uncertainty,formula,revision,lineage,authority,evidence>
Aliases: F-061 | References: Bangel,JP,MK,JO | Ceiling: typed object
F-062 Affected dependency closure [FORMULA]
Only cells reachable from changed cells are eligible for incremental recomputation. Expression: A(U)=Reachable_G(U)
Aliases: F-062 | References: JP,JO,M3 | Ceiling: cell set
F-063 Incremental recompute cost [FORMULA]
Measured compute and transfer work for an affected dependency closure. Expression: C_recalc=sum_{v in A}c_v+sum_{e in E(A)}t_e
Aliases: F-063 | References: MK,JO,MERMAID | Ceiling: work units
F-064 Concurrent edit arrival [FORMULA]
Aggregate update arrival rate from measured concurrent-user activity. Expression: lambda_total=N_users*lambda_user
Aliases: F-064 | References: JO,M3,MK | Ceiling: operations/time
F-065 Spreadsheet service utilization [FORMULA]
Capacity utilization for W deterministic workers. Expression: rho=lambda_total/(W*mu_worker)
Aliases: F-065 | References: JO,M3,MK | Ceiling: ratio
F-066 Spreadsheet worker requirement [FORMULA]
Minimum worker count for a precommitted utilization ceiling. Expression: W_min=ceil(lambda_total/(rho_max*mu_worker))
Aliases: F-066 | References: JO,M3,MJOS | Ceiling: count
F-067 Recalculation latency [FORMULA]
End-to-end recalculation latency across logical Pearl simulation partitions. Expression: T_recalc=T_parse+T_dependency+max_p(T_partition,p)+T_commit
Aliases: F-067 | References: MK,JO,M3 | Ceiling: time
F-068 Spreadsheet data cost [FORMULA]
Storage, transfer, and compute cost remain separately evidenced before aggregation. Expression: C_data=B_store*c_store+B_transfer*c_transfer+t_cpu*c_cpu
Aliases: F-068 | References: MERMAID,SHIVA,MK,JO | Ceiling: cost unit
Michael Patrick Bangel | MJ Physics Engineering | internal pre-passkey reference | no physical, legal, financial, regulatory, or IP-right approval
13