Commit Graph
151 Commits
Author SHA1 Message Date
Violin 5355ff1b68 fix(guard): review-block curl -s without status capture so receipts are decisive 2026-08-11 19:43:26 +01:00
Violin f593b359ae fix(score): count FIND-confirmed findings in technical proof union; cap formalization <=100% 2026-08-11 19:36:35 +01:00
Violin 132e6f7c9a fix(guard): require Validated hypotheses to link canonical FIND files at VULN_RESEARCH close 2026-08-11 18:24:32 +01:00
Violin 9a40ec645c fix(guard): block rejections that never ran their cheapest discriminating test 2026-08-11 17:57:02 +01:00
Violin f04116377e docs(changelog): condense 3.1.0 entry to tight bullet summary 2026-08-11 17:11:04 +01:00
Violin 6b2bc26af3 fix(benchmark): seed engage brief, close phase-skip loophole, evidence-backed coverage 2026-08-11 17:09:35 +01:00
Violin b8262d585d feat(guard): record-as-you-go recency gate — hard block on deferred bookkeeping
The advisory contract rule was not enough: flash-class agents defer
hypothesis/coverage/PTT writes to closeout, then reconstruct results from
conversation memory after compression — the false-positive factory.

check_hypothesis_freshness now hard-blocks further target commands when the
newest execution evidence is newer than the hypothesis board's last update
(15 min grace for burst timing). The agent MUST record the batch result via
violin_record_hypothesis before proceeding. Bursts preflight all commands
before any executes, so no mid-burst false blocks.

Also fixes a silent test-suite gap: tests/__init__.py and the four
subpackage __init__.py files were missing, so 171 integration tests
(incl. test_plugin_guard.py which pins freshness behavior) NEVER ran.
Suite went from 248 passed / 7 collection errors to 419 passed, 0 errors.
2026-08-11 13:46:53 +01:00
Violin 119e0c1600 feat(guard): friction auto-logs at block time + record-as-you-go contract
Agent was deferring framework feedback and state writes to closeout, then
reconstructing what happened from conversation memory after compression —
the exact mechanism that fabricates false positives.

- Guard now self-logs: _check_command_internal appends a Guard Block/Review
  row to state/framework_feedback.md at the moment check_command rejects a
  command (only when the file exists, i.e. benchmark engagements; no-op
  otherwise). Friction is captured with zero agent bookkeeping.
- SKILL.md Operational Contract: 'Record as you go' — after EVERY
  violin_review_batch, immediately update hypothesis board + coverage matrix
  + PTT in the same turn; never batch state writes to closeout, never
  reconstruct tests from memory. State files are the only source of truth.
- 5 new tests: block-row append, no-op without file/errors, dedupe, pipe
  escaping.

243 tests pass, ruff clean.
2026-08-11 13:41:51 +01:00
Violin e0b3cea379 fix(benchmark): curl-form endpoint matching + decisive discriminators
- _method_route_in_text now accepts '-X POST <url>' reproduction commands
  (quoted URLs no longer break the match) — recovers referral-abuse
- coupon-100-discount: decisive patterns (INTERNAL100 / 'discounted to $0')
  kill the false positive from a neg-qty finding whose checkout sent
  coupon_code:null
- weak-admin-creds: decisive patterns (DefaultCredentials / admin:password)
  stop mass-assign role-granted text from confirming it
- vuln-research playbook + hypothesis template: mandate 1:N Linked findings
  (an unlinked FIND file scores 0 even with perfect evidence)

Calibration still 20/20 + 0/0. Latest run re-scored: 6/20, now all true
positives (false coupon + false creds removed, referral recovered).
2026-08-11 13:03:47 +01:00
Violin 5c83ee3fdc fix(benchmark): closeout must finalize, not re-run; friction log benchmark-scoped
- _engagement_needs_closeout no longer fires on leftover unchecked PTT rows:
  a single '[ ]' task marker triggered a continuation pass that re-ran the
  entire assessment (255 msgs / 20m50s) instead of closing out. Closeout is
  now gated on the artifacts the scorer consumes (FIND files + report.md +
  retrospective.md) only.
