Skip to content

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

Closed
gHashTag wants to merge 4 commits into
feat/specs-toolsfrom
feat/specs-docs
Closed

gHashTag wants to merge 4 commits into
feat/specs-toolsfrom
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.

@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.

2 similar comments
@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.

@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.

@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.

@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.

…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

📓 NotebookLM Notebook linked to this PR

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

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.

1 participant