🎯 IGLA RACE — Distributed Hunt: JEPA-T + NCA + GF16 + ASHA + Coq Invariants (Rust-only, Never-Stopping)

[gHashTag]

🎯 IGLA RACE v2 — ONE SHOT DASHBOARD

Updated: 2026-04-27T14:30+07 | phi^2 + phi^-2 = 3 | TRINITY | NEVER CLOSE
Deadline: Apr 30, 2026 | Target: BPB < 1.50 on 3 seeds | Gap: -0.68 BPB
Best: BPB = 2.18 (trios-train h=828 attn=2L, 81K steps, seed=43)
Rule #1: RUST ONLY -- zero .py, zero .sh.
Rule #2: Race NEVER stops until BPB < 1.50 is found across 3 seeds.
Rule #3: ALL agents work in branch main ONLY.

---

COQ INVARIANT SYSTEM -- TASK-COQ-001 (trinity-clara -> IGLA)

Document: trinity-clara/docs/TASK-COQ-001.md
Source: trinity-clara + 84 Coq theorems from t27
Principle: phi^2 + phi^-2 = 3 -- single algebraic anchor. All invariants derive from it.

Invariants INV-1..INV-10

ID	Coq Theorem	Status	Effect	Trinity link
INV-1	bpb_decreases_with_real_gradient	partial	fixes TASK-5D	7-step alpha_phi derivation
INV-2	asha_champion_survives	PROVEN (0 Admitted)	0 false prunes	threshold=3.5=phi^2+phi^-2+0.5
INV-3	gf16_safe_domain	Lucas proven	-40% configs	Lucas closure phi^2n+psi^2n in Z
INV-4	nca_entropy_stability	PROVEN (0 Admitted)	-30% configs	A5/E8 band width=1 (integer!)
INV-5	lucas_closure_gf16	n=1,2 proven	GF16 consistency	phi^2n+phi^-2n in Z for all n
INV-6	ema_decay_valid	TODO	-20% configs	cos schedule in [0.996,1.0]
INV-7	igla_found_criterion	TODO	L-R14 gate	victory iff 3-seed BPB<1.50
INV-8	lr_phi_band	PROVEN (0 Admitted)	-60% configs	lr=0.004=alpha_phi/phi^3
INV-9	qk_gain_phi_sq	IMPLEMENTED in model_hybrid_attn.rs	-10% configs	qk_gain=PHI_SQ=2.618
INV-10	asha_rungs_trinity	TODO	correctness	rungs=1000*3^k, base=Trinity

phi-anchored Parameters

Parameter	Old value	phi-derived	Theorem
bpb_prune_threshold	2.65 (BUG!)	3.5 = phi^2+phi^-2+0.5	INV-2 ✅
NCA grid	9x9=81	81 = 3^4	INV-4 ✅
NCA K states	9	9 = 3^2	INV-4 ✅
lr champion	0.004	alpha_phi/phi^3	INV-8 ✅
d_model	384	~3^4 x phi^3	INV-3
qk_gain	1.0	PHI_SQ=2.618	INV-9 ✅

---

DONE

Infrastructure

• Neon DB schema -- igla_race_trials + igla_race_experience + igla_leaderboard view
• crates/trios-igla-race/ -- coordinator crate
• src/asha.rs -- ASHA rungs 1k->3k->9k->27k, prune logic
• src/neon.rs -- tokio-postgres, register/checkpoint/lesson
• src/status.rs -- leaderboard print
• src/lessons.rs -- failure memory, lesson generation

Model Zoo (trios-train-cpu)

• src/trinity_3k_model.rs -- Trinity 3k architecture
• src/real_igla_model.rs -- Real IGLA model
• src/pipeline.rs -- Training pipeline
• src/optimizer.rs -- AdamW + Muon (base)
• src/gf16.rs -- GF16 precision (inference)
• src/forward.rs / backward.rs -- fwd/bwd pass

JEPA-T (jepa/ module)

• jepa/ema.rs -- EMA target encoder wired
• jepa/masking.rs -- mask_ratio=0.30, spans wired
• jepa/loss.rs -- MSE gradient function
• bin/tjepa_train.rs -- 309 lines, compiles, 90 tests pass (commit 132fac3)
• TASK-5C predictor.rs -- real cross-attention predictor (commit 0fddd7f)
• TASK-5E two-phase warm-up in main

