@lapxo/bound 0.2.4 → 0.2.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (250) hide show
  1. package/CITATION.cff +1 -1
  2. package/TARGET.bound +44 -39
  3. package/dist/cli/accept.js +72 -590
  4. package/dist/cli/act-result.js +3 -103
  5. package/dist/cli/args.js +3 -44
  6. package/dist/cli/custodian.js +2 -29
  7. package/dist/cli/host.js +4 -32
  8. package/dist/cli/names.js +1 -12
  9. package/dist/cli/native-descendant.js +1 -19
  10. package/dist/cli/native.js +3 -60
  11. package/dist/cli/observe.js +1 -13
  12. package/dist/cli/owner.js +3 -139
  13. package/dist/cli/pass.js +21 -321
  14. package/dist/cli/place.js +6 -282
  15. package/dist/cli/release-result.js +3 -80
  16. package/dist/cli/retained-judgment.js +1 -25
  17. package/dist/cli/standing-result.js +4 -19
  18. package/dist/cli/takes.js +10 -112
  19. package/dist/cli/verb.d.ts +1 -2
  20. package/dist/cli/verb.js +83 -684
  21. package/dist/engine/computation.js +2 -0
  22. package/dist/engine/conformance.js +4 -0
  23. package/dist/engine/encoding.js +1 -2
  24. package/dist/engine/index.d.ts +1 -13
  25. package/dist/engine/index.js +2 -11
  26. package/dist/engine/object.js +1 -38
  27. package/dist/engine/ports.js +2 -117
  28. package/dist/fold/admission-history.js +1 -17
  29. package/dist/fold/bootstrap-anchor.js +1 -28
  30. package/dist/fold/ceilings.js +1 -142
  31. package/dist/fold/claims.js +2 -132
  32. package/dist/fold/closed.js +24 -235
  33. package/dist/fold/configures.js +1 -25
  34. package/dist/fold/digests.js +10 -226
  35. package/dist/fold/evidence.js +1 -22
  36. package/dist/fold/fold-worker.js +1 -13
  37. package/dist/fold/kept.js +12 -173
  38. package/dist/fold/keys.js +3 -91
  39. package/dist/fold/laid.js +3 -90
  40. package/dist/fold/nos.js +1 -48
  41. package/dist/fold/object.js +1 -2
  42. package/dist/fold/observed.js +27 -534
  43. package/dist/fold/opened.js +1 -33
  44. package/dist/fold/own.js +3 -217
  45. package/dist/fold/paid.js +1 -92
  46. package/dist/fold/place-inputs.js +1 -70
  47. package/dist/fold/places.js +3 -100
  48. package/dist/fold/rank.js +1 -9
  49. package/dist/fold/reach.js +1 -83
  50. package/dist/fold/readers.js +6 -142
  51. package/dist/fold/receipts.js +1 -47
  52. package/dist/fold/region-declarations.js +1 -13
  53. package/dist/fold/region.js +8 -286
  54. package/dist/fold/release-policy.js +1 -101
  55. package/dist/fold/resolved.js +6 -145
  56. package/dist/fold/roles.js +2 -59
  57. package/dist/fold/second.js +4 -71
  58. package/dist/fold/shards.js +12 -100
  59. package/dist/fold/signed.js +3 -81
  60. package/dist/fold/signers.js +1 -54
  61. package/dist/fold/stranger.js +6 -24
  62. package/dist/fold/views.js +1 -66
  63. package/dist/fold/wire.js +1 -46
  64. package/dist/fold/zoom.js +3 -81
  65. package/dist/host/act-cost.js +1 -25
  66. package/dist/host/adapters/keys/ed25519.js +1 -30
  67. package/dist/host/adapters/modules/javascript.js +1 -50
  68. package/dist/host/adapters/transport/http.js +1 -28
  69. package/dist/host/admitted-place.js +1 -35
  70. package/dist/host/archive.js +1 -152
  71. package/dist/host/call-context.js +1 -14
  72. package/dist/host/capsule-process.js +2 -62
  73. package/dist/host/capsule.js +9 -171
  74. package/dist/host/cell-receipts.js +12 -128
  75. package/dist/host/commit-result.js +1 -5
  76. package/dist/host/content-needed.js +1 -8
  77. package/dist/host/content-store.js +1 -31
  78. package/dist/host/contextual-place.js +2 -72
  79. package/dist/host/digest.js +2 -15
  80. package/dist/host/hash.js +1 -9
  81. package/dist/host/host-controls.js +1 -19
  82. package/dist/host/in-process-act.js +3 -84
  83. package/dist/host/in-process-context.js +3 -91
  84. package/dist/host/in-process-root.js +6 -84
  85. package/dist/host/in-process.js +4 -55
  86. package/dist/host/index.d.ts +1 -15
  87. package/dist/host/index.js +1 -7
  88. package/dist/host/io.js +1 -11
  89. package/dist/host/lifetime.js +1 -79
  90. package/dist/host/located.js +6 -105
  91. package/dist/host/native/bounded-file.js +1 -32
  92. package/dist/host/native/command.js +1 -91
  93. package/dist/host/native/control-bridge-worker.js +2 -88
  94. package/dist/host/native/control-bridge.js +1 -110
  95. package/dist/host/native/control-selection.js +1 -32
  96. package/dist/host/native/custody.js +1 -91
  97. package/dist/host/native/deadline.js +1 -28
  98. package/dist/host/native/descendants.js +1 -528
  99. package/dist/host/native/generated-custodian.js +5 -267
  100. package/dist/host/native/generated.js +1 -379
  101. package/dist/host/native/image.js +1 -45
  102. package/dist/host/native/jobs.js +2 -148
  103. package/dist/host/native/loader.js +1 -269
  104. package/dist/host/native/materialize.js +1 -175
  105. package/dist/host/native/module-closure.js +1 -130
  106. package/dist/host/native/module-delivery.d.ts +1 -62
  107. package/dist/host/native/module-delivery.js +1 -151
  108. package/dist/host/native/module-syntax.js +1 -69
  109. package/dist/host/native/native-binary.js +1 -115
  110. package/dist/host/native/native-program.js +1 -72
  111. package/dist/host/native/node-jobs.js +3 -187
  112. package/dist/host/native/node-launch.js +1 -159
  113. package/dist/host/native/preload.js +1 -45
  114. package/dist/host/native/reading.js +1 -249
  115. package/dist/host/native/receipt-environment.js +1 -41
  116. package/dist/host/native/references.js +1 -30
  117. package/dist/host/native/root.js +1 -37
  118. package/dist/host/native/route.js +1 -216
  119. package/dist/host/native/runtime.js +1 -9
  120. package/dist/host/native-reader-context.js +1 -8
  121. package/dist/host/native-receiver.js +1 -25
  122. package/dist/host/objects.js +1 -38
  123. package/dist/host/order.js +1 -2
  124. package/dist/host/place-act-transaction.js +4 -78
  125. package/dist/host/place-clock-selection.js +5 -124
  126. package/dist/host/ports/ingress.js +2 -57
  127. package/dist/host/ports/local-act.js +5 -183
  128. package/dist/host/ports/place-act.js +1 -134
  129. package/dist/host/ports/publication.js +1 -56
  130. package/dist/host/ports/signing.js +1 -74
  131. package/dist/host/ports/store.js +1 -18
  132. package/dist/host/ports/transport.js +1 -48
  133. package/dist/host/process-lifetime.js +1 -17
  134. package/dist/host/provide.js +1 -183
  135. package/dist/host/read-only.js +1 -9
  136. package/dist/host/reading-closures.js +7 -227
  137. package/dist/host/reading-context.js +1 -53
  138. package/dist/host/reading-identity-types.js +0 -0
  139. package/dist/host/reading-identity.js +3 -0
  140. package/dist/host/reading-preparation.js +6 -0
  141. package/dist/host/reference-authenticated.d.ts +1 -40
  142. package/dist/host/reference-authenticated.js +3 -100
  143. package/dist/host/reference-contracts.js +1 -6
  144. package/dist/host/reference-export.js +6 -81
  145. package/dist/host/reference-native-api.d.ts +1 -3
  146. package/dist/host/reference-native-api.js +1 -3
  147. package/dist/host/reference-native.js +1 -74
  148. package/dist/host/reference-profile.js +1 -63
  149. package/dist/host/reference-standing.js +2 -18
  150. package/dist/host/reference.js +1 -24
  151. package/dist/host/refusals.js +2 -43
  152. package/dist/host/release.js +4 -256
  153. package/dist/host/root-clock-source.js +1 -307
  154. package/dist/host/selected-capsules.js +1 -50
  155. package/dist/host/selected-topos.js +1 -80
  156. package/dist/host/signature-era.js +1 -12
  157. package/dist/host/signing.js +2 -48
  158. package/dist/host/source-content.js +2 -111
  159. package/dist/host/standing-carrier.js +1 -18
  160. package/dist/host/standing-projection.js +1 -50
  161. package/dist/host/timing.js +1 -7
  162. package/dist/host/walk.js +20 -193
  163. package/dist/judge/late.js +1 -33
  164. package/dist/judge/take.js +2 -75
  165. package/dist/judge/widening.js +1 -25
  166. package/dist/land/act.js +8 -336
  167. package/dist/land/alias.js +1 -41
  168. package/dist/land/held.js +1 -23
  169. package/dist/land/inert.js +1 -33
  170. package/dist/land/leaving.js +1 -55
  171. package/dist/land/ledger.js +7 -188
  172. package/dist/land/owned.js +4 -66
  173. package/dist/land/sign.js +1 -53
  174. package/dist/land/standing-pin.js +1 -49
  175. package/dist/land/vouched.js +1 -112
  176. package/dist/land/withdraw.js +1 -24
  177. package/dist/observe/files.js +1 -88
  178. package/dist/observe/identity.js +1 -61
  179. package/dist/observe/match.js +1 -8
  180. package/dist/observe/regions.js +7 -306
  181. package/dist/observe/run.js +2 -41
  182. package/dist/observe/runner.js +4 -101
  183. package/dist/public-types.d.ts +1114 -0
  184. package/dist/render/capsule.js +1 -30
  185. package/dist/render/field.js +1 -40
  186. package/dist/render/names.js +1 -4
  187. package/dist/render/open.js +1 -61
  188. package/dist/render/page.js +1 -7
  189. package/dist/render/receipts.js +1 -47
  190. package/dist/render/shape.js +1 -74
  191. package/dist/render/target.js +4 -52
  192. package/dist/render/view.js +7 -197
  193. package/dist/vendor/50086958553b9376d600583f7dff354196bfeb41170fc6d1482ca7bea7c493e2.LICENSE +21 -0
  194. package/dist/vendor/b3e938d28f88a1851af303a40c749e12ebd5a686daac4f0b343b5cdd2e040419.LICENSE +21 -0
  195. package/dist/vendor/bundle.json +1 -0
  196. package/dist/vendor/library11.js +1 -0
  197. package/dist/vendor/object-provider.js +42 -0
  198. package/dist/vendor/runtime.js +38 -0
  199. package/dist/vendor/sources.json +1 -0
  200. package/dist/wasm/adapter.d.ts +1 -51
  201. package/dist/wasm/adapter.js +1 -180
  202. package/dist/wasm/node-worker.js +1 -13
  203. package/dist/wasm/object.js +1 -76
  204. package/dist/wasm/worker.js +1 -7
  205. package/docs/contracts/closure-delivery.md +1 -1
  206. package/docs/contracts/closure-delivery.publication.json +1 -1
  207. package/docs/contracts/conformance.json +142 -0
  208. package/docs/contracts/determinism.bound +9 -0
  209. package/docs/contracts/engine-object-projection.publication.json +1 -1
  210. package/docs/contracts/engine.md +21 -1
  211. package/docs/contracts/native-publication.inventory.json +2 -1
  212. package/docs/contracts/optional-wasm-adapter.publication.json +1 -1
  213. package/docs/contracts/reading-identity.md +37 -0
  214. package/docs/contracts/reading-identity.publication.json +25 -0
  215. package/docs/contracts/refusals.bound +51 -0
  216. package/docs/contracts/refusals.md +18 -3
  217. package/docs/contracts/refusals.publication.json +2 -2
  218. package/docs/contracts/views.md +8 -0
  219. package/docs/reference.md +1 -0
  220. package/package.json +23 -34
  221. package/receipts.bound +11627 -10323
  222. package/samples/reading-identity/no.json +20 -0
  223. package/samples/reading-identity/yes.json +46 -0
  224. package/vectors/native/reading-identity.vector.json +101 -0
  225. package/vectors/native/refusals.vector.json +104 -0
  226. package/vendor/syntax/LICENSE.md +7 -0
  227. package/vendor/syntax/parser.js +1 -0
  228. package/.github/workflows/release.yml +0 -67
  229. package/.github/workflows/test.yml +0 -35
  230. package/dist/engine/object.d.ts +0 -17
  231. package/dist/engine/ports.d.ts +0 -37
  232. package/dist/fold/claims.d.ts +0 -29
  233. package/dist/host/call-context.d.ts +0 -20
  234. package/dist/host/commit-result.d.ts +0 -6
  235. package/dist/host/in-process-act.d.ts +0 -82
  236. package/dist/host/in-process-context.d.ts +0 -46
  237. package/dist/host/in-process-root.d.ts +0 -117
  238. package/dist/host/in-process.d.ts +0 -41
  239. package/dist/host/native/module-closure.d.ts +0 -35
  240. package/dist/host/native-receiver.d.ts +0 -19
  241. package/dist/host/place-act-transaction.d.ts +0 -24
  242. package/dist/host/place-clock-selection.d.ts +0 -55
  243. package/dist/host/ports/local-act.d.ts +0 -44
  244. package/dist/host/ports/place-act.d.ts +0 -49
  245. package/dist/host/ports/publication.d.ts +0 -10
  246. package/dist/host/reference-export.d.ts +0 -33
  247. package/dist/host/reference-native.d.ts +0 -30
  248. package/dist/host/reference-profile.d.ts +0 -23
  249. package/dist/host/refusals.d.ts +0 -14
  250. package/dist/host/root-clock-source.d.ts +0 -86
