fpf.tools
Library / Method Engineering Principles Framework
Jump to passage
In this reading
Source · lines 5835–5851

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 08:00:10 UTC

4. Recover candidate accounts only when ordinary Method recovery is insufficient

Ordinary A.3.1.MR recovery suffices for M-HW-Verify and M-SW-Integrate. The evidence-reconciliation question enters ME.18 because oral version judgments and supplier/internal workarounds are absent from the records and the receiving decision needs a stronger account.

The evidence programme keeps its moves distinct:

  • occurrence observation and artifacts record overt evidence handling;
  • Critical Decision Method probes recover recalled cues, options, judgments, and counterfactual reflections;
  • event-log comparison records recurrence and deviation;
  • the twelve-plus-one sample, claim-to-evidence matrix, contradiction-by-scope rule, and held-out discriminator are the bounded expert synthesis.

Four firmware-only and four internal harness-plus-firmware releases accepted versioned provisional pinout evidence before safety closure. Four supplier-originated releases required signed evidence at closure. Four boards were observed. CDM probes involved two supplier, two software, one hardware, and one safety practitioner.

The thirteenth supplier-originated case is reserved unseen. Before inspection, the internal account predicts that explicit version/uncertainty plus later reconciliation is sufficient; the supplier account predicts that supplier-originated geometry will require the signed-evidence branch; the rig-capacity rival predicts that progress follows rig availability. The held-out case presents supplier-originated geometry, the signed-evidence cue, a decision to wait for the signed branch, the expected branch variation, and a completed result. It supports the supplier account without a load-bearing surprise, contradicts neither account outside its scope, and leaves transfer unresolved.

C-Evidence-Reconcile-Internal and C-Evidence-Reconcile-Supplier remain scoped candidate Method accounts. No occurrence, interview, event regularity, majority pattern, or held-out fit admits either as a Method or proves effectiveness, population frequency, or causality.