specfact-cli 0.48.2__py3-none-any.whl → 0.49.1__py3-none-any.whl

specfact_cli/__init__.py

@@ -76,6 +76,6 @@ def _install_progressive_disclosure() -> None:
 # keeps missing-command and missing-parameter UX consistent outside the root CLI too.
 _install_progressive_disclosure()
 
-__version__ = "0.48.2"
+__version__ = "0.49.1"
 
 __all__ = ["__version__"]

specfact_cli/analyzers/code_analyzer.py

@@ -128,10 +128,11 @@ class CodeAnalyzer:
     def _resolve_analyzer_entry_point(repo_path: Path, entry_point: Path | None) -> Path | None:
         if entry_point is None:
             return None
-        resolved = entry_point if entry_point.is_absolute() else (repo_path / entry_point).resolve()
+        resolved_repo_path = repo_path.resolve()
+        resolved = entry_point.resolve() if entry_point.is_absolute() else (resolved_repo_path / entry_point).resolve()
         if not resolved.exists():
             raise ValueError(f"Entry point does not exist: {resolved}")
-        if not str(resolved).startswith(str(repo_path)):
+        if not resolved.is_relative_to(resolved_repo_path):
             raise ValueError(f"Entry point must be within repository: {resolved}")
         return resolved
 

specfact_cli/models/__init__.py

@@ -37,6 +37,22 @@ from specfact_cli.models.project import (
     SectionLock,
 )
 from specfact_cli.models.protocol import Protocol, Transition
