diff --git a/.kiro/specs/ai-service-plane/spec.json b/.kiro/specs/ai-service-plane/spec.json index affcf20..42aacdb 100644 --- a/.kiro/specs/ai-service-plane/spec.json +++ b/.kiro/specs/ai-service-plane/spec.json @@ -1,9 +1,9 @@ { "feature_name": "ai-service-plane", "created_at": "2026-09-29T15:40:00Z", - "updated_at": "2026-09-29T17:55:00Z", + "updated_at": "2026-10-02T00:00:00Z", "language": "en", - "phase": "implementation", + "phase": "implementation-complete", "approvals": { "requirements": { "generated": true, diff --git a/.kiro/specs/contributor-scan/requirements.md b/.kiro/specs/contributor-scan/requirements.md index 95132a6..0b56e0a 100644 --- a/.kiro/specs/contributor-scan/requirements.md +++ b/.kiro/specs/contributor-scan/requirements.md @@ -1,5 +1,7 @@ # Requirements Document: contributor-scan +> **Status 2026-10-02:** paused since 2026-09-23 (its last change). 27 of 51 tasks done: the MAP integration was delivered and `v1.2.0-alpha.1` rolled out NO-GO (`census-repair-verification.md`); the remaining tasks wait on `pre-push-safety-net` M2/M3 and nothing here moved after the ax plane landed. Not active. + ## Introduction `model-grounded-detection` built an arbiter and measured it: 41.3% of the corpus reaches `model_entailed` diff --git a/.kiro/specs/finding-feedback-loop/requirements.md b/.kiro/specs/finding-feedback-loop/requirements.md index 28bed51..14f1f54 100644 --- a/.kiro/specs/finding-feedback-loop/requirements.md +++ b/.kiro/specs/finding-feedback-loop/requirements.md @@ -1,5 +1,7 @@ # Requirements Document: finding-feedback-loop +> **Status 2026-10-02:** dormant. Requirements approved and design generated on 2026-09-09; the design was never approved and no tasks exist. It depends on `contributor-scan`, which is paused; reopen it with that spec. + ## Introduction Nine engine defects were found in one session against two repositories. **Three were the same bug in three diff --git a/.kiro/steering/overview.md b/.kiro/steering/overview.md index a430965..93230be 100644 --- a/.kiro/steering/overview.md +++ b/.kiro/steering/overview.md @@ -200,10 +200,10 @@ Counted 2026-10-02 from each spec's `tasks.md` checkboxes and `spec.json`. |---|---|---| | `learned-decision-engine` | implementation | 11 of 17 tasks done | | `pre-push-safety-net` | implementation | 67 of 79 tasks done | -| `contributor-scan` | implementation | 27 of 51 tasks done | -| `ai-service-plane` | implementation | 11 of 11 tasks done; the ax plane is the agentic path | +| `contributor-scan` | paused | 27 of 51 tasks done; paused since 2026-09-23 (`v1.2.0-alpha.1` NO-GO), waits on pre-push M2/M3 | +| `ai-service-plane` | complete | 11 of 11; the ax plane is the agentic path | | `harnessx-removal` | complete | 8 of 8; HarnessX removed 2026-09-30 | -| `finding-feedback-loop` | design | requirements approved, design awaiting approval | +| `finding-feedback-loop` | dormant | requirements approved, design unapproved since 2026-09-09; depends on `contributor-scan` | | `model-grounded-detection` | complete | 16 of 16; built the arbiter this all rests on | | `authorization-obligations` | dormant | tasks approved, 0 of 24 started; superseded in practice by the dominance arbiter | | `reachability-flow-model` | dormant | 23 tasks generated, nothing approved; largely delivered by adopting Joern | @@ -214,6 +214,5 @@ Counted 2026-10-02 from each spec's `tasks.md` checkboxes and `spec.json`. > **Retired 2026-09-30:** HarnessX was removed by `harnessx-removal`; the agentic plane is ax (`ai-service-plane`), > and evolutionary proposals come from the plane memory. The HarnessX specs in the table above are history. -As of 2026-09-09: 97 source modules, 90 load-bearing and 7 standalone capabilities; 814 tests. 151 source modules, 146 load-bearing and 5 standalone capabilities, 0 orphaned -(`benchmarks/measurements/2026-09-08-module-audit.json`, regenerated 2026-10-02); 2,009 tests collected. +(`benchmarks/measurements/2026-09-08-module-audit.json`, regenerated 2026-10-02); 2,023 tests collected. diff --git a/docs/memory-and-detection.md b/docs/memory-and-detection.md index edb2725..3c0a612 100644 --- a/docs/memory-and-detection.md +++ b/docs/memory-and-detection.md @@ -35,7 +35,8 @@ Each instrument contributes one block to a candidate's feature record (`learn/sc `INSTRUMENTS`): `language`, `quick` (quick rules), `engine` (the Joern model layer), `facts` (repo facts, such as callers and function span), `source`, `entry_points`, `roles` (model source, sink and sanitizer roles), `delta`, `verify` and `agree` (the plane's verify passes and their -agreement), and `model_sinks`. A candidate is `(path, function, family)` of one repository and pin +agreement), and `model_sinks` (the archived stage-1 classifier, `benchmarks/archive/model_sinks.py`, whose +logic now lives in `plane/tasks/roles.py`). A candidate is `(path, function, family)` of one repository and pin where at least one instrument emitted a signal of that family (`learn/features.py`). An instrument that did not run, had no coverage or failed records that state (`none`, `failed`,