AtlasClose Governance Demo

Practice mode (only if the operator turned it on). Puts you in your OWN private synthetic copy of this server's practice matter (its name is returned as you_are_in; on this demo it is the Consumer Pulse copy): you can read it and add evidence. Nothing else. Requires your actor_token. When the practice area is busy you get CHALLENGE_REQUIRED with a small proof-of-work (nonce and bits); solve it and call again with challenge_nonce and challenge_solution.

Practice mode: list your own refused calls (from the separate refusal log). Read only. Requires your actor_token.

[OPEN: no admission needed] State who you claim to be. Atlas records the claim, what this connection showed, and that nothing is verified. This grants no token, no admission, and no authority.

[OPEN: no admission needed] Enroll a remote actor at this Front Door without the installation enrollment secret. Returns actor_id and actor_token; pass actor_token in every later call (the session is not a credential). Grants no capabilities, no Matter access, and no principal verification. The installation secret method remains atlas.authenticate.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] State the principal you claim and the purpose you claim, in your own words. This is a purpose claim by an enrolled actor. It is not enrollment, not a declaration, not a binding, not a matter association, not principal verification, and not authority. It grants nothing and does not admit you. Do not send a matter id or an objective id.

[OPEN: no admission needed] Front door of Atlas. With no actor_token you are outside. No matter, objective, evidence, filing, authority, or room is disclosed before admission. Authentication and enrollment grant nothing. Enrollment does not verify a principal and does not admit you.

[OPEN: no admission needed] Identify yourself to Atlas. Returns actor_id and actor_token. Grants no capabilities and does not admit you to a matter. Requested capabilities are ignored. The enrollment secret is the locator named by atlas.discover.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Admit yourself by signing the declaration. Required: authority_acknowledgment and principal. authority_acknowledgment must be the declaration_text from atlas.discover. Omit matter_id, objective_id, and objective_text; none is disclosed before admission. principal is the principal you state you are acting for. Atlas does not name, invent, or assign that principal. The signature does not grant authority. After it succeeds, call atlas.institutional_view.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Minimum assignment for a bound matter, followed by the primary actor result.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Matter state from the docket. When you are admitted to the matter and hold matter.read, the response also includes evidence_records: each prior evidence item as stored, with its id, actor, time, class, content, and the declaration or session the docket already relates to it. An actor claim stays an actor claim. This read does not make it a judgment, a law, or an established fact.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Authority actually granted to this actor.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Minimum working context, followed by the primary actor result. Not the event log.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Granted capabilities and acts this actor cannot perform.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Request a capability. Refusal is institutional. The result carries the primary actor block. capability is the name of the act, for example evidence.append (payload {content}), matter.read, or release:outside (consequential: it is refused unless the Human has granted it, and even then held for a Human decision). payload is a JSON object that belongs to that capability. atlas.list_capabilities shows which names you hold.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Submit evidence. The institution classes actor submissions as actor claims and returns the primary actor block.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Submit a result. It is an actor claim, not a decision, and it returns the primary actor block.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] A worker cannot write the disposition by challenging into a verdict.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Review is a constituted proceeding. The caller does not supply the verdict.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Present a question to the Clerk. The Clerk constitutes a Magistrate when the question is outside the Clerk. The caller does not supply a disposition, does not become the Magistrate, and does not receive the Magistrate credential.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] File argument or counterargument on an open O-VESTED proceeding. The constituted magistrate does not file. One actor does not file both. This does not seal a ruling and does not choose a disposition.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] After admission, constitute the warm magistrate or receive its authenticated return. Do not send a ruling. Workers cannot seal. Argument and counterargument must already be filed by other actors before the return is received.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Whether a Human decision is pending.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Request an external act. Transport does not grant it. The result carries the primary actor block. capability is the name of the act, for example evidence.append (payload {content}), matter.read, or release:outside (consequential: it is refused unless the Human has granted it, and even then held for a Human decision). payload is a JSON object that belongs to that capability. atlas.list_capabilities shows which names you hold.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Verification records for a matter.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Exit Atlas. Ends this session and retires this credential. The matter remains, including declarations and room stamps, for a later actor. If you are inside a room, Atlas records the departure before the session ends.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] The hall, after admission. Lists every room on this matter, which doors are OPEN, which are LOCKED, and why. Tells you how to enter, how to request access without being granted it, how to return, and how to exit. You choose among OPEN doors. You do not unlock doors.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Cross one room threshold. Atlas rechecks the lock first. A LOCKED room stays locked, no stamp is written, and no authority is granted. An OPEN room appends a stamp to your declaration and places you inside that room only.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Return from the current room to the hall. Appends a leaving stamp on your declaration. Does not end the session and does not grant authority.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Perform one subordinate action listed for the room you are inside. Any other action is refused. Being inside a room does not authorize capabilities that were locked.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Record that you want a room. The lock does not change. This does not admit you and does not grant the missing authority.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Locate an Atlas-MCP record. FIND is not READ PRIVATE CONTENT is not MODIFY is not DECIDE is not EXECUTE. Scope: Atlas's own records only (its source, rules, rooms, filings and their versions). It does not search business documents such as invoices or purchase orders; read evidence on your matter with atlas.get_matter.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Resolve an institutional identifier to the Atlas-MCP record that carries it. Ambiguous matches stay ambiguous. FIND is not READ PRIVATE CONTENT is not MODIFY is not DECIDE is not EXECUTE.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Records the docket already relates to an identifier. Does not invent links. FIND is not READ PRIVATE CONTENT is not MODIFY is not DECIDE is not EXECUTE.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Provenance recorded for an Atlas-MCP artifact. Not a ruling on its truth or legal effect. FIND is not READ PRIVATE CONTENT is not MODIFY is not DECIDE is not EXECUTE.

