Add advanced feature specs: recursive folding, threshold oracle, timelock disclosure, real-time revocation, FHE spending limits, formal verification

1a35ae5