{"$schema":"https://json.schemastore.org/sarif-2.1.0.json","version":"2.1.0","runs":[{"tool":{"driver":{"name":"codehealth","informationUri":"https://codehealth.canine.dev","rules":[{"id":"D3","name":"God Classes","shortDescription":{"text":"God Classes"},"helpUri":"https://codehealth.canine.dev/dimensions/D3"},{"id":"D4","name":"Code Duplication","shortDescription":{"text":"Code Duplication"},"helpUri":"https://codehealth.canine.dev/dimensions/D4"},{"id":"D5","name":"Coupling","shortDescription":{"text":"Coupling"},"helpUri":"https://codehealth.canine.dev/dimensions/D5"},{"id":"D8","name":"Code Coverage","shortDescription":{"text":"Code Coverage"},"helpUri":"https://codehealth.canine.dev/dimensions/D8"},{"id":"D9","name":"Test Distribution","shortDescription":{"text":"Test Distribution"},"helpUri":"https://codehealth.canine.dev/dimensions/D9"},{"id":"D13","name":"Secret Scanning","shortDescription":{"text":"Secret Scanning"},"helpUri":"https://codehealth.canine.dev/dimensions/D13","relationships":[{"target":{"id":"CWE-798","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-259","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]}],"properties":{"cwe":["CWE-798","CWE-259"]}},{"id":"D16","name":"Bus Factor","shortDescription":{"text":"Bus Factor"},"helpUri":"https://codehealth.canine.dev/dimensions/D16"},{"id":"D19","name":"Documentation Quality","shortDescription":{"text":"Documentation Quality"},"helpUri":"https://codehealth.canine.dev/dimensions/D19"},{"id":"D21","name":"Naming Consistency","shortDescription":{"text":"Naming Consistency"},"helpUri":"https://codehealth.canine.dev/dimensions/D21"},{"id":"D28","name":"Secrets (history)","shortDescription":{"text":"Secrets (history)"},"helpUri":"https://codehealth.canine.dev/dimensions/D28","relationships":[{"target":{"id":"CWE-798","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-259","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]}],"properties":{"cwe":["CWE-798","CWE-259"]}},{"id":"D29","name":"Static Analysis (SAST)","shortDescription":{"text":"Static Analysis (SAST)"},"helpUri":"https://codehealth.canine.dev/dimensions/D29","relationships":[{"target":{"id":"CWE-79","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-89","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-78","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-94","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-77","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]}],"properties":{"cwe":["CWE-79","CWE-89","CWE-78","CWE-94","CWE-77"]}},{"id":"D31","name":"IaC \u0026 Container Security","shortDescription":{"text":"IaC \u0026 Container Security"},"helpUri":"https://codehealth.canine.dev/dimensions/D31","relationships":[{"target":{"id":"CWE-1032","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-732","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-16","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]}],"properties":{"cwe":["CWE-1032","CWE-732","CWE-16"]}},{"id":"D34","name":"Knowledge Freshness","shortDescription":{"text":"Knowledge Freshness"},"helpUri":"https://codehealth.canine.dev/dimensions/D34"},{"id":"D35","name":"Change Coupling","shortDescription":{"text":"Change Coupling"},"helpUri":"https://codehealth.canine.dev/dimensions/D35"}]}},"results":[{"ruleId":"D3","level":"warning","message":{"text":"TooManyMethods: TypeChecker: TooManyMethods \u2014 113 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/typechecker.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"f2bffc76e0f46a0db52b59b96151b3943543d7e9e7ac18e615833b5b3dce065f"}},{"ruleId":"D3","level":"warning","message":{"text":"FileTooLong: src/typechecker.fs: FileTooLong \u2014 1810 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/typechecker.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"5eefa5510ed110fb8a17fd43161685adba8b3b8fa0184f7de5b3797cfbb6268e"}},{"ruleId":"D3","level":"warning","message":{"text":"TooManyMethods: Ast_util: TooManyMethods \u2014 83 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/ast_util.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"7724b8a97a4fb8d879761b80b2b819ccfa4a8c2dee6f0a0d208eeb6466bd4340"}},{"ruleId":"D3","level":"warning","message":{"text":"FileTooLong: src/transform.fs: FileTooLong \u2014 1108 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/transform.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"a54ca9339e01e2604e14d7c3b6dc350deb17f6f6416852f2151cff8372f68790"}},{"ruleId":"D3","level":"warning","message":{"text":"TooManyMethods: Transform: TooManyMethods \u2014 62 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/transform.fs"},"region":{"startLine":7}}}],"partialFingerprints":{"codehealthFindingId/v1":"f5d87f586b641dcd4bf8c6a0d512f114f9edd93c9656bdc3041bb89bfd65b1b5"}},{"ruleId":"D3","level":"warning","message":{"text":"FileTooLong: src/emit_common_lemmas.fs: FileTooLong \u2014 737 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_common_lemmas.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"f17ee755af4ff3f08cb134b595868f80874cf1ce98f1422f4ab76162550a6716"}},{"ruleId":"D3","level":"warning","message":{"text":"TooManyMethods: Emit_fstar_text: TooManyMethods \u2014 42 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_fstar_text.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"6ab7333db6e4818317a7df7654d9b29e03cf2a38811be3b15a72ddca721976eb"}},{"ruleId":"D3","level":"warning","message":{"text":"FileTooLong: src/emit_dafny_direct.fs: FileTooLong \u2014 667 significant lines (blank, comment-only and punctuation-only lines excluded). To reduce it, split the file along the responsibilities already in it: move each cohesive group of declarations into its own sibling file in the same module or package, so no one file has to be read whole to change one of them."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_dafny_direct.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"12fb194ccd1ad65a80248d94f2d6a1bb2c61a2dc591643541ed2364add533717"}},{"ruleId":"D3","level":"warning","message":{"text":"TooManyMethods: Emit_vale_text: TooManyMethods \u2014 34 methods. To reduce it, group the members that share the same data into a smaller type of their own and delegate to it, so no single type carries every responsibility."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"eca3aa5f4d2a8c6c8c7e89ed5694223132cb6f692af97ff53765e0d6c86bc073"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (13 lines \u00D7 2): tools/Vale/src/emit_vale_text.fs:312-324 | tools/Vale/src/emit_dafny_text.fs:224-236 \u2014 the copies sit in sibling files of one directory: extract the block into a single shared function in that directory and call it from each site, so a change lands once."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":312}}}],"partialFingerprints":{"codehealthFindingId/v1":"04dee57e030ed2f99057ca4b7ad714f0d0dd68108defb19f0b852e67df69a216"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (11 lines \u00D7 2): tools/Vale/src/emit_vale_text.fs:294-304 | tools/Vale/src/emit_dafny_text.fs:205-215 \u2014 the copies sit in sibling files of one directory: extract the block into a single shared function in that directory and call it from each site, so a change lands once."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":294}}}],"partialFingerprints":{"codehealthFindingId/v1":"4b3200876315e8edc902c40749c87cf34036796bb3fbe1d951efa04f2faa7852"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (9 lines \u00D7 2): tools/Vale/src/emit_vale_text.fs:218-226 | tools/Vale/src/emit_dafny_text.fs:178-186 \u2014 the copies sit in sibling files of one directory: extract the block into a single shared function in that directory and call it from each site, so a change lands once. Note that the copies do not run to the end of the range shown: their LAST lines are different code, not the same code under different names \u2014 the matched region ends inside that line. Extract the lines above it, and read the last line of each site separately."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":218}}}],"partialFingerprints":{"codehealthFindingId/v1":"9e1258c72fdd7a61daaab00ba8ffe68e866223562a718f5d8dfcee4a5278b6ac"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (9 lines \u00D7 2): tools/Vale/src/emit_vale_text.fs:338-346 | tools/Vale/src/emit_dafny_text.fs:242-250 \u2014 the copies sit in sibling files of one directory: extract the block into a single shared function in that directory and call it from each site, so a change lands once."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":338}}}],"partialFingerprints":{"codehealthFindingId/v1":"e1b591f8882f090e6e1610b1a856919ff489d98ffc7b36e0e24d89e6348b7fc0"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (7 lines \u00D7 2): tools/Vale/src/emit_vale_text.fs:172-178 | tools/Vale/src/emit_dafny_text.fs:133-139 \u2014 the copies sit in sibling files of one directory: extract the block into a single shared function in that directory and call it from each site, so a change lands once. Read the line range as the matched WINDOW rather than a finished unit: at \u0060tools/Vale/src/emit_vale_text.fs:172\u0060 it begins part-way through the construct above it, so those exact lines cannot be lifted as they stand \u2014 widen the region to the smallest complete statement or declaration that contains it, and extract that."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":172}}}],"partialFingerprints":{"codehealthFindingId/v1":"dd44d185629a9abf6d4a4e90ef2d579a0f67b79cbe9854c275da38898a10b5cb"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (7 lines \u00D7 2): tools/Vale/src/emit_vale_text.fs:198-204 | tools/Vale/src/emit_dafny_text.fs:158-164 \u2014 the copies sit in sibling files of one directory: extract the block into a single shared function in that directory and call it from each site, so a change lands once."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":198}}}],"partialFingerprints":{"codehealthFindingId/v1":"f2b0175e3e0bc495f076a4ecf2744076fe3edcf783c5b04bc062645f27c6cacb"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (6 lines \u00D7 2): tools/Vale/src/typechecker.fs:1347-1352 | tools/Vale/src/typechecker.fs:1428-1433 \u2014 both copies are in the same file, so extract the block into one function there and call it from each site \u2014 the copies drift apart the first time only one of them is edited. Read the line range as the matched WINDOW rather than a finished unit: at \u0060tools/Vale/src/typechecker.fs:1347\u0060 it does not close everything it opens, so those exact lines cannot be lifted as they stand \u2014 widen the region to the smallest complete statement or declaration that contains it, and extract that."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/typechecker.fs"},"region":{"startLine":1347}}}],"partialFingerprints":{"codehealthFindingId/v1":"270b5c3ba27a1dc6fc4040190c0641d1980bbec54238abdec1215449bbf1f874"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (6 lines \u00D7 2): tools/Vale/src/transform.fs:322-327 | tools/Vale/src/transform.fs:581-586 \u2014 both copies are in the same file, so extract the block into one function there and call it from each site \u2014 the copies drift apart the first time only one of them is edited. Note that the copies do not run to the end of the range shown: their LAST lines are different code, not the same code under different names \u2014 the matched region ends inside that line. Extract the lines above it, and read the last line of each site separately."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/transform.fs"},"region":{"startLine":322}}}],"partialFingerprints":{"codehealthFindingId/v1":"06a5bc19a3f668d5fdad6fe0a00c9bed35c864e5754f738b63fb0b147da061e7"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (6 lines \u00D7 2): tools/Vale/src/emit_fstar_text.fs:235-240 | tools/Vale/src/emit_fstar_text.fs:242-247 \u2014 both copies are in the same file, so extract the block into one function there and call it from each site \u2014 the copies drift apart the first time only one of them is edited. Note that the copies do not run to the end of the range shown: their LAST lines are different code, not the same code under different names \u2014 the matched region ends inside that line. Extract the lines above it, and read the last line of each site separately."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_fstar_text.fs"},"region":{"startLine":235}}}],"partialFingerprints":{"codehealthFindingId/v1":"80adee71ed7f047ca8a77ef97debf71400163869b42def84ac601d9bc827f6e8"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (5 lines \u00D7 2): tools/Vale/src/typechecker.fs:285-289 | tools/Vale/src/typechecker.fs:297-301 \u2014 both copies are in the same file, so extract the block into one function there and call it from each site \u2014 the copies drift apart the first time only one of them is edited. Note that the copies do not run to the end of the range shown: their LAST lines are different code, not the same code under different names \u2014 the matched region ends inside that line. Extract the lines above it, and read the last line of each site separately."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/typechecker.fs"},"region":{"startLine":285}}}],"partialFingerprints":{"codehealthFindingId/v1":"87f0f760c35d431091145cc5557df91b61080844ad35a6222240dbfb2ca4f681"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (5 lines \u00D7 2): tools/Vale/src/emit_vale_text.fs:82-86 | tools/Vale/src/emit_dafny_text.fs:63-67 \u2014 the copies sit in sibling files of one directory: extract the block into a single shared function in that directory and call it from each site, so a change lands once."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_vale_text.fs"},"region":{"startLine":82}}}],"partialFingerprints":{"codehealthFindingId/v1":"2be7993c505fd205237596a49bbd5c0c9df0e931aaf8e4df4be43ec30c2ba824"}},{"ruleId":"D8","level":"error","message":{"text":"No automated tests: No automated tests \u2014 no test code was found in this repository. Untested code is the largest single risk to changing it safely."},"locations":[],"partialFingerprints":{"codehealthFindingId/v1":"3132564c6310e5d01a231f252a02d5d2f5a542c0a8fa29a14c89693f1e3df871"}},{"ruleId":"D9","level":"note","message":{"text":"No tests found: No test suite could be collected \u2014 nothing here references a test framework (Expecto, or xUnit/NUnit through FsUnit or Unquote), so there were no discoverable tests to count. Tests written as plain executables or shell/PowerShell harnesses are not collectible this way and are not scored here."},"locations":[],"partialFingerprints":{"codehealthFindingId/v1":"c9bf64cbb5a4ae13d6bcd01fa3bc8d2879d860c73bc67f176ee3c2cecb8adce3"}},{"ruleId":"D16","level":"warning","message":{"text":"dormant codebase \u2014 no living knowledge left to concentrate: All 3 significant source file(s) were last meaningfully changed so long ago that no living knowledge remains \u2014 nothing since has been substantial enough to re-establish ownership (a broad, mechanical sweep that touches many files shallowly does not count, and neither does no activity at all). There is no concentration to measure, so the bus factor is not scored. This is not a clean bill: nobody currently holds working knowledge of this code (see D34 Knowledge Freshness)."},"locations":[],"partialFingerprints":{"codehealthFindingId/v1":"569d55ea5cb0330f13c125b289d07e5abdfcceac947a2c2645277937942e7d5f"}},{"ruleId":"D31","level":"error","message":{"text":"A security finding was recorded here. Its details are withheld on the public artifact \u2014 ask the repository owner for the full report."},"partialFingerprints":{"codehealthFindingId/v1":"ff167732e8b0ce734c5e23e8ce28d82982eff60633d9def2ccb3bca6f08edad8"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/typechecker.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"cb41d9fe1dcfc0debd4b93e4e3ff864cb350804a6f4d924f8cf5412fb922c8c2"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/transform.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"04287171738d60a7908f9150891509c774d0c5bbd1bd66d4ee5a58faae21603d"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/ImportFStarTypes/src/main.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"7666ea7e6264010236861036bce24f2f5abef3d3041ce6c830b03f6bb98a0be3"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Dafny/DafnyRuntime.cs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"310d16e78ab4a7b5907bbe554b3300b07ad22ccd5be96999e672968cda6a3151"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_common_lemmas.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"68a421df0cef45592653e6d7fd89564c21a137851c6f8bf6ecf42fd38d03a25a"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_dafny_direct.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"061d967a7dfcfe1baf2bf411a429a0880837f89117b604096b708adba9a58aa9"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/emit_fstar_text.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"2e5d13ce1ad158d37ff593866774900b39e08dded1a08ab43b88647ff39fd30d"}},{"ruleId":"D34","level":"error","message":{"text":"Orphaned knowledge: No living knowledge remains for this large file \u2014 its last meaningful change has decayed away; if it breaks, no one currently understands it. Schedule a read-through / add characterisation tests before it bites."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"tools/Vale/src/ast_util.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"c5088e00b68e83a512eba0a603cc4d8def01df5aa5f760422745ed54014390cb"}},{"ruleId":"D34","level":"note","message":{"text":"Further orphaned files (smaller): 9 smaller file(s) also have no living knowledge \u2014 folded into the freshness score and metrics rather than listed individually (17 orphaned of 17 analysed files in total, counted over production source files of roughly 100 lines or more, excluding tests, vendored, generated and example/demo trees, largest first)."},"locations":[],"partialFingerprints":{"codehealthFindingId/v1":"ce861fd78f6935114d3a342cb90ad25870f984e1042954fcbbe27c0e23be3658"}}],"taxonomies":[{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d","organization":"MITRE","informationUri":"https://cwe.mitre.org/","isComprehensive":false,"shortDescription":{"text":"The MITRE Common Weakness Enumeration (CWE)."},"taxa":[{"id":"CWE-1032","guid":"5f21e517-68aa-a650-9a25-5771ef024637","name":"OWASP Top Ten \u2014 Security Misconfiguration category","shortDescription":{"text":"OWASP Top Ten \u2014 Security Misconfiguration category"},"helpUri":"https://cwe.mitre.org/data/definitions/1032.html"},{"id":"CWE-16","guid":"659db3ea-affc-8453-8add-c1218fbfcb92","name":"Configuration","shortDescription":{"text":"Configuration"},"helpUri":"https://cwe.mitre.org/data/definitions/16.html"},{"id":"CWE-259","guid":"ae9ad959-fbb6-9d5e-892d-3dca66da0b69","name":"Use of Hard-coded Password","shortDescription":{"text":"Use of Hard-coded Password"},"helpUri":"https://cwe.mitre.org/data/definitions/259.html"},{"id":"CWE-732","guid":"1da27e8f-b330-7650-ab63-bd61953eae5d","name":"Incorrect Permission Assignment for Critical Resource","shortDescription":{"text":"Incorrect Permission Assignment for Critical Resource"},"helpUri":"https://cwe.mitre.org/data/definitions/732.html"},{"id":"CWE-77","guid":"332c8ade-6612-9f56-a06b-d8d90b1a8750","name":"Command Injection","shortDescription":{"text":"Command Injection"},"helpUri":"https://cwe.mitre.org/data/definitions/77.html"},{"id":"CWE-78","guid":"2e31ceaf-c7ae-2e5e-9661-cfb1362789cf","name":"OS Command Injection","shortDescription":{"text":"OS Command Injection"},"helpUri":"https://cwe.mitre.org/data/definitions/78.html"},{"id":"CWE-79","guid":"fd45580b-e8c4-fc5e-8c2f-aa8fab0b4dbf","name":"Cross-site Scripting (XSS)","shortDescription":{"text":"Cross-site Scripting (XSS)"},"helpUri":"https://cwe.mitre.org/data/definitions/79.html"},{"id":"CWE-798","guid":"5e8f057d-fee3-995a-a0cb-9fc5b0d174d1","name":"Use of Hard-coded Credentials","shortDescription":{"text":"Use of Hard-coded Credentials"},"helpUri":"https://cwe.mitre.org/data/definitions/798.html"},{"id":"CWE-89","guid":"6d08fdad-37eb-c150-bbf0-d7d946863407","name":"SQL Injection","shortDescription":{"text":"SQL Injection"},"helpUri":"https://cwe.mitre.org/data/definitions/89.html"},{"id":"CWE-94","guid":"75e7f50c-6c2f-dd52-bf40-bf6c52b861fd","name":"Code Injection","shortDescription":{"text":"Code Injection"},"helpUri":"https://cwe.mitre.org/data/definitions/94.html"}]}],"properties":{"codehealthPublication":{"public":true,"notice":"This is the PUBLIC form of this artifact. Findings are listed in full, but the details of SECURITY findings \u2014 which rule fired, in which file, on which line, and how to fix it \u2014 are deliberately withheld, and any secret-scanner results are excluded entirely. Where detail is absent here it was REMOVED FOR PUBLICATION; it is not missing from the analysis. The complete artifact is available from the repository owner.","securityFindingsRedacted":1,"secretScannerRunsExcluded":0}},"redactionTokens":["A security finding was recorded here. Its details are withheld on the public artifact \u2014 ask the repository owner for the full report."]}]}