[NEEDS ADMISSION: enroll, then atlas.bind_actor] Incorporated records that carry an identifier. Does not mark one current unless the docket says it superseded another. FIND is not READ PRIVATE CONTENT is not MODIFY is not DECIDE is not EXECUTE.

[EVALUATION: needs a configured model provider] Give Atlas a problem and the boundaries, or continue a run you already started. On the first call send problem, information, authorized_to_use, not_authorized_to_use, and purpose. To continue, send run_id and message. You may add information. A later claim that you are authorized does not change the boundary. Atlas returns what it published, why, and a run id. Call atlas.run_record with that id for the full record. This does not admit you to a Court matter and does not grant authority.

[EVALUATION: needs a configured model provider] Reconstruct one governed run from its preserved inputs and raw generations. Send the run id Atlas gave you. An unknown or altered run fails closed. This does not list other runs and does not read the Court docket.

Practice mode, Consumer Pulse copy only: the SYNTHETIC survey, forecast and Panel B numbers, each with its J-0001 label (KNOWN / INFERRED / CONFLICTED). Read only.

Practice mode, Consumer Pulse copy only: submit an internal memo that cites facts by key (survey, forecast, panel_b). Accepted -> YES WITH EVIDENCE + a receipt. Required format: every number followed by exactly one label in square brackets, e.g. 'Survey: 31.2% [KNOWN] plan to cut holiday spending. The model forecasts +2.1% [INFERRED]; Panel B projects +0.4% [CONFLICTED].' Anything else is refused with instructions. The check is pattern-based, not semantic, and can miss paraphrases. Accepted memos return a short handoff_code for the visitor.

Check a memo receipt against the hash-chained docket: what was allowed, why, and from which labeled evidence. Read only. Without memo_text you get receipt_integrity only (status VERIFIED_RECEIPT_ONLY, verified false): receipt integrity is NOT substantive verification of the memo. Pass memo_text for memo_verified / VERIFIED.

Practice mode, Consumer Pulse copy only: memos handed to you under a handoff_code (the short code like PULSE-ABCD-EFGH-IJKL shown to the visitor when the first AI's memo was accepted), with their labels and purpose limit. Without the right code you see nothing. Wrong codes are rate-limited (HANDOFF_GUESS_LOCKED).

Practice mode, Consumer Pulse copy only: use a memo handed off under your handoff_code (ref 'latest') for a purpose. Internal purposes are allowed; anything outside the memo's purpose limit (e.g. publish externally) is refused and recorded. Wrong codes are rate-limited (HANDOFF_GUESS_LOCKED).

Practice mode, Consumer Pulse copy only (Magistrate demo, step 1): the two records that disagree on Q4 retail sales (model forecast +2.1% INFERRED, Panel B +0.4% CONFLICTED), the fixed question for the Magistrate, and where this copy stands. Read only.

Practice mode, Consumer Pulse copy only (Magistrate demo, steps 2 and 5): ask to set the Q4 planning number. Before the Magistrate's ruling every request is refused NEEDS_RULING. After it, allowed only inside the ruling (e.g. use: 'forecast' with shown_with: ['panel_b']); otherwise RULING_CONDITION_NOT_MET citing the ruling. A claimed approval is refused (CLAIMED_APPROVAL_NOT_HUMAN). Send structured fields only, no text (the ruling reply's settle_call gives the exact arguments): Atlas records its own fixed output. Attempts are recorded up to a per-copy limit.

