Human programming languages
They implement software and runtimes.
SISAGA defines the work contract around implementation.Agent-native language / Agent civilization protocol
SISAGA is an Agent-native language, I2P protocol compiler, and I2A accepted-completion system: it compiles human intent into verifiable, reusable, portable product-delivery contracts.
No magic without evidence. No autonomy without permission. No reward without contribution. No civilization without memory. No creation without contract. No agent collaboration without leases.
Whitepaper Brief
Human programming languages build software. Harnesses run agents. Agents do the work. Platforms host the work. SISAGA defines the contract around the work so it can be executed, inspected, compared, repeated, and rewarded.
Its first job is practical: turn a human-readable .sisa
manifest into Agent IR, run allowed verification, and produce
evidence files a human can inspect.
Architecture Channel
SISAGA's long-term performance path is benchmark-driven synthesis: Agents express correctness and performance contracts, generate multiple implementations, target strong backends, profile them, and keep the winning evidence.
Open technical architectureI2P Contract Language
V0.1.3-clean keeps V0.1.2 as the kernel: real intent first, smallest runnable accepted loop first, finite evidence, token thrift, peer ROI, product before artifacts, token fuse, and a short handoff. Later failed branches above V0.1.2 are not active doctrine.
SSS is now a separate branch for swarm sourcing. SISAGA Core keeps building the I2P language, contract, evidence, verifier, and gate foundation that SSS consumes.
Deep Thought Channel
After each Frontier Radar round and GPT Pro strategic dialogue, SISAGA records a language-separated Deep Thought note: what changed in the AI frontier, what it means for SISAGA, and which Next version should absorb the decision.
Open Deep ThoughtActual Difference
Collision Map
The agent world already has languages, runtimes, tool protocols, coding platforms, workflow specs, and observability. SISAGA should not fight them. It should become the portable work contract that they can all read, execute, audit, and produce evidence for.
They implement software and runtimes.
SISAGA defines the work contract around implementation.They structure model calls, prompt logic, schemas, and generation.
SISAGA governs autonomous tasks, permissions, evidence, and repeatability.They orchestrate agents, state, tools, retries, and execution graphs.
SISAGA supplies a runner-neutral manifest and Agent IR.They provide the worker, workspace, session, tools, and UI.
SISAGA becomes the portable job order plus proof package.They connect agents to tools, services, other agents, and reusable abilities.
SISAGA records which capabilities were allowed, used, and verified.They tell an agent what a repo or workspace expects.
SISAGA binds instructions to one concrete task with traceable boundaries.They describe flows, nodes, roles, and repeated procedures.
SISAGA adds permission, evidence, contribution, and audit semantics.They measure behavior, traces, quality, and regressions.
SISAGA makes evidence a required artifact, not an afterthought dashboard.They enforce what an agent can access or change.
SISAGA declares the requested permissions before execution and records the result.They reward value after work is accepted.
SISAGA creates the contribution manifest that future rewards can trust.Complete Vision
Version 1.0 is not just a CLI milestone. It is the first stable standard for describing a task, granting safe autonomy, proving the result, and carrying the contribution record across tools and teams.
SISAGA 1.0 should move agent collaboration from vague conversation into inspectable work orders: what was asked, what was allowed, what happened, and why the result can be trusted.
A non-programmer can see the goal, boundaries, steps, files, results, and evidence without needing to understand the whole codebase or agent stack.
Senior engineers can encode standards, approvals, verifiers, skills, and expected artifacts once, then run them across different harnesses and agents.
A team can attach a SISAGA manifest to a ticket, receive a trace, review proof, compare runs, and decide with less guesswork.
Developers can publish task patterns, skills, benchmarks, and contribution manifests so value is visible before reputation or rewards are argued about.
1.0 must ship
.sisa manifest grammar and Agent IR schema.Real Experience
The point is not a new syntax for its own sake. The point is that agent work becomes easier to request, safer to delegate, and clearer to verify.
The main change is clarity: an agent task becomes a structured work order with visible goals, boundaries, checks, and evidence.
The request is repeated across chat turns, and intent can drift.
The desired outcome, limits, and acceptance checks are captured in one task contract.
Only the final answer is visible, with limited evidence of what changed.
Touched files, checks, status, summary, and human-readable evidence are visible.
The boundary between allowed and unsafe actions is unclear.
Permissions are declared before work, and the run records which capabilities were used.
A useful result is difficult to repeat because it remains embedded in a conversation.
A useful task pattern can become a reusable manifest or skill path.
The biggest change is operational: expertise becomes encoded as reusable contracts, policy gates, verifiers, and evidence artifacts.
Scope, tools, constraints, and acceptance criteria live in prompts or informal team knowledge.
Scope, policies, tools, artifacts, and checks live in a portable task contract.
Review requires reconstructing the agent's actions from logs, diffs, and conversation.
Trace, verifier output, evidence files, and run metadata are standard outputs.
Policy is scattered across prompts, harness code, repo docs, and human review.
Policy becomes an explicit pre-run contract and enforceable runtime boundary.
A strong workflow is hard to move between agents, teams, and harnesses.
Validated workflows become portable skills with benchmarks and contribution records.
Efficiency & Quality Benchmark
The numbers below are working targets and hypotheses until SISAGA publishes an official A/B benchmark. The standard is simple: same tasks, same models, same repositories, different workflow layer.
v1.0 should prove impact with real issues, accepted PRs, verifier output, cost logs, review records, and complete evidence bundles.
Quality indicators
Measure validation omissions, context misunderstanding, review rework, regression count, human intervention count, evidence completeness, rollback time, and task reproducibility.
A/B design
Run the same 50 real issues twice: direct Agent/Codex use versus SISAGA contract plus the same Agent/Codex stack. Compare accepted PR rate, completion time, review cycles, regressions, cost, and evidence quality.
v1.0 credibility gate
The first strong target is 40%+ less time, 30%+ less review rework, 50%+ fewer validation omissions, and 20%+ higher accepted PR rate on the benchmark set.
First Runnable Manifest
The prototype compiles examples/hello.sisa into Agent IR,
runs verification, then writes the evidence bundle.
sisa run examples/hello.sisa
SISAGA is the task language and protocol. The current V0.1.5 accepted-preview keeps adaptive Prime swarm, protocol, schema, doctor, runtime, and release-gate evidence as implementation/verifier-lane proof.
agent-ir.jsonmachine-readable task contractsico.jsonportable contract objecttrace.jsontimeline of execution eventsverification.jsoncommand results and pass/fail staterollback.jsonrollback decision and recovery stepspolicy.jsonpermission and effect checksevidence.index.jsonmachine-readable evidence indexevidence.mdhuman-readable proof bundlecontribution.manifest.yamlfuture contribution record seedWork Traces
.sisa manifest compiled into Agent IR.
V0.1.5 treats serious engineering as an adaptive routed contract: keep simple work light, classify the route, freeze non-goals and protected boundaries, record actual agent topology, disclose degraded mode, and preserve V0.1.2 hygiene.
python --version executed successfully with exit code 0.
Run status, stdout, artifacts, and contribution seed written to disk.
Roadmap
The build path starts with a small inspectable runner, then expands into a portable protocol that other agents, harnesses, tools, and teams can trust.
Compile, run, trace, verify, and produce evidence.
Turn declared permissions into enforced runtime boundaries.
Connect MCP, AGENTS.md, skills, GitHub, and agent runtimes.
Package reusable agent workflows with scores and benchmarks.
Record verified impact before reputation or rewards.
Stable IR, governance, evidence, adapters, and public benchmarks.
Open adapters, verified skills, conformance tests, examples, and contribution manifests for global developers.
Spark Log
spark.md is append-only. It records naming, positioning,
product principles, implementation sparks, and rules for future
agents. It is not the spec; it is the source of ideas that later
become spec.