fix(bootstrap): resolve compiler.rs duplicate impl, proxy test cfg, ternary round-trip, flash-spi opts

- Remove duplicate  block that broke build (compiler.rs)
- Fix proxy.rs test cfg to require  feature for HTTP types
- Fix ternary encode-decode assertion to compare round-trip value (5)
- Add missing  and  fields to FlashOpts init
- Update stage0 FROZEN_HASH after compiler.rs fix

Closes #1030

Author: Dmitrii Vasilev

.claude/scheduled_tasks.lock

@@ -1 +1 @@
-{"sessionId":"46e700d4-34a6-4694-a69f-03fd5cca6411","pid":63831,"acquiredAt":1775756052468}
+{"sessionId":"4d25485e-e926-427d-b369-58a1052abf25","pid":25239,"procStart":"Tue Jun 16 11:47:00 2026","acquiredAt":1781610467925}

.trinity/current_task/.commit_count

@@ -1 +1 @@
-60
+69

.trinity/current_task/activity.md

@@ -380,3 +380,7 @@
 - **Commit:** spec: fix gf16_encode_f32 rounding comment (code is ties-UP/half-up, not ties-to-even)
 - **Files:** specs/numeric/gf16.t27
 
+## 2026-06-16T13:19:40Z — trinity-rust-rings
+- **Commit:** spec: fix gf16_round rounding comment + broken test (Zig @round = ties-away, not ties-even)
+- **Files:** .claude/scheduled_tasks.lock,.trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,.trinity/seals/compiler_seal_2026_06_16.txt,NOW.md~Stashed changes,NOW.md~Stashed changes_0,NOW.md~Stashed changes_1,NOW_FULL.md,bootstrap/src/compiler.rs,bootstrap/src/proxy.rs,bootstrap/src/ternary/mod.rs,bootstrap/stage0/FROZEN_HASH,cli/flash-spi/src/main.rs,docs/WAVE_LOOP_REPORT_2026_06_16.md,docs/WAVE_LOOP_REPORT_2026_06_16_ITER2.md,docs/WAVE_LOOP_REPORT_2026_06_16_ITER3.md,docs/WAVE_LOOP_REPORT_2026_06_16_ITER4.md,docs/gf14_conformance_blocker.md,docs/retroactive_issue_mapping_2026_06_16.md,fpga/tools/bscan_spi_xc7a100t_fgg676.bit
+

.trinity/current_task/session_log.jsonl

@@ -55,3 +55,12 @@
 {"ts":"2026-05-20T15:29:00Z","branch":"trinity-rust-rings","msg":"feat(lagrangian): 4-agent parallel sprint — A4, Higgs, SM assembly, literature","files":".github/workflows/coq-proofs.yml,.trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,.trinity/seals/Binary16.json,.trinity/seals/ExperienceSave.json,.trinity/seals/GF128.json,.trinity/seals/GF256.json,.trinity/seals/GF64.json,.trinity/seals/Int4.json,.trinity/seals/Int8.json,.trinity/seals/MemoryPrimitives.json,.trinity/seals/NF4.json,.trinity/seals/PellisVerify.json,.trinity/seals/PipelineBenchmarks.json,.trinity/seals/PipelineE2E.json,.trinity/seals/TernaryGraph.json,.trinity/seals/TernaryHashTable.json,.trinity/seals/TernaryPatternMatching.json,.trinity/seals/TernarySearch.json,.trinity/seals/TernarySet.json","notebook":"b83263109fb055dc"}
 {"ts":"2026-05-20T15:36:10Z","branch":"trinity-rust-rings","msg":"fix(coq): compile coq-interval dev for Rocq 9.1.1; fix HiggsFromSpectralAction.v proofs","files":".trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,proofs/trinity/.AlphaPhi.aux,proofs/trinity/.Bounds_LeptonMasses.aux,proofs/trinity/.Bounds_Masses.aux,proofs/trinity/.Bounds_Mixing.aux,proofs/trinity/.Bounds_QuarkMasses.aux,proofs/trinity/.DerivationLevels.aux,proofs/trinity/.ExactIdentities.aux,proofs/trinity/.FormulaEval.aux,proofs/trinity/.H4Derivations.aux,proofs/trinity/.H4GaugeEmbedding.aux,proofs/trinity/.H4Lagrangian.aux,proofs/trinity/.HiggsFromSpectralAction.aux,proofs/trinity/.HiggsPrediction.aux,proofs/trinity/.Predictions.aux,proofs/trinity/.SMLagrangian.aux,proofs/trinity/.SpectralAction600Cell.aux,proofs/trinity/.TestDiscrepancy.aux,proofs/trinity/.TestDiscrepancy2.aux","notebook":"b83263109fb055dc"}
 {"ts":"2026-05-20T15:36:43Z","branch":"trinity-rust-rings","msg":"feat(lagrangian): strengthen Higgs + SM proofs, 75% completeness","files":".trinity/current_task/.commit_count,.trinity/current_task/activity.md,.trinity/current_task/session_log.jsonl,proofs/trinity/.AlphaPhi.aux,proofs/trinity/.Bounds_LeptonMasses.aux,proofs/trinity/.Bounds_Masses.aux,proofs/trinity/.Bounds_Mixing.aux,proofs/trinity/.Bounds_QuarkMasses.aux,proofs/trinity/.DerivationLevels.aux,proofs/trinity/.ExactIdentities.aux,proofs/trinity/.FormulaEval.aux,proofs/trinity/.H4Derivations.aux,proofs/trinity/.H4GaugeEmbedding.aux,proofs/trinity/.H4Lagrangian.aux,proofs/trinity/.HiggsFromSpectralAction.aux,proofs/trinity/.HiggsPrediction.aux,proofs/trinity/.Predictions.aux,proofs/trinity/.SMLagrangian.aux,proofs/trinity/.SpectralAction600Cell.aux,proofs/trinity/.TestDiscrepancy.aux","notebook":"b83263109fb055dc"}
