| I0001Audit what actually plans work in this repository | done | M000 | p0 | nothing | 1 of 1 |
| I0002Define the canonical milestone and issue schema | done | M000 | p0 | nothing | 1 of 1 |
| I0003Implement the model loader and the status derivation engine | done | M000 | p0 | nothing | 1 of 1 |
| I0004Implement DAG validation and execution waves | done | M000 | p0 | nothing | 1 of 1 |
| I0005Implement the plan command surface | done | M000 | p0 | nothing | 1 of 1 |
| I0006Generate the Mermaid DAG from the graph | done | M000 | p1 | nothing | 1 of 1 |
| I0007Enforce the canonical model as doctrine | done | M000 | p1 | nothing | 1 of 1 |
| I0008Project the model to GitHub milestones and issues | done | M000 | p1 | nothing | 2 of 2 |
| I0009Project the model into the website | done | M000 | p1 | nothing | 1 of 1 |
| I0010Behavioural tests for schema, status, graph and command | done | M000 | p0 | nothing | 1 of 1 |
| I0011Cross-surface consistency and mutation tests | done | M000 | p0 | nothing | 2 of 2 |
| I0012Make CI refuse an invalid model or a stale projection | done | M000 | p1 | nothing | 1 of 1 |
| I0013Document the semantics and the dogfooding rule | done | M000 | p1 | nothing | 1 of 1 |
| I0014Make the worker instructions require the model | done | M000 | p0 | nothing | 1 of 1 |
| I0015Open the first real milestone and execute one issue through it | done | M000 | p0 | nothing | 1 of 1 |
| I0101Reproduce the escaped blocker as an executable case | done | M001 | p1 | nothing | 1 of 1 |
| I0102Decide whether a question transfers or the gate widens | done | M001 | p1 | nothing | 1 of 1 |
| I0103Implement the decision and prove it holds | done | M001 | p1 | nothing | 1 of 1 |
| I0104Move the claim from planned to guaranteed | done | M001 | p2 | nothing | 1 of 1 |
| I0201Declare which profile axis may become which runtime limit | ready | runtime-adapters | p1 | nothing | 0 of 1 |
| I0202Resolve a task's effective limits and print them as data | blocked | runtime-adapters | p1 | I0201 | 0 of 1 |
| I0203Make enforcement opt-in, and prove a repository that declines is unaffected | blocked | runtime-adapters | p1 | I0202 | 0 of 1 |
| I0204Apply one derived limit for real and prove it changes what happens | blocked | runtime-adapters | p1 | I0203 | 0 of 2 |
| I0205Declare the clamp as a doctrine so the mapping and the adapter cannot drift | blocked | runtime-adapters | p2 | I0204 | 0 of 2 |
| I0206Publish the runtime-adapters claim with the test that proves it and the limits it does not cover | blocked | runtime-adapters | p2 | I0205 | 0 of 1 |
| I0301Define the execution record, including what an absence looks like | blocked | execution-telemetry | p2 | milestone:execution-telemetry | 0 of 1 |
| I0302Record telemetry a provider reports, and refuse anything it did not | blocked | execution-telemetry | p2 | I0301milestone:execution-telemetry | 0 of 1 |
| I0303Prove a silent provider produces an explicit absence, never a guess | blocked | execution-telemetry | p2 | I0302milestone:execution-telemetry | 0 of 1 |
| I0304Read the measurements back through the history surface, under a bound | blocked | execution-telemetry | p2 | I0303milestone:execution-telemetry | 0 of 1 |
| I0305Publish the telemetry claim and record what remains unmeasured | blocked | execution-telemetry | p3 | I0304milestone:execution-telemetry | 0 of 1 |
| I0401Define an accepted outcome, and join it to its measurements without storing the join | blocked | cost-per-accepted-outcome | p2 | milestone:cost-per-accepted-outcome | 0 of 1 |
| I0402Report cost only where measurement and acceptance both exist | blocked | cost-per-accepted-outcome | p2 | I0401milestone:cost-per-accepted-outcome | 0 of 1 |
| I0403Make a thin denominator say so rather than average it away | blocked | cost-per-accepted-outcome | p2 | I0402milestone:cost-per-accepted-outcome | 0 of 1 |
| I0404Publish the cost-per-outcome claim with its unit defined beside it | blocked | cost-per-accepted-outcome | p3 | I0403milestone:cost-per-accepted-outcome | 0 of 1 |
| I0501Group comparable work from what the records already carry | blocked | routing-recommendations | p3 | milestone:routing-recommendations | 0 of 1 |
| I0502Recommend a profile from measured cost, naming the measurements | blocked | routing-recommendations | p3 | I0501milestone:routing-recommendations | 0 of 1 |
| I0503Return no recommendation where the data is too thin, and say why | blocked | routing-recommendations | p3 | I0502milestone:routing-recommendations | 0 of 1 |
| I0504Prove the recommendation is advisory and publish it as such | blocked | routing-recommendations | p3 | I0503milestone:routing-recommendations | 0 of 2 |
| I0601Let a policy name a shared source it does not copy | blocked | shared-policy | p3 | milestone:shared-policy | 0 of 1 |
| I0602Make a local override explicit and prove it survives an update of the shared source | blocked | shared-policy | p3 | I0601milestone:shared-policy | 0 of 1 |
| I0603Report drift from the shared policy in one command | blocked | shared-policy | p3 | I0602milestone:shared-policy | 0 of 1 |
| I0604Prove the offline guarantee survives sharing | blocked | shared-policy | p3 | I0603milestone:shared-policy | 0 of 2 |
| I0605Publish the shared-policy claim and what sharing still cannot do | blocked | shared-policy | p3 | I0604milestone:shared-policy | 0 of 1 |
| I0701Reproduce the misattribution as an executable case | done | M002 | p1 | nothing | 1 of 1 |
| I0702Decide how a record is attributed, between named alternatives | ready | M002 | p1 | nothing | 0 of 1 |
| I0703Implement the decision and prove it holds | blocked | M002 | p1 | I0702 | 0 of 2 |
| I0704Publish what attribution guarantees, and what it still cannot | blocked | M002 | p2 | I0703 | 0 of 1 |
| I0801Narrow the Clean Extraction Boundary and record what was adopted | done | M003 | p1 | nothing | 1 of 1 |
| I0802Specify the session record before writing one | done | M003 | p1 | nothing | 1 of 1 |
| I0803Open a session and report its status | done | M003 | p1 | nothing | 1 of 1 |
| I0804Close a session into an envelope derived from the ledger | done | M003 | p1 | nothing | 2 of 2 |
| I0805Read sessions back with a divergence label | done | M003 | p1 | nothing | 1 of 1 |
| I0806Make the session rules doctrines, with retention and archiving | done | M003 | p1 | nothing | 1 of 1 |
| I0807Discover knowledge sources from git, not from the filesystem | done | M003 | p1 | nothing | 1 of 1 |
| I0808Extract nodes with identities that survive a rebuild | done | M003 | p1 | nothing | 2 of 2 |
| I0809Record only edges that a file states, each with where it was observed | done | M003 | p1 | nothing | 2 of 2 |
| I0810A content-hash manifest that makes a second sync cheap | cancelled | M003 | p1 | nothing | 0 of 2 |
| I0811Read-only knowledge lookup with an ordering that can be explained | done | M003 | p1 | nothing | 2 of 2 |
| I0812Validate the graph, and let doctor and watch ask the same validator | ready | M003 | p1 | nothing | 0 of 2 |
| I0813A closed session becomes a node that points at its episode | blocked | M003 | p1 | I0812 | 0 of 1 |
| I0814Give the worker a bounded slice of knowledge, not the knowledge base | done | M003 | p1 | nothing | 1 of 1 |
| I0815Say what is now true in the claims, the documentation and the worker instructions | blocked | M003 | p1 | I0813 | 0 of 2 |
| I0816Prove the loop on a real issue, without a transcript | blocked | M003 | p1 | I0815 | 0 of 1 |
| I0817Phase timing and work counters behind MJ_TIMING | done | M004 | p0 | nothing | 1 of 1 |
| I0818The command registry is read in one pass | done | M004 | p0 | nothing | 1 of 1 |
| I0819The project model is loaded with one flatten per file and no per-file lookups | done | M004 | p0 | nothing | 1 of 1 |
| I0820Catalogue, DAG, context and command-surface validators read their inputs once | ready | M004 | p0 | nothing | 0 of 1 |
| I0821Flattened YAML is cached under .ai/local/cache by content hash | ready | M004 | p0 | nothing | 0 of 1 |
| I0822Every canonical file is flattened at most once per command | blocked | M004 | p0 | I0820 | 0 of 1 |
| I0823majordomus bench: targets derived from the command registry | done | M004 | p0 | nothing | 1 of 1 |
| I0824Bench persists local runs and keeps a latest projection | done | M004 | p0 | nothing | 1 of 1 |
| I0825An explicit committed baseline | done | M004 | p0 | nothing | 1 of 1 |
| I0826bench --check refuses a regression by policy | done | M004 | p0 | nothing | 1 of 1 |
| I0827The benchmark policy block | done | M004 | p0 | nothing | 1 of 1 |
| I0828doctor under a declared budget, and the hook inherits it | blocked | M004 | p0 | I0820 | 0 of 1 |
| I0829Performance doctrine as project rules | done | M004 | p0 | nothing | 1 of 1 |
| I0830docs/PERFORMANCE.md, README, CONTRIBUTING and CLI reference | done | M004 | p0 | nothing | 1 of 1 |
| I0831Performance claims at their proven status | blocked | M004 | p0 | I0822 | 0 of 1 |
| I0832generate-site-data instrumented and its hot spots removed | ready | M004 | p0 | nothing | 0 of 1 |
| I0833knowledge nodes and edges read each source once | done | M004 | p0 | nothing | 1 of 1 |
| I0834The test runner reports per-case time and the suite budget | blocked | M004 | p0 | I0828 | 0 of 1 |
| I0835CI runs the structural performance checks | blocked | M004 | p0 | I0822 | 0 of 1 |
| I0836A synthetic repository generator for scaling cases | done | M004 | p0 | nothing | 1 of 1 |
| I0837Timing report as JSON | done | M004 | p0 | nothing | 1 of 1 |
| I0838bench compare and the top regressions report | ready | M004 | p0 | nothing | 0 of 1 |
| I0839watch inherits every doctor fix and its own budget | blocked | M004 | p0 | I0828 | 0 of 1 |
| I0840context and its subcommands under a second | blocked | M004 | p0 | I0820I0821 | 0 of 1 |
| I0841Cache equivalence proved by property-shaped cases | blocked | M004 | p0 | I0821 | 0 of 1 |
| I0842Before and after evidence for every optimisation | blocked | M004 | p0 | I0820I0832 | 0 of 1 |
| I0843The performance workflow is discoverable and complete | blocked | M004 | p0 | I0831I0835I0841I0842 | 0 of 1 |
| I0901The deployment description is a kind of the layer, not a provider file | done | fly-deployment | p0 | nothing | 4 of 4 |
| I0902The deployment object becomes typed Rust that refuses nonsense | done | fly-deployment | p0 | nothing | 3 of 3 |
| I0903Deployment reads are declared once and projected everywhere | done | fly-deployment | p0 | nothing | 4 of 4 |
| I0904The listen address is one fact with two projections | done | fly-deployment | p0 | nothing | 3 of 3 |
| I0905Liveness and readiness are registered capabilities, not router hacks | ready | fly-deployment | p0 | nothing | 0 of 3 |
| I0906Termination is graceful and proved against the real container | ready | fly-deployment | p1 | nothing | 0 of 3 |
| I0907The running process says what it is, from an allowlist | ready | fly-deployment | p1 | nothing | 0 of 3 |
| I0908A hosted process has no repository, and says so instead of failing | ready | fly-deployment | p0 | nothing | 0 of 3 |
| I0909The production image is a generated projection of the build specification | blocked | fly-deployment | p0 | I0905 | 0 of 4 |
| I0910The release profile is chosen by measurement, not by folklore | blocked | fly-deployment | p1 | I0909 | 0 of 2 |
| I0911A source change does not rebuild the world, and the context stays small | blocked | fly-deployment | p1 | I0909 | 0 of 3 |
| I0912The image serves the site the canonical pipeline produced | blocked | fly-deployment | p0 | I0909 | 0 of 3 |
| I0913The provider configuration is generated, and the cheap profile is declared | cancelled | fly-deployment | p0 | nothing | 0 of 4 |
| I0914One deployment core, one command, and a dry run that mutates nothing | cancelled | fly-deployment | p0 | I0909I0913 | 0 of 4 |
| I0915Deployment joins the diagnostics that already exist | cancelled | fly-deployment | p0 | I0914 | 0 of 3 |
| I0916The smoke suite is derived from the route registry, never written twice | blocked | fly-deployment | p0 | I0905I0914 | 0 of 4 |
| I0917A bad deployment can be undone deterministically | cancelled | fly-deployment | p1 | I0914 | 0 of 2 |
| I0918The bootstrap credential is used once and belongs to nothing | cancelled | fly-deployment | p0 | nothing | 0 of 3 |
| I0919Nothing secret and nothing local leaves in the image | blocked | fly-deployment | p0 | I0909 | 0 of 3 |
| I0920The image's dependencies are known and its advisories are policy | blocked | fly-deployment | p2 | I0909 | 0 of 4 |
| I0921Size is measured first and budgeted second | blocked | fly-deployment | p1 | I0910I0911 | 0 of 3 |
| I0922The memory hypothesis is tested, not asserted | cancelled | fly-deployment | p0 | I0930 | 0 of 3 |
| I0923Cold start and endpoint cost are benchmark targets like everything else | blocked | fly-deployment | p1 | I0930 | 0 of 3 |
| I0924The decision is recorded where architecture decisions are recorded | cancelled | fly-deployment | p1 | nothing | 0 of 1 |
| I0925Every deployment rule is a check that runs | blocked | fly-deployment | p0 | I0915 | 0 of 3 |
| I0926The deployment documentation is generated and reachable | blocked | fly-deployment | p1 | I0913I0924 | 0 of 3 |
| I0927The cockpit shows the deployment from the same data | ready | fly-deployment | p2 | nothing | 0 of 3 |
| I0928A pull request cannot merge a deployment that would not work | blocked | fly-deployment | p0 | I0919I0921I0930 | 0 of 2 |
| I0929Production deploys from CI with a token scoped to one application | cancelled | fly-deployment | p1 | I0918I0931 | 0 of 3 |
| I0930The real image runs under the real limits before anything is deployed | blocked | fly-deployment | p0 | I0906I0909I0912 | 0 of 4 |
| I0931The application exists, one machine runs it, and the URL answers | cancelled | fly-deployment | p0 | I0913I0914I0916I0917I0918I0922I0930 | 0 of 4 |
| I0932The milestone is accepted on its evidence | blocked | fly-deployment | p0 | I0920I0923I0925I0926I0927I0928I0929I0931 | 0 of 3 |
| I1001One typed graph composes the registries that already own their facts | done | capability-graph | p0 | nothing | 2 of 2 |
| I1002Relations are typed, inferred from stable identities, and never dangle | done | capability-graph | p0 | nothing | 2 of 2 |
| I1003Skills, rules, decisions, documents, use cases and benchmarks enter the graph as themselves | done | capability-graph | p0 | nothing | 2 of 2 |
| I1004Availability and visibility are metadata, not conditions in a template | done | capability-graph | p0 | nothing | 2 of 2 |
| I1005The graph is a generated artifact with a schema and no unsafe field | done | capability-graph | p0 | nothing | 3 of 3 |
| I1006The runtime reads the graph through the registry, like every other read | done | capability-graph | p1 | nothing | 2 of 2 |
| I1007The site renders the same graph, generated once | ready | capability-graph | p0 | nothing | 0 of 2 |
| I1008The two projections are proved to be the same model | blocked | capability-graph | p0 | I1007 | 0 of 1 |
| I1009Every menu in this repository comes from one derivation | ready | capability-graph | p0 | nothing | 0 of 2 |
| I1010The overview is what exists, counted rather than claimed | ready | capability-graph | p1 | nothing | 0 of 2 |
| I1011The coverage matrix reports evidence, and never a green cell without one | ready | capability-graph | p0 | nothing | 0 of 2 |
| I1012One detail view, assembled from what a node actually has | ready | capability-graph | p1 | nothing | 0 of 3 |
| I1013Search over the graph, generated, with nothing to run | blocked | capability-graph | p2 | I1007 | 0 of 2 |
| I1014The relation view reads the graph and holds no data of its own | blocked | capability-graph | p2 | I1007 | 0 of 3 |
| I1015A surface with no server behind it is not offered as if it had one | done | capability-graph | p0 | nothing | 2 of 2 |
| I1016The Cockpit works on a phone and before JavaScript runs | blocked | capability-graph | p0 | I1009 | 0 of 3 |
| I1017Live state is an overlay that degrades to nothing | ready | capability-graph | p2 | nothing | 0 of 2 |
| I1018The surface rules exist as checks, proved by making them fail | blocked | capability-graph | p0 | I1011 | 0 of 2 |
| I1019One skill runs the whole loop, and is itself in the graph | blocked | capability-graph | p2 | I1018 | 0 of 2 |
| I1020The graph's health is answered by the doctor that already answers everything else | blocked | capability-graph | p1 | I1007 | 0 of 2 |
| I1021A browser proves the interface, at the widths people use | blocked | capability-graph | p1 | I1014I1016 | 0 of 2 |
| I1022Drift in any derived surface fails the build | blocked | capability-graph | p0 | I1007 | 0 of 2 |
| I1023Nothing private reaches a published page | ready | capability-graph | p0 | nothing | 0 of 2 |
| I1024The interface has a weight, and it is measured | blocked | capability-graph | p2 | I1014 | 0 of 2 |
| I1025The federated model and its two projections are an architecture decision | done | capability-graph | p1 | nothing | 1 of 1 |
| I1026The architecture explains itself, from inside itself | blocked | capability-graph | p1 | I1012 | 0 of 2 |
| I1027A synthetic capability proves the architecture instead of describing it | blocked | capability-graph | p0 | I1018I1019 | 0 of 2 |
| I1028The inventories this replaces are removed, not left running beside it | blocked | capability-graph | p1 | I1009 | 0 of 2 |
| I1029The gate refuses what would silently break the interface | blocked | capability-graph | p1 | I1021I1022I1023 | 0 of 2 |
| I1030The milestone is accepted on its evidence | blocked | capability-graph | p0 | I1010I1013I1017I1020I1024I1026I1027I1028I1029 | 0 of 3 |
| I1031A served surface says which checkout it is serving | verify | capability-graph | p1 | nothing | 2 of 2 |
| I1101What this tool leaves behind, established by inspection rather than by memory | verify | two-folder-integration | p0 | nothing | 2 of 2 |
| I1102The two namespaces are a typed contract, not a habit | blocked | two-folder-integration | p0 | I1101 | 0 of 2 |
| I1103Whether a file is authored or derived is a field, not a naming convention | blocked | two-folder-integration | p0 | I1102 | 0 of 2 |
| I1104Both namespaces carry their contracts, all the way down | blocked | two-folder-integration | p1 | I1102 | 0 of 2 |
| I1105The repository is discovered once, into one model | blocked | two-folder-integration | p0 | I1101 | 0 of 2 |
| I1106The registries are views of the model, not separate discoveries | blocked | two-folder-integration | p0 | I1105 | 0 of 2 |
| I1107Discovery is deterministic, cached, and its cost is known | blocked | two-folder-integration | p1 | I1106 | 0 of 3 |
| I1108The desired integration is a value, and the plan is a diff | blocked | two-folder-integration | p0 | I1106 | 0 of 3 |
| I1109Everything placed outside the two namespaces is recorded, with what it was | blocked | two-folder-integration | p0 | I1108 | 0 of 2 |
| I1110The second run changes nothing, and a test says so | blocked | two-folder-integration | p0 | I1109 | 0 of 2 |
| I1111Uninstall gives back exactly what was taken | blocked | two-folder-integration | p0 | I1109 | 0 of 3 |
| I1112What touches the root is two small blocks, and they never change again | blocked | two-folder-integration | p0 | I1109 | 0 of 2 |
| I1113Entering a directory is local, bounded and silent about the network | blocked | two-folder-integration | p1 | I1112 | 0 of 2 |
| I1114A provider is an adapter over the model, and adding one is an implementation | blocked | two-folder-integration | p1 | I1112 | 0 of 2 |
| I1115Completion comes from the command model, not from a second list | blocked | two-folder-integration | p2 | I1114 | 0 of 1 |
| I1116This repository's own footprint moves, through the reconciler | blocked | two-folder-integration | p0 | I1110I1112 | 0 of 3 |
| I1117The hand-maintained lists are removed, not left running beside the derivation | blocked | two-folder-integration | p1 | I1106 | 0 of 2 |
| I1118Every invariant of this milestone is a rule with a check that runs | blocked | two-folder-integration | p0 | I1110I1116 | 0 of 3 |
| I1119The budgets are measured, and a regression fails rather than being noticed | blocked | two-folder-integration | p2 | I1113 | 0 of 2 |
| I1120A refusal says what to do about it | blocked | two-folder-integration | p1 | I1108 | 0 of 1 |
| I1121Every surface shows the integration from the one model | blocked | two-folder-integration | p1 | I1112 | 0 of 2 |
| I1122A foreign repository, adopted, upgraded and given back | blocked | two-folder-integration | p0 | I1110I1111I1116I1121 | 0 of 3 |
| I1123The milestone is accepted on its evidence | blocked | two-folder-integration | p0 | I1104I1107I1115I1117I1118I1119I1120I1122 | 0 of 3 |
| I1201An identity provider is a declarative object, and Google and Facebook are two of them | ready | web-sign-in | p0 | nothing | 0 of 3 |
| I1202One typed provider model reads the objects, and no code names a provider | blocked | web-sign-in | p0 | I1201 | 0 of 3 |
| I1203One flow serves every provider, and it refuses everything it did not start | blocked | web-sign-in | p0 | I1202 | 0 of 3 |
| I1204The session is signed, short, and revocable from the server | blocked | web-sign-in | p0 | I1203 | 0 of 3 |
| I1205Identity is resolved once, in the router, and every surface reads it from there | blocked | web-sign-in | p1 | I1204 | 0 of 2 |
| I1206What an anonymous reader may do is derived from the effect classification, not from a list | blocked | web-sign-in | p1 | I1205 | 0 of 3 |
| I1207No credential reaches any output, and hostile provider metadata renders safely | blocked | web-sign-in | p0 | I1204 | 0 of 3 |
| I1208Adding a provider is one file, removing one is one deletion, and both are executed rather than described | blocked | web-sign-in | p1 | I1202I1206 | 0 of 3 |
| I1301A workspace is a declared object of the layer; only its content is local | done | external-workspaces | p0 | nothing | 4 of 4 |
| I1302Identity, provenance and support level are typed fields, not prose | ready | external-workspaces | p0 | nothing | 0 of 4 |
| I1303The store is bounded, measured and invisible to every published projection | blocked | external-workspaces | p0 | I1302 | 0 of 4 |
| I1304The browser transport is the one this repository already drives | blocked | external-workspaces | p0 | I1302 | 0 of 5 |
| I1305An observed contract has a fingerprint, a compatibility state and a fixture | blocked | external-workspaces | p1 | I1304 | 0 of 5 |
| I1306A sync resumes, repeats itself without harm, and says how fresh it is | blocked | external-workspaces | p1 | I1303I1305 | 0 of 4 |
| I1307The ChatGPT shape is mapped from evidence and never becomes the canonical model | blocked | external-workspaces | p1 | I1302I1305 | 0 of 4 |
| I1308The executable's share is one capability, shaped like continuity | blocked | external-workspaces | p1 | I1303 | 0 of 4 |
| I1309The boundaries this milestone asserts are gates, not sentences | blocked | external-workspaces | p0 | I1303I1308 | 0 of 5 |
| I1310The subsystem is documented where a person looks, and the plan is closed against the repository | blocked | external-workspaces | p2 | I1308I1309 | 0 of 4 |
| I1401The identity of a projected record is what the record carries, not what its title says | done | work-graph-github | p0 | nothing | 2 of 2 |
| I1402A finding says which of six states it found, and the state that could hide a person's edit is no longer one of them | done | work-graph-github | p1 | nothing | 2 of 2 |
| I1403Backfill the projection once, deliberately, and record what it created | done | work-graph-github | p0 | nothing | 1 of 1 |
| I1404The drift check is a gate, so a projection that stops being applied cannot stay silent | done | work-graph-github | p0 | nothing | 2 of 1 |
| I1405A pull request names the issue it realises, and the edge is derived rather than remembered | done | work-graph-github | p1 | nothing | 1 of 1 |
| I1406The plan's derivations are capabilities, so every surface reads the readiness the terminal reads | done | work-graph-github | p1 | nothing | 2 of 2 |
| I1407One issue travels the whole path and back, as an executable case | done | work-graph-github | p1 | nothing | 1 of 1 |
| I1408The documents stop claiming a projection nobody runs | done | work-graph-github | p2 | nothing | 1 of 1 |
| I1409Derived data stops hashing inputs it cannot control | done | derived-data-integrity | p1 | nothing | 3 of 3 |
| I1501An execution a person starts is an execution the server can see | done | development-runtime | p0 | nothing | 2 of 2 |
| I1502A server serving code that no longer exists stops calling itself ready | done | development-runtime | p0 | nothing | 2 of 2 |
| I1503A closed session is not closed a second time under the same identity | done | development-runtime | p0 | nothing | 2 of 2 |
| I1504One development transition is a capability, end to end | ready | development-runtime | p0 | nothing | 0 of 3 |
| I1505A mutating capability leaves a durable event, and the ledger can be read back | blocked | development-runtime | p1 | I1504 | 0 of 2 |
| I1506The lifecycle commands become non-interactive capabilities | blocked | development-runtime | p1 | I1504I1505 | 0 of 2 |
| I1507Issues, milestones, sessions and peers reach the Cockpit as projections | blocked | development-runtime | p2 | I1505I1506 | 0 of 2 |
| I1508The navigation is derived from the dispatcher, not kept beside it | done | development-runtime | p1 | nothing | 2 of 2 |
| I1509A detail page that pages nothing has outgrown the reason it pages nothing | done | development-runtime | p1 | nothing | 2 of 2 |
| I1510A gap the audit calls planned names a plan object that exists | done | development-runtime | p1 | nothing | 2 of 2 |
| I1511The documentation surface answers in a checkout that has not built the site | done | development-runtime | p2 | nothing | 1 of 1 |
| I1512Gate state is something the runtime can answer | ready | development-runtime | p2 | nothing | 0 of 2 |
| I1516The adapter composes a projected body in one place | done | work-graph-github | p0 | nothing | 2 of 2 |
| I1520A step that runs out of time says so itself | done | development-runtime | p1 | nothing | 2 of 2 |
| I1600The challenge is one recorded run, and every public surface replays it | done | public-proof | p1 | nothing | 3 of 3 |
| I1800The sandboxed engine a scripted capability runs in | ready | automation | p1 | nothing | 0 of 1 |
| I1801A scripted capability is a kind, discovered and registered, runnable and projected like any capability | blocked | automation | p1 | I1800 | 0 of 2 |
| I1802Nothing runs Perl | done | automation | p1 | nothing | 1 of 1 |
| I1803New shell is refused without a declared exemption, and the migration inventory is tracked | done | automation | p1 | nothing | 1 of 1 |
| I1804The first shell scripts become scripted capabilities over typed Rust | blocked | automation | p2 | I1801 | 0 of 1 |
| I1900An intent is a typed record whose stage and satisfaction are derived | ready | intent-lifecycle | p1 | nothing | 0 of 2 |
| I1901An issue names the intent criterion it serves, and coverage is derived | blocked | intent-planning | p1 | I1900milestone:intent-planning | 0 of 2 |
| I1902The gap and the critique of an intent are typed records the plan is held to | blocked | intent-planning | p1 | I1901milestone:intent-planning | 0 of 2 |
| I1903The work realising an intent is joined across episodes, providers and handovers | blocked | intent-lifecycle | p1 | I1900 | 0 of 2 |
| I1945The test-evidence decision and its plan are recorded | done | test-evidence | p1 | nothing | 2 of 2 |
| I1946The verdict words are status words of the design system | done | test-evidence | p1 | nothing | 1 of 1 |
| I1947Every feature reaches a test, and every use case has a feature | done | test-evidence | p1 | nothing | 2 of 2 |
| I1948Evidence is judged at the presented revision, by one freshness function | done | test-evidence | p1 | nothing | 3 of 3 |
| I1949CI evidence is recorded clean, and its report is the tracked ledger's verdict | done | test-evidence | p1 | nothing | 2 of 2 |
| I1950Text a run printed is redacted by one rule set | done | test-evidence | p1 | nothing | 1 of 1 |
| I1951Evidence runs are typed, and a recording carries what its run measured | ready | test-evidence | p1 | nothing | 0 of 3 |
| I1952Evidence subjects are derived once, in Rust | done | test-evidence | p1 | nothing | 2 of 2 |
| I1953Evidence answers by subject, on every surface | blocked | test-evidence | p1 | I1951 | 0 of 2 |
| I1954Every runner reaches the ledger, through the recording branch | blocked | test-evidence | p1 | I1951 | 0 of 4 |
| I1955The evidence publication is an allow-listed projection | blocked | test-evidence | p1 | I1953 | 0 of 2 |
| I1956The Cockpit shows evidence by subject | blocked | test-evidence | p2 | I1953 | 0 of 1 |
| I1957Every test line is read, and a local run stays local | blocked | test-evidence | p2 | I1955 | 0 of 2 |
| I1958Evidence has one route per subject, and every panel is joined to its subject | blocked | test-evidence | p1 | I1955 | 0 of 2 |
| I1959The evidence publication is typed, bound to its build, and kept on gh-pages | blocked | test-evidence | p1 | I1955I1954 | 0 of 2 |
| I1960Every widget names its proof | blocked | test-evidence | p1 | I1958I1959 | 0 of 2 |
| I1961A deploy verifies the evidence routes it publishes | blocked | test-evidence | p1 | I1959I1958 | 0 of 1 |
| I1962The evidence gates read subject findings and widgets | blocked | test-evidence | p1 | I1960I1953 | 0 of 2 |
| I1963Evidence is tested end to end | blocked | test-evidence | p1 | I1960I1956I1959 | 0 of 3 |
| I1964The evidence reference is documented and held to the tree | blocked | test-evidence | p2 | I1962I1963 | 0 of 1 |
| I1965The entry preflight reads the one verdict | ready | test-evidence | p2 | nothing | 0 of 1 |
| I1966The composed graph is whole or its generation refuses | done | capability-graph | p1 | nothing | 3 of 3 |
| I1967A reporter that sets a flag is a reporter | done | development-runtime | p2 | nothing | 1 of 1 |
| I1980A layer names the tool version it was written for, and doctor tells version skew from defects | ready | adopter-upgrades | p0 | nothing | 0 of 3 |
| I1981A command's effect class is declared per subcommand and flag, and live scenarios judge the whole argv | done | adopter-upgrades | p0 | nothing | 4 of 2 |
| I1982Plan stamps written before seals existed are re-sealed by a command that keeps their original times | blocked | adopter-upgrades | p1 | I1980 | 0 of 2 |
| I1983Upgrading the vendored rules reports or applies the policy and source keys those rules depend on | blocked | adopter-upgrades | p1 | I1980 | 0 of 1 |
| I1984Knowledge candidates never leave untracked files on a trunk that only pull requests change | done | adopter-upgrades | p1 | nothing | 2 of 2 |
| I1985A knowledge candidate relates to its own decision and commit, not to the whole episode | ready | adopter-upgrades | p2 | nothing | 0 of 1 |
| I1986The vendored rule package says nothing that is only true of this repository | done | adopter-upgrades | p2 | nothing | 2 of 2 |
| I1987A knowledge record's file provenance survives the file's deletion | done | adopter-upgrades | p2 | nothing | 1 of 1 |
| I1988A use case's setup scripts live where the adopter declares, and its scenarios may run the adopter's own commands | ready | adopter-upgrades | p2 | nothing | 0 of 1 |
| I1989init seeds a scope for the stack it finds, not for this repository's | done | adopter-upgrades | p3 | nothing | 1 of 1 |
| I1990The pre-push check judges the refs being pushed, or says why the checkout's task binds them | ready | adopter-upgrades | p3 | nothing | 1 of 2 |
| I1991A comment-only edit of the policy regenerates no bootstrap | done | adopter-upgrades | p3 | nothing | 1 of 1 |
| I1992A rebuild that fails consumes no change: the next request retries it | done | development-runtime | p2 | nothing | 1 of 1 |
| I1995Work a session left uncommitted in a worktree is named, not found by luck | done | development-runtime | p1 | nothing | 2 of 2 |
| I1996doctor does not fail an adopter on a check written for this repository | done | adopter-upgrades | p2 | nothing | 2 of 2 |
| I1997The peer board can be read from the command line | ready | development-runtime | p1 | nothing | 0 of 2 |
| I1998A health command in an unsupervised repository does not exit 0 | done | adopter-upgrades | p2 | nothing | 1 of 1 |
| I1999A tracked file a hook regenerates does not refuse a task that never touched it | ready | adopter-upgrades | p2 | nothing | 0 of 2 |
| I2000What a piece of work serves is one derivation, with a revision | blocked | intent-bound-work | p1 | milestone:intent-bound-work | 0 of 4 |
| I2001start asks what the task serves and refuses a refused binding where the policy requires it | blocked | intent-bound-work | p1 | I2000milestone:intent-bound-work | 0 of 4 |
| I2002The context of a bound task says what the intent asks of this work | blocked | intent-bound-work | p1 | I2001milestone:intent-bound-work | 0 of 1 |
| I2003A handover pins the binding it was written under, and resolving it reports drift | blocked | intent-bound-work | p1 | I2001milestone:intent-bound-work | 0 of 1 |
| I2004plan start refuses an issue whose binding is refused, in both engines | blocked | intent-bound-work | p1 | I2000milestone:intent-bound-work | 0 of 1 |
| I2054A tag does not turn every other pull request red until its record lands | done | development-runtime | p1 | nothing | 1 of 1 |
| I2059A rebuild never replaces the executable a live lease names | ready | development-runtime | p1 | nothing | 0 of 2 |
| I2068A verdict that depends on the runner says so, and one cold sample is not a regression | verify | M004 | p2 | nothing | 2 of 2 |
| I2073A worker records an observation in one command | done | a-session-leaves-what-it-observed | p1 | nothing | 1 of 1 |
| I2074An observation becomes a candidate that says what it is about, and reading groups recurrence | done | a-session-leaves-what-it-observed | p1 | nothing | 1 of 1 |
| I2075A candidate is routed by what it is about | done | a-session-leaves-what-it-observed | p1 | nothing | 1 of 1 |
| I2114A task's scope admits what its derive writes | ready | development-runtime | p2 | nothing | 0 of 2 |
| I2123A caller beyond loopback reads, and changes nothing it cannot authenticate | done | runtime-trust | p0 | nothing | 2 of 2 |
| I2124An event reloaded from disk meets the trust policy in force, and no stamp outruns the clock | done | runtime-trust | p0 | nothing | 1 of 1 |
| I2126A server busy with tool calls is never taken over as if it were dead | done | runtime-lifecycle | p1 | nothing | 1 of 1 |
| I2127A server that lost its lease hands its sessions on and ends | done | runtime-lifecycle | p1 | nothing | 2 of 2 |
| I2128A lease is removed only by the process that holds it, and serve stop stops the server in order | done | runtime-lifecycle | p1 | nothing | 3 of 3 |
| I2129The lease timings the policy declares are the ones the mcp and serve elections use | done | runtime-lifecycle | p2 | nothing | 1 of 1 |
| I2131A server in use through the Cockpit or HTTP is not stopped as idle, and a checkout keeps one address | done | runtime-lifecycle | p1 | nothing | 1 of 1 |
| I2132A hello names the runtime it is meant for, and no other runtime accepts it | ready | runtime-trust | p1 | nothing | 0 of 1 |
| I2133Every mesh input and answer has a bound, and a refused registration learns nothing | done | runtime-trust | p1 | nothing | 2 of 2 |
| I2134A key removed from the trust list loses its links without a restart, and a node key can be rotated | done | runtime-trust | p0 | nothing | 2 of 2 |
| I2135The trust root is read from the default branch, not from whatever the checkout holds | done | runtime-trust | p0 | nothing | 2 of 2 |
| I2137An accepted mesh event is on disk before it counts, and a damaged journal line is reported, never fused or dropped silently | done | mesh-journal-converges | p0 | nothing | 3 of 3 |
| I2139A sync message stays under the link bound whatever the marks weigh | done | mesh-journal-converges | p1 | nothing | 1 of 1 |
| I2140Paging mesh.events returns every event exactly once | ready | mesh-journal-converges | p2 | nothing | 0 of 1 |
| I2145A tool call that may have run is never sent a second time | done | mcp-transports-are-reliable | p0 | nothing | 2 of 2 |
| I2147The MCP transports bound what they read and follow the Streamable HTTP rules they claim | done | mcp-transports-are-reliable | p2 | nothing | 3 of 3 |
| I2151A page served beside the write routes runs only script it shipped, and a rebinding host reads nothing | done | surfaces-never-disagree | p0 | nothing | 3 of 3 |
| I2156A slow or silent HTTP client cannot hold a server worker | done | failure-is-visible | p1 | nothing | 1 of 1 |
| I2157Ready means ready: a lost lease, a degraded layer or a failing mesh is not reported ready | done | failure-is-visible | p1 | nothing | 2 of 2 |
| I2161No answer, log line or mesh frame carries a credential the redactor knows | done | architecture-is-enforced | p1 | nothing | 1 of 1 |
| I2162A released archive, installed, serves a foreign repository over the shared server in CI | done | architecture-is-enforced | p1 | nothing | 2 of 2 |
| I2163A client never attaches to a server of another version without saying so, and a newer client replaces an older server | done | safe-self-update | p1 | nothing | 2 of 2 |
| I2165A released archive carries a provenance attestation the installer can check | done | safe-self-update | p1 | nothing | 2 of 2 |
| I2282The record pull request's dispatched verdict does not satisfy branch protection | ready | test-evidence | p1 | nothing | 0 of 2 |
| I2288A task is on the mesh while it works | blocked | every-session-joins-the-mesh | p0 | I2734 | 0 of 1 |
| I2289A task built off the mesh is refused | blocked | every-session-joins-the-mesh | p0 | I2288 | 0 of 1 |
| I2296The executor reopens a record pull request no run was started for | done | test-evidence | p1 | nothing | 2 of 2 |
| I2298A pull request stacked on one that landed merges on the verdict its head already has | done | test-evidence | p1 | nothing | 2 of 2 |
| I2300A head is judged against what it changes, not against GitHub's live state | done | work-graph-github | p1 | nothing | 2 of 2 |
| I2301Whether the work is done is answered by measurement: the done invariant asks about debt, what was left behind and the backlog | done | development-runtime | p1 | nothing | 2 of 2 |
| I2303A release publishes its metadata to the site before its record lands, and the site never goes back a release | done | test-evidence | p0 | nothing | 2 of 2 |
| I2396The CI critical path of 2026-10-10 is measured, recorded, and explained before anything is changed | done | test-evidence | p0 | nothing | 1 of 1 |
| I2398A derive offloaded to another machine waits its turn in a declared queue | done | development-runtime | p1 | nothing | 2 of 2 |
| I2399Every session briefs itself on an interval, without being asked | done | development-runtime | p1 | nothing | 2 of 2 |
| I2400A signal model and a fold join every source the server already records | done | everything-is-followed-in-one-stream | p1 | nothing | 1 of 1 |
| I2401monitor is one read capability with three projections | ready | everything-is-followed-in-one-stream | p1 | nothing | 0 of 1 |
| I2402majordomus monitor follows the stream from a terminal and a script | blocked | everything-is-followed-in-one-stream | p1 | I2401 | 0 of 1 |
| I2403Pull requests, checks and deploys reach the stream when GitHub is reachable | ready | everything-is-followed-in-one-stream | p2 | nothing | 0 of 1 |
| I2404The Cockpit shows the stream live | blocked | everything-is-followed-in-one-stream | p1 | I2401 | 0 of 1 |
| I2405Every session is told what happened since its last look | blocked | everything-is-followed-in-one-stream | p1 | I2401 | 0 of 1 |
| I2406The stream is documented where a reader looks | blocked | everything-is-followed-in-one-stream | p2 | I2402I2404 | 0 of 1 |
| I2407The monitor is released and deployed | blocked | everything-is-followed-in-one-stream | p1 | I2402I2404I2405I2406 | 0 of 1 |
| I2410A trusted machine on the tailnet is found through Tailscale, with no address written by hand | ready | the-mesh-works-out-of-the-box | p0 | nothing | 0 of 1 |
| I2411A server whose mesh is enabled is reachable on the tailnet and the LAN, and only by a trusted peer | ready | the-mesh-works-out-of-the-box | p0 | nothing | 0 of 1 |
| I2412`majordomus init` declares the mesh and enrols this machine's key, so a fresh repository cooperates | ready | the-mesh-works-out-of-the-box | p1 | nothing | 0 of 1 |
| I2413A linked worktree cooperates through its repository's running server, and a start that cannot ensure one says why | ready | the-mesh-works-out-of-the-box | p1 | nothing | 0 of 1 |
| I2414mesh.state and mesh.peers answer a filtered summary that fits one tool answer | ready | the-mesh-works-out-of-the-box | p1 | nothing | 0 of 1 |
| I2415A mesh review request carries a body, can be withdrawn, and expires | ready | the-mesh-works-out-of-the-box | p2 | nothing | 0 of 1 |
| I2416The ci verdict asks every selected gate for a receipt, and a gate whose step never ran is red | done | test-evidence | p1 | nothing | 1 of 1 |
| I2417The landing page is a click-through story: an editorial hero and an evidence chain a visitor steps through | ready | public-proof | p1 | nothing | 0 of 1 |
| I2460The overview asks its sources at once, so it costs its slowest source and not their sum | done | development-runtime | p1 | nothing | 2 of 2 |
| I2461majordomus ui is served at /ui as its own product, with screens composed from capabilities | done | development-runtime | p1 | nothing | 3 of 3 |
| I2462The UI has every screen, and its mesh is a graph whose nodes open an inspector | done | development-runtime | p1 | nothing | 2 of 2 |
| I2463A train of stacked pull requests is a typed object, served everywhere and drawn as a graph | done | development-runtime | p2 | nothing | 2 of 2 |
| I2464A path that holds a space is one path to the scope doctrine | done | adopter-upgrades | p1 | nothing | 1 of 1 |
| I2470The pull requests drain in the UI: a queue a reader narrows, inspects and follows to what each depends on | done | development-runtime | p1 | nothing | 2 of 2 |
| I2471The roadmap opens a milestone: what it holds, what can start, its critical path, and what it waits for | done | development-runtime | p1 | nothing | 2 of 2 |
| I2472How long CI takes is measured, from when each run started to when it completed, and the CI/CD screen draws it | done | development-runtime | p1 | nothing | 2 of 2 |
| I2473A pull request shows its trail: what the executor did to it, and the drain what the lane did lately | done | development-runtime | p1 | nothing | 2 of 2 |
| I2474The drain draws its merge throughput: each day's merges over the fortnight its trail ends on | done | development-runtime | p1 | nothing | 2 of 2 |
| I2475The issues are browsed: every issue of the plan by status, milestone, priority or text, each a link onward | done | development-runtime | p1 | nothing | 2 of 2 |
| I2476An intent opens what serves it: its statement, its criteria and their evidence, and the milestones and issues that serve it | done | development-runtime | p1 | nothing | 2 of 2 |
| I2477A claim opens its proof: what settles it, its last run, what changed since, how to see it again | done | development-runtime | p1 | nothing | 2 of 2 |
| I2478A rule opens its proof: what it states, the tests that prove it, what is missing, and the rules around it | done | development-runtime | p1 | nothing | 2 of 2 |
| I2481The UI links every entity it names, and says none where a source has no value | done | development-runtime | p1 | nothing | 1 of 1 |
| I2482Every screen of the UI has a case, and no link on the UI is dead | ready | development-runtime | p1 | nothing | 0 of 2 |
| I2483The UI is published as a snapshot: read once at the published commit and carried by the site at /ui | done | development-runtime | p1 | nothing | 4 of 4 |
| I2484majordomus ui ensures the shared server and opens the UI's dashboard | ready | development-runtime | p1 | nothing | 0 of 2 |
| I2485The bench measures the first request after the repository moved, and a budget bounds it | ready | development-runtime | p2 | nothing | 0 of 2 |
| I2486No screen waits for a source: a page shows the latest reading with its age, read again behind the reader | done | development-runtime | p0 | nothing | 4 of 4 |
| I2487A screen is streamed, and one stream tells an open page which readings changed | ready | development-runtime | p1 | nothing | 0 of 4 |
| I2488The HTTP stack is chosen by measurement: the same routes and several hundred open streams on tiny_http and on axum | ready | development-runtime | p1 | nothing | 0 of 2 |
| I2489A screen over its budget fails the build: the UI's latency budgets are benchmark policy, and bench --check holds them | done | development-runtime | p1 | nothing | 3 of 3 |
| I2491A personal layer changes nothing shared: init --personal and install.sh --personal keep the layer one person's own, verify it, and --shared hands it to the team | done | adopter-upgrades | p1 | nothing | 2 of 2 |
| I2495The Cockpit is published as a snapshot at /cockpit, and the UI's evidence links lead to it | done | development-runtime | p0 | nothing | 3 of 3 |
| I2601majordomus evidence reaches record, stamp and show | verify | a-second-adopter-is-served | p1 | nothing | 1 of 1 |
| I2652The UI shows what the knowledge base holds: the candidates awaiting review and whether the deriver still writes, read and never acted on | ready | development-runtime | p1 | nothing | 0 of 3 |
| I2653Every diagram on the site is one interactive, linkable viewer whose node links are inferred, and a derived table can be drawn as a chart | ready | surfaces-never-disagree | p2 | nothing | 0 of 3 |
| I2654A chart is held to its table by a gate, and the tables that are measured series are drawn | blocked | surfaces-never-disagree | p3 | I2653 | 0 of 2 |
| I2655The homepage decides whether it carries a derived figure, within its declared story and budget | blocked | surfaces-never-disagree | p3 | I2653 | 0 of 1 |
| I2656The diagram viewer serves the Cockpit and majordomus ui, and a node that is a repository file links to its source | blocked | surfaces-never-disagree | p3 | I2653 | 0 of 2 |
| I2660The site is published as an artifact by the job that built it, so a ready site waits for no second workflow | ready | M004 | p1 | nothing | 0 of 2 |
| I2661A publication that did not arrive is a finding the next reader meets, never a green step | ready | M004 | p1 | nothing | 0 of 2 |
| I2662Validation leaves the deployment a runner: a branch's checks never hold the pool a publication or a release record needs | ready | M004 | p1 | nothing | 0 of 2 |
| I2663The published UI is not read from nothing on every deployment | ready | M004 | p1 | nothing | 0 of 2 |
| I2664A run that has already failed is cancelled by itself, and a red on the trunk is fixed before anything else is prepared | done | M004 | p1 | nothing | 2 of 2 |
| I2670A build-cache offer is a typed model and its selection is a pure, explained function | ready | development-runtime | p1 | nothing | 0 of 1 |
| I2671A provider offers its cache as a signed, expiring mesh record, and a stopped provider goes stale | blocked | development-runtime | p1 | I2670 | 0 of 2 |
| I2672The offers and the selection are one read, projected to CLI, MCP, HTTP and OpenAPI | blocked | development-runtime | p1 | I2670 | 0 of 1 |
| I2673The sccache client configuration is derived from the selected offer, local disk first | blocked | development-runtime | p1 | I2670I2672 | 0 of 2 |
| I2674A node is provisioned as an S3 cache provider, idempotently, with no secret in the repository | blocked | development-runtime | p1 | I2670 | 0 of 2 |
| I2675Build-cache health, headroom and hit statistics are visible where the mesh is | blocked | development-runtime | p2 | I2672 | 0 of 2 |
| I2676The build cache is verified and validated: failure paths, security and a real second-node hit | blocked | development-runtime | p1 | I2673I2674 | 0 of 2 |
| I2677The build cache is documented, governed by a rule and described on the site and the Pages | blocked | development-runtime | p2 | I2672 | 0 of 1 |
| I2678The public Observatory replays events that were recorded, and says it is a replay | done | development-runtime | p2 | nothing | 1 of 1 |
| I2679The Observatory follows a stream with a cursor instead of asking for its page again | done | development-runtime | p2 | nothing | 1 of 1 |
| I2680The Observatory's gates are closed with evidence: screenshots, measured frame rates, a soak, the recovery drills | done | development-runtime | p2 | nothing | 1 of 1 |
| I2694A promoted note resolves in every checkout, not only where it was promoted | ready | development-runtime | p1 | nothing | 0 of 1 |
| I2695The Observatory draws the proof, claim, surface, wave and release scenes from the capabilities that already answer them | ready | development-runtime | p2 | nothing | 0 of 1 |
| I2696p5 is a built, optional asset of the UI and the page says where it is | ready | development-runtime | p2 | nothing | 0 of 1 |
| I2697The public snapshot carries the p5 library, or says which scenes it cannot draw | ready | development-runtime | p3 | nothing | 0 of 1 |
| I2698The new scenes have screenshot evidence at 1080p and 4K on a named revision | ready | development-runtime | p3 | nothing | 0 of 1 |
| I2700A lease probe asks a cheap liveness route, and a server holding another lease token is not taken for the leaseholder | ready | runtime-lifecycle | p1 | nothing | 0 of 1 |
| I2701The idle timeout is declared beside the other server timings, and serve --idle overrides the declaration | ready | runtime-lifecycle | p2 | nothing | 0 of 1 |
| I2702A checkout keeps one address across restarts, because its server binds a port derived from the checkout | ready | runtime-lifecycle | p1 | nothing | 0 of 1 |
| I2703The mesh cooperation rule lists the hello checks in the order the code runs them, and a test names that order | blocked | runtime-trust | p1 | I2132 | 0 of 1 |
| I2704A dialer reads no reply beyond the link bound and no more candidates than the bound, and a refusing peer is retried at a measured, jittered rate | ready | runtime-trust | p1 | nothing | 0 of 2 |
| I2705A node key can be rotated, peers follow the new key, and the old key is refused | ready | runtime-trust | p0 | nothing | 0 of 1 |
| I2706An own event whose append failed is never acknowledged as durable, and a journal reload is bounded in size | ready | mesh-journal-converges | p0 | nothing | 0 of 2 |
| I2707majordomus doctor reports a stale server, or says plainly that it checks governance only | done | failure-is-visible | p1 | nothing | 1 of 1 |
| I2708A mesh event field nobody listed fails the mesh check, and no log field or review body carries a credential the redactor knows | ready | architecture-is-enforced | p1 | nothing | 2 of 2 |
| I2709A red on the trunk has one named carrier, and nobody else may land until it is paid | ready | M004 | p1 | nothing | 0 of 1 |
| I2710A release run never waits behind pull-request validates for a job slot | done | M004 | p0 | nothing | 1 of 1 |
| I2711The pages job judges production only after the deployment of its own commit has arrived | done | M004 | p0 | nothing | 1 of 1 |
| I2712release-check treats a tag whose release run is still going as pending, not as a missing record | done | development-runtime | p1 | nothing | 1 of 1 |
| I2713A build never lets idle incremental sessions fill the disk | ready | development-runtime | p0 | nothing | 0 of 1 |
| I2714One build directory never serves two worktrees' jobs at once | ready | development-runtime | p1 | nothing | 0 of 1 |
| I2715New public Rust code meets rust-quality before the structure job does | done | development-runtime | p1 | nothing | 1 of 1 |
| I2716A case derives its budgets and lists from what it tests, never pins them | active | M004 | p2 | nothing | 0 of 1 |
| I2717A release record pull request gets a verdict that can pass | ready | M004 | p0 | nothing | 0 of 1 |
| I2718A linked worktree runs its own hooks, never the primary checkout's | ready | development-runtime | p0 | nothing | 0 of 1 |
| I2720majordomus self update re-runs the published installer, and never reimplements it | ready | safe-self-update | p0 | nothing | 0 of 2 |
| I2721An enrolled mesh node follows the stable pointer by itself | blocked | safe-self-update | p0 | I2720 | 0 of 2 |
| I2722A hub activates a new version under its service manager, checks its health and rolls back by itself | blocked | safe-self-update | p0 | I2720 | 0 of 2 |
| I2723The mesh shows each node's version and how far a release has rolled out | ready | safe-self-update | p1 | nothing | 0 of 1 |
| I2724A node without a route to the site takes the archive from a peer and still verifies it itself | blocked | safe-self-update | p1 | I2720 | 0 of 1 |
| I2731Every failure class in the published failure table names its test or its stated limitation | ready | failure-is-visible | p1 | nothing | 0 of 1 |
| I2733A resumed mesh.events walk returns every event exactly once, across partitions | blocked | mesh-journal-converges | p2 | I2140 | 0 of 1 |
| I2734A session joins the mesh at its start and leaves it at its end | ready | every-session-joins-the-mesh | p0 | nothing | 0 of 1 |
| I2735An edit no claim covers is refused | blocked | every-session-joins-the-mesh | p0 | I2289 | 0 of 2 |
| I2740An issue's delivery is inferred from branches, pull requests, merges, tags and the published site | ready | truthful-plan-surfaces | p0 | nothing | 0 of 2 |
| I2741Merged work the plan has not recorded is drift, and on the trunk past a window it is red | blocked | truthful-plan-surfaces | p0 | I2740 | 0 of 2 |
| I2742A milestone's version is inferred from the release that carried it, never typed | ready | truthful-plan-surfaces | p0 | nothing | 0 of 1 |
| I2743The public roadmap draws every milestone in the graph's order, each issue with its inferred delivery | blocked | truthful-plan-surfaces | p0 | I2740I2742 | 0 of 1 |
| I2744The UI roadmap reads delivery and the releases themselves, and its now is where work is | blocked | truthful-plan-surfaces | p0 | I2740 | 0 of 1 |
| I2745The landing page states no present it does not read | verify | truthful-plan-surfaces | p0 | nothing | 1 of 1 |
| I2746Every published tree draws its diagrams, and every diagram is the interactive viewer | verify | truthful-plan-surfaces | p0 | nothing | 1 of 1 |
| I2747Every code block on every surface is highlighted by one engine with one palette | ready | truthful-plan-surfaces | p1 | nothing | 0 of 1 |
| I2748The drift already on the trunk is settled before the gate is made blocking | blocked | truthful-plan-surfaces | p0 | I2741 | 0 of 1 |
| I2760A scope entry is one path, and a path context would refuse is refused at start | ready | development-runtime | p1 | nothing | 0 of 1 |
| I2770majordomus ui and the Cockpit wear the site's navbar: one renderer, the same styles and scripts, and a browser comparison that refuses a difference | ready | surfaces-never-disagree | p1 | nothing | 0 of 2 |
| I2780The UI has an intent workspace: an intent, its milestones, issues, waves and graph on one screen | verify | idd-workspace | p0 | nothing | 1 of 1 |
| I2786The published UI reads the evidence CI recorded, and a publication that would show tests as not run is refused | ready | test-evidence | p0 | nothing | 0 of 1 |
| I2787A build never lets the shared build directory's crate artifacts fill the disk | blocked | development-runtime | p0 | I2713 | 0 of 1 |