Skip to content

Specify the Netsukefile testing framework in RFC 0001 and two designs #566

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

Merged
leynos merged 15 commits into from
Aug 31, 2026
Merged

Specify the Netsukefile testing framework in RFC 0001 and two designs #566

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
a28af33
Add Netsukefile testing framework design documents and RFC 0001
Aug 16, 2026
65b26ab
Correct testing framework design against verified code behaviour
leynos Aug 23, 2026
bd1213a
Realign testing framework design with rebased main
leynos Aug 23, 2026
5b5c672
Make the test framework's per-case timeout enforceable
leynos Aug 28, 2026
4d8d9ab
Correct the mock dispatch ordering lead-in
leynos Aug 28, 2026
88c6485
Confine subject-manifest paths under test
leynos Aug 30, 2026
7dbeccd
Renumber the testing framework to RFC 0007 and roadmap phase 7
leynos Aug 30, 2026
8c996f4
Close scheduling and cleanup gaps in the testing framework design
leynos Aug 30, 2026
ef387d1
Order interruption cleanup and document the accessibility contract
leynos Aug 30, 2026
c4d7e94
Complete the journal, scheduling, and interruption contracts
leynos Aug 30, 2026
cf8dc9e
Bring the testing framework docs to Markdown fixpoint
leynos Aug 30, 2026
21945fe
Complete the subject-path confinement test obligations
leynos Aug 30, 2026
ed67408
Give the case scheduler a single owner for mutable state
leynos Aug 31, 2026
42372e6
Separate the phase 6 and phase 7 roadmap sections
leynos Aug 31, 2026
5e5402e
Realign the testing design with shell-aware IR lowering
leynos Aug 31, 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
8 changes: 8 additions & 0 deletions docs/contents.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,11 @@ operator, user, and contributor references are easier to find.
- [git-change-detection-helpers-design.md](git-change-detection-helpers-design.md):
Git change-detection and glob-matching contracts and verification guidance
for maintainers, reviewers, and manifest authors.
- [UX and semantic design](netsuke-test-framework-ux-design.md): Test
dialect, mocking model, and command surface for the Netsukefile testing
framework.
- [Technical design](netsuke-test-framework-technical-design.md):
Implementation architecture for the Netsukefile testing framework.
- [roadmap.md](roadmap.md): Phased implementation plan and tracked delivery
work.
- [archive/roadmap-completed-foundations.md](archive/roadmap-completed-foundations.md):
Expand All @@ -32,6 +37,9 @@ operator, user, and contributor references are easier to find.
- [rfcs/0001-structured-command-blocks.md](rfcs/0001-structured-command-blocks.md):
Proposed structured command blocks, shell-free argv templates, typed Jinja
interpolation, stream routing, and pipeline semantics.
- [rfcs/0007-netsukefile-testing-framework.md](rfcs/0007-netsukefile-testing-framework.md):
Proposed Netsukefile testing framework: the `netsuke test` command, the YAML
test dialect, and its mocking model.

## Decision records

Expand Down
Loading
Loading