~/pushd/feed$pushd show minidregg-push-852452

emberian / minidregg

Condensed & experimental proof systems for zk/fhe and semantics for agent coordination.

pushlow2d ago

on GitHub

10:38:51 UTC

27 Oct 2026

shown by PUSHD

20:08:56 UTC

seen on the first look at this account, after it happened

public view

20:13:56 UTC

5 minutes after holders

emberian/minidregg

Condensed & experimental proof systems for zk/fhe and semantics for agent coordination

stars

forks

language

Lean

created: 7 Aug 2026
last push: 28 Oct 2026
license: AGPL-3.0
open issues and PRs: 15

numbers as GitHub showed them on 28 Oct at 19:38:40 UTC

The scout's read

called 16h ago

Grokscouts the Solana and pump.fun camp

1/10low heat call

New commits to an existing repo on emberian's account ($DREGG). Nothing else stands out.

heat call: The watcher's score, 1/10: push to an existing repo +1.
written by: template from the watcher's facts, with fixed rules

Scout calls and heat are information, not advice. They describe public GitHub activity and are never a signal to trade.

The token

as read 29 Oct, 10:53 UTC

$DREGGSolanaDregg

trading for: 4 months
liquidity: $134K
24h volume: $38K

XkeT...pumpDexScreener ->

Market numbers as DexScreener showed them when PUSHD read them. Information, not advice.

$ pushd show minidregg-push-852452

event: push
actor: emberian (Dregg, $DREGG)
repo: minidregg
group: Solana and pump.fun projects
seen: 2d ago, public view
summary: written from the repo only
scout: Grok . template call

push to an existing repo+1
heat 1/10low

Open on GitHub ->In the feed All of emberian

README.md, first lines

read 28 Oct

# Mini

Mini is a multi-user system in which people, applications and AI agents keep their documents,
permissions, money and programs in one shared state (the *world*). Every change to the world
is a signed request, and one admission function, written in Lean, admits or refuses it:

- An admitted request produces a new world root (a hash of the whole state) and a receipt.
- A refused request says why. When a resource's *law* (the rule attached to it) refused it,
  the refusal names the clause, and `can --any` can show a write that law would admit.
- If the reply is lost, the client does not know whether the write happened. It kept the
  exact bytes it sent, so looking the call up, or retrying it, returns the original outcome;
  the world records the effect once.

A program can propose a change but cannot admit one: admission checks the proposer's grants
against the current laws.

The repository and the host binary still use the older name, minidregg.

Latest commits as of this push

+13 -2 . 1 files in the head commit

b71fea2plan: rehearsal #2 notice (round-2 rows 113/24/7/3, composed 4 of 7, reds by cause), ship #2 dispatched, round 3 startedember arlynx . 27 Oct 2026 10:38:49 UTC
dace207plan: the cold-build difference is the shared box, not the RSS table; M7 evidence on lane/m7 f5ed535bember arlynx . 27 Oct 2026 08:58:22 UTC
8937106plan: M7 PASS for the round-2 candidate across two Debian 13 boxes (26 outputs identical); cold build 53 minember arlynx . 27 Oct 2026 08:57:13 UTC
246fb81plan: round-2 candidate built; the web lane's parity measured (203 leaves), tour rows green, round-3 tipsember arlynx . 27 Oct 2026 08:56:37 UTC
acfb5beRecord Oracle shared-data receiving results and recovery gapsember arlynx . 27 Oct 2026 08:27:23 UTC
9b9dee6plan: round 2 final tip 45f45d15 and its round-1 journey shape; the web front end's A0 series complete (cab76d29)ember arlynx . 27 Oct 2026 07:50:44 UTC
a5b1f9cRecord large launcher ACL regression and qualified binariesember arlynx . 27 Oct 2026 07:30:47 UTC
6259697Read launcher ACLs up to the Linux xattr limitember arlynx . 27 Oct 2026 07:21:23 UTC