import time
from signalvault_verifiable_privacy_preservin.dsl import LocalProblem, SharedVariables, PlanDelta, DSLAuditLog


def test_basic_dsl_instantiation():
    lp = LocalProblem(id="lp1", asset="ETH", objective="maximize", version=2)
    sv = SharedVariables(contract_id="contract-1", variables={"lambda": 0.5})
    pd = PlanDelta(delta={"action": "adjust"}, timestamp=int(time.time()), author="tester", contract_id="c-1")
    alog = DSLAuditLog(entries=["created"], signer="tester", timestamp=int(time.time()))

    assert lp.id == "lp1"
    assert lp.asset == "ETH"
    assert sv.contract_id == "contract-1"
    assert pd.timestamp > 0
    assert isinstance(alog.entries, list)