Skip to content

Add invariant coverage to foundational samples - #330

Merged
cdcavell merged 179 commits into
mainfrom
issue_work
Sep 13, 2026
Merged

cdcavell merged 179 commits into
mainfrom
issue_work

Conversation

@cdcavell

Copy link
Copy Markdown
Contributor

Summary

  • expand the six thinnest sample suites from 27 to 61 focused invariant tests
  • cover every modeled outcome and stable reason code, acknowledgment binding failures, middleware ordering effects, negative side-effect boundaries, evidence records, invalid input, and cancellation
  • reject whitespace account identifiers before decision evidence or execution in the decision-pipeline sample
  • align each sample README and add a minimum executable-sample test expectation to CONTRIBUTING

Validation

  • dotnet restore Samples.slnx --locked-mode
  • dotnet build Samples.slnx --no-restore (0 warnings, 0 errors)
  • dotnet format Samples.slnx --verify-no-changes --no-restore --verbosity minimal
  • dotnet test Samples.slnx --no-build (300 passed, 0 failed)

Closes #329

cdcavell and others added 28 commits September 6, 2026 12:02
Adds docs/articles/2026/your-audit-log-is-not-evidence.md, a standalone
article arguing that a log line written after an operation narrates an
outcome rather than establishing what was decided.

The article works through four failures: the record captures the outcome
instead of the decision and its inputs, nothing binds the record to the
operation it describes, the record is written after the protected effect,
and integrity ends at whatever the log sink provides. It closes with
record-focused tests, explicit guidance on when an ordinary structured log
is the right answer, and a review checklist.

Registers the article in docs/articles/toc.yml and docs/articles/index.md
following the existing newest-first ordering and permanent year/slug URL
convention.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Enable and document the desired repository security posture for Learning,
including Dependabot security updates, secret scanning, push protection,
and an explicit main-branch ruleset.

Preserve required documentation, link, sample, and CodeQL checks while
requiring squash-only linear history, stale-review dismissal, resolved
review threads, and a pull-request-only emergency bypass.

Closes #287
@cdcavell
cdcavell merged commit b8261c7 into main Sep 13, 2026
13 checks passed
@cdcavell
cdcavell deleted the issue_work branch September 13, 2026 12:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add invariant tests to the thinnest samples

1 participant