feat(acms): implement budget enforcement for max_file_size and max_total_size constraints #9673

Merged
HAL9000 merged 7 commits from feat/v3.4.0-acms-budget-enforcement into master 2026-06-18 00:34:24 +00:00

7 Commits

Author SHA1 Message Date
HAL9000 650a3dc8dd fix(acms): format __init__.py, add coverage for budget_enforcement paths
CI / load-versions (pull_request) Successful in 16s
CI / push-validation (pull_request) Successful in 25s
CI / lint (pull_request) Successful in 48s
CI / build (pull_request) Successful in 41s
CI / quality (pull_request) Successful in 59s
CI / typecheck (pull_request) Successful in 1m18s
CI / security (pull_request) Successful in 1m21s
CI / helm (pull_request) Successful in 44s
CI / unit_tests (pull_request) Successful in 5m44s
CI / docker (pull_request) Successful in 1m41s
CI / integration_tests (pull_request) Successful in 10m20s
CI / coverage (pull_request) Successful in 11m54s
CI / status-check (pull_request) Successful in 3s
- Remove unnecessary parentheses from __all__ concatenation in acms/__init__.py
  to satisfy ruff format (lint gate was failing)
- Mark unreachable RuntimeError branch in add_file with # pragma: no cover
- Add 8 Behave scenarios covering previously uncovered lines:
  get_assembled_context(), reset(), BudgetEnforcer.__post_init__ validation
  errors, add_file validation errors, BudgetViolation unknown type
- Add corresponding step definitions; import BudgetViolation in steps module

ISSUES CLOSED: #9583
2026-06-17 19:54:20 -04:00
controller-ci-rerun cdc5eec717 chore: re-trigger CI [controller] 2026-06-17 19:54:20 -04:00
HAL9000 de65e4408a fix(acms): satisfy architecture dataclass check and ruff format
- Use @dataclass(slots=True) on BudgetViolation, ContextFile, BudgetEnforcer
  so the features/architecture.feature "Type hints are used throughout"
  scenario passes (the AST check only flags bare @dataclass decorators,
  consistent with the project-wide convention used elsewhere in src/).
- Re-format features/steps/acms_budget_enforcement_steps.py and
  robot/helper_acms_budget_enforcement.py via ruff format to clear the
  lint gate's ruff format --check failure.

ISSUES CLOSED: #9583
2026-06-17 19:54:20 -04:00
HAL9000 9325a75403 fix(acms): restore explicit UKO re-exports, fix type annotations, clean lint directives
Restore explicit 'from cleveragents.acms.uko import (...)' block in __init__.py so that acms_skeleton_compressor.py can import CODE_DETAIL_LEVEL_MAP etc.

Fix invalid dict[str, callable] annotation in robot helper to use
collections.abc.Callable[[], None].

Remove unused noqa directives (E501, C901) now that ruff rules are stricter.

ISSUES CLOSED: #9583
2026-06-17 19:54:20 -04:00
HAL9000 870a51bff8 fix(acms): resolve CI failures in budget enforcement PR #9673
- Fix BDD test state leakage by unconditionally resetting BudgetEnforcer
  in step_create_budget_enforcer_with_max_total_size instead of using
  conditional if/else reconstruction that skipped the first Background
  step's max_file_size from being preserved.
- Add explicit type annotations (context: object) to all Behave step
  function signatures for Pyright compliance.
- Fix ruff format compliance by standardizing decorator string
  formatting in acms_budget_enforcement_steps.py.
- Correct __init__.py exports: renamed _uks_exports -> _uko_exports
  typo and fixed the __all__ reference to use the corrected variable.
- Add Robot Framework integration test helper using inline imports
  (from cleveragents.acms.budget_enforcement import BudgetEnforcer)
  instead of sys.path manipulation, and update robot tests to use
  python3 and ${WORKSPACE} paths for CI compatibility.

ISSUES CLOSED: #9583
2026-06-17 19:54:20 -04:00
HAL9000 17266f16e3 fix(acms): resolve state leakage in BDD step definitions and fix export variable name
- Rename _uks_exports to _uko_exports for consistency with import alias
- Move BudgetEnforcer reconstruction out of if/else branch in
  step_create_budget_enforcer_with_max_total_size so it always creates
  a fresh instance, eliminating cross-scenario state leakage

The root cause was that the second Background step unconditionally
overwrote the enforcer only when hasattr existed — but the enforcer
from the previous scenario carried over stale constraints. Now both
Background steps run in a well-defined sequence: step_one sets
max_file_size, step_two reconstructs with that preserved value and
new max_total_size, before every scenario.

ISSUES CLOSED: #9583
2026-06-17 19:54:20 -04:00
HAL9000 4d5fa6a9d1 feat(acms): implement budget enforcement for max_file_size and max_total_size constraints
Add ACMS BudgetEnforcer dataclass with per-file (max_file_size) and
aggregate (max_total_size) constraint enforcement. Includes:

- BudgetEnforcer: core enforcer with add_file(), get_assembled_context(),
  get_violations(), reset() methods and defensive-copy returns
- BudgetViolation: structured violation reporting with filename, file_size,
  limit, and clear actionable messages (error for max_file_size, warning
  for max_total_size)
- ContextFile: size tracking with automatic byte-size calculation from UTF-8

Also updates src/cleveragents/acms/__init__.py to export budget enforcement
classes alongside existing UKO vocabulary exports.

Comprehensive BDD test coverage: 11 Behave scenarios covering inclusion,
exclusion, boundary conditions, cumulative budget cutoff, ordering,
metadata reporting, empty files, and multi-byte UTF-8 measurement.
Robot Framework integration tests with helper module.

ISSUES CLOSED: #9583

Signed-off-by: HAL9000 <hal9000@cleverthis.com>
2026-06-17 19:54:20 -04:00