docs: TRI-NET unified positioning in PhD architecture (TRI-17)#705

Closed

gHashTag wants to merge 741 commits into

mainfrom

docs/trinet-positioning-phd

This pull request is big! We're only showing the most recent 250 commits

Commits on Apr 8, 2026

feat: add LSP, Provider, and Event Bus .t27 specifications
Dmitrii Vasilev
committed
fix(docker): use ../external/ paths since build context is bootstrap/
Dmitrii Vasilev
committed
fix(docker): ensure .dockerignore only excludes node_modules, not entire opencode
Dmitrii Vasilev
committed
fix(docker): move Dockerfile to repo root, update paths to remove ../ prefix
Dmitrii Vasilev
committed
fix(docker): remove .dockerignore temporarily to test Railway cache
Dmitrii Vasilev
committed
fix(docker): try ADD instead of COPY to avoid Railway cache bug
Dmitrii Vasilev
committed
fix(docker): clone opencode directly since Railway can't access external/
Dmitrii Vasilev
committed
fix(railway): inline opencode submodule as regular files for Railway compatibility
Dmitrii Vasilev
committed
fix(docker): use COPY from inlined external/opencode, no git clone
Dmitrii Vasilev
committed
fix(docker): add .dockerignore to force Railway cache reset
Dmitrii Vasilev
committed
fix(railway): use Railway fork opencode (752KB) instead of 3.1GB Go project
Dmitrii Vasilev
committed
fix(docker): copy tsconfig.json for web build
Dmitrii Vasilev
committed
feat(specs): Phase 5 FINAL — server, sync, config, runtime in .t27

Dmitrii Vasilev
and
claude
committed
fix(docker): copy all tsconfig and vite config files
Dmitrii Vasilev
committed
fix(docker): copy public directory for tsconfig include paths
Dmitrii Vasilev
committed
fix(docker): COPY entire packages/web/ to preserve directory structure
Dmitrii Vasilev
committed

Commits on Apr 9, 2026

