Conversation
![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: fe83fe52c0
ℹ️ 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".
There was a problem hiding this comment.
Pull request overview
Adds a new temporal-coordination primitive (phase-locking value / PLV) to TemporalCoordinationDetection, along with unit tests to validate expected edge cases and invariants.
Changes:
- Added
TemporalCoordinationDetection.phaseLockingValue : double seq -> double seq -> double option. - Added 8 new xUnit tests covering PLV correctness, edge cases, and commutativity.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 3 comments.
| File | Description |
|---|---|
| src/Core/TemporalCoordinationDetection.fs | Implements the new phaseLockingValue function and its doc comment. |
| tests/Tests.FSharp/Algebra/TemporalCoordinationDetection.Tests.fs | Adds a PLV-focused test block validating expected behavior and invariants. |
…duation (11th ferry) Extends the temporal-coordination-detection module with PLV, the classical firefly-synchronization primitive. Third graduation under the Otto-105 cadence; composes with crossCorrelation (PR #297) and RobustStats (PR #295). Aaron Otto-105 attribution: "the diffenrencable firefly network with trivial cartel detect was my design i'm very interested in that." PLV is the canonical formalization of the firefly- synchronization signature Aaron's design targets. Surface: - TemporalCoordinationDetection.phaseLockingValue : double seq -> double seq -> double option Magnitude of the mean complex phase-difference vector; returns [0, 1] where 1 = perfect phase locking (constant offset across series) and 0 = uniformly-distributed phase differences. Returns None on empty input or mismatched-length pairs (undefined; silent truncation would hide caller bugs). Complementary to crossCorrelation: amplitudes-move-together vs events-fire-at-matching-phases. Cartels that flatten amplitude cross-correlation by injecting noise may still reveal themselves through preserved phase structure. Detectors compose both. Math: PLV = | (1/N) sum( exp(i * (phi_a[k] - phi_b[k])) ) | = sqrt( mean(cos(delta))^2 + mean(sin(delta))^2 ) Only depends on phase differences, so any consistent wrapping convention ([-pi, pi] or [0, 2pi]) works without pre-unwrap. Tests (8 new, 18 total passing): - Identical phase series -> 1.0 - Constant offset (pi/4) -> 1.0 (perfect locking regardless of offset) - Empty series -> None - Mismatched lengths -> None (surfaces caller bug) - Anti-phase (pi offset) -> 1.0 (still constant = still locked) - Uniformly-distributed differences across [0, 2pi) -> ~0 (360 samples) - Commutativity (swapping args leaves magnitude invariant) - Single-element degenerate case returns 1.0 without crash Attribution: - Concept (phase-locking as firefly-synchronization signature, trivial-cartel-detect primary detection) = Aaron's design - Technical formulation (PLV, complex-phase-vector magnitude) = Amara's formalization in 11th ferry - Implementation = Otto SPOF consideration (per Otto-106 directive): pure function with no external dependencies; no SPOF introduced by this ship. Downstream detectors that combine PLV across many node pairs should use RobustStats.robustAggregate for outlier-resistant combination, not arithmetic mean. Composes with: - src/Core/RobustStats.fs (PR #295) — 1st graduation - src/Core/TemporalCoordinationDetection.crossCorrelation (PR #297) — 2nd graduation (same module) Next graduation candidates (feedback memory queue): - BurstAlignment detector over crossCorrelationProfile - antiConsensusGate from 10th ferry - ModularitySpike / EigenvectorCentralityDrift (need graph substrate) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
force-pushed
the
feat/phase-locking-value-amara-graduation-3
branch
from
fe83fe5 to
e2d5796
Compare
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…e/Claim — 5th graduation Ships the foundation for the bullshit-detector / veridicality- scoring module — the `Provenance` and `Claim<'T>` input types plus the minimum-provenance-validity predicate from Amara's 10th ferry (PR #294 `docs/aurora/2026-04-23-amara-aurora-deep-research- report-10th-ferry.md`). Fifth graduation under the Otto-105 cadence. Naming (per Otto-112 memory feedback_veridicality_naming_for_ bullshit_detector_graduation_aaron_concept_origin_amara_ formalization_2026_04_24): - Module: `Veridicality` (NOT `BullshitDetector` — informal "bullshit" stays in comments/commit-message etymology, programmatic surface uses the formal term) - `Veridicality` = how true-to-reality a claim looks; the scorable. Bullshit = 1 - veridicality (informal). Attribution (two-layer per Otto-104/111/112 pattern): - Aaron = concept origin (bullshit-detector / provenance-aware- scoring framing present in bootstrap conversation at `docs/amara-full-conversation/**` before Amara's ferries formalized it; Aaron Otto-112: "bullshit, it was in our conversation history too, not just her ferry") - Amara = formalization (7th ferry veridicality formula V(c) = σ(β₀ + β₁(1-P) + ...), 8th ferry semantic-canonicalization "rainbow table" + quantum-illumination grounding, 9th/10th ferries 7-feature BS(c) composite + oracle-rule specification) - Otto = implementation (this and subsequent graduations) Surface: - Veridicality.Provenance record — 7 fields (SourceId, RootAuthority, ArtifactHash, BuilderId option, TimestampUtc, EvidenceClass, SignatureOk) matching Amara's 10th-ferry spec verbatim - Veridicality.Claim<'T> record — 4 fields (Id, Payload 'T, Weight int64, Prov) polymorphic over payload type - Veridicality.validateProvenance : Provenance -> bool — minimum-validity gate (non-empty SourceId/RootAuthority/ ArtifactHash + SignatureOk=true); matches Amara's snippet - Veridicality.validateClaim : Claim<'T> -> bool — convenience alias, wraps validateProvenance on claim's Prov Negative-Weight semantics (per Z-set retraction-native algebra): validateClaim does NOT inspect Weight; a retraction-claim (Weight = -1) is valid if its provenance is valid. Retraction semantics live at the ledger level, not the claim-validity level. Matches Zeta's existing ZSet signed-weight discipline (Otto-73 retraction-native-by-design). What this DOESN'T ship: - Veridicality scorer (Amara's V(c) / BS(c)) — next graduation - antiConsensusGate (needs Provenance; small follow-up) - SemanticCanonicalization (rainbow-table canonical-claim-key) - OracleVector (aggregated scoring vector) Tests (10, all passing): - validateProvenance: accepts fully-populated, rejects on each required-field violation, accepts BuilderId=None (not a hard gate) - validateClaim: wraps prov validation, polymorphic over Payload, rejects bad-prov claims - Claim supports negative Weight (retraction semantics) Build: 0 Warning / 0 Error. `dotnet test --filter FullyQualifiedName~Veridicality` reports 10/10 passed. SPOF consideration (per Otto-106): pure data types + pure validation function; no external deps; no SPOF introduced. Downstream scorers that combine provenance across many claims should use RobustStats.robustAggregate (PR #295) for outlier- resistant combination, not arithmetic mean. Composes with: - src/Core/RobustStats.fs (PR #295) — 1st graduation - src/Core/TemporalCoordinationDetection.fs (PR #297 + #298 + pending #306) — parallel module for the firefly-network arc Next graduation queue: - antiConsensusGate (10th ferry; uses Provenance) - SemanticCanonicalization / CanonicalClaimKey (8th ferry) - scoreVeridicality (Amara's V(c) or BS(c) composite — ADR needed) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…e/Claim — 5th graduation (#309) Ships the foundation for the bullshit-detector / veridicality- scoring module — the `Provenance` and `Claim<'T>` input types plus the minimum-provenance-validity predicate from Amara's 10th ferry (PR #294 `docs/aurora/2026-04-23-amara-aurora-deep-research- report-10th-ferry.md`). Fifth graduation under the Otto-105 cadence. Naming (per Otto-112 memory feedback_veridicality_naming_for_ bullshit_detector_graduation_aaron_concept_origin_amara_ formalization_2026_04_24): - Module: `Veridicality` (NOT `BullshitDetector` — informal "bullshit" stays in comments/commit-message etymology, programmatic surface uses the formal term) - `Veridicality` = how true-to-reality a claim looks; the scorable. Bullshit = 1 - veridicality (informal). Attribution (two-layer per Otto-104/111/112 pattern): - Aaron = concept origin (bullshit-detector / provenance-aware- scoring framing present in bootstrap conversation at `docs/amara-full-conversation/**` before Amara's ferries formalized it; Aaron Otto-112: "bullshit, it was in our conversation history too, not just her ferry") - Amara = formalization (7th ferry veridicality formula V(c) = σ(β₀ + β₁(1-P) + ...), 8th ferry semantic-canonicalization "rainbow table" + quantum-illumination grounding, 9th/10th ferries 7-feature BS(c) composite + oracle-rule specification) - Otto = implementation (this and subsequent graduations) Surface: - Veridicality.Provenance record — 7 fields (SourceId, RootAuthority, ArtifactHash, BuilderId option, TimestampUtc, EvidenceClass, SignatureOk) matching Amara's 10th-ferry spec verbatim - Veridicality.Claim<'T> record — 4 fields (Id, Payload 'T, Weight int64, Prov) polymorphic over payload type - Veridicality.validateProvenance : Provenance -> bool — minimum-validity gate (non-empty SourceId/RootAuthority/ ArtifactHash + SignatureOk=true); matches Amara's snippet - Veridicality.validateClaim : Claim<'T> -> bool — convenience alias, wraps validateProvenance on claim's Prov Negative-Weight semantics (per Z-set retraction-native algebra): validateClaim does NOT inspect Weight; a retraction-claim (Weight = -1) is valid if its provenance is valid. Retraction semantics live at the ledger level, not the claim-validity level. Matches Zeta's existing ZSet signed-weight discipline (Otto-73 retraction-native-by-design). What this DOESN'T ship: - Veridicality scorer (Amara's V(c) / BS(c)) — next graduation - antiConsensusGate (needs Provenance; small follow-up) - SemanticCanonicalization (rainbow-table canonical-claim-key) - OracleVector (aggregated scoring vector) Tests (10, all passing): - validateProvenance: accepts fully-populated, rejects on each required-field violation, accepts BuilderId=None (not a hard gate) - validateClaim: wraps prov validation, polymorphic over Payload, rejects bad-prov claims - Claim supports negative Weight (retraction semantics) Build: 0 Warning / 0 Error. `dotnet test --filter FullyQualifiedName~Veridicality` reports 10/10 passed. SPOF consideration (per Otto-106): pure data types + pure validation function; no external deps; no SPOF introduced. Downstream scorers that combine provenance across many claims should use RobustStats.robustAggregate (PR #295) for outlier- resistant combination, not arithmetic mean. Composes with: - src/Core/RobustStats.fs (PR #295) — 1st graduation - src/Core/TemporalCoordinationDetection.fs (PR #297 + #298 + pending #306) — parallel module for the firefly-network arc Next graduation queue: - antiConsensusGate (10th ferry; uses Provenance) - SemanticCanonicalization / CanonicalClaimKey (8th ferry) - scoreVeridicality (Amara's V(c) or BS(c) composite — ADR needed) Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…— 4th graduation (#306) Ships the burst-detection primitive from Aaron's differentiable firefly network design, completing the "trivial-cartel-detect" first-order-signal tier from the 11th ferry (PR #296). Fourth graduation under the Otto-105 cadence; composes on crossCorrelationProfile (PR #297). Aaron Otto-111 question: "Are you able to import the ideas and concepts and math from the conversation at some point?" — yes, that's exactly what the graduation cadence is for. This ship is an explicit answer to that question. Surface: - TemporalCoordinationDetection.significantLags : (int * double option) array -> double -> int array Filters a crossCorrelationProfile down to the lags where |corr| meets or exceeds a caller-supplied threshold. None entries (undefined variance) never count as significant. Non-finite correlations filtered by System.Double.IsFinite check. - TemporalCoordinationDetection.burstAlignment : (int * double option) array -> double -> (int * int) array Groups significant lags into contiguous runs. Each run reported as (startLag, endLag) inclusive. Isolated significant lag at n reports as (n, n). Operational meaning: a run of lags [-2..3] suggests actors that coordinate across a 5-step window, not a single-point coincidence. The 11th-ferry signal-model definition (Amara §1): "Firefly detection = identify clusters where exists S subset of N such that for all i,j in S, corr(E_i, E_j) >> baseline". This function operationalises the pair-wise case (two streams); node- set generalisation (clustering across many stream pairs) is a separate graduation candidate. Attribution: - Concept (differentiable firefly network, trivial-cartel-detect, burst-as-first-order-signal) = Aaron's design - Technical formulation (cluster detection over correlation profile, threshold + contiguity semantics) = Amara's formalization in 11th ferry - Implementation = Otto SPOF (per Otto-106): pure function. The caller-supplied threshold is a SPOF on detector sensitivity — too high misses real cartels, too low catches noise. Mitigation: threshold should come from a null-hypothesis baseline computation (baseline's profile percentile), not hard-coded. Documented in the XML-doc comment. Tests (9 new, 19 total in module, all passing): - significantLags: above-threshold selection; abs value for neg correlation; None entries filtered; empty when threshold too high - burstAlignment: contiguous grouping; non-contiguous split into multiple runs; empty when no significant lags; single lag as (n, n) run; None entries break contiguity Composes with: - PR #297 crossCorrelation / crossCorrelationProfile - PR #298 (pending) phaseLockingValue — complementary detector - PR #295 RobustStats.robustAggregate — combining across many stream pairs Next graduation queue: - antiConsensusGate (10th ferry) - ModularitySpike (needs graph substrate) - InfluenceSurface / CartelCostFunction (need multi-node) Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…correction) (#332) Completes the input pipeline for TemporalCoordinationDetection. phaseLockingValue (PR #298): PLV expects phases in radians but didn't prescribe how events become phases. This ship fills the gap. 17th graduation under Otto-105 cadence. Addresses Amara 17th-ferry Part 2 correction #5: 'Without phase construction, PLV is just a word.' Surface (2 pure functions): - PhaseExtraction.epochPhase : double -> double[] -> double[] Periodic-epoch phase. φ(t) = 2π · (t mod period) / period. Suited to consensus-protocol events with fixed cadence (slot duration, heartbeat, epoch boundary). - PhaseExtraction.interEventPhase : double[] -> double[] -> double[] Circular phase between consecutive events. For sample t in [t_k, t_{k+1}), phase = 2π · (t - t_k) / (t_{k+1} - t_k). Suited to irregular event-driven streams. Both return double[] of phase values in [0, 2π) radians. Empty output on degenerate inputs (no exception). eventTimes assumed sorted ascending; samples outside the event range get 0 phase (callers filter to interior if they care). Hilbert-transform analytic-signal approach (Amara's Option B) deferred — needs FFT support which Zeta doesn't currently ship. Future graduation when signal-processing substrate lands. Tests (12, all passing): epochPhase: - t=0 → phase 0 - t=period/2 → phase π - wraps cleanly at period boundary - handles negative sample times correctly - returns empty on invalid period (≤0) or empty samples interEventPhase: - empty on <2 events or empty samples - phase 0 at start of first interval - phase π at midpoint - adapts to varying interval lengths (O(log n) binary search for bracketing interval) - returns 0 before first and after last event (edge cases) Composition with phaseLockingValue: - Two nodes with identical epochPhase period → PLV = 1 (synchronized) - Two nodes with same period but constant offset → PLV = 1 (perfect phase locking at non-zero offset is still locking) This composes the full firefly-synchronization detection pipeline end-to-end for event-driven validator streams: validator event times → PhaseExtraction → phaseLockingValue → temporal-coordination-detection signal 5 of 8 Amara 17th-ferry corrections now shipped: #1 λ₁(K₃)=2 ✓ already correct (PR #321) #2 modularity relational ✓ already correct (PR #324) #3 cohesion/exclusivity/conductance ✓ shipped (PR #331) #4 windowed stake covariance ✓ shipped (PR #331) #5 event-stream → phase pipeline ✓ THIS SHIP Remaining: #4 robust-z-score composite variant (future); #6 ADR phrasing (already correct); #7 KSK naming (BACKLOG #318 awaiting Max coord); #8 SOTA humility (doc-phrasing discipline). Build: 0 Warning / 0 Error. Provenance: - Concept: Aaron firefly-synchronization design - Formalization: Amara 17th-ferry correction #5 with 3-option menu (epoch / Hilbert / circular) - Implementation: Otto (17th graduation; options A + C shipped, Hilbert deferred) Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
Apr 24, 2026
…or / Integration Plan (Otto-117) (#311) * ferry: Amara 12th absorb — Executive Summary / KSK / Integrity Detector / Integration Plan Otto-117 dedicated absorb of the most comprehensive synthesis ferry yet (Aaron Otto-116 "next amara update"). Covers 9 sections: 1. Repo contents (LFG + AceHack) 2. Learnings (retraction-native, operator-algebra, Arrow/Spine, agent-CI) 3. KSK background — detailed government context (Feb 27 2026 DoD supply-chain-risk under 10 U.S.C. § 3252 against Anthropic; Judge Rita Lin Mar 26 preliminary injunction; OpenAI Feb 28 parallel DoW contract with Fourth-Amendment-clause) 4. Network Integrity Detector (formalized "bullshit detector" — composite I(x) = σ(Σ w_i f_i) score) 5. Firefly + Cartel detection (PLV, cross-correlation, spectral, graph-community) 6. Network Differentiability (Shapley-ish counterfactual influence) 7. Oracle Rules enforcement mapping table 8. Integration Plan (proposes 4-sub-repo split) 9. 9 prioritized next tasks §33 archive-header compliance (Scope / Attribution / Operational status / Non-fusion disclaimer). Otto's notes section provides honest cross-reference to shipped work: ~40% of the ferry's operationalizable content is already shipped (PRs #295 RobustStats, #297 crossCorrelation, #298 PLV, #306 burstAlignment pending, #309 Veridicality.Provenance/Claim, #310 antiConsensusGate pending). Genuinely novel in 12th ferry (not in prior ferries): 1. Detailed government-context grounding for KSK (§3) 2. Composite integrity-score formulation I(x) = σ(Σ w_i f_i) 3. 4-sub-repo integration proposal (Conway's-Law-relevant per Otto-108 memory; Otto recommends staying single-repo) 4. Oracle-Rules enforcement decision table (§7) 5. Shapley-random-ordering counterfactual influence algorithm (§6) Specific-asks routed to Aaron: 1. §8 sub-repo split — Aaron decides per Otto-90 cross-repo 2. §9 task 1 KSK skeleton — Aaron + Max coordination 3. §3 citation verification — Aaron signals what matters Next graduation queue (priority-ordered from Otto's notes): 1. SemanticCanonicalization (matches 8th ferry rainbow-table; smallest next item) 2. scoreVeridicality composite (needs ADR on formula) 3. Spectral-coherence FFT detector (§5) 4. ModularitySpike (needs graph substrate) 5. EigenvectorCentralityDrift (needs linear algebra) 6. EconomicCovariance / Gini-on-weights (§5) 7. OracleRules spec doc (§7) 8. InfluenceSurface (§6; larger effort) 9. KSK skeleton (Aaron + Max coord) Sibling-ferry precedent: PRs #196/#211/#219/#221/#235/#245/ #259/#274/#293/#294/#296. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com> * lint: fix markdownlint errors in 12th-ferry absorb (line-break heading + PR-number-at-line-start) * fix(#311): [sic] annotation on .clave/ typo (verbatim-preserve, downstream uses .claude/) Ferry-absorbs preserve verbatim external-collaborator content; editorial [sic] annotation is the scholarly convention for preserving the source while orienting the reader. The downstream operationalization PR will use `.claude/` (the actual repo path). Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 4.7 <noreply@anthropic.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
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
Third Amara graduation — extends
TemporalCoordinationDetectionwithphaseLockingValue, the canonical firefly-synchronization primitive from Aaron's 11th-ferry design (PR #296).Aaron Otto-105: "the diffenrencable firefly network with trivial cartel detect was my design i'm very interested in that." PLV is the classical formalization of that synchronization signature.
What lands
phaseLockingValue : double seq -> double seq -> double optioncrossCorrelation(amplitude-similarity) +RobustStats.robustAggregate(outlier-resistant combination)Why PLV + cross-correlation together
Cartels that hide amplitude coordination by adding noise may still reveal themselves through preserved phase structure. Two detectors from different angles composed over the same streams; each catches what the other misses.
Test plan
SPOF (per Otto-106 directive)
Pure function, no external deps, no SPOF introduced. Downstream combinators over many node-pairs should use
RobustStats.robustAggregaterather than arithmetic mean.🤖 Generated with Claude Code