refactor: remove semantic repository index (#17)

* docs: replace legacy truth path references

* feat: fold contextpack into workflow status

* refactor: remove semantic repository index

* fix: remove vulnerable frontmatter dependency

* feat: broaden truth sync write authorization

* test: restore workflow state regression coverage

---------

Co-authored-by: MerlinH <merlinh221@gmail.com>
This commit is contained in:
Merlin's Cat
2026-06-16 11:03:04 +10:00
committed by GitHub
co-authored by MerlinH
parent 32cfafa9c2
commit e9cd67f0b5
232 changed files with 768 additions and 1589 deletions
+1 -1
View File
@@ -4,7 +4,7 @@ description: Read-only Truthmark claim verifier for checking canonical truth aga
tools: [read, search]
---
# Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
# Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Stay read-only.
Verify the behavior-bearing truth claims assigned by the parent against primary checkout evidence.
+1 -1
View File
@@ -4,7 +4,7 @@ description: Read-only Truthmark doc reviewer for shape, decision, rationale, an
tools: [read, search]
---
# Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
# Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Stay read-only.
Review assigned canonical truth docs for compact frontmatter, required template sections, final Source References entries, Evidence checked entries, and lane-appropriate decision sections (Product Decisions in product truth, Engineering Decisions in engineering truth).
+1 -1
View File
@@ -4,7 +4,7 @@ description: Write-capable Truthmark doc worker for one parent-leased truth-docu
tools: [read, search, edit]
---
# Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
# Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Write one leased Truthmark truth-document shard assigned by the parent.
Require an explicit write lease before editing. The lease must name workflow, worker, shard, objective, requiredReads, allowedWrites, forbiddenWrites, evidenceRequired, verification, and reportFields.
+1 -1
View File
@@ -4,7 +4,7 @@ description: Read-only Truthmark route auditor for bounded routing and ownership
tools: [read, search]
---
# Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
# Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Stay read-only.
Audit one bounded Truthmark route, area, or doc shard assigned by the parent.
+1 -1
View File
@@ -9,7 +9,7 @@ Agent-specific:
<!-- truthmark:start -->
## Truthmark Workflow
Generated by Truthmark 2.2.0. Rerun `truthmark init` after upgrades.
Generated by Truthmark 2.2.1. Rerun `truthmark init` after upgrades.
Hierarchy hints: config .truthmark/config.yml when present; routes docs/truthmark/routes/areas.md and docs/truthmark/routes/areas/**/*.md when present; Truth docs: docs/truthmark/product/**/*.md and docs/truthmark/engineering/**/*.md when present.
Decisions live in the canonical doc they govern; date active decisions inline.
Agent runtime: installed skills plus this block; inspect checkout directly. Delegation is host-owned.
+1 -1
View File
@@ -3,7 +3,7 @@ name: truthmark-check
description: Use when the user asks to audit repository truth health, routing, ownership, or canonical docs. Not for normal lint/test/typecheck/code-review verification, finish-time Sync, or silently rewriting docs.
argument-hint: Optional area, doc path, or audit focus
user-invocable: true
truthmark-version: 2.2.0
truthmark-version: 2.2.1
---
# Truthmark Check
@@ -1,6 +1,6 @@
# Truthmark Check Procedure
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
# Truthmark Check
@@ -1,6 +1,6 @@
# Truthmark Check Report Template
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Report completion in this shape:
@@ -1,6 +1,6 @@
# Truthmark Check Subagents And Leases
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Copilot custom-agent mode:
- use automatically when this workflow runs in Copilot and the parent agent chooses bounded custom-agent fan-out
+1 -1
View File
@@ -3,7 +3,7 @@ name: truthmark-document
description: Use when the user asks to document existing implemented behavior, or Sync, Check, or Structure finds implemented behavior missing canonical truth. Not for functional-code changes, doc-first implementation, or topology repair that needs Structure.
argument-hint: Optional implemented behavior, API endpoint, route, controller, package, or truth-doc area to document
user-invocable: true
truthmark-version: 2.2.0
truthmark-version: 2.2.1
---
# Truthmark Document
@@ -1,8 +1,8 @@
# Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
# Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
helpers:
validate-document-report:
optional: true
runner: truthmark>=2.2.0
runner: truthmark>=2.2.1
command:
argv:
- truthmark
@@ -17,7 +17,7 @@ helpers:
fallback: manually validate support/report-template.md required sections and structured Evidence checked entries
validate-write-lease:
optional: true
runner: truthmark>=2.2.0
runner: truthmark>=2.2.1
command:
argv:
- truthmark
@@ -1,6 +1,6 @@
# Optional Helper CLI Policy
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Optional helper CLI commands may collect deterministic checkout facts or validate artifacts. If the Truthmark CLI is unavailable or too old for a declared helper, continue manually using this procedure and report which helper was skipped. Helper output is derived evidence; it does not override direct checkout inspection, workflow write boundaries, or parent acceptance.
@@ -11,8 +11,8 @@ Runner detection:
- Do not fail the workflow solely because a helper cannot run.
Available helpers:
- validate-document-report: optional truthmark>=2.2.0; manual fallback: manually validate support/report-template.md required sections and structured Evidence checked entries
- validate-write-lease: optional truthmark>=2.2.0; manual fallback: manually compare declared allowedWrites and forbiddenWrites with the actual changed files
- validate-document-report: optional truthmark>=2.2.1; manual fallback: manually validate support/report-template.md required sections and structured Evidence checked entries
- validate-write-lease: optional truthmark>=2.2.1; manual fallback: manually compare declared allowedWrites and forbiddenWrites with the actual changed files
Final reports should include helper status when helpers are declared for this workflow:
@@ -1,6 +1,6 @@
# Truthmark Document Procedure
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
# Truthmark Document
@@ -52,7 +52,7 @@ Evidence Gate:
- tests/examples/canonical docs corroborate; they are not sole proof when implementation conflicts
- remove, narrow, or block unsupported claims
- if no truth doc changed, report why current truth was already sufficient or why documentation was blocked
Repository intelligence artifacts are optional derived context: RepoIndex, RouteMap, ImpactSet, and ContextPack may guide routing, context selection, and verification planning when available.
Repository intelligence artifacts are optional derived context: RepoIndex, RouteMap, ImpactSet, and WorkflowState/action context may guide routing, write boundaries, and verification planning when available.
They do not override checkout evidence, canonical truth docs, route files, or workflow write boundaries.
If unavailable, inspect any present Truthmark config, route files, source files, truth docs, and tests directly, then report that repository-intelligence artifacts were not generated.
When creating or updating a truth doc, inspect the routed truth kind and use the matching template under the configured Truthmark templates root.
@@ -1,6 +1,6 @@
# Truthmark Document Report Template
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Report completion in this shape:
```md
@@ -1,6 +1,6 @@
# Truthmark Document Subagents And Leases
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Copilot custom-agent mode:
- use automatically when this workflow runs in Copilot and the parent agent chooses bounded custom-agent fan-out
+1 -1
View File
@@ -3,7 +3,7 @@ name: truthmark-preview
description: Use when the user explicitly asks to preview likely workflow routing, target files, writes, or subagent use before edits. Not for validation, automatic gates, final correctness, or replacing Truth Check.
argument-hint: Optional requested outcome, code area, doc path, or routing question
user-invocable: true
truthmark-version: 2.2.0
truthmark-version: 2.2.1
---
# Truthmark Preview
@@ -1,6 +1,6 @@
# Truthmark Preview Procedure
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Use this skill only when the user explicitly asks to preview Truthmark routing or workflow choice before edits.
@@ -1,6 +1,6 @@
# Truthmark Preview Report Template
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Report completion in this shape:
```md
@@ -1,6 +1,6 @@
# Truthmark Preview Subagents And Leases
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Copilot custom-agent mode:
- use automatically when this workflow runs in Copilot and the parent agent chooses bounded custom-agent fan-out
+1 -1
View File
@@ -3,7 +3,7 @@ name: truthmark-realize
description: Use when the user explicitly asks to realize Truthmark truth docs into code, including /truthmark-realize, $truthmark-realize, or /truthmark:realize. Not for syncing docs after code changes, documenting existing code, topology repair, or truth audits.
argument-hint: Optional truth doc path, area, or desired code behavior to realize
user-invocable: true
truthmark-version: 2.2.0
truthmark-version: 2.2.1
---
# Truthmark Realize
@@ -1,6 +1,6 @@
# Truthmark Realize Procedure
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
# Truthmark Realize
@@ -1,6 +1,6 @@
# Truthmark Realize Report Template
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Report completion in this shape:
+1 -1
View File
@@ -3,7 +3,7 @@ name: truthmark-structure
description: Use when routing or truth ownership is missing, stale, broad, overloaded, catch-all, unrouteable, mixed-owner, needs split/repair, or needs new area setup. Not for documenting implemented behavior, syncing a code diff, or realizing docs into code.
argument-hint: Optional area, directory, or routing concern
user-invocable: true
truthmark-version: 2.2.0
truthmark-version: 2.2.1
---
# Truthmark Structure
@@ -1,6 +1,6 @@
# Truthmark Structure Procedure
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Use this skill to design or repair Truthmark area structure.
Invocations: OpenCode /skill truthmark-structure; Codex /truthmark-structure or $truthmark-structure; Claude Code /truthmark-structure; GitHub Copilot /truthmark-structure; Gemini CLI /truthmark:structure.
@@ -1,6 +1,6 @@
# Truthmark Structure Report Template
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Report completion in this shape:
```md
@@ -1,6 +1,6 @@
# Truthmark Structure Subagents And Leases
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Copilot custom-agent mode:
- use automatically when this workflow runs in Copilot and the parent agent chooses bounded custom-agent fan-out
+1 -1
View File
@@ -3,7 +3,7 @@ name: truthmark-sync
description: Use automatically at finish-time after functional code changes, or explicit /truthmark-sync, $truthmark-sync, or /truthmark:sync. Skip docs-only, formatting-only, behavior-preserving renames, missing config, and no-code changes. Not for doc-first realization or manual topology design.
argument-hint: Optional changed-code area, truth-doc area, or sync focus
user-invocable: true
truthmark-version: 2.2.0
truthmark-version: 2.2.1
---
# Truthmark Sync
@@ -1,8 +1,8 @@
# Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
# Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
helpers:
validate-sync-report:
optional: true
runner: truthmark>=2.2.0
runner: truthmark>=2.2.1
command:
argv:
- truthmark
@@ -17,7 +17,7 @@ helpers:
fallback: "manually validate support/report-template.md and check Evidence checked entries match Claim, indented Evidence, and Result: supported | narrowed | removed | blocked"
validate-write-lease:
optional: true
runner: truthmark>=2.2.0
runner: truthmark>=2.2.1
command:
argv:
- truthmark
@@ -1,6 +1,6 @@
# Optional Helper CLI Policy
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Optional helper CLI commands may collect deterministic checkout facts or validate artifacts. If the Truthmark CLI is unavailable or too old for a declared helper, continue manually using this procedure and report which helper was skipped. Helper output is derived evidence; it does not override direct checkout inspection, workflow write boundaries, or parent acceptance.
@@ -11,8 +11,8 @@ Runner detection:
- Do not fail the workflow solely because a helper cannot run.
Available helpers:
- validate-sync-report: optional truthmark>=2.2.0; manual fallback: manually validate support/report-template.md and check Evidence checked entries match Claim, indented Evidence, and Result: supported | narrowed | removed | blocked
- validate-write-lease: optional truthmark>=2.2.0; manual fallback: manually compare declared allowedWrites and forbiddenWrites with the actual changed files
- validate-sync-report: optional truthmark>=2.2.1; manual fallback: manually validate support/report-template.md and check Evidence checked entries match Claim, indented Evidence, and Result: supported | narrowed | removed | blocked
- validate-write-lease: optional truthmark>=2.2.1; manual fallback: manually compare declared allowedWrites and forbiddenWrites with the actual changed files
Final reports should include helper status when helpers are declared for this workflow:
@@ -1,6 +1,6 @@
# Truthmark Sync Procedure
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Use this skill automatically before finishing when functional code changed since the last successful Truth Sync. Also run it immediately when the user explicitly invokes Truth Sync.
Invocations: OpenCode /skill truthmark-sync; Codex /truthmark-sync or $truthmark-sync; Claude Code /truthmark-sync; GitHub Copilot /truthmark-sync; Gemini CLI /truthmark:sync.
@@ -51,7 +51,7 @@ Align existing docs to that template and write or repair section content so it s
If the template is missing, use lane-specific sections: product truth says what must be true and why; engineering truth says how the repository currently realizes it.
Teams may edit template files under the configured Truthmark templates root to define their local truth-doc standards.
Truth-doc shape repair gate:
- Truth Sync may restructure only truth docs impacted by the current functional-code change.
- Truth Sync may restructure leased canonical truth docs when the current sync evidence shows repository truth is stale, even when the doc is outside the initially affected route focus.
- repair shape in place only after the ownership gate confirms the doc is the right bounded owner
- use Truth Structure for ownership splits; do not treat broad or mixed-owner docs as in-place repair work
- repair shape when a narrow edit would make truth worse: missing template sections, stale evidence conflicts, cross-section updates within one owner, or wrong frontmatter/source/headings
@@ -66,7 +66,7 @@ Evidence Gate:
- tests/examples/canonical docs corroborate; they are not sole proof when implementation conflicts
- remove, narrow, or block unsupported claims
- if no impacted doc changed, report why truth was already current or why sync was skipped
Repository intelligence artifacts are optional derived context: RepoIndex, RouteMap, ImpactSet, and ContextPack may guide routing, context selection, and verification planning when available.
Repository intelligence artifacts are optional derived context: RepoIndex, RouteMap, ImpactSet, and WorkflowState/action context may guide routing, write boundaries, and verification planning when available.
They do not override checkout evidence, canonical truth docs, route files, or workflow write boundaries.
If unavailable, inspect any present Truthmark config, route files, source files, truth docs, and tests directly, then report that repository-intelligence artifacts were not generated.
Optional validation tooling:
@@ -95,6 +95,6 @@ Parent post-sync verification:
- block if functional code changed during sync
- for each write lease, validate the worker report against the actual worker diff, allowedWrites, forbiddenWrites, identity fields, filesChanged, offLeaseChanges, blockers, and required report fields before accepting it
- validate the final report against the structured Truth Sync report contract, including Claim, indented Evidence, and Result values supported, narrowed, removed, or blocked under Evidence checked
- verify the updated docs correspond to the reviewed changed-code surface
- verify the updated docs correspond to reviewed checkout evidence, changed-code impact, or a recorded stale-truth correction made within the sync write lease
- verify the final report records ownership review, structure requirement, split, restructure, or blocked reason when the ownership gate fired
- blocked outcomes must preserve the working tree as-is: no rollback, no post-block cleanup edits, and manual-review reporting of any remaining files
@@ -1,6 +1,6 @@
# Truthmark Sync Report Template
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Report completion in this shape:
```md
@@ -1,6 +1,6 @@
# Truthmark Sync Subagents And Leases
Generated by Truthmark 2.2.0. Rerun truthmark init after upgrades.
Generated by Truthmark 2.2.1. Rerun truthmark init after upgrades.
Copilot custom-agent mode:
- use automatically when this workflow runs in Copilot and the parent agent chooses bounded custom-agent fan-out