Autonomous research: 6 smoking guns discovered with PySR v0.2 validation
Dmitrii Vasilev
committed
feat(trinity-physics): Deploy PySR blind test, Occam search, Coq DL bounds
Dmitrii Vasilev
committed
feat(boards): Arty A7 board profile spec (#390)
gHashTag
authored
feat(boards): board profiles for XC7A100T (minimal + full) (#382)
gHashTag
authored
feat(pins): Pins IR + XDC emitter for nextpnr constraint generation (#385)
gHashTag
authored
feat(fpga): --profile flag for fpga-build (minimal/full) (#387)
gHashTag
authored
docs: add system status dashboard to README (#391)
gHashTag
authored
feat(tri): PHI LOOP CLI + MCP server + FPGA CI workflow (#378)
gHashTag
authored
feat: Add NotebookLM integration, research scripts, and documentation updates

Dmitrii Vasilev
and
claude
committed
fix(parser): Phase 3 parse bug — Result( typo in operations.t27, watcher.t27 (#392)
gHashTag
authored
fix: set empty VITE_API_URL for same-origin API calls
Dmitrii Vasilev
committed
feat(fpga): gen-xdc command + XDC profile integration (#394)
gHashTag
authored
ci(fpga): add Verilog hash + synthesis regression checks (#396)
gHashTag
authored
fix(bootstrap): correct quote types in bridge.rs
Dmitrii Vasilev
committed
feat(fpga): check-pins command for prjxray-db pin coverage audit (#398)
gHashTag
authored
feat(fpga): xdc-verify cross-checks gen-xdc vs emitter_xdc.t27 (#400)
gHashTag
authored
feat(web): skip authentication - direct access to dashboard
Dmitrii Vasilev
committed
trigger: force railway redeploy for direct access
Dmitrii Vasilev
committed
trigger: force frontend rebuild for direct access
Dmitrii Vasilev
committed
fix(web): fix TS errors for direct access
Dmitrii Vasilev
committed
feat(server): add /sessions routes for Railway frontend compatibility
Dmitrii Vasilev
committed
feat(fpga): --board arty-a7 multi-board bitstream generation (#402)
gHashTag
authored
feat(server): add in-memory session storage for Railway frontend
Dmitrii Vasilev
committed
trigger: force frontend rebuild v3
Dmitrii Vasilev
committed
fix(web): add comment to trigger frontend rebuild
Dmitrii Vasilev
committed
fix(docker): add BUILD_TIMESTAMP to force frontend rebuild
Dmitrii Vasilev
committed
fix(web): use same-origin by default for API calls
Dmitrii Vasilev
committed
fix(web): show session token in alert instead of opening proxy
Dmitrii Vasilev
committed
trigger: BUILD_TIMESTAMP=5 for sandbox fix
Dmitrii Vasilev
committed
build: add build-info.ts to trigger frontend rebuild v5
Dmitrii Vasilev
committed
fix(docker): add trigger file to force frontend rebuild
Dmitrii Vasilev
committed
fix(docker): add RUN command before COPY dist to break cache
Dmitrii Vasilev
committed
refactor: remove redundant header files across gen/ tree

Dmitrii Vasilev
and
claude
committed
fix(zig): L6 GF16 compliance and format_conversion cleanup

Dmitrii Vasilev
and
claude
committed
feat(physics): formula registry v07 — 69 formulas, 8 sectors, chimera CLI

Dmitrii Vasilev
and
claude
committed
feat(web): sandbox button navigates to /sandbox?token=... [v7]

Dmitrii Vasilev
and
claude
committed
fix(web): explicit sandbox URL construction

Dmitrii Vasilev
and
claude
committed
fix: force rebuild with BUILD_TIMESTAMP=9

Dmitrii Vasilev
and
claude
committed
feat(physics): DISC-01 scan complete — 33 VERIFIED formulas

Dmitrii Vasilev
and
claude
committed
feat(physics): ULTRA ENGINE v3.0 deployed

Dmitrii Vasilev
and
claude
committed
fix(web): explicit sandbox URL construction

Dmitrii Vasilev
and
claude
committed
feat(ultra): ULTRA ENGINE v3 - 164 formula discoveries

Dmitrii Vasilev
and
claude
committed
feat(ultra): ULTRA ENGINE v4 - 170 formulas with 8 methods

Dmitrii Vasilev
and
claude
committed
docs(discovery): ULTRA ENGINE v4 results - 170 formulas

Dmitrii Vasilev
and
claude
committed
fix(git): allow external/opencode in build

Dmitrii Vasilev
and
claude
committed
docs(discovery): Discovery audit - 40-50 unique formulas

Dmitrii Vasilev
and
claude
committed
feat(ultra): ULTRA ENGINE v5 - Neural Matrix Discovery

Dmitrii Vasilev
and
claude
committed
feat(ultra): ULTRA ENGINE v5.1 — 11 methods ALL NIGHT

Dmitrii Vasilev
and
claude
committed
docs(research): Nobel Prize Level 4 Trinity Plan

Dmitrii Vasilev
and
claude
committed
docs(research): Update lead author to Dmitrii Vasilev

Dmitrii Vasilev
and
claude
committed
feat(physics): ULTRA ENGINE v5.1 — complete 11-method discovery
Dmitrii Vasilev
committed
docs(physics): Update Nobel Prize plan with ULTRA ENGINE v5.1 results
Dmitrii Vasilev
committed
docs(physics): ULTRA ENGINE v6.0 massive search discovery summary
Dmitrii Vasilev
committed

Commits on Apr 10, 2026

fix(rust): compilation errors - remove Zig file, fix syntax, fix borrow/types
Dmitrii Vasilev
committed
refactor(zig): improve L6 GF16 compliance and cleanup

Dmitrii Vasilev
and
claude
committed

Commits on Apr 11, 2026

chore: ignore Python cache files

Dmitrii Vasilev
and
claude
committed
refactor(bootstrap): implement runtime formula evaluation

Dmitrii Vasilev
and
claude
committed
feat(notebooklm): add bilingual audio generation and fix imports

Dmitrii Vasilev
and
claude
committed
feat(music): add audio generation backend

Dmitrii Vasilev
and
claude
committed
docs(gamma): update to v0.9 with world record results

Dmitrii Vasilev
and
claude
committed
docs(trinity-pellis): add research directory and formula tables

Dmitrii Vasilev
and
claude
committed
test(bootstrap): add minimal runtime stubs

Dmitrii Vasilev
and
claude
committed
feat(neural): Phase 2 — Neural Runtime v1.0
Dmitrii Vasilev
committed
fix(rust): remove Zig file, fix #// syntax, fix borrow, fix match types
Dmitrii Vasilev
committed
feat(spec): Phase 2 — Sacred Attention specs
Dmitrii Vasilev
committed
feat(ternary): Phase 3 — Ternary Runtime specs
Dmitrii Vasilev
committed
feat(compiler): Add algorithm codegen placeholder
Dmitrii Vasilev
committed
приступи к реализации!!
Dmitrii Vasilev
committed
fix(docker): copy gen/ directory for generated Rust code
Dmitrii Vasilev
committed

Commits on Apr 12, 2026

feat(trixphi): треки 02–10 — Level 1 ReaPhonk — феня+дабл-тайм 🎵
Dmitrii Vasilev
committed
feat(trixphi): треки 11–15 — Level 1 Complete — феня+дабл-тайм 🎵
Dmitrii Vasilev
committed
feat(sandbox): enable /sandbox proxy for Railway container access
Dmitrii Vasilev
committed
feat(trixphi): треки 16–20 — Level 2 Wave Phonk — Физика частиц 🎵
Dmitrii Vasilev
committed
feat(trixphi): треки 21–25 — Level 2 Wave Phonk — Физика частиц 🎵
Dmitrii Vasilev
committed
feat(trixphi): треки 26–30 — Level 2 Complete — Физика частиц 🎵
Dmitrii Vasilev
committed
feat(memory): Phase 4 — semantic search + formula embed specs

Dmitrii Vasilev
and
claude
committed
fix(docker): force frontend rebuild to include ChatApp component
Dmitrii Vasilev
committed
feat(memory): Phase 4 — semantic search specs and generated code

Dmitrii Vasilev
and
claude
committed
feat(trixphi): треки 31–40 — Level 3 Drift Phonk — Космология 🎵
Dmitrii Vasilev
committed
feat(trixphi): треки 41–42 — Level 3 Complete — Drift Phonk — Космология 🎵
Dmitrii Vasilev
committed
feat(trixphi): треки 43–48 — Level 4 Phonk House — ТРИНИТИ финал 🎵
Dmitrii Vasilev
committed
feat(trixphi): треки 49–50 — TRIXPHI ALBUM COMPLETE! 🎵🏴‍☠️
Dmitrii Vasilev
committed
feat(memory): Phase 4 CLI — semantic search working

Dmitrii Vasilev
and
claude
committed

Commits on Apr 13, 2026

feat(claude): add PHI LOOP skills and hooks infrastructure

Dmitrii Vasilev
and
claude
committed
feat(pellis): comprehensive computational pipeline for paper

Dmitrii Vasilev
and
claude
committed
fix: 69 → 42 in abstract, table, and text (5 occurrences)

Dmitrii Vasilev
and
claude
committed
docs(pellis): p-value defense strategy for reviewer attacks

Dmitrii Vasilev
and
claude
committed
fix: critical bugs in V0.9.tex

Dmitrii Vasilev
and
claude
committed
feat(pvalue-defenses): Apply three-level p-value defense updates

Dmitrii Vasilev
and
claude
committed
fix(bugs): Correct BUG-1 and BUG-2
Dmitrii Vasilev
committed
fix(bugs): Correct BUG-1 and BUG-2
Dmitrii Vasilev
committed
feat(clara): Complete DARPA CLARA PA-25-07-02 submission package

Dmitrii Vasilev
and
claude
committed
Merge branch 'dev'
Dmitrii Vasilev
committed
Merge branch 'master' of https://github.com/gHashTag/t27
Dmitrii Vasilev
committed
feat(clara): Complete DARPA CLARA PA-25-07-02 submission package (#408)

authored
Merge branch 'master' of https://github.com/gHashTag/t27
Dmitrii Vasilev
committed
fix(ci): resolve all CI failures — workflow YAML + missing ternary_encoding.rs
Dmitrii Vasilev
committed

Commits on Apr 14, 2026

fix(ci): resolve all CI failures — workflow YAML + missing files + L1/L7 compliance (#413)

gHashTag
and
Dmitrii Vasilev
authored
Merge branch 'master' of https://github.com/gHashTag/t27
Dmitrii Vasilev
committed
fix: suite 0-failure, path-unique seals, FPGA expansion, OpenCode key rotation

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): add 11 testbench specs — FIFO, SPI, AXI4, Memory, Bridge, GF16, CDC, APB, Timing, TernaryISA, Integration

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): board integration specs + build verification

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): enhanced Verilog codegen — initial blocks with $display for tests/benches

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): formal + power testbenches, synth-readiness CLI command

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): router, DFT, assembler testbenches

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): VCD trace, simulator, CTS testbenches

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): placement, partition, HIR testbenches

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): bootrom, linker, stdlib testbenches — near 100% testbench coverage

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): pin fixes, fpga-flash command, CI lint+report, smoke test (Closes #405, Closes #406, Closes #407)

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): MAC instantiation, HIR expansion, CI hardening, conformance fixes

gHashTag
authored and
Dmitrii Vasilev
committed
fix(l3-purity): replace all Unicode with ASCII in 160 .t27 files

gHashTag
authored and
Dmitrii Vasilev
committed
docs: update TASK.md -- mark FPGA Phase 2-4 completed, list Phase 5 open items

gHashTag
authored and
Dmitrii Vasilev
committed
chore: remove duplicate scripts/flash.sh, gitignore opencode/ vendored dir

gHashTag
authored and
Dmitrii Vasilev
committed
fix(fpga): L4 TDD compliance for testbenches, fpga_emission, CdcStrategy fix

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): codegen completion -- 10 module emitters + HIR generic + testbench auto-gen

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): SymbiYosys formal properties for MAC, FIFO, UART

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): XDC generation from HIR, CI formal upgrade, code cleanup

gHashTag
authored and
Dmitrii Vasilev
committed
chore: re-seal 476 specs after L3 PURITY Unicode cleanup

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): VCD conformance compare, power analysis, seal collision fix

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): conformance JSONs for all 32 FPGA module specs

gHashTag
authored and
Dmitrii Vasilev
committed
feat(fpga): bolster test coverage for uart, top_level, bootrom, stdlib

gHashTag
authored and
Dmitrii Vasilev
committed
chore(fpga): update build_verify counts (33 modules, 30 testbenches, 66 specs)

gHashTag
authored and
Dmitrii Vasilev
committed
feat(clara): Add Apache 2.0 License for CLARA submission (#284)

gHashTag
and
Dmitrii Vasilev
authored
feat(clara): Phase 1-4 — Defense examples, SOA comparison, literature, scaling (#414)

authored
fix(fpga): rst_n pin C14 -> C18 in minimal XDC to match canonical qmtech_a100t.xdc

gHashTag
authored and
Dmitrii Vasilev
committed
feat(kaggle,research,scripts): add datasets, PSLQ, Trinity research, and COA planning

Dmitrii Vasilev
and
claude
committed
Merge master into feat/all-datasets-research-v2
Dmitrii Vasilev
committed
ci: trigger fresh CI run
Dmitrii Vasilev
committed
Merge pull request #428 from gHashTag/feat/all-datasets-research-v2
gHashTag
authored
docs: add golden angle alpha derivation research
Dmitrii Vasilev
committed
Merge pull request #466 from gHashTag/feat/golden-angle-v3-clean
gHashTag
authored
docs: add PSLQ verification documentation
Dmitrii Vasilev
committed
Merge pull request #467 from gHashTag/feat/pslq-verification-v3-clean
gHashTag
authored
fix(t27c): Zig codegen fundamental bugs
Dmitrii Vasilev
committed
Merge pull request #469 from gHashTag/feat/t27c-codegen-v3-clean
gHashTag
authored
feat(cli): tri math compare --weinberg
Dmitrii Vasilev
committed
Merge pull request #470 from gHashTag/feat/tri-math-v3-clean
gHashTag
authored
feat(tri): GitHub SSOT integration - .t27 Native
Dmitrii Vasilev
committed
Merge pull request #471 from gHashTag/feat/tri-github-ssot-v3-clean
gHashTag
authored
fix(clara): mortal fixes v2.0 - critical proposal improvements

Dmitrii Vasilev
and
claude
committed
feat: CLARA Proposal v1.5 - DARPA PA-25-07-02 Submission Package

Dmitrii Vasilev
and
claude
committed
Merge pull request #473 from gHashTag/feat/clara-proposal-v1.5-submission
gHashTag
authored
docs(clara): comprehensive documentation organization overhaul

Dmitrii Vasilev
and
claude
committed
Merge pull request #478 from gHashTag/feat/clara-docs-organization
gHashTag
authored

Commits on Apr 15, 2026

Merge kaggle migration cleanup
gHashTag
authored
refactor: remove trixphi-album musical content from repository (#488)

authored
Update README with scientific strengthening section
Dmitrii Vasilev
committed
Add FAQ and technical figures for DARPA submission
Dmitrii Vasilev
committed
feat(base): Add Ring 32 — Cloud Orchestration
Dmitrii Vasilev
committed
docs(meta): Add Ring 32 to Completed Rings table
Dmitrii Vasilev
committed
fix(paper): resolve merge conflicts, update Olsen affiliation, integrate Scott's new text
Dmitrii Vasilev
committed
feat(paper): elevate prose to iconic status with poetic academic narrative
Dmitrii Vasilev
committed
refactor: remove trixphi-album musical content from repository

Dmitrii Vasilev
and
claude
committed
refactor: remove Russian documentation files

Dmitrii Vasilev
and
claude
committed

Commits on Apr 16, 2026

feat(portable): upgrade relay_observer.js to v2.0 with multi-agent support

Dmitrii Vasilev
and
claude
committed
Merge branch 'ring/32-cloud-orchestration'
Dmitrii Vasilev
committed

Commits on Apr 29, 2026

Commits on May 7, 2026

Commits on May 8, 2026

Commits on May 12, 2026

fix(R5-pass-4): t27 deep sweep — Zenodo registry rewrite + folkloric '84 theorems' retired + fake DOI bibliography honesty notes (#594)

gHashTag
and
Trinity Queen Hive
authored
chore(zenodo): PASS-6 align registry to community trinity-s3ai SOT (#597)

gHashTag
and
Trinity Queen Hive
authored
chore(zenodo): PASS-7 fix invalid ORCID + wrong community slug in .zenodo.json (#599)

gHashTag
and
Trinity Queen Hive
authored

Commits on May 14, 2026

Commits on May 15, 2026

feat(coq): Lane Z — IGLA/RMarker.v 4-slot R-marker + holographic_no_star Qed (#630)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Lane X — IGLA/RMarker.v Lever Stack alphabet extension · L-DPC25 Wave-28 (#637)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-29 Lane C — Sparsity24.v 2:4 structured sparsity safety lemma (#640)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-30 Lane K — Timing400.v 400 MHz clock-push safety lemma (#641)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-31 Lane J — PdkPortable.v multi-PDK portability safety lemma (#642)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-33 Lane T' TENET sparsity-aware LUT skip alphabet ext (#645)

gHashTag
and
Vasilev Dmitrii
authored
feat(lane-y): Wave-34 TOM Coq alphabet ext to OP_LAYER_GATE=0xE2 + Lemma tom_no_star (#648)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-35 Lane V LUT-NPU 81-entry bitnet.cpp port alphabet ext (#649) (#651)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave35-lane-v): LUT-NPU Coq — 10 lemmas, OP_LUT_NPU=0xE3 (#654)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave36-lane-x): AVS-48 voltage stacking Coq — 8 lemmas (#656)

gHashTag
and
Vasilev Dmitrii
authored
feat(W36 Lane W): AVS-48 OP_AVS_RECONF=0xE4 + avs_safe + 18 lemmas + NOW.md (#655)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave37-lane-z): Sub-V_T Coq — 10 lemmas, OP_SUBTH_CLK=0xE4 (#660)

gHashTag
and
Vasilev Dmitrii
authored
feat(W36 Lane W-EXT): VoltStack.v 22 lemmas + Avs.v proof fixes (incomplete proofs) (#659)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave38-lane-bb): RECTIFY OP_SUBTH_CLK 0xE4 → 0xE5 (ICA-W38-001) (#661)

gHashTag
and
Vasilev Dmitrii
authored
feat(w38 Lane BB): NullorReversible.v — 11 Qed reversible dendritic NULLOR (#662)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave39-lane-dd): Coq HoloMux.v — OP_HOLO_MUX_X4=0xE6 + 5 distinctness + throughput (#665)

gHashTag
and
Vasilev Dmitrii
authored
feat(w39 Lane DD): SpeculativeExit.v — 11 Qed speculative early-exit safety (#667)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave40-lane-ff): Coq DFS.v — 8 lemmas (6 opcode distinct + monotone + cubic) for OP_DFS_GATE=0xE7 (#668)

gHashTag
and
Vasilev Dmitrii
authored
feat(w41): SparseGate.v 8 Qed (Sacred 0xE8) (#669)

gHashTag
and
Dmitrii Vasilev
authored
feat(w42): StochRound.v 9 Qed (Sacred 0xE9) (#670)

gHashTag
and
Dmitrii Vasilev
authored
feat(coq): ICA-W40-001 Lane Q1 — relocate OP_NULL_PE 0xE6→0xEA, OP_SPEC_EXIT 0xE7→0xEB (#671)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-43 Lane HH — DrowsyRet.v 13 Qed (sacred 0xEC) (#672)

gHashTag
and
Vasilev Dmitrii
authored

Commits on May 16, 2026

feat(w40 Lane FF): SparsityMask.v — 11 Qed channel sparsity (no *) (#674)

gHashTag
and
Vasilev Dmitrii
authored
feat(w44 Lane JJ): FBBActive.v — 21 Qed + composite Theorem for Forward Body Bias (0xEE) (#675)

gHashTag
and
Vasilev Dmitrii
authored
feat(w45 Lane KK): WLBoost.v — 33 Qed + composite Theorem for Wordline Boost (0xEF) (#676)

gHashTag
and
Vasilev Dmitrii
authored
[W41-HH] feat(coq): NodeShrink.v sacred opcode 0xEF + 7 Qed lemmas (#678)

gHashTag
and
Vasilev Dmitrii
authored
[W42-JJ] feat(coq): MoeRouter.v — NO new L1 opcode (8 Qed lemmas) (#680)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-46 Lane NN — AdiabRC.v 33 Qed + composite Theorem (#679)

gHashTag
and
Vasilev Dmitrii
authored
feat(coq): Wave-47 Lane QQ — RBB.v 33 Qed + composite Theorem + R18 BANK EXTENSION (#681)

gHashTag
and
Vasilev Dmitrii
authored
feat(W43,LL): INT2 activation codebook Coq safety (S-184) (#682)

gHashTag
and
Vasilev Dmitrii
authored
feat(W44,NN): Stochastic time-skip safety Coq (S-186,S-187,S-192) Closes #684 (#685)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave48-coq): FBBActive2.v — Forward Body Bias of Active Path (0xF2) (#683)

gHashTag
and
Vasilev Dmitrii
authored
feat(W45,PP): AVS-96 dopamine safety Coq (S-194,S-195,S-200) Closes #686 (#687)

gHashTag
and
Vasilev Dmitrii
authored
feat(w46-rr): Purkinje thermal Coq proof (≥7 Qed) (#690)

gHashTag
and
Vasilev Dmitrii
authored
feat(wave-49/coq): CapBoost.v — 38 Qed + γ³ Decoupling-Cap Burst Theorem cap_boost_composite (Closes #177) (#688)

gHashTag
and
Vasilev Dmitrii
authored

Commits on May 17, 2026