@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.
- package/CITATION.cff +1 -1
- package/TARGET.bound +44 -39
- package/dist/cli/accept.js +72 -590
- package/dist/cli/act-result.js +3 -103
- package/dist/cli/args.js +3 -44
- package/dist/cli/custodian.js +2 -29
- package/dist/cli/host.js +4 -32
- package/dist/cli/names.js +1 -12
- package/dist/cli/native-descendant.js +1 -19
- package/dist/cli/native.js +3 -60
- package/dist/cli/observe.js +1 -13
- package/dist/cli/owner.js +3 -139
- package/dist/cli/pass.js +21 -321
- package/dist/cli/place.js +6 -282
- package/dist/cli/release-result.js +3 -80
- package/dist/cli/retained-judgment.js +1 -25
- package/dist/cli/standing-result.js +4 -19
- package/dist/cli/takes.js +10 -112
- package/dist/cli/verb.d.ts +1 -2
- package/dist/cli/verb.js +83 -684
- package/dist/engine/computation.js +2 -0
- package/dist/engine/conformance.js +4 -0
- package/dist/engine/encoding.js +1 -2
- package/dist/engine/index.d.ts +1 -13
- package/dist/engine/index.js +2 -11
- package/dist/engine/object.js +1 -38
- package/dist/engine/ports.js +2 -117
- package/dist/fold/admission-history.js +1 -17
- package/dist/fold/bootstrap-anchor.js +1 -28
- package/dist/fold/ceilings.js +1 -142
- package/dist/fold/claims.js +2 -132
- package/dist/fold/closed.js +24 -235
- package/dist/fold/configures.js +1 -25
- package/dist/fold/digests.js +10 -226
- package/dist/fold/evidence.js +1 -22
- package/dist/fold/fold-worker.js +1 -13
- package/dist/fold/kept.js +12 -173
- package/dist/fold/keys.js +3 -91
- package/dist/fold/laid.js +3 -90
- package/dist/fold/nos.js +1 -48
- package/dist/fold/object.js +1 -2
- package/dist/fold/observed.js +27 -534
- package/dist/fold/opened.js +1 -33
- package/dist/fold/own.js +3 -217
- package/dist/fold/paid.js +1 -92
- package/dist/fold/place-inputs.js +1 -70
- package/dist/fold/places.js +3 -100
- package/dist/fold/rank.js +1 -9
- package/dist/fold/reach.js +1 -83
- package/dist/fold/readers.js +6 -142
- package/dist/fold/receipts.js +1 -47
- package/dist/fold/region-declarations.js +1 -13
- package/dist/fold/region.js +8 -286
- package/dist/fold/release-policy.js +1 -101
- package/dist/fold/resolved.js +6 -145
- package/dist/fold/roles.js +2 -59
- package/dist/fold/second.js +4 -71
- package/dist/fold/shards.js +12 -100
- package/dist/fold/signed.js +3 -81
- package/dist/fold/signers.js +1 -54
- package/dist/fold/stranger.js +6 -24
- package/dist/fold/views.js +1 -66
- package/dist/fold/wire.js +1 -46
- package/dist/fold/zoom.js +3 -81
- package/dist/host/act-cost.js +1 -25
- package/dist/host/adapters/keys/ed25519.js +1 -30
- package/dist/host/adapters/modules/javascript.js +1 -50
- package/dist/host/adapters/transport/http.js +1 -28
- package/dist/host/admitted-place.js +1 -35
- package/dist/host/archive.js +1 -152
- package/dist/host/call-context.js +1 -14
- package/dist/host/capsule-process.js +2 -62
- package/dist/host/capsule.js +9 -171
- package/dist/host/cell-receipts.js +12 -128
- package/dist/host/commit-result.js +1 -5
- package/dist/host/content-needed.js +1 -8
- package/dist/host/content-store.js +1 -31
- package/dist/host/contextual-place.js +2 -72
- package/dist/host/digest.js +2 -15
- package/dist/host/hash.js +1 -9
- package/dist/host/host-controls.js +1 -19
- package/dist/host/in-process-act.js +3 -84
- package/dist/host/in-process-context.js +3 -91
- package/dist/host/in-process-root.js +6 -84
- package/dist/host/in-process.js +4 -55
- package/dist/host/index.d.ts +1 -15
- package/dist/host/index.js +1 -7
- package/dist/host/io.js +1 -11
- package/dist/host/lifetime.js +1 -79
- package/dist/host/located.js +6 -105
- package/dist/host/native/bounded-file.js +1 -32
- package/dist/host/native/command.js +1 -91
- package/dist/host/native/control-bridge-worker.js +2 -88
- package/dist/host/native/control-bridge.js +1 -110
- package/dist/host/native/control-selection.js +1 -32
- package/dist/host/native/custody.js +1 -91
- package/dist/host/native/deadline.js +1 -28
- package/dist/host/native/descendants.js +1 -528
- package/dist/host/native/generated-custodian.js +5 -267
- package/dist/host/native/generated.js +1 -379
- package/dist/host/native/image.js +1 -45
- package/dist/host/native/jobs.js +2 -148
- package/dist/host/native/loader.js +1 -269
- package/dist/host/native/materialize.js +1 -175
- package/dist/host/native/module-closure.js +1 -130
- package/dist/host/native/module-delivery.d.ts +1 -62
- package/dist/host/native/module-delivery.js +1 -151
- package/dist/host/native/module-syntax.js +1 -69
- package/dist/host/native/native-binary.js +1 -115
- package/dist/host/native/native-program.js +1 -72
- package/dist/host/native/node-jobs.js +3 -187
- package/dist/host/native/node-launch.js +1 -159
- package/dist/host/native/preload.js +1 -45
- package/dist/host/native/reading.js +1 -249
- package/dist/host/native/receipt-environment.js +1 -41
- package/dist/host/native/references.js +1 -30
- package/dist/host/native/root.js +1 -37
- package/dist/host/native/route.js +1 -216
- package/dist/host/native/runtime.js +1 -9
- package/dist/host/native-reader-context.js +1 -8
- package/dist/host/native-receiver.js +1 -25
- package/dist/host/objects.js +1 -38
- package/dist/host/order.js +1 -2
- package/dist/host/place-act-transaction.js +4 -78
- package/dist/host/place-clock-selection.js +5 -124
- package/dist/host/ports/ingress.js +2 -57
- package/dist/host/ports/local-act.js +5 -183
- package/dist/host/ports/place-act.js +1 -134
- package/dist/host/ports/publication.js +1 -56
- package/dist/host/ports/signing.js +1 -74
- package/dist/host/ports/store.js +1 -18
- package/dist/host/ports/transport.js +1 -48
- package/dist/host/process-lifetime.js +1 -17
- package/dist/host/provide.js +1 -183
- package/dist/host/read-only.js +1 -9
- package/dist/host/reading-closures.js +7 -227
- package/dist/host/reading-context.js +1 -53
- package/dist/host/reading-identity-types.js +0 -0
- package/dist/host/reading-identity.js +3 -0
- package/dist/host/reading-preparation.js +6 -0
- package/dist/host/reference-authenticated.d.ts +1 -40
- package/dist/host/reference-authenticated.js +3 -100
- package/dist/host/reference-contracts.js +1 -6
- package/dist/host/reference-export.js +6 -81
- package/dist/host/reference-native-api.d.ts +1 -3
- package/dist/host/reference-native-api.js +1 -3
- package/dist/host/reference-native.js +1 -74
- package/dist/host/reference-profile.js +1 -63
- package/dist/host/reference-standing.js +2 -18
- package/dist/host/reference.js +1 -24
- package/dist/host/refusals.js +2 -43
- package/dist/host/release.js +4 -256
- package/dist/host/root-clock-source.js +1 -307
- package/dist/host/selected-capsules.js +1 -50
- package/dist/host/selected-topos.js +1 -80
- package/dist/host/signature-era.js +1 -12
- package/dist/host/signing.js +2 -48
- package/dist/host/source-content.js +2 -111
- package/dist/host/standing-carrier.js +1 -18
- package/dist/host/standing-projection.js +1 -50
- package/dist/host/timing.js +1 -7
- package/dist/host/walk.js +20 -193
- package/dist/judge/late.js +1 -33
- package/dist/judge/take.js +2 -75
- package/dist/judge/widening.js +1 -25
- package/dist/land/act.js +8 -336
- package/dist/land/alias.js +1 -41
- package/dist/land/held.js +1 -23
- package/dist/land/inert.js +1 -33
- package/dist/land/leaving.js +1 -55
- package/dist/land/ledger.js +7 -188
- package/dist/land/owned.js +4 -66
- package/dist/land/sign.js +1 -53
- package/dist/land/standing-pin.js +1 -49
- package/dist/land/vouched.js +1 -112
- package/dist/land/withdraw.js +1 -24
- package/dist/observe/files.js +1 -88
- package/dist/observe/identity.js +1 -61
- package/dist/observe/match.js +1 -8
- package/dist/observe/regions.js +7 -306
- package/dist/observe/run.js +2 -41
- package/dist/observe/runner.js +4 -101
- package/dist/public-types.d.ts +1114 -0
- package/dist/render/capsule.js +1 -30
- package/dist/render/field.js +1 -40
- package/dist/render/names.js +1 -4
- package/dist/render/open.js +1 -61
- package/dist/render/page.js +1 -7
- package/dist/render/receipts.js +1 -47
- package/dist/render/shape.js +1 -74
- package/dist/render/target.js +4 -52
- package/dist/render/view.js +7 -197
- package/dist/vendor/50086958553b9376d600583f7dff354196bfeb41170fc6d1482ca7bea7c493e2.LICENSE +21 -0
- package/dist/vendor/b3e938d28f88a1851af303a40c749e12ebd5a686daac4f0b343b5cdd2e040419.LICENSE +21 -0
- package/dist/vendor/bundle.json +1 -0
- package/dist/vendor/library11.js +1 -0
- package/dist/vendor/object-provider.js +42 -0
- package/dist/vendor/runtime.js +38 -0
- package/dist/vendor/sources.json +1 -0
- package/dist/wasm/adapter.d.ts +1 -51
- package/dist/wasm/adapter.js +1 -180
- package/dist/wasm/node-worker.js +1 -13
- package/dist/wasm/object.js +1 -76
- package/dist/wasm/worker.js +1 -7
- package/docs/contracts/closure-delivery.md +1 -1
- package/docs/contracts/closure-delivery.publication.json +1 -1
- package/docs/contracts/conformance.json +142 -0
- package/docs/contracts/determinism.bound +9 -0
- package/docs/contracts/engine-object-projection.publication.json +1 -1
- package/docs/contracts/engine.md +21 -1
- package/docs/contracts/native-publication.inventory.json +2 -1
- package/docs/contracts/optional-wasm-adapter.publication.json +1 -1
- package/docs/contracts/reading-identity.md +37 -0
- package/docs/contracts/reading-identity.publication.json +25 -0
- package/docs/contracts/refusals.bound +51 -0
- package/docs/contracts/refusals.md +18 -3
- package/docs/contracts/refusals.publication.json +2 -2
- package/docs/contracts/views.md +8 -0
- package/docs/reference.md +1 -0
- package/package.json +23 -34
- package/receipts.bound +11627 -10323
- package/samples/reading-identity/no.json +20 -0
- package/samples/reading-identity/yes.json +46 -0
- package/vectors/native/reading-identity.vector.json +101 -0
- package/vectors/native/refusals.vector.json +104 -0
- package/vendor/syntax/LICENSE.md +7 -0
- package/vendor/syntax/parser.js +1 -0
- package/.github/workflows/release.yml +0 -67
- package/.github/workflows/test.yml +0 -35
- package/dist/engine/object.d.ts +0 -17
- package/dist/engine/ports.d.ts +0 -37
- package/dist/fold/claims.d.ts +0 -29
- package/dist/host/call-context.d.ts +0 -20
- package/dist/host/commit-result.d.ts +0 -6
- package/dist/host/in-process-act.d.ts +0 -82
- package/dist/host/in-process-context.d.ts +0 -46
- package/dist/host/in-process-root.d.ts +0 -117
- package/dist/host/in-process.d.ts +0 -41
- package/dist/host/native/module-closure.d.ts +0 -35
- package/dist/host/native-receiver.d.ts +0 -19
- package/dist/host/place-act-transaction.d.ts +0 -24
- package/dist/host/place-clock-selection.d.ts +0 -55
- package/dist/host/ports/local-act.d.ts +0 -44
- package/dist/host/ports/place-act.d.ts +0 -49
- package/dist/host/ports/publication.d.ts +0 -10
- package/dist/host/reference-export.d.ts +0 -33
- package/dist/host/reference-native.d.ts +0 -30
- package/dist/host/reference-profile.d.ts +0 -23
- package/dist/host/refusals.d.ts +0 -14
- 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 {};
|
package/dist/host/refusals.d.ts
DELETED
|
@@ -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;
|