@real-life/trust-protocol 0.3.1 → 0.4.0

package/dist/trust/duties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"duties.js","sourceRoot":"","sources":["../../src/trust/duties.ts"],"names":[],"mappings":"AA0DA,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,kBAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACtF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEzC,yEAAyE;AACzE,MAAM,CAAC,MAAM,YAAY,GAA0B,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC,CAAA;AAC9F,sDAAsD;AACtD,MAAM,CAAC,MAAM,UAAU,GAA0B,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAA;AAExG,4CAA4C;AAC5C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,GAAe,EAAE,KAAa,EAAU,EAAE,CAAC,YAAY,GAAG,IAAI,KAAK,EAAE,CAAA;AAC/F,2DAA2D;AAC3D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,WAAW,KAAK,EAAE,CAAA;AAE1E;;uEAEuE;AACvE,MAAM,UAAU,WAAW,CAAE,CAAO;IAClC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAChC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAQ,CAAiB,CAAC,GAAG,CAAA;IACxD,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,eAAe,CAAA;IACxD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC1C,OAAO,IAAI,CAAA;AACb,CAAC;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAO,EAAE,KAAa,EAAE,GAAgB,EAAW,EAAE;IAC1E,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;IACxB,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,KAAK,GAAG,CAAC,IAAK,CAAyB,CAAC,KAAK,KAAK,KAAK,CAAA;AACrG,CAAC,CAAA;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAA4B,EAAE,GAAe,EAAW,EAAE,CACpF,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAA;AAElD;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAE,KAA4B,EAAE,CAAyB,EAAE,GAAe;IAC7F,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAA;IAC7B,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IAC3B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC;QAAE,OAAO,KAAK,CAAA;IAC1E,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,WAAW;QAAE,OAAO,IAAI,CAAA;IACtD,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,WAAW,CAAE,KAA4B,EAAE,SAAiB,EAAE,KAAa,EAAE,GAAe,EAAE,QAAyB,EAAE;IACvI,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAChC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QAAE,OAAO,EAAE,CAAA;IAChF,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;AAChE,CAAC;AAED;;6DAE6D;AAC7D,MAAM,UAAU,OAAO,CAAE,KAAkB,EAAE,QAAyB,EAAE;IACtE,MAAM,GAAG,GAAG,CAAC,CAAO,EAAW,EAAE;QAC/B,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAA;QAC1B,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,KAAK,CAAA;QAC9B,MAAM,KAAK,GAAI,CAAuB,CAAC,KAAK,CAAA;QAC5C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QAC5D,MAAM,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;YAAE,OAAO,KAAK,CAAA,CAAmB,wBAAwB;QACnF,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;QAC3B,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAClD,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM;QACtB,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QACnG,CAAC,CAAC,KAAK,CAAA;IACT,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAE,MAA6B,EAAE,KAAkB,EAAE,QAAyB,EAAE;IAC3G,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;IACrB,MAAM,MAAM,GAAW,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;IACnC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,MAAM,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;QACjC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,SAAQ;QACzB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC1F,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC;gBAAE,SAAQ;YAC/D,IAAI,GAAG,IAAI,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC;gBAAE,SAAQ;YAC5C,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAE,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC1B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CAAE,KAAkB,EAAE,IAAuB,EAAE,KAAa,EAAE,SAAiB;IACvG,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;SACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAE,CAAuB,CAAC,KAAK,CAAC,CAAC;SACvF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAE,CAAuB,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,OAAO,CAAE,CAAuB,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9G,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAA;IAC9B,MAAM,MAAM,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAA;IAClC,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAA2B,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAA;IAC1F,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,mEAAmE;QACnE,2CAA2C;QAC3C,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QACzC,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAA;QACpF,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAI,IAAiB,CAAC,CAAA;QAC7F,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAA;IACvG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;QAC5E,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;QAClC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IAC7E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IAC3E,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC9E,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAgB,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9E,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IAChG,CAAC;IACD,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,CAAA;AAC7B,CAAC;AAED;mDACmD;AACnD,MAAM,UAAU,UAAU,CAAE,KAA4B,EAAE,KAAa,EAAE,KAAsB;IAC7F,MAAM,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;IACpC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC;QAAE,OAAO,EAAE,CAAA;IAClF,OAAO,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAE,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAE,OAAiD;IAC/E,MAAM,EAAE,GAAG,CAAC,CAAO,EAAc,EAAE,CAAE,CAAiB,CAAC,GAAG,CAAA;IAC1D,OAAO;QACL,CAAC,EAAE,CAAC;QACJ,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YACrB,MAAM,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;YAC3B,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAClE,CAAC;QACD,KAAK,CAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI;YAC3B,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;YACpB,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,KAAoB,EAAE,CAAA;YACpE,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;YACtB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QACxD,CAAC;KACF,CAAA;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAA4B,EAAE,CAAoB,EAAE,GAAe,EAAY,EAAE,CAC/G,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA","sourcesContent":["// trust/duties — the class duties of Section 2a in one place (lib Stage 2,\n// PR 5): when a trust class is on for a relationship (2850, 6595), which\n// duties deliver it, and the one open / drop / move logic every\n// transition that changes settings, entries or relationships runs: the\n// Trust act and the class settings (2770–2840), a merge (2160), a split\n// (2115), a departure (2260), the entry commit of a verification and a\n// chaining (6a.4). The anchor mapping (6370, 6410, 6596), the star\n// classes (5.4) and the profile (6455, 6465) share it.\n//\n// Rule numbers: bare four-digit numbers are RLTP-TRU (trust-layer.md).\n//\n// The model. A class is on for a relationship when it is on toward the\n// entry the relationship's verifications go to (2145, 2146), the\n// relationship is live, and, except for the star and the blinded group\n// star, it does not lag (6595). How a class reaches a relationship:\n//   - star, blinded and sealed group star: the reconciliation of 5.4\n//     (trust/star.ts, trust/group-star.ts). Its sweep reads the settings\n//     through its view: a class turning on adds a pending key (the\n//     engine's wake names `when`), a class turning off stops production\n//     and leaves the baseline as it is (5830, 5760), so turning on again\n//     re-evaluates against that baseline (5850). No duty\n//   - anchor mapping: class-on/1 `class-on:anchorMapping:<relId>` (2850)\n//     and reissue-mapping/1 (6370, 6596)\n//   - profile: class-on/1 `class-on:profile:<relId>` (2850, 6455) and\n//     profile/1 `profile:<relId>` for a new revision (6455), both issued by\n//     trust/profile.ts\n//\n// The follow rule (followClasses), run on (before, after) of a transition:\n//   open  per live relationship and duty class: on for it now and not\n//         before (it turned on toward the entry, or the relationship\n//         ceased to lag, or it is new to an entry the class is on toward)\n//         opens the class-on duty, unless one is open\n//   drop  per relationship: a duty class off toward the entry its\n//         verifications go to drops every duty of that class owed on it\n//         (6410, 2790: nothing more while off). A relationship that only\n//         started to lag keeps its duties: the anchor mapping's class-on\n//         is fulfilled without sending, its re-issue still goes (6596)\n//   move  at a chaining, every class duty owed on the chain and on the\n//         appended relationship moves to the chain under the entry that\n//         takes its verifications (moveDuties)\n//\n// Choices this file makes where note and spec leave them open:\n//   - the profile class-on duty opens only where an own profile exists\n//     (state.profile.body): 2850 and 6455 owe \"the class's current\n//     artifact\", and before the first profile there is none. A profile set\n//     later goes out by its own revision duty (6455, trust/profile.ts)\n//   - 6465 (the profile on the new head after a chaining, a SHOULD) is\n//     followed: the chaining opens the profile's class-on duty on the\n//     chain where the class is on for it (afterChain)\n//   - a duty of a kind or version this library does not handle is opaque:\n//     classOfDuty names no class for it, so nothing here moves, drops or\n//     opens anything for it (note §2.1: unknown kinds are kept as they are)\n//   - which transitions may drop a duty is listed in invariants.ts\n//     (dutyDrops): fulfilment by resume, the drop rule above, departure of\n//     its relationship, the move at a chaining, a merge duty that no longer\n//     holds, and the continuity flow's own ends\nimport type { DutyHandler } from '../engine.js'\nimport type { ClassOnDuty, Contact, Duty, HolderState, ProfileDuty, ReissueMappingDuty, Relationship, TrustClass } from '../state.js'\nimport { classOnToward, entryOf, entryRelationships, lags, liveRel } from './state.js'\nimport { isKnownDuty } from '../codec.js'\n\n/** The classes a class-on duty delivers (2850), in the table's order. */\nexport const DUTY_CLASSES: readonly TrustClass[] = Object.freeze(['anchorMapping', 'profile'])\n/** The classes the reconciliation of 5.4 delivers. */\nexport const RECONCILED: readonly TrustClass[] = Object.freeze(['star', 'groupStar', 'sealedGroupStar'])\n\n/** The class-on duty's deterministic id. */\nexport const classOnId = (cls: TrustClass, relId: string): string => `class-on:${cls}:${relId}`\n/** The profile revision duty's deterministic id (6455). */\nexport const profileDutyId = (relId: string): string => `profile:${relId}`\n\n/** The class a duty delivers on one relationship, or null for every other\n *  kind — and for a known kind at a version this library does not handle,\n *  which stays opaque: never moved, dropped or checked (note §2.1). */\nexport function classOfDuty (d: Duty): TrustClass | null {\n  if (!isKnownDuty(d)) return null\n  if (d.kind === 'class-on') return (d as ClassOnDuty).cls\n  if (d.kind === 'reissue-mapping') return 'anchorMapping'\n  if (d.kind === 'profile') return 'profile'\n  return null\n}\n\n/** Is `d` a duty of a duty class owed on `relId` (of class `cls`, where given)? */\nexport const owedOn = (d: Duty, relId: string, cls?: TrustClass): boolean => {\n  const c = classOfDuty(d)\n  return c !== null && (cls === undefined || c === cls) && (d as { relId?: unknown }).relId === relId\n}\n\n/** Whether the class has an artifact to send now: the profile once one exists. */\nexport const hasArtifact = (state: Readonly<HolderState>, cls: TrustClass): boolean =>\n  cls !== 'profile' || state.profile.body !== null\n\n/**\n * Whether `cls` is on for relationship `r` (2850, 6595): on toward the\n * entry its verifications go to, the relationship live, and, except for\n * the star and the blinded group star, not lagging in that entry.\n */\nexport function onFor (state: Readonly<HolderState>, r: Readonly<Relationship>, cls: TrustClass): boolean {\n  if (!liveRel(r)) return false\n  const c = entryOf(state, r)\n  if (!c || !c.relIds.includes(r.id) || !classOnToward(c, cls)) return false\n  if (cls === 'star' || cls === 'groupStar') return true\n  return !lags(r, entryRelationships(state, c))\n}\n\n/** A class-on duty of `cls` on `relId`, unless one is open in `state` or among `extra`. */\nexport function classOnDuty (state: Readonly<HolderState>, contactId: string, relId: string, cls: TrustClass, extra: readonly Duty[] = []): ClassOnDuty[] {\n  const id = classOnId(cls, relId)\n  if (Object.hasOwn(state.duties, id) || extra.some((d) => d.id === id)) return []\n  return [{ kind: 'class-on', v: 1, id, contactId, relId, cls }]\n}\n\n/** The drop rule (6410, 2790): every duty of a duty class owed on a\n *  relationship whose entry has that class off goes; `extra` (duties a\n *  transition is about to open) is filtered the same way. */\nexport function dropOff (state: HolderState, extra: readonly Duty[] = []): { state: HolderState, extra: Duty[] } {\n  const off = (d: Duty): boolean => {\n    const cls = classOfDuty(d)\n    if (cls === null) return false\n    const relId = (d as { relId: string }).relId\n    if (!Object.hasOwn(state.relationships, relId)) return false\n    const r = state.relationships[relId]\n    if (r.chainedInto !== null) return false                   // moved at the chaining\n    const c = entryOf(state, r)\n    return c !== undefined && !classOnToward(c, cls)\n  }\n  const gone = Object.values(state.duties).filter(off)\n  const next = gone.length\n    ? { ...state, duties: Object.fromEntries(Object.entries(state.duties).filter(([, d]) => !off(d))) }\n    : state\n  return { state: next, extra: extra.filter((d) => !off(d)) }\n}\n\n/**\n * The follow rule (see the header) over a transition from `before` to\n * `after`: the drop rule on `after`, then a class-on duty for every live\n * relationship and duty class on for it now and not before. `extra` are\n * the duties the transition opens besides (kept, deduplicated against);\n * the result's `duties` are those and the new ones.\n */\nexport function followClasses (before: Readonly<HolderState>, after: HolderState, extra: readonly Duty[] = []): { state: HolderState, duties: Duty[] } {\n  const d = dropOff(after, extra)\n  const state = d.state\n  const duties: Duty[] = [...d.extra]\n  for (const id of Object.keys(state.relationships).sort()) {\n    const r = state.relationships[id]\n    if (!liveRel(r)) continue\n    const was = Object.hasOwn(before.relationships, id) ? before.relationships[id] : undefined\n    for (const cls of DUTY_CLASSES) {\n      if (!hasArtifact(state, cls) || !onFor(state, r, cls)) continue\n      if (was && onFor(before, was, cls)) continue\n      duties.push(...classOnDuty(state, entryOf(state, r)!.id, id, cls, duties))\n    }\n  }\n  return { state, duties }\n}\n\n/**\n * The move at a chaining (6a.4, 2146): the class duties owed on `from`\n * (the chain, then the appended relationship) go to `relId` under\n * `contactId`, none dropped. Several re-issues are one (6596: one delivery\n * meets every re-issue owed), its urgency kept: the earliest dueAt (absent:\n * at once) and the most urgent awaited head (null, due at once, wins; else\n * the first's); several class-on duties of one class are one; several\n * profile duties are one, at the highest revision.\n */\nexport function moveDuties (state: HolderState, from: readonly string[], relId: string, contactId: string): HolderState {\n  const owed = Object.values(state.duties)\n    .filter((d) => classOfDuty(d) !== null && from.includes((d as { relId: string }).relId))\n    .sort((a, b) => from.indexOf((a as { relId: string }).relId) - from.indexOf((b as { relId: string }).relId))\n  if (!owed.length) return state\n  const duties = { ...state.duties }\n  for (const d of owed) delete duties[d.id]\n  const reissues = owed.filter((d): d is ReissueMappingDuty => d.kind === 'reissue-mapping')\n  if (reissues.length) {\n    // urgency kept: due at the earliest of them (absent: at once), not\n    // waiting where any was due without a wait\n    const { dueAt: _, ...base } = reissues[0]\n    const awaitHead = reissues.some((d) => d.awaitHead === null) ? null : base.awaitHead\n    const dues = reissues.map((d) => d.dueAt)\n    const dueAt = dues.some((x) => x === undefined) ? undefined : Math.min(...(dues as number[]))\n    duties[base.id] = { ...base, contactId, relId, awaitHead, ...(dueAt !== undefined ? { dueAt } : {}) }\n  }\n  for (const d of owed.filter((x): x is ClassOnDuty => x.kind === 'class-on')) {\n    const id = classOnId(d.cls, relId)\n    if (!Object.hasOwn(duties, id)) duties[id] = { ...d, id, contactId, relId }\n  }\n  const profiles = owed.filter((d): d is ProfileDuty => d.kind === 'profile')\n  if (profiles.length) {\n    const top = profiles.reduce((a, b) => (BigInt(b.rev) > BigInt(a.rev) ? b : a))\n    const id = profileDutyId(relId)\n    const held = Object.hasOwn(duties, id) ? duties[id] as ProfileDuty : undefined\n    if (!held || BigInt(top.rev) > BigInt(held.rev)) duties[id] = { ...top, id, contactId, relId }\n  }\n  return { ...state, duties }\n}\n\n/** 6465: after a chaining, the profile's class-on duty on the chain where\n *  the class is on for it and a profile exists. */\nexport function afterChain (state: Readonly<HolderState>, relId: string, extra: readonly Duty[]): Duty[] {\n  const r = state.relationships[relId]\n  if (!r || !hasArtifact(state, 'profile') || !onFor(state, r, 'profile')) return []\n  return classOnDuty(state, entryOf(state, r)!.id, relId, 'profile', extra)\n}\n\n/**\n * The class-on/1 handler: a reconciled class is fulfilled without sending\n * (its sweep runs in the same resume after the duties, 5850); a class with\n * a handler in `byClass` runs it (the anchor mapping, the profile); any\n * other waits.\n */\nexport function classOnHandler (byClass: Partial<Record<TrustClass, DutyHandler>>): DutyHandler {\n  const of = (d: Duty): TrustClass => (d as ClassOnDuty).cls\n  return {\n    v: 1,\n    prepare: (ctx, duty) => {\n      const h = byClass[of(duty)]\n      return h?.prepare ? h.prepare(ctx, duty) : Promise.resolve(null)\n    },\n    apply (state, duty, ctx, when) {\n      const cls = of(duty)\n      if (RECONCILED.includes(cls)) return { state: state as HolderState }\n      const h = byClass[cls]\n      return h ? h.apply(state, duty, ctx, when) : 'not-due'\n    },\n  }\n}\n\n/** Every relationship of `c` the class is on for (2820, 2850): for tests and views. */\nexport const onRelationships = (state: Readonly<HolderState>, c: Readonly<Contact>, cls: TrustClass): string[] =>\n  entryRelationships(state, c).filter((r) => onFor(state, r, cls)).map((r) => r.id)\n"]}

