Repository navigation
Conversation
RossKU
added a commit
to RossKU/kob
that referenced
this pull request
Oct 10, 2026
…enesis check - kcc-conformance.md: section 4.3 (genesis check of public-mint tokens: accepted actors, supply, official rule), 4.4 (issuance on the standard 3/3 program, why the order templates' stray-scan bound stays, builder slots, matcher chaining), 4.5 (testnet-10); the 8/8, 4/5, 16/16, P2 and KCC20Opt rows labelled prototypes. - argent-feedback.md: item 6 re-measured on 2026-10-10 (TokenSwap_swap2 214 / 221 shipped, 236 / 247 with the ask pin, 237 / 250 with the bid pin, 259 / 270 with both: the ask pin alone no longer fits); item 8 describes KOBToken / KCC20Ref_8x8 as a provisional prototype; item 12 status: PR argent-lang/argent#69 open from RossKU/argent. - contracts/README.md, UPSTREAM.md, registry/README.md, argent.md, matcher.md, the x402 profiles, the KRON adapter README, the root README and the e2e README follow; comments in the code and the Argent sources (contracts/SHA256SUMS refreshed) no longer call the 8/8 program the one KOB issues.
RossKU
added a commit
to RossKU/kob
that referenced
this pull request
Oct 13, 2026
… KOB still applies (UPSTREAM.md, argent-feedback.md item 12, argent.md); matcher.md 3.5 drops the retired cross limit decision note
A module import of a published app artifact names the artifact id the
importer reviewed:
import "./asset/artifact.json" id "<artifact id>";
The loader reads the artifact, runs its consistency check and requires the
pinned id (an import without the pin, an `id` on a source or standard
module import, and an artifact as the root file are rejected). The
artifact is then described as declaration-only Argent source (its states,
actor enums, exported actors without entries and its app) that goes through
the same lexer, parser and name resolution as every other module, so
references into it resolve like references into a source import. The app
graph builder links the artifact as published, writes it below
apps/<App>/ and never compiles it; its declaration identities match what
a source import of the same app would report, so a bundle built against
the artifact equals one built against the source.
Ports the artifact import onto the AST-to-AST compiler (argent-lang#70).
RossKU
force-pushed
the
artifact-imports-pr
branch
from
October 26, 2026 12:51
435fa89 to
7ace562
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Lets a module import a published app artifact without its source:
import "./asset/artifact.json" id "<artifact id>";(consistency-checked, id must match the pin, linked without compiling).