@alphazede/bearing-lite 0.1.10 → 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CONTRIBUTING.md +25 -0
- package/README.md +76 -32
- package/hooks/assurance-budget.cjs +167 -0
- package/hooks/closeout.cjs +64 -15
- package/hooks/com.anthropic.claude-code/host.cjs +8 -11
- package/hooks/com.anthropic.claude-code/mapping.md +88 -2
- package/hooks/com.cursor/hooks.json +11 -1
- package/hooks/hooks.json +45 -1
- package/hooks/planning-review.cjs +99 -0
- package/hooks/te-capability.cjs +137 -0
- package/hooks/te-host.cjs +620 -0
- package/hooks/transition-order.cjs +45 -2
- package/lineups.json +1 -0
- package/package.json +9 -4
- package/plugin.json +1 -1
- package/schemas/authority.schema.json +75 -0
- package/schemas/implementation.schema.json +127 -0
- package/schemas/journey.schema.json +88 -0
- package/schemas/lineups.schema.json +145 -0
- package/schemas/seit.schema.json +108 -0
- package/skills/bearing-lite/SKILL.md +39 -46
- package/skills/bearing-lite/agents/openai.yaml +1 -1
- package/skills/bearing-lite/references/assurance-policy.md +66 -0
- package/skills/bearing-lite/references/lineups.md +81 -0
- package/skills/bearing-lite/references/peer-synthesis.md +8 -4
- package/skills/bearing-lite/references/review-policy.md +37 -0
- package/skills/bearing-lite/references/role-routing.mmd +10 -10
- package/skills/bearing-lite/references/task-state.md +6 -6
- package/skills/bearing-lite/references/task-state.mmd +1 -1
- package/skills/bearing-lite/templates/default-role-lineup.md +11 -3
- package/skills/bearing-lite/templates/task.md +75 -21
- package/skills/crewmate/SKILL.md +26 -17
- package/skills/explorer/SKILL.md +35 -34
- package/skills/gather-supplies/SKILL.md +9 -2
- package/skills/integration-engineer/SKILL.md +41 -0
- package/skills/map-the-route/SKILL.md +48 -36
- package/skills/map-the-route/references/artifact-grammar.md +94 -35
- package/skills/navigator/SKILL.md +18 -41
- package/skills/park-ranger/SKILL.md +24 -16
- package/skills/plan-integrator/SKILL.md +37 -0
- package/skills/scribe/SKILL.md +34 -0
- package/skills/surveyor/SKILL.md +22 -15
- package/skills/systems-modeler/SKILL.md +35 -0
- package/skills/test-engineer/SKILL.md +46 -0
- package/skills/validator/SKILL.md +20 -25
- package/skills/validator/references/grading-rubric.md +5 -4
package/skills/crewmate/SKILL.md
CHANGED
|
@@ -1,10 +1,11 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: crewmate
|
|
3
3
|
description: >
|
|
4
|
-
Implement one approved bounded packet in
|
|
5
|
-
|
|
6
|
-
for
|
|
7
|
-
|
|
4
|
+
Implement one approved bounded packet in an exact write set. Continue the
|
|
5
|
+
same-wave session when identity, authority, route, and generation are
|
|
6
|
+
unchanged. Use for Crewmate, implementation, repair, or integration packets.
|
|
7
|
+
Do not use for orchestration, planning, independent assurance, publication,
|
|
8
|
+
destructive action, owner decisions, or unset scope.
|
|
8
9
|
---
|
|
9
10
|
|
|
10
11
|
# Crewmate
|
|
@@ -14,36 +15,44 @@ Lowest mutation authority and highest hands-on work in the Bearing ladder.
|
|
|
14
15
|
## Inputs and match
|
|
15
16
|
|
|
16
17
|
- **Inputs:** approved baseline, objective, dependencies, exact write set,
|
|
17
|
-
authority, acceptance/SEIT rows, commands,
|
|
18
|
-
and lineup identity from the recorded Journey snapshot.
|
|
18
|
+
authority, acceptance/SEIT rows, commands, stop rule, compact return schema,
|
|
19
|
+
visible wave receipt, and lineup identity from the recorded Journey snapshot.
|
|
19
20
|
- **Match:** one packet is `READY` and every input is fixed.
|
|
20
21
|
- **Non-match:** multi-packet coordination, design gaps, missing authority,
|
|
21
22
|
assurance, or owner-only action.
|
|
23
|
+
- **Split:** test-writing Crewmate may change only tests and approved
|
|
24
|
+
fixtures. Product Crewmate write set excludes tests and must not weaken
|
|
25
|
+
independently authored tests. Neither self-certifies.
|
|
22
26
|
|
|
23
27
|
## Algorithm
|
|
24
28
|
|
|
25
|
-
1.
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
+
1. Continue the current session when repository, worktree, branch, wave
|
|
30
|
+
generation, authority, and route are unchanged. Start a fresh session only
|
|
31
|
+
for a route change, conflicting writer, new authority envelope, independent
|
|
32
|
+
work, or explicit owner choice. Do not infer missing owner choices. Read
|
|
33
|
+
dispatch identities only from the recorded Journey snapshot, never from the
|
|
34
|
+
current global defaults file. Revalidate the visible checkout
|
|
29
35
|
lease against the approved Journey, repository, checkout/worktree, branch,
|
|
30
|
-
candidate revision, generation, and active state
|
|
31
|
-
|
|
36
|
+
candidate revision, generation, and active state at wave start, after
|
|
37
|
+
detected drift, and before commit. Released, stale-generation, forged, or
|
|
32
38
|
branch/HEAD-drifted leases fail closed. Authorized same-Journey
|
|
33
39
|
candidate progress whose parent is the current leased revision refreshes
|
|
34
40
|
candidate_revision on the same generation. On mismatch, return WAITING_ON without writing.
|
|
35
41
|
2. For a verified contract defect, create the smallest failing regression first.
|
|
36
42
|
3. Make the smallest change that satisfies the packet inside the write set.
|
|
37
|
-
|
|
43
|
+
When the packet implements a published standard, verify against the cited
|
|
44
|
+
document and clause before changing code; neighbouring behavior is not the
|
|
45
|
+
authority.
|
|
46
|
+
4. Run assigned focused commands and author self-checks. At-end review never
|
|
38
47
|
removes deterministic testing or grants independent-review identity.
|
|
39
|
-
5. Preserve unrelated work
|
|
48
|
+
5. Preserve unrelated work. Return only the compact receipt.
|
|
40
49
|
6. Stop on acceptance, authority boundary, design gap, or exhausted correction.
|
|
41
50
|
|
|
42
51
|
## Return and recovery
|
|
43
52
|
|
|
44
53
|
Return `CANDIDATE_READY`, `PARTIAL`, `WAITING_ON`, or
|
|
45
|
-
`OWNER_DECISION_REQUIRED` with
|
|
46
|
-
|
|
47
|
-
|
|
54
|
+
`OWNER_DECISION_REQUIRED` with verdict, candidate_ref, changed_paths, tests,
|
|
55
|
+
findings, and blocker. Attempts 1–3 require new evidence, hypothesis, or
|
|
56
|
+
narrower strategy.
|
|
48
57
|
|
|
49
58
|
Never expand scope, self-certify as assurance, publish, or hide a failure.
|
package/skills/explorer/SKILL.md
CHANGED
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: explorer
|
|
3
3
|
description: >
|
|
4
|
-
Own one approved execution wave,
|
|
5
|
-
and integrating their evidence. Use for Explorer
|
|
6
|
-
proven-independent in-wave lanes, or parallel
|
|
7
|
-
for implementation, cross-wave work, planning,
|
|
8
|
-
independent assurance.
|
|
4
|
+
Own one approved execution wave, continuing bounded packets when the
|
|
5
|
+
envelope is unchanged and integrating their evidence. Use for Explorer
|
|
6
|
+
Journey, wave orchestration, proven-independent in-wave lanes, or parallel
|
|
7
|
+
packet sequencing. Do not use for implementation, cross-wave work, planning,
|
|
8
|
+
automatic nesting, or independent assurance.
|
|
9
9
|
---
|
|
10
10
|
|
|
11
11
|
# Explorer
|
|
@@ -15,45 +15,46 @@ Wave authority. Coordinates more and implements less than Crewmate.
|
|
|
15
15
|
## Inputs and match
|
|
16
16
|
|
|
17
17
|
- **Inputs:** approved baseline, wave objective, packet graph, dependencies,
|
|
18
|
-
scope, authority, lineup from the recorded Journey snapshot,
|
|
19
|
-
acceptance, and return schema.
|
|
20
|
-
- **Match:** one wave needs packet sequencing, dispatch, integration, or
|
|
21
|
-
|
|
22
|
-
- **Non-match:** one bounded packet needs no orchestration, multiple waves
|
|
23
|
-
conflict, or assurance alone is requested.
|
|
18
|
+
scope, authority, lineup from the recorded Journey snapshot, visible wave
|
|
19
|
+
receipt, acceptance, and compact return schema.
|
|
20
|
+
- **Match:** one wave needs packet sequencing, dispatch, integration, or proven-independent lane coordination.
|
|
21
|
+
- **Non-match:** one bounded packet needs no orchestration, multiple waves conflict, or assurance alone is requested.
|
|
24
22
|
|
|
25
23
|
## Algorithm
|
|
26
24
|
|
|
27
|
-
1.
|
|
28
|
-
|
|
25
|
+
1. Continue this wave when identity, authority, route, and generation are
|
|
26
|
+
unchanged; otherwise start fresh. Verify wave readiness, packet boundaries,
|
|
27
|
+
dependencies, and approved identities from the recorded Journey snapshot,
|
|
29
28
|
never from the current global defaults file. Revalidate the visible checkout
|
|
30
29
|
lease against the approved Journey, repository, checkout/worktree, branch,
|
|
31
|
-
candidate revision, generation, and active state
|
|
32
|
-
|
|
33
|
-
branch/HEAD-drifted leases fail closed. Authorized same-Journey
|
|
34
|
-
|
|
30
|
+
candidate revision, generation, and active state at wave start, after
|
|
31
|
+
detected drift, and before commit. Released, stale-generation, forged, or
|
|
32
|
+
branch/HEAD-drifted leases fail closed. Authorized same-Journey candidate
|
|
33
|
+
progress whose parent is the current leased revision refreshes
|
|
35
34
|
candidate_revision on the same generation. The same valid lease continues
|
|
36
|
-
without duplicate dispatch.
|
|
35
|
+
without duplicate dispatch. Resume from the visible wave receipt; do not
|
|
36
|
+
reread every accepted artifact or redispatch completed slices.
|
|
37
37
|
2. Use direct Crewmates by default. When two or more lanes are proven
|
|
38
|
-
independent, coordinate those lanes directly inside this wave; never add a
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
`max_assurance_rounds` of 1
|
|
48
|
-
repairable, spend at most one
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
|
|
38
|
+
independent, coordinate those lanes directly inside this wave; never add a nested coordinator.
|
|
39
|
+
3. Permit Crewmate continuation when the envelope is unchanged. Never pass raw
|
|
40
|
+
conversation history. Independent work, a changed envelope, or owner choice
|
|
41
|
+
starts a fresh Crewmate.
|
|
42
|
+
4. Inspect compact returns against write sets and acceptance; integrate
|
|
43
|
+
evidence without implementing. Update `implementation.json` and `review.html`
|
|
44
|
+
once per wave, plus owner-decision or blocker changes.
|
|
45
|
+
5. Dispatch declared assurance automatically at wave-end on this wave's
|
|
46
|
+
integrated candidate. Deterministic checks always run. Honor
|
|
47
|
+
`max_assurance_rounds` of 1 per declared phase or wave from visible
|
|
48
|
+
`assurance_rounds`. If the review is repairable, spend at most one
|
|
49
|
+
remaining `attempts` repair, run deterministic coordinator verification,
|
|
50
|
+
and close the gate without another review. The next distinct declared
|
|
51
|
+
phase or wave carries its own budget. A failed repair or scope change
|
|
52
|
+
returns `OWNER_DECISION_REQUIRED` with candidate and count. After Journey
|
|
53
|
+
`COMPLETE`, deployment checks do not reopen assurance.
|
|
52
54
|
|
|
53
55
|
## Return and recovery
|
|
54
56
|
|
|
55
57
|
Return `READY`, `REROUTED`, `WAITING_ON`, or `OWNER_DECISION_REQUIRED` with
|
|
56
|
-
|
|
57
|
-
action, and receiver. Reroute only from new evidence; three attempts per packet.
|
|
58
|
+
verdict, candidate_ref, changed_paths, tests, findings, and blocker. Reroute only from new evidence; three attempts per packet.
|
|
58
59
|
|
|
59
60
|
Never implement, self-assure, select models, or expand the wave.
|
|
@@ -15,7 +15,8 @@ Planning node, not a persona or plan-state writer.
|
|
|
15
15
|
|
|
16
16
|
- **Match:** a material scope, behavior, authority, risk, or acceptance
|
|
17
17
|
decision is unresolved. The Explorer-versus-Expedition route choice is not
|
|
18
|
-
gathered here; the Router asks it at the
|
|
18
|
+
gathered here; the Router asks it at the route review after Map the Route
|
|
19
|
+
maps the implementation graph.
|
|
19
20
|
- **Non-match:** evidence can answer it, the owner already decided it, or a work
|
|
20
21
|
packet is ready.
|
|
21
22
|
- **Inputs:** goal, visible plan state, repository evidence, prior decisions,
|
|
@@ -24,7 +25,13 @@ Planning node, not a persona or plan-state writer.
|
|
|
24
25
|
## Algorithm
|
|
25
26
|
|
|
26
27
|
1. Inspect the repository and available evidence before asking. Never ask the
|
|
27
|
-
owner for a fact tools can establish.
|
|
28
|
+
owner for a fact tools can establish. Maintain a coverage ledger from
|
|
29
|
+
required roles and artifacts. Cells are `DISCOVERABLE`, `OPEN`, `DECIDED`,
|
|
30
|
+
`DEFERRED`, `NOT_APPLICABLE`, or `BLOCKED`. Exit is falsifiable: zero
|
|
31
|
+
`OPEN`; `DECIDED` cites owner decision and source; `DEFERRED` has a bounded
|
|
32
|
+
owner-approved destination or trigger; `NOT_APPLICABLE` has a reason;
|
|
33
|
+
`BLOCKED` is surfaced. Planning is a fan-out/fan-in DAG with Scribe as an
|
|
34
|
+
event side lane.
|
|
28
35
|
2. Select the earliest unresolved decision whose dependencies are satisfied.
|
|
29
36
|
3. Ask exactly one question, relayed to the owner through the Router. Lead
|
|
30
37
|
with the recommended answer and why, then explain only material
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
---
|
|
2
|
+
name: integration-engineer
|
|
3
|
+
description: >
|
|
4
|
+
Dual-session Integration Engineer for planning assembly strategy and
|
|
5
|
+
execution assembly of the exact integrated candidate. Use for Planning
|
|
6
|
+
Integration Engineer or Execution Integration Engineer. Do not
|
|
7
|
+
implement missing product behavior or self-certify.
|
|
8
|
+
---
|
|
9
|
+
|
|
10
|
+
# Integration Engineer
|
|
11
|
+
|
|
12
|
+
Planning and execution sessions are separate because authority differs.
|
|
13
|
+
|
|
14
|
+
## Inputs and match
|
|
15
|
+
|
|
16
|
+
- **Inputs:** items/versions, compatibility, order, entry criteria,
|
|
17
|
+
configuration identity, authorized glue, interfaces.
|
|
18
|
+
- **Match:** progressive assembly is required.
|
|
19
|
+
- **Non-match:** product implementation, requirement rewrite, test
|
|
20
|
+
authorship.
|
|
21
|
+
|
|
22
|
+
## Algorithm
|
|
23
|
+
|
|
24
|
+
1. Planning Integration Engineer defines items/versions, compatibility,
|
|
25
|
+
order, entry criteria, stubs, configuration identity, post-step V&V
|
|
26
|
+
handoffs, anomaly/rollback/recovery, and the final integrated
|
|
27
|
+
candidate after requirements, views, and design interfaces stabilize.
|
|
28
|
+
2. Execution Integration Engineer confirms identities and readiness,
|
|
29
|
+
assembles approved elements, applies only authorized integration
|
|
30
|
+
glue, exercises interfaces, records anomalies or rollback, produces
|
|
31
|
+
the exact integrated candidate, and hands to Assurance Test Engineer.
|
|
32
|
+
3. Missing Integration Engineering method skill is a typed capability
|
|
33
|
+
gap, not invented behavior.
|
|
34
|
+
|
|
35
|
+
## Return and recovery
|
|
36
|
+
|
|
37
|
+
Return `CANDIDATE_READY` or `OWNER_DECISION_REQUIRED` with verdict,
|
|
38
|
+
candidate_ref, changed_paths, tests, findings, and blocker.
|
|
39
|
+
|
|
40
|
+
Never implement missing product, revise requirements or design, weaken
|
|
41
|
+
tests, or self-certify.
|
|
@@ -1,46 +1,58 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: map-the-route
|
|
3
3
|
description: >
|
|
4
|
-
Create or resume Bearing's
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
4
|
+
Create or resume Bearing's complete five-artifact planning package after
|
|
5
|
+
material decisions are settled. Use for Map the Route or missing planning
|
|
6
|
+
artifacts. Do not use to implement, select models, self-approve, or bypass
|
|
7
|
+
the single integrated owner review.
|
|
8
8
|
---
|
|
9
9
|
|
|
10
10
|
# Map the Route
|
|
11
11
|
|
|
12
|
-
Fresh planning node. The Router
|
|
13
|
-
|
|
14
|
-
##
|
|
15
|
-
|
|
16
|
-
- **
|
|
17
|
-
|
|
18
|
-
- **
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
12
|
+
Fresh planning node. The Router writes Journey state and owns owner conversation.
|
|
13
|
+
|
|
14
|
+
## Match, inputs, and non-match
|
|
15
|
+
|
|
16
|
+
- **Match:** material intent is settled and any technical-plan, design, SEIT,
|
|
17
|
+
implementation graph, or review HTML is missing.
|
|
18
|
+
- **Inputs:** confirmed decisions, repository map and evidence, artifact status,
|
|
19
|
+
requirements register, repository rules, proposed owner-supplied lineup and
|
|
20
|
+
`review_cadence: at-end`, plus the return schema.
|
|
21
|
+
- **Non-match:** unresolved material scope, behavior, authority, risk, or
|
|
22
|
+
acceptance intent returns `REROUTE_GATHER_SUPPLIES`; generate no
|
|
23
|
+
`implementation.json` or `review.html`.
|
|
24
|
+
|
|
25
|
+
## Procedure
|
|
26
|
+
|
|
27
|
+
1. Derive `<journey-topic>-technical-plan.md` from the confirmed title; ask only on
|
|
28
|
+
ambiguity or collision. Establish whether a requirements register exists;
|
|
29
|
+
if repository evidence cannot decide, return `NEEDS_OWNER_DECISION`. Never
|
|
30
|
+
infer one. Registered identities remain references; author only Journey-local
|
|
31
|
+
criteria; author the needed Journey-level proof or return
|
|
32
|
+
`NEEDS_OWNER_DECISION` when register authority is unclear.
|
|
33
|
+
2. Author and prospectively check, in dependency order, the testable
|
|
34
|
+
technical-plan, `design.md`, and `seit.json`. Preserve IDs and do not drop
|
|
35
|
+
Journey-level proof or published-standard clause coverage.
|
|
36
|
+
3. Map the implementation graph and propose the Explorer Journey or Expedition,
|
|
37
|
+
active/standby/unused role states, lineup, reasoning, and
|
|
38
|
+
`review_cadence: at-end`. Bind the planning-review slots to owner-supplied
|
|
39
|
+
primary and ordered fallback route references under one candidate ref,
|
|
40
|
+
revision, and digest. Use supplied identities; never invent them.
|
|
41
|
+
4. After those stable source inputs, generate `implementation.json` and the
|
|
42
|
+
self-contained offline `review.html` together. Each includes the proposed
|
|
43
|
+
route, lineup, role states, reasoning, cadence, traceability, waves,
|
|
44
|
+
recovery, approval boundaries, and register references versus Journey-local
|
|
45
|
+
requirements. Two `review.html` states: `planning-review` and `final-closeout`.
|
|
46
|
+
5. Give every slice stable requirement/design/SEIT IDs, dependencies, exact
|
|
47
|
+
write set, authority, role, session rule, evidence, recovery, and stop rule.
|
|
48
|
+
6. Open and verify final HTML, then request exactly one integrated owner review
|
|
49
|
+
of outcome, design, route, lineup, cadence, and plan. Dispatch remains
|
|
50
|
+
prohibited until approval. An owner change regenerates affected artifacts,
|
|
51
|
+
then returns to this same gate; never insert a lineup or route-review pause.
|
|
40
52
|
|
|
41
53
|
## Return and recovery
|
|
42
54
|
|
|
43
|
-
Return `PLAN_REVIEW_READY`, `
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
rounds; never invent approval
|
|
55
|
+
Return `PLAN_REVIEW_READY`, `REROUTE_GATHER_SUPPLIES`,
|
|
56
|
+
`NEEDS_OWNER_DECISION`, or `VALIDATION_FAILED` with paths, evidence, blocker,
|
|
57
|
+
and next action. Owner-decision pauses do not consume correction rounds. At
|
|
58
|
+
most three evidence-changing correction rounds; never implement or invent approval.
|
|
@@ -3,53 +3,108 @@
|
|
|
3
3
|
Apply this closed grammar while authoring or validating planning artifacts.
|
|
4
4
|
Bearing rejects deviations with typed findings.
|
|
5
5
|
|
|
6
|
+
The canonical Journey planning artifacts are exactly
|
|
7
|
+
`<journey-topic>-technical-plan.md` with `type: technical-plan`, `design.md`,
|
|
8
|
+
`seit.json`, `implementation.json`, and `review.html`. Markdown carries
|
|
9
|
+
technical-plan and design reasoning; the JSON files are schema-validated
|
|
10
|
+
machine authorities; `review.html` is their complete integrated human
|
|
11
|
+
projection. There is no sixth canonical planning artifact. XLSX may be an
|
|
12
|
+
optional derived export and is never authority.
|
|
13
|
+
|
|
6
14
|
## Shared artifact rules
|
|
7
15
|
|
|
8
|
-
1. Frontmatter declares `type` as `plan
|
|
9
|
-
`
|
|
10
|
-
2.
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
+
1. Frontmatter declares `type` as `technical-plan` or `design`, and `status` as
|
|
17
|
+
`complete` or `amended`.
|
|
18
|
+
2. Journey-authored requirement IDs use `AC-*` or `RISK-*`; references to an
|
|
19
|
+
existing requirements register keep that register's identities verbatim.
|
|
20
|
+
Design IDs use `DES-*` or `CONTRACT-*`; SEIT rows use `SEIT-*`; commands
|
|
21
|
+
use `CMD-*` or `PROC-*`. Suffixes contain only uppercase letters, digits,
|
|
22
|
+
dots, or hyphens.
|
|
23
|
+
3. `<journey-topic>-technical-plan.md` declares requirements, Entry criteria,
|
|
24
|
+
Exit criteria, Rollback or repair, and Accountable controller. `design.md`
|
|
25
|
+
declares design IDs. `seit.json` declares SEIT rows and commands.
|
|
16
26
|
4. Preserve stable IDs. Every implementation reference resolves to a declared
|
|
17
27
|
requirement, design contract, SEIT row, and command.
|
|
18
|
-
5.
|
|
19
|
-
|
|
28
|
+
5. Owner-supplied lineup identities and proposed `review_cadence: at-end` are
|
|
29
|
+
required before implementation drafting; missing identities or cadence block
|
|
30
|
+
drafting. Do not offer `per-slice` or `per-round`. Map the proposed Journey
|
|
31
|
+
type and active/standby/unused role states before generating implementation;
|
|
32
|
+
the final implementation and `review.html` record those proposals together.
|
|
33
|
+
6. The lineup snapshot contains the Journey-owned `planning_review` binding:
|
|
34
|
+
policy reference, one candidate ref/revision/digest, and unique abstract
|
|
35
|
+
reviewer slots with a primary route reference plus ordered fallback route
|
|
36
|
+
references. Slot count satisfies the referenced core policy. Do not put route
|
|
37
|
+
identities in the core policy or map these slots to implementation assurance.
|
|
38
|
+
|
|
39
|
+
## Requirements register
|
|
40
|
+
|
|
41
|
+
1. Before authoring a Journey specification, establish whether the target
|
|
42
|
+
repository or system already has a requirements register and where. When the
|
|
43
|
+
repository cannot answer, ask the owner; never infer.
|
|
44
|
+
2. Where no register exists, author requirements as today; this section does not
|
|
45
|
+
apply.
|
|
46
|
+
3. Where a register exists, specification requirement rows are either references
|
|
47
|
+
to registered identities (no restated text), derivations from them
|
|
48
|
+
(`AC-X derives from REG-ID`), or Journey-local `AC-*`/`RISK-*` criteria about
|
|
49
|
+
write sets, seams, gates, or concurrency. Do not restate registered content.
|
|
50
|
+
4. `seit.json` references verification allocations where the register provides
|
|
51
|
+
them. Where the register provides none for a referenced requirement, author
|
|
52
|
+
Journey-level proof for it or return `NEEDS_OWNER_DECISION` when register
|
|
53
|
+
authority is unclear; do not silently drop coverage. Journey-level proof
|
|
54
|
+
rows remain Journey-local.
|
|
55
|
+
5. `review.html` marks every requirement as either a register reference or
|
|
56
|
+
Journey-local, so a reviewer can tell which artifact owns each statement.
|
|
57
|
+
6. `design.md` is unaffected: it records how the work is built, which no
|
|
58
|
+
requirements register covers.
|
|
59
|
+
|
|
60
|
+
## Published standards
|
|
61
|
+
|
|
62
|
+
1. When a slice, command, or proof implements a published standard, the plan and
|
|
63
|
+
its execution manifest cite the exact document and clause.
|
|
64
|
+
2. Verification is against the standard's text, not against neighbouring
|
|
65
|
+
implementation agreement; a passing cross-boundary test does not substitute
|
|
66
|
+
for clause conformance.
|
|
20
67
|
|
|
21
68
|
## SEIT rules
|
|
22
69
|
|
|
23
|
-
1.
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
70
|
+
1. `seit.json` is the canonical JSON Schema-validated tailored V&V plan.
|
|
71
|
+
Always-on sections: scope/baseline; responsibility/change authority;
|
|
72
|
+
applicable documents/precedence; requirements flowdown/architecture context;
|
|
73
|
+
V&V methods; verification and validation matrices; levels/integration
|
|
74
|
+
sequence; environments/fixtures/data/simulations/support;
|
|
75
|
+
procedures/commands; evidence/pass-fail; anomaly/corrective/closure.
|
|
76
|
+
System fields only where applicable.
|
|
77
|
+
2. Include non-empty `Required Commands`, `Traceability Matrix`, and
|
|
78
|
+
`Cross-cutting Checks` sections or JSON equivalents.
|
|
79
|
+
3. Declare each command with a `CMD-*` or `PROC-*` id and description.
|
|
80
|
+
4. Use one flat traceability table with exactly these columns: SEIT row ID |
|
|
27
81
|
Acceptance/risk ID | Design/contract ID | Boundary/test layer | Positive
|
|
28
82
|
case | Negative/failure case | Command/procedure ID | Evidence.
|
|
29
|
-
|
|
83
|
+
5. Every row carries exactly one SEIT row ID, requirement ID, design ID, and
|
|
30
84
|
command ID, and names an observable failure.
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
Evidence exactly. Every PROC row then has exactly one matching narrative.
|
|
85
|
+
6. Bind a stable decision-baseline projection of confirmed decision identities
|
|
86
|
+
and open-item statuses rather than the whole-file `journey.json` digest.
|
|
34
87
|
|
|
35
88
|
## Implementation rules
|
|
36
89
|
|
|
37
|
-
1.
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
42
|
-
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
boundary,
|
|
90
|
+
1. Regular JSON is the nested execution authority for Journey settings, lineup
|
|
91
|
+
snapshots, waves, slices, dependencies, traceability, and manifests.
|
|
92
|
+
2. Every slice declares one named role plus goal, type, requirement IDs, design
|
|
93
|
+
IDs, SEIT proof rows, exact design-lens names sourced from `design.md`,
|
|
94
|
+
owner-selected model route, reasoning, review path, write set, command IDs,
|
|
95
|
+
stop condition, human decision, and `authority_id`. Goals are at most 512
|
|
96
|
+
characters. Slice actions and write sets are subsets of current authority.
|
|
97
|
+
3. Optional fields are Shared interfaces (`path#Symbol`), Integration
|
|
98
|
+
boundary, Published standard (`doc#clause`) when applicable, SysML and
|
|
99
|
+
integration fields when selected, and Parallel safe (`yes` or `no` plus
|
|
100
|
+
reason).
|
|
46
101
|
4. Write sets use one line: `Write only `path``. Paths are bounded, normalized,
|
|
47
102
|
repository-relative literals. Put prohibitions in prose, not the write set.
|
|
48
103
|
5. Multi-slice plans declare consecutive `Wave <n>: <ids>` lines. Every slice
|
|
49
104
|
belongs to one wave. Dependencies use acyclic `S1 --> S2` arrows.
|
|
50
|
-
6.
|
|
51
|
-
|
|
52
|
-
|
|
105
|
+
6. Ordered integration steps, resources, ownership, and rollback live here.
|
|
106
|
+
Owner-configured reviewer count `n`, repair bound `k`, and confirmation
|
|
107
|
+
count `c` are explicit fields with no assistant default integers.
|
|
53
108
|
7. Plans may contain at most 128 slices, manifests, write paths, and commands.
|
|
54
109
|
Aim for at most 500 estimated tokens per slice plus manifest; split larger
|
|
55
110
|
packets when practical.
|
|
@@ -73,11 +128,15 @@ placeholders, bare negations, or deferral language.
|
|
|
73
128
|
1. Select review-oriented feature diagrams (flow diagrams, state-machine diagrams, or process/sequence diagrams) when they materially clarify architecture or lifecycle behavior for owner review.
|
|
74
129
|
2. Major features select a justified subset or full set of diagrams based on architectural complexity. Trivial features or minor fixes do not require unnecessary diagrams.
|
|
75
130
|
3. Every feature diagram must include canonical, reviewable source (such as Mermaid code blocks), render visually inside generated `review.html`, and retain nearby authoritative explanatory text.
|
|
131
|
+
4. Non-trivial technical plans include words plus context/boundary, use-case/outcome, and operational-flow views. In MBSE mode record model revision/digest; never silently substitute Mermaid for mandated SysML. Trivial work may record `diagram_not_required` with a concrete rationale.
|
|
76
132
|
|
|
77
133
|
## Completion boundary
|
|
78
134
|
|
|
79
|
-
Author
|
|
80
|
-
with internal prospective checks
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
135
|
+
Author technical-plan, design, SEIT, implementation, and review HTML in that
|
|
136
|
+
dependency order with internal prospective checks; generate implementation and
|
|
137
|
+
HTML together after their stable inputs. `review.html` has two states:
|
|
138
|
+
`planning-review` before implementation and `final-closeout` after
|
|
139
|
+
implementation. Each records its stage and exact input digests. The single owner review gate requires
|
|
140
|
+
the complete five-artifact package. Do not insert a lineup, route, or
|
|
141
|
+
specification-only owner gate unless the owner explicitly requests staged
|
|
142
|
+
approvals. The HTML becomes authoritative only after integrated owner approval.
|
|
@@ -1,59 +1,36 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: navigator
|
|
3
3
|
description: >
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
4
|
+
Compatibility diagnostic for plans that still name Navigator. Use when an
|
|
5
|
+
existing plan assigns Navigator or asks to sequence expedition waves as
|
|
6
|
+
navigator. Do not use for new Journeys, packet work, planning, assurance,
|
|
7
|
+
or publication.
|
|
8
8
|
---
|
|
9
9
|
|
|
10
10
|
# Navigator
|
|
11
11
|
|
|
12
|
-
|
|
12
|
+
Compatibility only. Router now owns cross-wave sequencing and conflict
|
|
13
|
+
resolution.
|
|
13
14
|
|
|
14
15
|
## Inputs and match
|
|
15
16
|
|
|
16
|
-
- **Inputs:**
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
- **
|
|
20
|
-
including simultaneous waves that share interfaces or conflict.
|
|
21
|
-
- **Non-match:** one Explorer wave or Crewmate packet is sufficient.
|
|
17
|
+
- **Inputs:** a plan that still assigns `Navigator`, plus the recorded Journey
|
|
18
|
+
snapshot.
|
|
19
|
+
- **Match:** an existing plan names Navigator as an assigned role.
|
|
20
|
+
- **Non-match:** new Journeys, Explorer waves, Crewmate packets, or assurance.
|
|
22
21
|
|
|
23
22
|
## Algorithm
|
|
24
23
|
|
|
25
|
-
1.
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
dispatch, integration, or cross-wave transition. Released, stale-generation,
|
|
32
|
-
forged, or branch/HEAD-drifted leases fail closed. Authorized same-Journey
|
|
33
|
-
candidate progress whose parent is the current leased revision refreshes
|
|
34
|
-
candidate_revision on the same generation. The same valid lease
|
|
35
|
-
continues without duplicate dispatch.
|
|
36
|
-
2. Sequence fresh Explorer sessions. For simultaneous waves with
|
|
37
|
-
shared-interface or dependency conflicts, resolve ordering and integration
|
|
38
|
-
here; never add a nested multi-wave controller.
|
|
39
|
-
3. Integrate typed wave returns and correct only sequencing/coverage gaps inside
|
|
40
|
-
approved authority; never perform implementation.
|
|
41
|
-
4. Dispatch independent assurance once at the confirmed `per-slice`,
|
|
42
|
-
`per-round`, or final integrated boundary. Honor `max_assurance_rounds` of 1
|
|
43
|
-
from visible `assurance_rounds`. If the review is repairable, spend at most
|
|
44
|
-
one remaining `attempts` repair, run deterministic coordinator verification,
|
|
45
|
-
and close the gate without another review. A failed repair or scope change
|
|
46
|
-
returns `OWNER_DECISION_REQUIRED` with candidate and count. After Journey
|
|
47
|
-
`COMPLETE`, deployment checks do not reopen assurance.
|
|
48
|
-
5. Return to the Router after the bounded Expedition outcome; do not silently
|
|
49
|
-
continue into another Journey or protected action.
|
|
24
|
+
1. Do not sequence waves, reread the artifact set, dispatch Explorers, or
|
|
25
|
+
run assurance. Read identities only from the recorded Journey snapshot,
|
|
26
|
+
never from the current global defaults file.
|
|
27
|
+
2. Return `REROUTED` to the Router with a diagnostic that Navigator is not a
|
|
28
|
+
normal role; treat the assignment as unused and continue under Router.
|
|
29
|
+
3. Preserve the checkout lease. Do not write planning state.
|
|
50
30
|
|
|
51
31
|
## Return and recovery
|
|
52
32
|
|
|
53
|
-
Return `
|
|
54
|
-
|
|
55
|
-
action, and receiver. Attempts 1–3 require new evidence or strategy; a material
|
|
56
|
-
design, intent, scope, security, destructive, remote, or publication change
|
|
57
|
-
returns to Owner Authority.
|
|
33
|
+
Return `REROUTED` with verdict, candidate_ref, changed_paths, tests, findings,
|
|
34
|
+
and blocker. Findings name the compatibility path.
|
|
58
35
|
|
|
59
36
|
Never implement, self-assure, select models, or mutate remotes.
|