AAegis

Kernel Protocol · object specification

Pattern

A recurring reasoning behaviour observed across independent investigations. It accumulates evidence; it does not decide.

All objects

Judgment protocol · lifecycle

kernel/v1.2
  1. 01Snapshot
  2. 02Investigation
  3. 03Recommendation
  4. 04Outcome
  5. 05Reflection
  6. 06Pattern
  7. 07Candidate Principle
  8. 08Constitution
  9. loopFuture Recommendation

↺ Constitution constrains every future recommendation. The pipeline is a closed loop, not a line.

§1 Versioning

Versioned

Patterns split, merge and narrow as evidence accrues. Each shape change is a version so occurrence counts remain attributable.

§2 Allowed operations

  • DetectInstantiate on the first classified occurrence.
  • StrengthenAppend an occurrence and recompute confidence.
  • SplitDivide when occurrences describe two distinct behaviours.
  • MergeCombine duplicates under one key; both histories are preserved.
  • FadeMark decaying when no occurrence appears within the window.
  • RetireClose when the behaviour is provably gone or resolved.

§3 Forbidden operations

  • Promote itselfOnly the review gate may propose a principle.
  • Drop occurrencesOccurrence history is append-only.
  • Backdate detectionDetection time is the first classified occurrence, always.

§4 Relationship types

  • Pattern observed in → Investigation

    Each occurrence points at one investigation.

  • Pattern born from → Reflection

    Classification originates in a reflection.

  • Pattern proposes → Candidate Principle

    Crossing the evidence threshold opens a proposal.

  • Pattern related to → Pattern

    Shares a mechanism without being the same behaviour.

§5 Lifecycle events

  1. Observed

    One occurrence. No claim made.

  2. Monitoring

    Repeating; below the proposal threshold.

  3. Candidate

    Threshold crossed; a proposal exists.

  4. Decaying

    No recent occurrence.

  5. Retired

    Closed; history retained.

§6 State machine

initial: Observed · terminal: Retired

FromToTrigger
Observed→ Monitoringsecond independent occurrence
Monitoring→ Candidateoccurrence threshold crossed
Monitoring→ Decayingno occurrence within the window
Candidate→ Monitoringreview requested more evidence
Decaying→ Monitoringnew occurrence recorded
Decaying→ Retiredbehaviour provably gone
Candidate→ Retiredresolved by a ratified article

Forbidden transitions

  • Observed ⇸ CandidateGI-04: one occurrence never proposes a rule.
  • Retired ⇸ MonitoringRecurrence opens a new pattern key with its own history.

§7 Lineage

Ancestry — what must exist before this object

transitive: Reflection ← Investigation ← Outcome ← Snapshot ← Recommendation ← Constitution ← Candidate Principle

Descendants — what this object can produce

transitive: Candidate Principle → Constitution → Recommendation → Outcome → Reflection

§8 Invariants

  • A pattern never crosses to Candidate on fewer occurrences than the configured threshold.
  • Merging preserves both occurrence histories under the surviving key.

Global constraints binding this object

  • GI-04∀ p ∈ Pattern : state(p) = Candidate ⇒ |occurrences(p)| ≥ THRESHOLD

    A pattern may not propose a principle before crossing the evidence threshold.

  • GI-08∀ x ∈ Kernel : cites(x) ⊆ published(before(x))

    No object may cite evidence created after its own publication.