Commit graph Weksa/docs
Author SHA1 Message Date
887e79ef44 mint-prompt-door: the mint prompt teaches the shape the admit door admits (#64) 2026-11-12 23:54:01 +00:00
754322252b ontology-mint-probe: weksa loop mint-ontology proposes entries from Train items only, never writes the run ontology (#63) 2026-11-12 22:20:44 +00:00
af0a56d45f ja-anger-mirror: ja-JP:3 gets hedge and affection bounds as en-US:3 carries (#62) 2026-11-12 21:40:39 +00:00
349fe8e239 en-us-6-8: en-US:8 gets a certainty bound so affection and flat certainty never co-select (#61) 2026-11-12 20:56:10 +00:00
0a2d00a25f ja-surprise-certainty: ja-JP:9 reworded so its question ending is available, not prescribed (#60) 2026-11-12 20:27:19 +00:00
ccef7a761f en-us-seed-pairs: en-US :3/:5/:6 made disjoint by conditions, shared sweep helper (#59) 2026-11-12 20:18:45 +00:00
981ad0ea1f ja-seed-pairs: ja-JP :5/:7/:8 get certainty and restraint bounds (AtMostOrUnset) so the seed pairs never co-select (#58) 2026-11-12 19:52:14 +00:00
40469430b9 ja-withdraw-scene-entries: withdraw onto:ja-JP:14 and :15 (net-negative on register in the paired measure) (#57) 2026-11-12 19:17:39 +00:00
07c2755b95 ja-item19: encoder prompt states one role per predication and the group shape for coordination (#56) 2026-11-12 18:48:40 +00:00
f1f508e159 ja-inventory-6: rev 6 concepts (try, someday, a little, as one pleases, kite flyer) and the admit-cap test (#55) 2026-11-12 18:27:34 +00:00
7babf8aadc ja-inventory: rev 5 concepts and frames for the original bed (model-drafted, Validation-informed), weksa inventory admit, onto:ja-JP:15 (#54) 2026-11-12 18:08:04 +00:00
Weksa
139fa94b29 language-ontology-scene r2: a run reads entries and scenes at its own head, default bed is seed+proof+scene rev 3 (no Dao), politeness keyword guard replaced by model readings, nine seed entries reworded
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 17:11:57 +00:00
Weksa
966a3678a7 language-ontology-scene s3-6: inventory rev 4 in both beds, empty speaker-state stores committed, scene tests, original corpus checks, lowering map
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 16:31:55 +00:00
Weksa
e8ba0f2eae language-ontology-seed fix s4: ja-JP:6 bans ne-softening and hedges only; front door and lowering docs stop naming a target-language profile as register owner
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 16:09:36 +00:00
Weksa
79fcc313ed language-ontology-seed fix s2: neutral ja-JP:1 (no politeness per line), entry text defects, drafter residue out of the seed and score vectors, front-door and schema/tex prose
ontology.cc regenerated by weksa ontology admit, 9+9 entries, same generator string.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 15:39:48 +00:00
Weksa
fc99652f13 language-ontology-seed fix s1: rebuild the seed as 9+9 entries that read only stance and discourse and make true claims; pin the generator exactly; drop deleted store paths from the tex and schema; README says nothing grows the seed yet
ontology.cc is rebuilt from nothing (the branch is unmerged); no entry carries
over unchanged in number or text.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 15:29:11 +00:00
Weksa
6f14b00090 language-ontology-seed: model-drafted en-US and ja-JP seed entries; the target-language YAML, its typed copy and their schema prose deleted
Entries are Annotator::Model (Anthropic), inventory revision 1, drafted from the
YAML and standard references, not from any corpus text. pt-BR profiles are
deleted unconverted. Citations name data/ontology/ontology.cc.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 15:17:36 +00:00
Weksa
598cbf62d6 Map: cut 5 language-ontology specced as ontology store and seed cuts
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 14:06:16 +00:00
Weksa
a1c1d9d599 Map: the regression test runs per language; decide adds the gain test for one language
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 13:50:48 +00:00
Weksa
f05906b1f7 Pin the panel sum rule's liveness, fix stale Ladder docs, name the composite verdict in the map record column
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 13:34:48 +00:00
Weksa
edb7fff339 Accept rule: composite tolerance back in the one regression test, panel accepts on a composite sum past one step; bound 1.5 L / LADDER_STEP
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 13:25:36 +00:00
Weksa
379c69eb06 decide owns the composite rule: no composite falls, non-finite readings fail closed; decide_panel only aggregates
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 13:11:22 +00:00
Weksa
21eaa078d8 Dao test-bed doc: corpus add names its language
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 12:35:02 +00:00
Weksa
b83929d4d2 Map: cut 9 ja-panel specced as ja-panel-loop and ja-panel-corpus; panel rows in Loop round and decision
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-12 12:16:19 +00:00
Weksa
b569028f48 Soul s1 fixes: pin the lowerer reach, bound lowering text, pin the build refusal and the I/O discard
RunRecord key 12 LowererReach set by a required --lowerer-reach flag and
shown in round and cycle lines. PROMPT_SOURCE_DIGEST covers packet.rs.
Lowering text is refused when blank, over 4096 bytes or holding a control
character. Unanswered lowering digests are listed once. Tests for the
Prompt::lower build refusal and the packets.cc discard after a port error.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 09:32:28 +00:00
Weksa
74ebafbc65 The round lowers through the ModelPort: Prompt::lower over a LoweringInput, two answer phases
run::score_round no longer calls lower::lower. Prompt::lower prints the
meaning of an admitted view, en-US entity forms and the inventory at the
view's revision, and no item text, key, group, speaker or packet key. The
answer is a LoweringDraft {text}, held in score_round's locals and scored,
never written to run.cc, a RoundRecord, a Decision or EditFeedback. A round
or cycle asks every encode prompt, then every lowering prompt, all or
nothing. An entry an edit adds can now be lowered.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 09:18:38 +00:00
Weksa
7a803f5cb5 Pin the read-side coverage filters; V16 says the scene covers every live speaker of the group
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 08:54:28 +00:00
Weksa
da407e23af Scene coverage has one owner, Scene::uncovered, applied at put and at with_scene
with_scene now takes the corpus store and refuses (V16) a scene that no longer
lists the speaker of every live item of its group.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 08:40:17 +00:00
Weksa
cd4295632a Map: create refuses an existing inventory.cc; decide compares in billionths
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 07:11:45 +00:00
Weksa
ae384ee928 Map and README: the edit-accept cycle, the Decision row and the loop's live surface
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 05:11:06 +00:00
Weksa
db543840a6 weksa loop open|round: pin a run's stores, run one round, print one line
Round reads its stores only from the run record; prompts without answers are
written to the round directory and the command exits 3. Map line 7b records
what landed and what the follow-ups still own.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 03:51:18 +00:00
Weksa
e96acf97a5 Merge origin/main (checkpoint-gate) into weksa-lowering/speaker-scene
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 03:08:53 +00:00
Weksa
7a33a8d70f Map: say what the Checkpoint gate guards (7a)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 02:59:40 +00:00
Weksa
71e6058b64 with_scene reads the item's speaker and group scene from the store; V17 addressee names a referent
The view keeps its corpus item's speaker and group (LoweringInput::of takes
the item; admissible is gone), and with_scene takes the SpeakerStateStore, so
neither speaker nor scene comes from the caller and only admitted scenes
reach a view. An addressee that names a predication is refused as V17.
Pins scene numbering per group and the no-fallback case for a named
addressee outside the participants; tests/scene.rs fixture now speaks as the
item's speaker.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 02:51:35 +00:00
Weksa
3d83ba5fd2 Map: checkpoint-gate lines (7a, 7, 11)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 02:43:36 +00:00
Weksa
6ef1b7e034 Speaker and Scene documents, SpeakerStateStore, with_scene on a Scene document
Slot Speaker, weksa.speaker and weksa.scene append-only revisions in one
store, V16, feature_refusals as the one feature check, speaker_scene_revision
(Speaker features 22-24), schemas, docs and map lines. Part 1 of map cut 4b.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 02:34:10 +00:00
Weksa
109276cac4 Merge remote-tracking branch 'origin/main' into weksa-lowering/speaker-state-cut 2026-11-10 02:27:24 +00:00
Weksa
b0b5728f07 Map: cut 7a loop-context-builder; item 3 names the checkpoint-only Test path; item 7 drops the context builder
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 01:57:47 +00:00
Weksa
ba52b01069 Map: speaker-scene facts — current seed, persona-state question, 4b/4c
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 01:47:39 +00:00
Weksa
8a78761a7a Merge origin/main (2308b91) into weksa/dao-de-jing-test-bed
Main's proof revision owns concept:6 and frame:3; Dao ids renumbered to
start at concept:7 and frame:4 (daodejing.rs, lower.rs rows).
data/daodejing inventory.cc and packets.cc regenerated with weksa inventory
seed/proof/dao and weksa packet dao.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 10:16:22 +00:00
Weksa
9ab3274af1 Merge origin/main into weksa/dao-de-jing-test-bed
lower.rs: keep main's frame:2 (agent will stop patient), keep PR frames 3-7.
daodejing.rs: Discourse gains addressee_consent (packet schema v5).
tests/daodejing.rs: lower takes the entity port.
data/daodejing/packets.cc regenerated with weksa packet dao.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 10:15:10 +00:00
Weksa
0bf9499ac0 Lower 'You asked Nibu to stop.' behind addressee consent: request concept and frame:3, consent gate in the lowerer
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 10:07:52 +00:00
2a46b067d9 Merge pull request 'Packet carries an addressee-consent fact (schema v5, V14, V15)' (#14) from weksa-packet/addressee-consent into main 2026-11-09 09:11:54 +00:00
Weksa
5e2a4a0ebb Scorer coverage: words break at any non-word character, unspaced scripts read by run; near-miss chrF pairs per script
Soul scorer s3 Lows. words.rs no longer lists separators (_ and .) or defers to UAX #29, which splits Han, kana and Thai per character and made honest single-word glosses read as an n>=2 leak. A word is a run of letters, digits, marks and ZWNJ/ZWJ; a run of Han, kana, Thai, Lao, Khmer or Burmese is one word. Tests pin separators, marks, joiners, NFC, every range edge, and five sacrebleu 2.4.3 near-miss pairs (Ko, Tr, Fi, Th vowel-strip, Ja). 40 hand mutants killed.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-09 07:47:17 +00:00
Weksa
81572b1a54 Packet carries an addressee-consent fact (schema v5, V14, V15)
Discourse.addressee_consent names the predication the addressee asked for or
agreed to. V4 checks it resolves, V14 needs an addressee and a predication,
V15 allows only Authored or GameTelemetry sources. The English lowerer renders
no consent and refuses a packet carrying one.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-07 22:04:59 +00:00
Weksa
e7a3406b89 Entity forms carry a ruled pronunciation; lower --ipa emits it
LanguageForms gains an optional Pronunciation: bare stress-marked IPA, ruled_by,
date, source and a rejected list. The store checks its shape and freezes a
ruling once set. pronounce() and `weksa lower --ipa` print the stored IPA of each
cited entity and refuse with NoPronunciation / NoEntityReferent; rejected
variants are never read. Nibu is the first entry: ˈnibu, rejected ˈnɪbu.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-07 12:04:41 +00:00
Weksa
5eb58c3100 Dao De Jing test bed: PublicDomain provenance fields, Legge slice, first golf-loop number
Source::PublicDomain now requires licence, jurisdiction, translator and
edition_year; the store refuses an item missing any. data/daodejing holds
five Legge items (Gutenberg 216, no Gutenberg matter stored), inventory
revision 3, five packets with stance, and the lowerer rows to render them.
docs/targets/dao-de-jing-test-bed.md reports the first closeness number and
what the scorer cannot see.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-07 02:10:10 +00:00
Weksa
748aa083c0 Lowering input: the speaker's relation to the addressee (Scene slot, with_scene)
Slot::Scene, inventory revision 3 (relative_status, intimacy, in_group),
LoweringInput::with_scene validated like every feature list, V13 refuses a
relation without an addressee. Typed ids only; the English lowerer does not
render it.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-06 11:25:01 +00:00
Weksa
d929f746bd Cut the two aesthetic_reading copies
Per ruling rtd-imperial-aesthetic-reading-to-ontology: the packet carries
neutral facts plus stance; the reading belongs to the imperial ontology.
Removes the runtime-data sketch block in rust-to-dust/language-design.md
and the rtd.aesthetic_reading extension example in interlingua-standard.md.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-06 03:32:05 +00:00
Weksa
c1b2778b15 Merge weksa-lowering/speaker-state into main; adapt the lowerer to admit-only LoweringInput
No textual conflict except data/interlingua/inventory.cc (binary): regenerated as
the branch's rev 1 (61 entries) plus `weksa inventory proof` (rev 2, 7 entries).
Semantic breaks fixed: proof_packet() carries an empty Stance; `weksa lower`
re-admits the stored packet (idempotent) because validate no longer returns the
view; tests/lower.rs builds views through PacketStore::admit; seed_reseeded
expects seed plus proof revision. AGENTS.md records the CARGO_HOME requirement
and the proof packet key.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-03 15:54:42 +00:00