docs: document v7.13.0 features

- Live formulas (HARDFORMULA/SOFTFORMULA) with HyperFormula in dcc-validations
- Formula Rules section with column-name syntax, DC.* literals, editor behaviour
- MPE_VALIDATIONS table doc: add HARDFORMULA/SOFTFORMULA to RULE_TYPE values
- Roadmap: mark Frontend Formulae and Regex Rules as delivered
- SAS VA Embed: document Live vs Confirm filter modes and pending-changes UX
- ViewBoxes: document edge/corner drag resizing
- Licensing: combined-key paste, live key preview, protocol mismatch guard
- CAS Tables: REPLACE load type support and temp table cleanup
- Editor: native date/time pickers, paste-validation overlay, row status indicators
- Stage page: Formatted/Unformatted toggle on the approvals screen
- Viya deploy: configurator overhaul, deploy checks, login page UX
- Index page: add live formulas and VA embed to features list

docs/cas-tables.md

@@ -39,6 +39,16 @@ Note that since the CAS connection is using a shared account, the CASUSER librar
 
 It can happen that a CAS table is configured in Data Controller but not loaded into memory. In this case, when a user selects the table, it will be automatically loaded.
 
+### REPLACE Load Type
+
+The REPLACE load type is fully supported on CAS tables.  When a REPLACE load is applied to a CAS target, Data Controller:
+
+1. Casts any fixed-length character variables in the staging table to varchar (matching the target table structure), since fixed char variables cannot be appended to CAS varchar columns.
+2. Truncates the target CAS table in-place using `proc cas; table.deleteRows` (CAS tables do not support SQL deletes).
+3. Appends the staged data via a data step with `sessref=dcsession`.
+
+The truncate is deliberately the last step before the append, to minimise the time in which the target table is empty.  See [MPE_TABLES](/dcc-tables/#loadtype) for general REPLACE documentation.
+
 ## Unloading
 
 After an approval, the in-memory version of the CAS Table will be updated.  To apply this to the underlying file on disk, the following code must be executed (eg in a POST APPROVE HOOK):
@@ -54,3 +64,7 @@ quit;
 ## Special Variables
 
 Processing of data in Data Controller is performed in SPRE with SAS datasets - and as such, it is not possible to process character variables longer than 32k or other CAS specific data types.
+
+## Temporary Table Cleanup
+
+Temporary `casuser` tables created during loading (eg the REPLACE cast-and-append step above) are cleaned up correctly, including in error conditions.  If a load is aborted before completion, any temp tables created mid-process are dropped before the lock is released.