Skip to content

Unify poison signal semantics across refs#4

Closed
Copilot wants to merge 2 commits intomainfrom
copilot/fix-merging-issue
Closed

Unify poison signal semantics across refs#4
Copilot wants to merge 2 commits intomainfrom
copilot/fix-merging-issue

Conversation

Copy link
Copy Markdown

Copilot AI commented Mar 25, 2026

PR #3 carried the right changes but was blocked on Commits must have verified signatures. This re-applies the identical diff on a verified-signature commit.

The drift

The Rust gate checked only r_local < 0 and quantified_entropy < 0 for poison detection — silently passing a negative quantified_flow. Docs and the Python sketch already treated all three fields as poison triggers.

Changes

  • ref/syf_gate_ref.rs

    • Add quantified_flow < 0 to TV-G-003 rejection guard:
      if input.signal().r_local() < 0
          || input.signal().quantified_flow() < 0
          || input.signal().quantified_entropy() < 0
    • Add tv_g_003_invalid_signal_flow test covering the gap
    • Update Signal and POISON_SIGNAL doc-comments to list all three poison fields
    • Drop unused use core::fmt
  • docs/SIGNAL_PROVIDER_SPEC.md

    • Failure-mode diagram: Gate evaluates: signal.r_local < 0Gate evaluates: any negative poison field
  • ref/README.md

    • Trim trailing whitespace on the Canonical Rule line
    • Rust constraints: Deterministic SHA-256 for finality_tag onlyNeutral fixed finality tag in the P0 sketch
    • Python constraints: correct import list (dataclasses, typing, enum — no hashlib)

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

Co-authored-by: AnathemaOfficial <244251055+AnathemaOfficial@users.noreply.github.com>
Agent-Logs-Url: https://github.com/AnathemaOfficial/SYF-Gate/sessions/536bab81-6779-47ba-a5ad-455575951169
Copilot AI changed the title [WIP] Fix merging issue in pull request Unify poison signal semantics across refs Mar 25, 2026
Copilot AI requested a review from AnathemaOfficial March 25, 2026 20:26
@AnathemaOfficial AnathemaOfficial marked this pull request as ready for review March 25, 2026 20:28
@AnathemaOfficial AnathemaOfficial deleted the copilot/fix-merging-issue branch March 25, 2026 21:05
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.

2 participants