+from specfact_cli.models.requirements import (
+    REQUIREMENTS_INPUT_SCHEMA_VERSION,
+    BusinessRule,
+    RequirementCompletenessFinding,
+    RequirementCompletenessSeverity,
+    RequirementConstraint,
+    RequirementConstraintType,
+    RequirementEvidenceLink,
+    RequirementEvidenceLinkType,
+    RequirementInput,
+    RequirementsInputExtensionPayload,
+    RequirementSourceReference,
+    RequirementSourceType,
+    load_requirements_input_extension,
+    requirements_input_extension_payload,
+)
 from specfact_cli.models.sdd import (
     SDDCoverageThresholds,
     SDDEnforcementBudget,
@@ -49,6 +65,7 @@ from specfact_cli.models.source_tracking import SourceTracking
 
 
 __all__ = [
+    "REQUIREMENTS_INPUT_SCHEMA_VERSION",
     "AdapterType",
     "ArtifactMapping",
     "BridgeConfig",
@@ -57,6 +74,7 @@ __all__ = [
     "BundleManifest",
     "BundleVersions",
     "Business",
+    "BusinessRule",
     "ChangeArchive",
     "ChangeProposal",
     "ChangeTracking",
@@ -84,6 +102,16 @@ __all__ = [
     "Protocol",
     "ProtocolIndex",
     "Release",
+    "RequirementCompletenessFinding",
+    "RequirementCompletenessSeverity",
+    "RequirementConstraint",
+    "RequirementConstraintType",
+    "RequirementEvidenceLink",
+    "RequirementEvidenceLinkType",
+    "RequirementInput",
+    "RequirementSourceReference",
+    "RequirementSourceType",
+    "RequirementsInputExtensionPayload",
     "SDDCoverageThresholds",
     "SDDEnforcementBudget",
     "SDDHow",
@@ -100,4 +128,6 @@ __all__ = [
     "TemplateSection",
     "Transition",
     "ValidationReport",
+    "load_requirements_input_extension",
+    "requirements_input_extension_payload",
 ]

specfact_cli/models/requirements.py

@@ -0,0 +1,183 @@
+"""Requirement evidence input models.
+
+These models normalize upstream requirement context for validation evidence.
+They do not make SpecFact the authoring system or source of truth for
+requirements.
+"""
+
+from __future__ import annotations
+
+from enum import StrEnum
+from typing import Any, Literal, cast
+
+from beartype import beartype
+from icontract import ensure, require
+from pydantic import BaseModel, ConfigDict, Field
+
+
+REQUIREMENTS_INPUT_SCHEMA_VERSION = "1"
+
+
+class RequirementSourceType(StrEnum):
+    """Supported upstream source reference types."""
+
+    ISSUE = "issue"
+    DOCUMENT = "document"
+    OPENSPEC_CHANGE = "openspec_change"
+    SPECKIT_SPEC = "speckit_spec"
+    FILE = "file"
+    BACKLOG_ITEM = "backlog_item"
+
+
+class RequirementEvidenceLinkType(StrEnum):
+    """Kinds of downstream evidence linked from a requirement input."""
+
+    ARCHITECTURE = "architecture"
+    SPEC = "spec"
+    CODE = "code"
+    TEST = "test"
+    VALIDATION = "validation"
+    REQUIREMENT = "requirement"
+
+
+class RequirementConstraintType(StrEnum):
+    """Supported requirement constraint categories."""
+
+    PERFORMANCE = "performance"
+    SECURITY = "security"
+    INTEGRATION = "integration"
+    COMPLIANCE = "compliance"
+    UX = "ux"
+    OPERATIONAL = "operational"
+
+
+class RequirementCompletenessSeverity(StrEnum):
+    """Advisory completeness finding severity."""
+
+    INFO = "info"
+    WARNING = "warning"
+    ERROR = "error"
+
+
+@beartype
+class RequirementSourceReference(BaseModel):
+    """Reference to an upstream requirement source."""
+
+    model_config = ConfigDict(use_enum_values=True)
+
+    source_type: RequirementSourceType = Field(..., description="Type of upstream requirement source")
+    locator: str = Field(..., min_length=1, description="Source locator such as URL, file path, or change ID")
+    title: str | None = Field(default=None, description="Human-readable source title")
+    revision: str | None = Field(default=None, description="Optional source revision, commit, or version")
+
+
+@beartype
+class BusinessRule(BaseModel):
+    """Business rule imported from upstream requirement context."""
+
+    rule_id: str = Field(..., min_length=1, description="Stable business rule identifier")
+    name: str = Field(..., min_length=1, description="Rule name")
+    given: str = Field(..., min_length=1, description="Given clause for validation scenario context")
+    when: str = Field(..., min_length=1, description="When clause for validation scenario context")
+    then: str = Field(..., min_length=1, description="Then clause for validation scenario context")
+    priority: str | None = Field(default=None, description="Optional upstream priority such as MoSCoW")
+
+
+@beartype
+class RequirementConstraint(BaseModel):
+    """Constraint imported from upstream requirement context."""
+
+    model_config = ConfigDict(use_enum_values=True)
+
+    constraint_id: str = Field(..., min_length=1, description="Stable constraint identifier")
+    constraint_type: RequirementConstraintType = Field(..., description="Constraint category")
+    statement: str = Field(..., min_length=1, description="Constraint statement")
+    validation_criteria: list[str] = Field(default_factory=list, description="Criteria used to validate constraint")
+
+
+@beartype
+class RequirementEvidenceLink(BaseModel):
+    """Link from requirement input to downstream validation evidence."""
+
+    model_config = ConfigDict(use_enum_values=True)
+
+    link_type: RequirementEvidenceLinkType = Field(..., description="Evidence target category")
+    target: str = Field(..., min_length=1, description="Evidence target locator")
+    relation: str = Field(default="references", min_length=1, description="Relationship to the target")
+
+
+@beartype
+class RequirementCompletenessFinding(BaseModel):
+    """Profile-aware completeness finding stored as advisory evidence."""
+
+    model_config = ConfigDict(use_enum_values=True)
+
+    profile: str = Field(..., min_length=1, description="Profile that produced this finding")
+    severity: RequirementCompletenessSeverity = Field(..., description="Finding severity")
+    field_path: str = Field(..., min_length=1, description="Requirement field path")
+    message: str = Field(..., min_length=1, description="Human-readable completeness guidance")
+
+
+@beartype
+class RequirementInput(BaseModel):
+    """Normalized requirement context consumed by validation evidence."""
+
+    schema_version: Literal["1"] = Field(..., description="Requirement input schema version")
+    requirement_id: str = Field(..., min_length=1, description="Stable requirement identifier")
+    title: str = Field(..., min_length=1, description="Requirement title")
+    summary: str | None = Field(default=None, description="Optional upstream requirement summary")
+    sources: list[RequirementSourceReference] = Field(
+        ...,
+        min_length=1,
+        description="Upstream requirement source references",
+    )
+    business_rules: list[BusinessRule] = Field(default_factory=list, description="Imported business rules")
+    constraints: list[RequirementConstraint] = Field(default_factory=list, description="Imported constraints")
+    evidence_links: list[RequirementEvidenceLink] = Field(default_factory=list, description="Evidence target links")
+    completeness_findings: list[RequirementCompletenessFinding] = Field(
+        default_factory=list,
+        description="Profile-aware advisory completeness findings",
+    )
+
+
+@beartype
+class RequirementsInputExtensionPayload(BaseModel):
+    """Serializable ProjectBundle extension payload for requirement inputs."""
+
+    schema_version: Literal["1"] = Field(..., description="Requirements extension payload schema version")
+    requirements: list[RequirementInput] = Field(default_factory=list, description="Requirement input records")
+
+
+def _payload_has_schema_version(result: dict[str, Any]) -> bool:
+    return result.get("schema_version") == REQUIREMENTS_INPUT_SCHEMA_VERSION
+
+
+def _payload_has_requirements_list(result: dict[str, Any]) -> bool:
+    return isinstance(result.get("requirements"), list)
+
+
+def _payload_is_valid_extension(payload: dict[str, Any]) -> bool:
+    try:
+        RequirementsInputExtensionPayload.model_validate(payload)
+    except ValueError:
+        return False
+    return True
+
+
+@beartype
+@require(lambda records: all(isinstance(record, RequirementInput) for record in records))
+@ensure(_payload_has_schema_version)
+@ensure(_payload_has_requirements_list)
+def requirements_input_extension_payload(records: list[RequirementInput]) -> dict[str, Any]:
+    """Return a JSON-serializable ProjectBundle extension payload."""
+    payload = RequirementsInputExtensionPayload(schema_version=REQUIREMENTS_INPUT_SCHEMA_VERSION, requirements=records)
+    return cast(dict[str, Any], payload.model_dump(mode="json"))
+
+
+@beartype
+@require(lambda payload: isinstance(payload, dict))
+@require(_payload_is_valid_extension)
+@ensure(lambda result: all(isinstance(record, RequirementInput) for record in result))
+def load_requirements_input_extension(payload: dict[str, Any]) -> list[RequirementInput]:
+    """Load requirement input records from a ProjectBundle extension payload."""
+    return RequirementsInputExtensionPayload.model_validate(payload).requirements

specfact_cli/registry/module_discovery.py

@@ -91,11 +91,26 @@ def _append_explicit_module_roots(roots: list[tuple[str, Path]]) -> None:
         roots.append(("custom", path))
 
 
+def _should_include_workspace_project_root(options: _DiscoveryRootOptions, legacy: bool) -> bool:
+    only_user_root_is_explicit = (
+        options.user_root is not None
+        and options.builtin_root is None
+        and options.marketplace_root is None
+        and options.custom_root is None
+    )
+    return options.project_base_path is not None or legacy or only_user_root_is_explicit
+
+
 def _discovery_root_list(options: _DiscoveryRootOptions) -> list[tuple[str, Path]]:
     from specfact_cli.registry.module_packages import get_modules_root, get_workspace_modules_root
 
+    legacy = _resolve_include_legacy_roots(options)
     effective_builtin_root = options.builtin_root or get_modules_root()
-    effective_project_root = get_workspace_modules_root(options.project_base_path)
+    effective_project_root = (
+        get_workspace_modules_root(options.project_base_path)
+        if _should_include_workspace_project_root(options, legacy)
+        else None
+    )
     effective_user_root = options.user_root or USER_MODULES_ROOT
     effective_marketplace_root = options.marketplace_root or MARKETPLACE_MODULES_ROOT
     effective_custom_root = options.custom_root or CUSTOM_MODULES_ROOT
@@ -119,7 +134,6 @@ def _discovery_root_list(options: _DiscoveryRootOptions) -> list[tuple[str, Path
         ]
     )
 
-    legacy = _resolve_include_legacy_roots(options)
     if legacy:
         _append_legacy_module_roots(roots)
     return roots

{specfact_cli-0.48.2.dist-info → specfact_cli-0.49.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: specfact-cli
-Version: 0.48.2
+Version: 0.49.1
 Summary: AI-bloat defense CLI for Python teams. Run deterministic code review, cleanup forecasts, and spec/contract evidence for AI-assisted and brownfield delivery.
 Project-URL: Homepage, https://github.com/nold-ai/specfact-cli
 Project-URL: Repository, https://github.com/nold-ai/specfact-cli.git

{specfact_cli-0.48.2.dist-info → specfact_cli-0.49.1.dist-info}/RECORD

@@ -1,4 +1,4 @@
-specfact_cli/__init__.py,sha256=T-PnD8QbK4vSRTj5J_c5wvngcQDPQQjm8edqWjp27fc,2764
+specfact_cli/__init__.py,sha256=7OrDXEh52sHjgy1H02roL4E79_jj3YaU1TrTSil0TRk,2764
 specfact_cli/__main__.py,sha256=EpP5xlutNYI5AuMlMw8fGt1TywZUR1-CXHpzpWKyNuo,141
 specfact_cli/cli.py,sha256=IlAtbxyaLxhj2FCteq7P1GRxME4nl_3OiRb3gY9gKDw,53060
 specfact_cli/runtime.py,sha256=4tEcOsz2bE6-KuZF5nuHvHuwinO7l8fNAGzrra9pNrc,13474
@@ -20,7 +20,7 @@ specfact_cli/agents/registry.py,sha256=NE2WzNUpgNDAhl5BIqxVoAPyjLALdcf13Jwddah7i
 specfact_cli/agents/sync_agent.py,sha256=AWp0k5AGaaKJvhpQ7rss3vCxG78hYRgskNU1LBfNABo,4351
 specfact_cli/analyzers/__init__.py,sha256=p-fms9MQ_euOMklUXNBk_LH4htlWSWldkFvXF1jreMw,357
 specfact_cli/analyzers/ambiguity_scanner.py,sha256=1rxDPjf56C4MrypJWutkXhbV1lS7uN0m7UHo--LCM8c,40334
-specfact_cli/analyzers/code_analyzer.py,sha256=LH1_nkOa2i9zqUEo8bAHqxyB9HHAgcbc0i-bYRSPbTo,84125
+specfact_cli/analyzers/code_analyzer.py,sha256=nxf7aB_-ujYRyZwGKr7lmzf2Y46JtTZDFYRyRf6f39w,84196
 specfact_cli/analyzers/constitution_evidence_extractor.py,sha256=gkgSFfkDsQ3RtXFkTudz30XwUZ3qrhhg6ph256nb_-s,22110
 specfact_cli/analyzers/contract_extractor.py,sha256=MuuMCwsHbKnLZRQvihnxs2-Y5f2za6IxbugwEVJDuNQ,16895
 specfact_cli/analyzers/control_flow_analyzer.py,sha256=4xHFcdgrASFPDeLUEkSULii3ylRPdl__09ER3t2hrc0,10930
@@ -94,7 +94,7 @@ specfact_cli/merge/__init__.py,sha256=GQDDqCeJw0YbtNmZzIFKXyviFyeoAPvBfPSAPGx0F2
 specfact_cli/merge/resolver.py,sha256=Z5rEPLETjIPwuJmX-Q8tF7_t0eRQ5A2P3Cj3GjIgjCw,21904
 specfact_cli/migrations/__init__.py,sha256=ymRFb3SSq8YMVhOwqFjWDp9jVQDwpE-QBioVhkihzmA,421
 specfact_cli/migrations/plan_migrator.py,sha256=VO-_mpt-_rhT9XPAFHI32wY_3YluTtU2oCyOvMDt0-g,7875
-specfact_cli/models/__init__.py,sha256=p03_0CWEe_eHzF37ZcWOHX1dwZxs3y_fcSlvUdl_Ckc,2457
+specfact_cli/models/__init__.py,sha256=TPXYV5HDd7vIPYXpjZv6WwKyoKCicgwDnwvZyP8I36I,3436
 specfact_cli/models/backlog_item.py,sha256=lZ4oWzUCgyB0X0EKd-X2NI2XdoSQ4znT95xX7DNHnVA,5589
 specfact_cli/models/bridge.py,sha256=D79o6KacsQ8vuBGZWGFsb8brx6lBmboHLIUEYNdkdEE,21356
 specfact_cli/models/capabilities.py,sha256=o2Ob_7vpfteS_-GPMv54eZ-sV13rhnQywrFAzvQGiJU,1298
@@ -109,6 +109,7 @@ specfact_cli/models/plan.py,sha256=6vP2MW-n8L9yxM4RQ6SeE-LQUtnB1eRk1pdXCxObJ6I,1
 specfact_cli/models/project.py,sha256=pYEtTLmZqv3Dnd_9FB6zHQ1dw5xRwyZN_5uU8DUNkQg,37205
 specfact_cli/models/protocol.py,sha256=s9SpUIH9qf0W0Io_wWEYjERTdf1VOowq6rj20I3p9To,900
 specfact_cli/models/quality.py,sha256=c12xINjFoW8mEZMNH4iwdS0ZJeKaJaV6-4decFisYMY,1050
+specfact_cli/models/requirements.py,sha256=RFl0ZuMf-dHQ2ZVSVmjBo5514JaGuZ00TmAoobQLKt0,7217
 specfact_cli/models/sdd.py,sha256=5UMfoUkcXnkR9khTZZf1UJq84avyvLC8TdMbVVFQUvg,5978
 specfact_cli/models/source_tracking.py,sha256=sKm-_tJL0rANqKKwMeBV5mXjDVIflb4_S4WV23e6Tmg,4538
 specfact_cli/models/task.py,sha256=Xa0B1EPCXrFaXGRxMyjFWRG79-a_DPlVSDeZGET9F5E,4560
@@ -146,7 +147,7 @@ specfact_cli/registry/help_cache.py,sha256=fsy8gSUni3yIRFAzrmb-ybmum2EB6uL5Ys2a8
 specfact_cli/registry/marketplace_client.py,sha256=BH1WKr80UccV4VX-N2sL0IxQIC_EtmAbv_XVI28szZQ,13113
 specfact_cli/registry/metadata.py,sha256=mSIW8UZgBzBdiAH_52K8GL-VBMgZoyGQXIXg0bsl1Oc,806
 specfact_cli/registry/module_availability.py,sha256=_fWsXUcWVY-aVhkjtKrYfb3Qkr80KsZ8P0y75PXCW-8,8115
-specfact_cli/registry/module_discovery.py,sha256=ga4w8OCVySExDGeWYp_Qo6OjSjU5OVDPWO5g2tqgX6A,8822
+specfact_cli/registry/module_discovery.py,sha256=kQ9DxfxxHRBaGncjDg8j6Owc3npIWcYOA_5MDurV5Ic,9317
 specfact_cli/registry/module_grouping.py,sha256=Qly2YKxlsn1Wt9hDRlHMMZeui85w3KbbT86VAJ4Mz2o,3186
 specfact_cli/registry/module_installer.py,sha256=72OlptZI43UrHr-3_5a6QyyL7vBU51ojuBpM5AnH5vc,45148
 specfact_cli/registry/module_lifecycle.py,sha256=17QhSER6lQV4JeTn3rvF6lsFRTIjT_UrIzMGpVveFEw,9541
@@ -287,8 +288,8 @@ specfact_cli/resources/templates/policies/kanban.yaml,sha256=9jt7YYfZ8e8aB5skY2D
 specfact_cli/resources/templates/policies/mixed.yaml,sha256=-fkrT-TLKLTBzjKeKr8bEJHFC-nh1TlyLOEFfgRdSi8,243
 specfact_cli/resources/templates/policies/safe.yaml,sha256=uiwe5_ABvaU4nmq6rsLUn8zRotkBITItPUsdPZPTHTw,157
 specfact_cli/resources/templates/policies/scrum.yaml,sha256=6FHYOntkjCxHAn-ga14IQzA1PvYUJgxfLsEQYtWJILM,188
-specfact_cli-0.48.2.dist-info/METADATA,sha256=DMH1iUe0ytrB7rMelRHOxJfH1pTlrx6amYVQb-H8wf0,25589
-specfact_cli-0.48.2.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
-specfact_cli-0.48.2.dist-info/entry_points.txt,sha256=pwDD5Ttu6AF3p3T05M4G0aR2BELFyUu3214kjMRGEow,96
-specfact_cli-0.48.2.dist-info/licenses/LICENSE,sha256=nWX_6oozyEFlF3mDaSWyBD9HLpyLRmCYYqdcgoVOrOk,11361
-specfact_cli-0.48.2.dist-info/RECORD,,
+specfact_cli-0.49.1.dist-info/METADATA,sha256=8svwBEohFvLuqWv7MknkjBJeUvylfTQqTYiy8IOQb-M,25589
+specfact_cli-0.49.1.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
+specfact_cli-0.49.1.dist-info/entry_points.txt,sha256=pwDD5Ttu6AF3p3T05M4G0aR2BELFyUu3214kjMRGEow,96
+specfact_cli-0.49.1.dist-info/licenses/LICENSE,sha256=nWX_6oozyEFlF3mDaSWyBD9HLpyLRmCYYqdcgoVOrOk,11361
+specfact_cli-0.49.1.dist-info/RECORD,,

{specfact_cli-0.48.2.dist-info → specfact_cli-0.49.1.dist-info}/WHEEL

@@ -1,4 +1,4 @@
 Wheel-Version: 1.0
-Generator: hatchling 1.30.1
+Generator: hatchling 1.31.0
 Root-Is-Purelib: true
 Tag: py3-none-any