Read the equation
P′ names one proposed modified program considered by the repair objective. The prime distinguishes a candidate from the current program P; it does not denote a derivative. In the central formula, the search varies P′, measures its remaining bug loss B(P′,D), and penalizes its change from P through λC(P′−P). The compile, type-safety, test, and safety conditions constrain which candidates may be selected. Calling it a candidate fixed program is a proposed role, rather than a statement that every P′ already satisfies those conditions.
Its role in the build
The Rhiannon Equation
Terms & definitions
| Term | Meaning in this source |
|---|---|
| P′ | One candidate modified program; the variable searched over by the repair objective. |
| P | Current program used as the reference for change cost. |
| P* | A candidate selected as optimal under the stated objective and constraints. |
| D | Diagnostics, errors, test failures, logs, and runtime signals as listed on the poster. |
How it works
Treat P′ as one proposed replacement for the current program P.
Evaluate its bug loss against diagnostics D and its change cost relative to P.
Apply the poster’s stated constraints before considering that candidate for the optimum P*.
Assumptions & limits
This definition does not specify how candidate programs are represented or generated.
Original context
Read the surrounding source passage
The Rhiannon Equation: P′ is one proposed repair considered by the search.
Exact original notation
P′ = candidate fixed program
Related builds
Sources & provenance
P′ = candidate fixed program