The shared extractor now takes its per-repo taxonomy from a config file rather than CLI flags, so the wrapper shrinks to the one thing it alone knows: the repo root, which the vendored gate cannot infer because its own default resolves inside the submodule. Coverage unchanged at 23/32; the gate reports the scan as '26 (.rs under src, tests)', which is the config being read rather than defaults being guessed. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
34 lines
1.4 KiB
TOML
34 lines
1.4 KiB
TOML
# Traceability configuration for JRay-public-server.
|
|
#
|
|
# Read by the shared extractor in the jray-project submodule, which is the same
|
|
# implementation every JRay component uses. Everything repo-specific lives here
|
|
# rather than in the tool; run `extract_traces.py --print-example-config` for
|
|
# the annotated schema.
|
|
#
|
|
# This file's directory is taken as the repo root, so the gate works from any
|
|
# subdirectory.
|
|
|
|
# The prefixes this repo's register defines. Nothing else enters the fraction:
|
|
# UT/IT are evidence for requirements, PR/SR belong to the system spec.
|
|
requirement_types = ["UR", "DR"]
|
|
|
|
languages = ["rust"]
|
|
|
|
source_roots = ["src", "tests"]
|
|
|
|
# Every test here runs on any machine in seconds — no GPU, no fixtures, no
|
|
# external services. Unlike the extraction pipeline, this repo has no tier that
|
|
# cannot execute in CI, so nothing is ever counted as tagged-but-unverified.
|
|
ci_executable_tiers = ["T1", "T2", "static"]
|
|
|
|
# 0 until the remaining work lands: UR-007 is plugin-side, UR-008 is federation,
|
|
# and UR-015..018 are the pending SR-003 schema bump. This is not a gate that
|
|
# cannot fail — orphan tags, a >100% ratio, a register that parses to nothing
|
|
# and an empty source scan are all hard failures already. Ratchet this up as
|
|
# tags land; never reset it down.
|
|
min_coverage = 0.0
|
|
|
|
# The system spec owning PR/SR, vendored as a submodule so it ships with the
|
|
# tool that reads it.
|
|
system_spec = "scripts/vendor/jray-project/SPEC.md"
|