kibi-core 0.10.0 → 0.12.0

package/src/rule_registry.pl

@@ -0,0 +1,131 @@
+% Module: rule_registry
+% GENERATED by scripts/generate-rule-registry.mjs from
+% packages/core/schema/rule-registry.json. Do not edit directly.
+%
+% Registry facts shared by TS and Prolog so unknown rule names fail loudly
+% instead of silently returning empty results.
+
+:- module(rule_registry, [
+    known_rule/1,
+    rule_enforcement_class/2,
+    rule_implementation/2,
+    rule_predicate/2,
+    rule_predicate_arity/2,
+    rule_description/2
+]).
+
+known_rule('must-priority-coverage').
+known_rule('symbol-coverage').
+known_rule('symbol-traceability').
+known_rule('no-dangling-refs').
+known_rule('source-relationship-parity').
+known_rule('no-cycles').
+known_rule('required-fields').
+known_rule('deprecated-adr-no-successor').
+known_rule('domain-contradictions').
+known_rule('logic-coverage').
+known_rule('rule-safety').
+known_rule('rule-verifiability').
+known_rule('query-plan-safety').
+known_rule('req-status-vocabulary').
+known_rule('strict-fact-shape').
+known_rule('strict-req-fact-pairing').
+known_rule('predicate-verifiability').
+known_rule('strict-readiness').
+known_rule('semantic-completeness').
+
+rule_enforcement_class('must-priority-coverage', canonical).
+rule_enforcement_class('symbol-coverage', canonical).
+rule_enforcement_class('symbol-traceability', canonical).
+rule_enforcement_class('no-dangling-refs', canonical).
+rule_enforcement_class('source-relationship-parity', canonical).
+rule_enforcement_class('no-cycles', canonical).
+rule_enforcement_class('required-fields', canonical).
+rule_enforcement_class('deprecated-adr-no-successor', canonical).
+rule_enforcement_class('domain-contradictions', canonical).
+rule_enforcement_class('logic-coverage', canonical).
+rule_enforcement_class('rule-safety', canonical).
+rule_enforcement_class('rule-verifiability', canonical).
+rule_enforcement_class('query-plan-safety', canonical).
+rule_enforcement_class('req-status-vocabulary', canonical).
+rule_enforcement_class('strict-fact-shape', advisory).
+rule_enforcement_class('strict-req-fact-pairing', advisory).
+rule_enforcement_class('predicate-verifiability', advisory).
+rule_enforcement_class('strict-readiness', migration).
+rule_enforcement_class('semantic-completeness', migration).
+
+rule_implementation('must-priority-coverage', prolog).
+rule_implementation('symbol-coverage', prolog).
+rule_implementation('symbol-traceability', prolog).
+rule_implementation('no-dangling-refs', prolog).
+rule_implementation('source-relationship-parity', typescript).
+rule_implementation('no-cycles', prolog).
+rule_implementation('required-fields', prolog).
+rule_implementation('deprecated-adr-no-successor', prolog).
+rule_implementation('domain-contradictions', prolog).
+rule_implementation('logic-coverage', prolog).
+rule_implementation('rule-safety', prolog).
+rule_implementation('rule-verifiability', prolog).
+rule_implementation('query-plan-safety', typescript).
+rule_implementation('req-status-vocabulary', prolog).
+rule_implementation('strict-fact-shape', prolog).
+rule_implementation('strict-req-fact-pairing', prolog).
+rule_implementation('predicate-verifiability', prolog).
+rule_implementation('strict-readiness', prolog).
+rule_implementation('semantic-completeness', prolog).
+
+rule_predicate('must-priority-coverage', check_must_priority_coverage).
+rule_predicate('symbol-coverage', check_symbol_coverage).
+rule_predicate('symbol-traceability', check_symbol_traceability).
+rule_predicate('no-dangling-refs', check_no_dangling_refs).
+rule_predicate('no-cycles', check_no_cycles).
+rule_predicate('required-fields', check_required_fields).
+rule_predicate('deprecated-adr-no-successor', check_deprecated_adrs).
+rule_predicate('domain-contradictions', check_domain_contradictions).
+rule_predicate('logic-coverage', check_logic_coverage).
+rule_predicate('rule-safety', check_rule_safety).
+rule_predicate('rule-verifiability', check_rule_verifiability).
+rule_predicate('req-status-vocabulary', check_req_status_vocabulary).
+rule_predicate('strict-fact-shape', check_strict_fact_shape).
+rule_predicate('strict-req-fact-pairing', check_strict_req_fact_pairing).
+rule_predicate('predicate-verifiability', check_predicate_verifiability).
+rule_predicate('strict-readiness', check_strict_readiness).
+rule_predicate('semantic-completeness', check_semantic_completeness).
+
+rule_predicate_arity('must-priority-coverage', 1).
+rule_predicate_arity('symbol-coverage', 1).
+rule_predicate_arity('symbol-traceability', 2).
+rule_predicate_arity('no-dangling-refs', 1).
+rule_predicate_arity('no-cycles', 1).
+rule_predicate_arity('required-fields', 1).
+rule_predicate_arity('deprecated-adr-no-successor', 1).
+rule_predicate_arity('domain-contradictions', 1).
+rule_predicate_arity('logic-coverage', 1).
+rule_predicate_arity('rule-safety', 1).
+rule_predicate_arity('rule-verifiability', 1).
+rule_predicate_arity('req-status-vocabulary', 1).
+rule_predicate_arity('strict-fact-shape', 1).
+rule_predicate_arity('strict-req-fact-pairing', 1).
+rule_predicate_arity('predicate-verifiability', 1).
+rule_predicate_arity('strict-readiness', 1).
+rule_predicate_arity('semantic-completeness', 1).
+
+rule_description('must-priority-coverage', 'Every must-priority requirement must have a scenario and a test').
+rule_description('symbol-coverage', 'Production symbols need qualifying coverage via covered_by plus a canonical requirement/scenario test path').
+rule_description('symbol-traceability', 'Production symbols must directly implement requirements for ownership; covered_by is coverage only and executable_for is test identity only').
+rule_description('no-dangling-refs', 'All relationship targets must exist in the KB').
+rule_description('source-relationship-parity', 'Authored Markdown and relationship-shard edges must exactly match the compiled KB').
+rule_description('no-cycles', 'No circular dependency chains in requirements').
+rule_description('required-fields', 'All entities must have required fields').
+rule_description('deprecated-adr-no-successor', 'Deprecated ADRs must have a successor ADR that supersedes them').
+rule_description('domain-contradictions', 'Detect contradictions between requirements constraining the same fact').
+rule_description('logic-coverage', 'Require every explicitly declared atomic requirement claim to be grounded by a linked strict-property or predicate fact').
+rule_description('rule-safety', 'Stored Logic IR rules use only the typed, bounded, stratified vocabulary').
+rule_description('rule-verifiability', 'Requirement rule links resolve to safe rules and registered rule schemas').
+rule_description('query-plan-safety', 'Detect Prolog validation clauses that place negation before generator calls').
+rule_description('req-status-vocabulary', 'Requirement statuses must use the canonical vocabulary (open, in_progress, closed; legacy: active, approved); ADR statuses such as accepted silently fall out of the proof ladder').
+rule_description('strict-fact-shape', 'Detect malformed strict facts (facts with fact_kind that are missing required fields)').
+rule_description('strict-req-fact-pairing', 'Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics').
+rule_description('predicate-verifiability', 'Detect requires_predicate links that do not target ground fact_kind: predicate facts').
+rule_description('strict-readiness', 'Report strict contradiction-readiness levels for requirements that are still prose-only or otherwise not contradiction-ready').
+rule_description('semantic-completeness', 'Every inventoried assertive proposition is modeled or explicitly classified').

