Skip to content
Merged
Show file tree
Hide file tree
Changes from 13 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
533550b
docs: add design packet 0026 — braid shell family and plural settlement
flyingrobots Jun 11, 2026
94e8ec4
docs(0026): resolve open question 3 — AdmissionOutcomeKind::Plural al…
flyingrobots Jun 12, 2026
d0b6663
docs(0026): incorporate review enhancements — approved, RED next
flyingrobots Jun 12, 2026
ad9dbd1
feat(warp-core): add revelation posture core (E0-lite, design 0026)
flyingrobots Jun 12, 2026
7238ca5
test(warp-core): RED — plural settlement arm and retained plural arti…
flyingrobots Jun 12, 2026
fc6d65a
feat(warp-core): GREEN — lawful plural settlement over contended foot…
flyingrobots Jun 12, 2026
40413ce
fix(warp-core): canonical slot ordering for plural digests + E1a doct…
flyingrobots Jun 12, 2026
82d8906
test(warp-core): RED — theta_braid shell law and settlement emission …
flyingrobots Jun 12, 2026
7be9f3a
feat(warp-core): GREEN — settlement retains replayable theta_braid sh…
flyingrobots Jun 12, 2026
fe0de65
feat(warp-core): collapse transition + record-law hardening per theta…
flyingrobots Jun 12, 2026
7553c62
docs(0026): record E1 landed laws (empty-settlement, no-leak, family …
flyingrobots Jun 12, 2026
81501d1
fix(warp-core): theta_braid record-law tightening per #539 review
flyingrobots Jun 13, 2026
00233fc
fix(warp-core): BTR boundary_digest binds patch, outputs, and atom wr…
flyingrobots Jun 13, 2026
566d08e
fix(warp-core): resolve Code Lawyer review findings on theta_braid (0…
flyingrobots Jun 13, 2026
8bc3322
Merge branch 'main' into lane/0026-braid-shell-family
flyingrobots Jun 13, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
45 changes: 45 additions & 0 deletions crates/echo-wasm-abi/src/kernel_port.rs
Original file line number Diff line number Diff line change
Expand Up @@ -2065,6 +2065,21 @@ pub enum ConflictReason {
ParentFootprintOverlap,
/// The source and target lanes disagree on time-quantum assumptions.
QuantumMismatch,
/// An earlier suffix entry remained lawfully plural; later entries cannot
/// import past retained plurality.
PluralUpstream,
}

/// Revelation tier carried by retained settlement artifacts.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum RevelationPosture {
/// Local, weakly retained, disposable working tier.
Scratch,
/// Durable and replayable, sealed to the creating principal.
AuthorOnly,
/// Collaboratively admitted visibility.
Shared,
}

/// Parent-basis posture used while comparing or planning settlement.
Expand Down Expand Up @@ -2188,6 +2203,25 @@ pub struct ConflictArtifactDraft {
pub overlap_revalidation: Option<SettlementOverlapRevalidation>,
}

/// One lawful plural alternative retained at settlement scope.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct PluralAlternativeDraft {
/// Stable plural artifact identifier for this retained alternative.
pub plural_id: Vec<u8>,
/// Source provenance coordinate whose claim remains lawfully plural.
pub source_ref: ProvenanceRef,
/// Channels implicated by the plural source entry.
pub channel_ids: Vec<Vec<u8>>,
/// Count of contended slots over which plurality remained lawful.
pub overlapping_slot_count: u64,
/// Deterministic digest of the contended slots.
pub overlapping_slots_digest: Vec<u8>,
/// Plural-settlement policy that made this plurality lawful.
pub policy_id: Vec<u8>,
/// Revelation posture carried by the retained alternative.
pub posture: RevelationPosture,
}

/// One deterministic settlement decision.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
#[serde(tag = "kind", rename_all = "snake_case")]
Expand All @@ -2202,6 +2236,11 @@ pub enum SettlementDecision {
/// Residue detail.
artifact: ConflictArtifactDraft,
},
/// Source history retained as a lawful plural alternative.
PluralAlternative {
/// Retained plural alternative detail.
artifact: PluralAlternativeDraft,
},
}

/// Deterministic settlement evaluation for one strand against its base worldline.
Expand All @@ -2228,6 +2267,12 @@ pub struct SettlementResult {
pub appended_imports: Vec<ProvenanceRef>,
/// Target-worldline refs appended as `ConflictArtifact`.
pub appended_conflicts: Vec<ProvenanceRef>,
/// Target-worldline refs appended as `PluralArtifact`.
#[serde(default)]
pub appended_plurals: Vec<ProvenanceRef>,
/// Digest of the retained braid shell for this settlement act, if any.
#[serde(default)]
pub braid_shell_digest: Option<Vec<u8>>,
}

/// Compact shell for judging a witnessed suffix without transport or sync.
Expand Down
Loading
Loading