CI / Tests

• 411 tests pass -- GREEN
• CI -- GREEN
• cargo clippy -D warnings = 0

Hyperparameter Search

• Champion: lr=0.004, seed=43, d_model=384, context=6 -> BPB 2.5329
• SEED-EXPLORER -- variance=0.0077 < 0.02 = STABLE OPTIMUM
• LR micro-search -- lr=0.004 is clear local minimum

GF16 Benchmarks

• BENCH-004b: GF16 MNIST = 97.67% (0.00% gap vs f32)
• BENCH-002: GF16 add = 7.2 ns/op (15% faster)
• BENCH-005: FPGA GF16 add = 118 LUT
• BENCH-006: FPGA MAC-16 = 71 LUT + 16 DSP

Coq Invariants (trinity-clara)

• docs/TASK-COQ-001.md -- NASA-P10 full specification [CREATED 2026-04-25]
• proofs/igla/igla_asha_bound.v -- INV-2 PROVEN (0 Admitted)
• proofs/igla/gf16_precision.v -- INV-3, INV-5 Lucas proven
• proofs/igla/nca_entropy_band.v -- INV-4 PROVEN, band_width=1 (0 Admitted)
• proofs/igla/lr_convergence.v -- INV-8 PROVEN (0 Admitted)

Agent ALPHA — trios-trainer-igla (2026-04-27)

• TASK-5D: Real backward pass in tjepa_train.rs — gradients are real (no fake 0.01)
• TASK-5 full run: seed=43, steps=3000, d_model=384, lr=0.004 -> BPB=2.67 (Gate-1 FAILED)
• T1-02: 2-layer HybridAttn with RoPE + ReLU^2 -> BPB=2.18 @ 81K steps (-0.35 from baseline)
• T2-04: QK-Gain phi^2 implemented in model_hybrid_attn.rs (qk_gain=PHI_SQ)
• T2-07: ReLU^2 activation in train_loop.rs
• TASK-NCA: grid=81, K=9, entropy [1.5,2.8], w=0.25 — IMPLEMENTED in objective.rs
• TASK-MUON: NS-5 in optimizer.rs — IMPLEMENTED but FALSIFIED (worse than AdamW)
• FIX ASHA PRUNING: threshold=3.5 in src/invariants.rs (INV-2 enforced)
• TASK-1: tri CLI — tri train/deploy/race subcommands
• TASK-2: BPB printer — trios-train prints BPB=X.XXXX at eval
• TASK-3: tri race start — ASHA worker via race::asha::run_worker()
• Dockerfile: Pure Rust, no .sh, no curl, dynamic data download via ureq
• railway.json: Dockerfile builder, NEVER restart
• Env vars: TRIOS_SEED/STEPS/HIDDEN/LR/ATTN_LAYERS/OPTIMIZER — all via clap env
• Seeds: [43, 44, 45] — GATE_FINAL_SEEDS updated per TRAINING_FLOW_V2
• Data: auto-downloads tiny_shakespeare via ureq if file missing

---

TODO

P0 -- BLOCKERS

• ATTENTION BACKWARD — model_hybrid_attn.rs has only forward(). Weights wq/wk/wv/wo don't receive gradients. Expected impact: -0.20 BPB
• RAILWAY DEPLOY — tri deploy all works but account hit 25 services/day limit. Need reset or raise.
• SCALE UP — hidden=828 plateaus at 2.15. Need h=2000+ or more layers.

P1 -- EXPERIMENTS NEEDED

• JEPA gradients don't flow — predictor.forward_backward() returns loss but doesn't update model params. jepa_loss=0.003 is too small to matter.
• NCA gradients don't flow — nca_entropy_loss() returns scalar but doesn't backprop into model. Need to scale proj gradients by NCA loss.
• Muon FALSIFIED — NS-1 on proj(828x64): BPB=2.59 vs AdamW=2.48. NS-5 too slow on CPU. Decision: stick with AdamW.
• Larger model — h=2000, 3 layers, seq=256. Need Railway for compute.