package/dist/trust/entries.d.ts

@@ -0,0 +1,139 @@
+import type { CommandDef, DutyHandler, EventDraft, IdentityRename, Refusal, Applied } from '../engine.js';
+import type { Contact, HolderState, MergeDuty, Setting, TrustClass } from '../state.js';
+/** The trust module's entry commands. */
+export declare const ENTRY_COMMANDS: Readonly<{
+    readonly merge: "trust.merge";
+    readonly depart: "trust.depart";
+}>;
+export interface TrustMergeInput {
+    contactIds: string[];
+}
+export interface TrustDepartInput {
+    contactId: string;
+    relationshipId?: string;
+}
+/**
+ * The entry's anchor head from what its relationships hold (6560): the
+ * newest of the heads its feeding relationships hold; among several
+ * (a manual merge before its split) the one it holds, else `prefer`, else
+ * the smallest. Where a relationship of it feeds another entry (2145), the
+ * head only moves forward: with no feeding head, or none beyond it, it
+ * stays. With neither, the entry has none.
+ */
+export declare function settleHead(state: Readonly<HolderState>, c: Readonly<Contact>, prefer?: string | null): Contact;
+/** 2250: pending entries join the set in position order while it has room. */
+export declare function admitPending(state: Readonly<HolderState>, bound: bigint): HolderState;
+interface RewriteOpts {
+    /** the relationships whose keys move: their tuples' entryId, their
+     *  duties, the recipients of their documents; default all */
+    rels?: (relId: string) => boolean;
+    /** also the keys that name the person rather than a relationship: the
+     *  matches of accepted stars, prompts, the entry ids of merge duties */
+    global?: boolean;
+    /** also the members of the star baselines and in-flight views (a
+     *  rename: nothing diverges by it) */
+    baselines?: boolean;
+    /** collects the rename for the engine, which follows it in the stored
+     *  acks (engine.ts Applied.renames) */
+    renames?: IdentityRename[];
+}
+/**
+ * Every holder-local key that resolved through an identity in `ids` now
+ * resolves through `to` (2100, 2140), within `opts`: tuples' entryId,
+ * duties, the recipients of issued documents, and with `global` the
+ * matches of accepted stars and merge duties; and the contact references
+ * of the membership and introduction state and of prompts, each with the
+ * relationship of the tuple it was made on (2080): by the own rkid it
+ * arrived or went on (joining preludes and invites, groups' preludes,
+ * invitations and roster) or the own pair label toward the mediator
+ * (encounter.offers by their pin, the introducer provenance.via by
+ * viaPin, memory.vouchedBy by memory.vouchedPin), a prompt with the
+ * record it asks about; one that names no tuple follows with `global`.
+ * Contacts are the caller's: their ids
+ * and aliases are what the rewrite follows. The stored acks follow
+ * through the engine (opts.renames): only the core writes the effect
+ * cache, and their sealed envelopes stay as they are. Parts without a
+ * change keep their identity.
+ */
+export declare function rewriteIdentity(state: Readonly<HolderState>, ids: readonly string[], to: string, opts?: RewriteOpts): HolderState;
+/** 2160: per class `off` where any held `off`, else `on` where any held
+ *  `on`, else `default`; per (group, contact) the same, every per-group
+ *  `on` reset where the merged sealed group star is `off` (5450). */
+export declare function mergeSettings(cs: readonly Readonly<Contact>[]): {
+    settings: Record<TrustClass, Setting>;
+    groupSettings: Record<string, Setting>;
+};
+/**
+ * Whether entries can be one (6605, 6560): no relationship of one holds
+ * another binding (or another successor) for an anchor a relationship of
+ * another holds, and their anchor heads lie on one chain of the links
+ * their relationships hold, so the merged entry has exactly one.
+ */
+export declare function mergeable(state: Readonly<HolderState>, cs: readonly Readonly<Contact>[]): boolean;
+/**
+ * The atomic merge of entries (2140, 2150, 2160, 2180): one entry at the
+ * earliest position under the survivor's identity, the others its
+ * aliases; admitted where any was, so `k` admitted ones free `k−1` slots,
+ * which the next pending entries take in position order in the same step;
+ * every key of a merged id rewritten to the survivor; the anchor head
+ * settled (6560). Per-tuple keys stay with their tuples.
+ */
+export declare function mergeEntries(state: Readonly<HolderState>, cs: readonly Readonly<Contact>[], bound: bigint): Applied & {
+    survivor: string;
+};
+/** The merge onto a chosen survivor under identity `id` (its id or one of its aliases). */
+export declare function mergeInto(state: Readonly<HolderState>, survivor: Readonly<Contact>, id: string, gone: readonly Readonly<Contact>[], bound: bigint): Applied & {
+    survivor: string;
+};
+/**
+ * The merge duties a commit on `relId` opens (2230): where the
+ * relationship stands behind another entry (2145) that is now mergeable
+ * with its own, and, with `net`, the convergence net of rung 2 for an
+ * accepted anchor mapping (6520–6605). One duty for every entry that
+ * joins, in position order while they stay mergeable together (2150).
+ */
+export declare function mergeDutiesAfter(before: Readonly<HolderState>, after: HolderState, relId: string, opts: {
+    net: boolean;
+}): {
+    state: HolderState;
+    duties: MergeDuty[];
+};
+/** merge/1: the merge as one step after the verification commit (2230),
+ *  re-checked against its witness; where it no longer holds, the duty is
+ *  dropped without a trace (a later verification may open another). */
+export declare const mergeDuty: (bound: bigint) => DutyHandler;
+/** The chain aliases of a relationship (2090): the identities of the
+ *  husks chained into it. */
+export declare function chainAliases(state: Readonly<HolderState>, relId: string): string[];
+/**
+ * 2080: the first verified mapping on `relId`, already in `mid`, leaves it
+ * holding no anchor the other relationships of its entry hold, or another
+ * binding for one they hold: the split, else null. The entry keeps its
+ * position, status, the remaining relationships with their aliases and
+ * its settings, frees no slot and settles its anchor head; the leaver
+ * takes its identity, its chain aliases and the settings of 2115, and
+ * holds no position until the caller's entry commit (2090).
+ */
+export declare function splitIfUnlinked(before: Readonly<HolderState>, mid: Readonly<HolderState>, relId: string): {
+    state: HolderState;
+    event: EventDraft;
+    renames: IdentityRename[];
+} | null;
+/** The split of `relId` from its entry (2080–2115). */
+export declare function splitOff(state: Readonly<HolderState>, relId: string): {
+    state: HolderState;
+    event: EventDraft;
+    renames: IdentityRename[];
+};
+/**
+ * Departure: the relationships leave the state with their husks; an entry
+ * left without relationships is removed (pending: 2260; admitted: its
+ * slot frees, 2250), one that keeps some drops their aliases, takes a new
+ * identity where theirs was its own (2100) and settles its anchor head
+ * (2080); pending entries are admitted in position order in the same
+ * step, so the set changes once (5860).
+ */
+export declare function depart(state: Readonly<HolderState>, input: TrustDepartInput, bound: bigint): Applied | Refusal;
+export declare function entryCommands(bound: bigint): Record<string, CommandDef>;
+export {};
+//# sourceMappingURL=entries.d.ts.map

