jihoson/The-Ouroboros
1
0
Fork 0
Code Issues 14 Pull Requests 1 Actions 45 Packages Projects Releases Wiki Activity

process: enforce forbidden runtime invariants in monitor (#316) #317

Merged
agentson merged 1 commits from feature/issue-316-weekend-forbidden-monitor into feature/v3-session-policy-stream 2026-02-28 09:37:41 +09:00
Conversation 1 Commits 1 Files Changed 4 +56 -4
agentson commented 2026-02-28 09:37:29 +09:00
Collaborator
Copy Link

Summary

  • Runtime monitor now enforces forbidden invariants, not only liveness/coverage.
  • Added weekend KR-session hard fail detection (FORBIDDEN=HIT -> P0).
  • Documented monitor behavior and forbidden handling policy.

Scope

  • scripts/runtime_verify_monitor.sh
  • docs/commands.md
  • docs/workflow.md
  • workflow/session-handover.md

Validation

  • bash -n scripts/runtime_verify_monitor.sh
  • POLICY_TZ=Asia/Seoul MAX_HOURS=0 INTERVAL_SEC=1 bash scripts/runtime_verify_monitor.sh
  • python3 scripts/session_handover_check.py --strict

Ticket

## Summary - Runtime monitor now enforces forbidden invariants, not only liveness/coverage. - Added weekend KR-session hard fail detection (`FORBIDDEN=HIT` -> `P0`). - Documented monitor behavior and forbidden handling policy. ## Scope - `scripts/runtime_verify_monitor.sh` - `docs/commands.md` - `docs/workflow.md` - `workflow/session-handover.md` ## Validation - `bash -n scripts/runtime_verify_monitor.sh` - `POLICY_TZ=Asia/Seoul MAX_HOURS=0 INTERVAL_SEC=1 bash scripts/runtime_verify_monitor.sh` - `python3 scripts/session_handover_check.py --strict` ## Ticket - Closes #316
agentson added 1 commit 2026-02-28 09:37:29 +09:00
process: enforce forbidden runtime invariants in monitor (#316)
Some checks are pending
Gitea CI / test (push) Waiting to run
Details
Gitea CI / test (pull_request) Waiting to run
Details
dd51ffb6ac
agentson commented 2026-02-28 09:37:35 +09:00
Author
Collaborator
Copy Link

Decision log:

  • Added FORBIDDEN channel separate from COVERAGE so policy violations cannot be hidden behind NOT_OBSERVED noise.
  • Weekend KR session markers are now treated as immediate P0 FAIL.
  • Introduced POLICY_TZ to ensure day-of-week decisions are evaluated in business timezone, not host-default timezone.
Decision log: - Added `FORBIDDEN` channel separate from `COVERAGE` so policy violations cannot be hidden behind NOT_OBSERVED noise. - Weekend KR session markers are now treated as immediate `P0 FAIL`. - Introduced `POLICY_TZ` to ensure day-of-week decisions are evaluated in business timezone, not host-default timezone.
agentson merged commit 8dc9f95032 into feature/v3-session-policy-stream 2026-02-28 09:37:41 +09:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
bug
Something is not working
 duplicate
This issue or pull request already exists
 enhancement
New feature
 help wanted
Need some help
 invalid
Something is wrong
 question
More information is needed
 wontfix
This won't be fixed
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
agentson jihoson
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jihoson/The-Ouroboros#317
Delete Branch "feature/issue-316-weekend-forbidden-monitor"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?