Package: graph_test

analysisDoc builds a document with a document-id so qualified trace refsand coverage sources resolve.

TestCoverageStates_Semantic pins the coverage states to the same rules therequires-trace-from check applies: approved providers only, draft inboundrequirements ignored, explicit opt-out, unknown sources unresolved.

TestCoverageStates_GenericFallback checks the boundary-aware fallback usedwhen a requirement declares no requires-trace-from expectation.

TestTraceRefs covers pin/version annotation and unresolved links.

TestVerificationStates checks that eligibility follows the missing-verdictgate and that unverified eligible measures are visible as empty outcomes.

TestFilterAwareCoverage_FilteredInProviderSatisfies verifies that afiltered-in inbound requirement properly satisfies coverage.

TestFilterAwareCoverage_DocumentDefault verifies filter-aware coverageinteracts with the x-reqmd.requires-trace-from document default: aninherited expectation behaves like a per-requirement one under --filter.

TestFilter_NoFilter_ParityWithUnfiltered verifies that an empty filterset produces identical results to no filter at all.

TestDisjointAttribute_PartialOverlap_NoError verifies that overlappingvalues do not trigger an error.

TestDisjointAttribute_EmptyAttribute_Exempt verifies that a requirementwith an empty/absent variant attribute is exempt (treated as "applies to all").

TestDisjointAttribute_NoAttrsSet_NoCheck verifies that withoutSetDisjointAttrs, the check is a no-op.

docWithXReqmd creates a document with a custom XReqmd configuration.

---Empty docs

---Valid trace — two requirements, one traces to the other

---Dangling trace — one req traces to a non-existent ID

---Circular trace — A→B→C→A

---Orphan detection — A→B means A has no incoming → orphan

---Orphan suppression via directory boundary (no upstream sources)

---Orphan and missing-downstream when NOT in a boundary directory

---Orphan suppression via disposition (no root boundary, but disposition set)

---Disposition without rationale — deferred/rejected with no rationale

---needs attribute — explicit coverage expectations

---Neighbors — A traces to B and C

---Neighbors — non-existent reqID

---Title

---Multiple broken refs from same requirement

---External suppresses orphan

---Child requirement suppresses orphan via IsChild

---Duplicate ID across documents

---Prefix collision is WARNING, not ERROR

---Version-pin checks — current, outdated, predated, no-pin, missing version, external, suppressed

slicesEqual is a tiny string-slice equality helper for the test above.

T4: a draft inbound does NOT satisfy coverage. STK-001 needs [system]but the only system doc is draft → missing-coverage warning.

T5: an approved inbound DOES satisfy coverage.

T6: case-insensitive — "APPROVED" still counts as approved.

T11: ignore-status: true document → all requirements are coverageproviders regardless of their status value (even draft).

T13: updated checkNeedsCoverage message includes "(%d draft downstreamsignored)" when at least one inbound is filtered by the status gate.

T16: when draftCount == 0, message has no parenthetical. This is theclassic case where the need simply has no inbound at all (orphan-ish).

T19: ignore-status + additional-status-values combination. The ignoreflag bypasses the status gate entirely, AND the schema accepts theextension value.

T7: schema-level reject of capitalized status. Compile fails whenuser puts status: Implemented in an attr block that doesn't matchthe new built-in enum. (The validator catches it; we mirror the testhere on the graph side: an uppercase status attr in the data istreated as a non-coverage provider because it's not "approved".)

T15 (graph-side counterpart): schemas with additionalProperties: false(e.g. 00-aspice, 01-stakeholder) must still parse and inject thebuilt-in status attribute. The full Validate() path is exercisedagainst the real spec/ tree by the CLI check command. Here we justconfirm the graph builds without panic on a flat additionalPropertiesschema that contains status in the resulting attribute set.

T14: full pipeline against the migrated spec/ tree. The 4 migrateddirs (01a, 02, 03, 04) plus 00 and 01 must all build a graphsuccessfully and produce no coverage errors stemming from the statusgate. The graph must reflect the new status values without errors.

reqWithSuppressions builds a Requirement with a non-empty Suppressionsslice — needed for tests that exercise reqmd-suppress handling, becausethe synthetic req() factory leaves Suppressions as nil.

resultReq builds a synthesized verification-result pseudo-requirementtracing to measureID with the given outcome.

measureReq builds a verification-measure requirement (an authored reqthat a result traces to). By default it has status approved.

staleResultReq builds a result whose trace carries a ~N pin.

casedResultReq builds a case-keyed result node tracing to the given target.

tcNodeReq builds a synthesized test-case node tracing to its verifies refs.

A cased result (pattern C) attaches to an authored measure and flowsthrough the existing checks like any other result.

A synthesized test case (patterns D/E) traces to the requirements itverifies; result → case → requirement edges resolve without broken refs.The requirement's rolled-up evidence set includes the passing case, so nomissing-verdict fires (this is the roll-up behavior landed in theevidence-set phase).

Mixed evidence on one requirement: a direct passing result (A) plus afailing case on an authored downstream test (C). Any fail → fail.

A draft downstream test case does not contribute evidence; the requirementstays missing-verdict and the message reports the ignored draft.

Under --filter, evidence is computed within the filtered subset: excludingthe tests document leaves the requirement uncovered without a false fail.

Deferred/rejected dispositions do not expect verification: neithermissing-verdict nor failing-verdict fires for them.

The evidence items surfaced by MeasureVerdicts carry the synthesized testcase's Markdown description, so exporters can render it inline.