- Closeout goal rewritten to be surgical: assessment is COMPLETE, evidence is
  final, no new tests/scans/verification, no evidence modification; only
  generate missing report/retrospective (prefer generate-closeout) and update
  PTT statuses.
- Friction-log instruction moved out of the general pentest SKILL.md (it is a
  benchmark-only artifact) into the benchmark goal prompt so the agent
  actually sees it.
- New pinned tests: leftover-PTT-row closeout detection, closeout-goal
  wording.
2026-08-10 21:23:54 +01:00
Violin ddffe9cccc fix(benchmark): engagement start stamp in local time, not UTC
datetime.now(UTC) made benchmark-run-<ts> dirs and started_at an hour
early on UTC+1 hosts. Use local wall-clock time for the run stamp.
2026-08-10 21:05:28 +01:00
Violin bbc2d93a63 feat(guard): generated closeout artifacts + framework-owned methodology
- generate-closeout CLI derives findings.yaml and report.md from canonical
  FIND-NNN.md files; agent closeout reduced to executive-summary narrative
- Per-finding recording cut from 4 surfaces to 2 (hypothesis + FIND)
- New skills/pentest/references/exhaustive-coverage.md mandated from SKILL.md;
  Operational Contract (SKILL.md S7) and Citation Discipline (evidence ref S8)
- Benchmark goal/closeout prompts reduced to task + integrity constraint

Tests: 233 passed (7 new); live-verified against real Aug 10 run (10/10
findings, ids+severities match hand-written original).
2026-08-10 20:52:10 +01:00
Violin 3807d22eaa fix(benchmark): evidence-gated scorer contract, false-positive discriminators, runner validity
- Confirm Validated hypotheses via canonical FIND-NNN.md matched in live-app
  terms (METHOD + endpoint route) alongside execution bundles
- require/require_any discriminators for shared-endpoint challenges;
  absence-type scoring for no-rate-limiting
- Runner: closeout timeout is a soft warning, not run invalidation
- ai_judge: whitelist legitimate closeout artifacts in schema-drift audit
- Align version surfaces to 3.1.0; move pyyaml to runtime deps