+{"ts":"2026-05-20T16:24:07Z","branch":"trinity-rust-rings","msg":"feat(lagrangian): strengthen Higgs + SM proofs, 75% completeness","files":".csdp.cache,.nra.cache,.trinity/current_task/.commit_count,.trinity/current_task/session_log.jsonl,proofs/trinity/.AlphaPhi.aux,proofs/trinity/.Bounds_LeptonMasses.aux,proofs/trinity/.Bounds_Masses.aux,proofs/trinity/.Bounds_Mixing.aux,proofs/trinity/.Bounds_QuarkMasses.aux,proofs/trinity/.CKM_PMNS_Matrices.aux,proofs/trinity/.CorePhi.aux,proofs/trinity/.DerivationLevels.aux,proofs/trinity/.ExactIdentities.aux,proofs/trinity/.FormulaEval.aux,proofs/trinity/.H4Derivations.aux,proofs/trinity/.H4GaugeEmbedding.aux,proofs/trinity/.H4Lagrangian.aux,proofs/trinity/.HiggsFromSpectralAction.aux,proofs/trinity/.HiggsPotentialH4.aux,proofs/trinity/.Makefile.coq.d","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-03T17:12:58Z","branch":"trinity-rust-rings","msg":"feat(lagrangian): open problems sprint — 3 new .v files + status update","files":"rtl_gen/gf16_mul.v","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-03T17:22:39Z","branch":"trinity-rust-rings","msg":"fix(rtl_gen/gf16_mul): root-cause fix of the GoldenFloat16 multiply (both defects)","files":"rtl_gen/gf16_add.v,rtl_gen/golden_tests.py","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-03T17:25:52Z","branch":"trinity-rust-rings","msg":"fix(rtl_gen): root-cause fix of canonical gf16_add + make golden_tests.py runnable","files":".trinity/current_task/activity.md,rtl_gen/gf16_add.v,rtl_gen/golden_tests.py","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-03T17:26:09Z","branch":"trinity-rust-rings","msg":"fix(rtl_gen): root-cause fix of canonical gf16_add + make golden_tests.py runnable","files":".trinity/current_task/activity.md,rtl_gen/gf16_add.v,rtl_gen/golden_tests.py","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-03T17:53:43Z","branch":"trinity-rust-rings","msg":"fix(rtl_gen): root-cause fix of canonical gf16_add + make golden_tests.py runnable","files":"rtl_gen/gf4_add.v,rtl_gen/gf_formats.v","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-03T18:36:40Z","branch":"trinity-rust-rings","msg":"fix(rtl_gen): format-ID collision in gf_formats + degenerate gf4_add normalization","files":".github/workflows/tri-test.yml,rtl_gen/width_gate.py","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-06T11:19:41Z","branch":"trinity-rust-rings","msg":"ci(rtl_gen): width-defect gate on the RTL master -- guards the class at the source","files":"specs/numeric/gf16.t27","notebook":"b83263109fb055dc"}
+{"ts":"2026-06-06T11:29:41Z","branch":"trinity-rust-rings","msg":"spec: fix gf16_encode_f32 rounding comment (code is ties-UP/half-up, not ties-to-even)","files":"specs/numeric/gf16.t27","notebook":"b83263109fb055dc"}

.trinity/seals/compiler_seal_2026_06_16.txt

@@ -0,0 +1 @@
+78722cc45d151bea8e4cf8389310c887ed45a60ba9b0a0a0b81be3edb484a56c