docs: add related-work comparison positioning ACES against precedent systems - #552
Merged
Conversation
Add docs/explain/sdl/related-work-comparison.md: a feature-by-feature comparison matrix across eight expressivity dimensions against OCR SDL, CybORG, CACAO, SISO Cyber DEM/FOM, and academic range DSLs (CRACK/KYPO/ CyRIS). Every non-ACES cell is grounded in the precedent's primary documentation, captured in docs/research/related-work-comparison/. The page states explicitly where the precedents lead ACES (HLA time management and standardization, CACAO workflow taxonomy and signed provenance, CybORG RL episode discipline, CRACK formal verification). Link the page from the README Lineage section and lineage.md, and add a Cyber DEM/FOM adopted-and-out-of-scope subsection to lineage.md's Runtime, Time, And Causality section (resolves review LIT-4).
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds a related-work comparison page positioning ACES against precedent systems across eight expressivity dimensions (runtime inventory depth, typed relationships, participant/episode contracts, authoring-vs-instantiation, backend agnosticism + conformance, declarative objectives/workflows, provenance/disclosure, time semantics). Documentation-only: it cites existing ACES specs and ADRs as authority and grounds every non-ACES cell in the precedent's own primary documentation (captured under docs/research/related-work-comparison/). Accurate-before-persuasive per the documentation style guide — it states explicitly where precedents lead ACES: HLA time management and standardization (SISO Cyber DEM/FOM, TENA/HLA), CACAO's workflow taxonomy and signed provenance, CybORG's RL episode discipline, and CRACK's formal scenario verification. Resolves review LIT-1 and LIT-4.
Requirement UIDs
Related Issues
Closes #508
ADR Impact
Changes
Test Plan
make checkpasses (Spotless, SpotBugs, Error Prone, Checkstyle, JaCoCo)make policypasses (documentation/workflow guardrails)Documentation-only change. Verified by
nox -s verify -- --skip-requirement: hygiene, repo policy, lint, contracts, the full pytest suite, and the Sphinx docs build (which validates the README -> page and lineage -> page cross-references and in-page anchors). No test files in the diff, so the Step 6.6 test-quality review is not applicable; the Step 6.5 codex review returned clean.Ground Control Checks
make policypassesgc_evaluate_quality_gatespasses or is unchanged by this repo-only changegc_run_sweepreviewed; findings fixed or recorded with rationaleTraceability
Checklist
docs/CODING_STANDARDS.md)@Auditedon new entities if applicable