Skip to content

EEDCS-10: Map campaign interactions to DCS with reproducible coverage #83

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
JonathanTurnock wants to merge 13 commits into
base: claude/eech-campaign-native-spike-tjkj6g
Choose a base branch
from
Draft

EEDCS-10: Map campaign interactions to DCS with reproducible coverage #83

Show file tree
Hide file tree
Changes from 11 commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
18ab088
M5: DCS call map for done-when criterion 1 (documentation only)
fd-shockwave-bot Oct 20, 2026
a4cd7ee
M5 call map: close the coverage holes with a reachability ledger
fd-shockwave-bot Oct 20, 2026
ab830a0
M5 call map: resolve independent review findings F1-F6
fd-shockwave-bot Oct 20, 2026
96650e9
M5 call map: fix re-review findings N1 and C1-C6
fd-shockwave-bot Oct 21, 2026
12eb98d
M5 call map: audit fix round on 96650e9e
fd-shockwave-bot Oct 21, 2026
61b0db2
M5 call map: reproducible criterion-1 proof check, selftest and CI job
fd-shockwave-bot Oct 21, 2026
a7cf056
M5 call map: handle proof-check setup and report failures
fd-shockwave-bot Oct 21, 2026
bb38a22
M5 call map: include modules in source compatibility check
fd-shockwave-bot Oct 21, 2026
f972f92
M5 call map: reject unreviewed tables, duplicate and miscounted ledge…
fd-shockwave-bot Oct 21, 2026
2443be1
M5 call map: close the checker's remaining ways to pass a contradicto…
fd-shockwave-bot Oct 21, 2026
261a90a
M5 call map: an item no rule decided has the rule id "none"
fd-shockwave-bot Oct 21, 2026
fbbbb6c
docs(call-map): refresh inventory for current integration
fd-shockwave-bot Oct 21, 2026
fdfef5c
docs(call-map): key loss deduplication by host identity
fd-shockwave-bot Oct 21, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 19 additions & 0 deletions .github/workflows/eech-campaign.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -107,3 +107,22 @@ jobs:
LUA_LIB: ${{ runner.temp }}/lua-mingw
WINEPATH: ${{ runner.temp }}/lua-mingw
run: cargo test --locked --target x86_64-pc-windows-gnu

m5-call-map-check:
# reproduces docs/m5-dcs-call-map.md's script figures from the document's own embedded scripts
runs-on: ubuntu-24.04
timeout-minutes: 20
defaults:
run:
working-directory: eech-campaign
steps:
- uses: actions/checkout@v4
with:
# the check reads the documented snapshot commit from git
fetch-depth: 0
- name: Documented snapshot is present
run: git cat-file -e 65892de17bf5c4bb9ab6e9f8af70779e35b0106b^{commit} || git fetch --no-tags origin 65892de17bf5c4bb9ab6e9f8af70779e35b0106b
- name: Check the call map's figures
run: python3 tools/m5-call-map-check.py
- name: Check the check
run: python3 tools/m5-call-map-check-selftest.py
Loading
Loading