Skip to content

Which code implements which requirement?

code location requirement
allowed src/policy.rs:18 REQ-01-01-07-02
apply_sets src/templates.rs:170 REQ-08-01-32-01
build src/assembler.rs:24 REQ-02-01-11-01
build src/assembler.rs:25 REQ-02-01-11-03
build src/assembler.rs:26 REQ-04-01-01-02
build src/assembler.rs:27 REQ-04-01-01-03
build src/assembler.rs:28 REQ-04-01-01-04
build src/assembler.rs:29 REQ-04-01-01-05
bundle src/reporter.rs:16 REQ-03-01-04-01
bundle src/reporter.rs:17 REQ-03-01-04-02
bundle src/reporter.rs:18 REQ-03-01-04-03
bundle src/reporter.rs:19 REQ-04-01-12-01
bundle src/reporter.rs:20 REQ-04-01-12-02
bundle src/reporter.rs:21 REQ-04-01-12-03
change_policy src/config.rs:300 REQ-01-01-07-01
check src/policy.rs:31 REQ-01-01-07-02
check src/policy.rs:32 REQ-01-01-07-03
check_claim_markers src/checkers/frontmatter.rs:1329 REQ-08-01-40-01
check_command src/trace.rs:938 REQ-03-01-06-01
check_command src/trace.rs:939 REQ-03-01-06-02
check_command src/trace.rs:940 REQ-03-01-06-03
check_done_claims src/linter.rs:286 REQ-03-01-09-01
check_graph_contract src/checkers/frontmatter.rs:1259 REQ-08-01-36-01
check_id_policy src/linter.rs:37 REQ-01-01-18-01
check_id_policy src/linter.rs:38 REQ-01-01-18-04
check_lifecycle_vocabulary src/linter.rs:257 REQ-03-01-09-02
check_source src/checkers/frontmatter.rs:953 REQ-08-01-28-01
check_source src/checkers/frontmatter.rs:954 REQ-08-01-28-02
check_source src/checkers/frontmatter.rs:955 REQ-08-01-28-03
claim_targets src/rewriter.rs:193 REQ-08-01-40-02
claims src/reporter.rs:416 REQ-08-01-41-01
claims_csv src/reporter.rs:394 REQ-08-01-41-01
coverage_command src/trace.rs:912 REQ-01-01-08-01
coverage_command src/trace.rs:913 REQ-01-01-08-02
coverage_command src/trace.rs:914 REQ-01-01-08-03
coverage_command src/trace.rs:916 REQ-03-01-10-02
coverage_command src/trace.rs:917 REQ-03-01-10-03
coverage_unit src/reporter.rs:1123 REQ-07-01-10-01
derive_claim_triples src/rewriter.rs:243 REQ-08-01-40-02
documents src/store.rs:13 REQ-01-01-17-01
effective_claim_confidence src/checkers/frontmatter.rs:1317 REQ-08-01-40-01
effective_external_types src/checkers/frontmatter.rs:69 REQ-08-01-29-02
effective_required_meta src/checkers/requirements.rs:59 REQ-01-01-19-03
effective_section_kinds src/checkers/frontmatter.rs:57 REQ-08-01-29-01
finalise src/rewriter.rs:388 REQ-01-01-06-01
finalise src/rewriter.rs:389 REQ-01-01-06-02
finalise src/rewriter.rs:390 REQ-01-01-06-03
finalise src/rewriter.rs:391 REQ-00-00-00-08
fmt src/rewriter.rs:286 REQ-01-01-03-01
fmt src/rewriter.rs:287 REQ-01-01-03-02
fmt src/rewriter.rs:288 REQ-01-01-03-03
freshness src/trace.rs:1215 REQ-03-01-11-01
freshness src/trace.rs:1216 REQ-03-01-11-02
frontmatter_line_count src/assembler.rs:156 REQ-02-01-12-01
frontmatter_line_count src/assembler.rs:157 REQ-02-01-12-02
frontmatter_line_count src/assembler.rs:158 REQ-02-01-12-03
frontmatter_vocab src/config.rs:478 REQ-08-01-29-01
frontmatter_vocab src/config.rs:479 REQ-08-01-29-02
heading_ownership src/config.rs:401 REQ-02-01-12-04
id_pattern_for_kind src/config.rs:543 REQ-01-01-18-01
init src/templates.rs:575 REQ-01-01-01-01
init src/templates.rs:576 REQ-01-01-01-02
key_order src/rewriter.rs:65 REQ-01-01-19-01
kind_contracts src/config.rs:495 REQ-01-01-19-01
kind_contracts src/config.rs:496 REQ-01-01-19-02
knowledge src/reporter.rs:125 REQ-05-01-15-01
knowledge src/reporter.rs:126 REQ-05-01-15-02
knowledge src/reporter.rs:127 REQ-05-01-15-03
linked_targets src/publisher.rs:704 REQ-04-01-07-03
lint src/checkers/frontmatter.rs:1587 REQ-01-01-11-07
lint src/checkers/requirements.rs:994 REQ-01-01-11-06
list src/store.rs:127 REQ-05-01-08-01
list src/store.rs:128 REQ-05-01-08-03
marker_body src/trace.rs:291 REQ-03-01-10-01
markers_command src/trace.rs:1735 REQ-03-01-06-04
matrix_command src/trace.rs:991 REQ-03-01-02-01
matrix_command src/trace.rs:992 REQ-03-01-02-02
matrix_command src/trace.rs:993 REQ-03-01-02-03
new_document src/templates.rs:357 REQ-00-00-00-05
new_document src/templates.rs:358 REQ-00-00-00-09
new_document src/templates.rs:359 REQ-00-00-00-13
new_document src/templates.rs:360 REQ-01-01-13-01
new_document src/templates.rs:361 REQ-01-01-13-02
pdf src/publisher.rs:228 REQ-04-01-03-04
pdf src/publisher.rs:229 REQ-04-01-03-05
pdf src/publisher.rs:230 REQ-04-01-03-06
pdf src/publisher.rs:231 REQ-04-01-03-07
pdf src/publisher.rs:232 REQ-04-01-03-09
process_modules src/config.rs:454 REQ-08-01-31-01
publish_policy src/config.rs:255 REQ-04-01-03-03
ratchet_command src/trace.rs:1026 REQ-04-01-15-01
ratchet_command src/trace.rs:1027 REQ-04-01-15-02
read src/store.rs:155 REQ-05-01-10-01
read src/store.rs:156 REQ-05-01-10-03
render_policy src/config.rs:348 REQ-04-01-03-08
report_freshness_gates src/verifier.rs:149 REQ-04-01-14-05
resolve src/config.rs:52 REQ-00-00-00-06
resolve src/config.rs:53 REQ-01-01-16-01
resolve src/config.rs:54 REQ-01-01-16-03
run src/linter.rs:12 REQ-01-01-04-01
run src/linter.rs:13 REQ-01-01-04-03
run src/linter.rs:14 REQ-01-01-04-04
run src/linter.rs:15 REQ-00-00-00-10
scan src/trace.rs:891 REQ-03-01-05-01
scan src/trace.rs:892 REQ-03-01-05-02
scan src/trace.rs:893 REQ-03-01-05-04
scan src/trace.rs:894 REQ-03-01-05-05
search src/store.rs:186 REQ-02-01-06-01
serve src/mcp.rs:17 REQ-05-01-12-01
show src/config.rs:609 REQ-01-01-16-02
site src/publisher.rs:18 REQ-04-01-03-01
site src/publisher.rs:19 REQ-04-01-03-02
site src/publisher.rs:20 REQ-04-01-03-03
site src/publisher.rs:21 REQ-04-01-07-01
site src/publisher.rs:22 REQ-04-01-07-02
snapshot src/reporter.rs:990 REQ-04-01-12-04
snapshot_strategy src/config.rs:203 REQ-04-01-14-05
stage_catalogue src/publisher.rs:388 REQ-04-01-17-01
stage_catalogue src/publisher.rs:389 REQ-04-01-17-02
stage_catalogue src/publisher.rs:390 REQ-04-01-17-03
staged_asset_rel src/publisher.rs:683 REQ-04-01-07-04
statements src/reporter.rs:1193 REQ-07-01-08-01
story_workflow_checks src/checkers/requirements.rs:666 REQ-01-01-11-08
story_workflow_checks src/checkers/requirements.rs:667 REQ-01-01-11-09
template src/templates.rs:101 REQ-01-01-20-01
template src/templates.rs:102 REQ-01-01-20-03
templates_dir src/config.rs:414 REQ-01-01-20-01
tool_result src/mcp.rs:143 REQ-05-01-12-03
unit_evidence_coverage src/reporter.rs:423 REQ-08-01-41-02
unit_lines_of_code src/reporter.rs:1015 REQ-07-01-09-01
unit_source_catalog src/reporter.rs:293 REQ-08-01-37-01
validate src/config.rs:598 REQ-01-01-16-01
verify src/verifier.rs:29 REQ-04-01-05-01
verify src/verifier.rs:30 REQ-04-01-05-02
verify src/verifier.rs:31 REQ-04-01-05-03
verify src/verifier.rs:32 REQ-04-01-05-04
verify src/verifier.rs:33 REQ-04-01-14-01
verify src/verifier.rs:34 REQ-04-01-14-02
verify src/verifier.rs:35 REQ-04-01-14-04
verify src/verifier.rs:36 REQ-04-01-14-05
verify src/verifier.rs:37 REQ-03-01-11-03
verify_policy src/config.rs:176 REQ-04-01-14-01
verify_policy src/config.rs:177 REQ-04-01-14-03
src/checkers/frontmatter.rs:1043 REQ-08-01-34-01
src/checkers/frontmatter.rs:1437 REQ-08-01-36-01
src/checkers/frontmatter.rs:1438 REQ-08-01-36-02
src/checkers/frontmatter.rs:340 REQ-08-01-38-01
src/checkers/frontmatter.rs:346 REQ-08-01-35-01
src/checkers/frontmatter.rs:864 REQ-08-01-38-01
src/checkers/frontmatter.rs:907 REQ-08-01-35-01
src/checkers/requirements.rs:357 REQ-07-01-08-01
src/checkers/requirements.rs:923 REQ-08-01-31-01
src/config.rs:195 REQ-04-01-16-01
src/config.rs:29 REQ-01-01-17-02
src/config.rs:89 REQ-01-01-17-01
src/date.rs:48 REQ-01-01-06-01
src/linter.rs:348 REQ-02-01-09-01
src/main.rs:484 REQ-01-01-05-02
src/main.rs:488 REQ-01-01-01-03
src/mcp.rs:73 REQ-05-01-12-02
src/policy.rs:35 REQ-01-01-07-01
src/publisher.rs:106 REQ-04-01-19-02
src/publisher.rs:127 REQ-04-01-19-01
src/publisher.rs:58 REQ-04-01-07-05
src/publisher.rs:86 REQ-04-01-07-03
src/reporter.rs:944 REQ-08-01-41-01
src/reporter.rs:954 REQ-07-01-08-02
src/rewriter.rs:213 REQ-08-01-41-01
src/templates.rs:394 REQ-08-01-39-01
src/templates.rs:405 REQ-08-01-33-01
src/templates.rs:439 REQ-01-01-18-01
src/templates.rs:483 REQ-08-01-33-02
src/templates.rs:605 REQ-01-01-20-02
src/templates.rs:638 REQ-08-01-24-01
src/templates.rs:639 REQ-08-01-24-02
src/trace.rs:1034 REQ-04-01-16-01