@alphazede/bearing-lite 0.2.1 → 1.0.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 +11 -6
- package/README.md +224 -121
- package/com.github.copilot/hooks/hooks.json +33 -0
- package/hooks/assurance-budget.cjs +33 -11
- package/hooks/closeout.cjs +17 -0
- package/hooks/com.anthropic.claude-code/mapping.md +35 -16
- package/hooks/owner-stops.cjs +154 -0
- package/hooks/plan-package.cjs +5 -4
- package/hooks/policy.cjs +10 -4
- package/hooks/profiles.cjs +119 -0
- package/hooks/te-host.cjs +40 -5
- package/hooks/transition-order.cjs +24 -4
- package/hooks/verification.cjs +358 -0
- package/package.json +6 -3
- package/plugin.json +2 -34
- package/profiles.json +1 -0
- package/schemas/authority.schema.json +55 -34
- package/schemas/implementation.schema.json +204 -5
- package/schemas/journey.schema.json +142 -48
- package/schemas/profiles.schema.json +359 -0
- package/schemas/verification.schema.json +126 -0
- package/skills/{set-bearings → architectural-alignment}/SKILL.md +17 -13
- package/skills/{set-bearings → architectural-alignment}/templates/workspace.md +1 -1
- package/skills/bearing-lite/SKILL.md +23 -23
- package/skills/bearing-lite/references/assurance-policy.md +32 -16
- package/skills/bearing-lite/references/lineups.md +7 -105
- package/skills/bearing-lite/references/owner-stops.md +122 -0
- package/skills/bearing-lite/references/peer-synthesis.md +11 -12
- package/skills/bearing-lite/references/profiles.md +149 -0
- package/skills/bearing-lite/references/resume.md +30 -0
- package/skills/bearing-lite/references/review-policy.md +8 -3
- package/skills/bearing-lite/references/role-routing.mmd +14 -14
- package/skills/bearing-lite/references/task-state.md +10 -10
- package/skills/bearing-lite/references/task-state.mmd +2 -2
- package/skills/bearing-lite/references/verification.md +52 -0
- package/skills/bearing-lite/templates/task.md +29 -28
- package/skills/{explorer → coordinator}/SKILL.md +19 -19
- package/skills/{crewmate → implementer}/SKILL.md +17 -15
- package/skills/{repository-fit → intake}/SKILL.md +10 -9
- package/skills/integration-engineer/SKILL.md +17 -12
- package/skills/light-implementer/SKILL.md +6 -5
- package/skills/onboard-bearing/SKILL.md +46 -0
- package/skills/plan-integrator/SKILL.md +14 -14
- package/skills/planning-and-design/SKILL.md +60 -0
- package/skills/{map-the-route → planning-and-design}/references/artifact-grammar.md +29 -27
- package/skills/prompt/SKILL.md +245 -0
- package/skills/requirements-engineer/SKILL.md +11 -11
- package/skills/{park-ranger → reviewer}/SKILL.md +16 -13
- package/skills/{gather-supplies → scope-definition}/SKILL.md +13 -13
- package/skills/scribe/SKILL.md +12 -8
- package/skills/systems-modeler/SKILL.md +5 -3
- package/skills/test-engineer/SKILL.md +16 -13
- package/templates/dod-manifest-v1.html +648 -0
- package/tools/render-dod-manifest.mjs +1743 -0
- package/lineups.json +0 -1
- package/schemas/lineups.schema.json +0 -145
- package/skills/map-the-route/SKILL.md +0 -59
- package/skills/navigator/SKILL.md +0 -36
- package/skills/surveyor/SKILL.md +0 -48
- package/skills/validator/SKILL.md +0 -37
- package/skills/validator/references/grading-rubric.md +0 -40
|
@@ -12,9 +12,9 @@ The project's human-readable plan is the only task-state record. Diagrams explai
|
|
|
12
12
|
| `IN_PROGRESS` | Assigned worker or coordinator | Assigned action is being performed |
|
|
13
13
|
| `EVIDENCE_READY` | Parent coordinator | Candidate and evidence ready for next missing assurance |
|
|
14
14
|
| `VALIDATING` | Assurance Test Engineer | Evidence sufficiency under validation |
|
|
15
|
-
| `REVIEWING` |
|
|
16
|
-
| `ACCEPTANCE` |
|
|
17
|
-
| `CORRECTION_REQUIRED` |
|
|
15
|
+
| `REVIEWING` | Reviewer when required | Independent defect review active |
|
|
16
|
+
| `ACCEPTANCE` | Integration Engineer execution, Owner Authority, or parent coordinator when `required_assurance` is `none` | User-facing acceptance or coordinator completion confirmation is active |
|
|
17
|
+
| `CORRECTION_REQUIRED` | Orchestrator or nearest parent coordinator | Agent-owned in-authority correction required |
|
|
18
18
|
| `OWNER_DECISION_REQUIRED` | Owner Authority | Authority, scope, security, or replacement-path judgment required |
|
|
19
19
|
| `COMPLETE` | Parent coordinator after assurance | Outcome and required assurance satisfied |
|
|
20
20
|
| `CANCELLED` | Owner Authority or authorized parent | Task will not proceed |
|
|
@@ -27,7 +27,7 @@ The project's human-readable plan is the only task-state record. Diagrams explai
|
|
|
27
27
|
- `IN_PROGRESS` → `EVIDENCE_READY` with candidate and handoff; → `CORRECTION_REQUIRED` on correctable failure; → `OWNER_DECISION_REQUIRED` on security, authority, or integrity guard.
|
|
28
28
|
- `CORRECTION_REQUIRED` → `READY` on attempt 1 or 2 with a new hypothesis and evidence; → `OWNER_DECISION_REQUIRED` on the third failed correction or out-of-contract amendment.
|
|
29
29
|
- `EVIDENCE_READY` → `VALIDATING` | `REVIEWING` | `ACCEPTANCE` for the next missing required role; → `WAITING_ON` if assurance dispatch is unavailable.
|
|
30
|
-
- During the single assurance round, an accepted Assurance Test Engineer or
|
|
30
|
+
- During the single assurance round, an accepted Assurance Test Engineer or Reviewer handoff returns to `EVIDENCE_READY` to select the next missing assurance role in declared order.
|
|
31
31
|
- `VALIDATING` → `CORRECTION_REQUIRED` when more evidence or repair is needed; otherwise back through `EVIDENCE_READY` for remaining assurance.
|
|
32
32
|
- `REVIEWING` → `CORRECTION_REQUIRED` | `EVIDENCE_READY` | `OWNER_DECISION_REQUIRED` by verdict.
|
|
33
33
|
- `ACCEPTANCE` → `COMPLETE` when every required assurance accepted the same candidate; when `required_assurance` is `none`, parent-coordinator confirmation satisfies the assurance requirement; → `CORRECTION_REQUIRED` on acceptance gap.
|
|
@@ -36,27 +36,27 @@ The project's human-readable plan is the only task-state record. Diagrams explai
|
|
|
36
36
|
## Ownership rules
|
|
37
37
|
|
|
38
38
|
- One parent coordinator writes each task block and its transitions.
|
|
39
|
-
-
|
|
39
|
+
- Orchestrator alone writes cross-wave dependencies and Lifecycle-wide sequencing.
|
|
40
40
|
- Workers and assurance roles return handoffs; they do not race plan edits.
|
|
41
|
-
- Candidate authors never provide their own Assurance Test Engineer,
|
|
41
|
+
- Candidate authors never provide their own Assurance Test Engineer, Reviewer, or Integration Engineer execution verdict.
|
|
42
42
|
- Waiting on a prerequisite consumes no correction attempt. Each task has its own three-attempt correction counter; identical retries without new evidence are invalid.
|
|
43
43
|
- Each declared phase or wave receives at most one assurance round and one review-directed repair. Replacement candidates do not reset the count within that declared unit; the next distinct declared phase or wave carries its own 1/1 budget. The coordinator verifies that repair deterministically and does not dispatch assurance again.
|
|
44
44
|
- `COMPLETE` is terminal for Bearing assurance. An already authorized deployment keeps operational verification and rollback readiness but does not reopen review; candidate-changing deployment work requires separate scope.
|
|
45
45
|
|
|
46
46
|
## Checkout lease
|
|
47
47
|
|
|
48
|
-
The
|
|
48
|
+
The Orchestrator inventories visible nonterminal Lifecycles and holds one
|
|
49
49
|
generation-bound checkout lease before any planning write or dispatch.
|
|
50
50
|
|
|
51
|
-
- Same checkout plus a live other
|
|
52
|
-
competing
|
|
51
|
+
- Same checkout plus a live other Lifecycle → `WAITING_ON` with sanitized
|
|
52
|
+
competing Lifecycle and controller. Distinct explicitly approved compatible
|
|
53
53
|
worktrees may proceed.
|
|
54
54
|
- Resume keeps the same generation and must not duplicate dispatch.
|
|
55
55
|
- `COMPLETE` or `CANCELLED` releases the lease exactly once.
|
|
56
56
|
- Stale recovery is explicit, recorded, increments generation, and cannot
|
|
57
57
|
steal a live lease. Forged or stale-generation records fail closed.
|
|
58
58
|
- Branch or HEAD drift from the leased identity stops the transition before
|
|
59
|
-
mutation. Authorized same-
|
|
59
|
+
mutation. Authorized same-Lifecycle candidate progress whose parent is the
|
|
60
60
|
current leased revision refreshes `candidate_revision` on the same
|
|
61
61
|
generation. Foreign controller, branch/worktree, or unrelated HEAD still
|
|
62
62
|
fail closed as `WAITING_ON`.
|
|
@@ -13,8 +13,8 @@ stateDiagram-v2
|
|
|
13
13
|
CORRECTION_REQUIRED --> READY
|
|
14
14
|
CORRECTION_REQUIRED --> OWNER_DECISION_REQUIRED: third failed correction
|
|
15
15
|
EVIDENCE_READY --> VALIDATING: Assurance Test Engineer required
|
|
16
|
-
EVIDENCE_READY --> REVIEWING:
|
|
17
|
-
EVIDENCE_READY --> ACCEPTANCE:
|
|
16
|
+
EVIDENCE_READY --> REVIEWING: Reviewer required
|
|
17
|
+
EVIDENCE_READY --> ACCEPTANCE: Integration Engineer execution, owner, or coordinator when required_assurance is none
|
|
18
18
|
EVIDENCE_READY --> WAITING_ON: assurance dispatch unavailable
|
|
19
19
|
VALIDATING --> CORRECTION_REQUIRED
|
|
20
20
|
VALIDATING --> EVIDENCE_READY: pass, select next assurance
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
# Deterministic verification adapter
|
|
2
|
+
|
|
3
|
+
Decision source: `DEC-BDL-036`, `DEC-BDL-037`, `DEC-BDL-053`, `DES-BDL-008`,
|
|
4
|
+
`AC-BDL-009`, `CONTRACT-BDL-005`.
|
|
5
|
+
|
|
6
|
+
`hooks/verification.cjs` is the exact runtime evaluator of this contract. It
|
|
7
|
+
declares no hook class and registers no host event. A backend is never a role.
|
|
8
|
+
Reverify is optional profile configuration; this adapter never downloads or
|
|
9
|
+
installs it.
|
|
10
|
+
|
|
11
|
+
A **request** binds candidate, claim, backend, stage, authority, expected
|
|
12
|
+
result, and command/configuration, plus whether the backend is `selected` or
|
|
13
|
+
`required` for that claim. A **receipt** binds the same candidate, claim,
|
|
14
|
+
backend, version, command/configuration, and evidence digest. Status values
|
|
15
|
+
are `VERIFIED`, `REFUTED`, `INCONCLUSIVE`, and `ERROR`.
|
|
16
|
+
|
|
17
|
+
## Authority
|
|
18
|
+
|
|
19
|
+
- **diagnostic** — Implementer, Light Implementer, and Integration Engineer
|
|
20
|
+
execution may emit diagnostic receipts. They help implementation and
|
|
21
|
+
integration. They never satisfy an assurance gate.
|
|
22
|
+
- **assurance** — Test Engineer assurance independently reruns required claims
|
|
23
|
+
against the exact stable candidate in a fresh session. Reviewer may request
|
|
24
|
+
deterministic verification to adjudicate a specific suspected defect. The
|
|
25
|
+
Orchestrator routes and records; it never treats a backend as a role.
|
|
26
|
+
|
|
27
|
+
Candidate authors cannot turn their own runs into an assurance PASS. An
|
|
28
|
+
independent assurance session must rerun required claims. Diagnostic and
|
|
29
|
+
assurance receipts remain distinguishable.
|
|
30
|
+
|
|
31
|
+
## Backend activation
|
|
32
|
+
|
|
33
|
+
Activation is selected OR required. Unavailability of an activated backend is a
|
|
34
|
+
typed gap (`ERROR` / `backend_unavailable`), not success and not invented
|
|
35
|
+
behavior. Only unselected AND unrequired absence stays inactive and is not a
|
|
36
|
+
global failure. Profile `reverify.enabled` records user configuration;
|
|
37
|
+
availability does not select Reverify for every task. Planning Test Engineer
|
|
38
|
+
selects it on an applicable binary-level SEIT claim; Plan Integrator copies
|
|
39
|
+
that selection and must not invent V&V.
|
|
40
|
+
|
|
41
|
+
## Gates
|
|
42
|
+
|
|
43
|
+
- Assurance gate: only an independent `assurance` receipt whose candidate,
|
|
44
|
+
claim, backend, version, command/configuration, and evidence digest bind the
|
|
45
|
+
current candidate, and whose status matches the expected result, may be
|
|
46
|
+
`gate_eligible`. `INCONCLUSIVE` and `ERROR` cannot become PASS.
|
|
47
|
+
- Post-repair deterministic closure reruns required checks on the repaired
|
|
48
|
+
candidate without a second review round. Author diagnostics and stale
|
|
49
|
+
pre-repair evidence cannot close it. Automatic rereview is prohibited.
|
|
50
|
+
|
|
51
|
+
Stale evidence is a receipt bound to a prior candidate or to a pre-repair
|
|
52
|
+
evidence digest. Candidate mismatch fails closed.
|
|
@@ -2,18 +2,18 @@
|
|
|
2
2
|
|
|
3
3
|
Use one compact Markdown block per task in the project's existing plan or progress document. Omit unused conditional fields. Prefer the project's format; add only missing fields. Do not create a Bearing-owned state file or hidden ledger.
|
|
4
4
|
|
|
5
|
-
##
|
|
5
|
+
## Lifecycle settings
|
|
6
6
|
|
|
7
|
-
|
|
7
|
+
Planning and Design records these plan-level proposals above the task blocks in the
|
|
8
8
|
complete five-artifact package. The integrated owner review approves or changes
|
|
9
|
-
the
|
|
10
|
-
pre-
|
|
9
|
+
the lifecycle, profile, role states, reasoning, cadence, and plan together; no
|
|
10
|
+
pre-planning profile or route-review gate is allowed.
|
|
11
11
|
|
|
12
12
|
```markdown
|
|
13
|
-
-
|
|
14
|
-
- review_cadence:
|
|
13
|
+
- lifecycle: <direct packet | coordinator wave | orchestrated waves>
|
|
14
|
+
- review_cadence: phase
|
|
15
15
|
- choice_basis: <proposed recommendation and reason; owner-approved at integrated review>
|
|
16
|
-
-
|
|
16
|
+
- profile_snapshot: <named implementation/assurance instances plus the planning_review binding below>
|
|
17
17
|
- planning_review:
|
|
18
18
|
- policy_ref: skills/bearing-lite/references/review-policy.md
|
|
19
19
|
- candidate_ref: <shared planning-package reference>
|
|
@@ -21,7 +21,7 @@ pre-Map lineup or route-review gate is allowed.
|
|
|
21
21
|
- candidate_digest: <shared planning-package digest>
|
|
22
22
|
- reviewer_slots:
|
|
23
23
|
- slot_id: <abstract unique slot>
|
|
24
|
-
primary_route_ref: <owner-selected
|
|
24
|
+
primary_route_ref: <owner-selected profile route reference>
|
|
25
25
|
fallback_route_refs: [<ordered owner-selected route references>]
|
|
26
26
|
- round_number: 1
|
|
27
27
|
- completed_rounds: <0-1>
|
|
@@ -30,17 +30,18 @@ pre-Map lineup or route-review gate is allowed.
|
|
|
30
30
|
- deterministic_gate: <PASS after repair; otherwise omitted>
|
|
31
31
|
```
|
|
32
32
|
|
|
33
|
-
`
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
33
|
+
Cadence values are `slice`, `phase`, or `lifecycle` for each declared phase or
|
|
34
|
+
wave. Defaults are `phase` for Test Engineer assurance, `phase` for Reviewer,
|
|
35
|
+
and `lifecycle` for Integration Engineer execution. The single independent
|
|
36
|
+
review runs on that unit's integrated candidate at its declared cadence
|
|
37
|
+
boundary, not as task-level tests or author self-checks. Never infer it from
|
|
37
38
|
`required_assurance` on an individual task. The proposal is visible in
|
|
38
|
-
`implementation.json` and
|
|
39
|
-
the integrated owner approval
|
|
40
|
-
`
|
|
41
|
-
integrated owner review approves it. `
|
|
42
|
-
that approval. Later
|
|
43
|
-
edits to `~/.agents/bearing-lite/
|
|
39
|
+
`implementation.json` and the DoD Manifest, then becomes authoritative only
|
|
40
|
+
after the integrated owner approval.
|
|
41
|
+
`lifecycle` stays a proposal until the mapped implementation graph exists and
|
|
42
|
+
the integrated owner review approves it. `profile_snapshot` is authoritative
|
|
43
|
+
after that approval. Later
|
|
44
|
+
edits to `~/.agents/bearing-lite/profiles.json` have no effect. The `Orchestrator`
|
|
44
45
|
row of the snapshot is the observed identity of the session that ran planning
|
|
45
46
|
(harness, model, reasoning at that time); it is never a catalog selection and
|
|
46
47
|
never a deviation.
|
|
@@ -55,14 +56,14 @@ does not populate `required_assurance` and does not dispatch reviewers.
|
|
|
55
56
|
|
|
56
57
|
## Checkout lease (record before any planning write)
|
|
57
58
|
|
|
58
|
-
The
|
|
59
|
+
The Orchestrator's first write is this visible lease. Inventory nonterminal Lifecycles
|
|
59
60
|
first. Do not dispatch or write other planning state until the lease is
|
|
60
|
-
`active` for this
|
|
61
|
+
`active` for this Lifecycle.
|
|
61
62
|
|
|
62
63
|
```markdown
|
|
63
64
|
- checkout_lease:
|
|
64
|
-
- journey: <
|
|
65
|
-
- controller: <
|
|
65
|
+
- journey: <Lifecycle id>
|
|
66
|
+
- controller: <Orchestrator>
|
|
66
67
|
- repository: <canonical repository>
|
|
67
68
|
- checkout: <worktree or checkout identity>
|
|
68
69
|
- branch: <branch>
|
|
@@ -72,10 +73,10 @@ first. Do not dispatch or write other planning state until the lease is
|
|
|
72
73
|
- state: <active | released>
|
|
73
74
|
```
|
|
74
75
|
|
|
75
|
-
Same checkout plus a live other
|
|
76
|
-
competing
|
|
76
|
+
Same checkout plus a live other Lifecycle returns `WAITING_ON` with sanitized
|
|
77
|
+
competing Lifecycle and controller identities. Distinct explicitly approved
|
|
77
78
|
compatible worktrees may proceed. Resume keeps the same generation and does
|
|
78
|
-
not duplicate dispatch. Authorized same-
|
|
79
|
+
not duplicate dispatch. Authorized same-Lifecycle candidate progress whose
|
|
79
80
|
parent is the current leased revision refreshes `candidate_revision` on the
|
|
80
81
|
same generation. `COMPLETE` or `CANCELLED` releases the lease exactly
|
|
81
82
|
once. Stale recovery is explicit, recorded, increments generation, and cannot
|
|
@@ -129,9 +130,9 @@ Field rules:
|
|
|
129
130
|
- required_assurance: [Assurance Test Engineer]
|
|
130
131
|
```
|
|
131
132
|
|
|
132
|
-
`required_assurance` lists only roles that must accept the same candidate (for example `Assurance Test Engineer`, and `
|
|
133
|
+
`required_assurance` lists only roles that must accept the same candidate (for example `Assurance Test Engineer`, and `Reviewer` or `Integration Engineer execution` when their triggers apply).
|
|
133
134
|
|
|
134
|
-
test-writing
|
|
135
|
+
test-writing Implementer write set is tests and approved fixtures only. Product
|
|
135
136
|
write set excludes tests and must not weaken independently authored tests.
|
|
136
137
|
Neither self-certifies.
|
|
137
138
|
|
|
@@ -172,4 +173,4 @@ review. Any source or candidate change during deployment is separately scoped.
|
|
|
172
173
|
|
|
173
174
|
## Single-writer reminder
|
|
174
175
|
|
|
175
|
-
Only the parent coordinator updates this block after rereading it.
|
|
176
|
+
Only the parent coordinator updates this block after rereading it. Implementer, Test Engineer, Reviewer, and Integration Engineer execution return compact receipts (`verdict`, `candidate_ref`, `changed_paths`, `tests`, `findings`, `blocker`); the coordinator records transitions. Orchestrator alone changes cross-wave dependencies or global sequencing. Update `implementation.json` and the DoD Manifest once per wave, plus owner-decision or blocker changes.
|
|
@@ -1,59 +1,59 @@
|
|
|
1
1
|
---
|
|
2
|
-
name:
|
|
2
|
+
name: coordinator
|
|
3
3
|
description: >
|
|
4
4
|
Own one approved execution wave, continuing bounded packets when the
|
|
5
|
-
envelope is unchanged and integrating their evidence. Use for
|
|
6
|
-
|
|
5
|
+
envelope is unchanged and integrating their evidence. Use for Coordinator,
|
|
6
|
+
wave orchestration, proven-independent in-wave lanes, or parallel
|
|
7
7
|
packet sequencing. Do not use for implementation, cross-wave work, planning,
|
|
8
8
|
automatic nesting, or independent assurance.
|
|
9
9
|
---
|
|
10
10
|
|
|
11
|
-
#
|
|
11
|
+
# Coordinator
|
|
12
12
|
|
|
13
|
-
Wave authority. Coordinates more and implements less than
|
|
13
|
+
Wave authority. Coordinates more and implements less than Implementer.
|
|
14
14
|
|
|
15
15
|
## Inputs and match
|
|
16
|
-
|
|
17
16
|
- **Inputs:** approved baseline, wave objective, packet graph, dependencies,
|
|
18
|
-
scope, authority,
|
|
17
|
+
scope, authority, profile from the recorded Lifecycle snapshot, visible wave
|
|
19
18
|
receipt, acceptance, and compact return schema.
|
|
20
19
|
- **Match:** one wave needs packet sequencing, dispatch, integration, or proven-independent lane coordination.
|
|
21
20
|
- **Non-match:** one bounded packet needs no orchestration, multiple waves conflict, or assurance alone is requested.
|
|
22
21
|
|
|
23
22
|
## Algorithm
|
|
24
|
-
|
|
25
23
|
1. Continue this wave when identity, authority, route, and generation are
|
|
26
24
|
unchanged; otherwise start fresh. Verify wave readiness, packet boundaries,
|
|
27
|
-
dependencies, and approved identities from the recorded
|
|
25
|
+
dependencies, and approved identities from the recorded Lifecycle snapshot,
|
|
28
26
|
never from the current global defaults file. Revalidate the visible checkout
|
|
29
|
-
lease against the approved
|
|
27
|
+
lease against the approved Lifecycle, repository, checkout/worktree, branch,
|
|
30
28
|
candidate revision, generation, and active state at wave start, after
|
|
31
29
|
detected drift, and before commit. Released, stale-generation, forged, or
|
|
32
|
-
branch/HEAD-drifted leases fail closed. Authorized same-
|
|
30
|
+
branch/HEAD-drifted leases fail closed. Authorized same-Lifecycle candidate
|
|
33
31
|
progress whose parent is the current leased revision refreshes
|
|
34
32
|
candidate_revision on the same generation. The same valid lease continues
|
|
35
33
|
without duplicate dispatch. Resume from the visible wave receipt; do not
|
|
36
34
|
reread every accepted artifact or redispatch completed slices.
|
|
37
|
-
2. Use direct
|
|
35
|
+
2. Use direct Implementers by default. When two or more lanes are proven
|
|
38
36
|
independent, coordinate those lanes directly inside this wave; never add a nested coordinator.
|
|
39
|
-
3. Permit
|
|
37
|
+
3. Permit Implementer continuation when the envelope is unchanged. Never pass raw
|
|
40
38
|
conversation history. Independent work, a changed envelope, or owner choice
|
|
41
|
-
starts a fresh
|
|
39
|
+
starts a fresh Implementer.
|
|
42
40
|
4. Inspect compact returns against write sets and acceptance; integrate
|
|
43
|
-
evidence without implementing. Update `implementation.json` and
|
|
41
|
+
evidence without implementing. Update `implementation.json` and the DoD Manifest
|
|
44
42
|
once per wave, plus owner-decision or blocker changes.
|
|
45
|
-
|
|
46
|
-
|
|
43
|
+
Apply `../bearing-lite/references/owner-stops.md` for queued questions,
|
|
44
|
+
blocking prerequisites, proven-independent progress and owner holds; never
|
|
45
|
+
add unapproved roles or gates.
|
|
46
|
+
5. Dispatch declared assurance automatically at wave-end, or the configured cadence
|
|
47
|
+
boundary, on this wave's integrated candidate. Deterministic checks always run. Honor
|
|
47
48
|
`max_assurance_rounds` of 1 per declared phase or wave from visible
|
|
48
49
|
`assurance_rounds`. If the review is repairable, spend at most one
|
|
49
50
|
remaining `attempts` repair, run deterministic coordinator verification,
|
|
50
51
|
and close the gate without another review. The next distinct declared
|
|
51
52
|
phase or wave carries its own budget. A failed repair or scope change
|
|
52
|
-
returns `OWNER_DECISION_REQUIRED` with candidate and count. After
|
|
53
|
+
returns `OWNER_DECISION_REQUIRED` with candidate and count. After Lifecycle
|
|
53
54
|
`COMPLETE`, deployment checks do not reopen assurance.
|
|
54
55
|
|
|
55
56
|
## Return and recovery
|
|
56
|
-
|
|
57
57
|
Return `READY`, `REROUTED`, `WAITING_ON`, or `OWNER_DECISION_REQUIRED` with
|
|
58
58
|
verdict, candidate_ref, changed_paths, tests, findings, and blocker. Reroute only from new evidence; three attempts per packet.
|
|
59
59
|
|
|
@@ -1,14 +1,15 @@
|
|
|
1
1
|
---
|
|
2
|
-
name:
|
|
2
|
+
name: implementer
|
|
3
3
|
description: >
|
|
4
4
|
Implement one approved bounded packet in an exact write set. Continue the
|
|
5
5
|
same-wave session when identity, authority, route, and generation are
|
|
6
|
-
unchanged. Use for
|
|
7
|
-
|
|
8
|
-
|
|
6
|
+
unchanged. Use for Implementer, Product Implementer, Test Implementer,
|
|
7
|
+
implementation, repair, or integration packets. Do not use for
|
|
8
|
+
orchestration, planning, independent assurance, publication, destructive
|
|
9
|
+
action, owner decisions, or unset scope.
|
|
9
10
|
---
|
|
10
11
|
|
|
11
|
-
#
|
|
12
|
+
# Implementer
|
|
12
13
|
|
|
13
14
|
Lowest mutation authority and highest hands-on work in the Bearing ladder.
|
|
14
15
|
|
|
@@ -16,13 +17,14 @@ Lowest mutation authority and highest hands-on work in the Bearing ladder.
|
|
|
16
17
|
|
|
17
18
|
- **Inputs:** approved baseline, objective, dependencies, exact write set,
|
|
18
19
|
authority, acceptance/SEIT rows, commands, stop rule, compact return schema,
|
|
19
|
-
visible wave receipt, and
|
|
20
|
+
visible wave receipt, and profile identity from the recorded Lifecycle snapshot.
|
|
20
21
|
- **Match:** one packet is `READY` and every input is fixed.
|
|
21
22
|
- **Non-match:** multi-packet coordination, design gaps, missing authority,
|
|
22
23
|
assurance, or owner-only action.
|
|
23
|
-
- **Split:** test-writing
|
|
24
|
-
|
|
25
|
-
independently authored tests.
|
|
24
|
+
- **Split:** `tdd` orders test-writing Test Implementer before Product Implementer.
|
|
25
|
+
Test Implementer may change only tests and approved fixtures. Product Implementer
|
|
26
|
+
write set excludes tests and must not weaken independently authored tests.
|
|
27
|
+
`single_implementer` writes product plus tests. Neither self-certifies.
|
|
26
28
|
|
|
27
29
|
## Algorithm
|
|
28
30
|
|
|
@@ -30,12 +32,12 @@ Lowest mutation authority and highest hands-on work in the Bearing ladder.
|
|
|
30
32
|
generation, authority, and route are unchanged. Start a fresh session only
|
|
31
33
|
for a route change, conflicting writer, new authority envelope, independent
|
|
32
34
|
work, or explicit owner choice. Do not infer missing owner choices. Read
|
|
33
|
-
dispatch identities only from the recorded
|
|
34
|
-
current global defaults file. Revalidate the visible checkout
|
|
35
|
-
lease against the approved
|
|
35
|
+
dispatch identities only from the recorded Lifecycle snapshot, never from
|
|
36
|
+
the current global defaults file. Revalidate the visible checkout
|
|
37
|
+
lease against the approved Lifecycle, repository, checkout/worktree, branch,
|
|
36
38
|
candidate revision, generation, and active state at wave start, after
|
|
37
39
|
detected drift, and before commit. Released, stale-generation, forged, or
|
|
38
|
-
branch/HEAD-drifted leases fail closed. Authorized same-
|
|
40
|
+
branch/HEAD-drifted leases fail closed. Authorized same-Lifecycle
|
|
39
41
|
candidate progress whose parent is the current leased revision refreshes
|
|
40
42
|
candidate_revision on the same generation. On mismatch, return WAITING_ON without writing.
|
|
41
43
|
2. For a verified contract defect, create the smallest failing regression first.
|
|
@@ -43,8 +45,8 @@ Lowest mutation authority and highest hands-on work in the Bearing ladder.
|
|
|
43
45
|
When the packet implements a published standard, verify against the cited
|
|
44
46
|
document and clause before changing code; neighbouring behavior is not the
|
|
45
47
|
authority.
|
|
46
|
-
4. Run assigned focused commands and author self-checks. At-end review never
|
|
47
|
-
|
|
48
|
+
4. Run assigned focused commands and author self-checks. At-end review never removes
|
|
49
|
+
deterministic testing or grants independent-review identity; diagnostic verification receipts never satisfy an assurance gate.
|
|
48
50
|
5. Preserve unrelated work. Return only the compact receipt.
|
|
49
51
|
6. Stop on acceptance, authority boundary, design gap, or exhausted correction.
|
|
50
52
|
|
|
@@ -1,19 +1,20 @@
|
|
|
1
1
|
---
|
|
2
|
-
name:
|
|
2
|
+
name: intake
|
|
3
3
|
description: >
|
|
4
4
|
Verify and propose one target repository and plan directory when repository
|
|
5
|
-
identity is absent or ambiguous. Use for
|
|
6
|
-
Do not use after owner-confirmed fit, for parent-wide exploration,
|
|
7
|
-
decisions, product edits, role routing, or publication.
|
|
5
|
+
identity is absent or ambiguous. Use for Intake before Architectural
|
|
6
|
+
Alignment. Do not use after owner-confirmed fit, for parent-wide exploration,
|
|
7
|
+
planning decisions, product edits, role routing, or publication.
|
|
8
8
|
---
|
|
9
9
|
|
|
10
|
-
#
|
|
10
|
+
# Intake
|
|
11
11
|
|
|
12
|
-
Fresh planning node. It returns evidence; the
|
|
12
|
+
Fresh planning node. It returns evidence; the Orchestrator records the decision.
|
|
13
|
+
Intake handles input and repository selection.
|
|
13
14
|
|
|
14
15
|
## Inputs and match
|
|
15
16
|
|
|
16
|
-
- **Inputs:**
|
|
17
|
+
- **Inputs:** Lifecycle goal, authorized candidate roots, visible prior decisions,
|
|
17
18
|
repository rules, and discovery limits.
|
|
18
19
|
- **Match:** target root, repository identity, or plan location is unresolved.
|
|
19
20
|
- **Non-match:** the owner already named and confirmed the repository and plan.
|
|
@@ -27,7 +28,7 @@ Fresh planning node. It returns evidence; the Router records the decision.
|
|
|
27
28
|
owner evidence with a typed finding.
|
|
28
29
|
4. Propose exactly one repository and one plan-directory assumption with path
|
|
29
30
|
evidence and a short reason.
|
|
30
|
-
5. Return one owner confirmation question through the
|
|
31
|
+
5. Return one owner confirmation question through the Orchestrator. A recommendation
|
|
31
32
|
is not confirmation.
|
|
32
33
|
|
|
33
34
|
## Return and recovery
|
|
@@ -37,4 +38,4 @@ Return `FIT_PROPOSED`, `FIT_CONFIRMED`, `FIT_UNAVAILABLE`, `FIT_MALFORMED`, or
|
|
|
37
38
|
Retry only from new evidence, at most three attempts.
|
|
38
39
|
|
|
39
40
|
Never write files, walk unapproved parents, rank endless alternatives, or
|
|
40
|
-
advance the
|
|
41
|
+
advance the Lifecycle itself.
|
|
@@ -2,39 +2,44 @@
|
|
|
2
2
|
name: integration-engineer
|
|
3
3
|
description: >
|
|
4
4
|
Dual-session Integration Engineer for planning assembly strategy and
|
|
5
|
-
execution
|
|
6
|
-
Integration Engineer or
|
|
7
|
-
implement missing product behavior or self-certify.
|
|
5
|
+
execution-session system-level validation of the exact integrated candidate.
|
|
6
|
+
Use for the Integration Engineer planning session or execution session. Do
|
|
7
|
+
not implement missing product behavior or self-certify.
|
|
8
8
|
---
|
|
9
9
|
|
|
10
10
|
# Integration Engineer
|
|
11
11
|
|
|
12
12
|
Planning and execution sessions are separate because authority differs.
|
|
13
|
+
The planning session owns assembly strategy. The execution session owns
|
|
14
|
+
final system-level validation and integrated technical assessment.
|
|
13
15
|
|
|
14
16
|
## Inputs and match
|
|
15
17
|
|
|
16
18
|
- **Inputs:** items/versions, compatibility, order, entry criteria,
|
|
17
|
-
configuration identity, authorized glue, interfaces.
|
|
18
|
-
- **Match:** progressive assembly is required
|
|
19
|
+
configuration identity, authorized glue, interfaces, approved outcome.
|
|
20
|
+
- **Match:** progressive assembly is required, or Lifecycle-end execution
|
|
21
|
+
assessment is declared. Default execution cadence is `lifecycle`.
|
|
19
22
|
- **Non-match:** product implementation, requirement rewrite, test
|
|
20
|
-
authorship.
|
|
23
|
+
authorship, Reviewer defect adjudication.
|
|
21
24
|
|
|
22
25
|
## Algorithm
|
|
23
26
|
|
|
24
|
-
1.
|
|
27
|
+
1. The planning session defines items/versions, compatibility,
|
|
25
28
|
order, entry criteria, stubs, configuration identity, post-step V&V
|
|
26
29
|
handoffs, anomaly/rollback/recovery, and the final integrated
|
|
27
30
|
candidate after requirements, views, and design interfaces stabilize.
|
|
28
|
-
2.
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
31
|
+
2. The execution session starts a fresh session, rejects author
|
|
32
|
+
ancestry, independently performs final system-level validation and
|
|
33
|
+
integrated technical assessment against the approved user-facing
|
|
34
|
+
outcome at Lifecycle completion by default or an explicit override.
|
|
35
|
+
Deterministic-verification receipts from this session are diagnostic
|
|
36
|
+
and do not self-certify the candidate.
|
|
32
37
|
3. Missing Integration Engineering method skill is a typed capability
|
|
33
38
|
gap, not invented behavior.
|
|
34
39
|
|
|
35
40
|
## Return and recovery
|
|
36
41
|
|
|
37
|
-
Return `CANDIDATE_READY` or `OWNER_DECISION_REQUIRED` with verdict,
|
|
42
|
+
Return `CANDIDATE_READY`, `GAPS`, or `OWNER_DECISION_REQUIRED` with verdict,
|
|
38
43
|
candidate_ref, changed_paths, tests, findings, and blocker.
|
|
39
44
|
|
|
40
45
|
Never implement missing product, revise requirements or design, weaken
|
|
@@ -14,9 +14,9 @@ command decides pass or fail, and nothing is decided in-session.
|
|
|
14
14
|
|
|
15
15
|
## Inputs and match
|
|
16
16
|
|
|
17
|
-
- **Inputs:** the
|
|
17
|
+
- **Inputs:** the Implementer packet contract (baseline, objective, exact write
|
|
18
18
|
set, authority, commands, stop rule, return schema, visible wave receipt,
|
|
19
|
-
|
|
19
|
+
profile identity from the recorded snapshot) for a slice whose
|
|
20
20
|
`work_class` is `light`.
|
|
21
21
|
- **Match:** every criterion holds:
|
|
22
22
|
1. Inputs are all named and present: paths, digests, UIDs, a runbook.
|
|
@@ -33,16 +33,17 @@ command decides pass or fail, and nothing is decided in-session.
|
|
|
33
33
|
|
|
34
34
|
## Algorithm
|
|
35
35
|
|
|
36
|
-
1. Revalidate the checkout lease exactly as the
|
|
36
|
+
1. Revalidate the checkout lease exactly as the Implementer does. On mismatch
|
|
37
37
|
return `WAITING_ON` without writing.
|
|
38
38
|
2. Do exactly what the packet states, inside the write set, and nothing else.
|
|
39
39
|
3. Run the packet's verification command at the candidate revision. Record
|
|
40
|
-
exit status, output digest, and changed paths.
|
|
40
|
+
exit status, output digest, and changed paths. Any deterministic-verification
|
|
41
|
+
receipt is diagnostic only and never satisfies an assurance gate.
|
|
41
42
|
4. If any step needs a choice the packet did not make, stop before writing
|
|
42
43
|
further and return `NEEDS_MORE_EVIDENCE` with `reclassify: judgement`
|
|
43
44
|
and the exact question. Never guess, never escalate silently.
|
|
44
45
|
5. There is no in-wave repair loop. A failing command returns the typed
|
|
45
|
-
failure with its output; the
|
|
46
|
+
failure with its output; the Orchestrator decides.
|
|
46
47
|
|
|
47
48
|
## Return and recovery
|
|
48
49
|
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
---
|
|
2
|
+
name: onboard-bearing
|
|
3
|
+
description: >
|
|
4
|
+
Guided first-run and later configuration of profiles.json. Use for
|
|
5
|
+
onboard-bearing, profile setup, or explicit configuration change. Do not
|
|
6
|
+
use to infer settings, store credentials, or write during ordinary
|
|
7
|
+
Lifecycles.
|
|
8
|
+
---
|
|
9
|
+
|
|
10
|
+
# onboard-bearing
|
|
11
|
+
|
|
12
|
+
Reusable guided configuration. Inspects `profiles.json` when present. Asks
|
|
13
|
+
one setting at a time. May recommend; never selects or writes without the
|
|
14
|
+
user's explicit instruction. Preserves every unaddressed existing value.
|
|
15
|
+
|
|
16
|
+
## Inputs and match
|
|
17
|
+
|
|
18
|
+
- **Match:** first run, missing profile, explicit configuration change, or
|
|
19
|
+
`MIGRATION_REQUIRED` from a legacy lineup catalog.
|
|
20
|
+
- **Non-match:** ordinary Lifecycle dispatch, silent repair of a valid profile.
|
|
21
|
+
|
|
22
|
+
## Algorithm
|
|
23
|
+
|
|
24
|
+
1. Resolve `<absolute home>/.agents/bearing-lite/profiles.json` per
|
|
25
|
+
`references/profiles.md`. Never read packaged bytes as user data. Never
|
|
26
|
+
search, merge, prefer, or fall back to `lineups.json`.
|
|
27
|
+
2. If a user `lineups.json` exists, return `MIGRATION_REQUIRED`. Do not
|
|
28
|
+
consume it as live configuration. Migration validates the lineup, asks
|
|
29
|
+
which route to assign to Integration Engineer execution, writes a
|
|
30
|
+
semantically equivalent `profiles.json`, validates readback, then removes
|
|
31
|
+
`lineups.json`. Do not auto-assign Surveyor or any retired role.
|
|
32
|
+
3. Ask settings one at a time with no preselected value: named role/session
|
|
33
|
+
routes and fallbacks, session enablement, development strategy,
|
|
34
|
+
planning review, assurance cadence, concurrency, clean-session, holds, and
|
|
35
|
+
optional Reverify. Declining Reverify or its download persists
|
|
36
|
+
`reverify.enabled: false` for that named profile.
|
|
37
|
+
4. Write only explicit choices atomically. Validate Draft 2020-12 readback
|
|
38
|
+
against `schemas/profiles.schema.json`. Store no credentials.
|
|
39
|
+
|
|
40
|
+
## Return and recovery
|
|
41
|
+
|
|
42
|
+
Return `READY`, `MIGRATION_REQUIRED`, `no_named_profiles`, or
|
|
43
|
+
`OWNER_DECISION_REQUIRED` with verdict, candidate_ref, changed_paths, tests,
|
|
44
|
+
findings, and blocker.
|
|
45
|
+
|
|
46
|
+
Never invent a setting, write the packaged catalog, or keep a lineup fallback.
|
|
@@ -1,21 +1,21 @@
|
|
|
1
1
|
---
|
|
2
2
|
name: plan-integrator
|
|
3
3
|
description: >
|
|
4
|
-
Reconcile specialist outputs and generate implementation.json and
|
|
5
|
-
|
|
4
|
+
Reconcile specialist outputs and generate implementation.json and the
|
|
5
|
+
DoD Manifest input. Use for Plan Integrator. Do not invent owner intent,
|
|
6
6
|
requirements, models, or V&V, or author V&V.
|
|
7
7
|
---
|
|
8
8
|
|
|
9
9
|
# Plan Integrator
|
|
10
10
|
|
|
11
|
-
Consumes stable specialist outputs, invokes
|
|
12
|
-
the five artifacts, and generates `implementation.json` and
|
|
13
|
-
`
|
|
11
|
+
Consumes stable specialist outputs, invokes Planning and Design, cross-validates
|
|
12
|
+
the five artifacts, and generates `implementation.json` and
|
|
13
|
+
`implementation.json.dod_manifest` without adding judgment.
|
|
14
14
|
|
|
15
15
|
## Inputs and match
|
|
16
16
|
|
|
17
17
|
- **Inputs:** settled decisions, technical-plan, design.md, seit.json
|
|
18
|
-
drafts,
|
|
18
|
+
drafts, profile freeze, authority envelope.
|
|
19
19
|
- **Match:** specialist outputs are stable enough to reconcile.
|
|
20
20
|
- **Non-match:** unresolved owner intent; V&V authorship.
|
|
21
21
|
|
|
@@ -23,19 +23,19 @@ the five artifacts, and generates `implementation.json` and two-state
|
|
|
23
23
|
|
|
24
24
|
1. Cross-validate the five canonical artifacts. Copy design-lens names
|
|
25
25
|
from design.md; never invent lens IDs.
|
|
26
|
-
2.
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
3. Generate `implementation.json` and `review.html` (`planning-review`,
|
|
32
|
-
then `final-closeout`) when inputs are stable.
|
|
26
|
+
2. After Systems Modeler and Planning Test Engineer return, copy the
|
|
27
|
+
Integration Engineer planning anomaly, rollback, recovery, and V&V
|
|
28
|
+
handoffs and the bound proof cases mechanically.
|
|
29
|
+
3. Generate `implementation.json` and the DoD Manifest projection
|
|
30
|
+
(`planning`, then append-only closeout) when inputs are stable.
|
|
33
31
|
4. Classify every slice `work_class: light` or `judgement` with a
|
|
34
32
|
`work_class_reason`, using the five criteria in `skills/light-implementer`.
|
|
35
33
|
Light slices carry the Light Implementer role and at least one
|
|
36
34
|
`command_id`; the freeze rejects any other light slice.
|
|
37
35
|
5. Request a Planning Test Engineer delta after relevant decision,
|
|
38
|
-
requirement, or design changes. Do not author V&V.
|
|
36
|
+
requirement, or design changes. Do not author V&V. Copy selected
|
|
37
|
+
deterministic-verification backends from Planning Test Engineer;
|
|
38
|
+
never invent claims, methods, or Reverify selection.
|
|
39
39
|
|
|
40
40
|
## Return and recovery
|
|
41
41
|
|