FilesExpand file tree

main

/

shall.yaml

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

51 lines (45 loc) · 2.41 KB

main

/

shall.yaml

Copy path

Top

File metadata and controls

• Code
• Blame

51 lines (45 loc) · 2.41 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

# shall workspace config. The CLI finds this file by walking up from the cwd

# (or via --config / SHALL_CONFIG). This is the organisation corpus: it extends nothing.

prefix: JRFC

corpus: corpus/rfcs

domains: corpus/domains.yaml

index: corpus/index

jev:

model: jev-1.13.0 # pinned: thresholds below were tuned against this version

cache: .shall-cache/jev.json

concurrency: 4 # higher bursts triggered 503s from the API during the PoC

max_chunk_chars: 40000 # ~10k tokens; smaller chunks = less context rot

max_request_tokens: 56000 # stay under the 64k request budget

selection:

strategy: flat # flat (every eligible statement) | layered (domain -> rfc -> statement)

# measured at ~540 statements: flat recall 0.93 vs layered 0.82, ~$0.003 per case

# (make eval-scale); layered drops rules whose domain description is too narrow

thresholds: # recall-oriented: a missed rule is silent, a spare rule is cheap

domain: 0.25

rfc: 0.30

statement: 0.50

always_domains: [security] # cross-cutting: never pruned at the domain layer

facts: true # known_effects from corpus/effects.yaml in the Jev state (+ reviewer)

facts_depth: 3 # call hops followed through the repository for indirect effects

include_status: [approved, enforced]

conflicts:

fail_threshold: 0.75 # tuned on a handful of pairs; revisit with more authored rules

report_threshold: 0.60

exclude_domains: [governance] # rules about RFC files are not compared with engineering rules

codegraph:

download_grammars: true # false: never download a grammar during a run (CI runs `shall prefetch`)

hooks:

# a secret-scanner hit (code, not Jev) breaks this statement for the matching tool

secrets:

- ["Write|Edit|MultiEdit|NotebookEdit", JRFC-0004.1]

- [".*", JRFC-0012.4]

review:

# shall always appends --tools "" (no tools), a JSON schema and a fixed system prompt (JTOOL-0002.1)

command: [claude, -p]

model: claude-sonnet-5 # pinned id, not the `sonnet` alias (JTOOL-0001.4)

timeout: 300 # seconds per agent call

verify: true # a finding blocks only if the verifier saw its evidence

verify_retrieval: treesitter # treesitter (code graph + keyword) | keyword

# verify_model: claude-haiku-4-5-20251001 # measured: same accuracy, same cost, 2.7x slower

concurrency: 4

max_comments: 25