Skip to content

Deepen Session log recording and Model evidence ownership - #633

Merged
JacobStephens2 merged 1 commit into
mainfrom
issue-630
Oct 10, 2026
Merged

JacobStephens2 merged 1 commit into
mainfrom
issue-630

Conversation

@JacobStephens2

@JacobStephens2 JacobStephens2 commented Oct 10, 2026 •

Copy link
Copy Markdown
Owner

Summary

Session log recording now owns transcript consumption, Model evidence handoff, exact Command ownership, child inheritance and collection.

record Session
  capture owning Command + start stamp
  consume transcript → checkpoint stream Models (including reader failure)
  present completion report → replace checkpoint (empty is authoritative)
  absent completion report → keep checkpoint
child Run → inherit exact owning Command
Run notification → collect owner/stamp evidence → render Session models section

Delete the displaced metadata module and Session runner. Preserve record format, Harness interpretation, notification wording and launch/Resume/review-report policy. Clarify the existing Session log and Run notification domain descriptions.

Closes #630

Evidence

  • Before: Restoring the previous absent-report overwrite made cargo test --bin thirdshift session::recording::tests::absent_completion_report_preserves_the_stream_checkpoint -- --exact fail: the saved Models became [] while the checkpoint contained ["reported-model"].
    After: The same test passes with the conditional replacement; the checkpoint survives interruption during retained acquisition.
  • 11 recording tests pass, including authoritative empty retained Models, immutable ownership across both writes, nested inheritance, interruption, reader/execution failure, corruption, owner/stamp selection, deduplication and fallback wording.
  • Focused regressions pass: 30 Run notification, 9 Session execution, 10 Muse, 16 OpenCode and 12 Interpretation tests. The new Muse/OpenCode stand-ins deliver retained Model evidence to notification text.
  • cargo check, cargo fmt --check and cargo clippy --all-targets -- -D warnings pass.
  • Full SYSTEMD_UNIT_PATH=/usr/lib/systemd/system:/lib/systemd/system cargo test: 1706 passed, 1 ignored across 41 test binaries; zero failures.
  • The initial plain cargo test reached an unrelated deployment check that rejects stderr from a malformed host systemd unit. The same systemd-analyze verify --man=no against service files extracted from main reproduces that host warning. The focused deployment check passes with the library-only unit search path above, which still verifies the repository units and their system dependencies. No host configuration or repository deployment code was changed.

Testing seams

  • Recording::run: real Interpretation and local commands, with temporary Session logs and captured owning Command fixtures; assert outcomes and collected evidence.
  • Recording::inherit_command: inspect child command environments and pass ownership through nested local processes.
  • Recording::notification_lines: temporary record directories exercise exact ownership, stamp selection, corruption, order, deduplication and display fallbacks.
  • Run notification and Session execution: existing process-level stand-ins, plus retained Muse/OpenCode evidence delivered to the notification.

Review

Reviewed with thirdshift-code-review using git diff main...HEAD, fixed point 04c807760edd5e0b743f7335c433d2f8123393af.

  • Standards: 0 findings; all changed files read, including the deleted metadata module.
  • Spec: 0 findings; all changed files read, including the deleted metadata module.
  • Changed files left unread: none.

Unaddressed findings

Standards

None.

Spec

None.

Merge Danger

Door: two-way

The refactor can be reverted; persisted metadata remains compatible.

Blast Radius: attribution

Session Model evidence and Run notification collection across child Runs. Process supervision and Harness interpretation retain their existing behavior.

Built with codex · gpt-6.1-sol · high

@JacobStephens2
JacobStephens2 merged commit 246daf5 into main Oct 10, 2026
17 checks passed
@JacobStephens2
JacobStephens2 deleted the issue-630 branch October 10, 2026 12:36
@JacobStephens2 JacobStephens2 mentioned this pull request Oct 10, 2026
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.

Deepen Session log recording and Model evidence ownership

1 participant