Struct ChangeRequest 

pub struct ChangeRequest {
    pub id: String,
    pub request: String,
    pub target_module: String,
    pub target_content_id: String,
    pub derived_requirement: String,
    pub proposed_test: String,
    pub patch_plan: Vec<String>,
}

A natural-language request to change Formal AI itself, turned into a structured, reviewable, human-gated proposal.

Every field is a deterministic function of the raw request and the owned module it targets, so the whole proposal — and its content id — is reproducible.

Fields

id: String

Stable content-addressed id of the request.

request: String

The raw natural-language request, verbatim.

target_module: String

The owned src/**/*.rs module the change targets (grounded against the manifest).

target_content_id: String

The manifest content id of the target module — provenance for the review.

derived_requirement: String

The requirement derived from the request — the “requirements” half of the loop.

proposed_test: String

The name of the test the change must add before it is reviewable.

patch_plan: Vec<String>

The ordered patch plan a human or Agent CLI executes — the reviewable “patch”.

Implementations

impl ChangeRequest

pub fn for_module(request: &str, target_module: &str) -> Self

Turn request into a reviewable change proposal targeting target_module.

Panics

Panics if target_module is not an owned src/**/*.rs file, or if request is empty once trimmed. Both are deliberate: a change request must target real, content-addressed source (never a path the repository does not ship), and an empty request has no requirement to derive.

pub const fn is_human_gated(&self) -> bool

Whether applying this change stays a human decision. Always true: the request is proposal-only by construction, mirroring the self-healing loop.

pub fn review( &self, gate: &BenchmarkGateReport, approval: &HumanApproval, ) -> Result<AcceptedChange, ChangeRejected>

Review the request against the same repair-loop gate as the learning ledger.

Succeeds only when the benchmark gate is green (“when tests … accept”) and approval is granted (“and the user accept[s]”), returning the merged AcceptedChange. Otherwise returns the ChangeRejected reason, so no user request is ever applied without both the tests and the human accepting.

Errors

Returns ChangeRejected::TestsNotGreen if the gate does not permit adoption, or ChangeRejected::HumanDeclined if the human withheld approval.

pub fn summary(&self) -> String

A one-line human-readable summary of the proposed change.

pub fn links_notation(&self) -> String

Render the whole change request as Links Notation — the reviewable pull request a human reads before any merge. Ends trimmed of trailing whitespace.

pub fn content_id(&self) -> String

A stable content id over the request’s Links Notation.

Trait Implementations

impl Clone for ChangeRequest

fn clone(&self) -> ChangeRequest

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ChangeRequest

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for ChangeRequest

impl PartialEq for ChangeRequest

fn eq(&self, other: &ChangeRequest) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ChangeRequest