Repository navigation
D-ALPHA-G-0 + D-WA-0: WorldG from the Alpha route; Witness × Angle as a declared local source - #1372
Conversation
… a declared local source D-ALPHA-G-0 (alpha_world_provenance_probe): an epistemic event is (Alpha-attended address, CausalEdge64). WorldG = graph_of(addr), the order of worlds is the SpogTenants route. Same edge bits in two worlds are two events; replaying the same claims recovers the world sequence with all-zero edges; changing edge fields never moves the world; partitioned by recovered world each MailboxSoA holds only its own deliveries through the unchanged apply_edges; an undeclared world is refused at the tunnel (NoTenant). 5 tests, 5 disable runs red. D-WA-0 (witness_angle_probe): (class, generation, w_slot, bits 43..45) -> SourceCoord under a probe-local sparse law. Same bits mean different sources in another class and another generation; classes reading the bits as the pathology triad or a cohort WitnessTable refuse, as do undeclared classes and generations, Witness 0 and v1/unknown provenance. World from the attended key, never the edge. 0 allocations; 7 tests, 7 disable runs red. Reframe: ISS-MAILBOX-ROUTES-WITNESS-WITHOUT-GRAPH resolved as a false positive. The #1371 cross-graph case bypasses the split tunnel; apply_edges has no production caller; MailboxSoA stays graph-blind and gains no G check. spog_witness_probe docs corrected in place. Board: STATUS_BOARD (D-SPOG-W-0 Shipped #1371; D-ALPHA-G-0, D-WA-0 rows), ISSUES status, entry with the 10-point inventory, entries index. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01T8w7Ucm7NhitfTduFKmhYx
|
Note Currently processing new changes in this PR. This may take a few minutes, please wait... ⚙️ Run configuration
📒 Files selected for processing (9)
✨ Finishing Touches📝 Generate docstrings
Warning Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption. Comment |
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: 8618fd07-6e69-4470-8659-9962a8856f24) |
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: ffd10a3b-40c5-4d2a-9ded-0951f043d658) |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: b3c5fdabd6
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
- alpha_world_provenance_probe: mailbox deliveries are built from the tunnel's per-world shadows (tenant(w).scanpath()), joined back to the observed edge; the test no longer routes by graph_of itself. Feeding both mailboxes from one shadow fails it. - witness_angle_probe: a second source-coordinate class in world 0x9101 maps the same raw pair to a different coordinate, so class identity is tested apart from world. A law keyed by world instead of class now fails (8 disable runs red). - ISSUES / STATUS_BOARD / entry: the issue is resolved as not a MailboxSoA defect; the unbuilt attention-to-edge join is the open residue and must feed mailboxes from the tunnel output. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01T8w7Ucm7NhitfTduFKmhYx
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: 14d22fa3-05ae-4056-9136-512a39444a96) |
|
Add Carrot credits or activate Agent usage billing to use Autopilot |
ce64_cycle_survival_probe: one MailboxSoA edges row (cycle-gated write_row + tick) is the only cross-cycle state. Each cycle folds observations with the shipped CausalEdge64::learn (NARS revision of F/C), counts distinct sources in a per-cycle SupportLedger (dropped at cycle end), settles the EpistemicState5 code and writes the register back. The next cycle measures eligibility with the #1370 law, moved unchanged to examples/shared/affordance_law.rs. Eligibility over cycles 0..3: OBS, OBS, OBS|STRATIFY, OBS: accumulation without certification, certification read by the next cycle, contradiction read by the next cycle. F1-F7 tests; 1000 folds from one source never certify; sources split across cycles never combine (missing state, pinned). 9 tests, 7 disable runs red. The EpistemicState5 step (code 3 <-> 7) is probe-declared: learn() never writes bits 59..63 and no production writer from evidence exists. Recorded as ISS-NO-EVIDENCE-WRITER-FOR-EPISTEMIC-STATE. Board: D-ALPHA-G-0 and D-WA-0 Shipped (#1372); D-CE64-TIME-0 row; ISSUES entry; inventory entry; entries index. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01T8w7Ucm7NhitfTduFKmhYx
2 participants
Claim
Two probes over existing seams, plus one reframe of #1371. No new persistent fields; no graph id in
CausalEdge64orMailboxSoA;MailboxSoAsource untouched.D-ALPHA-G-0: WorldG is attention provenance carried by the Alpha route, not a CE64 field.
graph_of(addr), read from the attended key.SpogTenantsroute (merge_in_claim_order).D-WA-0: Witness (
w_slot) × Angle (bits 43..45) as a declared, sparse local source coordinate.(class, generation, w, a) → SourceCoordunder a probe-local law with 6 entries.Inventory (main @ 705509f), short
SpogTenants::claim, which routes tograph_of(addr)and returnsNoTenantfor an undeclared world.routerecords each fresh claim's world.apply_edgeshas no production caller, and nothing connectsSpogTenantsorAlphaTunnelto a mailbox.The full 10 points are in the board entry.
Tests
alpha_world_provenance_probeVec)witness_angle_probeplasticity_atcounts, and that disable fails.tenant(w).scanpath()), not from the test's own routing.Reframe
ISS-MAILBOX-ROUTES-WITNESS-WITHOUT-GRAPHis RESOLVED as not aMailboxSoAdefect.MailboxSoAstays graph-blind, andapply_edgesgets no G check.spog_witness_probedocs are corrected in place.Not proven
graph_ofis the right WorldG granularity for every consumer.SourceCoordmeans. It is a test codebook.Board
STATUS_BOARD: D-SPOG-W-0 Shipped (D-SPOG-W-0: the Witness slot as a SPOG sub-context under classid-G #1371); new rows for D-ALPHA-G-0 and D-WA-0.ISSUESstatus line.2026-10-06-alpha-world-provenance-and-witness-angle.md; entries index regenerated.🤖 Generated with Claude Code
https://claude.ai/code/session_01T8w7Ucm7NhitfTduFKmhYx
Generated by Claude Code