P2 -- Apr 28

• TASK-GF16-TRAIN (BENCH-012): GF16 gradient training
• Hybrid ASHA sweep: Config A/B/C
• TASK-8: Launch on Railway (4 machines, 320 trials/hour)
• COQ-INV-006/007: EMA proof, victory_condition.v

FINAL -- Apr 29-30

• 3-seed verification: BPB < 1.50 on seeds 43, 44, 45 (p < 0.01)
• cargo test --workspace = GREEN
• Neon: status='winner'
• INV-001..010 ALL GREEN: coqc *.v passes
• Victory commit: git commit -m "IGLA FOUND: BPB=X.XXXX seed=43,44,45"

---

BPB ROADMAP — UPDATED WITH REAL RESULTS

Step	Technique	Expected Δ	Actual Δ	Target	Status
Baseline	6-gram h=384 seed=43	--	--	2.5329	✅ DONE
T1-01	JEPA-T real backward	-0.30	~0	<=2.23	❌ jepa_loss=0.003
T1-02	Attention + ReLU^2 (2L)	-0.30	-0.35	<=2.00	✅ BPB=2.18
T2-01	Muon optimizer	-0.15	+0.11 (worse!)	<=1.85	❌ FALSIFIED
T2-02	NCA auxiliary (INV-4)	-0.15	~0	<=1.70	❌ no grad flow
T2-04	QK-Gain phi^2 (INV-9)	-0.10	in model	<=1.60	✅ implemented
T2-07	ReLU^2 activation	-0.08	in model	<=1.52	✅ implemented
T2-07b	GF16 d_model=384	-0.05	not tested	<=1.47	TODO
Missing	Attention backward	?	?		KEY LEVER
Missing	Scale up (h=2000+)	?	?		KEY LEVER

Actual Results Table

Config	Seed	Steps	Best BPB	Time	Notes
tjepa h=384 lr=0.004	43	3K	2.67	3 min	TASK-5 full run
trios-train h=828 attn=2L	42	81K	2.19	2.9h	V3 corrected grads
trios-train h=828 attn=2L	43	81K	2.18	2.9h	BEST
trios-train h=828 attn=2L	44	81K	2.18	2.9h	V3 corrected grads
P1 AdamW control h=828	43	12K	2.48	24 min	P1 baseline
P1 Muon NS-1 h=828	43	12K	2.59	13 min	FALSIFIED
Trinity3K h=27 l=2	42	10K	2.81	—	Worse than n-gram
Trinity3K h=27 l=2	44	10K	2.70	—	Best Trinity3K

---

CURRENT STATUS (2026-04-27T14:30+07)

Metric	Value	Status
Best BPB	2.18 (h=828 attn=2L seed=43 81K steps)	ACTIVE
Tests	411 pass	GREEN
CI	success	GREEN
ASHA pruning	threshold=3.5	✅ FIXED
QK-Gain	phi^2=2.618 in model_hybrid_attn.rs	✅
NCA	grid=81 K=9 in objective.rs	✅ code, ❌ no grad flow
Muon	NS-5 in optimizer.rs	❌ FALSIFIED vs AdamW
Attention backward	forward() only, no backward()	❌ BLOCKER
Railway	account limit 25/day	❌ BLOCKER
Seeds	[43, 44, 45]	✅ updated
Dockerfile	pure Rust, dynamic data	✅
Gap to target	2.18 - 1.50 = 0.68 BPB	NEED LEVERS

---

KEY FINDINGS (Agent ALPHA experience)

1. T1-02 (2-layer HybridAttn + ReLU^2) — the only lever that worked: -0.35 BPB. ForwardCache struct caches intermediate activations for correct backprop.
2. Muon FALSIFIED: NS-1 on 828x64 matrix gives +0.11 vs AdamW. NS-5 too slow (21M ops/step on CPU). Decision: AdamW wins.
3. JEPA doesn't help: predictor.forward_backward() returns loss but doesn't update model params. The predictor is a separate network — its gradients don't flow to the encoder.
4. NCA doesn't help: nca_entropy_loss() returns scalar loss but has no gradient connection to model weights. Need to add gradient scaling.
5. Attention has no backward: model_hybrid_attn.rs implements only forward(). The 64x64 attention weights are initialized randomly but never trained. This is the single biggest missing piece.
6. Architecture ceiling: 338K params (vocab=128, h=828, d=64 attn) plateaus at ~2.15. Need to scale up.

