feat(protocols): declare WebServiceRules protocol for validate_business_rules

[marlon-costa-dc]

Slice / bead

V8 slice S4 (bead flext-4jtcb.10), member lane 2/3, consumers-first: before flext-core trims p.Service to (settings, container, context, logger, track, execute), this member declares its own local protocol for the phantom validate_business_rules() member that its six real service classes already implement.

What / why

• src/flext_web/_protocols/lifecycle.py: add p.Web.WebServiceRules, a @runtime_checkable Protocol declaring only validate_business_rules(self) -> p.Result[bool]. It extends p.Base, not p.Service, because p.Service currently still carries unimplemented members (service_info, ok, fail_op) that would make any protocol extending it structurally unsatisfiable by a real service today.
• FlextWebApp, FlextWebAuth, FlextWebEntities, FlextWebHandlers, FlextWebHealth, FlextWebServices (all six real p.Service-based service classes) already implement validate_business_rules; bodies unchanged.
• tests/unit/test_services.py: new behavioral test test_web_satisfies_its_own_service_rules_protocol proving isinstance(web, p.Web.WebServiceRules) is True against the real composed FlextWeb facade singleton, and .validate_business_rules() is callable with its real result. The isinstance check runs through a @staticmethod helper typed (candidate: p.Base) -> bool so pyright does not narrow the argument to the concrete FlextWeb type and flag the check as reportUnnecessaryIsInstance.
• make upg / make gen refreshed uv.lock, pyproject.toml, Makefile, .gitignore, mkdocs.yml and toolchain-generated docs projections in the same commit.

Runtime proof (E3, before/after)

$ .venv/bin/python -c "
from flext_web import p, web
print('isinstance:', isinstance(web, p.Web.WebServiceRules))
print(web.validate_business_rules())
"
isinstance: True
success=True error=None error_code=None error_data=None

Before this change, p.Web.WebServiceRules did not exist.

Gate exits

Verb	Exit
make upg	0
make setup	0
make gen (x2, fixed point)	0 / 0
make fix	non-zero — pre-existing, unrelated: the markdown-code gate fails to compile a fence in docs/configuration/README.md:11 (````python malformed fence), a known defect covered by the separate fix/markdown-fences-compile branch per this session's brief. Confirmed with md_fence_scan.py: only docs/configuration/README.md:76 fails, a file this PR does not touch.
make fmt	0
make check	0
make mod	0 (0 actionable; 21 pre-existing detection-only ban-test-tautology findings in files this PR does not touch: tests/unit/test_constants.py, test_fields.py, test_models.py)
make test	0 (11 passed)

Consumer table

No downstream member in this fleet currently declares a sub-protocol over p.Web.WebServiceRules; this PR is additive-only (new protocol + new test), zero call-site changes.

LOC delta

+108 / -40 across 11 files (mostly toolchain-generated: lock, docs projections). Hand-authored delta: _protocols/lifecycle.py +15/-0, tests/unit/test_services.py +9/-1.

DO NOT MERGE.

🤖 Generated with Claude Code

---

Summary by cubic

Adds p.Web.WebServiceRules, a runtime-checkable protocol declaring validate_business_rules(), so flext-web declares its own service-rules capability before flext-core trims the currently-unimplemented p.Service surface. The change is additive-only: all six real service classes already implement the method, and no call sites change.

Details

• The protocol extends p.Base, not p.Service, because p.Service still carries unimplemented members (service_info, ok, fail_op) that would make it structurally unsatisfiable.
• Adds a behavioral test proving the composed FlextWeb facade satisfies the protocol and validate_business_rules() resolves to True; the isinstance check runs through a p.Base-typed static helper to avoid a pyright reportUnnecessaryIsInstance false positive.
• Merged origin/0.12.0-dev and reran make upg/make gen: the lockfile now pins S2/S3/S5 integration tips, pyproject.toml drops the fail_under coverage floor, and a Git hook validation script plus regenerated docs landing pages arrived with the toolchain refresh.

^{Written for commit 48b684e. Summary will update on new commits.}

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud