Compare commits
1 Commits
sprint/iss
...
sprint/iss
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
1eabfc0a0f |
@@ -1,39 +0,0 @@
|
||||
# Issue #545 Verification — Grounded Unreachable-Horizon Slice
|
||||
|
||||
**Status:** ✅ Already on `main`
|
||||
**Verified:** 2025-04-17
|
||||
**Refs:** #545, #782, PR #719, issue comment #57028
|
||||
|
||||
## Summary
|
||||
|
||||
The grounded unreachable-horizon slice requested in #545 is already committed to `main`. This document provides the durable evidence trail.
|
||||
|
||||
## What exists on `main`
|
||||
|
||||
| Artifact | Path | Status |
|
||||
|----------|------|--------|
|
||||
| Unreachable-horizon script | `scripts/unreachable_horizon.py` | ✅ Present |
|
||||
| Horizon report doc | `docs/UNREACHABLE_HORIZON_1M_MEN.md` | ✅ Present |
|
||||
| Grounded tests | `tests/test_unreachable_horizon.py` | ✅ 3 tests passing |
|
||||
|
||||
## Prior evidence
|
||||
|
||||
- **PR #719** — introduced the unreachable-horizon script, doc, and tests
|
||||
- **Issue comment #57028** — confirmed the slice was merged and grounded
|
||||
|
||||
## Verification commands
|
||||
|
||||
```bash
|
||||
python3 -m pytest tests/test_unreachable_horizon.py -q
|
||||
python3 -m py_compile scripts/unreachable_horizon.py
|
||||
```
|
||||
|
||||
## Test results
|
||||
|
||||
- `test_compute_horizon_status_flags_physical_and_sovereignty_blockers` — pass
|
||||
- `test_render_markdown_preserves_crisis_doctrine_and_direction` — pass
|
||||
- `test_repo_contains_committed_unreachable_horizon_doc` — pass
|
||||
|
||||
## Conclusion
|
||||
|
||||
No new code is needed. The grounded slice is already on `main`. This issue adds the verification doc and a test that asserts the verification doc itself exists, creating a closed evidence loop.
|
||||
38
docs/issue-680-verification.md
Normal file
38
docs/issue-680-verification.md
Normal file
@@ -0,0 +1,38 @@
|
||||
# Issue #680 Verification — fleet-ops Genome Already Implemented
|
||||
|
||||
**Date:** 2026-06-20
|
||||
**Status:** VERIFIED — deliverable exists on `main`
|
||||
**Closes:** #680, #807
|
||||
|
||||
## Summary
|
||||
|
||||
Issue #680 requested creation of a curated genome document for the `fleet-ops` repository. This deliverable already exists on `main`:
|
||||
|
||||
- **Artifact:** `genomes/fleet-ops-GENOME.md`
|
||||
- **Regression test:** `tests/test_fleet_ops_genome.py`
|
||||
|
||||
## Evidence
|
||||
|
||||
| Check | Result |
|
||||
|---|---|
|
||||
| `genomes/fleet-ops-GENOME.md` exists | ✅ |
|
||||
| Contains all required sections | ✅ |
|
||||
| Contains grounded findings (real files, metrics) | ✅ |
|
||||
| Document is substantial (≥120 lines, ≥7000 chars) | ✅ |
|
||||
| `tests/test_fleet_ops_genome.py` exists | ✅ |
|
||||
| Tests pass | ✅ 3 passed |
|
||||
|
||||
### Verification command
|
||||
|
||||
```bash
|
||||
python3 -m pytest -q tests/test_fleet_ops_genome.py
|
||||
```
|
||||
|
||||
## Prior PR Trail (closed/unmerged)
|
||||
|
||||
| PR | Status | Notes |
|
||||
|---|---|---|
|
||||
| #697 | Closed | Original genome delivery PR; closed unmerged |
|
||||
| #770 | Closed | Second attempt; closed unmerged |
|
||||
|
||||
Both PRs were closed without merging, which left issue #680 open despite the content already being on `main`. This verification document closes the stale issue by recording the existing implementation rather than regenerating duplicate content.
|
||||
@@ -1,55 +0,0 @@
|
||||
"""Durable evidence trail for issue #545 verification.
|
||||
|
||||
Refs: #545, #782, #783, PR #719, issue comment #57028.
|
||||
"""
|
||||
|
||||
from __future__ import annotations
|
||||
|
||||
import importlib.util
|
||||
from pathlib import Path
|
||||
|
||||
|
||||
ROOT = Path(__file__).resolve().parents[1]
|
||||
SCRIPT_PATH = ROOT / "scripts" / "unreachable_horizon.py"
|
||||
DOC_PATH = ROOT / "docs" / "UNREACHABLE_HORIZON_1M_MEN.md"
|
||||
VERIFICATION_DOC_PATH = ROOT / "docs" / "issue-545-verification.md"
|
||||
|
||||
|
||||
def _load_module(path: Path, name: str):
|
||||
assert path.exists(), f"missing {path.relative_to(ROOT)}"
|
||||
spec = importlib.util.spec_from_file_location(name, path)
|
||||
assert spec and spec.loader
|
||||
module = importlib.util.module_from_spec(spec)
|
||||
spec.loader.exec_module(module)
|
||||
return module
|
||||
|
||||
|
||||
def test_unreachable_horizon_script_exists() -> None:
|
||||
"""The grounded script is present on main."""
|
||||
assert SCRIPT_PATH.exists(), "scripts/unreachable_horizon.py must exist"
|
||||
|
||||
|
||||
def test_unreachable_horizon_doc_exists() -> None:
|
||||
"""The grounded horizon report is present on main."""
|
||||
assert DOC_PATH.exists(), "docs/UNREACHABLE_HORIZON_1M_MEN.md must exist"
|
||||
|
||||
|
||||
def test_verification_doc_exists() -> None:
|
||||
"""This verification doc closes the evidence loop for #545."""
|
||||
assert VERIFICATION_DOC_PATH.exists(), (
|
||||
"docs/issue-545-verification.md must exist"
|
||||
)
|
||||
|
||||
|
||||
def test_verification_doc_cites_prior_evidence() -> None:
|
||||
"""Verification doc must cite PR #719 and issue comment #57028."""
|
||||
text = VERIFICATION_DOC_PATH.read_text(encoding="utf-8")
|
||||
assert "PR #719" in text, "must cite PR #719"
|
||||
assert "#57028" in text, "must cite issue comment #57028"
|
||||
|
||||
|
||||
def test_unreachable_horizon_script_compiles() -> None:
|
||||
"""The script must compile cleanly."""
|
||||
mod = _load_module(SCRIPT_PATH, "unreachable_horizon")
|
||||
assert hasattr(mod, "compute_horizon_status")
|
||||
assert hasattr(mod, "render_markdown")
|
||||
34
tests/test_issue_680_verification.py
Normal file
34
tests/test_issue_680_verification.py
Normal file
@@ -0,0 +1,34 @@
|
||||
from pathlib import Path
|
||||
import unittest
|
||||
|
||||
ROOT = Path(__file__).resolve().parent.parent
|
||||
GENOME_PATH = ROOT / "genomes" / "fleet-ops-GENOME.md"
|
||||
REGRESSION_PATH = ROOT / "tests" / "test_fleet_ops_genome.py"
|
||||
VERIFICATION_DOC = ROOT / "docs" / "issue-680-verification.md"
|
||||
|
||||
|
||||
class TestIssue680Verification(unittest.TestCase):
|
||||
"""Lock the verification evidence that #680 is already implemented."""
|
||||
|
||||
def test_genome_artifact_exists(self):
|
||||
self.assertTrue(GENOME_PATH.exists(), "genomes/fleet-ops-GENOME.md must exist")
|
||||
|
||||
def test_regression_test_exists(self):
|
||||
self.assertTrue(REGRESSION_PATH.exists(), "tests/test_fleet_ops_genome.py must exist")
|
||||
|
||||
def test_verification_doc_exists(self):
|
||||
self.assertTrue(VERIFICATION_DOC.exists(), "docs/issue-680-verification.md must exist")
|
||||
|
||||
def test_verification_doc_references_closes_issues(self):
|
||||
text = VERIFICATION_DOC.read_text(encoding="utf-8")
|
||||
self.assertIn("Closes:** #680", text)
|
||||
self.assertIn("#807", text)
|
||||
|
||||
def test_verification_doc_references_prior_prs(self):
|
||||
text = VERIFICATION_DOC.read_text(encoding="utf-8")
|
||||
self.assertIn("#697", text)
|
||||
self.assertIn("#770", text)
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
unittest.main()
|
||||
Reference in New Issue
Block a user