Skip to content

specs/docs: system documentation as a declared .t27 document (7 chapters) + docs/system bodies + i18n docs-ru - #3555

Merged
gHashTag merged 4 commits into
masterfrom
feat/specs-docs
Sep 9, 2026
Merged

specs/docs: system documentation as a declared .t27 document (7 chapters) + docs/system bodies + i18n docs-ru#3555
gHashTag merged 4 commits into
masterfrom
feat/specs-docs

Conversation

@gHashTag

@gHashTag gHashTag commented Sep 9, 2026

Copy link
Copy Markdown
Owner

Closes #3550

Stacked on #3548 (feat/specs-tools). Merge order: #3546 -> #3548 -> this.

What

  • specs/docs/system.t27 (module docs_system, KIND = "docs"): CHAPTERS (7), SOURCES (10), DIAGRAMS (6), LOCALES (en, ru), ENABLED.
  • specs/docs/chapters/<id>.t27 x7 (docs_chapter_<id>, KIND = "docs-chapter"): DOCUMENT, ORDER, TITLE, SOURCES, SECTIONS, DIAGRAM, TABLE, BODY_EN, ENABLED. Chapters: project, rules, layers, alphabet, queen, tooling, evidence.
  • docs/system/<id>.md x7: English canonical prose (LANG-EN), ASCII only; every SECTIONS entry is a ## heading in order (checked by the site generator).
  • specs/i18n/docs-ru.t27 (i18n_docs_ru): RU translation contract; the bundle is trinity:apps/website/i18n/docs.ru.json. No Cyrillic in this repo.
  • specs/docs/README.md (schema, rules, "Where this lives": T27_ROOT / git rev-parse --show-toplevel), specs/OWNERS.md row docs/ -> Z-Zeta (+T-Queen for chapters/queen.t27), docs/README.md system/ row (DOCS-TREE), docs/now/2026-09-09-system-documentation-as-a-declared-t27-document.md.

Witnesses

  • Vendored compiler wasm (sha256 4d9c0447b5ca2887...): 9/9 typecheck ok, 0 discarded (system + 7 chapters + i18n).
  • python3 tools/check_devhome_paths.py: no new offenders (the FAIL fixed lines are sparse-checkout absences, as in specs/tools: the tri CLI and the MCP servers as first-class .t27 specs (layer 5) #3548).
  • PR_BASE_SHA=$(git rev-parse origin/master) GITHUB_BASE_REF=master python3 tools/check_now_entry_shape.py: OK.
  • Every SOURCES path in the 7 chapter specs exists in the tree at this commit (checked with git cat-file -e).

Recorded, not resolved

  • AGENTS.md section 5 says "L1-L8"; its table and docs/T27-CONSTITUTION.md define L1-L7, no L8 exists. The prose documents seven laws and notes the discrepancy.
  • The alphabet document's 6+1 phase cycle (PLAN..EVOLVE + GIT WORKFLOW) differs from CLAUDE.md's AEL v2.0 loop; both are stated, neither is reconciled.
  • tri git (Phase 7) has no variant in the clap Commands enum of cli/tri/src/main.rs, so specs/tools has no card for it; marked [declared].

Not claimed

  • The bootstrap compiler on master was not run against these files.
  • Whether SOUL Article II (TDD Iron Law) applies to declarative catalog modules is not ruled here.
  • gate-topology and untrusted-input are the known pre-existing reds; not --blessed.

Site side (generator scripts/docs-from-specs.mjs, check:docs, #/docs, Queen module project on key p): gHashTag/trinity, stacked on #978.


Re-opened against master: #3551 was auto-closed when its base branch feat/specs-tools was deleted by the merge of #3554. Rebased onto master (same four commits, 0350fef).

…ers) + docs/system bodies + i18n docs-ru

Closes #3550

- specs/docs/system.t27 (docs_system) + specs/docs/chapters/<id>.t27 x7
- docs/system/<id>.md x7: English canonical prose, sections = SECTIONS
- specs/i18n/docs-ru.t27: RU translation contract (bundle in trinity)
- specs/docs/README.md, specs/OWNERS.md row docs/ -> Z-Zeta (+T-Queen), docs/README.md system/ row
- docs/now entry; 9/9 typecheck ok under the vendored wasm, 0 discarded
- records L1-L7 vs 'L1-L8', two loop statements, and missing tri git as discrepancies
…dead tri invocations

check_documented_commands_exist reported dead tri mentions rising 141 -> 146:
docs/system/queen.md:27,28,32,46 wrote the alphabet's Phase 7 as backticked
`tri git ...` commands, and docs/system/layers.md:56 began a line with
"tri card", which the anchored matcher reads as an invocation.

The clap surface in cli/tri/src/main.rs has no git variant, so the prose now
states the discrepancy instead of quoting a command a reader would copy: the
phase is described as commit/push steps, with the witness that no such
subcommand exists; the tool-card sentence is re-wrapped. The same rewrite is
applied to the RU bundle in trinity (apps/website/i18n/docs.ru.json).
MAX_DEAD_TRI is not raised.

Closes #3550
@github-actions

github-actions Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-09-09 17:31:32 UTC

Summary

Status Count
Total Open PRs 16
PRs with Failing Checks 13
PRs with All Checks Green 3
READY 2
FAILING 13
PENDING 0
NO CHECKS YET 0

These columns do not partition: 2 + 13 + 0 + 0 = 15, and there are 16 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=d4c5b22b471e != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@github-actions

github-actions Bot commented Sep 9, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@gHashTag
gHashTag merged commit 61241e1 into master Sep 9, 2026
26 of 31 checks passed
@gHashTag
gHashTag deleted the feat/specs-docs branch September 9, 2026 17:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

specs/docs: system documentation as declared .t27 document (7 chapters) + docs/system bodies + i18n docs-ru contract

1 participant