Lipschitz Forward-Invariant Policy Certification — reference implementation

Runnable experiment code, benchmark implementation, machine-readable results and reports for this SynthCore idea.

Language: Python · Runtime: Python 3 · License: MIT

Public artifacts

• bench_experiment.py — 5.5 KB
• bench_report.json — 3.8 KB
• certify_experiment.py — 4.2 KB
• report.md — 1.5 KB
• report_bench_2026-09-01T163045.md — 5.6 KB
• results.json — 4.5 KB

⬇ Download complete ZIP