package/dist/trust/entries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entries.d.ts","sourceRoot":"","sources":["../../src/trust/entries.ts"],"names":[],"mappings":"AA8FA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACzG,OAAO,KAAK,EAAe,OAAO,EAAa,WAAW,EAAE,SAAS,EAA4C,OAAO,EAAY,UAAU,EAAS,MAAM,aAAa,CAAA;AAe1K,yCAAyC;AACzC,eAAO,MAAM,cAAc;;;EAA2E,CAAA;AAEtG,MAAM,WAAW,eAAe;IAAG,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE;AACzD,MAAM,WAAW,gBAAgB;IAAG,SAAS,EAAE,MAAM,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAAE;AAIhF;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAE,MAAM,GAAG,IAAW,GAAG,OAAO,CAiBrH;AAED,8EAA8E;AAC9E,wBAAgB,YAAY,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAWtF;AAID,UAAU,WAAW;IACnB;iEAC6D;IAC7D,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACjC;4EACwE;IACxE,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB;0CACsC;IACtC,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB;2CACuC;IACvC,OAAO,CAAC,EAAE,cAAc,EAAE,CAAA;CAC3B;AA0CD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,eAAe,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAE,WAAgB,GAAG,WAAW,CA2FtI;AAID;;qEAEqE;AACrE,wBAAgB,aAAa,CAAE,EAAE,EAAE,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAUlJ;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,OAAO,CAOlG;AAeD;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAW3I;AAED,2FAA2F;AAC3F,wBAAgB,SAAS,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CA0BnL;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAE,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE;IAAE,GAAG,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,SAAS,EAAE,CAAA;CAAE,CAyCvK;AAgCD;;uEAEuE;AACvE,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,KAAG,WAUxC,CAAA;AAIF;6BAC6B;AAC7B,wBAAgB,YAAY,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAMnF;AA4BD;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAE,MAAM,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,cAAc,EAAE,CAAA;CAAE,GAAG,IAAI,CAetL;AAED,uDAAuD;AACvD,wBAAgB,QAAQ,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG;IAAE,KAAK,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,cAAc,EAAE,CAAA;CAAE,CA4B3I;AA4BD;;;;;;;GAOG;AACH,wBAAgB,MAAM,CAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,CA4D/G;AAID,wBAAgB,aAAa,CAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CA+BxE"}