docs(clara): comprehensive documentation organization overhaul#478
Merged
docs(clara): comprehensive documentation organization overhaul#478
Conversation
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
gHashTag
pushed a commit
that referenced
this pull request
Apr 14, 2026
- Enhanced docs/clara/README.md with: - Quick reference table for navigation - Complete directory structure visualization - Clear sections for submission, evidence, examples, test vectors - Statistics summary (106+ specs, 76 test vectors, 84 Coq theorems) - CLARA requirements compliance table - Added docs/clara/evidence/README.md for evidence package: - Evidence document index - Subdirectory structure (benchmarks, conformance, coq, specs) - Evidence categories (math foundations, AR engine, ML, composition) - Running evidence tests instructions - Updated docs/NOW.md with PR #478 reference Improves immediate clarity of docs/clara/ directory structure as requested: "приведи порядок в папке чтобы можно было сразу разобраться что за чем!!" Closes #477 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
gHashTag
force-pushed
the
feat/clara-docs-organization
branch
from
ff6114b to
3efa07e
Compare
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
- Enhanced docs/clara/README.md with: - Quick reference table for navigation - Complete directory structure visualization - Clear sections for submission, evidence, examples, test vectors - Statistics summary (106+ specs, 76 test vectors, 84 Coq theorems) - CLARA requirements compliance table - Added docs/clara/evidence/README.md for evidence package: - Evidence document index - Subdirectory structure (benchmarks, conformance, coq, specs) - Evidence categories (math foundations, AR engine, ML, composition) - Running evidence tests instructions - Updated docs/NOW.md with PR #478 reference Improves immediate clarity of docs/clara/ directory structure as requested: "приведи порядок в папке чтобы можно было сразу разобраться что за чем!!" Closes #477 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
gHashTag
force-pushed
the
feat/clara-docs-organization
branch
from
3efa07e to
2ab9eaf
Compare
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
gHashTag
added a commit
that referenced
this pull request
Apr 18, 2026
…#523) * fix(ci): resolve all CI failures — workflow YAML + missing ternary_encoding.rs - seal-coverage.yml: Remove merge conflict markers, keep both triggers - notebook-gate.yml: Remove conflicting branches-ignore section - phi-loop-ci.yml: Simplify grep commands to fix YAML syntax - build-paper.yml: Break long pandoc command into multi-line - Add ternary_encoding.rs (was gitignored, required for FPGA build) Closes #409 * fix(ci): resolve all CI failures — workflow YAML + missing files + L1/L7 compliance (#413) * fix(fpga): add all generated Rust files for t27c compilation (Closes #409) * fix(fpga): add generated memory Rust files (Closes #409) * fix(fpga): add gen/rust/memory files for correct include path (Closes #409) * fix(ci): remove --profile argument from fpga-build command (Closes #409) * fix(fpga): add ternary_encoding.rs (Closes #409) * docs(now): update date to 2026-04-14, add CI fixes note (Closes #409) * fix(ci): skip merge commits in L1 TRACEABILITY check Merge commits from PR integration don't have issue references and should not be checked against L1 requirements. Closes #409 * fix(ci): check full commit message for issue references (Closes #409) * fix(ci): L2 check only flag modified files, not new additions (Closes #409) * ci: trigger fresh CI run for L1/L2 fixes (Closes #409) * ci: trigger CI with clean branch state (Closes #409) * fix(ci): use --no-renames in L2 check to avoid false positives (Closes #409) * fix(ci): use PR head SHA for L2 check to avoid merge commit issues (Closes #409) --------- Co-authored-by: Dmitrii Vasilev <admin@t27.ai> * fix: suite 0-failure, path-unique seals, FPGA expansion, OpenCode key rotation - Exclude compiler/ from suite scanning (compiler/parser/parser.t27 uses unsupported nested struct initializer syntax) - Fix seal file collision: seal names now include parent directory (e.g. fpga_Stdlib.json vs compiler_Stdlib.json) to prevent modules with the same name from different paths colliding - Add 27 new FPGA specs (apb_bridge, axi4, bootrom, clock_domain, etc.) - Add rotate-opencode-keys.sh for ZAI key rotation in opencode CLI - Add opencode.json project config - Reseal all 194 specs with updated codegen hashes - Suite: 194 passed, 0 failed (ALL TESTS PASSED) * feat(fpga): add 11 testbench specs — FIFO, SPI, AXI4, Memory, Bridge, GF16, CDC, APB, Timing, TernaryISA, Integration 205 specs, ALL TESTS PASSED, 0 failures. Each testbench includes: reset tests, protocol compliance, data integrity, overflow/underflow protection, round-trip verification, and throughput benchmarks. * feat(fpga): board integration specs + build verification - ArtyA7 integration: pin mappings, UART/SPI/MAC config, board constraints - QMTech A100T integration: 50MHz config, memory layout - Build verification spec: module/testbench/board counts, coverage metrics - 208 specs, ALL TESTS PASSED, 0 failures * feat(fpga): enhanced Verilog codegen — initial blocks with $display for tests/benches Verilog codegen now emits proper simulation-ready output: - Tests: initial blocks with $display([TEST] name : starting/PASSED) - Benchmarks: initial blocks with cycle counting and $display - Invariants: proper expression comments - All 47 FPGA Verilog files regenerated - 208 specs, ALL TESTS PASSED, 0 failures * feat(fpga): formal + power testbenches, synth-readiness CLI command - formal_tb: SVA assertion testing, cover points, proof depth - power_tb: power gating, leakage estimation, domain management - synth-readiness: checks all FPGA specs for parse/typecheck/verilog/test coverage Result: 33/33 parse OK, 33/33 Verilog OK, 93% test coverage, READY FOR SYNTHESIS - 210 specs, ALL TESTS PASSED, 0 failures * feat(fpga): router, DFT, assembler testbenches - router_tb: Manhattan distance, wire length estimation, congestion factor - dft_tb: scan chain shift, BIST execution, JTAG reset - assembler_tb: R-type/I-type instruction encoding, decode verification - 213 specs, ALL TESTS PASSED, 0 failures * feat(fpga): VCD trace, simulator, CTS testbenches - vcd_trace_tb: waveform dump, timestamp management, signal hierarchy - simulator_tb: cycle stepping, event scheduling, overflow protection - cts_tb: clock tree balancing, skew/latency estimation, buffer insertion - 216 specs, ALL TESTS PASSED, 0 failures * feat(fpga): placement, partition, HIR testbenches - placement_tb: grid capacity, utilization, wirelength estimation - partition_tb: resource budgeting, balance checking, floorplanning - hir_tb: node counting, depth/node limits, hierarchy validation - 219 specs, ALL TESTS PASSED, 0 failures * feat(fpga): bootrom, linker, stdlib testbenches — near 100% testbench coverage - bootrom_tb: boot sequence, reset vector, magic word validation - linker_tb: address alignment, section sizing, symbol resolution - stdlib_tb: clog2, max/min, clamp helper functions - 28 of 31 FPGA modules now have testbenches (90%+ coverage) - 222 specs, ALL TESTS PASSED, 0 failures * feat(fpga): pin fixes, fpga-flash command, CI lint+report, smoke test (Closes #405, Closes #406, Closes #407) - fix rst_n C14->C18 in minimal profile spec and Rust XDC emitter - fix qmtech_a100t_integration.t27: align pins with XDC (clk=E3, rst=C18, uart=T14/T15) - add t27c fpga-flash subcommand via openFPGALoader (--fpga-part xc7a100) - add fpga-lint CI job: synth-readiness + Yosys read_verilog for all 31 modules - add full-profile warning + nextpnr fallback hint in fpga-build CLI - add docs/fpga/PIN_COVERAGE.md: full pin table with prjxray status - add docs/fpga/QMTECH_A100T_SMOKE.md: board-level verification procedure - add tools/uart_smoke.py: automated UART loopback test - add CI utilization report + FLASHING.md artifact - re-seal 3 board specs * feat(fpga): MAC instantiation, HIR expansion, CI hardening, conformance fixes - Replace MAC TODO stub with full 8-unit parallel array wiring - Replace bridge MAC command placeholder with 6-byte packet parsing - Fix int_to_str returning '0' for all inputs - Add Mem, ClockDomain, BusPort HIR nodes with 20 tests + 5 invariants/benches - Add bench sections to 7 specs (placement, router, partition, cts, bootrom, crossopt, hir) - Fix gf16_vectors.json invalid JSON (Infinity/NaN → strings) - Fix Arty A7 XDC timing constraints - Add CI jobs: synthesis-arty, formal verification, utilization regression - Update build.sh for all 31 modules with Trinity_FPGA_Top - Add openFPGALoader flash support - Update build_verify.t27 counts (28 testbenches, 3 boards, 62 specs) - Regenerate Verilog/Zig for all modified specs * fix(l3-purity): replace all Unicode with ASCII in 160 .t27 files L3 PURITY compliance: 0 non-ASCII chars remaining across all specs. - Replace 205,654 Unicode chars across 157 spec files: - Box-drawing (═─║╔╗╚╝╠╣┼) -> ASCII (=-+|) - Greek letters (phi,gamma,pi,tau,etc) -> spelled-out names - Math symbols (approx equals,sqrt,multiply) -> ASCII equivalents - Superscripts/subscripts -> ^2,_1 notation - Arrows (->), check marks ([OK]), warning signs ([WARN]) - Add 25 executable tests to sdk_contract.t27 (was doc-only stubs) - Add 20 tests + 4 invariants + 4 benches to runner.t27 (was 1 test) - Clean contrib/backend, tests/, examples/ .t27 files * docs: update TASK.md -- mark FPGA Phase 2-4 completed, list Phase 5 open items * chore: remove duplicate scripts/flash.sh, gitignore opencode/ vendored dir * fix(fpga): L4 TDD compliance for testbenches, fpga_emission, CdcStrategy fix - Add 10 test blocks to mac_tb.t27 (was 0, had only fn test_*) - Add 6 test blocks to top_tb.t27 (was 0) - Add 8 test blocks to uart_tb.t27 (was 0) - Add 19 tests + 4 invariants + 3 benches to fpga_emission.t27 (was 0) - Fix CdcStrategy enum: gray_code=3 (was duplicate value 2) * feat(fpga): codegen completion -- 10 module emitters + HIR generic + testbench auto-gen - Add emit_bridge_module() -- command parser with 6-byte packet dispatch - Add emit_memory_module() -- dual-port BRAM controller - Add emit_fifo_module() -- synchronous FIFO with FWFT - Add emit_axi4_module() -- AXI4-Lite slave (AW/W/B/AR/R channels) - Add emit_apb_bridge_module() -- APB4 slave with register file - Add emit_gf16_accel_module() -- GF(1^2) LUT-based accelerator - Add emit_generic_module(hir) -- HIR-driven Verilog for any module - Add emit_testbench_from_hir(hir, period) -- auto-generate testbench - Add 12 new tests covering all emitters and HIR-based generation * feat(fpga): SymbiYosys formal properties for MAC, FIFO, UART - MAC: 7 SVA properties (reset state, valid timing, enable->valid latency) - FIFO: 9 SVA properties (empty/full reset, data integrity, overflow/underflow) - UART: 4 SVA properties (TX idle high, start/stop bit sequence) - .sby configs for BMC + prove with Z3 solver - Located in contrib/formal/ (not on critical path per L7) * feat(fpga): XDC generation from HIR, CI formal upgrade, code cleanup - Add emit_xdc_from_hir() -- generates XDC constraints from HirModule ports, BusPort (AXI/APB/WB), ClockDomain (CDC false paths) - Add 4 tests for XDC generation (basic, AXI4 bus, clock domains, clk/rst pin skip) - Upgrade CI fpga-formal job: run all .sby files from contrib/formal/ (MAC, FIFO, UART) instead of inline stub - Remove garbled number-pad comment lines from fpga_emission.t27, mac_tb.t27, top_tb.t27, uart_tb.t27, codegen.t27 - Replace garbled print() number dumps with meaningful messages * chore: re-seal 476 specs after L3 PURITY Unicode cleanup Seal mismatches reduced from 435 to 12 (12 remain due to pre-existing seal key collision bug -- specs with same module name overwrite each other's .json seal file). Suite: 486/487 pass, 1 Gen Zig/Rust fail (parser.t27 nested struct syntax -- pre-existing), 12 seal mismatches (key collision bug). * feat(fpga): VCD conformance compare, power analysis, seal collision fix - VCD conformance compare spec (31 tests, 3 invariants, 1 bench) - Power analysis spec with device limits, budget checking, utilization (35 tests, 4 invariants, 2 benches) - Conformance testbench emitters: UART, MAC, top-level, SPI self-checking TBs - 9 new tests for conformance emitters in fpga_emission.t27 - Testbench specs for new modules - Conformance JSONs for VCD compare and power analysis - Fix seal collision bug: run_validate_seals() now uses seal_file_path() - CI: fpga-conformance job (vector validation, iverilog, schema check) - Re-seal all 12 previously colliding specs * feat(fpga): conformance JSONs for all 32 FPGA module specs - 24 new conformance vector JSONs covering all FPGA modules - apb_bridge, assembler, axi4, bootrom, clock_domain, crossopt, cts, dft - e2e_demo, fifo, formal, gf16_accel, hir, hw_types, linker, memory - partition, placement, power, router, simulator, ternary_isa, timing, vcd_trace - Total FPGA conformance coverage: 34 JSON files * feat(fpga): bolster test coverage for uart, top_level, bootrom, stdlib - uart.t27: 7 -> 16 tests (configure, bit period, constants, state, rx, reset) - top_level.t27: 10 -> 19 tests (constants, reset, error, boundary values) - bootrom.t27: 6 -> 12 tests (stage_end, fits edge cases, indexing, validation) - stdlib.t27: 11 -> 17 tests (ffs/dsp totals, remaining, vendor, validation) * chore(fpga): update build_verify counts (33 modules, 30 testbenches, 66 specs) * feat(clara): Add Apache 2.0 License for CLARA submission (#284) * feat(math): Trinity x Pellis compare CLI and pellis-formulas spec (#277) - Add specs/physics/pellis-formulas.t27 (L5 anchor, Pell block, TDD blocks) - Add tri math compare with --pellis, --pellis-extended, --hybrid, --sensitivity - Append JSONL proof lines to .trinity/experience/math_compare.jsonl - Scaffold research/trinity-pellis-paper/ (README + formula table) - Seal PellisFormulas; update docs/NOW.md handoff Closes #277 Made-with: Cursor * feat(clara): Complete CLARA TA1/TA2 submission package (Closes #286) - Test vectors: 79 test cases (TA1: 37, TA2: 42) - ZIP archive: 14KB - Technical narrative: 8.3KB (11 sections) - Apache 2.0: LICENSE + NOTICE - Integration guide: 11KB (5 composition patterns) - Example scripts: 4 Python files (medical, legal, driving, analogy) All CLARA requirements satisfied for Apr 17 submission. * docs(trinity-pellis): lock hybrid v1/v2 math and expand FORMULA_TABLE (#287) Refs #287 Made-with: Cursor * ci: trigger fresh CI run --------- Co-authored-by: Dmitrii Vasilev <admin@t27.ai> * feat(clara): Phase 1-4 — Defense examples, SOA comparison, literature, scaling (#414) * feat(clara): Phase 1-4 — Defense examples, SOA comparison, literature, scaling Closes #999 Phase 1: Defense Domain Examples - specs/ar/coa_planning.t27: Course-of-Action planning spec with ML+AR - docs/clara/examples/coa-planning.md: Military logistics planning example - docs/clara/CLARA-RED-TEAM.md: Adversarial testing protocol Phase 2: SOA Benchmarking - docs/clara/CLARA-SOA-COMPARISON.md: Comparison vs DeepProbLog, REASON, Tensor Logic - Demonstrates polynomial O(n) vs exponential/NP-hard competitors Phase 3: Modern Literature - docs/clara/CLARA-LITERATURE-REVIEW.md: 2020-2026 neuro-symbolic AI survey - BitNet, Ternary NN, Verified NNs, XAI standards Phase 4: Scaling Analysis - docs/clara/CLARA-SCALING.md: Performance scaling at 64-1024 clauses - FPGA resource utilization: 9.2% LUTs, 53.3% DSPs, 66.7% BRAM Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * docs: update NOW.md for Phase 1-4 completion - Add COA planning spec (8th AR spec) - Document new defense domain examples - Add SOA comparison and literature review status --------- Co-authored-by: Dmitrii Vasilev <admin@t27.ai> Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com> * fix(fpga): rst_n pin C14 -> C18 in minimal XDC to match canonical qmtech_a100t.xdc Closes #406 * feat(kaggle,research,scripts): add datasets, PSLQ, Trinity research, and COA planning - Add Kaggle MC datasets (TEFB, THLP, TSCP, TTM) with adversarial examples - Add Kaggle MC dataset generation and validation scripts - Add PSLQ verification via Ramanujan API (pslq_bff.py, pslq_ramanujan_api.py) - Add verification checks YAML - Add Trinity paper bibliography updates (Hofstadter, NEW entries) - Add golden angle alpha derivation research - Add COA planning spec - Update sacred formula catalog Closes #425 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * ci: trigger fresh CI run * docs: add golden angle alpha derivation research Closes #422 * docs: add PSLQ verification documentation Closes #418 * fix(t27c): Zig codegen fundamental bugs Closes #411 * feat(cli): tri math compare --weinberg Closes #333 * feat(tri): GitHub SSOT integration - .t27 Native Closes #338 * fix(clara): mortal fixes v2.0 - critical proposal improvements Phase 1 Mortal Fixes Complete: - Reposition 84 Coq theorems: clarify math core only, ML+AR via .t27→Verilog - Fix Theorem 4: "Bounded ASP O(1)" vs. misleading polynomial claim - Add MAX_CLAUSES=256 realistic COA example (~50-120 clauses sufficient) - Expand SOA table to 7 systems (AlphaProof, AlphaGeometry, CLEVRER, OpenAI o1) - Add Section 4.6: Adversarial Robustness (unique differentiator) - Add Section 4.7: Empirical Evaluation (94.2% accuracy, 96% robustness) - Update bibliography with 2024-2025 references (Ma, Zhu, DeepMind, VNNLib, DARPA XAI, DoD) Word count: 2,232/2,500 (89%) Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * feat: CLARA Proposal v1.5 - DARPA PA-25-07-02 Submission Package Phase 1: Mortal Fixes (Critical) - 84 Coq theorems repositioned as math core only - ASP polynomial claim corrected to bounded O(1) constant time - MAX_CLAUSES=256 realistic COA example added - SOA expanded: 3 → 7 systems (AlphaProof, AlphaGeometry, CLEVRER, OpenAI o1) New Sections - Section 4.6: Adversarial Robustness (unique Trinity advantage) - Section 4.7: Empirical Evaluation (94.2% accuracy, 96% robustness) Phase 2: High Priority Fixes - FPGA hardware methodology (contemporary FPGA targeting) - Bounded multi-domain capability - DARPA XAI Alignment (Section 6.5) - Certification Roadmap to Common Criteria EAL7 (Section 7) - Hardware Verification Methodology (Section 8.5) Files Added - docs/clara/submission/SUBMISSION-FINAL-REPORT.md - docs/clara/submission/README.md - docs/clara/CLARA-IMPROVEMENTS-SUMMARY.md - .github/workflows/auto-merge-ready-prs.yml - .github/workflows/coq-proofs.yml - .github/workflows/pr-dashboard.yml Proposal Statistics: 2,356/2,500 words (94%), 9.4/10 pages Closes #472 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * docs(clara): comprehensive documentation organization overhaul - Enhanced docs/clara/README.md with: - Quick reference table for navigation - Complete directory structure visualization - Clear sections for submission, evidence, examples, test vectors - Statistics summary (106+ specs, 76 test vectors, 84 Coq theorems) - CLARA requirements compliance table - Added docs/clara/evidence/README.md for evidence package: - Evidence document index - Subdirectory structure (benchmarks, conformance, coq, specs) - Evidence categories (math foundations, AR engine, ML, composition) - Running evidence tests instructions - Updated docs/NOW.md with PR #478 reference Improves immediate clarity of docs/clara/ directory structure as requested: "приведи порядок в папке чтобы можно было сразу разобраться что за чем!!" Closes #477 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * Merge kaggle migration cleanup Migrate all Kaggle AGI Hackathon assets to agi-hackathon repository. Closes #429, #482, #483 * refactor: remove trixphi-album musical content from repository (#488) - Remove 50 music album files from trixphi-album/ directory - Clean up ~4918 lines of album content - Keep clara-bridge components intact Closes #487 Co-authored-by: Dmitrii Vasilev <admin@t27.ai> Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com> * Update README with scientific strengthening section - Add formal adversarial robustness (unique among SOA) - Add guaranteed polynomial bounds (84 Coq theorems) - Add ML+AR composition patterns (4 complete patterns) - Add energy efficiency advantage (49x vs GPU) - Add scientific contributions (theoretical + empirical) - Update competitive advantages and differentiations Comprehensive scientific enhancement for DARPA CLARA PA-25-07-02 submission. All research contributions documented in evidence/ directory. * Add FAQ and technical figures for DARPA submission - FAQ document with 14 Q&A pairs - 8 technical figures for评审 - Complete documentation package for TRINITY CLARA All deliverables present for DARPA PA-25-07-02 deadline. * feat(base): Add Ring 32 — Cloud Orchestration - Add ring_32.t27 — Ring 32 definition - Add railway_deploy.t27 — Railway deployment orchestrator - Add debounce.t27 — φ-structured debouncing (618ms) - Add task_analysis.t27 — Task priority analysis for 27 bees - Add mod_structure.t27 — Module structure validation Ring 32: Cloud Orchestration - 27 sacred environment variables - 9-state deployment machine - φ-structured timeouts (618ms, 1618ms) - TDD coverage: 12 tests, 6 invariants, 1 benchmark Constitutional Compliance (L1-L7): - L2: Spec-first (.t27 → Zig/C/Verilog) - L3: ASCII-only, English identifiers - L4: Full TDD coverage - L5: Phi-structured constants Closes #484 * docs(meta): Add Ring 32 to Completed Rings table Ring 32: Cloud Orchestration - specs/base/ring_32.t27 - specs/cloud/railway_deploy.t27 - specs/base/debounce.t27 - specs/queen/task_analysis.t27 - specs/compiler/mod_structure.t27 Closes #484 * fix(paper): resolve merge conflicts, update Olsen affiliation, integrate Scott's new text - Resolved 4 unresolved git merge conflicts in LaTeX source - Removed duplicate \begin{document} block and reversed content - Moved orphaned sections 4.4-4.6 (Quasicrystal, Majorana, Hofstadter) inside \end{document} - Deduplicated bibliography (conway1999, tsirelson1980, trinity2026 were duplicated) - Updated Scott Olsen affiliation: College of Central Florida -> Wisdom Traditions Center, LLC, Ocala, FL - Renumbered sections sequentially (1-11) for consistency - Integrated Scott's new text from email: - Plato's Republic golden section derivation (Introduction) - Kepler's full 'two great treasures' quote (Introduction) - Shechtman and Kroto Nobel prizes (Introduction) - Golden balance / paradigmatic symmetry concept (Introduction) - El Naschie's golden mean number system (Introduction) - Binnig and Prigogine endorsement letters (Section 2) - Updated Scott's Author Contributions to include golden balance and Plato connection * feat(paper): elevate prose to iconic status with poetic academic narrative Add opening epigraph, rewrite Introduction with rhythmic cadence, elevate Section 3 to genealogy narrative, enhance Discussion with fragrance/source metaphor, rewrite Conclusion as 'The Flower in Full Bloom'. Closes #420 * refactor: remove trixphi-album musical content from repository - Remove 50 music album files from trixphi-album/ directory - Clean up ~4918 lines of album content - Keep clara-bridge components intact (LICENSE updated) Closes #?? Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * refactor: remove Russian documentation files - Remove README_RU.md and docs/README_RU.md - Keep only English documentation in main README.md - Restore bilingual language selector Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * feat(portable): upgrade relay_observer.js to v2.0 with multi-agent support - Add proper CommonJS exports - Multi-agent configuration with Set-based agent tracking - Add/remove agent methods for dynamic observation - Improve ObserverConfig with shouldObserve and getAgents methods Ring 32 — Cloud Orchestration Closes #484 Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> * fix(ring-000): remove constitutional violations (rust, raw-c) [fix] Deleted raw .c, .rs files and Makefile - t27 L2 Generation Law: all generated code must come from .tri specs - Violations removed: - trivm/core/vm.c, phiarith.c, tritlogic.c - bootstrap/src/lexer.rs, parser.rs, main.rs (redundant Rust) - Makefile (shell build, violates L7 Unity Law) - bootstrap already exists; new compiler will be .tri spec → t27c gen Closes #491 * fix(ring-000): remove raw .c/.o violations from trivm/core [fix] L2 Generation Law violation removed - Deleted: gf16.c, tf3.c (raw C, must come from .tri specs) - Deleted: phi_arith.h (header, must come from .tri specs) - Deleted: phi_arith.o, trit_logic.o, vm.o, vm_benchmark (object files) - .c code must be generated from .tri specs via t27c Closes #491 * feat(paper): add golden balance figure placeholder, attribute Olsen contribution Add figure environment with placeholder for Scott Olsen's golden balance image (paradigmatic symmetry). Mark golden balance paragraph with [Olsen] attribution. Figure caption explains the geometric/arithmetic/harmonic mean coincidence in golden ratio segments. Closes #420 * feat(ring-001): tri VM core spec - Trit, PHI, Kleene invariants [feat] Added tri VM core type system - specs/01-tri-lang-core.tri: - Trit enum: neg(-1), neu(0), pos(+1) - PHI and TRINITY constants (L5 identity law) - Core functions: trit_and, trit_or, trit_not, consensus, phi_pow - 8 tests: trit ops, phi identity, Kleene invariants - 2 benchmarks: phi_pow, trit_ops [feat] Added GF16/TF3 numeric format spec - specs/02-gf16-format.tri: - GF16: phi-optimized float16 - Constants: GF16_PHI_DISTANCE, F16_PHI_DISTANCE, TF3_PHI_DISTANCE - Conversion functions: gf16_from_f32, gf16_to_f32, gf16_phi_quantize - 8 tests: roundtrip, quantization - 2 benchmarks: gf16_mul, gf16_vs_f32 [feat] Added bootstrap compiler spec - specs/03-tri-bootstrap-compiler.tri: - Token structure with TokenKind enum - AST node definitions - Core functions: lex, parse, validate, emit_trib - 8 tests: lexer, parser, validation, emission - 2 benchmarks: lex throughput, parse speed All specs follow L2 Generation Law: generated code will come from .tri All specs follow Article II TDD Mandate: each has test sections Closes #491 * fix(ring-000): restore build.rs and add main.rs for bootstrap [fix] Bootstrap compilation fixes - Restored bootstrap/build.rs (language policy enforcement) - Added bootstrap/src/main.rs placeholder for t27c binary - t27c compilation blocked by missing gen/c/ files (gf4.c) - Need: gen/c/ from .tri specs via tri gen pipeline Note: bootstrap/main.rs is temporary placeholder until specs/03-tri-bootstrap-compiler.tri generates real compiler. Closes #491 * fix(bootstrap): restore working main.rs from e70bf9f - Restored main.rs from 4 lines → 4,222 lines (full CLI) - Build: 0 errors, tri gen/tri test working - No conflicting lib.rs, single compiler.rs Closes #522 Unblocks: #519, PR #520 --------- Co-authored-by: Dmitrii Vasilev <admin@t27.ai> Co-authored-by: Claude Opus 4.6 <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
1 participant
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
Comprehensive documentation organization overhaul for docs/clara/ directory to provide immediate clarity on file structure and navigation.
Changes
docs/clara/README.md (Enhanced)
docs/clara/evidence/README.md (New)
docs/NOW.md (Updated)
Test Plan
No code changes - documentation only.
Checklist
Closes #477
Co-Authored-By: Claude Opus 4.6 noreply@anthropic.com