feat(proof): EvalExecutorOffer contract + harvest 1x / deadline enforcement - #242

Merged

echobt merged 16 commits into

mainfrom

cursor/eval-executor-offer-d9e4

Sep 8, 2026

Commits on Sep 8, 2026

feat(proof): eval executor pin ceilings, topic tighten, and EvalExecutorOffer crate

cursoragent
and
echobt
committed
4959f07
feat(lium): exact_gpu_count spec aborts any rent that is not the pinned width

cursoragent
and
echobt
committed
6bcd2eb
feat(harvest-pod): per-run deadline caps the pod timeout and classifies deadline exits

cursoragent
and
echobt
committed
f3eefb8
feat(proof-eval): executor offer gates live readiness and the harvest scorer

cursoragent
and
echobt
committed
5921d7b
feat(proof-harvest): rent the executor template at exactly 1x and hold the run to the proof deadline

cursoragent
and
echobt
committed
2ed5d8d
feat(proof-http): public executor route, admin rotate, and executor-gated status/submit

cursoragent
and
echobt
committed
9878827
feat(proof-challenge): load PROOF_EVAL_EXECUTOR_OFFER_FILE and wire the executor slot

cursoragent
and
echobt
committed
f55b5a3
feat(xtask): proof-executor-offer ceremony builds a pin-validated 1x offer

cursoragent
and
echobt
committed
3ceb90e
docs(proof): document the EvalExecutorOffer contract, admin route, and harvest 1x enforcement

cursoragent
and
echobt
committed
dc93dd7
chore(proof): clippy fixes and boot_executor helper

cursoragent
and
echobt
committed
35157ca
docs(proof): state executor isolation invariants; carry topic scope on the rent plan

cursoragent
and
echobt
committed
f7f1004
fix(harvest-pod): resolved deadline is the pod timeout; deadline provenance from the wrapper

cursoragent
and
echobt
committed
2389281
fix(xtask): proof-executor-offer refuses any tracked or trackable workspace path

cursoragent
and
echobt
committed
be2c39f
fix(proof-executor): bind executor templates to the pinned digest; refuse raw Lium UUIDs

cursoragent
and
echobt
committed
d7ae7a0
fix(proof): refuse config-changing overrides on commitment-pinned topics; commit the resolved plan

cursoragent
and
echobt
committed
f02cfc9
docs(proof): executor binding, commitment, and deadline rules after review

cursoragent
and
echobt
committed
a7f3976

Navigation Menu

Uh oh!

feat(proof): EvalExecutorOffer contract + harvest 1x / deadline enforcement - #242

feat(proof): EvalExecutorOffer contract + harvest 1x / deadline enforcement#242
echobt merged 16 commits into
mainfrom
cursor/eval-executor-offer-d9e4

Commits on Sep 8, 2026

feat(proof): eval executor pin ceilings, topic tighten, and EvalExecutorOffer crate

feat(lium): exact_gpu_count spec aborts any rent that is not the pinned width

feat(harvest-pod): per-run deadline caps the pod timeout and classifies deadline exits

feat(proof-eval): executor offer gates live readiness and the harvest scorer

feat(proof-harvest): rent the executor template at exactly 1x and hold the run to the proof deadline

feat(proof-http): public executor route, admin rotate, and executor-gated status/submit

feat(proof-challenge): load PROOF_EVAL_EXECUTOR_OFFER_FILE and wire the executor slot

feat(xtask): proof-executor-offer ceremony builds a pin-validated 1x offer

docs(proof): document the EvalExecutorOffer contract, admin route, and harvest 1x enforcement

chore(proof): clippy fixes and boot_executor helper

docs(proof): state executor isolation invariants; carry topic scope on the rent plan

fix(harvest-pod): resolved deadline is the pod timeout; deadline provenance from the wrapper

fix(xtask): proof-executor-offer refuses any tracked or trackable workspace path

fix(proof-executor): bind executor templates to the pinned digest; refuse raw Lium UUIDs

fix(proof): refuse config-changing overrides on commitment-pinned topics; commit the resolved plan

docs(proof): executor binding, commitment, and deadline rules after review