{"$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":"D10","name":"Test Quality","shortDescription":{"text":"Test Quality"},"helpUri":"https://codehealth.canine.dev/dimensions/D10"},{"id":"D11","name":"Test Reliability","shortDescription":{"text":"Test Reliability"},"helpUri":"https://codehealth.canine.dev/dimensions/D11"},{"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":"D14","name":"License Compliance","shortDescription":{"text":"License Compliance"},"helpUri":"https://codehealth.canine.dev/dimensions/D14"},{"id":"D16","name":"Bus Factor","shortDescription":{"text":"Bus Factor"},"helpUri":"https://codehealth.canine.dev/dimensions/D16"},{"id":"D17","name":"Explicit Debt","shortDescription":{"text":"Explicit Debt"},"helpUri":"https://codehealth.canine.dev/dimensions/D17"},{"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":"D24","name":"Comment Value","shortDescription":{"text":"Comment Value"},"helpUri":"https://codehealth.canine.dev/dimensions/D24"},{"id":"D26","name":"Project Cohesion","shortDescription":{"text":"Project Cohesion"},"helpUri":"https://codehealth.canine.dev/dimensions/D26"},{"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":"D30","name":"Dependency Vulnerabilities","shortDescription":{"text":"Dependency Vulnerabilities"},"helpUri":"https://codehealth.canine.dev/dimensions/D30","relationships":[{"target":{"id":"CWE-1395","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]},{"target":{"id":"CWE-937","toolComponent":{"name":"CWE","guid":"c3a2b1d0-7f3e-4b2a-9c1d-5e6f7a8b9c0d"}},"kinds":["relevant"]}],"properties":{"cwe":["CWE-1395","CWE-937"]}},{"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"},{"id":"D39","name":"IL Efficiency","shortDescription":{"text":"IL Efficiency"},"helpUri":"https://codehealth.canine.dev/dimensions/D39"}]}},"results":[{"ruleId":"D3","level":"warning","message":{"text":"FileTooLong: FsCheck/Internals.DefaultArbs.fs: FileTooLong \u2014 738 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":"src/FsCheck/Internals.DefaultArbs.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"fca47f7b9c72ac0160e8aa642fd8d9bffd95fe80800e0448b5597cbf83739b2e"}},{"ruleId":"D3","level":"warning","message":{"text":"FileTooLong: FsCheck/Runner.fs: FileTooLong \u2014 545 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":"src/FsCheck/Runner.fs"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"8f8b6e8ba038bd18f86c30eccf8bb497ffc7694c3a2cc34f8cc5eab31a214132"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (17 lines \u00D7 3): src/FsCheck.NUnit/FsCheckPropertyAttribute.fs:47-63 | src/FsCheck.Xunit.v3/PropertyAttribute.fs:50-66 | src/FsCheck.Xunit/PropertyAttribute.fs:47-63 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere all 3 call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made 3 times."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck.NUnit/FsCheckPropertyAttribute.fs"},"region":{"startLine":47}}}],"partialFingerprints":{"codehealthFindingId/v1":"2e65be1fe0cd816905d7057eb4dbd3be2385750c08fb3cd3013fd7981aec8cb4"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (13 lines \u00D7 2): src/FsCheck.Xunit.v3/PropertyAttribute.fs:124-136 | src/FsCheck.Xunit/PropertyAttribute.fs:121-133 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere both call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made twice."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck.Xunit.v3/PropertyAttribute.fs"},"region":{"startLine":124}}}],"partialFingerprints":{"codehealthFindingId/v1":"7c630f5056f6f874bd55dad1cd2dd352d18aa1ef11723da0b41a7fb7530385df"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (12 lines \u00D7 3): src/FsCheck.NUnit/FsCheckPropertyAttribute.fs:83-94 | src/FsCheck.Xunit.v3/PropertyAttribute.fs:86-97 | src/FsCheck.Xunit/PropertyAttribute.fs:83-94 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere all 3 call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made 3 times."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck.NUnit/FsCheckPropertyAttribute.fs"},"region":{"startLine":83}}}],"partialFingerprints":{"codehealthFindingId/v1":"5fa4913c95c8fb969b5f5eca43686d17eb18ceefbe451add0dac87aa22dc02d4"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (12 lines \u00D7 3): src/FsCheck.NUnit/FsCheckPropertyAttribute.fs:121-132 | src/FsCheck.Xunit.v3/PropertyAttribute.fs:124-136 | src/FsCheck.Xunit/PropertyAttribute.fs:121-133 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere all 3 call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made 3 times."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck.NUnit/FsCheckPropertyAttribute.fs"},"region":{"startLine":121}}}],"partialFingerprints":{"codehealthFindingId/v1":"bcfd1925253187cf8f8d331fbe46b6ae88687ef6ed20274cdf9ada5016328dc8"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (12 lines \u00D7 2): src/FsCheck.NUnit/FsCheckPropertyAttribute.fs:145-156 | src/FsCheck.Xunit/PropertyAttribute.fs:146-157 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere both call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made twice."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck.NUnit/FsCheckPropertyAttribute.fs"},"region":{"startLine":145}}}],"partialFingerprints":{"codehealthFindingId/v1":"ff0837ea56214367f5433029bc550dfd953bace9caa0f2b3767534435da1e002"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (12 lines \u00D7 2): src/FsCheck.Xunit.v3/PropertyAttribute.fs:14-25 | src/FsCheck.Xunit/PropertyAttribute.fs:11-22 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere both call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made twice."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck.Xunit.v3/PropertyAttribute.fs"},"region":{"startLine":14}}}],"partialFingerprints":{"codehealthFindingId/v1":"c281929e0a79b3945a373ce9f76813bba92050358219b70ab5a6c75abe1c8154"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (12 lines \u00D7 2): src/FsCheck.Xunit.v3/PropertyAttribute.fs:107-118 | src/FsCheck.Xunit/PropertyAttribute.fs:104-115 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere both call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made twice. Read the line range as the matched WINDOW rather than a finished unit: at \u0060src/FsCheck.Xunit.v3/PropertyAttribute.fs:107\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":"src/FsCheck.Xunit.v3/PropertyAttribute.fs"},"region":{"startLine":107}}}],"partialFingerprints":{"codehealthFindingId/v1":"f48ed1a1fe57387e0cd2c033f1abd2a68c351b220c1087422629cfff9d9437ac"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (12 lines \u00D7 2): src/FsCheck.Xunit.v3/CheckExtensions.fs:35-46 | src/FsCheck.Xunit/CheckExtensions.fs:33-44 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere both call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made twice. Read the line range as the matched WINDOW rather than a finished unit: at \u0060src/FsCheck.Xunit.v3/CheckExtensions.fs:35\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":"src/FsCheck.Xunit.v3/CheckExtensions.fs"},"region":{"startLine":35}}}],"partialFingerprints":{"codehealthFindingId/v1":"615555b8aa3e094cb652387fbb5f20e915247e36506214e5e01fe7b138fa4538"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (9 lines \u00D7 2): examples/CSharp.DocSnippets/Properties.cs:75-83 | examples/CSharp.DocSnippets/Properties.cs:92-100 \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 \u0060examples/CSharp.DocSnippets/Properties.cs:75\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":"examples/CSharp.DocSnippets/Properties.cs"},"region":{"startLine":75}}}],"partialFingerprints":{"codehealthFindingId/v1":"309a38e8cc61a84f2d768375b1630e18f51ecf7c52cd221274f010af6c4d295e"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (8 lines \u00D7 4): examples/FsCheck.CSharpExamples/Program.cs:85-92 | examples/FsCheck.CSharpExamples/Program.cs:100-107 | examples/CSharp.DocSnippets/Properties.cs:76-84 | examples/CSharp.DocSnippets/Properties.cs:93-101 \u2014 there are 4 copies across 2 file(s) \u2014 more copies than files, so at least one file holds the block twice. Extract it once into a single shared function every call site can reach and call it from all 4 sites; resolving a subset leaves the remainder to drift apart. Read the line range as the matched WINDOW rather than a finished unit: at \u0060examples/FsCheck.CSharpExamples/Program.cs:85\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. 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":"examples/FsCheck.CSharpExamples/Program.cs"},"region":{"startLine":85}}}],"partialFingerprints":{"codehealthFindingId/v1":"1dc7bb38a707bef73202897e6c2bbd3a2dc99dcb709c1e7aac06f13f805a1e9d"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (8 lines \u00D7 2): examples/FsCheck.CSharpExamples/Program.cs:119-126 | examples/CSharp.DocSnippets/Properties.cs:103-111 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere both call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made twice. Read the line range as the matched WINDOW rather than a finished unit: at \u0060examples/FsCheck.CSharpExamples/Program.cs:119\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":"examples/FsCheck.CSharpExamples/Program.cs"},"region":{"startLine":119}}}],"partialFingerprints":{"codehealthFindingId/v1":"8807dd3071dc1351d36041c3998ab7a860faa326779f310f2c910b70e63da77d"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (8 lines \u00D7 2): src/FsCheck.Xunit.v3/Runner.fs:9-16 | src/FsCheck.Xunit/Runner.fs:9-16 \u2014 the copies span different directories, so extracting a shared function means choosing where it lives: put it somewhere both call sites can already reach \u2014 a location they all depend on today, or a new shared one if there is none \u2014 and call it from each site; until then, every change has to be made twice."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck.Xunit.v3/Runner.fs"},"region":{"startLine":9}}}],"partialFingerprints":{"codehealthFindingId/v1":"126c83232ea749c3d1a5b549357c31b650da5c922c88be645e4953a3cc823116"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (8 lines \u00D7 2): src/FsCheck/Runner.fs:543-550 | src/FsCheck/Runner.fs:636-643 \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 \u0060src/FsCheck/Runner.fs:543\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":"src/FsCheck/Runner.fs"},"region":{"startLine":543}}}],"partialFingerprints":{"codehealthFindingId/v1":"7d856a893d462b0cd421032ab1564407260833f5d0866170babdc1648dede901"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (8 lines \u00D7 2): src/FsCheck/Internals.DefaultArbs.fs:280-287 | src/FsCheck/Internals.DefaultArbs.fs:657-664 \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."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"src/FsCheck/Internals.DefaultArbs.fs"},"region":{"startLine":280}}}],"partialFingerprints":{"codehealthFindingId/v1":"8a1f7cefbffb54ff0f56703825aad8aad02445a6d79cea60fb8cab09dbe1ddd9"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (7 lines \u00D7 3): src/FsCheck/DefaultArbTypes.fs:87-93 | src/FsCheck/DefaultArbTypes.fs:96-102 | src/FsCheck/DefaultArbTypes.fs:105-111 \u2014 all 3 copies are in the same file, so extract the block into one function there and call it from every one of those sites \u2014 resolving only two of them leaves the rest to drift apart the first time one 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":"src/FsCheck/DefaultArbTypes.fs"},"region":{"startLine":87}}}],"partialFingerprints":{"codehealthFindingId/v1":"49f79ad7aaf829f2b938db282cf1f184160997f189efd3340f04c52cace88d09"}},{"ruleId":"D4","level":"warning","message":{"text":"Duplicated block (6 lines \u00D7 2): src/FsCheck/Internals.Reflect.fs:237-242 | src/FsCheck/Internals.Reflect.fs:261-266 \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 \u0060src/FsCheck/Internals.Reflect.fs:237\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":"src/FsCheck/Internals.Reflect.fs"},"region":{"startLine":237}}}],"partialFingerprints":{"codehealthFindingId/v1":"2ab0505b3ce1f259bad937d190535252208f8770e5c2c6bc35bd861d410be7d9"}},{"ruleId":"D8","level":"warning","message":{"text":"Coverage not measured \u2014 no coverage collector is wired up: Coverage NOT MEASURED: the test suite built and its tests PASSED, but the run produced no coverage data \u2014 \u0060--collect:\u0022XPlat Code Coverage\u0022\u0060 found no data collector, which is what a test project with no \u0060coverlet.collector\u0060 PackageReference does. Nothing is wrong with the suite or the build; there is simply no coverage instrumentation wired up. Add a \u0060coverlet.collector\u0060 PackageReference to the test project(s) (or commit the Cobertura/OpenCover/lcov report your CI produces) and real coverage will be measured. It is excluded from the score rather than counted as a near-zero defect."},"locations":[],"partialFingerprints":{"codehealthFindingId/v1":"62e63e619c28f057e129f2997c965d32a457366a9ce18ca019ffb6bdfba85c99"}},{"ruleId":"D19","level":"warning","message":{"text":"Low XML-doc coverage: FsCheck.CSharpExamples: FsCheck.CSharpExamples: 8 % XML-doc coverage (1/12)."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"examples/FsCheck.CSharpExamples/FsCheck.CSharpExamples.csproj"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"ed4a96077b32f668561cf786dea98c1134445e9e724a17e90ec7a77774de8617"}},{"ruleId":"D19","level":"warning","message":{"text":"Low XML-doc coverage: CSharp.DocSnippets: CSharp.DocSnippets: 0 % XML-doc coverage (0/39)."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"examples/CSharp.DocSnippets/CSharp.DocSnippets.csproj"},"region":{"startLine":1}}}],"partialFingerprints":{"codehealthFindingId/v1":"64fdc8e3b6c87349ed45b63fa817dc849a340ed7f0e460d4e5caa1eac6b7b134"}},{"ruleId":"D24","level":"note","message":{"text":"redundant comment: \u0022[revRevIsOrig] in RevRevIsOrig\u0022 \u2014 generated by the [revRevIsOrigFloat] comment, restates the decision; remove."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"examples/CSharp.DocSnippets/Properties.cs"},"region":{"startLine":45}}}],"partialFingerprints":{"codehealthFindingId/v1":"4597cd9d7a7cba380e7b7afc87d903e9ed93e99729720b4a293749fb0b35920e"}},{"ruleId":"D28","level":"note","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":"0e7dc205f8fc5ae1306d45b7d0c6da56c6cc0f518a0e5cdfe287b731a4229d07"}},{"ruleId":"D30","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":"7cf85abffe732f2645ef95a624d6badc26f0263616284d6a4cc46ca8e983031d"}},{"ruleId":"D30","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":"b96b7173c4377d5bea4d6fd7b52323631c631c44172b743bec6f266c10a4e538"}},{"ruleId":"D34","level":"note","message":{"text":"Further orphaned files (smaller): 2 of 22 analysed file(s) have no living knowledge left \u2014 their last meaningful change has decayed away, so if one breaks, no one currently understands it (counted over production source files of roughly 100 lines or more, excluding tests, vendored, generated and example/demo trees, largest first). None is large enough to earn a read-through of its own, so this row stands in for the per-file rows rather than raising one each \u2014 largest first: src/FsCheck/Internals.TypeClass.fs, src/FsCheck/Internals.Reflect.fs. Attach the read to the next change that touches one of them: have a second person review that change, and leave behind a short comment or test recording what the file is for, so the knowledge comes back at the cost of a change you were making anyway."},"locations":[],"partialFingerprints":{"codehealthFindingId/v1":"ce861fd78f6935114d3a342cb90ad25870f984e1042954fcbbe27c0e23be3658"}},{"ruleId":"D39","level":"note","message":{"text":"IL efficiency: 1 authored method(s) exceed the IL budget: 1 of 13 first-party methods compile to oversized IL bodies (\u003E 250 instructions); worst: FsCheck.CSharpExamples.Program.Main @ examples/FsCheck.CSharpExamples/Program.cs:51, 370 IL instructions; large bodies don\u0027t JIT-inline, which pulled this dimension to 8.5/10; splitting the hottest bodies recovers the most."},"locations":[{"physicalLocation":{"artifactLocation":{"uri":"examples/FsCheck.CSharpExamples/Program.cs"},"region":{"startLine":51}}}],"partialFingerprints":{"codehealthFindingId/v1":"10dafd443b1815d4c30b2574a6168d686bcc0763ec3e11e2cefaa7c391d035b0"}}],"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-1395","guid":"800e09e7-c11a-8654-9fa6-86f398995fed","name":"Dependency on Vulnerable Third-Party Component","shortDescription":{"text":"Dependency on Vulnerable Third-Party Component"},"helpUri":"https://cwe.mitre.org/data/definitions/1395.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-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-937","guid":"16f316ae-415c-b354-a59b-1f7905f756e9","name":"Using Components with Known Vulnerabilities","shortDescription":{"text":"Using Components with Known Vulnerabilities"},"helpUri":"https://cwe.mitre.org/data/definitions/937.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":3,"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."]}]}