Record Class RepairProposal

java.lang.Object
java.lang.Record
com.shaft.doctor.repair.RepairProposal
Record Components:
schemaVersion - proposal schema version
proposalId - stable proposal identifier
status - proposal lifecycle status
repositoryRoot - approved repository root
baseSha - exact approved base commit
branchName - dedicated Doctor branch
worktreePath - isolated worktree path
issueReference - linked issue or session
diagnosisPath - diagnosis source
evidenceBundlePath - optional evidence source
patches - guarded patch manifest
validationPlan - approved validation commands
validationResults - command and Allure results
unifiedDiff - complete review diff
risk - residual risk statement
rollback - rollback guidance
approvalToken - token required by a separate publication action
manifestPath - persisted proposal manifest
publication - published draft PR details, when present
public record RepairProposal(String schemaVersion, String proposalId, RepairProposal.Status status, String repositoryRoot, String baseSha, String branchName, String worktreePath, String issueReference, String diagnosisPath, String evidenceBundlePath, List<RepairProposal.PatchManifestEntry> patches, List<List<String>> validationPlan, List<RepairProposal.ValidationResult> validationResults, String unifiedDiff, String risk, String rollback, String approvalToken, String manifestPath, RepairProposal.Publication publication) extends Record
Reviewable Doctor repair proposal created in an isolated Git worktree.

  • Field Details

  • Constructor Details

  • Method Details

    • validationPassed

      public boolean validationPassed()
      Returns whether every requested validation passed.
      Returns:
      true only when at least one validation ran and all passed

    • toString

      public final String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • schemaVersion

      public String schemaVersion()
      Returns the value of the schemaVersion record component.
      Returns:
      the value of the schemaVersion record component

    • proposalId

      public String proposalId()
      Returns the value of the proposalId record component.
      Returns:
      the value of the proposalId record component

    • status

      public RepairProposal.Status status()
      Returns the value of the status record component.
      Returns:
      the value of the status record component

    • repositoryRoot

      public String repositoryRoot()
      Returns the value of the repositoryRoot record component.
      Returns:
      the value of the repositoryRoot record component

    • baseSha

      public String baseSha()
      Returns the value of the baseSha record component.
      Returns:
      the value of the baseSha record component

    • branchName

      public String branchName()
      Returns the value of the branchName record component.
      Returns:
      the value of the branchName record component

    • worktreePath

      public String worktreePath()
      Returns the value of the worktreePath record component.
      Returns:
      the value of the worktreePath record component

    • issueReference

      public String issueReference()
      Returns the value of the issueReference record component.
      Returns:
      the value of the issueReference record component

    • diagnosisPath

      public String diagnosisPath()
      Returns the value of the diagnosisPath record component.
      Returns:
      the value of the diagnosisPath record component

    • evidenceBundlePath

      public String evidenceBundlePath()
      Returns the value of the evidenceBundlePath record component.
      Returns:
      the value of the evidenceBundlePath record component

    • patches

      public List<RepairProposal.PatchManifestEntry> patches()
      Returns the value of the patches record component.
      Returns:
      the value of the patches record component

    • validationPlan

      public List<List<String>> validationPlan()
      Returns the value of the validationPlan record component.
      Returns:
      the value of the validationPlan record component

    • validationResults

      public List<RepairProposal.ValidationResult> validationResults()
      Returns the value of the validationResults record component.
      Returns:
      the value of the validationResults record component

    • unifiedDiff

      public String unifiedDiff()
      Returns the value of the unifiedDiff record component.
      Returns:
      the value of the unifiedDiff record component

    • risk

      public String risk()
      Returns the value of the risk record component.
      Returns:
      the value of the risk record component

    • rollback

      public String rollback()
      Returns the value of the rollback record component.
      Returns:
      the value of the rollback record component

    • approvalToken

      public String approvalToken()
      Returns the value of the approvalToken record component.
      Returns:
      the value of the approvalToken record component

    • manifestPath

      public String manifestPath()
      Returns the value of the manifestPath record component.
      Returns:
      the value of the manifestPath record component

    • publication

      public RepairProposal.Publication publication()
      Returns the value of the publication record component.
      Returns:
      the value of the publication record component