fix: case registry locking, watchdog proof verification, viewer matching, export paths - #125
Draft
cursor[bot] wants to merge 1 commit into
Draft
fix: case registry locking, watchdog proof verification, viewer matching, export paths#125cursor[bot] wants to merge 1 commit into
cursor[bot] wants to merge 1 commit into
Conversation
…ing, export paths - allocate_case_no: create registry when missing, exclusive fcntl lock, fsync, and year rollover reset to prevent duplicate Case Nos under concurrent saves - watchdog: require OverrideProof.verify() for override actions instead of skipping checks when action_type contains override or proof is non-empty - litigation viewer: resolve transcripts by exact/prefix/suffix rules, not arbitrary substring match (bar must not match foo-bar) - export_transcript: resolve_transcript_path strips courtroom/ prefix so repo-root paths do not double-prefix to courtroom/courtroom/transcripts Co-authored-by: Jack J Burleson // LJM <Exios66@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Nightly critical-correctness scan identified four high-severity bugs in recent litigation/executive/portal code paths.
Bugs fixed
1. Duplicate Case Nos under concurrency (
litigation/run.py)case-registry.yamland assign duplicate Case Nos.allocate_case_noread/wrote the registry without file locking; missing registry returned a hardcoded case number without persisting state; no year rollover reset.fcntllock, create registry on first use, reset per-category counters on calendar year change, atomic write withfsync.2. Watchdog override bypass (
executive/watchdog.py)override_proofstring bypassed judicial approval checks — forged overrides were accepted.OverrideProof.verify().3. Wrong transcript served (
litigation/viewer.py)name in stem) could serve the wrong transcript (e.g. querybarmatchingfoo-bar)._resolve_transcript().4. Export path double-prefix (
courtroom/portal/export_transcript.py)courtroom/transcripts/foo.mdresolved to nonexistentcourtroom/courtroom/transcripts/foo.md.resolve_transcript_path()strips redundantcourtroom/prefix.Validation