Calibration: known-good 20/20, known-bad 0/0. Latest run re-scored 4 -> 9.
2026-08-10 20:52:02 +01:00
Violin a3326c2ed4 merge: topic branches for eval score verification 2026-08-10 08:57:12 +01:00
Violin 48a4f214d6 feat(guard): add receipt integrity verifier, fail-closed state parsers, and guard runtime tests 2026-08-10 08:54:56 +01:00
Violin 48119a64cf feat(benchmark): implement proof verifier, AI judge refinements, and duck-store calibration evidence 2026-08-10 08:54:35 +01:00
Violin 1e1971aa6a feat(skills): update pentest playbooks, recon methodologies, and scope templates 2026-08-10 08:54:23 +01:00
Violin 7ca3c0b6c5 chore: remove whitespace from benchmark config 2026-08-08 13:30:33 +01:00
Violin d41aec7457 fix(guard): stabilize engagement path resolution 2026-08-08 13:29:11 +01:00
Violin d7e139c486 feat: implement violin_guard plugin with secure execution adapters, terminal policies, and pentest skill frameworks 2026-08-08 13:29:11 +01:00
Violin 5e21f2257f fix(benchmark,guard): enhance benchmark profiling, guard UX, and findings integration 2026-08-08 13:29:11 +01:00
Violin 9ed494d439 feat: introduce benchmark runner with Docker support and automated vulnerability calibration evidence 2026-08-08 13:29:11 +01:00
Violin 4b21dce94a feat: harden benchmark evaluation and guard runtime 2026-08-08 13:29:11 +01:00
3b21e0a92a feat: Automated Benchmark Runner and Evaluation Framework (#68)
* fix: bump distribution version to 3.0.1

* feat(benchmark): introduce benchmark runner engine, Docker containerization, and calibration datasets

* Fix URL/path scope exclusions and update duck-store template

- Modified targets.py to ensure that excluding a specific URL or path does not result in the entire host being blocked. Implemented a strict command payload check for excluded endpoints.

- Updated duck-store benchmark scope template to explicitly block the /vulnerabilities endpoint (which leaks intentional challenges) while allowing access to endpoint documentation.

* fix: correct scope.yaml indentation and refine guard blocking messages

* fix: resolve ModuleNotFoundError when score.py is executed directly

---------

Co-authored-by: Dan <dan@strategicautomation.local>
2026-08-08 13:29:11 +01:00
DanandGitHub 2709b6a69f Merge pull request #66 from Strategic-Automation/fix/distribution-version-3.0.1
fix: bump distribution version to 3.0.1
v3.0.1
2026-08-04 18:56:23 +01:00
Dan 08684d65b1 fix: bump distribution version to 3.0.1 2026-08-04 18:55:42 +01:00
DanandGitHub d89fc64d4e chore(release): bump version to 3.0.1 (#65)
Merge dev into master for 3.0.1 release
2026-08-04 17:24:29 +01:00
DanandGitHub 5071b9689f docs(release): align workflow instructions, hypothesis discipline, and release v3.0.1 (#64)
Merge dev into master
2026-08-04 17:18:44 +01:00
DanandGitHub 1ef97dee9e Release v3.0.0: workflow-stable engagement lifecycle
Promote the verified v3.0.0 workflow release from dev to master.
v3.0.0
2026-08-01 22:40:25 +01:00
Violin 1ce445ae59 Use project runtime in Windows smoke test 2026-08-01 22:37:57 +01:00
DanandGitHub 2932bdf46c Make execution lifecycle recovery PID-safe (#56)
Record PID creation times and deadlines, make restart recovery identity-safe, and use UUID batch IDs.
2026-08-01 22:32:27 +01:00
DanandGitHub 7607bcb181 Make burst admission atomic (#61)
Closes #11
2026-08-01 22:20:47 +01:00
DanandGitHub e5e258fa0b Fix dotted target parsing and network bookkeeping (#60)
Closes #17
2026-08-01 22:09:33 +01:00
DanandGitHub f72f838933 Recover interrupted skill delivery (#59)
Closes #55
2026-08-01 22:02:44 +01:00
DanandGitHub 09d8e842e3 Stabilize v3.0.0 workflow contracts (#58)
Closes #54
2026-08-01 21:56:15 +01:00
Violin 021fad0c0d chore: pin Python 3.11 in .python-version and pyproject.toml to match Hermes runtime 2026-07-26 17:25:27 +01:00
Violin acd270c171 fix(guard): use TypeVar for Python 3.11 compatibility in schemas.py 2026-07-26 17:23:25 +01:00
Violin d1ab4849bc docs: update CHANGELOG.md and README.md with merged branch features 2026-07-26 17:13:58 +01:00
Violin 6860f30876 style: format code with ruff 2026-07-26 17:11:10 +01:00
Violin 1e04f565b0 feat(guard): replace custom shell regexes with bashlex AST parsing 2026-07-26 17:11:05 +01:00
Violin 06a60afa47 feat(guard): upgrade IP/CIDR scope policy arithmetic to netaddr IPSet and yarl URL parsing 2026-07-26 17:10:27 +01:00
Violin 0b135660ee feat(guard): replace platform-specific process termination with psutil tree cleanup 2026-07-26 17:09:55 +01:00
Violin 58f487f19d feat(guard): migrate tool schemas and validation to Pydantic v2 2026-07-26 17:09:00 +01:00
Violin 7ee714a6ce fix(guard): resolve file path resolution and bootstrap issues 2026-07-26 16:03:02 +01:00
Violin 7979359855 feat: implement terminal_policy guard to restrict unsafe local command execution 2026-07-26 14:02:49 +01:00
Violin 19af0fcc52 feat: implement guard plugin PTT workflow automation and batch execution handlers with associated regression coverage 2026-07-26 11:06:27 +01:00
Violin e8c6a1c313 feat: implement terminal command guard policy to restrict target-touching actions 2026-07-26 11:04:05 +01:00
Violin 4fc7ffb4c6 feat: add terminal guard policy for filtering unsafe raw shell commands and include pentest playbook documentation. 2026-07-26 10:44:56 +01:00
Violin 728376fa0a perf(guard): pre-compile module-level regex constants in ptt.py 2026-07-25 14:28:35 +01:00
Violin af311a340e refactor(guard): flatten _has_target_literal nesting from depth 5 to 2 via token helper 2026-07-25 14:27:36 +01:00