~/pushd/feed$pushd show veri7vn-push-342656

emberian / veri7vn

Oracle7's sibling, with an Isabelle spine.

pushlow2d ago

on GitHub

11:54:32 UTC

27 Oct 2026

shown by PUSHD

22:00:59 UTC

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

public view

22:05:59 UTC

5 minutes after holders

emberian/veri7vn

stars

forks

language

Isabelle

created: 15 Oct 2026
last push: 29 Oct 2026
license: Other
open issues and PRs: 0

numbers as GitHub showed them on 29 Oct at 12:37:35 UTC

The scout's read

called 14h 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 veri7vn-push-342656

event: push
actor: emberian (Dregg, $DREGG)
repo: veri7vn
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

# veri7vn

Oracle7's sibling, with an Isabelle spine.

Oracle7 answers questions through
specialists, stored records and an ordered series of routing rules. veri7vn
turns those specialists' calculations and decisions into functions with
machine-checked proofs, then compiles them into small programs that can run
inside Oracle7 or on their own.

The aim is to answer more questions correctly, make the assumptions behind an
answer inspectable, and let both systems grow from each other's components.
There are implementations for 145 non-relation specialist IDs (including the
new `meteorology-v2`) and one
kernel serving the 161 relation readers. Connecting every capability through
the combined runtime, strengthening its proofs and completing the specialists'

Latest commits as of this push

+10,362 -24 . 61 files in the head commit

6c0e8f2Package direct Oracle operations and repaired companion toolsember arlynx . 27 Oct 2026 11:54:29 UTC
51dd607Record admitted Oracle queries and retained recovery limitationsember arlynx . 27 Oct 2026 08:22:47 UTC
32c78d2Record first admitted Oracle answer through Miniember arlynx . 27 Oct 2026 07:36:25 UTC
6d2c476Record Mini receiving failures and capability discovery gapember arlynx . 27 Oct 2026 06:29:47 UTC
ba4bb60Restore source date precision and connect real comparison consumersember arlynx . 27 Oct 2026 05:13:12 UTC
40b081cCarry the accepted weight domain through Fusion’s Space consumerember arlynx . 27 Oct 2026 05:07:41 UTC
381d8d8Preserve orbital-year quantities in the proved Space kernel and Oracle readersember arlynx . 27 Oct 2026 04:53:22 UTC
e0d6459Exercise Oracle on real tasks and integrate scoped semantic repairsember arlynx . 27 Oct 2026 04:03:33 UTC