DOC-CLM-001 · CEK S3

What AdaptOrch does and does not claim.

Shadow review is an evidence and risk layer. It is not a semantic correctness certificate.

DOES

Verify applicability

AdaptOrch verifies patch applicability through Docker-faithful apply gates.

DOES

Canonicalize AI patches

AdaptOrch converts fuzzy or tool-generated patches into realized git diffs.

DOES

Separate runner health

Environment failures are isolated from candidate-caused failures.

DOES

Emit CEK shadow reports

Risk labels, provenance checks, and claim boundaries are recorded with correctness_claim=false.

DOES

Record evidence DAGs

Candidate lineage, gates, receipts, and decisions are replayable.

DOES

Flag constitutional risk

Unrelated edits, broad exception swallowing, hardcoding, and repair drift are penalized under an explicit constitution.

DOES NOT

Prove semantic correctness in S3

CEK S3 does not claim that a patch is correct. correctness_claim remains false.

DOES NOT

Use forbidden selector inputs

Hidden tests, gold patches, official outcomes, expected answers, and oracle labels are blocked.

DOES NOT

Treat environment errors as candidate errors

Runner-health events are not hard candidate blocks.

DOES NOT

Let AI rationale override evidence

Constitutional critique cannot beat Docker, test, or provenance hard gates.

DOES NOT

Mutate baseline selection in S3

CEK is a shadow sidecar. Baseline AEG-selected candidates are unchanged.

NEXT

Active promotion gates

Active gating requires real Docker paired execution, mandatory source labels, expected-answer separation, deterministic reducer checks, causality fixtures, and UI separation of runner health from candidate correctness.