Manuscript XI-A-ST@1 · XI-A-ST.tex · section · c3f0929d
The retained host and its three ledgers
The retained host and its three ledgers · lines 314–356
This is the I-B host with the X-A-ST completion convention CheungIB,CheungXAST. The notation makes the chart domain distinct from its host image .
| Ledger item | Status in XI-A-ST |
|---|---|
| Cone, worldsheet, orientation | Prescribed I-B data; no reconstruction. |
| Developing chart, observation, shadow | Retained supported data; no silent enlargement. |
| Analysis metric convention | on the Minkowski completion. |
| Host metric convention | , with . |
| Global inverse on the regular cone | Not supplied or used. X-A-ST records non-global hyperbolicity in :nonGH. |
| Ramp width | Fixed analytical metadata, not defect thickness. |
| Laboratory storage | All live clocks, payloads, auxiliaries, and controls charged. |
| Returned storage | All exported records and retained outputs charged separately. |
| External reference | Untouched and separately listed; no control wire supplied. |
The host declarations and the non-global-transfer boundary are copied from I-B/X-A-ST rather than reproved CheungIB,CheungXAST. The three-storage-ledger discipline is the one used in X-L-ST CheungXLST. It does not import that sheet's action or free normalization.