package/src/status.pl

@@ -19,12 +19,16 @@ status_meta_dict(StatusDict) :-
     snapshot_id(SnapshotId),
     synced_at(DataFile, SyncedAt),
     freshness_state(DataFile, Dirty, SyncState),
+    stale_reasons(StaleReasons, StaleReasonCount, StaleReasonsTruncated),
     StatusDict = _{
         branch: Branch,
         snapshotId: SnapshotId,
         syncedAt: SyncedAt,
         dirty: Dirty,
         syncState: SyncState,
+        staleReasons: StaleReasons,
+        staleReasonCount: StaleReasonCount,
+        staleReasonsTruncated: StaleReasonsTruncated,
         kbPath: KbPath,
         lastSyncSource: persisted
     }.
@@ -37,6 +41,9 @@ status_meta_dict(StatusDict) :-
         syncedAt: null,
         dirty: false,
         syncState: unknown,
+        staleReasons: [],
+        staleReasonCount: 0,
+        staleReasonsTruncated: false,
         kbPath: KbPath,
         lastSyncSource: unknown
     }.
@@ -104,9 +111,109 @@ freshness_state(DataFile, false, fresh) :-
     !.
 freshness_state(_, true, unknown).
 
+stale_reasons(Reasons, Count, Truncated) :-
+    entity_source_id_index(Index),
+    findall(Reason, stale_indexed_source_reason(Index, Reason), IndexedReasons),
+    findall(Reason, stale_knowledge_lane_reason(Index, Reason), KnowledgeReasons),
+    findall(Reason, stale_documentation_reason(Index, Reason), DocumentationReasons),
+    append(IndexedReasons, KnowledgeReasons, IndexedAndKnowledge),
+    append(IndexedAndKnowledge, DocumentationReasons, Reasons0),
+    sort(Reasons0, Sorted),
+    length(Sorted, Count),
+    (   Count > 200
+    ->  length(Reasons, 200), append(Reasons, _, Sorted), Truncated = true
+    ;   Reasons = Sorted, Truncated = false
+    ).
+
+stale_indexed_source_reason(Index, Reason) :-
+    attached_workspace_root(WorkspaceRoot),
+    kb:kb_indexed_sources(Sources),
+    kb_snapshot_time(SnapshotTime),
+    member(SourceAtom, Sources),
+    repo_relative_source(SourceAtom, RelativeSource),
+    directory_file_path(WorkspaceRoot, RelativeSource, SourcePath),
+    (   exists_file(SourcePath)
+    ->  time_file(SourcePath, FileTime),
+        FileTime > SnapshotTime,
+        Code = indexed_source_newer
+    ;   exists_directory(SourcePath)
+    ->  fail
+    ;   Code = indexed_source_missing
+    ),
+    entity_ids_for_source(Index, RelativeSource, EntityIds),
+    Reason = _{code: Code, path: RelativeSource, entityIds: EntityIds}.
+
+stale_knowledge_lane_reason(Index, Reason) :-
+    attached_workspace_root(WorkspaceRoot),
+    knowledge_lane(Lane),
+    directory_file_path(WorkspaceRoot, '.kb', KbRoot),
+    directory_file_path(KbRoot, Lane, LaneRoot),
+    exists_directory(LaneRoot),
+    kb_snapshot_time(SnapshotTime),
+    directory_tree_newer_path(LaneRoot, SnapshotTime, Path),
+    workspace_relative_path(WorkspaceRoot, Path, RelativePath),
+    entity_ids_for_source(Index, RelativePath, EntityIds),
+    Reason = _{code: knowledge_source_newer, path: RelativePath, entityIds: EntityIds}.
+
+stale_documentation_reason(Index, Reason) :-
+    attached_workspace_root(WorkspaceRoot),
+    directory_file_path(WorkspaceRoot, 'documentation', DocumentationRoot),
+    exists_directory(DocumentationRoot),
+    kb_snapshot_time(SnapshotTime),
+    directory_tree_newer_path(DocumentationRoot, SnapshotTime, Path),
+    workspace_relative_path(WorkspaceRoot, Path, RelativePath),
+    entity_ids_for_source(Index, RelativePath, EntityIds),
+    Reason = _{code: documentation_source_newer, path: RelativePath, entityIds: EntityIds}.
+
+kb_snapshot_time(SnapshotTime) :-
+    kb:kb_attached(KbPath),
+    (   directory_file_path(KbPath, 'CURRENT', DataFile), exists_file(DataFile)
+    ->  time_file(DataFile, SnapshotTime)
+    ;   directory_file_path(KbPath, 'kb.rdf', DataFile), exists_file(DataFile)
+    ->  time_file(DataFile, SnapshotTime)
+    ;   SnapshotTime = 0
+    ).
+
+% One pass over all entities builds the repo-relative source -> entity-id
+% lookup used by every stale reason. The previous per-path full enumeration
+% made kb_status_json quadratic (paths x entities) and could wedge large KBs
+% for minutes whenever mtime churn (e.g. a git checkout) marked whole lanes
+% newer than the snapshot.
+entity_source_id_index(Index) :-
+    findall(RelativeSource-Id,
+        (   kb_entity(Id, _Type, Props),
+            entity_source_property(Props, RawSource),
+            source_value_atom(RawSource, SourceAtom),
+            repo_relative_source(SourceAtom, RelativeSource),
+            Id \= ''
+        ),
+        Pairs),
+    sort(Pairs, Sorted),
+    group_pairs_by_key(Sorted, Grouped),
+    maplist(sorted_id_values, Grouped, GroupedEntries),
+    dict_create(Index, source_index, GroupedEntries).
+
+sorted_id_values(RelativeSource-Ids0, RelativeSource-Ids) :-
+    sort(Ids0, Ids).
+
+entity_ids_for_source(Index, RelativeSource, EntityIds) :-
+    (   get_dict(RelativeSource, Index, Ids)
+    ->  EntityIds = Ids
+    ;   EntityIds = []
+    ).
+
+entity_source_property(Props, RawSource) :-
+    memberchk(sourceFile=RawSource, Props),
+    !.
+entity_source_property(Props, RawSource) :-
+    memberchk(source=RawSource, Props).
+
 workspace_state_changed(SnapshotTime) :-
     workspace_source_changed(SnapshotTime),
     !.