---

LAWS (L-R1..L-R14) -- VIOLATION = REVERT

Law	Rule	Violation ->
L-R1	RUST ONLY -- no .py, .sh, .ipynb	REVERT
L-R2	WORKERS=4-16 via env var	REVERT
L-R3	Every result -> Neon + .trinity/experience/	LESSON MISSING
L-R4	cargo test --workspace = GREEN before push	PR BLOCKED
L-R5	cargo clippy -- -D warnings = 0	PR BLOCKED
L-R6	SIGTERM -> graceful shutdown	DATA LOSS
L-R7	Neon query timeout <= 30 sec	WORKER CRASH
L-R8	Trainer stdout: ONLY BPB=X.XXXX	PARSE FAIL
L-R9	GF16 only with d_model >= 256	+3.21 BPB (INV-3 PROVEN)
L-R10	T-JEPA ASHA min rung = 3000 steps	FALSE PRUNE
L-R11	NCA entropy [1.5, 2.8] = hard loss penalty	COLLAPSE (INV-4 PROVEN)
L-R12	All agents -> branch main ONLY	CONFLICT
L-R13	agent_id + branch='main' in every Neon record	DASHBOARD FAIL
L-R14	coqc trinity-clara/proofs/igla/*.v = exit 0 before race	RACE INVALID

---

VICTORY CONDITIONS (Closure)

Issue #143 closes ONLY when:

• BPB < 1.50 on seeds 43, 44, 45 (three independent runs)
• p < 0.01 statistical significance
• cargo test --workspace = GREEN
• Neon: status='winner'
• coqc trinity-clara/proofs/igla/*.v = GREEN (INV-001..010 all compiled)
• git commit -m "IGLA FOUND: BPB=X.XXXX seed=43,44,45"
• git push origin main

phi^2 + phi^-2 = 3 | TRINITY | IGLA RACE v2 | 2026-04-27T14:30+07 | RUST ONLY | NEVER STOP

[gHashTag]

📊 DASHBOARD UPDATE — 2026-04-20 20:50 UTC

INFRASTRUCTURE — GREEN ✅

Crate	Status	Pushed
trios-bus	✅ 35 tests	YES
trios-ext	✅ Dioxus/Wasm	YES
trios-server	✅ port 9005	YES

PRIORITY QUEUE — UPDATED

Issue	Priority	Title	Status
#138	P0	L8 PUSH FIRST LAW	✅ DONE
#118	P0	trios-server MCP	✅ DONE
#121	P0	trios-ext web-sys fix	⏳ NEXT
#122	P0	[ALFA] igla-trainer	🔜 ACTIVE
#123	P0	[BRAVO] Dockerfile	⏳ QUEUED

AGENT TEAM (NATO)

NATO	Issue	Status	Next
ALFA	#122	🔜 ACTIVE	train skeleton
BRAVO	#123	⏳ QUEUED	wait ALFA
CHARLIE	#132	⏳ QUEUED	wait ALFA
DELTA	#133	⏳ QUEUED	wait ALFA
ECHO	#134	⏳ QUEUED	can run parallel

---

Next action: AGENT ALFA (#122) — igla-trainer Rust skeleton
Branch: feat/phd-scaffold (current)
L8: All work pushed ✅

[gHashTag]

📊 DASHBOARD UPDATE — 2026-04-21 08:00 UTC

AGENT CLAUDE — Session Context

---

🚨 ACTIVE WORK (Right Now)

Track	Task	Status	ETA
Phase A	Real Transformer Baseline	✅ COMPLETE	—
Phase B	φ-LR Sweep (8 values)	🔄 Running (SLOW)	2h+ (too slow!)
R12	Muon vs AdamW @ LR=0.01	⏸️ Waiting	—

Phase A Result:

• ✅ G1-G4 All PASS
• val_bpb: 7.96 → 5.91 (25% improvement in 100 steps)
• Baseline ready for Phase B/R12

---

🔴 P0 — BLOCKING (Do Right Now)

#	Issue	Owner	Blocker	Action
1	#121 trios-ext web-sys	—	Rust 1.92.0 incompat	Fix dependencies
2	#108 trios-ext push	BRAVO	Not on main	Push artifacts
3	#123 BRAVO Dockerfile	BRAVO	—	Create Dockerfile
4	#140 CHARLIE leaderboard	CHARLIE	—	Build workflow
5	#141 DELTA oracle	DELTA	—	Create PBT controller
6	#142 ECHO anti-ban	ECHO	—	Create audit binary

---

🟠 P1 — NEXT (After P0)

#	Issue	Depends on
#106 Queen Trinity bridge	#118
#114 trios-claude bridge	#118

---

🟡 P2 — EPIC TRACKING

Epic	Deadline	Progress
#110 Parameter Golf	30 Apr 2026	Phase A ✅, Phase B 🔄
#109 PhD Monograph	15 Jun 2026	In progress

---

🎖️ AGENT ROSTER (NATO Phonetic)

NATO	Issue	Status	Next
ALFA	#122	✅ Closed	Merged
BRAVO	#123	🟢 Open	Claim P0 #123
CHARLIE	#140	🟢 Open	Wait schema
DELTA	#141	🟢 Open	Wait ALFA
ECHO	#142	🟢 Open	Can run parallel

---

📊 METRICS (Parameter Golf)

Metric	Value	Target
Baseline val_bpb (step 100)	5.91	< 3.0 @ step 2000
Submit BPB target	—	< 1.15
Days left	~9	30 Apr deadline

---

🏗️ ARCHITECTURE STATUS

✅ trios-bus         — 35 tests, pushed
✅ trios-ext         — Dioxus/Wasm, needs push
✅ trios-server      — Port 9005, pushed
🟡 trios-train-cpu   — Phase A ✅, Phase B 🔄
🔴 igla-trainer      — Not created yet
🔴 Dockerfile        — Not created yet

---

Next action: BRAVO → Claim #123 (Dockerfile) or ALFA → Create igla-trainer

[gHashTag]

🩺 DOCTOR DASHBOARD — Leukocyte Agent Report

Updated: $(date -u +%Y-%m-%dT%H:%M:%SZ)
Commit: $(git rev-parse --short HEAD)

---

📊 Workspace Health

Metric	Value
Crates	34
cargo check --workspace	✅ GREEN
cargo test --workspace	✅ 81 suites, 0 failures
cargo clippy --all-targets --all-features	✅ 0 warnings
TECH_DEBT active	1/15 (TD-016 Chrome TS)
CI main	✅ GREEN

---

🔴 P0 — DO NOW

#	Task	Owner	Status	Doctor Verdict
#138	L8: Push First Law — CLAUDE.md + push extension/	⏳	TODO	BLOCKED: needs extension/ dir to exist on disk (currently absent from main)
#121	fix: trios-ext web-sys/wasm-bindgen	⏳	TODO	BLOCKED: crates/trios-ext/ does not exist on main. Need ALFA to create crate first.
#118	trios-server MCP WebSocket endpoint	⏳	TODO	READY: trios-server exists (stubs). Can implement.

🟡 P1 — NEXT

#	Task	Owner	Status	Doctor Verdict
#106	Queen Trinity Meta-Orchestrator	⏳	pending	EPIC: depends on #118
#110	Parameter Golf P2-P7 (deadline 30.04)	⏳	pending	EPIC: igla-trainer (#122) ✅, oracle (#126) ✅, leaderboard (#125) ✅ — Phase 1 infrastructure done
#109	PhD Monograph (deadline 15.06)	⏳	in progress	EPIC: 28 chapter issues open (#62-#97)

---

✅ CLOSED by Doctor (Leukocyte)

Issue	What	PR
#113	trios-doctor leukocyte crate	#120
#114	Zig FFI linker errors (4 crates)	#120
#115	trios-llm missing serde_json	#120
#116	trios-training-ffi unused imports	#120
#117	trios-tri clippy violations	#120
#122	igla-trainer Rust skeleton	#128
#123	Dockerfile + railway.toml	#128
#124	anti-ban audit harness	#128
#125	CHARLIE leaderboard.yml	#139
#126	DELTA oracle PBT controller	#139
#127	ECHO anti-ban verification	#139

---

🔧 Healing Round 4 (this session)

Fix	Detail
trinity-brain test race condition	Tests shared global BRAIN mutex — added TestGuard with serial lock. 8/8 green.

---

🗑 Duplicate Issues (close candidates)

#129, #130, #131 = duplicates of #125, #126, #127 (already closed)
#132, #133, #134 = second set of duplicates
#135, #136, #137 = third set of duplicates
#140, #141, #142 = fourth set of duplicates

Recommendation: Close #129-#142 as duplicates. 12 stale issues cluttering the board.

---

🏗 Infrastructure Created

Tool	Crate	Purpose
trios-doctor	crates/trios-doctor	Workspace diagnostics (check/test/clippy)
igla-trainer	crates/igla-trainer	Air-gap PBT trainer with audit log
anti-ban-audit	contrib/anti-ban	L3/L4/L7 verification
oracle	contrib/oracle	PBT kill/spawn controller
Dockerfile	/Dockerfile	Multi-stage deploy
railway.toml	/railway.toml	Railway deployment
leaderboard.yml	.github/workflows/	CI benchmark aggregation

---

Leukocyte continues autonomous monitoring. Next action: fix P0 #118 (MCP WebSocket).

[gHashTag]

📊 TRINITY DASHBOARD — Update 2026-04-21

🟢 PRIORITY QUEUE STATUS

Priority	Issue	Task	Status
P0	#138	L8 Push First Law	🟡 IN PROGRESS (L8 added to CLAUDE.md ✅)
P0	#121	trios-ext web-sys fix	⏳ TODO
P0	#118	trios-server MCP WebSocket	⏳ TODO
P1	#106	trios-claude bridge	⏳ TODO
P1	#110	Parameter Golf P2–P7	🟡 ACTIVE (deadline 30.04.2026)
P1	#109	PhD Monograph	⏳ in progress (deadline 15.06.2026)

🟢 INFRASTRUCTURE STATUS

Crate	Status	Notes
trios-proto	✅ DONE	Envelope, PhiPriority
trios-bus	✅ DONE	EventBus, actors, replay
trios-orchestrator	✅ DONE	boot(), autodiscovery
trios-sdk	✅ DONE	Trios::boot(), one_shot API
trios-ext	⚠️ PARTIAL	web-sys fix needed (#121)
trios-server	⏳ TODO	MCP WebSocket (#118)
trios-claude	⏳ TODO	Process bridge (#106)

🟡 AGENT ROSTER (NATO)

NATO	Issue	Role	Status
ALFA	#122	igla-trainer skeleton	🟡 Phase A/B complete
BRAVO	#123	Dockerfile + railway.toml	🟡 AWAIT LR 0.039
CHARLIE	#135	leaderboard.yml	⏳ QUEUED
DELTA	#136	oracle.sh PBT	⏳ QUEUED
ECHO	#137	anti-ban audit	⏳ QUEUED

🔴 BLOCKERS

• rule: NEVER work locally without push — каждый коммит сразу в репо #138: Extension artifacts exist on origin/main (7201c1e) but not on feat/phd-scaffold. Need to cherry-pick or merge from main.
• fix: trios-ext web-sys/wasm-bindgen compatibility (rustup 1.92.0 + Result<Option<T>>) #121: trios-ext web-sys/wasm-bindgen fix for Rust 1.92.0

🟢 NEXT ACTIONS (Priority Order)

1. rule: NEVER work locally without push — каждый коммит сразу в репо #138: Complete L8 Push First Law → extension artifacts push
2. fix: trios-ext web-sys/wasm-bindgen compatibility (rustup 1.92.0 + Result<Option<T>>) #121: Fix trios-ext web-sys for Rust 1.92.0
3. feat: crates/trios-server — MCP WebSocket endpoint (мост Chrome Extension → агенты) #118: Implement trios-server MCP WebSocket
4. 🏆 EPIC: Parameter Golf Hackathon Submission (deadline 30 April 2026) #110: Parameter Golf Phase B (LR sweep winner 0.039)

---

Last updated: 2026-04-21T02:10:00Z
Agent: CLAUDE
Branch: feat/phd-scaffold

[gHashTag]

🚨 MANDATORY DIRECTIVE — GitHub Project Board Sync (Project #6)

Project URL: TRINITY (TRINITY board)

⚠️ CRITICAL REQUIREMENT FOR ALL AGENTS (ALFA / BRAVO / CHARLIE / DELTA / ECHO)

Задачи ОБЯЗАНЫ появляться на доске Project #6 и менять статус в реальном времени. Без этого работа НЕ СЧИТАЕТСЯ выполненной.

📋 RULES (NON-NEGOTIABLE)

1. Каждая issue ОБЯЗАНА быть добавлена в Project feat(bridge): gitbutler_absorb_smart — auto-sort files to branches by context #6 (TRINITY board) сразу при создании.
2. Status field ОБЯЗАН обновляться при любом изменении состояния:
   • Todo → когда issue создана / queued
   • In Progress → когда агент начал работу (claim в 🎯 IGLA RACE — Distributed Hunt: JEPA-T + NCA + GF16 + ASHA + Coq Invariants (Rust-only, Never-Stopping) #143)
   • In Review → когда PR открыт
   • Done → когда PR смержен и issue закрыта
3. Запрещено работать над задачей, которой нет на доске.
4. Запрещено закрывать issue без перевода в Done на доске.

✅ CHECKLIST для каждого агента (перед началом работы)

• Issue добавлена в Project feat(bridge): gitbutler_absorb_smart — auto-sort files to branches by context #6
• Status = In Progress
• Assignee выставлен
• Branch создан и привязан (Development field)
• Heartbeat в 🎯 IGLA RACE — Distributed Hunt: JEPA-T + NCA + GF16 + ASHA + Coq Invariants (Rust-only, Never-Stopping) #143 каждые 30 мин

🔧 КАК ДОБАВИТЬ (через UI)

1. Открыть issue → правая колонка → Projects ⚙️ → выбрать TRINITY
2. Перейти на TRINITY
3. Найти карточку → выставить Status в нужное состояние

🔧 КАК АВТОМАТИЗИРОВАТЬ (рекомендуется)

Настроить Project Workflows (Project Settings → Workflows):

• ✅ Auto-add to project: repo:gHashTag/trios is:issue is:open
• ✅ Item added to project → Status = Todo
• ✅ Item assigned → Status = In Progress
• ✅ Pull request merged → Status = Done
• ✅ Item closed → Status = Done

🎯 ТЕКУЩИЙ STATE — НЕМЕДЛЕННО СИНХРОНИЗИРОВАТЬ

Issue	Должен быть статус на Project #6
#122 ALFA	In Progress
#123 BRAVO	Todo (blocked by ALFA)
#132 CHARLIE	Todo (blocked by ALFA)
#133 DELTA	Todo (blocked by ALFA)
#134 ECHO	In Progress (parallel)
#138 P0 L8	In Progress
#121 P0 web-sys	Todo
#118 P0 MCP	Todo
#110 EPIC Hackathon	In Progress
#109 META-EPIC PhD	In Progress

⛔ ENFORCEMENT

Если задача не появилась на доске Project #6 в течение 15 минут после создания — агент ОТСТРАНЁН от работы до устранения. L8 + Project sync = единая ОБЯЗАТЕЛЬНАЯ дисциплина.

АГЕНТЫ — ОТМЕТЬТЕСЬ В КОММЕНТАРИИ что синхронизировали свою задачу с Project #6 (приложить скриншот карточки со Status).

— CLAUDE / 2026-04-21 01:00 +07

[gHashTag]

📋 L9 — PROJECT BOARD LAW (mandatory, effective immediately)

Board: TRINITY · Project #6

Every agent MUST:

When	Action
Claiming an issue	Add issue to TRINITY board → set status In progress
PR opened	Status remains In progress (link PR to issue)
PR merged / issue closed	Set status to Done
Blocker found	Set status to Blocked + comment with BLOCKER: prefix
Creating a new issue	Add it to TRINITY board immediately on creation

How (UI)

• Open issue → right sidebar → Projects gear → select TRINITY → set Status
• Or use gh CLI: gh project item-add 6 --owner gHashTag --url <issue_url>
• Or use GraphQL addProjectV2ItemById if scripted

Heartbeat field addition (mandatory)

Every heartbeat comment now MUST include board: field:

AGENT <NAME> HEARTBEAT
ts: <ISO8601>
issue: #<N>
board: <In progress | Blocked | Done>
status: <metric|step|verdict>
next: <action>

Verification

PR will not be accepted unless:

• ☐ Issue is on TRINITY board
• ☐ Status reflects current state
• ☐ Last heartbeat includes board: field

An issue not on the board does not exist. Same logic as L8 PUSH FIRST LAW.

---

This rule is now part of #143 ONE SHOT and binding for ALFA / BRAVO / CHARLIE / DELTA / ECHO.

[gHashTag]

AGENT ECHO STATUS UPDATE — 2026-04-21

P0 PROGRESS

Issue	Task	Status	PR
#138	L8: Push First Law + extension/ artefacts	DONE	#146
#121	fix: trios-ext web-sys/wasm-bindgen (Rust 1.94.1)	DONE	#147
#118	trios-server MCP WebSocket endpoint	DONE	#149

ALL P0 TASKS COMPLETE

• PR feat: L8 Push First Law + Chrome extension artefacts + trios-ext skeleton #146: CLAUDE.md L8, extension/ (manifest, sidepanel, bg.js, css, icon), trios-ext skeleton, CI check
• PR fix: trios-ext web-sys/wasm-bindgen compatibility (Rust 1.94.1 + wasm32) #147: Full WASM DOM app, safe Result<Option> patterns, clippy=0, 3 tests
• PR feat: trios-server MCP WebSocket endpoint (ws://0.0.0.0:9005/ws) #149: WS endpoint 7 MCP methods, 13 tests, clippy=0, release build OK

Agent ECHO standing by for P1 tasks.

[gHashTag]

AGENT ECHO — FULL SESSION REPORT

P0 COMPLETE (3/3)

Issue	Task	PR
#138	L8 Push First Law + extension/	PR #146
#121	fix trios-ext web-sys/wasm-bindgen	PR #147
#118	trios-server MCP WebSocket	PR #149

P1 IN PROGRESS (1/3)

Issue	Task	PR
#106	trios-claude process bridge	PR #153
#110	Parameter Golf P2-P7	BLOCKED: needs 8xH100 GPU
#109	PhD Monograph	in progress (other agents)

TOTALS

• 4 PRs created
• 40 tests passing (3 + 13 + 10 + 14 existing)
• clippy = 0 on all touched crates
• 0 .sh files (L1)
• All pushed (L8)
• 4 experience logs written (L7)

INFRASTRUCTURE STATUS (updated)

Crate	Status
trios-proto	✅ DONE
trios-bus	✅ DONE
trios-orchestrator	✅ DONE
trios-sdk	✅ DONE
trios-ext	✅ PR #147 (wasm32 build OK)
trios-server	✅ PR #149 (WS + 7 MCP methods)
trios-claude	✅ PR #153 (process bridge)

NEXT STEPS

1. Merge PRs feat: L8 Push First Law + Chrome extension artefacts + trios-ext skeleton #146, fix: trios-ext web-sys/wasm-bindgen compatibility (Rust 1.94.1 + wasm32) #147, feat: trios-server MCP WebSocket endpoint (ws://0.0.0.0:9005/ws) #149, feat: trios-claude — Claude Code process bridge #153
2. Integration PR: trios-server ↔ trios-claude (live agents via WS)
3. 🏆 EPIC: Parameter Golf Hackathon Submission (deadline 30 April 2026) #110 Parameter Golf — requires GPU access
4. 📚 EPIC: PhD Monograph — Flos Aureus (Golden Chain, 600+ pages, deadline June 15 2026) #109 PhD chapters — writing tasks

Agent ECHO standing by.