Knowledge Wiki Orchestrata Ultimate

Orchestrata Ultimate / RTM / 111-live-code-substrate

RTM: 111-live-code-substrate

Requirement to symbol to test rows for 111-live-code-substrate: Live Multi-Agent Code Substrate.

At a glance

Item Value
Requirement IDs 45
Traced from src/ 0 (0.0%)
Untraced 45
Cited from tests/ 1 (2.2%)
Traced in src/ but not cited from tests/ 0

Reading this matrix

This matrix lists each of the 45 requirement IDs of spec 111-live-code-substrate with the src/ symbols that cite it and the tests that cite it. 0 of them (0.0%) have at least one citing symbol and 45 have none.

1 requirement is also cited from tests/, and 0 are traced in code but never named by a test. A test citation is a @traces on a test function; it shows intent to cover, not that the test runs or reaches the symbol.

Rows showing none in the symbols column are the gaps to close first. The densest untraced groups are REQ-111-FR3 (8), REQ-111-FR9 (8), REQ-111-FR6 (5).

Requirement to symbols to tests

Requirement Symbols in src/ Tests citing it
REQ-111-FR1-001 The daemon holds exactly one resident CodemodWorkspace.forest for the session... none none
REQ-111-FR1-002 The resident forest stays consistent with external on-disk edits via debounced watch +... none none
REQ-111-FR1-003 A checkout never triggers a full-forest reparse; cold parse occurs at most once per... none none
REQ-111-FR1-004 The resident AST daemon publishes the AST snapshot from its warm cache as the single... none tests/claude/test_ast_incremental_refresh_hook.py::test_burst_of_ten_edits_with_a_live_daemon_never_spawns_a_serializer
tests/claude/test_ast_incremental_refresh_hook.py::test_burst_of_ten_edits_without_a_daemon_never_has_two_serializers
tests/claude/test_ast_incremental_refresh_hook.py::test_hook_with_a_live_daemon_spawns_no_serializer_and_the_pin_reads_fresh
+25 more
REQ-111-FR2-001 An agent checkout returns an immutable subtree handle plus its base version id none none
REQ-111-FR2-002 Checkouts are structurally shared (no deep copy); N concurrent checkouts of disjoint... none none
REQ-111-FR2-003 An agent cannot mutate canonical forest state; the only write path is a delta submission none none
REQ-111-FR3-001 A delta is a ChangeSet carrying its base version id and node-level edits none none
REQ-111-FR3-002 The merge queue is the single writer to the canonical forest and serializes application none none
REQ-111-FR3-003 On submit, the merge queue detects structural conflicts (overlapping node ranges) AND... none none
REQ-111-FR3-004 A stale-but-conflict-free delta is rebased onto the current base and re-validated; a... none none
REQ-111-FR3-005 Merge application is atomic (txn.commit_changes) with ConcurrentEditError on a... none none
REQ-111-FR3-006 Every delta primitive captures its own inverse at construction; delta.invert() is... none none
REQ-111-FR3-007 delta.describe() renders a structural + textual diff as a pure function with zero... none none
REQ-111-FR3-008 Each delta records base version tokens of nodes it read/edits; the governor... none none
REQ-111-FR4-001 Every applied CodeChange publishes through the async observer mesh with (agent id,... none none
REQ-111-FR4-002 Observers can subscribe to a single agent, a subtree, or the whole forest none none
REQ-111-FR5-001 On each delta, the substrate runs review, lint, type, and blast-radius gates scoped to... none none
REQ-111-FR5-002 A delta failing a hard gate (type error, banned construct) is not merged none none
REQ-111-FR5-003 Gate results cite the specific node(s) and requirement/standard violated none none
REQ-111-FR5-004 Before admitting a type-sensitive delta, the oracle runs on the speculative post-merge... none none
REQ-111-FR6-001 The oracle is driven over LSP didChange with in-memory buffer text = the delta's... none none
REQ-111-FR6-002 The oracle exposes diagnostics, hover, definition, references and performs no writes none none
REQ-111-FR6-003 Oracle diagnostics are a strict superset of the current pyright gate (no type-coverage... none none
REQ-111-FR6-004 Reference resolution is two-stage (textual/symbol sieve → oracle semantic confirm)... none none
REQ-111-FR6-005 Oracle type results cached per CST node id with provenance... none none
REQ-111-FR7-001 The substrate checkpoints the canonical forest on a bounded interval and on every merge none none
REQ-111-FR7-002 A checkpoint is byte-exact: restoring it and emitting module.code reproduces the... none none
REQ-111-FR7-003 Disk source files remain the canonical, hash-verifiable ground truth; the forest is... none none
REQ-111-FR8-001 A supervisor can subscribe to the combined change + findings stream for any agent none none
REQ-111-FR8-002 The substrate exposes divergence signals (node-edit churn, non-decreasing findings,... none none
REQ-111-FR8-003 The supervisor can halt or message an agent mid-edit through the volk event mesh none none
REQ-111-FR9-001 Every node mutation (write/create/delete) in a delta is evaluated by an exhaustive,... none none
REQ-111-FR9-002 The gate rulebase (arch boundaries, banned constructs, absolute-import,... none none
REQ-111-FR9-003 On rejection the gate returns machine-readable feedback via explain.pl (failing... none none
REQ-111-FR9-004 The agent receives feedback and gets a bounded, configurable N retries to resubmit a... none none
REQ-111-FR9-005 The agent is instructed and able to run a code + test validation workflow (affected... none none
REQ-111-FR9-006 On exhausted retries / unrecoverable verdict, the substrate escalates via the... none none
REQ-111-FR9-007 Gate evaluation is incremental — only mutated nodes and dependent CIG facts... none none
REQ-111-FR9-008 Every gate verdict, retry count, and escalation is published on the change/findings... none none
REQ-111-NFR1-001 Warm subtree checkout completes in < 50 ms none none
REQ-111-NFR1-002 Per-delta streaming gate first-finding latency < 500 ms for a single-function delta none none
REQ-111-NFR1-003 Concurrent editing is race-free by construction (immutable shared nodes); no lock... none none
REQ-111-NFR1-004 Resident forest RSS stays within a documented, measured budget none none
REQ-111-NFR1-005 Checkpoint write does not block editing (async / copy-on-write snapshot) none none