Repository navigation
docs: x-FuSa spec v1.14.0 — detection heuristics, attestation, traceability MUSTs, coverage metrics - #83
Merged
Conversation
…bility MUSTs, coverage metrics Closes the enforcement gap left by v1.13.0: schemas and a content-quality baseline existed but had no detection algorithm, no accountability mechanism, no required traceability, and no completeness metric. - §1.6.1 Detection heuristics: concrete placeholder-text (always ERROR, disposition-suppressible) and blanket-qualitative-fallback (advisory WARNING) rules, flowing through the existing Finding/ fingerprint/disposition machinery. - §1.6.2 Attestation: a DCO-style mechanism reusing the vv package's independent-reviewer model, so an imperfect similarity heuristic doesn't produce false-positive gates -- a named independent reviewer can vouch for content instead. - .fusa-hara.json: safetyGoals[].fssrRef promoted SHOULD -> fssrRefs MUST (>=1 entry), closing a real ISO 26262-8 Clause 6 traceability gap. - fmea/tara: new summary.coveragePct + --min-coverage N, mirroring trace --func-coverage, so these artifacts can't quietly analyze only the easy cases. Bumps SpecVersion 1.13.0 -> 1.14.0. Signed-off-by: SoundMatt <SoundMatt@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Follows directly from v1.13.0 (evidence-artifact schemas + content-quality baseline). That release said what good content looks like but left it unenforceable — no detection algorithm, no accountability, no required traceability, no completeness metric. This closes those four gaps.
1. §1.6.1 Detection heuristics — concrete, checkable rules instead of prose:
ERROR(FUSA-STUB001), disposition-suppressible only.WARNING(FUSA-STUB002) by default, deliberately advisory since a similarity score can misfire on genuinely repetitive-but-real content.2. §1.6.2 Attestation — the false-flag fix. Rather than trying to make the heuristic perfectly precise, an artifact can carry an optional
attestationobject (status,implementationAuthor,independentReviewer,reviewedAt,contentHash) reusing the exact independence model already in FuSaOps' ownvvpackage (ISO 26262-2:2018 §6.4). A non-stale (hash-pinned), genuinely-independent "reviewed" attestation suppresses Rule B.--strict/--require-attestationescalates an unsuppressed Rule B finding to exit 1. This is the DCO pattern applied to evidence artifacts: nothing blocks by default, a project that wants a hard gate turns it on, and the gate is satisfied by an honest human assertion, not by gaming the similarity score.3. Traceability MUST —
.fusa-hara.json'ssafetyGoals[].fssrRefpromoted from SHOULD (singular) tofssrRefsMUST, ≥1 entry — a safety goal with no decomposing requirement is exactly the gap ISO 26262-8 Clause 6 traceability exists to prevent.4. Completeness metrics —
fmea/taragainsummary.coveragePct+--min-coverage N, mirroringtrace --func-coverage, so an artifact can't quietly analyze 5 convenient cases while looking thorough by entry count alone.SpecVersionbumped1.13.0→1.14.0. Scope note (unchanged from v1.13.0): spec-design only, no tool implements any of this yet, FuSaOps doesn't consume it.Test plan
go build ./.../go vet ./...— cleango test ./...— all packages pass