From ce44d1fdd3f1834da3d55968cc9c4ba702b8cfab Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Tue, 16 Jun 2026 12:28:50 +0000 Subject: [PATCH 1/3] chore: remove stray git-stash leftovers, fix .gitignore conflict markers (fixes #1030) Remove NOW.md~Stashed changes{,_0,_1} that break check-now-freshness CI gate; resolve leftover git-stash conflict markers in .gitignore and add *~Stashed changes* ignore pattern. --- .gitignore | 6 +- NOW.md~Stashed changes | 337 -------------------------------------- NOW.md~Stashed changes_0 | 340 --------------------------------------- NOW.md~Stashed changes_1 | 340 --------------------------------------- 4 files changed, 3 insertions(+), 1020 deletions(-) delete mode 100644 NOW.md~Stashed changes delete mode 100644 NOW.md~Stashed changes_0 delete mode 100644 NOW.md~Stashed changes_1 diff --git a/.gitignore b/.gitignore index 8f3e10e8a..469e4a96d 100644 --- a/.gitignore +++ b/.gitignore @@ -46,11 +46,9 @@ tmp/ .trinity/queues/ #.trinity/events/ # Keeping events might be okay if they are small, but they grow. -<<<<<<< Updated upstream # Python cache __pycache__/ *.pyc -======= # Keep notebook gate files tracked (L7 UNITY requirement) !.trinity/current_task/.notebook_id !.trinity/current_task/notebook_meta.json @@ -58,7 +56,6 @@ __pycache__/ # But not local session data and bypass logs .trinity/current_task/session_log.jsonl .trinity/gate_bypasses.log ->>>>>>> Stashed changes # Specific project paths (vendored upstream lives under external/) external/opencode/dist/ @@ -78,3 +75,6 @@ bootstrap/.trinity/ docker/wi_authentication_key docker/FPGAs_AdaptiveSoCs_Unified_SDI_*.bin docker/Xilinx_Unified_*.bin + +# Ignore stray git-stash leftovers in working tree +*~Stashed changes* diff --git a/NOW.md~Stashed changes b/NOW.md~Stashed changes deleted file mode 100644 index ed480e889..000000000 --- a/NOW.md~Stashed changes +++ /dev/null @@ -1,337 +0,0 @@ -[![PHI Loop CI](https://github.com/gHashTag/t27/actions/workflows/phi-loop-ci.yml/badge.svg?branch=master)](https://github.com/gHashTag/t27/actions/workflows/phi-loop-ci.yml) -[![NOW sync gate](https://github.com/gHashTag/t27/actions/workflows/now-sync-gate.yml/badge.svg?branch=master)](https://github.com/gHashTag/t27/actions/workflows/now-sync-gate.yml) -[![NOW document](https://img.shields.io/badge/NOW%20document-ACTIVE-brightgreen)](https://github.com/gHashTag/t27/blob/master/NOW.md) -[![Queen health](https://img.shields.io/badge/Queen%20health-GREEN%20%2F%201.0-brightgreen)](https://github.com/gHashTag/t27/blob/master/.trinity/state/queen-health.json) - -# NOW — Rolling integration snapshot - -**Last updated:** 2026-04-06 — Monday, 06 April 2026 · 22:30 local time (UTC+07) · RFC3339 2026-04-06T22:30:00+07:00 - -**Document class:** Operational focus document -**Revision:** 2026-04-07 — **NO-SHELL fix**: `validate-conformance-v2.sh` deleted → `t27c validate-conformance-v2` · `seal-coverage.yml` → thin Rust call -**Status:** ACTIVE — replace body on every ring boundary -**Queen health:** GREEN / 1.0 (all 17 domains; sealed 2026-04-05T12:00Z) — *verify* `.trinity/state/queen-health.json` -**Canonical URL:** `https://github.com/gHashTag/t27/blob/master/NOW.md` - -> *"A specification without tests is a lie told in the future tense."* -> — `SOUL.md` - -**Sync gates:** `.githooks/pre-commit` and **phi-loop CI** use **`./scripts/tri check-now`**. The gate compares **calendar date `YYYY-MM-DD`** on the **Last updated** line to **your machine’s local date** when you run `tri` — so write **your wall-clock time** in the header, not UTC, unless you are in UTC. - ---- - -## § 1 Purpose and scope - -This document is the **single rolling snapshot** of what is being worked on *right now*. -It is **not** a roadmap (→ `[docs/ROADMAP.md](docs/ROADMAP.md)`, issue [#126](https://github.com/gHashTag/t27/issues/126)), -**not** a ring log (→ `.trinity/experience/clara_track1.jsonl`), -and **not** a design specification (→ `specs/`). - -**Coordination:** Former root **`TASK.md`** is retired — this file is the **single** rolling snapshot **and** coordination entrypoint. **Protocol:** [`docs/coordination/TASK_PROTOCOL.md`](docs/coordination/TASK_PROTOCOL.md). **Anchor:** [#141](https://github.com/gHashTag/t27/issues/141) (locks, handoffs, PR links). - -**Replace this file’s body at every ring boundary.** -Stale content here is a quality defect — treat it as a failing test. - -**Science ↔ ops:** Treat **NOW** as the live **structured abstract + methods log** (context, state, gap, next actions); on each ring boundary, freeze/export for longer IMRaD-style reports without duplicating SSOT — see `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` and `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)`. - -### § 1.1 Agent handoff — talk to the next agent / Queen via NOW - -**Canonical URL (SSOT for humans + agents):** -`https://github.com/gHashTag/t27/blob/master/NOW.md` - -When you **complete a non-trivial task** (code, specs, CI, seals, architecture docs), **update `NOW.md` before you stop**: - -1. Refresh **`Last updated:`** (calendar **`YYYY-MM-DD`** must match **today** for `./scripts/tri check-now`; keep **local wall time** + **RFC3339 with offset** as in the header template). -2. Fix **§ 3** state, **critical gap**, **links**, or **milestone notes** so the **next agent** reads **current truth**, not yesterday’s story. -3. **Commit `NOW.md` in the same PR** as the work (or amend), per Ring 033 / [#141](https://github.com/gHashTag/t27/issues/141). - -Skipping this is a **failed handoff** — the fleet coordinates here, not only in issues. - -**Recent methodology docs (kernel + experience + formal + science/ops):** -`[KERNEL_AXIOMS_AND_AGENT_EXPERIENCE_PROTOCOL.md](docs/KERNEL_AXIOMS_AND_AGENT_EXPERIENCE_PROTOCOL.md)` · `[KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md](docs/KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md)` · `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)` · `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` · `[TRINITY-EXPERIENCE-EXCHANGE-ARCHITECTURE.md](docs/TRINITY-EXPERIENCE-EXCHANGE-ARCHITECTURE.md)` · `[T27_KERNEL_FORMAL_COQ.md](docs/T27_KERNEL_FORMAL_COQ.md)` · `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` (deep map + ring plan; index `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)`; RU impact `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)`; TOR/TVP `[qualification/](docs/qualification/)`; template `[templates/TOOL_QUALIFICATION_SKETCH_DO330.md](docs/templates/TOOL_QUALIFICATION_SKETCH_DO330.md)`) · repo `[coq/](coq/)` (Rocq/Coq scaffold; workflow `.github/workflows/coq-kernel.yml`) - ---- - -## § 2 Invariant law (never changes) - - -| Law | Statement | Enforcement | -| -------------------- | --------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------- | -| **ISSUE-GATE** | No code merged without `Closes #N` | `.github/workflows/issue-gate.yml` | -| **NO-HAND-EDIT-GEN** | Files under `gen/` are generated; edit the `.t27` spec instead | `./bootstrap/target/release/t27c --repo-root . validate-gen-headers` (or `./scripts/tri validate-gen-headers`) | -| **SOUL-ASCII** | All `.t27` / `.zig` / `.v` / `.c` source — ASCII-only identifiers & comments | `SOUL.md`, ADR-004 | -| **TDD-MANDATE** | Every `.t27` spec must contain `test` / `invariant` / `bench` | Ring 037 / [#132](https://github.com/gHashTag/t27/issues/132) | -| **PHI-IDENTITY** | **K2 core:** \(\varphi^2 = \varphi + 1\) on \(\mathbb{R}\); **consequence** \(\varphi^2+\varphi^{-2}=3\); **IEEE `f64`** checks use **tolerance** (not exact equality) | `[NUMERIC-CORE-PALETTE-REGISTRY.md](docs/nona-02-organism/NUMERIC-CORE-PALETTE-REGISTRY.md)`, `specs/math/constants.t27` | -| **TRINITY-SACRED** | `conformance/FORMAT-SPEC-001.json` + `specs/numeric/gf16.t27` are the numeric ceiling | SSOT: never forked | -| **NO-NEW-SHELL** | No new `*.sh` on the critical path for validation / gen / data | **SOUL.md** Article VIII; `t27c` + Python; `tri` + `setup-git-hooks.sh` only | - - ---- - -## § 3 System state (narrative seal · 2026-04-06; verify `.trinity/` + CI) - -### 3.1 Sealed artifacts - - -| Artifact | Count / version | Last ring | Verdict | -| -------------------- | -------------------------------------- | ---------- | ------------------------------------ | -| `.t27` specs | 43 files *(ring narrative)* | Ring 43 | 43/43 parse PASS | -| `gen/zig/` | 52 files *(ring narrative)* | Ring 43 | generated, compile-checked | -| `conformance/` JSON | 62 files *(ring narrative)* | Ring 44 | schema v1 | -| `stage0/FROZEN_HASH` | SHA-256 of `bootstrap/src/compiler.rs` | genesis | immutable *(if present in checkout)* | -| Experience log | 45 entries *(ring narrative)* | Ring 45 | all `verdict: clean` | -| Queen health | 1.0 / GREEN | 2026-04-05 | 17/17 domains | - - -***Re-scan before every commit (do not treat stale counts as SSOT):*** - -```bash -find specs -name "*.t27" | wc -l -find gen/zig -name "*.zig" | wc -l -find conformance -name "*.json" | wc -l -``` - -The **table counts** above are *ring narrative* snapshots; refresh them when you seal a ring. - -### 3.2 E2E compiler loop (#150 closed) - -``` -bootstrap/src/compiler.rs ─── parse / gen ──→ AST / emit - │ - CI E2E DEMONSTRATED: │ - seed.t27 → t27c gen → zig test → GREEN - │ - gen/zig/*.zig (from t27c, not hand-written) -``` - -**The Rust bootstrap** (`t27c parse`, `t27c gen`, `t27c compile`, `t27c suite`) **exists**. -**The closed loop** `seed.t27 → t27c gen → output.zig → zig test → GREEN` has been **demonstrated end-to-end** in `phi-loop-ci.yml` with **Zig 0.13.0** and **seed.t27** golden spec. -**E2E status:** **DEMONSTRATED** — PR `feat/ring-46-e2e-ci` with **`Closes #150`** per **ISSUE-GATE**. - -**TV reference ([`qualification/TVP.md`](docs/qualification/TVP.md)):** **TV-01** (`tri test` / suite on golden snapshot) — **PASS** (all 57 specs) · **TV-02** (regen + blessed hash of `gen/`) — **PASS** (all 57 seals current) - -**K2 fast path (binary64):** For the IEEE literal of \(\varphi\), **`fl(φ·φ)`** and **`fl(φ+1.0)`** are **bit-identical** (`0x4004F1BBCDCBFA54`). So **`phi_identity_contract`** in `coq/Kernel/PhiFloat.v` is **`Rabs(0) < phi_tolerance`** (trivial residual). Mantissa / exponent for Flocq: **`7286977268806824`**, exp **`-52`** — cross-check with **`t27c validate-phi`** (or **`./scripts/tri validate-phi`**). Spec: [`PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md`](docs/nona-03-manifest/PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md) · task anchor: [`PHASE_B_FLOCQ_AGENT_TASK.md`](docs/nona-03-manifest/PHASE_B_FLOCQ_AGENT_TASK.md). - -**Optional formal track:** `[coq/](coq/)` + `[T27_KERNEL_FORMAL_COQ.md](docs/T27_KERNEL_FORMAL_COQ.md)` — Rocq/Coq scaffold for **K1–K4** (not K5/K6); CI `.github/workflows/coq-kernel.yml` when **`coq/**`** changes. -**K2 / PHI-IDENTITY (summary):** `Kernel/Phi.v` — `Coq.Reals` (**`phi_squared_identity`**, **`phi_tolerance`**). `Kernel/PhiFloat.v` — Flocq **`binary64`**, **`phi_identity_contract`**. Balanced ternary / radix economy context: [#138](https://github.com/gHashTag/t27/issues/138), [#142](https://github.com/gHashTag/t27/issues/142). -**Certification / evidence vocabulary:** `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` — **DO-178C / DO-330 / DO-333**, ISO 26262 (TCL), IEC 61508 (T1–T3), EN 50716, ECSS-Q-ST-80C, IEC 62304, IEEE 1012, NIST SSDF, CompCert/CakeML/Alive2/Flocq, TVCP **TV-01–TV-07**, phased plan. Quick index: `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)`. Draft **TOR/TVP:** `[qualification/TOR.md](docs/qualification/TOR.md)`, `[qualification/TVP.md](docs/qualification/TVP.md)`. - -### 3.3 Compiler verification — impact digest (trust in `t27c`) - -**Question the standards pack answers:** how we **justify trust** in **`t27c`** as a code generator (and in **`coqc`** as proof-checking tooling) using the same vocabulary regulators use (tool qualification, V&V, formal methods). - -**Why it matters for T27** - -- **DO-330 / ISO 26262 / IEC 61508** all force the same discipline: if a tool **writes** product code or **replaces** verification, its failures must be **controlled** with evidence (TOR/TVP/TVCP/TVR/TAS in aviation-shaped programs). -- **DO-178C** aligns with repo law: **`TDD-MANDATE`** ≈ requirements-based testing mindset; **`ISSUE-GATE`** ≈ traceability of change to tracked work. -- **DO-333** is the slot for **`coq/`** (theorem proving); **K2** is proved on **`Reals`** in `Phi.v`; **`PhiFloat.v`** gives the **`f64`** Flocq model + **`phi_identity_contract`** (computational bridge; deeper error lemmas → later ring). -- **IEEE 1012-style V&V planning** implies generator assurance should be **commensurate** with the integrity of the software the generator affects — **`NO-HAND-EDIT-GEN`** enforces SSOT on **`.t27`**, not hand patches in **`gen/`**. -- **NIST SSDF** aligns with **pinned toolchains**, **`FROZEN_HASH`**, and append-only **experience** logs. - -**CI follow-up:** **`phi-loop-ci.yml`** must stay **valid Actions YAML** (every step needs **`run:`** or **`uses:`**). An empty step with only **`name:`** prevents the workflow from loading (fixed after merge of **#152**). **E2E** remains **`seed.t27 → t27c gen → zig test`** on **`push`/`pull_request`** to **`master`** — track regressions via the **PHI Loop CI** badge. - -**Russian full narrative (impact per section):** `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)` — allowlisted Cyrillic companion; **English SSOT** remains `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)`. - ---- - -## § 4 Active GitHub milestone - -**[EPOCH-01-HARDEN](https://github.com/gHashTag/t27/milestone/1)** — Rings 032–049 - - -| Issue | Ring | Domain | Title | -| -------------------------------------------------- | ---- | ------------ | ---------------------------------------------- | -| [#127](https://github.com/gHashTag/t27/issues/127) | 032 | Tooling | `NOW.md` (root) + iteration schema | -| [#128](https://github.com/gHashTag/t27/issues/128) | 033 | CI | Issue-gate enforcement — every PR `Closes #N` | -| [#129](https://github.com/gHashTag/t27/issues/129) | 034 | Numerics | GoldenFloat benchmark spec (NMSE vs bfloat16) | -| [#130](https://github.com/gHashTag/t27/issues/130) | 035 | Architecture | `TECHNOLOGY-TREE.md` — ring DAG to 999 | -| [#131](https://github.com/gHashTag/t27/issues/131) | 036 | CI | Seal coverage — block PRs with missing SHA-256 | -| [#132](https://github.com/gHashTag/t27/issues/132) | 037 | Language | SOUL.md parser enforcement | -| [#133](https://github.com/gHashTag/t27/issues/133) | 038 | Conformance | Conformance vector schema v2 | -| [#134](https://github.com/gHashTag/t27/issues/134) | 039 | Science | CLARA / DARPA TA1–TA2 submission checklist | -| [#135](https://github.com/gHashTag/t27/issues/135) | 040 | Agents | `AGENTS_ALPHABET.md` — 27 agent definitions | -| [#138](https://github.com/gHashTag/t27/issues/138) | 043 | Math | Balanced ternary addition formal spec | -| [#139](https://github.com/gHashTag/t27/issues/139) | 044 | Protocol | PHI LOOP contract v2 + TOXIC rollback | -| [#140](https://github.com/gHashTag/t27/issues/140) | 045 | ISA | 27 Coptic register invariants | -| [#142](https://github.com/gHashTag/t27/issues/142) | 046 | Math | Radix economy — base-3 optimality proof | -| [#143](https://github.com/gHashTag/t27/issues/143) | 047 | Math | K3 logic truth table — 27-entry isomorphism | -| [#144](https://github.com/gHashTag/t27/issues/144) | 048 | VSA | Trit-space bind/unbind formal spec | -| [#145](https://github.com/gHashTag/t27/issues/145) | 049 | Physics | Sacred physics hard-tolerance conformance | -| [#150](https://github.com/gHashTag/t27/issues/150) *(closed)* | — | CI | E2E CI: `seed.t27` → `t27c gen` → `zig test` → GREEN | - - -*Confirm issue titles with `gh issue view` if links drift.* - -**Also:** `[RING_BACKLOG_047_063.md](docs/RING_BACKLOG_047_063.md)` · `[coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md](docs/coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md)` · `[KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md](docs/KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md)` · `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)` · `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` · anchor [#141](https://github.com/gHashTag/t27/issues/141) - ---- - -## § 5 Sequential integration plan: Seed → Tests → Queen - -**Rule:** Complete each phase before expanding the next. -**Every PR must contain** `Closes #N` (Ring 033 / [#128](https://github.com/gHashTag/t27/issues/128)). -**No code without an issue.** - -``` -SEED (bootstrap/Rust) - │ Phase 1 — Law & SSOT - ▼ -STEM (conformance vectors) - │ Phase 2 — Test execution - ▼ -BRANCHES (Ring 050+ science tests) - │ Phase 3 — Math/physics audit - ▼ -CROWN (Queen brain & automation) - Phase 4 — Orchestration -``` - -### Phase 1 — Seed: Law + SSOT + gates *(active now)* - - -| Step | Issue | Action | Acceptance criterion | -| ---- | -------------------------------------------------- | ---------------------------------------------------------- | --------------------------------------------------------------- | -| 1.1 | [#128](https://github.com/gHashTag/t27/issues/128) | Enable issue-gate CI | All PRs blocked without `Closes #N`; zero bypass | -| 1.2 | [#132](https://github.com/gHashTag/t27/issues/132) | Parser enforces SOUL.md | Spec without `test`/`invariant`/`bench` → error (when enforced) | -| 1.3 | [#127](https://github.com/gHashTag/t27/issues/127) | Canonicalise **`NOW.md`** (root) + iteration schema | `tri check-now` passes on clean repo | -| 1.4 | — | Verify `FORMAT-SPEC-001.json` + `gf16.t27` as numeric SSOT | Numeric PRs link to these | -| 1.5 | [#150](https://github.com/gHashTag/t27/issues/150) *(closed)* | Document / CI **seed → gen → zig test** | **✅** Minimal golden path in **`phi-loop-ci.yml`**; landed **PR [#152](https://github.com/gHashTag/t27/pull/152)** | - - -### Phase 2 — Stem: Conformance + benchmarks + seals *(in progress)* - - -| Step | Issue | Action | Status | Acceptance criterion | -| ---- | -------------------------------------------------- | ---------------------------- | ------ | -------------------------------------------------------------------------------------------------------- | -| 2.0 | — | SCHEMA_V2 + validator | **✅ DONE** | `conformance/SCHEMA_V2.json` + **`t27c validate-conformance-v2`** (Rust; former `scripts/validate-conformance-v2.sh`) | -| 2.1 | [#133](https://github.com/gHashTag/t27/issues/133) | Migrate vectors to v2 | **🔄 IN PROGRESS** (5/65) | `phi_distance` + `verdict` in v2 vectors · gf16, phi_ratio, tf3, sacred_physics migrated | -| 2.2 | [#129](https://github.com/gHashTag/t27/issues/129) | GoldenFloat NMSE benchmark | — | `gf_family_bench.json` semantics documented | -| 2.3 | [#131](https://github.com/gHashTag/t27/issues/131) | Seal coverage CI | **✅ DONE** | `.github/workflows/seal-coverage.yml` (PR-scoped gate) | -| 2.4 | — | GF16 vectors grow | — | e.g. 10 → 33+ in `gf16_vectors.json` | -| 2.5 | — | Numeric debt sprint | — | `[NUMERIC-GF16-DEBT-INVENTORY.md](docs/nona-02-organism/NUMERIC-GF16-DEBT-INVENTORY.md)` — math → nn/vsa → ar | - - -**Numeric palette:** `[NUMERIC-STANDARD-001.md](docs/nona-02-organism/NUMERIC-STANDARD-001.md)` · `[NUMERIC-GF16-CANONICAL-PICTURE.md](docs/nona-02-organism/NUMERIC-GF16-CANONICAL-PICTURE.md)` · `[NUMERIC-WHY-NOT-GF16-EVERYWHERE.md](docs/nona-02-organism/NUMERIC-WHY-NOT-GF16-EVERYWHERE.md)` · `[NUMERIC-CORE-PALETTE-REGISTRY.md](docs/nona-02-organism/NUMERIC-CORE-PALETTE-REGISTRY.md)` - -### Phase 3 — Branches: Ring 050+ science tests *(upcoming)* - - -| Ring | Issue | Domain | Key deliverable | -| ---- | ----- | --------------- | ----------------------------------- | -| 050 | open | Math/physics | `specs/test_framework/` per charter | -| 051 | open | Physics (P) | Sacred physics claim audit | -| 052 | open | Conformance (F) | Property-test template | -| 053 | open | Verilog (V) | Bench harness | -| 054 | open | Graph (G) | Graph drift detection | - - -**Charter:** `[T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md](docs/nona-03-manifest/T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md)` -**Claims:** `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` · `[CLAIM_TIERS.md](docs/nona-03-manifest/CLAIM_TIERS.md)` - -### Phase 4 — Crown: Metrics → brain seals → Queen *(future)* - - -| Step | Ring | Action | Acceptance criterion | -| ---- | ---- | -------------------------- | --------------------------------------------------------------------------------------------------------- | -| 4.1 | 056 | Verdict export JSON schema | Single schema for Queen tooling | -| 4.2 | — | Brain seal refresh | `.trinity/seals/brain-*.json` from pipeline | -| 4.3 | 047 | Lotus phase automation | `.trinity/queen-brain/summaries/` when job exists | -| 4.4 | — | META dashboard | [#126](https://github.com/gHashTag/t27/issues/126) · `[PINNED_ROADMAP_ISSUE.md](docs/PINNED_ROADMAP_ISSUE.md)` | - - -**Brain artifacts:** `.trinity/seals/brain-*.json` · `.trinity/state/queen-health.json` · `.trinity/experience/clara_track1.jsonl` - ---- - -## § 6 Matryoshka layer map - - -| Layer | Name | Key files | Integration phase | -| ------ | ------------------ | ------------------------------------------------------------------------ | ----------------- | -| **L0** | **Seed** | `bootstrap/src/compiler.rs`; `stage0/FROZEN_HASH` *if shipped* | genesis | -| **L1** | **Bootstrap** | `bootstrap/src/main.rs`, `bootstrap/main.zig` | Phase 1 | -| **L2** | **Base types** | `specs/base/types.t27`, `specs/base/ops.t27` | Phase 1 | -| **L3** | **Numerics** | `specs/numeric/gf*.t27`, `specs/numeric/tf3.t27` | Phase 2 | -| **L4** | **Math / physics** | `specs/math/constants.t27`, `specs/math/sacred_physics.t27` | Phase 3 | -| **L5** | **Compiler** | `specs/compiler/`, `gen/zig/compiler/` | Phase 1–2 | -| **L6** | **Hardware** | `specs/fpga/`, `specs/isa/registers.t27` | Phase 3 | -| **L7** | **Queen brain** | `specs/queen/lotus.t27`, `specs/nn/hslm.t27`, `specs/vsa/`, `specs/ar/`* | Phase 4 | - - ---- - -## § 7 Sync gates and tooling - - -| Gate | Trigger | Checks | Status *(verify in Actions)* | -| ------------------- | ------------ | ----------------------------------------- | ----------------------------------- | -| `pre-commit` | local commit | `tri check-now`; `NOW.md` date | active if hooks installed | -| `issue-gate.yml` | PR | `Closes #N` | see badge / Actions | -| `phi-loop-ci.yml` | push / PR | E2E + `tri` suite + conformance (see workflow) | **E2E in CI** — [#150](https://github.com/gHashTag/t27/issues/150) **closed** | -| `now-sync-gate.yml` | push | `NOW.md` freshness window | see badge / Actions | -| **Conformance** | CI / local | `t27c --repo-root . validate-conformance` | run locally or in CI | -| **Gen headers** | CI / local | `t27c --repo-root . validate-gen-headers` | run locally or in CI | - - -**Agent sync:** `.trinity/state/github-sync.json` -**Hooks:** `bash scripts/setup-git-hooks.sh` -**Manual:** `./scripts/tri check-now` - ---- - -## § 8 Document map - - -| Topic | Document | -| -------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -| Constitution v1.2 | `[T27-CONSTITUTION.md](docs/T27-CONSTITUTION.md)` | -| Ring log | `.trinity/experience/clara_track1.jsonl` | -| Queen health | `.trinity/state/queen-health.json` | -| Rolling integration detail | `[ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md](docs/coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md)` | -| Numeric SSOT | `conformance/FORMAT-SPEC-001.json` + `[NUMERIC-STANDARD-001.md](docs/nona-02-organism/NUMERIC-STANDARD-001.md)` | -| Claims registry | `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` | -| Math/physics test charter | `[T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md](docs/nona-03-manifest/T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md)` | -| Axiom/theorem format | `[T27-UNIFIED-AXIOM-THEOREM-FORMAT-SYSTEM.md](docs/nona-03-manifest/T27-UNIFIED-AXIOM-THEOREM-FORMAT-SYSTEM.md)` | -| Publications pipeline | `[PUBLICATION_PIPELINE.md](docs/PUBLICATION_PIPELINE.md)` | -| Compiler verification (EN) | `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` · `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)` | -| Compiler verification (RU) | `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)` (allowlisted; see ADR-004) | -| PHI-IDENTITY Flocq bridge | `[PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md](docs/nona-03-manifest/PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md)` | -| Phase B Flocq task anchor | `[PHASE_B_FLOCQ_AGENT_TASK.md](docs/nona-03-manifest/PHASE_B_FLOCQ_AGENT_TASK.md)` | -| φ / f64 validation | `t27c validate-phi` / `./scripts/tri validate-phi` | -| Roadmap umbrella | [#126](https://github.com/gHashTag/t27/issues/126) | - - ---- - -## § 9 Next actions (48 h) - -**Priority:** Keep **phi-loop CI** green on **`master`** (E2E + seals + `tri check-now`). **Phase 1 step 1.5** ([#150](https://github.com/gHashTag/t27/issues/150)) is **closed** — shift focus to **Phase 2 — Stem** (conformance / benchmarks / seal coverage); see **§5**. - -```bash -# 0. NOW gate — run FIRST before any commit (otherwise push / hooks may fail) -./scripts/tri check-now - -# 1. E2E CI — #150 closed (PR #152); verify Actions after workflow edits -# gh run list --workflow=phi-loop-ci.yml --limit 3 - -# 2. Milestone hygiene (needs gh auth) -# gh issue edit 127 128 129 130 131 132 133 --milestone "EPOCH-01-HARDEN" - -# 3. Bootstrap + suite -cd bootstrap && cargo build --release -./target/release/t27c --repo-root .. validate-conformance -./target/release/t27c --repo-root .. validate-gen-headers -./target/release/t27c --repo-root .. suite - -# 4. Optional: compiler hash (if stage0/FROZEN_HASH exists in your tree) -# shasum -a 256 bootstrap/src/compiler.rs - -# 5. Experience log — only after a real run -# echo '{"ring":46,"task":"…","verdict":"clean","timestamp":"2026-04-06T12:00:00Z"}' >> .trinity/experience/clara_track1.jsonl - -# 6. gh issue comment 126 --body "…" -``` - ---- - -*Living documentation corpus · `[T27-CONSTITUTION.md](docs/T27-CONSTITUTION.md)` v1.2, Article DOCS-TREE · **Last updated** must include **calendar date** `YYYY-MM-DD` (for `tri check-now`). Prefer **human-readable local wall time** plus optional **RFC3339 with offset** (e.g. `2026-04-06T18:45:00+07:00`) so tools can echo it — do not require UTC `Z` unless you work in UTC.* \ No newline at end of file diff --git a/NOW.md~Stashed changes_0 b/NOW.md~Stashed changes_0 deleted file mode 100644 index b0a6ef0f2..000000000 --- a/NOW.md~Stashed changes_0 +++ /dev/null @@ -1,340 +0,0 @@ -[![PHI Loop CI](https://github.com/gHashTag/t27/actions/workflows/phi-loop-ci.yml/badge.svg?branch=master)](https://github.com/gHashTag/t27/actions/workflows/phi-loop-ci.yml) -[![NOW sync gate](https://github.com/gHashTag/t27/actions/workflows/now-sync-gate.yml/badge.svg?branch=master)](https://github.com/gHashTag/t27/actions/workflows/now-sync-gate.yml) -[![NOW document](https://img.shields.io/badge/NOW%20document-ACTIVE-brightgreen)](https://github.com/gHashTag/t27/blob/master/NOW.md) -[![Queen health](https://img.shields.io/badge/Queen%20health-GREEN%20%2F%201.0-brightgreen)](https://github.com/gHashTag/t27/blob/master/.trinity/state/queen-health.json) - -# NOW — Rolling integration snapshot - -**Last updated:** 2026-04-06 — Monday, 06 April 2026 · 23:59 local time (+07) · RFC3339 2026-04-06T23:59:00+07:00 - -**Document class:** Operational focus document -**Revision:** **Ring 47** — **PR [#166](https://github.com/gHashTag/t27/pull/166)** (**#131** seal discipline + **`conformance/**`** on **`seal-coverage.yml`**). **`31e0d47`** **[#163](https://github.com/gHashTag/t27/issues/163)** — `FORMAT-SPEC-001.json` v1.1 + **`t27c validate-phi-identity`**. **Also landed:** **#165** CLARA-Bridge L7 cleanup + `jones_topology_filter` seal fix; baseline **`tri test`** 58/58. **Track A (carryover):** Coq **`phi_identity_contract`** (`coq/Kernel/Phi.v`) ↔ **`.trinity/seals/identity-*.json`** CI artifact *(close remaining proof/wiring gaps)*. **Track B:** [#167](https://github.com/gHashTag/t27/issues/167) Phase **2.6** numeric debt. **Track C:** [#142](https://github.com/gHashTag/t27/issues/142) / [#143](https://github.com/gHashTag/t27/issues/143) — **issues + specs only** (code **Ring 48+**). *After local midnight to **2026-04-07**, refresh **Last updated** for **`tri check-now`**.* - -**Status:** ACTIVE — replace body on every ring boundary -**Queen health:** GREEN / 1.0 (all 17 domains; sealed 2026-04-05T12:00Z) — *verify* `.trinity/state/queen-health.json` -**Canonical URL:** `https://github.com/gHashTag/t27/blob/master/NOW.md` - -> *"A specification without tests is a lie told in the future tense."* -> — `SOUL.md` - -**Sync gates:** `.githooks/pre-commit` and **phi-loop CI** use **`./scripts/tri check-now`**. The gate compares **calendar date `YYYY-MM-DD`** on the **Last updated** line to **your machine’s local date** when you run `tri` — so write **your wall-clock time** in the header, not UTC, unless you are in UTC. - ---- - -## § 1 Purpose and scope - -This document is the **single rolling snapshot** of what is being worked on *right now*. -It is **not** a roadmap (→ `[docs/ROADMAP.md](docs/ROADMAP.md)`, issue [#126](https://github.com/gHashTag/t27/issues/126)), -**not** a ring log (→ `.trinity/experience/clara_track1.jsonl`), -and **not** a design specification (→ `specs/`). - -**Coordination:** Former root **`TASK.md`** is retired — this file is the **single** rolling snapshot **and** coordination entrypoint. **Protocol:** [`docs/coordination/TASK_PROTOCOL.md`](docs/coordination/TASK_PROTOCOL.md). **Anchor:** [#141](https://github.com/gHashTag/t27/issues/141) (locks, handoffs, PR links). - -**Replace this file’s body at every ring boundary.** -Stale content here is a quality defect — treat it as a failing test. - -**Science ↔ ops:** Treat **NOW** as the live **structured abstract + methods log** (context, state, gap, next actions); on each ring boundary, freeze/export for longer IMRaD-style reports without duplicating SSOT — see `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` and `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)`. - -### § 1.1 Agent handoff — talk to the next agent / Queen via NOW - -**Canonical URL (SSOT for humans + agents):** -`https://github.com/gHashTag/t27/blob/master/NOW.md` - -When you **complete a non-trivial task** (code, specs, CI, seals, architecture docs), **update `NOW.md` before you stop**: - -1. Refresh **`Last updated:`** (calendar **`YYYY-MM-DD`** must match **today** for `./scripts/tri check-now`; keep **local wall time** + **RFC3339 with offset** as in the header template). -2. Fix **§ 3** state, **critical gap**, **links**, or **milestone notes** so the **next agent** reads **current truth**, not yesterday’s story. -3. **Commit `NOW.md` in the same PR** as the work (or amend), per Ring 033 / [#141](https://github.com/gHashTag/t27/issues/141). - -Skipping this is a **failed handoff** — the fleet coordinates here, not only in issues. - -**Recent methodology docs (kernel + experience + formal + science/ops):** -`[KERNEL_AXIOMS_AND_AGENT_EXPERIENCE_PROTOCOL.md](docs/KERNEL_AXIOMS_AND_AGENT_EXPERIENCE_PROTOCOL.md)` · `[KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md](docs/KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md)` · `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)` · `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` · `[TRINITY-EXPERIENCE-EXCHANGE-ARCHITECTURE.md](docs/TRINITY-EXPERIENCE-EXCHANGE-ARCHITECTURE.md)` · `[T27_KERNEL_FORMAL_COQ.md](docs/T27_KERNEL_FORMAL_COQ.md)` · `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` (deep map + ring plan; index `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)`; RU impact `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)`; TOR/TVP `[qualification/](docs/qualification/)`; template `[templates/TOOL_QUALIFICATION_SKETCH_DO330.md](docs/templates/TOOL_QUALIFICATION_SKETCH_DO330.md)`) · repo `[coq/](coq/)` (Rocq/Coq scaffold; workflow `.github/workflows/coq-kernel.yml`) - ---- - -## § 2 Invariant law (never changes) - - -| Law | Statement | Enforcement | -| -------------------- | --------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------- | -| **ISSUE-GATE** | No code merged without `Closes #N` | `.github/workflows/issue-gate.yml` | -| **NO-HAND-EDIT-GEN** | Files under `gen/` are generated; edit the `.t27` spec instead | `./bootstrap/target/release/t27c --repo-root . validate-gen-headers` (or `./scripts/tri validate-gen-headers`) | -| **SOUL-ASCII** | All `.t27` / `.zig` / `.v` / `.c` source — ASCII-only identifiers & comments | `SOUL.md`, ADR-004 | -| **TDD-MANDATE** | Every `.t27` spec must contain `test` / `invariant` / `bench` | Ring 037 / [#132](https://github.com/gHashTag/t27/issues/132) | -| **PHI-IDENTITY** | **K2 core:** \(\varphi^2 = \varphi + 1\) on \(\mathbb{R}\); **consequence** \(\varphi^2+\varphi^{-2}=3\); **IEEE `f64`** checks use **tolerance** (not exact equality) | `[NUMERIC-CORE-PALETTE-REGISTRY.md](docs/nona-02-organism/NUMERIC-CORE-PALETTE-REGISTRY.md)`, `specs/math/constants.t27` | -| **TRINITY-SACRED** | `conformance/FORMAT-SPEC-001.json` + `specs/numeric/gf16.t27` are the numeric ceiling | SSOT: never forked | -| **NO-NEW-SHELL** | No new `*.sh` on the critical path for validation / gen / data | **SOUL.md** Article VIII; `t27c` + Python; `tri` + `setup-git-hooks.sh` only | - - ---- - -## § 3 System state (narrative seal · 2026-04-06; verify `.trinity/` + CI) - -### 3.1 Sealed artifacts - - -| Artifact | Count / version | Last ring | Verdict | -| -------------------- | -------------------------------------- | ---------- | ------------------------------------ | -| `.t27` specs | 43 files *(ring narrative)* | Ring 43 | 43/43 parse PASS | -| `gen/zig/` | 52 files *(ring narrative)* | Ring 43 | generated, compile-checked | -| `conformance/` JSON | 62 files *(ring narrative)* | Ring 44 | schema v1 | -| `stage0/FROZEN_HASH` | SHA-256 of `bootstrap/src/compiler.rs` | genesis | immutable *(if present in checkout)* | -| Experience log | 45 entries *(ring narrative)* | Ring 45 | all `verdict: clean` | -| Queen health | 1.0 / GREEN | 2026-04-05 | 17/17 domains | - - -***Re-scan before every commit (do not treat stale counts as SSOT):*** - -```bash -find specs -name "*.t27" | wc -l -find gen/zig -name "*.zig" | wc -l -find conformance -name "*.json" | wc -l -``` - -The **table counts** above are *ring narrative* snapshots; refresh them when you seal a ring. - -### 3.2 E2E compiler loop (#150 closed) - -``` -bootstrap/src/compiler.rs ─── parse / gen ──→ AST / emit - │ - CI E2E DEMONSTRATED: │ - seed.t27 → t27c gen → zig test → GREEN - │ - gen/zig/*.zig (from t27c, not hand-written) -``` - -**The Rust bootstrap** (`t27c parse`, `t27c gen`, `t27c compile`, `t27c suite`) **exists**. -**The closed loop** `seed.t27 → t27c gen → output.zig → zig test → GREEN` has been **demonstrated end-to-end** in `phi-loop-ci.yml` with **Zig 0.13.0** and **seed.t27** golden spec. -**E2E status:** **DEMONSTRATED** — PR `feat/ring-46-e2e-ci` with **`Closes #150`** per **ISSUE-GATE**. - -**TV reference ([`qualification/TVP.md`](docs/qualification/TVP.md)):** **TV-01** (`tri test` / suite on golden snapshot) — **PASS** (all 57 specs) · **TV-02** (regen + blessed hash of `gen/`) — **PASS** (all 57 seals current) - -**K2 fast path (binary64):** For the IEEE literal of \(\varphi\), **`fl(φ·φ)`** and **`fl(φ+1.0)`** are **bit-identical** (`0x4004F1BBCDCBFA54`). So **`phi_identity_contract`** in `coq/Kernel/PhiFloat.v` is **`Rabs(0) < phi_tolerance`** (trivial residual). Mantissa / exponent for Flocq: **`7286977268806824`**, exp **`-52`** — cross-check with **`t27c validate-phi`** (or **`./scripts/tri validate-phi`**). Spec: [`PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md`](docs/nona-03-manifest/PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md) · task anchor: [`PHASE_B_FLOCQ_AGENT_TASK.md`](docs/nona-03-manifest/PHASE_B_FLOCQ_AGENT_TASK.md). - -**Optional formal track:** `[coq/](coq/)` + `[T27_KERNEL_FORMAL_COQ.md](docs/T27_KERNEL_FORMAL_COQ.md)` — Rocq/Coq scaffold for **K1–K4** (not K5/K6); CI `.github/workflows/coq-kernel.yml` when **`coq/**`** changes. -**K2 / PHI-IDENTITY (summary):** `Kernel/Phi.v` — `Coq.Reals` (**`phi_squared_identity`**, **`phi_tolerance`**). `Kernel/PhiFloat.v` — Flocq **`binary64`**, **`phi_identity_contract`**. Balanced ternary / radix economy context: [#138](https://github.com/gHashTag/t27/issues/138), [#142](https://github.com/gHashTag/t27/issues/142). -**Certification / evidence vocabulary:** `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` — **DO-178C / DO-330 / DO-333**, ISO 26262 (TCL), IEC 61508 (T1–T3), EN 50716, ECSS-Q-ST-80C, IEC 62304, IEEE 1012, NIST SSDF, CompCert/CakeML/Alive2/Flocq, TVCP **TV-01–TV-07**, phased plan. Quick index: `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)`. Draft **TOR/TVP:** `[qualification/TOR.md](docs/qualification/TOR.md)`, `[qualification/TVP.md](docs/qualification/TVP.md)`. - -### 3.3 Compiler verification — impact digest (trust in `t27c`) - -**Question the standards pack answers:** how we **justify trust** in **`t27c`** as a code generator (and in **`coqc`** as proof-checking tooling) using the same vocabulary regulators use (tool qualification, V&V, formal methods). - -**Why it matters for T27** - -- **DO-330 / ISO 26262 / IEC 61508** all force the same discipline: if a tool **writes** product code or **replaces** verification, its failures must be **controlled** with evidence (TOR/TVP/TVCP/TVR/TAS in aviation-shaped programs). -- **DO-178C** aligns with repo law: **`TDD-MANDATE`** ≈ requirements-based testing mindset; **`ISSUE-GATE`** ≈ traceability of change to tracked work. -- **DO-333** is the slot for **`coq/`** (theorem proving); **K2** is proved on **`Reals`** in `Phi.v`; **`PhiFloat.v`** gives the **`f64`** Flocq model + **`phi_identity_contract`** (computational bridge; deeper error lemmas → later ring). -- **IEEE 1012-style V&V planning** implies generator assurance should be **commensurate** with the integrity of the software the generator affects — **`NO-HAND-EDIT-GEN`** enforces SSOT on **`.t27`**, not hand patches in **`gen/`**. -- **NIST SSDF** aligns with **pinned toolchains**, **`FROZEN_HASH`**, and append-only **experience** logs. - -**CI follow-up:** **`phi-loop-ci.yml`** must stay **valid Actions YAML** (every step needs **`run:`** or **`uses:`**). An empty step with only **`name:`** prevents the workflow from loading (fixed after merge of **#152**). **E2E** remains **`seed.t27 → t27c gen → zig test`** on **`push`/`pull_request`** to **`master`** — track regressions via the **PHI Loop CI** badge. - -**Russian full narrative (impact per section):** `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)` — allowlisted Cyrillic companion; **English SSOT** remains `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)`. - ---- - -## § 4 Active GitHub milestone - -**[EPOCH-01-HARDEN](https://github.com/gHashTag/t27/milestone/1)** — Rings 032–049 - - -| Issue | Ring | Domain | Title | -| -------------------------------------------------- | ---- | ------------ | ---------------------------------------------- | -| [#127](https://github.com/gHashTag/t27/issues/127) | 032 | Tooling | `NOW.md` (root) + iteration schema | -| [#128](https://github.com/gHashTag/t27/issues/128) | 033 | CI | Issue-gate enforcement — every PR `Closes #N` | -| [#129](https://github.com/gHashTag/t27/issues/129) | 034 | Numerics | GoldenFloat benchmark spec (NMSE vs bfloat16) | -| [#130](https://github.com/gHashTag/t27/issues/130) | 035 | Architecture | `TECHNOLOGY-TREE.md` — ring DAG to 999 | -| [#131](https://github.com/gHashTag/t27/issues/131) | 036 | CI | Seal coverage — block PRs with missing SHA-256 | -| [#132](https://github.com/gHashTag/t27/issues/132) | 037 | Language | SOUL.md parser enforcement | -| [#133](https://github.com/gHashTag/t27/issues/133) | 038 | Conformance | Conformance vector schema v2 | -| [#134](https://github.com/gHashTag/t27/issues/134) | 039 | Science | CLARA / DARPA TA1–TA2 submission checklist | -| [#135](https://github.com/gHashTag/t27/issues/135) | 040 | Agents | `AGENTS_ALPHABET.md` — 27 agent definitions | -| [#138](https://github.com/gHashTag/t27/issues/138) | 043 | Math | Balanced ternary addition formal spec | -| [#139](https://github.com/gHashTag/t27/issues/139) | 044 | Protocol | PHI LOOP contract v2 + TOXIC rollback | -| [#140](https://github.com/gHashTag/t27/issues/140) | 045 | ISA | 27 Coptic register invariants | -| [#142](https://github.com/gHashTag/t27/issues/142) | 046 | Math | Radix economy — base-3 optimality proof | -| [#143](https://github.com/gHashTag/t27/issues/143) | 047 | Math | K3 logic truth table — 27-entry isomorphism | -| [#144](https://github.com/gHashTag/t27/issues/144) | 048 | VSA | Trit-space bind/unbind formal spec | -| [#145](https://github.com/gHashTag/t27/issues/145) | 049 | Physics | Sacred physics hard-tolerance conformance | -| [#150](https://github.com/gHashTag/t27/issues/150) *(closed)* | — | CI | E2E CI: `seed.t27` → `t27c gen` → `zig test` → GREEN | - - -*Confirm issue titles with `gh issue view` if links drift.* - -**Also:** `[RING_BACKLOG_047_063.md](docs/RING_BACKLOG_047_063.md)` · `[coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md](docs/coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md)` · `[KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md](docs/KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md)` · `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)` · `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` · anchor [#141](https://github.com/gHashTag/t27/issues/141) - ---- - -## § 5 Sequential integration plan: Seed → Tests → Queen - -**Rule:** Complete each phase before expanding the next. -**Every PR must contain** `Closes #N` (Ring 033 / [#128](https://github.com/gHashTag/t27/issues/128)). -**No code without an issue.** - -``` -SEED (bootstrap/Rust) - │ Phase 1 — Law & SSOT - ▼ -STEM (conformance vectors) - │ Phase 2 — Test execution - ▼ -BRANCHES (Ring 050+ science tests) - │ Phase 3 — Math/physics audit - ▼ -CROWN (Queen brain & automation) - Phase 4 — Orchestration -``` - -### Phase 1 — Seed: Law + SSOT + gates *(active now)* - - -| Step | Issue | Action | Acceptance criterion | -| ---- | -------------------------------------------------- | ---------------------------------------------------------- | --------------------------------------------------------------- | -| 1.1 | [#128](https://github.com/gHashTag/t27/issues/128) | Enable issue-gate CI | All PRs blocked without `Closes #N`; zero bypass | -| 1.2 | [#132](https://github.com/gHashTag/t27/issues/132) | Parser enforces SOUL.md | Spec without `test`/`invariant`/`bench` → error (when enforced) | -| 1.3 | [#127](https://github.com/gHashTag/t27/issues/127) | Canonicalise **`NOW.md`** (root) + iteration schema | `tri check-now` passes on clean repo | -| 1.4 | — | Verify `FORMAT-SPEC-001.json` + `gf16.t27` as numeric SSOT | Numeric PRs link to these | -| 1.5 | [#150](https://github.com/gHashTag/t27/issues/150) *(closed)* | Document / CI **seed → gen → zig test** | **✅** Minimal golden path in **`phi-loop-ci.yml`**; landed **PR [#152](https://github.com/gHashTag/t27/pull/152)** | - - -### Phase 2 — Stem: Conformance + benchmarks + seals *(in progress)* - - -| Step | Issue | Action | Status | Acceptance criterion | -| ---- | -------------------------------------------------- | ---------------------------- | ------ | -------------------------------------------------------------------------------------------------------- | -| 2.0 | — | SCHEMA_V2 + validator | **✅ DONE** | `conformance/SCHEMA_V2.json` + `t27c validate-conformance-v2` (NO-SHELL law) | -| 2.1 | [#133](https://github.com/gHashTag/t27/issues/133) | Migrate vectors to v2 | **✅ DONE** (58/58) | `t27c migrate-v2` — all vectors migrated to v2 format (schema_version, verdict, seal, timestamps) | -| 2.2 | [#129](https://github.com/gHashTag/t27/issues/129) | GoldenFloat NMSE benchmark | **✅ DONE** | `t27c gen-nmse-benchmark` writes **`nmse_synthetic_roundtrip`** (IEEE f16 vs bfloat16 proxy; documented in JSON) | -| 2.3 | [#131](https://github.com/gHashTag/t27/issues/131) | Seal coverage CI | **✅ DONE** | `.github/workflows/seal-coverage.yml` (PR-scoped gate) | -| 2.4 | — | GF16 vectors grow | **✅ DONE** | **`t27c expand-gf16`** → **50** rows in `gf16_vectors.json` (≥33 target); v2 seal recomputed | -| 2.5 | [#163](https://github.com/gHashTag/t27/issues/163) | L5 IDENTITY seal refresh | **✅ DONE** | `FORMAT-SPEC-001.json` → v2 + phi_distance + seal (0.0486326415435630 from gf16_vectors) | -| 2.6 | [#167](https://github.com/gHashTag/t27/issues/167) | Numeric debt sprint | **⏳ OPEN** | `[NUMERIC-GF16-DEBT-INVENTORY.md](docs/nona-02-organism/NUMERIC-GF16-DEBT-INVENTORY.md)` ↔ `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` + **L4 TESTABILITY** — math → nn/vsa → ar *(2.5 SSOT ✅; optional Coq↔seal JSON hardening in Track A)* | - - -**Phase 2 handoff:** Steps **2.0–2.5** are **✅** (including **2.3 #131** via **PR [#166](https://github.com/gHashTag/t27/pull/166)** and **2.5 #163** via **`31e0d47`**). **Remaining:** **[#167](https://github.com/gHashTag/t27/issues/167)** (2.6 numeric debt) **only** — see Ring 47 **Track B** in **Revision** above. - -**Numeric palette:** `[NUMERIC-STANDARD-001.md](docs/nona-02-organism/NUMERIC-STANDARD-001.md)` · `[NUMERIC-GF16-CANONICAL-PICTURE.md](docs/nona-02-organism/NUMERIC-GF16-CANONICAL-PICTURE.md)` · `[NUMERIC-WHY-NOT-GF16-EVERYWHERE.md](docs/nona-02-organism/NUMERIC-WHY-NOT-GF16-EVERYWHERE.md)` · `[NUMERIC-CORE-PALETTE-REGISTRY.md](docs/nona-02-organism/NUMERIC-CORE-PALETTE-REGISTRY.md)` - -### Phase 3 — Branches: Ring 050+ science tests *(upcoming)* - - -| Ring | Issue | Domain | Key deliverable | -| ---- | ----- | --------------- | ----------------------------------- | -| 050 | open | Math/physics | `specs/test_framework/` per charter | -| 051 | open | Physics (P) | Sacred physics claim audit | -| 052 | open | Conformance (F) | Property-test template | -| 053 | open | Verilog (V) | Bench harness | -| 054 | open | Graph (G) | Graph drift detection | - - -**Charter:** `[T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md](docs/nona-03-manifest/T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md)` -**Claims:** `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` · `[CLAIM_TIERS.md](docs/nona-03-manifest/CLAIM_TIERS.md)` - -### Phase 4 — Crown: Metrics → brain seals → Queen *(future)* - - -| Step | Ring | Action | Acceptance criterion | -| ---- | ---- | -------------------------- | --------------------------------------------------------------------------------------------------------- | -| 4.1 | 056 | Verdict export JSON schema | Single schema for Queen tooling | -| 4.2 | — | Brain seal refresh | `.trinity/seals/brain-*.json` from pipeline | -| 4.3 | 047 | Lotus phase automation | `.trinity/queen-brain/summaries/` when job exists | -| 4.4 | — | META dashboard | [#126](https://github.com/gHashTag/t27/issues/126) · `[PINNED_ROADMAP_ISSUE.md](docs/PINNED_ROADMAP_ISSUE.md)` | - - -**Brain artifacts:** `.trinity/seals/brain-*.json` · `.trinity/state/queen-health.json` · `.trinity/experience/clara_track1.jsonl` - ---- - -## § 6 Matryoshka layer map - - -| Layer | Name | Key files | Integration phase | -| ------ | ------------------ | ------------------------------------------------------------------------ | ----------------- | -| **L0** | **Seed** | `bootstrap/src/compiler.rs`; `stage0/FROZEN_HASH` *if shipped* | genesis | -| **L1** | **Bootstrap** | `bootstrap/src/main.rs`, `bootstrap/main.zig` | Phase 1 | -| **L2** | **Base types** | `specs/base/types.t27`, `specs/base/ops.t27` | Phase 1 | -| **L3** | **Numerics** | `specs/numeric/gf*.t27`, `specs/numeric/tf3.t27` | Phase 2 | -| **L4** | **Math / physics** | `specs/math/constants.t27`, `specs/math/sacred_physics.t27` | Phase 3 | -| **L5** | **Compiler** | `specs/compiler/`, `gen/zig/compiler/` | Phase 1–2 | -| **L6** | **Hardware** | `specs/fpga/`, `specs/isa/registers.t27` | Phase 3 | -| **L7** | **Queen brain** | `specs/queen/lotus.t27`, `specs/nn/hslm.t27`, `specs/vsa/`, `specs/ar/`* | Phase 4 | - - ---- - -## § 7 Sync gates and tooling - - -| Gate | Trigger | Checks | Status *(verify in Actions)* | -| ------------------- | ------------ | ----------------------------------------- | ----------------------------------- | -| `pre-commit` | local commit | `tri check-now`; `NOW.md` date | active if hooks installed | -| `issue-gate.yml` | PR | `Closes #N` | see badge / Actions | -| `phi-loop-ci.yml` | push / PR | E2E + `tri` suite + conformance (see workflow) | **E2E in CI** — [#150](https://github.com/gHashTag/t27/issues/150) **closed** | -| `now-sync-gate.yml` | push | `NOW.md` freshness window | see badge / Actions | -| **Conformance** | CI / local | `t27c --repo-root . validate-conformance` | run locally or in CI | -| **Gen headers** | CI / local | `t27c --repo-root . validate-gen-headers` | run locally or in CI | - - -**Agent sync:** `.trinity/state/github-sync.json` -**Hooks:** `bash scripts/setup-git-hooks.sh` -**Manual:** `./scripts/tri check-now` - ---- - -## § 8 Document map - - -| Topic | Document | -| -------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -| Constitution v1.2 | `[T27-CONSTITUTION.md](docs/T27-CONSTITUTION.md)` | -| Ring log | `.trinity/experience/clara_track1.jsonl` | -| Queen health | `.trinity/state/queen-health.json` | -| Rolling integration detail | `[ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md](docs/coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md)` | -| Numeric SSOT | `conformance/FORMAT-SPEC-001.json` + `[NUMERIC-STANDARD-001.md](docs/nona-02-organism/NUMERIC-STANDARD-001.md)` | -| Claims registry | `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` | -| Math/physics test charter | `[T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md](docs/nona-03-manifest/T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md)` | -| Axiom/theorem format | `[T27-UNIFIED-AXIOM-THEOREM-FORMAT-SYSTEM.md](docs/nona-03-manifest/T27-UNIFIED-AXIOM-THEOREM-FORMAT-SYSTEM.md)` | -| Publications pipeline | `[PUBLICATION_PIPELINE.md](docs/PUBLICATION_PIPELINE.md)` | -| Compiler verification (EN) | `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` · `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)` | -| Compiler verification (RU) | `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)` (allowlisted; see ADR-004) | -| PHI-IDENTITY Flocq bridge | `[PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md](docs/nona-03-manifest/PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md)` | -| Phase B Flocq task anchor | `[PHASE_B_FLOCQ_AGENT_TASK.md](docs/nona-03-manifest/PHASE_B_FLOCQ_AGENT_TASK.md)` | -| φ / f64 validation | `t27c validate-phi` / `./scripts/tri validate-phi` | -| Roadmap umbrella | [#126](https://github.com/gHashTag/t27/issues/126) | - - ---- - -## § 9 Next actions (48 h) - -**Priority:** Keep **phi-loop CI** green on **`master`** (E2E + seals + `tri check-now`). **Phase 1 step 1.5** ([#150](https://github.com/gHashTag/t27/issues/150)) is **closed** — shift focus to **Phase 2 — Stem** (conformance / benchmarks / seal coverage); see **§5**. - -```bash -# 0. NOW gate — run FIRST before any commit (otherwise push / hooks may fail) -./scripts/tri check-now - -# 1. E2E CI — #150 closed (PR #152); verify Actions after workflow edits -# gh run list --workflow=phi-loop-ci.yml --limit 3 - -# 2. Milestone hygiene (needs gh auth) -# gh issue edit 127 128 129 130 131 132 133 --milestone "EPOCH-01-HARDEN" - -# 3. Bootstrap + suite -cd bootstrap && cargo build --release -./target/release/t27c --repo-root .. validate-conformance -./target/release/t27c --repo-root .. validate-gen-headers -./target/release/t27c --repo-root .. suite - -# 4. Optional: compiler hash (if stage0/FROZEN_HASH exists in your tree) -# shasum -a 256 bootstrap/src/compiler.rs - -# 5. Experience log — Ring 46 seal discipline (#131 / PR #166): append one JSONL line to `.trinity/experience/clara_track1.jsonl` when sealing - -# 6. gh issue comment 126 --body "…" -``` - ---- - -*Living documentation corpus · `[T27-CONSTITUTION.md](docs/T27-CONSTITUTION.md)` v1.2, Article DOCS-TREE · **Last updated** must include **calendar date** `YYYY-MM-DD` (for `tri check-now`). Prefer **human-readable local wall time** plus optional **RFC3339 with offset** (e.g. `2026-04-06T18:45:00+07:00`) so tools can echo it — do not require UTC `Z` unless you work in UTC.* \ No newline at end of file diff --git a/NOW.md~Stashed changes_1 b/NOW.md~Stashed changes_1 deleted file mode 100644 index 5ee2f7161..000000000 --- a/NOW.md~Stashed changes_1 +++ /dev/null @@ -1,340 +0,0 @@ -[![PHI Loop CI](https://github.com/gHashTag/t27/actions/workflows/phi-loop-ci.yml/badge.svg?branch=master)](https://github.com/gHashTag/t27/actions/workflows/phi-loop-ci.yml) -[![NOW sync gate](https://github.com/gHashTag/t27/actions/workflows/now-sync-gate.yml/badge.svg?branch=master)](https://github.com/gHashTag/t27/actions/workflows/now-sync-gate.yml) -[![NOW document](https://img.shields.io/badge/NOW%20document-ACTIVE-brightgreen)](https://github.com/gHashTag/t27/blob/master/NOW.md) -[![Queen health](https://img.shields.io/badge/Queen%20health-GREEN%20%2F%201.0-brightgreen)](https://github.com/gHashTag/t27/blob/master/.trinity/state/queen-health.json) - -# NOW — Rolling integration snapshot - -**Last updated:** 2026-04-07 — Tuesday, 07 April 2026 · 00:15 local time (+07) · RFC3339 2026-04-07T00:15:00+07:00 - -**Document class:** Operational focus document -**Revision:** **Ring 47** — **PR [#166](https://github.com/gHashTag/t27/pull/166)** (**#131** seal discipline + **`conformance/**`** on **`seal-coverage.yml`**). **`31e0d47`** **[#163](https://github.com/gHashTag/t27/issues/163)** — `FORMAT-SPEC-001.json` v1.1 + **`t27c validate-phi-identity`**. **Also:** **#165** CLARA-Bridge L7 cleanup + `jones_topology_filter` seal fix; **`tri test`** 58/58. **Track A (carryover):** Coq **`phi_identity_contract`** (`coq/Kernel/Phi.v`) ↔ **`.trinity/seals/identity-*.json`** *(proof/CI wiring)*. **Track B:** [#167](https://github.com/gHashTag/t27/issues/167) Phase **2.6** numeric debt. **Track C:** [#142](https://github.com/gHashTag/t27/issues/142) / [#143](https://github.com/gHashTag/t27/issues/143) — **specs-only** this ring (code **Ring 48+**). - -**Status:** ACTIVE — replace body on every ring boundary -**Queen health:** GREEN / 1.0 (all 17 domains; sealed 2026-04-05T12:00Z) — *verify* `.trinity/state/queen-health.json` -**Canonical URL:** `https://github.com/gHashTag/t27/blob/master/NOW.md` - -> *"A specification without tests is a lie told in the future tense."* -> — `SOUL.md` - -**Sync gates:** `.githooks/pre-commit` and **phi-loop CI** use **`./scripts/tri check-now`**. The gate compares **calendar date `YYYY-MM-DD`** on the **Last updated** line to **your machine’s local date** when you run `tri` — so write **your wall-clock time** in the header, not UTC, unless you are in UTC. - ---- - -## § 1 Purpose and scope - -This document is the **single rolling snapshot** of what is being worked on *right now*. -It is **not** a roadmap (→ `[docs/ROADMAP.md](docs/ROADMAP.md)`, issue [#126](https://github.com/gHashTag/t27/issues/126)), -**not** a ring log (→ `.trinity/experience/clara_track1.jsonl`), -and **not** a design specification (→ `specs/`). - -**Coordination:** Former root **`TASK.md`** is retired — this file is the **single** rolling snapshot **and** coordination entrypoint. **Protocol:** [`docs/coordination/TASK_PROTOCOL.md`](docs/coordination/TASK_PROTOCOL.md). **Anchor:** [#141](https://github.com/gHashTag/t27/issues/141) (locks, handoffs, PR links). - -**Replace this file’s body at every ring boundary.** -Stale content here is a quality defect — treat it as a failing test. - -**Science ↔ ops:** Treat **NOW** as the live **structured abstract + methods log** (context, state, gap, next actions); on each ring boundary, freeze/export for longer IMRaD-style reports without duplicating SSOT — see `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` and `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)`. - -### § 1.1 Agent handoff — talk to the next agent / Queen via NOW - -**Canonical URL (SSOT for humans + agents):** -`https://github.com/gHashTag/t27/blob/master/NOW.md` - -When you **complete a non-trivial task** (code, specs, CI, seals, architecture docs), **update `NOW.md` before you stop**: - -1. Refresh **`Last updated:`** (calendar **`YYYY-MM-DD`** must match **today** for `./scripts/tri check-now`; keep **local wall time** + **RFC3339 with offset** as in the header template). -2. Fix **§ 3** state, **critical gap**, **links**, or **milestone notes** so the **next agent** reads **current truth**, not yesterday’s story. -3. **Commit `NOW.md` in the same PR** as the work (or amend), per Ring 033 / [#141](https://github.com/gHashTag/t27/issues/141). - -Skipping this is a **failed handoff** — the fleet coordinates here, not only in issues. - -**Recent methodology docs (kernel + experience + formal + science/ops):** -`[KERNEL_AXIOMS_AND_AGENT_EXPERIENCE_PROTOCOL.md](docs/KERNEL_AXIOMS_AND_AGENT_EXPERIENCE_PROTOCOL.md)` · `[KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md](docs/KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md)` · `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)` · `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` · `[TRINITY-EXPERIENCE-EXCHANGE-ARCHITECTURE.md](docs/TRINITY-EXPERIENCE-EXCHANGE-ARCHITECTURE.md)` · `[T27_KERNEL_FORMAL_COQ.md](docs/T27_KERNEL_FORMAL_COQ.md)` · `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` (deep map + ring plan; index `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)`; RU impact `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)`; TOR/TVP `[qualification/](docs/qualification/)`; template `[templates/TOOL_QUALIFICATION_SKETCH_DO330.md](docs/templates/TOOL_QUALIFICATION_SKETCH_DO330.md)`) · repo `[coq/](coq/)` (Rocq/Coq scaffold; workflow `.github/workflows/coq-kernel.yml`) - ---- - -## § 2 Invariant law (never changes) - - -| Law | Statement | Enforcement | -| -------------------- | --------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------- | -| **ISSUE-GATE** | No code merged without `Closes #N` | `.github/workflows/issue-gate.yml` | -| **NO-HAND-EDIT-GEN** | Files under `gen/` are generated; edit the `.t27` spec instead | `./bootstrap/target/release/t27c --repo-root . validate-gen-headers` (or `./scripts/tri validate-gen-headers`) | -| **SOUL-ASCII** | All `.t27` / `.zig` / `.v` / `.c` source — ASCII-only identifiers & comments | `SOUL.md`, ADR-004 | -| **TDD-MANDATE** | Every `.t27` spec must contain `test` / `invariant` / `bench` | Ring 037 / [#132](https://github.com/gHashTag/t27/issues/132) | -| **PHI-IDENTITY** | **K2 core:** \(\varphi^2 = \varphi + 1\) on \(\mathbb{R}\); **consequence** \(\varphi^2+\varphi^{-2}=3\); **IEEE `f64`** checks use **tolerance** (not exact equality) | `[NUMERIC-CORE-PALETTE-REGISTRY.md](docs/nona-02-organism/NUMERIC-CORE-PALETTE-REGISTRY.md)`, `specs/math/constants.t27` | -| **TRINITY-SACRED** | `conformance/FORMAT-SPEC-001.json` + `specs/numeric/gf16.t27` are the numeric ceiling | SSOT: never forked | -| **NO-NEW-SHELL** | No new `*.sh` on the critical path for validation / gen / data | **SOUL.md** Article VIII; `t27c` + Python; `tri` + `setup-git-hooks.sh` only | - - ---- - -## § 3 System state (narrative seal · 2026-04-06; verify `.trinity/` + CI) - -### 3.1 Sealed artifacts - - -| Artifact | Count / version | Last ring | Verdict | -| -------------------- | -------------------------------------- | ---------- | ------------------------------------ | -| `.t27` specs | 43 files *(ring narrative)* | Ring 43 | 43/43 parse PASS | -| `gen/zig/` | 52 files *(ring narrative)* | Ring 43 | generated, compile-checked | -| `conformance/` JSON | 62 files *(ring narrative)* | Ring 44 | schema v1 | -| `stage0/FROZEN_HASH` | SHA-256 of `bootstrap/src/compiler.rs` | genesis | immutable *(if present in checkout)* | -| Experience log | 45 entries *(ring narrative)* | Ring 45 | all `verdict: clean` | -| Queen health | 1.0 / GREEN | 2026-04-05 | 17/17 domains | - - -***Re-scan before every commit (do not treat stale counts as SSOT):*** - -```bash -find specs -name "*.t27" | wc -l -find gen/zig -name "*.zig" | wc -l -find conformance -name "*.json" | wc -l -``` - -The **table counts** above are *ring narrative* snapshots; refresh them when you seal a ring. - -### 3.2 E2E compiler loop (#150 closed) - -``` -bootstrap/src/compiler.rs ─── parse / gen ──→ AST / emit - │ - CI E2E DEMONSTRATED: │ - seed.t27 → t27c gen → zig test → GREEN - │ - gen/zig/*.zig (from t27c, not hand-written) -``` - -**The Rust bootstrap** (`t27c parse`, `t27c gen`, `t27c compile`, `t27c suite`) **exists**. -**The closed loop** `seed.t27 → t27c gen → output.zig → zig test → GREEN` has been **demonstrated end-to-end** in `phi-loop-ci.yml` with **Zig 0.13.0** and **seed.t27** golden spec. -**E2E status:** **DEMONSTRATED** — PR `feat/ring-46-e2e-ci` with **`Closes #150`** per **ISSUE-GATE**. - -**TV reference ([`qualification/TVP.md`](docs/qualification/TVP.md)):** **TV-01** (`tri test` / suite on golden snapshot) — **PASS** (all 57 specs) · **TV-02** (regen + blessed hash of `gen/`) — **PASS** (all 57 seals current) - -**K2 fast path (binary64):** For the IEEE literal of \(\varphi\), **`fl(φ·φ)`** and **`fl(φ+1.0)`** are **bit-identical** (`0x4004F1BBCDCBFA54`). So **`phi_identity_contract`** in `coq/Kernel/PhiFloat.v` is **`Rabs(0) < phi_tolerance`** (trivial residual). Mantissa / exponent for Flocq: **`7286977268806824`**, exp **`-52`** — cross-check with **`t27c validate-phi`** (or **`./scripts/tri validate-phi`**). Spec: [`PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md`](docs/nona-03-manifest/PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md) · task anchor: [`PHASE_B_FLOCQ_AGENT_TASK.md`](docs/nona-03-manifest/PHASE_B_FLOCQ_AGENT_TASK.md). - -**Optional formal track:** `[coq/](coq/)` + `[T27_KERNEL_FORMAL_COQ.md](docs/T27_KERNEL_FORMAL_COQ.md)` — Rocq/Coq scaffold for **K1–K4** (not K5/K6); CI `.github/workflows/coq-kernel.yml` when **`coq/**`** changes. -**K2 / PHI-IDENTITY (summary):** `Kernel/Phi.v` — `Coq.Reals` (**`phi_squared_identity`**, **`phi_tolerance`**). `Kernel/PhiFloat.v` — Flocq **`binary64`**, **`phi_identity_contract`**. Balanced ternary / radix economy context: [#138](https://github.com/gHashTag/t27/issues/138), [#142](https://github.com/gHashTag/t27/issues/142). -**Certification / evidence vocabulary:** `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` — **DO-178C / DO-330 / DO-333**, ISO 26262 (TCL), IEC 61508 (T1–T3), EN 50716, ECSS-Q-ST-80C, IEC 62304, IEEE 1012, NIST SSDF, CompCert/CakeML/Alive2/Flocq, TVCP **TV-01–TV-07**, phased plan. Quick index: `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)`. Draft **TOR/TVP:** `[qualification/TOR.md](docs/qualification/TOR.md)`, `[qualification/TVP.md](docs/qualification/TVP.md)`. - -### 3.3 Compiler verification — impact digest (trust in `t27c`) - -**Question the standards pack answers:** how we **justify trust** in **`t27c`** as a code generator (and in **`coqc`** as proof-checking tooling) using the same vocabulary regulators use (tool qualification, V&V, formal methods). - -**Why it matters for T27** - -- **DO-330 / ISO 26262 / IEC 61508** all force the same discipline: if a tool **writes** product code or **replaces** verification, its failures must be **controlled** with evidence (TOR/TVP/TVCP/TVR/TAS in aviation-shaped programs). -- **DO-178C** aligns with repo law: **`TDD-MANDATE`** ≈ requirements-based testing mindset; **`ISSUE-GATE`** ≈ traceability of change to tracked work. -- **DO-333** is the slot for **`coq/`** (theorem proving); **K2** is proved on **`Reals`** in `Phi.v`; **`PhiFloat.v`** gives the **`f64`** Flocq model + **`phi_identity_contract`** (computational bridge; deeper error lemmas → later ring). -- **IEEE 1012-style V&V planning** implies generator assurance should be **commensurate** with the integrity of the software the generator affects — **`NO-HAND-EDIT-GEN`** enforces SSOT on **`.t27`**, not hand patches in **`gen/`**. -- **NIST SSDF** aligns with **pinned toolchains**, **`FROZEN_HASH`**, and append-only **experience** logs. - -**CI follow-up:** **`phi-loop-ci.yml`** must stay **valid Actions YAML** (every step needs **`run:`** or **`uses:`**). An empty step with only **`name:`** prevents the workflow from loading (fixed after merge of **#152**). **E2E** remains **`seed.t27 → t27c gen → zig test`** on **`push`/`pull_request`** to **`master`** — track regressions via the **PHI Loop CI** badge. - -**Russian full narrative (impact per section):** `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)` — allowlisted Cyrillic companion; **English SSOT** remains `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)`. - ---- - -## § 4 Active GitHub milestone - -**[EPOCH-01-HARDEN](https://github.com/gHashTag/t27/milestone/1)** — Rings 032–049 - - -| Issue | Ring | Domain | Title | -| -------------------------------------------------- | ---- | ------------ | ---------------------------------------------- | -| [#127](https://github.com/gHashTag/t27/issues/127) | 032 | Tooling | `NOW.md` (root) + iteration schema | -| [#128](https://github.com/gHashTag/t27/issues/128) | 033 | CI | Issue-gate enforcement — every PR `Closes #N` | -| [#129](https://github.com/gHashTag/t27/issues/129) | 034 | Numerics | GoldenFloat benchmark spec (NMSE vs bfloat16) | -| [#130](https://github.com/gHashTag/t27/issues/130) | 035 | Architecture | `TECHNOLOGY-TREE.md` — ring DAG to 999 | -| [#131](https://github.com/gHashTag/t27/issues/131) | 036 | CI | Seal coverage — block PRs with missing SHA-256 | -| [#132](https://github.com/gHashTag/t27/issues/132) | 037 | Language | SOUL.md parser enforcement | -| [#133](https://github.com/gHashTag/t27/issues/133) | 038 | Conformance | Conformance vector schema v2 | -| [#134](https://github.com/gHashTag/t27/issues/134) | 039 | Science | CLARA / DARPA TA1–TA2 submission checklist | -| [#135](https://github.com/gHashTag/t27/issues/135) | 040 | Agents | `AGENTS_ALPHABET.md` — 27 agent definitions | -| [#138](https://github.com/gHashTag/t27/issues/138) | 043 | Math | Balanced ternary addition formal spec | -| [#139](https://github.com/gHashTag/t27/issues/139) | 044 | Protocol | PHI LOOP contract v2 + TOXIC rollback | -| [#140](https://github.com/gHashTag/t27/issues/140) | 045 | ISA | 27 Coptic register invariants | -| [#142](https://github.com/gHashTag/t27/issues/142) | 046 | Math | Radix economy — base-3 optimality proof | -| [#143](https://github.com/gHashTag/t27/issues/143) | 047 | Math | K3 logic truth table — 27-entry isomorphism | -| [#144](https://github.com/gHashTag/t27/issues/144) | 048 | VSA | Trit-space bind/unbind formal spec | -| [#145](https://github.com/gHashTag/t27/issues/145) | 049 | Physics | Sacred physics hard-tolerance conformance | -| [#150](https://github.com/gHashTag/t27/issues/150) *(closed)* | — | CI | E2E CI: `seed.t27` → `t27c gen` → `zig test` → GREEN | - - -*Confirm issue titles with `gh issue view` if links drift.* - -**Also:** `[RING_BACKLOG_047_063.md](docs/RING_BACKLOG_047_063.md)` · `[coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md](docs/coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md)` · `[KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md](docs/KERNEL-PLAN-MULTI-MODEL-SYNTHESIS.md)` · `[SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md](docs/SCIENCE-OPS-DUAL-TRACK-SYNTHESIS.md)` · `[RESEARCH_WRITING_T27.md](docs/RESEARCH_WRITING_T27.md)` · anchor [#141](https://github.com/gHashTag/t27/issues/141) - ---- - -## § 5 Sequential integration plan: Seed → Tests → Queen - -**Rule:** Complete each phase before expanding the next. -**Every PR must contain** `Closes #N` (Ring 033 / [#128](https://github.com/gHashTag/t27/issues/128)). -**No code without an issue.** - -``` -SEED (bootstrap/Rust) - │ Phase 1 — Law & SSOT - ▼ -STEM (conformance vectors) - │ Phase 2 — Test execution - ▼ -BRANCHES (Ring 050+ science tests) - │ Phase 3 — Math/physics audit - ▼ -CROWN (Queen brain & automation) - Phase 4 — Orchestration -``` - -### Phase 1 — Seed: Law + SSOT + gates *(active now)* - - -| Step | Issue | Action | Acceptance criterion | -| ---- | -------------------------------------------------- | ---------------------------------------------------------- | --------------------------------------------------------------- | -| 1.1 | [#128](https://github.com/gHashTag/t27/issues/128) | Enable issue-gate CI | All PRs blocked without `Closes #N`; zero bypass | -| 1.2 | [#132](https://github.com/gHashTag/t27/issues/132) | Parser enforces SOUL.md | Spec without `test`/`invariant`/`bench` → error (when enforced) | -| 1.3 | [#127](https://github.com/gHashTag/t27/issues/127) | Canonicalise **`NOW.md`** (root) + iteration schema | `tri check-now` passes on clean repo | -| 1.4 | — | Verify `FORMAT-SPEC-001.json` + `gf16.t27` as numeric SSOT | Numeric PRs link to these | -| 1.5 | [#150](https://github.com/gHashTag/t27/issues/150) *(closed)* | Document / CI **seed → gen → zig test** | **✅** Minimal golden path in **`phi-loop-ci.yml`**; landed **PR [#152](https://github.com/gHashTag/t27/pull/152)** | - - -### Phase 2 — Stem: Conformance + benchmarks + seals *(in progress)* - - -| Step | Issue | Action | Status | Acceptance criterion | -| ---- | -------------------------------------------------- | ---------------------------- | ------ | -------------------------------------------------------------------------------------------------------- | -| 2.0 | — | SCHEMA_V2 + validator | **✅ DONE** | `conformance/SCHEMA_V2.json` + `t27c validate-conformance-v2` (NO-SHELL law) | -| 2.1 | [#133](https://github.com/gHashTag/t27/issues/133) | Migrate vectors to v2 | **✅ DONE** (58/58) | `t27c migrate-v2` — all vectors migrated to v2 format (schema_version, verdict, seal, timestamps) | -| 2.2 | [#129](https://github.com/gHashTag/t27/issues/129) | GoldenFloat NMSE benchmark | **✅ DONE** | `t27c gen-nmse-benchmark` writes **`nmse_synthetic_roundtrip`** (IEEE f16 vs bfloat16 proxy; documented in JSON) | -| 2.3 | [#131](https://github.com/gHashTag/t27/issues/131) | Seal coverage CI | **✅ DONE** | `.github/workflows/seal-coverage.yml` (PR-scoped gate) | -| 2.4 | — | GF16 vectors grow | **✅ DONE** | **`t27c expand-gf16`** → **50** rows in `gf16_vectors.json` (≥33 target); v2 seal recomputed | -| 2.5 | [#163](https://github.com/gHashTag/t27/issues/163) | L5 IDENTITY seal refresh | **✅ DONE** | `FORMAT-SPEC-001.json` → v2 + phi_distance + seal (0.0486326415435630 from gf16_vectors) | -| 2.6 | [#167](https://github.com/gHashTag/t27/issues/167) | Numeric debt sprint | **⏳ OPEN** | `[NUMERIC-GF16-DEBT-INVENTORY.md](docs/nona-02-organism/NUMERIC-GF16-DEBT-INVENTORY.md)` ↔ `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` + **L4 TESTABILITY** — math → nn/vsa → ar *(2.5 SSOT landed; optional Coq↔seal JSON in Track A)* | - - -**Phase 2 handoff:** Steps **2.0–2.5** are **✅** ( **2.3** **PR [#166](https://github.com/gHashTag/t27/pull/166)**; **2.5** **`31e0d47`** / [#163](https://github.com/gHashTag/t27/issues/163) ). **Remaining:** **[#167](https://github.com/gHashTag/t27/issues/167)** (2.6) **only** — **Track B** above. - -**Numeric palette:** `[NUMERIC-STANDARD-001.md](docs/nona-02-organism/NUMERIC-STANDARD-001.md)` · `[NUMERIC-GF16-CANONICAL-PICTURE.md](docs/nona-02-organism/NUMERIC-GF16-CANONICAL-PICTURE.md)` · `[NUMERIC-WHY-NOT-GF16-EVERYWHERE.md](docs/nona-02-organism/NUMERIC-WHY-NOT-GF16-EVERYWHERE.md)` · `[NUMERIC-CORE-PALETTE-REGISTRY.md](docs/nona-02-organism/NUMERIC-CORE-PALETTE-REGISTRY.md)` - -### Phase 3 — Branches: Ring 050+ science tests *(upcoming)* - - -| Ring | Issue | Domain | Key deliverable | -| ---- | ----- | --------------- | ----------------------------------- | -| 050 | open | Math/physics | `specs/test_framework/` per charter | -| 051 | open | Physics (P) | Sacred physics claim audit | -| 052 | open | Conformance (F) | Property-test template | -| 053 | open | Verilog (V) | Bench harness | -| 054 | open | Graph (G) | Graph drift detection | - - -**Charter:** `[T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md](docs/nona-03-manifest/T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md)` -**Claims:** `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` · `[CLAIM_TIERS.md](docs/nona-03-manifest/CLAIM_TIERS.md)` - -### Phase 4 — Crown: Metrics → brain seals → Queen *(future)* - - -| Step | Ring | Action | Acceptance criterion | -| ---- | ---- | -------------------------- | --------------------------------------------------------------------------------------------------------- | -| 4.1 | 056 | Verdict export JSON schema | Single schema for Queen tooling | -| 4.2 | — | Brain seal refresh | `.trinity/seals/brain-*.json` from pipeline | -| 4.3 | 047 | Lotus phase automation | `.trinity/queen-brain/summaries/` when job exists | -| 4.4 | — | META dashboard | [#126](https://github.com/gHashTag/t27/issues/126) · `[PINNED_ROADMAP_ISSUE.md](docs/PINNED_ROADMAP_ISSUE.md)` | - - -**Brain artifacts:** `.trinity/seals/brain-*.json` · `.trinity/state/queen-health.json` · `.trinity/experience/clara_track1.jsonl` - ---- - -## § 6 Matryoshka layer map - - -| Layer | Name | Key files | Integration phase | -| ------ | ------------------ | ------------------------------------------------------------------------ | ----------------- | -| **L0** | **Seed** | `bootstrap/src/compiler.rs`; `stage0/FROZEN_HASH` *if shipped* | genesis | -| **L1** | **Bootstrap** | `bootstrap/src/main.rs`, `bootstrap/main.zig` | Phase 1 | -| **L2** | **Base types** | `specs/base/types.t27`, `specs/base/ops.t27` | Phase 1 | -| **L3** | **Numerics** | `specs/numeric/gf*.t27`, `specs/numeric/tf3.t27` | Phase 2 | -| **L4** | **Math / physics** | `specs/math/constants.t27`, `specs/math/sacred_physics.t27` | Phase 3 | -| **L5** | **Compiler** | `specs/compiler/`, `gen/zig/compiler/` | Phase 1–2 | -| **L6** | **Hardware** | `specs/fpga/`, `specs/isa/registers.t27` | Phase 3 | -| **L7** | **Queen brain** | `specs/queen/lotus.t27`, `specs/nn/hslm.t27`, `specs/vsa/`, `specs/ar/`* | Phase 4 | - - ---- - -## § 7 Sync gates and tooling - - -| Gate | Trigger | Checks | Status *(verify in Actions)* | -| ------------------- | ------------ | ----------------------------------------- | ----------------------------------- | -| `pre-commit` | local commit | `tri check-now`; `NOW.md` date | active if hooks installed | -| `issue-gate.yml` | PR | `Closes #N` | see badge / Actions | -| `phi-loop-ci.yml` | push / PR | E2E + `tri` suite + conformance (see workflow) | **E2E in CI** — [#150](https://github.com/gHashTag/t27/issues/150) **closed** | -| `now-sync-gate.yml` | push | `NOW.md` freshness window | see badge / Actions | -| **Conformance** | CI / local | `t27c --repo-root . validate-conformance` | run locally or in CI | -| **Gen headers** | CI / local | `t27c --repo-root . validate-gen-headers` | run locally or in CI | - - -**Agent sync:** `.trinity/state/github-sync.json` -**Hooks:** `bash scripts/setup-git-hooks.sh` -**Manual:** `./scripts/tri check-now` - ---- - -## § 8 Document map - - -| Topic | Document | -| -------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -| Constitution v1.2 | `[T27-CONSTITUTION.md](docs/T27-CONSTITUTION.md)` | -| Ring log | `.trinity/experience/clara_track1.jsonl` | -| Queen health | `.trinity/state/queen-health.json` | -| Rolling integration detail | `[ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md](docs/coordination/ROLLING-INTEGRATION-PLAN-SEED-TO-QUEEN.md)` | -| Numeric SSOT | `conformance/FORMAT-SPEC-001.json` + `[NUMERIC-STANDARD-001.md](docs/nona-02-organism/NUMERIC-STANDARD-001.md)` | -| Claims registry | `[RESEARCH_CLAIMS.md](docs/nona-03-manifest/RESEARCH_CLAIMS.md)` | -| Math/physics test charter | `[T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md](docs/nona-03-manifest/T27-MATH-PHYSICS-TEST-FRAMEWORK-SPEC.md)` | -| Axiom/theorem format | `[T27-UNIFIED-AXIOM-THEOREM-FORMAT-SYSTEM.md](docs/nona-03-manifest/T27-UNIFIED-AXIOM-THEOREM-FORMAT-SYSTEM.md)` | -| Publications pipeline | `[PUBLICATION_PIPELINE.md](docs/PUBLICATION_PIPELINE.md)` | -| Compiler verification (EN) | `[COMPILER_VERIFICATION_STANDARDS.md](docs/COMPILER_VERIFICATION_STANDARDS.md)` · `[COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md](docs/COMPILER_VERIFICATION_LANDSCAPE_AND_T27_PLAN.md)` | -| Compiler verification (RU) | `[COMPILER_VERIFICATION_IMPACT_RU.md](docs/COMPILER_VERIFICATION_IMPACT_RU.md)` (allowlisted; see ADR-004) | -| PHI-IDENTITY Flocq bridge | `[PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md](docs/nona-03-manifest/PHI_IDENTITY_FLOCQ_BRIDGE_SPEC.md)` | -| Phase B Flocq task anchor | `[PHASE_B_FLOCQ_AGENT_TASK.md](docs/nona-03-manifest/PHASE_B_FLOCQ_AGENT_TASK.md)` | -| φ / f64 validation | `t27c validate-phi` / `./scripts/tri validate-phi` | -| Roadmap umbrella | [#126](https://github.com/gHashTag/t27/issues/126) | - - ---- - -## § 9 Next actions (48 h) - -**Priority:** Keep **phi-loop CI** green on **`master`** (E2E + seals + `tri check-now`). **Phase 1 step 1.5** ([#150](https://github.com/gHashTag/t27/issues/150)) is **closed** — shift focus to **Phase 2 — Stem** (conformance / benchmarks / seal coverage); see **§5**. - -```bash -# 0. NOW gate — run FIRST before any commit (otherwise push / hooks may fail) -./scripts/tri check-now - -# 1. E2E CI — #150 closed (PR #152); verify Actions after workflow edits -# gh run list --workflow=phi-loop-ci.yml --limit 3 - -# 2. Milestone hygiene (needs gh auth) -# gh issue edit 127 128 129 130 131 132 133 --milestone "EPOCH-01-HARDEN" - -# 3. Bootstrap + suite -cd bootstrap && cargo build --release -./target/release/t27c --repo-root .. validate-conformance -./target/release/t27c --repo-root .. validate-gen-headers -./target/release/t27c --repo-root .. suite - -# 4. Optional: compiler hash (if stage0/FROZEN_HASH exists in your tree) -# shasum -a 256 bootstrap/src/compiler.rs - -# 5. Experience log — Ring 46 seal discipline (#131 / PR #166): append one JSONL line to `.trinity/experience/clara_track1.jsonl` when sealing - -# 6. gh issue comment 126 --body "…" -``` - ---- - -*Living documentation corpus · `[T27-CONSTITUTION.md](docs/T27-CONSTITUTION.md)` v1.2, Article DOCS-TREE · **Last updated** must include **calendar date** `YYYY-MM-DD` (for `tri check-now`). Prefer **human-readable local wall time** plus optional **RFC3339 with offset** (e.g. `2026-04-06T18:45:00+07:00`) so tools can echo it — do not require UTC `Z` unless you work in UTC.* \ No newline at end of file From 866f2557de32de458aef27218c8caec48906f4c1 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Tue, 16 Jun 2026 12:33:12 +0000 Subject: [PATCH 2/3] docs: log ci-stash-cleanup in NOW.md to satisfy freshness gate (refs #1030) --- docs/NOW.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/NOW.md b/docs/NOW.md index bf3dad812..288bf2c34 100644 --- a/docs/NOW.md +++ b/docs/NOW.md @@ -1664,3 +1664,9 @@ Wave-41 SparseGate.v 8 Qed sacred 0xE8 - **WHERE** (conformance vectors): new directory `conformance/vectors/` with five bit-precise packs in one shared row schema -- `gf16_conformance_v0.json` (21 vectors), `fp8_e4m3fn_conformance_v0.json` (14), `fp8_e5m2_conformance_v0.json` (16), `mxfp4_e2m1_conformance_v0.json` (16, full 16-code grid), `bf16_golden_conformance_v0.json` (8 + golden_accumulation section). `README.md` indexes format, anchor bits, max finite, inf/NaN presence, overflow policy, and SHA-256 of every pack. Four generators (`gen_fp8_e4m3.py`, `gen_fp8_e5m2.py`, `gen_mxfp4_e2m1.py`, `gen_bf16_golden.py`) reproduce the JSON byte-for-byte. No code paths, no `.t27` specs, no `gen/` edits, no existing conformance files touched; `FORMAT-SPEC-001.json` unchanged. - **Why**: gives the t27 numeric SSOT a citable conformance reference for the FP8/MXFP4/bf16 round-trip and clamp/overflow decisions. E4M3FN overflow saturates to 448.0; E5M2 overflows to +/-Inf; MXFP4 E2M1 clamp +/-7 sits one step above grid max 6.0; bf16 all-close gap is shown to come from accumulation order (sequential vs pairwise vs f64 golden). All packs decode exactly (abs_error 0 for representable values); abs_error is reported honestly and is nonzero only for non-representable inputs (e.g. 0.1 in bf16). Anchor identity phi^2 + 1/phi^2 = 3 is exact in every pack. ASCII-only. These are conformance data + reproduction scripts, not a quality claim; no [Verified] silicon claim is asserted beyond the existing GF16 rung. L6 gf16 SSOT untouched; L4 not applicable (data files, not specs); L2 untouched. Context preprint: arXiv:2606.05017. Closes #1055. - **Anchor**: phi^2 + phi^-2 = 3 + +## ci-stash-cleanup -- remove stray git-stash leftovers + fix .gitignore conflict markers (Closes #1030) + +- **WHERE**: repo root -- removed three stray git-stash leftover files `NOW.md~Stashed changes`, `NOW.md~Stashed changes_0`, `NOW.md~Stashed changes_1` that polluted the root and broke the check-now-freshness gate; fixed `.gitignore` by removing leftover git-stash conflict markers (`<<<<<<< Updated upstream`, `=======`, `>>>>>>> Stashed changes`) while preserving content from both sides, and added the `*~Stashed changes*` ignore pattern so such files never get tracked again. +- **Why**: pure chore/hygiene. No code paths, no `.t27` specs, no `gen/` edits, no conformance files, no numeric SSOT touched. L6 untouched; L4 not applicable; L2 untouched. Closes #1030. +- **Anchor**: phi^2 + phi^-2 = 3 From ed1f651a9f885e26073a853ade13d5704ff0fc9e Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Tue, 16 Jun 2026 12:34:57 +0000 Subject: [PATCH 3/3] docs: bump NOW.md Last updated to 2026-06-16 (freshness gate, refs #1030) --- docs/NOW.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/NOW.md b/docs/NOW.md index 288bf2c34..ae2d9c142 100644 --- a/docs/NOW.md +++ b/docs/NOW.md @@ -1,6 +1,6 @@ # NOW -- Trinity t27 sync -Last updated: 2026-06-14 +Last updated: 2026-06-16 ## compiler-expr-characterization -- expression-level positive/characterization tests (Closes #1137)