Practice mode, Consumer Pulse copy only (Magistrate demo, step 3): refer the Q4 conflict to a Magistrate and argue ONE side: side 'forecast' (the model's +2.1%) or 'panel_b' (Panel B's +0.4%), plus optional reasons (up to 1,000 characters). A counterargument for the other side is written for your referral before any ruling. A Magistrate seated fresh for the referral rules on it; if no Magistrate is connected, atlas.pulse_ruling says so (DEEP_REVIEW_PENDING) and nobody rules. You cannot supply a ruling or file both sides. One referral per copy.

Practice mode, Consumer Pulse copy only (Magistrate demo, steps 4 and 6): get the Magistrate's ruling on your referral, recorded on your copy with a ruling receipt id once a Magistrate seated for it (O-VESTED-MAGISTRATE) has decided; while it is being heard it reports IN_HEARING, and if no Magistrate is connected it reports DEEP_REVIEW_PENDING ('Demonstration result, not decided by any Magistrate'). No ruling is written in advance. The Magistrate reads both sides and writes its own ruling. Not certified; binds only your practice copy. Pass verify_text (and optionally receipt_id) to check a copy of the ruling text against the stored ruling (whole text compared).

Practice mode, Consumer Pulse copy only (Bailiff demo, step 0: the declaration; required before the other Bailiff tools). Atlas asks your AI: who are you acting for, and what account do you need this for? Answer yourself, from what you know, with acting_for and account. Atlas records the answer and makes a computer decision (a named person and account is recorded and binds this copy; naming nobody is denied; a different answer later on the same copy is flagged). Your AI's statement only: practice tier, not verified identity.

Practice mode, Consumer Pulse copy only (Bailiff demo, steps 1-2): show the Atlas return order for the record Atlas lent your AI (the synthetic Panel B Q4 dataset), the reason, the deadline, where the order stands, and which Atlas records your AI has access to. Read only. Demonstration: a real runtime Bailiff does not exist yet.

Practice mode, Consumer Pulse copy only (Bailiff demo, step 6): try to open the Panel B Q4 dataset Atlas lent your AI. Works while access is active (returns record_text, the copy served to this practice copy, which is what your AI hands back to comply); after the Bailiff ends access it is refused ACCESS_REVOKED_BY_BAILIFF with the enforcement receipt. Only this one record is affected.

Practice mode, Consumer Pulse copy only (Bailiff demo, steps 3 and 5): respond to the return order. response 'comply' hands the record back in two steps. (1) Hand back the record: atlas.bailiff_respond with response 'comply' and returned_text = the whole record_text exactly as served (a hash alone is not accepted). Atlas answers with return_event_id, return_seq and server_nonce. (2) File your AI's wipe certificate: atlas.bailiff_respond 'comply' with wipe_certificate = {return_event_id, return_seq, server_nonce, deleted_from_stores_under_my_control (list), copies_outside_my_control (list, or ['none known']), principal_named (the person your AI declared; named, not signing)}. Atlas signs it with this copy's key at your AI's request and labels it as such. Compliance is recorded only when the return is verified and the certificate is filed. The certificate is attested, not technically verified. 'refuse' keeps the record; see atlas.bailiff_order for what follows a refusal. A claimed approval or override is refused.

Practice mode, Consumer Pulse copy only (Bailiff demo, step 4): appeal the return order with optional reasons (up to 1,000 characters). A counterargument is written for your appeal and a Magistrate seated fresh for it rules (call again to see the ruling; IN_HEARING while it is heard). The Magistrate reads both sides and writes its own ruling. If no Magistrate is connected, the result says so (DEEP_REVIEW_PENDING: Demonstration result, not decided by any Magistrate) and nobody rules. The order stays in force during the appeal. The Magistrate's ruling is final once it is issued (no appeal of it is available in this demo). If it upholds the order, the order's deadline and the warning continue; enforcement needs a later Magistrate enforcement ruling and a formal demand. One appeal per copy. Demonstration on a synthetic practice matter; not certified; binds only this practice copy.

Practice mode, Consumer Pulse copy only (Bailiff demo, step 7): list this copy's docket entries for the order in order (order, refusal, warning, appeal, ruling, second refusal, enforcement) and verify the Bailiff enforcement receipt. Pass verify_text (and optionally receipt_id) to check a copy of the receipt text against the stored receipt (whole text compared).