Skip to content

test(sources): prove excluded cursor revival #3852

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
Sinity merged 11 commits into from
Aug 6, 2026
Merged

test(sources): prove excluded cursor revival #3852

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
562dd5b
test(sources): prove excluded cursor revival outcomes
Sinity Aug 6, 2026
5f19ccf
docs(coverage): bind excluded cursor proof receipt
Sinity Aug 6, 2026
c32bca9
test(sources): qualify cursor fairness proof
Sinity Aug 6, 2026
5e26e74
docs(coverage): refresh cursor proof receipt
Sinity Aug 6, 2026
e2c4002
test(sources): repair cursor authority revival proof
Sinity Aug 6, 2026
af3b2a6
style: format cursor proof predicate
Sinity Aug 6, 2026
92af9b8
docs(evidence): refresh cursor revival receipt
Sinity Aug 6, 2026
987b800
fix(test): normalize excluded cursor boolean
Sinity Aug 6, 2026
76c62b3
test(cursor): close proof index connection
Sinity Aug 6, 2026
1363639
test(cursor): require terminal parse evidence
Sinity Aug 6, 2026
ae10af8
test(cursor): cover terminal parse evidence
Sinity Aug 6, 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
1 change: 1 addition & 0 deletions docs/evidence/polylogue-excluded-cursor-live-proof-2026-08-06.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"anti_vacuity":{"indexed_authority":"byte_proven_source_raw_and_revision_head","indexed_session_count":1,"indexed_session_count_before":0,"typed_terminal_artifact":"terminal_corrupt_input","unchanged_excluded_attempt_present":false},"cases":[{"attempt":{"evidence_ref":null,"outcome_code":"success","retryable":false,"status":"completed"},"attempt_present":true,"case_id":"indexed","fingerprint_changed_before_catch_up":true,"indexed":{"indexed_sessions":1,"parsed_raw":2},"indexed_before":{"indexed_sessions":0,"parsed_raw":1},"metrics":{"failed_file_count":0,"full_file_count":1,"succeeded_file_count":1},"proof_attempt_count":1,"retry_state":{"excluded":false,"failed_with_retry":false,"failure_count":0,"parser_fingerprint":"live-batched-v2","retry_due":false},"source_content_sha256":"fbe00b1bf4fe9b647b143e5f002a8edfd9d3685944fa44125586a679c4cc6534","terminal_evidence":null},{"attempt":null,"attempt_present":false,"case_id":"still-excluded","fingerprint_changed_before_catch_up":false,"indexed":{"indexed_sessions":0,"parsed_raw":0},"metrics":{"failed_file_count":0,"full_file_count":0,"succeeded_file_count":0},"proof_attempt_count":0,"retry_state":{"excluded":true,"failed_with_retry":false,"failure_count":5,"parser_fingerprint":"live-batched-v2","retry_due":false},"source_content_sha256":"cb7b4873a5dc05a7cac589c60a8069dc9f91f234af3076f8ea558bfafe69612a","terminal_evidence":null},{"attempt":{"evidence_ref":null,"outcome_code":"success","retryable":false,"status":"completed"},"attempt_present":true,"case_id":"typed-terminal","fingerprint_changed_before_catch_up":true,"indexed":{"indexed_sessions":0,"parsed_raw":0},"metrics":{"failed_file_count":0,"full_file_count":1,"succeeded_file_count":1},"proof_attempt_count":1,"retry_state":{"excluded":false,"failed_with_retry":false,"failure_count":0,"parser_fingerprint":"live-batched-v2","retry_due":false},"source_content_sha256":"2e5c27f8ae0c2f4176892776a5a0ac5e1d598178676396f86fa4f6d608778d75","terminal_evidence":{"artifact_kind":"terminal_corrupt_input","parse_error_present":true,"support_status":"decode_failed"}}],"execution":{"live_census":"not_run","live_residual":"Historical excluded population and current live file states were not accessed.","mode":"candidate_fixture","residual_successor":"polylogue-excluded-cursor-live-proof","terminal_frontier_residual":"The typed-terminal candidate has no accepted byte head, so its readiness gate was injected for this case only."},"fairness":{"planner":"_interleave_by_source","property":"browser-capture drains first; among non-browser-capture families, one candidate from each present family reaches the first round"},"fixture_version":"candidate-codex-live-compatible-2026-08-06","outcomes":{"indexed":true,"still_excluded":true,"typed_terminal":true},"production_route":{"catch_up":"LiveWatcher._catch_up -> _scan_catch_up_candidates -> _catch_up_candidates -> _plan_catch_up -> coordinated chunk ingest","cursor_gate":"LiveWatcher._needs_work","ingest":"LiveWatcher._ingest_files -> LiveBatchProcessor.ingest_files","retry_state":"ops.ingest_cursor and ops.ingest_attempts","terminal_evidence":"source.raw_artifacts","transition":"CursorStore.revive_replaced_exclusion"},"receipt_sha256":"69e75004783fc3f0af38b85ef01136ac8ece609db850b730773b42b56589e350","schema":"polylogue.excluded-cursor-live-proof.v1"}
8 changes: 5 additions & 3 deletions docs/plans/reindex-incident-coverage.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,8 @@
"lineage-corpus": {"kind": "lineage-corpus", "source": "tests/infra/reindex_campaign.py"},
"derived-model": {"kind": "derived-model", "source": "tests/infra/reindex_differential.py"},
"title-census": {"kind": "title-census", "source": "tests/unit/maintenance/test_reindex_campaign.py"},
"parser-replay": {"kind": "parser-replay", "source": "tests/unit/maintenance/test_reindex_campaign.py"}
"parser-replay": {"kind": "parser-replay", "source": "tests/unit/maintenance/test_reindex_campaign.py"},
"excluded-cursor-proof": {"kind": "candidate-live-compatible", "source": "tests/infra/excluded_cursor_live_proof.py"}
},
"checks": {
"campaign-coverage": {"kind": "registry", "source": "polylogue-incident-coverage-ledger"},
Expand Down Expand Up @@ -57,7 +58,8 @@
"live-proof-7zp4": {"kind": "live-proof", "status": "recorded", "source": "content-hash-census"},
"live-proof-gzgyl": {"kind": "live-proof", "status": "recorded", "source": "material-origin-census"},
"live-proof-mvcbi": {"kind": "live-proof", "status": "recorded", "source": "origin-dispatch-census"},
"live-proof-qsagp": {"kind": "live-proof", "status": "recorded", "source": "derived-refresh-census"}
"live-proof-qsagp": {"kind": "live-proof", "status": "recorded", "source": "derived-refresh-census"},
"excluded-cursor-proof-receipt": {"kind": "proof-receipt", "status": "recorded", "source": "docs/evidence/polylogue-excluded-cursor-live-proof-2026-08-06.json"}
},
"successors": {
"polylogue-claude-vintage-live-proof": {"kind": "named-child-bead"},
Expand Down Expand Up @@ -92,7 +94,7 @@
{"bead_id": "polylogue-fsgdd", "bead_status": "open", "incident": {"incident_id": "incident-fsgdd", "bead_id": "polylogue-fsgdd", "forcing_class": "coverage"}, "route": {"kind": "registry", "entrypoint": "polylogue-incident-coverage-ledger"}, "schedule": {"phase": "preflight", "order": 20}, "expected_snapshot": {"snapshot_id": "post-reindex-acceptance", "state": "blocking"}, "registry_checks": ["campaign-coverage"], "red_mutation": {"fixture_id": "campaign-graph", "mutation_id": "mutation-fsgdd"}, "receipts": [], "residual_successor": null},
{"bead_id": "polylogue-gzgyl", "bead_status": "closed", "incident": {"incident_id": "incident-gzgyl", "bead_id": "polylogue-gzgyl", "forcing_class": "material-origin"}, "route": {"kind": "registry", "entrypoint": "origin-capability"}, "schedule": {"phase": "preflight", "order": 21}, "expected_snapshot": {"snapshot_id": "post-reindex-acceptance", "state": "blocking"}, "registry_checks": ["material-origin"], "red_mutation": {"fixture_id": "origin-matrix", "mutation_id": "mutation-gzgyl"}, "receipts": ["live-proof-gzgyl"], "residual_successor": null},
{"bead_id": "polylogue-ih67", "bead_status": "in_progress", "incident": {"incident_id": "incident-ih67", "bead_id": "polylogue-ih67", "forcing_class": "title"}, "route": {"kind": "registry", "entrypoint": "reindex-campaign"}, "schedule": {"phase": "preflight", "order": 22}, "expected_snapshot": {"snapshot_id": "derived-model-candidate", "state": "blocking"}, "registry_checks": ["title-resolution"], "red_mutation": {"fixture_id": "title-census", "mutation_id": "mutation-ih67"}, "receipts": [], "residual_successor": null},
{"bead_id": "polylogue-ix5r", "bead_status": "closed", "incident": {"incident_id": "incident-ix5r", "bead_id": "polylogue-ix5r", "forcing_class": "cursor"}, "route": {"kind": "registry", "entrypoint": "reindex-campaign"}, "schedule": {"phase": "preflight", "order": 23}, "expected_snapshot": {"snapshot_id": "live-preflight-2026-08-04", "state": "blocking"}, "registry_checks": ["cursor-freshness"], "red_mutation": {"fixture_id": "campaign-corpus", "mutation_id": "mutation-ix5r"}, "receipts": [], "residual_successor": {"bead_id": "polylogue-excluded-cursor-live-proof", "kind": "live-proof"}},
{"bead_id": "polylogue-ix5r", "bead_status": "closed", "incident": {"incident_id": "incident-ix5r", "bead_id": "polylogue-ix5r", "forcing_class": "cursor"}, "route": {"kind": "registry", "entrypoint": "reindex-campaign"}, "schedule": {"phase": "preflight", "order": 23}, "expected_snapshot": {"snapshot_id": "live-preflight-2026-08-04", "state": "blocking"}, "registry_checks": ["cursor-freshness"], "red_mutation": {"fixture_id": "excluded-cursor-proof", "mutation_id": "mutation-ix5r"}, "receipts": ["excluded-cursor-proof-receipt"], "residual_successor": {"bead_id": "polylogue-excluded-cursor-live-proof", "kind": "live-proof"}},
{"bead_id": "polylogue-mvcbi", "bead_status": "closed", "incident": {"incident_id": "incident-mvcbi", "bead_id": "polylogue-mvcbi", "forcing_class": "origin"}, "route": {"kind": "registry", "entrypoint": "origin-capability"}, "schedule": {"phase": "preflight", "order": 24}, "expected_snapshot": {"snapshot_id": "post-reindex-acceptance", "state": "blocking"}, "registry_checks": ["origin-matrix"], "red_mutation": {"fixture_id": "origin-matrix", "mutation_id": "mutation-mvcbi"}, "receipts": ["live-proof-mvcbi"], "residual_successor": null},
{"bead_id": "polylogue-nas1", "bead_status": "open", "incident": {"incident_id": "incident-nas1", "bead_id": "polylogue-nas1", "forcing_class": "lineage"}, "route": {"kind": "registry", "entrypoint": "reindex-differential"}, "schedule": {"phase": "preflight", "order": 25}, "expected_snapshot": {"snapshot_id": "derived-model-candidate", "state": "blocking"}, "registry_checks": ["lineage-differential"], "red_mutation": {"fixture_id": "lineage-corpus", "mutation_id": "mutation-nas1"}, "receipts": [], "residual_successor": null},
{"bead_id": "polylogue-omsw", "bead_status": "open", "incident": {"incident_id": "incident-omsw", "bead_id": "polylogue-omsw", "forcing_class": "sidecar"}, "route": {"kind": "registry", "entrypoint": "reindex-campaign"}, "schedule": {"phase": "preflight", "order": 26}, "expected_snapshot": {"snapshot_id": "live-preflight-2026-08-04", "state": "blocking"}, "registry_checks": ["sidecar-admission"], "red_mutation": {"fixture_id": "sidecar-admission", "mutation_id": "mutation-omsw"}, "receipts": [], "residual_successor": null},
Expand Down
Loading