@@ -1,44 +0,0 @@
1
- import type { PublicationStorage } from './publication.ts';
2
- /** Prepared and verified by the selected Topos admission/result contract. */
3
- export interface LocalActBundle {
4
- readonly records: string;
5
- readonly receipt: string;
6
- readonly placements?: readonly {
7
- place: string;
8
- records: string;
9
- }[];
10
- }
11
- export type LocalActVerification = (identity: string, bundle: LocalActBundle) => boolean;
12
- export declare const actLines: (bytes: string) => readonly string[];
13
- /** Journal integrity is not authority. Signature/coverage checks remain the
14
- * same admission boundary; the hash algorithm here is the stored seal's named
15
- * algorithm, not a new selection of the place's wire.
16
- */
17
- export declare function intactLocalAct(identity: string, bundle: LocalActBundle): boolean;
18
- /** Internal integrity key only, not an act identity or a wire profile. */
19
- export declare function committedInventoryFingerprint(rows: readonly {
20
- identity: string;
21
- bundle: LocalActBundle;
22
- }[]): string;
23
- /** Committed segments are part of this ledger, not a second authority source. */
24
- export declare function committedLocalActs(store: string): readonly {
25
- identity: string;
26
- bundle: LocalActBundle;
27
- }[];
28
- /** Fixed host observation only: one synchronous, coherent committed inventory.
29
- * It supplies no authority, verifier or async lifetime. Each outer invocation
30
- * rereads exact bodies before entering; current authorization still runs inside.
31
- */
32
- export declare function withCommittedLocalActObservation<T>(store: string, body: () => T): T;
33
- /** A public result is available only as a verified committed pair.
34
- * No writer-tail guess, newest-result selection or implicit authority.
35
- */
36
- export declare function localActResult(store: string, identity: string, verify: LocalActVerification): LocalActBundle | undefined;
37
- /** One publication point for records and their native result. Re-delivery
38
- * reads the original pair without preparation, signing or a new local epoch.
39
- * The caller must also integrate this boundary into admission-history readers;
40
- * this storage port alone does not activate a grammar or land authority.
41
- */
42
- export declare function commitLocalAct(store: string, identity: string, regions: readonly string[], prepare: () => Promise<LocalActBundle>, verify: LocalActVerification, storage?: PublicationStorage, signal?: AbortSignal): Promise<LocalActBundle & {
43
- readonly kind: 'landed' | 'once';
44
- }>;
@@ -1,49 +0,0 @@
1
- import { type TrustedClockContract, type PlaceReceipt, type RootContext } from '@lapxo/topos/core';
2
- import { type PlaceActPersistence } from '../place-act-transaction.ts';
3
- import { type PublicationStorage } from './publication.ts';
4
- export interface PlaceActBudget {
5
- readonly acts: number;
6
- readonly bytes: number;
7
- }
8
- export interface PlaceActHead {
9
- readonly place: string;
10
- readonly identity: string;
11
- readonly epoch: string;
12
- }
13
- export interface PlaceActSnapshot {
14
- readonly root: RootContext;
15
- readonly heads: readonly PlaceActHead[];
16
- }
17
- /** Fixed instrument construction, never supplied by world JSON. Historical
18
- * authentication permits inspection only; current() is read under Root guards. */
19
- export interface PlaceActTrust {
20
- readonly contract: TrustedClockContract;
21
- readonly initialHeads: readonly PlaceActHead[];
22
- readonly current: () => PlaceActSnapshot;
23
- readonly historical: (encoded: string) => TrustedClockContract;
24
- }
25
- export interface PlaceActBundle {
26
- readonly context: string;
27
- readonly receipts: readonly PlaceReceipt[];
28
- readonly originals: readonly (readonly string[])[];
29
- }
30
- /** Historical result reads never produce a current authorization permit. */
31
- export declare function placeActResult(store: string, id: string, trust: Pick<PlaceActTrust, 'historical'>, limits: PlaceActBudget): PlaceActBundle | undefined;
32
- /** Each receiver chain advances independently. Initial heads are explicit,
33
- * authenticated host inputs, not inferred zero or legacy global epochs. */
34
- export declare function placeActHeads(store: string, initial: readonly PlaceActHead[], trust: Pick<PlaceActTrust, 'historical' | 'contract'>, limits: PlaceActBudget): readonly PlaceActHead[];
35
- /** Context, exact original bytes and complete signed receipts have one visibility
36
- * point. Real Root guard exclusion spans final authority/head comparison and
37
- * publication; this does not activate a CLI profile or reinterpret local-act@1. */
38
- /** Native persistence adapter. The transaction below is also the CLI path. */
39
- export declare function nativePlaceActPersistence(store: string, storage?: PublicationStorage): PlaceActPersistence;
40
- export declare function commitPlaceAct(store: string, encoded: string, receipts: readonly PlaceReceipt[], trust: PlaceActTrust, limits: PlaceActBudget, storage?: PublicationStorage): Promise<PlaceActBundle & {
41
- readonly kind: "landed" | "once";
42
- readonly identity: string;
43
- }>;
44
- /** Enumerates only committed, historically authenticated carriers. Namespace
45
- * projection is a caller's separate pure operation, never current permission. */
46
- export declare function committedPlaceActResults(store: string, trust: Pick<PlaceActTrust, 'historical'>, limits: PlaceActBudget): readonly {
47
- identity: string;
48
- bundle: PlaceActBundle;
49
- }[];
@@ -1,10 +0,0 @@
1
- export interface PublicationStorage {
2
- publish(staged: string, committed: string): void;
3
- }
4
- export declare const nativePublicationStorage: PublicationStorage;
5
- /** Publish prepared bytes as one directory. No identity, grammar or authority
6
- * is inferred here. Readers address the committed name, never staging files.
7
- * A failure after rename is not evidence of rollback: the caller must retain
8
- * the uncertainty and allow a verified read of the committed name.
9
- */
10
- export declare function publishBundle(committed: string, files: Readonly<Record<string, string>>, storage?: PublicationStorage): void;
@@ -1,33 +0,0 @@
1
- import type { SigningPort } from '../engine/ports.ts';
2
- export { BoundRefusal as ReferenceExportRefusal } from './refusals.ts';
3
- /** Signs a public snapshot proof; never lands, refreshes evidence or changes the Root. */
4
- export declare function exportAuthenticatedReference(root: string, source: string, options?: {
5
- readonly key?: string;
6
- readonly keyFile?: string;
7
- readonly signer?: string;
8
- readonly hostSigner?: {
9
- readonly name: string;
10
- readonly sign: SigningPort;
11
- };
12
- }): Promise<{
13
- profile: string;
14
- reference: string;
15
- carrier: string;
16
- context: {
17
- snapshot: string;
18
- profile: string;
19
- semanticIdentity: string;
20
- epoch: number;
21
- proofScope: string;
22
- policy: string;
23
- formImplementation: string;
24
- signers: readonly import("@lapxo/topos/wire").Signer[];
25
- algorithms: readonly string[];
26
- contracts: {
27
- refusals: string;
28
- standing: string;
29
- };
30
- maxBytes: number;
31
- maxRecords: number;
32
- };
33
- }>;
@@ -1,30 +0,0 @@
1
- import { type ContentReadPort } from '../engine/ports.ts';
2
- export declare function authenticatedReferenceSelected(standing: readonly string[]): boolean;
3
- /** One context preparation shared by native export and native inspection. */
4
- export declare function prepareNativeReference(root: string): Promise<{
5
- policy: string;
6
- formImplementation: string;
7
- records: readonly import("@lapxo/topos/wire").ObjectRecord[];
8
- context: import("@lapxo/topos/wire").ObjectContext;
9
- configuration: Readonly<Record<string, string>>[];
10
- }>;
11
- export declare function openAuthenticatedReference(root: string, fragment: string, options?: {
12
- readonly signal?: AbortSignal;
13
- readonly content?: {
14
- readonly name: string;
15
- readonly read: ContentReadPort;
16
- };
17
- }): Promise<{
18
- backend: string;
19
- readings: readonly import("../engine/object.ts").ObjectReading[];
20
- contracts?: {
21
- refusals: string;
22
- standing: string;
23
- } | undefined;
24
- reference: import("./reference-profile.ts").StandingReference;
25
- records: readonly import("@lapxo/topos/wire").ObjectRecord[];
26
- semanticIdentity: string;
27
- authorityContextIdentity: string;
28
- semanticStanding: string;
29
- originalRecords: readonly string[];
30
- }>;
@@ -1,23 +0,0 @@
1
- /** reference-profile@1: platform URL parsing, no authority or transport effects. */
2
- export interface StandingReference {
3
- readonly class: 'standing';
4
- readonly algorithm: 'sha256';
5
- readonly digest: string;
6
- readonly blob: string;
7
- readonly source: string;
8
- }
9
- interface InspectionPort {
10
- readonly maxBytes: number;
11
- readonly readSemanticStanding: (bytes: string) => readonly string[];
12
- readonly semanticStandingBytes: (lines: readonly string[]) => string;
13
- readonly digestBytes: (bytes: Uint8Array) => string;
14
- }
15
- export declare function encodeReference(reference: StandingReference): string;
16
- export declare function decodeReference(fragment: string): StandingReference;
17
- export declare function inspectReferenceBytes(reference: StandingReference, bytes: Uint8Array, { maxBytes, readSemanticStanding, semanticStandingBytes, digestBytes }: InspectionPort): {
18
- reference: StandingReference;
19
- lines: readonly string[];
20
- standing: string;
21
- authentication: string;
22
- };
23
- export {};
@@ -1,14 +0,0 @@
1
- export interface RefusalEntry {
2
- readonly code: string;
3
- readonly category: string;
4
- readonly meaning: string;
5
- readonly next: string;
6
- }
7
- /** Stable code assigned at the cause. Details are diagnostic, never parsed as policy. */
8
- export declare class BoundRefusal extends Error {
9
- readonly code: string;
10
- constructor(code: string, diagnostic: string);
11
- }
12
- /** Pure machine contract reader. A catalog is data, never an authority grant. */
13
- export declare function readRefusalCatalog(text: string): readonly RefusalEntry[];
14
- export declare function describeRefusal(error: BoundRefusal, catalog: readonly RefusalEntry[]): RefusalEntry;
@@ -1,86 +0,0 @@
1
- import { type PlaceReceipt, type ClockBudget } from '@lapxo/topos/core';
2
- import type { PlaceActBudget } from './ports/place-act.ts';
3
- export interface RootClockSourceSelection {
4
- readonly selector: string;
5
- readonly profileSelector: string;
6
- readonly bootstrapCheckpoint: {
7
- scope: string;
8
- measure: string;
9
- };
10
- readonly resources: {
11
- bytes: number;
12
- lines: number;
13
- places: number;
14
- acts: number;
15
- };
16
- readonly inherited: {
17
- clock: ClockBudget;
18
- storage: PlaceActBudget;
19
- };
20
- }
21
- export declare function rootClockSource(root: string, selected: RootClockSourceSelection): {
22
- observation: Readonly<{
23
- history: readonly string[];
24
- anchor: import("@lapxo/topos/wire").Signer;
25
- algorithms: readonly string[];
26
- }>;
27
- resources: Readonly<{
28
- bytes: number;
29
- lines: number;
30
- places: number;
31
- acts: number;
32
- }>;
33
- authority: (encoded: string) => {
34
- anchor: import("@lapxo/topos/wire").Signer;
35
- history: readonly string[];
36
- checkpoint: string;
37
- };
38
- selection: import("./place-clock-selection.ts").HostClockSelection;
39
- trust: import("./ports/place-act.ts").PlaceActTrust;
40
- };
41
- /** Source mapping is an explicit Root declaration; absence never means a zero
42
- * clock or an inferred cursor. Existing legacy callers do not request it. */
43
- export declare function rootClockSelectionOf(live: readonly string[], anchor: import('@lapxo/topos/wire').Signer): RootClockSourceSelection;
44
- export declare function declaredRootClockSource(root: string): {
45
- observation: Readonly<{
46
- history: readonly string[];
47
- anchor: import("@lapxo/topos/wire").Signer;
48
- algorithms: readonly string[];
49
- }>;
50
- resources: Readonly<{
51
- bytes: number;
52
- lines: number;
53
- places: number;
54
- acts: number;
55
- }>;
56
- authority: (encoded: string) => {
57
- anchor: import("@lapxo/topos/wire").Signer;
58
- history: readonly string[];
59
- checkpoint: string;
60
- };
61
- selection: import("./place-clock-selection.ts").HostClockSelection;
62
- trust: import("./ports/place-act.ts").PlaceActTrust;
63
- };
64
- export declare function hasRootClockSource(root: string): boolean;
65
- export interface PortablePlaceContext {
66
- readonly identity: string;
67
- readonly context: string;
68
- readonly receipts: readonly PlaceReceipt[];
69
- readonly authority: {
70
- anchor: import('@lapxo/topos/wire').Signer;
71
- history: readonly string[];
72
- checkpoint: string;
73
- };
74
- }
75
- /** Historical inspection ONLY. The expected acting Root anchor and resource
76
- * selection come from the consumer's selected place, never from this packet.
77
- * This function returns data and cannot construct a current command permit. */
78
- export declare function inspectPortablePlaceContexts(encoded: string, expectedAnchor: import('@lapxo/topos/wire').Signer, selected: RootClockSourceSelection): {
79
- identity: string;
80
- context: import("@lapxo/topos/core").PlaceAct;
81
- }[];
82
- /** Prospective configuration is checked as authenticated Root history, never
83
- * against a prose birth condition. Initial heads are explicit typed selections;
84
- * stored committed chains cannot disappear when a selection is activated or
85
- * replaced. Preview reads only; the real admission repeats under its Root lock. */
86
- export declare function assertProspectiveRootClockSelection(root: string, signed: readonly string[]): void;