Skip to content

fix(traceability): align optional and status table contracts - #77

Closed
kreneskyp wants to merge 1 commit into
mainfrom
codex/reference-status-columns
Closed

fix(traceability): align optional and status table contracts#77
kreneskyp wants to merge 1 commit into
mainfrom
codex/reference-status-columns

Conversation

@kreneskyp

Copy link
Copy Markdown
Contributor

Summary

  • declare Coverage Status for the functional-coverage table while retaining Status for test summaries
  • mark suite and inspection targets optional, matching the existing adoption contract
  • strengthen tests so both declarations are explicit and current Quire stays silent for a non-adopting repository

Verification

  • composed against quire-rs#383 and spec-artifacts-iso#32/Declare the Task track property (FR-005) #33: 89 passed, 1 expected xfail
  • ruff passed; every Python file passed black --check (the aggregate black invocation stalled in this environment, so files were checked individually)
  • Engineering Assurance composed coverage: 45/46 backed; no status lies, undeclared statuses, unbacked references, status-column diagnostics, or optional evidence-target diagnostics

Dependencies

Keep draft until those dependencies merge and released pins are updated.

@kreneskyp

Copy link
Copy Markdown
Contributor Author

Closing: superseded by #87, which collapses Coverage Status and Status into a single Status column in the contract.

These two names had byte-identical vocabularies and were used inconsistently across sibling tables — Functional Requirement Coverage took Coverage Status, Non-Functional Requirement Coverage took Status. There was no distinction to preserve, so a per-declaration status_column override would have made the duplicate naming permanent and supported rather than fixing it.

It also would not have worked yet: it needs quire-rs#410, and no released engine carries it. Published quire 0.32.0's changelog claims the pin advanced to 616a7e97, but the v0.32.0 tag pins a874fb64, which predates that commit — which is why this work sat in draft.

#87 needs no engine change; its suite passes on released quire 0.32.0. Merged to the cohort as 375fc2a.

Thanks for the diagnosis in these branches — the status-column-matches-nothing finding is what made the root cause visible.

@kreneskyp kreneskyp closed this Sep 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant