cortex-loop 0.1.0a1__py3-none-any.whl

cortex/templates/__init__.py

@@ -0,0 +1,10 @@
+"""Built-in challenge template identifiers for Cortex."""
+
+BUILTIN_CHALLENGE_TEMPLATES = {
+    "null_inputs": "Require tests for None/null/empty inputs and missing optional fields.",
+    "boundary_values": "Require tests at min/max/zero/one/off-by-one boundaries.",
+    "error_handling": "Require tests for expected failure paths and exception handling.",
+    "graveyard_regression": "Require tests covering relevant previously failed approaches.",
+}
+
+__all__ = ["BUILTIN_CHALLENGE_TEMPLATES"]

cortex/utils.py

@@ -0,0 +1,58 @@
+from __future__ import annotations
+
+import re
+from pathlib import Path
+from typing import Any
+
+
+def _as_bool(value: Any, default: bool) -> bool:
+    if isinstance(value, bool):
+        return value
+    if isinstance(value, str):
+        lowered = value.strip().lower()
+        if lowered in {"true", "yes", "on", "1"}:
+            return True
+        if lowered in {"false", "no", "off", "0"}:
+            return False
+    return default
+
+
+def _as_string_list(value: Any) -> list[str]:
+    if isinstance(value, str):
+        text = value.strip()
+        return [text] if text else []
+    if isinstance(value, (list, tuple)):
+        return [text for v in value if v is not None for text in [str(v).strip()] if text]
+    return []
+
+
+def _unique_list(values: list[str]) -> list[str]:
+    seen: set[str] = set()
+    out: list[str] = []
+    for value in values:
+        if value in seen:
+            continue
+        seen.add(value)
+        out.append(value)
+    return out
+
+
+def _normalize_repo_relative_path(value: str, *, root: Path) -> str | None:
+    raw = str(value).strip().strip("'\"")
+    if not raw or raw.startswith(("http://", "https://")):
+        return None
+    raw = raw.split("#", 1)[0].strip()
+    raw = re.sub(r":\d+(?::\d+|-\d+)?$", "", raw).strip().rstrip(".,;:")
+    if not raw:
+        return None
+    raw = raw.replace("\\", "/")
+    if raw.startswith("./"):
+        raw = raw[2:]
+    candidate = Path(raw).expanduser()
+    if not candidate.is_absolute():
+        candidate = root / candidate
+    resolved = candidate.resolve()
+    try:
+        return resolved.relative_to(root).as_posix()
+    except ValueError:
+        return None

cortex_loop-0.1.0a1.dist-info/METADATA

@@ -0,0 +1,121 @@
+Metadata-Version: 2.4
+Name: cortex-loop
+Version: 0.1.0a1
+Summary: Runtime-agnostic enforcement layer for AI coding agents
+Author: Cortex contributors
+License-Expression: MIT
+Project-URL: Homepage, https://github.com/cortex-loop/cortex-loop
+Project-URL: Repository, https://github.com/cortex-loop/cortex-loop
+Project-URL: Issues, https://github.com/cortex-loop/cortex-loop/issues
+Keywords: ai,coding-agent,enforcement,verification,runtime-agnostic
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: repomap
+Requires-Dist: grep-ast==0.9.0; extra == "repomap"
+Requires-Dist: numpy>=2.0; extra == "repomap"
+Requires-Dist: networkx==3.4.2; extra == "repomap"
+Requires-Dist: tree-sitter-language-pack==0.13.0; extra == "repomap"
+Requires-Dist: tree-sitter==0.25.2; extra == "repomap"
+Provides-Extra: dev
+Requires-Dist: build>=1.2; extra == "dev"
+Requires-Dist: pytest>=8.0; extra == "dev"
+Requires-Dist: ruff>=0.3; extra == "dev"
+Requires-Dist: twine>=6.0; extra == "dev"
+Dynamic: license-file
+
+![cortex-loop banner](docs/assets/cortex-loop-banner.webp)
+
+# Cortex
+
+Cortex is a runtime-agnostic enforcement layer for AI coding agents. It verifies completion claims through a deterministic stop path instead of trusting summaries, so "done" only lands when the evidence is real. Coding agents can sound finished before reality has caught up; Cortex turns that completion claim into something the system can prove or deny.
+
+With Cortex, the path of least resistance becomes the path of best practice: the easiest way to finish is to do the work, satisfy the evidence boundary, and let the stop path close honestly.
+
+The stop path is the product. Cortex is not a planning framework, generic memory layer, or workflow wrapper. It exists to make completion claims legible, checkable, and hard to bluff.
+
+## Runtime Status
+
+| Runtime | Install profile | Status | Notes |
+| --- | --- | --- | --- |
+| Claude Code | `cortex runtime install --profile claude` | Shipped | Strongest current runtime. The truthful boundary is live-proven; remaining caveats are minor. |
+| Gemini CLI | `cortex runtime install --profile gemini` | Shipped with watchlist | The truthful boundary is live-proven. One operational watchlist remains: blocked malformed stops can leave Gemini CLI resident until operator termination. |
+| OpenAI Codex App Server | `cortex runtime install --profile openai` | Experimental | Several critical paths are proven on the latest stable surface, but positive strict close is still not dependable enough for broader support. |
+
+Status labels in this table:
+- `Shipped`: live-proven on the shared harness; remaining caveats are non-critical.
+- `Shipped with watchlist`: live-proven, but one named runtime quirk still creates real operator risk.
+- `Experimental`: several important paths are proven, but one boundary-critical guarantee remains unproven or unstable.
+
+Detailed runtime release evidence lives in [docs/ADAPTER_VALIDATION.md](docs/ADAPTER_VALIDATION.md) plus committed provenance under [tests/fixtures/adapter_validation/claude/PROVENANCE.json](tests/fixtures/adapter_validation/claude/PROVENANCE.json), [tests/fixtures/adapter_validation/gemini/PROVENANCE.json](tests/fixtures/adapter_validation/gemini/PROVENANCE.json), and [tests/fixtures/adapter_validation/openai/PROVENANCE.json](tests/fixtures/adapter_validation/openai/PROVENANCE.json).
+
+## Quickstart
+
+As of 2026-03-07, `cortex-loop` is not yet published on PyPI. Until live
+package publication is proven, the truthful first-run path is from a repo
+checkout:
+
+```bash
+python3 -m venv .venv
+. .venv/bin/activate
+python -m pip install . pytest
+cortex init
+cortex runtime install --profile claude
+```
+
+Before `cortex check`, choose the baseline that matches the repository:
+
+- trusted local repo: switch `cortex.toml` to the trusted-host baseline in
+  [docs/SECURE_DEFAULTS.md](docs/SECURE_DEFAULTS.md)
+- untrusted or container baseline: keep the defaults and ensure Docker is on
+  `PATH`
+
+Then run:
+
+```bash
+cortex check
+```
+
+The staged public install posture, update and uninstall commands, and the PyPI
+publication gate live in [docs/INSTALL.md](docs/INSTALL.md).
+
+For a first evaluation, keep `claude`. Use `gemini` when you want the shipped
+watchlist surface. Use `openai` only when you are explicitly evaluating the
+experimental surface.
+
+## What Cortex Enforces
+
+- Stop-claim normalization and strict payload handling ([tests/test_stop_contract.py](tests/test_stop_contract.py))
+- Challenge coverage across active categories ([tests/test_challenges.py](tests/test_challenges.py))
+- Invariant execution outside model output ([tests/test_invariants.py](tests/test_invariants.py))
+- Deterministic verdict policy ([tests/test_stop_policy.py](tests/test_stop_policy.py))
+- Session-scoped failure memory and retry controls ([tests/test_retry.py](tests/test_retry.py), [tests/test_graveyard.py](tests/test_graveyard.py))
+
+## What Cortex Is Not
+
+- not a generic multi-agent framework
+- not prompt theater that trusts summaries
+- not a workflow layer whose main job is planning or project management
+
+## Read Next
+
+1. [START_HERE.md](START_HERE.md)
+2. [ARCHITECTURE.md](ARCHITECTURE.md)
+3. [MISSION.md](MISSION.md)
+4. [docs/README.md](docs/README.md)
+5. [CONTRIBUTING.md](CONTRIBUTING.md)
+
+## Repository Boundaries
+
+- Product-critical code lives in `cortex/`, `cortex_ops_cli/`, `cortex_repomap/`, runtime profile templates, and core tests.
+- Extension manifests live in `packs/`; this repo's pack validation suites live in `tests/packs/`.
+- `eval/` is internal and historical validation only. It is not a downstream product interface or product design authority.
+- `docs/archive/` and `_governance_archive/` are historical context, not active authority.
+
+v0.1 remains kernel-first: one hardened kernel, one reference pack, and runtime adapters with capture-backed tests.

cortex_loop-0.1.0a1.dist-info/RECORD

@@ -0,0 +1,52 @@
+cortex/__init__.py,sha256=cwzWyrl6tMawCTOEHhOcu-rhj64cq0v_kt8poslR-oI,147
+cortex/adapters.py,sha256=9nDohD-xYtSVPRPKayVXqa13PDUibXN3FU9R_TbKcIs,12709
+cortex/blocklist.py,sha256=mVgdIfzgC2iHbEeZ0pnxcxWQY8duVw4feg7Ex12YBPA,1231
+cortex/challenges.py,sha256=ULgpv4YvRfFJ75jIyxVIG_ElMpj13gZqeXJ834GVdZE,9075
+cortex/cli.py,sha256=_rcsSIwtyiljl0iBTFIRj8ZihLOpNpqasT-Xpqefgt4,439
+cortex/core.py,sha256=CjUER-W45sXLU7vqz65BO-X8P7SEvu1fGEH3ijfb5KI,26158
+cortex/core_helpers.py,sha256=GB8l7ey1M9l9pXYR8amCmc1EIoGVr6BvfX1PP2vsxEk,6897
+cortex/executive.py,sha256=Vzui9PBszEaaxw5-6iU-gtBS-8m4kM-9quOhIKJQrko,11843
+cortex/foundation.py,sha256=NL6XnDQ_k46gX88VxAkdvhjpkJPH-i4i83RT2twFpxM,6580
+cortex/genome.py,sha256=RyCMSztvFbIApfJ6gf_9Yc8GP3KeMuo1fqLIlCs2GU0,16599
+cortex/graveyard.py,sha256=1QckuRFMbfmfGIRjOqcSbuvhabcDOCayhJBa81qb5bM,7936
+cortex/invariants.py,sha256=ZBKCrOkJiDe6WdXv72PKneY4hFCIIyWELQ8YJ82XK3k,10229
+cortex/packs.py,sha256=ZB8yk1S9bD1slaXgXuobn4Gw2F5JpnRJgx_WzGSPQXI,4565
+cortex/repomap.py,sha256=NnEGnhpJzszqlBGme0MsAr-dPk7Zx6pY7waQ4ERQaeE,369
+cortex/requirements.py,sha256=Io_yZw1-wwS4dGSGFPYoY0o5tOfVGeSk-9uxvYIYN3k,21472
+cortex/retry.py,sha256=GhOCtvqORF_Q4MpGtZCeROvUhyqGQ9v00LHdZI0N9Uo,11270
+cortex/stop_contract.py,sha256=kjoeFywrFnD4Kzn_gzrkiqiAMu9zO73m_cE56BIbfG0,8691
+cortex/stop_payload.py,sha256=QJADV0ngCqHDPFKl8TjWOCntpeRlyqZwDqQ6NR_hPEY,4239
+cortex/stop_policy.py,sha256=sNJO1feiS6G4AqRHTCkyAgCcPAk_bW2Ud3l1O2oBtRg,3173
+cortex/stop_runtime.py,sha256=TGu2u0Yr3DNBqnQSWS5lQ95MJBtCxf6lY3cHNpnqUEA,18845
+cortex/stop_signals.py,sha256=zO0WtPevYC6wdBGIxyMIA6hmN-IpLZxQwS2-cjflbdk,2688
+cortex/store.py,sha256=QsYfzpPETcnPrVM9fsz7qU-Ffe9f2k2wtNtFlh6_e9c,29701
+cortex/utils.py,sha256=DWew3WVmMelwtAg6Oe_xx-9eI4KJp2JRUDMmAqA8wR0,1653
+cortex/data/identity_preamble.md,sha256=rkR0eVyUnY0P9MsFefg9OUFUeo0mHD95YEfVdJlfU1U,527
+cortex/data/layer1_part_a.md,sha256=_biyFF7QnRzGuHKGHOgfr9BQDgl5BQVrPkvMQ4xDcj8,6275
+cortex/data/layer1_part_b.md,sha256=h9xw4HG5TUT4VyyDXWIAWyhxVdKHFbFSxXpcD7STwPA,499
+cortex/hooks/__init__.py,sha256=pMV2LmKpErjPEbyPeVawTCqsBaUwRwvwHjjsxUJo4Eg,784
+cortex/hooks/_shared.py,sha256=G1HU1TIxoqCtDHhQ5IY4Q42fO3_pm7QuNMdsfs2Mm7Q,6224
+cortex/hooks/post_tool_use.py,sha256=0J9xB3Zu-Og4d7XAvKhpyST0S7R_XvYuujQMBtB_GnQ,282
+cortex/hooks/pre_tool_use.py,sha256=ggfu6XjduYfALtdXCPCQO5e40lxKZ-w3HUIp6joEmks,280
+cortex/hooks/session_start.py,sha256=7iDjjTOyNoMud5YfoMA-4a2khs8shziQjTxwe4h-Ui4,283
+cortex/hooks/stop.py,sha256=dlmFgd7q59gdsGVMX84zgDpIFeDtrcdSCpHW_dpyH-Y,266
+cortex/templates/__init__.py,sha256=BLtmAsDpit2J4RipSZJsS-QFBAK_8MMkqYsWX1IDJis,494
+cortex_loop-0.1.0a1.dist-info/licenses/LICENSE,sha256=DaXPE9pxOKJUUhD8aSeRMoM3uS8-AVvrBkaKdc3ZT0A,1076
+cortex_ops_cli/__init__.py,sha256=9EVxmFiWsAoqWJ6br1bc3BxlA71JyOQP28fUHhX2k7E,43
+cortex_ops_cli/_adapter_validation.py,sha256=R2HgLFpZeqawsFx7CwB7awQSDgAcp0WxsMRo9k8_4bw,3979
+cortex_ops_cli/_check_report.py,sha256=RiWORrUTtXcZwNG_SW2OHYdjfXm8Lj3iU_kmRXHWnMA,19562
+cortex_ops_cli/_check_report_output.py,sha256=X1fBIVogxfA36SOpNgbFd-MaoU1PGoYPUn776Sdzw8I,9826
+cortex_ops_cli/_openai_bridge_probe.py,sha256=M90gcTDCOGlkHMcCdp0jePLWlmD_K5-gn7L0F7cAK_w,9131
+cortex_ops_cli/_openai_bridge_protocol.py,sha256=7-QPW02DOSnW0hBXqjwCnEWraPEmutaeutauK5412mg,19744
+cortex_ops_cli/_runtime_profile_templates.py,sha256=GJksAkQEWAG0E2plUOv0n-5eYKXKJMUiuBh9VOO6ZNY,12049
+cortex_ops_cli/_runtime_profiles.py,sha256=ukfFB5aYYG-Jx1We0phwVR0EPa57kg0_DwHwPKBufYg,17611
+cortex_ops_cli/gemini_hooks.py,sha256=QN_GL23-DkImrLZNtM6769tZ7WHdwcmNpDWoJsFWL0I,11535
+cortex_ops_cli/main.py,sha256=Scy8gHaHhDYyBKhf6v4VRmgzAZto-qv4AzVnFyAjC7k,34266
+cortex_ops_cli/openai_app_server_bridge.py,sha256=B_GqLsLE2SddjAmoUGhRTRaWH-QQs0qwbISqwBteO0U,13925
+cortex_repomap/__init__.py,sha256=RveJ9jdSdavpg9kvWTapEiArxITr2c_hqLHI3gv9mwA,41
+cortex_repomap/engine.py,sha256=2A0ysNUlXrnRDuAxiRdMOp6rQBg89OIHT4elktTrBEA,41871
+cortex_loop-0.1.0a1.dist-info/METADATA,sha256=2a8d2fSaibnBRLCTcgo2jXt5Nxdgkoy_0VdMz8iXU7A,6171
+cortex_loop-0.1.0a1.dist-info/WHEEL,sha256=YCfwYGOYMi5Jhw2fU4yNgwErybb2IX5PEwBKV4ZbdBo,91
+cortex_loop-0.1.0a1.dist-info/entry_points.txt,sha256=PKd9MOWCIC4D_gW3t-X5TLZ4D4KP7EVH2nMQW2eTkQg,73
+cortex_loop-0.1.0a1.dist-info/top_level.txt,sha256=c5dHF6bFp3Fqf48SUkuleOZxtdLDaPZbqTsvgAkNt1Q,37
+cortex_loop-0.1.0a1.dist-info/RECORD,,

cortex_loop-0.1.0a1.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (82.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

cortex_loop-0.1.0a1.dist-info/entry_points.txt

@@ -0,0 +1,3 @@
+[console_scripts]
+cortex = cortex.cli:main
+cortex-loop = cortex.cli:main

cortex_loop-0.1.0a1.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Cortex contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

cortex_loop-0.1.0a1.dist-info/top_level.txt

@@ -0,0 +1,3 @@
+cortex
+cortex_ops_cli
+cortex_repomap

cortex_ops_cli/__init__.py

@@ -0,0 +1,3 @@
+from .main import main
+
+__all__ = ["main"]

cortex_ops_cli/_adapter_validation.py

@@ -0,0 +1,119 @@
+from __future__ import annotations
+
+import shutil
+import subprocess
+from collections.abc import Callable
+from pathlib import Path
+
+
+VALIDATION_ADAPTERS = ("claude", "gemini", "openai")
+VALIDATION_SCENARIOS = (
+    "install_bootstrap",
+    "check_wiring",
+    "pass_minimal",
+    "structured_gap",
+    "truth_gap",
+    "adapter_caveat",
+)
+PROMPT_SCENARIOS = ("pass_minimal", "structured_gap", "truth_gap")
+HARNESS_TEST_COMMAND = "python -m pytest -q tests/test_normalize_port.py"
+
+_PROMPT_FILENAMES = {
+    "pass_minimal": "pass_minimal.md",
+    "structured_gap": "structured_gap.md",
+    "truth_gap": "truth_gap.md",
+}
+_ADAPTER_NOTE_FILENAMES = {
+    "claude": "claude_note.md",
+    "gemini": "gemini_note.md",
+    "openai": "openai_note.md",
+}
+_CONFIG_REPLACEMENTS = (
+    ('trust_profile = "untrusted"', 'trust_profile = "trusted"'),
+    ('execution_mode = "container"', 'execution_mode = "host"'),
+    ("enabled = false", "enabled = true"),
+    ("prefer_ast_graph = true", "prefer_ast_graph = false"),
+    ('mode = "advisory"', 'mode = "strict"'),
+    ("fail_on_missing_challenge_coverage = false", "fail_on_missing_challenge_coverage = true"),
+    ("require_requirement_audit = false", "require_requirement_audit = true"),
+    ("fail_on_requirement_audit_gap = false", "fail_on_requirement_audit_gap = true"),
+)
+
+
+def fixtures_root(repo_root: Path) -> Path:
+    return repo_root / "tests" / "fixtures" / "adapter_validation"
+
+
+def project_template_dir(repo_root: Path) -> Path:
+    return fixtures_root(repo_root) / "project_template"
+
+
+def prompts_dir(repo_root: Path) -> Path:
+    return fixtures_root(repo_root) / "prompts"
+
+
+def prompt_path(repo_root: Path, scenario: str) -> Path:
+    if scenario not in _PROMPT_FILENAMES:
+        raise ValueError(f"Unsupported adapter-validation prompt scenario: {scenario}")
+    return prompts_dir(repo_root) / _PROMPT_FILENAMES[scenario]
+
+
+def adapter_note_path(repo_root: Path, adapter: str) -> Path:
+    if adapter not in _ADAPTER_NOTE_FILENAMES:
+        raise ValueError(f"Unsupported adapter-validation adapter note: {adapter}")
+    return prompts_dir(repo_root) / _ADAPTER_NOTE_FILENAMES[adapter]
+
+
+def copy_project_template(*, repo_root: Path, root: Path) -> None:
+    shutil.copytree(project_template_dir(repo_root), root, dirs_exist_ok=True)
+
+
+def apply_strict_harness_patch(config_path: Path) -> None:
+    text = config_path.read_text(encoding="utf-8")
+    for old, new in _CONFIG_REPLACEMENTS:
+        if old not in text:
+            raise ValueError(f"missing expected config token: {old}")
+        text = text.replace(old, new, 1)
+    config_path.write_text(text, encoding="utf-8")
+
+
+def git_init_and_commit(root: Path, *, message: str = "baseline") -> None:
+    subprocess.run(["git", "init"], cwd=root, check=True, capture_output=True, text=True)
+    subprocess.run(["git", "add", "."], cwd=root, check=True, capture_output=True, text=True)
+    subprocess.run(
+        [
+            "git",
+            "-c",
+            "user.name=Cortex Tests",
+            "-c",
+            "user.email=cortex-tests@example.com",
+            "commit",
+            "-m",
+            message,
+        ],
+        cwd=root,
+        check=True,
+        capture_output=True,
+        text=True,
+    )
+
+
+def bootstrap_project(
+    *,
+    repo_root: Path,
+    root: Path,
+    profile: str,
+    cli_main: Callable[[list[str]], int],
+) -> None:
+    if profile not in VALIDATION_ADAPTERS:
+        raise ValueError(f"Unsupported adapter-validation profile: {profile}")
+
+    copy_project_template(repo_root=repo_root, root=root)
+    init_rc = cli_main(["init", "--root", str(root)])
+    if init_rc != 0:
+        raise RuntimeError(f"cortex init failed for {root}")
+    apply_strict_harness_patch(root / "cortex.toml")
+    install_rc = cli_main(["runtime", "install", "--profile", profile, "--root", str(root)])
+    if install_rc != 0:
+        raise RuntimeError(f"cortex runtime install failed for profile {profile}")
+    git_init_and_commit(root)