+workspace_state_changed(SnapshotTime) :-
+    knowledge_lane_tree_changed(SnapshotTime),
+    !.
 workspace_state_changed(SnapshotTime) :-
     documentation_tree_changed(SnapshotTime),
     !.
@@ -126,6 +233,15 @@ workspace_source_changed(SnapshotTime) :-
     ),
     !.
 
+knowledge_lane_tree_changed(SnapshotTime) :-
+    attached_workspace_root(WorkspaceRoot),
+    knowledge_lane(Lane),
+    directory_file_path(WorkspaceRoot, '.kb', KbRoot),
+    directory_file_path(KbRoot, Lane, LaneRoot),
+    exists_directory(LaneRoot),
+    directory_tree_newer(LaneRoot, SnapshotTime),
+    !.
+
 documentation_tree_changed(SnapshotTime) :-
     attached_workspace_root(WorkspaceRoot),
     directory_file_path(WorkspaceRoot, 'documentation', DocumentationRoot),
@@ -140,6 +256,7 @@ directory_tree_newer(Path, SnapshotTime) :-
     time_file(Path, EntryTime),
     EntryTime > SnapshotTime,
     !.
+
 directory_tree_newer(Path, SnapshotTime) :-
     exists_directory(Path),
     directory_files(Path, Entries),
