Skip to content

ValidationExecutedProof

Source code in docs_src/capo_continuum/types/validation_executed_proof.py 
15
16
17
18
19
20
21
22
23
class ValidationExecutedProof(TypedDict, closed=True):
    code: "capo_continuum.types.validation_proof_code.ValidationProofCode"
    """The code that was run. Not a request payload: it imports the repository's own modules and drives the vulnerable code path directly."""
    output: NotRequired[
        "capo_continuum.types.validation_proof_output.ValidationProofOutput"
    ]
    """What the execution printed, including the agent's own PASS/FAIL assertions. Absent when the run printed nothing retained."""
    observed_effect: NotRequired["capo_continuum.types.exploit_effect.ExploitEffect"]
    """Effect the execution actually produced. `observedEffect` rather than `effect`: this one was witnessed, and the name has to stay distinguishable from `ValidationSourceAnalysis.inferredEffect`, which was not."""

code instance-attribute 

code: ValidationProofCode

The code that was run. Not a request payload: it imports the repository's own modules and drives the vulnerable code path directly.

observed_effect instance-attribute 

observed_effect: NotRequired[ExploitEffect]

Effect the execution actually produced. observedEffect rather than effect: this one was witnessed, and the name has to stay distinguishable from ValidationSourceAnalysis.inferredEffect, which was not.

output instance-attribute 

output: NotRequired[ValidationProofOutput]

What the execution printed, including the agent's own PASS/FAIL assertions. Absent when the run printed nothing retained.