-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#154 In raccioly/testguard;
gate/status evaluate a nested project's files against the parent claims file (58% false UNCLAIMED)
bugSomething isn't workingSomething isn't workingStatus: Open.#150 In raccioly/testguard;Where a generated claim can come from: enumerate structure, not intent
adoptionGetting an existing codebase from zero to meaningful claimed surfaceGetting an existing codebase from zero to meaningful claimed surfaceclaim-qualityWhat a claim is, where it comes from, and whether its evidence is independentWhat a claim is, where it comes from, and whether its evidence is independentspecChanges a shared format or GATE-SEMANTICSChanges a shared format or GATE-SEMANTICSStatus: Open.Roadmap: v0.10 adoption — the tool is a ratchet and the codebase needed a ladder
adoptionGetting an existing codebase from zero to meaningful claimed surfaceGetting an existing codebase from zero to meaningful claimed surfaceclaim-qualityWhat a claim is, where it comes from, and whether its evidence is independentWhat a claim is, where it comes from, and whether its evidence is independentStatus: Open.No adoption path for an existing codebase: the loop is reactive, so a mature repo starts and stays at ~0% claimed
adoptionGetting an existing codebase from zero to meaningful claimed surfaceGetting an existing codebase from zero to meaningful claimed surfaceclaim-qualityWhat a claim is, where it comes from, and whether its evidence is independentWhat a claim is, where it comes from, and whether its evidence is independentfield-reportRaised from running TestGuard on a real codebaseRaised from running TestGuard on a real codebaseStatus: Open.Every subcommand's --help prints the global blob plus probe's options
bugSomething isn't workingSomething isn't workingcli-uxDiscoverability and ergonomics of the command lineDiscoverability and ergonomics of the command linefield-reportRaised from running TestGuard on a real codebaseRaised from running TestGuard on a real codebaseStatus: Open."0 claims carry a @claim annotation" is reported without severity, consequence or a way to fix it
adoptionGetting an existing codebase from zero to meaningful claimed surfaceGetting an existing codebase from zero to meaningful claimed surfacecli-uxDiscoverability and ergonomics of the command lineDiscoverability and ergonomics of the command linefield-reportRaised from running TestGuard on a real codebaseRaised from running TestGuard on a real codebaseStatus: Open.scaffold mints one claim per file and function, teaching that claims are function-shaped
claim-qualityWhat a claim is, where it comes from, and whether its evidence is independentWhat a claim is, where it comes from, and whether its evidence is independentfield-reportRaised from running TestGuard on a real codebaseRaised from running TestGuard on a real codebaseStatus: Open.Claim provenance is collected but never gated on: a comment-derived claim counts the same as a spec-derived one
claim-qualityWhat a claim is, where it comes from, and whether its evidence is independentWhat a claim is, where it comes from, and whether its evidence is independentfield-reportRaised from running TestGuard on a real codebaseRaised from running TestGuard on a real codebaseStatus: Open.scaffold asks what the code guarantees, which produces tautological claims that canonise bugs
claim-qualityWhat a claim is, where it comes from, and whether its evidence is independentWhat a claim is, where it comes from, and whether its evidence is independentfield-reportRaised from running TestGuard on a real codebaseRaised from running TestGuard on a real codebaseStatus: Open.The verdict vocabulary encodes TestGuard's question, and three formats hard-require it
claim-qualityWhat a claim is, where it comes from, and whether its evidence is independentWhat a claim is, where it comes from, and whether its evidence is independentspecChanges a shared format or GATE-SEMANTICSChanges a shared format or GATE-SEMANTICSStatus: Open.defendedByis per claim but cost is per fault, so one expensive fault drags its cheap siblingscostProbe budget and gate wall-clockProbe budget and gate wall-clockspecChanges a shared format or GATE-SEMANTICSChanges a shared format or GATE-SEMANTICSStatus: Open.