symfonic.evals.volume_assertions

volume_assertions

Payload-free assertions for SC-20's memory-volume contract.

BoundedMemoryVolumeSafe dataclass

BoundedMemoryVolumeSafe(attribute: str = 'bounded_memory_volume', budgets: VolumeBudgets = VolumeBudgets(), name: str = 'bounded_memory_volume_safe')

Require bounded 10k behavior from identity/counter evidence only.

VolumeBudgets dataclass

VolumeBudgets(minimum_records: int = TOTAL_RECORDS, exact_relations: int = 2500, minimum_relevant_distractors: int = RELEVANT_DISTRACTORS, retrieval_p95_ms: int = 1500, max_candidates_per_query: int = 128, max_operation_rows: int = 500, max_peak_rss_delta_bytes: int = 96 * 1024 * 1024, max_seed_batch: int = 200, max_admin_page: int = 200, max_browser_projection: int = 400, max_quick_examined: int = 500, max_deep_examined: int = 500, max_post_created_records: int = 10, max_post_deleted_records: int = 500, max_post_created_relations: int = 2500, max_post_deleted_relations: int = 500)

Hard ceilings asserted by the ordinary 10k release gate.