@@ -150,6 +267,21 @@ directory_tree_newer(Path, SnapshotTime) :-
     directory_tree_newer(ChildPath, SnapshotTime),
     !.
 
+directory_tree_newer_path(Path, SnapshotTime, Path) :-
+    exists_file(Path),
+    entity_documentation_file(Path),
+    \+ ignored_documentation_file(Path),
+    time_file(Path, EntryTime),
+    EntryTime > SnapshotTime.
+directory_tree_newer_path(Path, SnapshotTime, ChildPath) :-
+    exists_directory(Path),
+    directory_files(Path, Entries),
+    member(Entry, Entries),
+    Entry \= '.',
+    Entry \= '..',
+    directory_file_path(Path, Entry, Candidate),
+    directory_tree_newer_path(Candidate, SnapshotTime, ChildPath).
+
 attached_workspace_root(WorkspaceRoot) :-
     kb:kb_attached(KbPath),
     branch_workspace_from_kb_path(KbPath, _Branch, WorkspaceRoot).
@@ -219,8 +351,20 @@ source_value_atom(Val, Atom) :-
     term_string(Val, Str),
     atom_string(Atom, Str).
 
+knowledge_lane(requirements).
+knowledge_lane(scenarios).
+knowledge_lane(tests).
+knowledge_lane(facts).
+knowledge_lane(adr).
+knowledge_lane(flags).
+knowledge_lane(events).
+
 ignored_documentation_file(Path) :-
     file_base_name(Path, 'README.md').
+ignored_documentation_file(Path) :-
+    sub_atom(Path, _, _, _, '/tests/e2e/').
+ignored_documentation_file(Path) :-
+    sub_atom(Path, _, _, _, '/tests/benchmarks/').
 
 entity_documentation_file(Path) :-
     read_file_to_string(Path, Content, []),

package/src/symbol_classification.pl

@@ -0,0 +1,47 @@
+% Module: symbol_classification
+% GENERATED by scripts/generate-symbol-classification.mjs from
+% packages/core/schema/symbol-classification.json. Do not edit directly.
+%
+% Vocabulary facts shared by TS and Prolog so symbol classification cannot
+% drift between the extractors, the manifest gate, and validation.
+
+:- module(symbol_classification, [
+    allowed_granularity_reason/1,
+    coarse_granularity_reason/1,
+    symbol_role/1,
+    inferred_role/2,
+    traceability_relationship_type/1
+]).
+
+allowed_granularity_reason('config-artifact').
+allowed_granularity_reason('module-level-behavior').
+allowed_granularity_reason('extractor-miss').
+allowed_granularity_reason('legacy-link').
+allowed_granularity_reason('test-suite').
+
+coarse_granularity_reason('config-artifact').
+coarse_granularity_reason('module-level-behavior').
+coarse_granularity_reason('extractor-miss').
+coarse_granularity_reason('test-suite').
+
+symbol_role('behavioral').
+symbol_role('structural').
+symbol_role('type-shape').
+symbol_role('config').
+symbol_role('module').
+symbol_role('unknown').
+
+inferred_role('function', 'behavioral').
+inferred_role('class', 'behavioral').
+inferred_role('method', 'behavioral').
+inferred_role('property', 'behavioral').
+inferred_role('accessor', 'behavioral').
+inferred_role('interface', 'type-shape').
+inferred_role('type', 'type-shape').
+inferred_role('enum', 'type-shape').
+inferred_role('variable', 'unknown').
+inferred_role('unknown', 'unknown').
+
+traceability_relationship_type('implements').
+traceability_relationship_type('covered_by').
+traceability_relationship_type('executable_for').