Repository navigation
feat(clara-gap1): redteam_filter — 5 adversarial detectors +250 cells (DARPA TA1) - #61
Merged
Merged
Conversation
…p-1 CLARA description
- Fix sim/tb_canonical.v: Split 'reg stable = 1' into declaration + assignment - Fix src/bitnet_encoder.v: - Replace indexed part-select x[2*i +: 2] with shift/mask approach - Remove size casts (10'(), 16'sd1) - Replace indexed part-select y_out[8*j +: 8] with case statement - Add newline at end of file Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
- Fix src/gf16_popcount.v: Replace a_row[2*k +: 2] with shift/mask - Fix src/gf16_popcount16.v: Replace a_row[2*k +: 2] with shift/mask - Fix src/blake3_anchor.v: Replace m_in[32*i +: 32] with shift/mask - Fix src/vsa_matmul_8x8.v: Replace indexed part-select with intermediate wires and case statement - Fix src/vsa_matmul_16x16.v: Replace indexed part-select with intermediate wires and case statement Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
# Conflicts: # info.yaml # src/tt_um_trinity_max_true.v
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
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.
CLARA Gap-1:
redteam_filter— 5 adversarial input detectorsDARPA PA-25-07-02 TA1 — Gap-1 silicon implementation
Closes the first RTL gap identified in
CROWN47_DARPA_DRONE_ANALYSIS.md §3.4:New files
src/redteam_filter.vtest/redteam_filter_tb.vDetector summary
[0][1][2][3][4]Top-level integration
redteam_filterinstantiated intt_um_trinity_max_truewithinput_echopacket fields as inputs.filter_blockrouted touio[2](previously1'b0) — observability only, does NOT block computation.Spec source
Derived directly from
gHashTag/trinity-clara/evidence/CLARA-RED-TEAM.md— all 5 categories, thresholds, and detection mechanisms match the spec exactly.t27 redteam spec: No
redteam.t27found ingHashTag/t27/specs/ar/. Available specs covercomposition,restraint,proof_traceetc. — none specifically cover the 5 adversarial categories. RTL written directly fromCLARA-RED-TEAM.md.Verification
grep * src/redteam_filter.v | grep -v comments→ EMPTY (clean)Base branch
Off
mainat647d25b0dbea(current GAMMA HEAD). DO NOT MERGE — awaiting CI green.Anchor: phi squared + phi minus 2 = 3 · DOI 10.5281/zenodo.19227877